| Date |
Command |
Number of dumps |
Details (new window) |
| 2016/07/26 at 00:24:41
| alt-ergo.opt 'Dekker-Jessie_program-WP_parameter__Dekker_safety_2.why' '-use-fpa' '-prelude' 'fpa-theory-2016-07-21-18h00.why' '-no-tcp' '-nb-triggers' '1' '-no-Ematching' '-timelimit' '30' | 43/43 | See the graphs |
| 2016/07/26 at 00:15:47
| alt-ergo.opt 'Dekker.jessie/Dekker/Dekker-Jessie_program-WP_parameter__Dekker_safety_2.why' '-use-fpa' '-prelude' 'fpa-theory-2016-07-21-18h00.why' '-no-tcp' '-nb-triggers' '1' '-no-Ematching' '-timelimit' '30' | 2/2 | See the graphs |
| 2016/07/26 at 00:14:42
| alt-ergo.opt 'Dekker.jessie/Dekker/Dekker-Jessie_program-WP_parameter__Dekker_safety_1.why' '-use-fpa' '-prelude' 'fpa-theory-2016-07-21-18h00.why' '-no-tcp' '-nb-triggers' '1' '-no-Ematching' | 2/2 | See the graphs |
| 2016/02/01 at 10:40:21
| alt-ergo-1.20~ 'p4_3_part4-B_translation-ccgg_1573.why' 'p4_3_part4-B_translation-ccgg_1573.why.zip' '-no-tcp' '-normalize-instances' '-no-Ematching' '-nb-triggers' '1' | 44/44+1 | See the graphs |