| * /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning version --bmc-on-backtrack Only call BMC after backtrack results * Timeout: 3600s Memory limit: 3584000kb Tue Oct 18 10:29:43 2011 |
||||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| Benchmark | date | exitcode | maxmem | Result | user | wallclock | expected | Iterations | usertime | commandline |
| newton/newton.1.1 | Thu Oct 13 19:35:39 BST 2011 | 0 | 15896kb | successful | mictau | 0:00.51 | unknown | 10 | 0.50 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.1.1.i |
| newton/newton.1.2 | Thu Oct 13 19:35:46 BST 2011 | 0 | 16068kb | successful | mictau | 0:02.53 | unknown | 32 | 2.51 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.1.2.i |
| newton/newton.1.3 | Thu Oct 13 19:36:50 BST 2011 | 0 | 16372kb | successful | mictau | 0:09.37 | unknown | 108 | 9.29 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.1.3.i |
| newton/newton.2.1 | Thu Oct 13 19:35:39 BST 2011 | 0 | 15908kb | successful | mictau | 0:01.70 | unknown | 36 | 1.69 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.2.1.i |
| newton/newton.2.2 | Thu Oct 13 19:35:47 BST 2011 | 0 | 16348kb | successful | mictau | 0:06.71 | unknown | 110 | 6.70 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.2.2.i |
| newton/newton.2.3 | Thu Oct 13 19:36:59 BST 2011 | 0 | 21564kb | successful | mictau | 0:38.54 | unknown | 458 | 37.38 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.2.3.i |
| newton/newton.3.1 | Thu Oct 13 19:35:40 BST 2011 | 0 | 16316kb | successful | mictau | 0:05.82 | unknown | 149 | 5.80 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.3.1.i |
| newton/newton.3.2 | Thu Oct 13 19:35:49 BST 2011 | 0 | 17748kb | successful | mictau | 0:21.80 | unknown | 363 | 21.76 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.3.2.i |
| newton/newton.3.3 | Thu Oct 13 19:37:38 BST 2011 | 0 | 63036kb | successful | mictau | 2:25.88 | unknown | 1736 | 145.70 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.3.3.i |
| newton/newton.4.1 | Thu Oct 13 19:35:41 BST 2011 | 0 | 15956kb | failed | mictau | 0:01.45 | unknown | 63 | 1.43 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.4.1.i |
| newton/newton.4.2 | Thu Oct 13 19:35:54 BST 2011 | 0 | 30988kb | successful | mictau | 0:47.57 | unknown | 832 | 47.46 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.4.2.i |
| newton/newton.4.3 | Thu Oct 13 19:39:12 BST 2011 | 0 | 132108kb | successful | mictau | 5:11.87 | unknown | 3748 | 311.24 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.4.3.i |
| newton/newton.5.1 | Thu Oct 13 19:35:42 BST 2011 | 0 | 16028kb | failed | mictau | 0:01.70 | unknown | 69 | 1.68 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.5.1.i |
| newton/newton.5.2 | Thu Oct 13 19:36:11 BST 2011 | 0 | 92760kb | successful | mictau | 3:01.69 | unknown | 3067 | 179.68 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.5.2.i |
| newton/newton.5.3 | Thu Oct 13 19:40:04 BST 2011 | 0 | 332012kb | successful | mictau | 13:31.61 | unknown | 9973 | 810.07 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.5.3.i |
| newton/newton.6.1 | Thu Oct 13 19:35:44 BST 2011 | 0 | 16024kb | failed | mictau | 0:01.63 | unknown | 68 | 1.61 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.6.1.i |
| newton/newton.6.2 | Thu Oct 13 19:36:41 BST 2011 | 0 | 16104kb | failed | mictau | 0:03.43 | unknown | 78 | 3.06 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.6.2.i |
| newton/newton.6.3 | Thu Oct 13 19:44:24 BST 2011 | 0 | 16372kb | failed | mictau | 0:04.49 | unknown | 79 | 4.45 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.6.3.i |
| newton/newton.7.1 | Thu Oct 13 19:35:46 BST 2011 | 0 | 16024kb | failed | mictau | 0:01.45 | unknown | 66 | 1.43 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.7.1.i |
| newton/newton.7.2 | Thu Oct 13 19:36:45 BST 2011 | 0 | 16104kb | failed | mictau | 0:02.14 | unknown | 57 | 2.09 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.7.2.i |
| newton/newton.7.3 | Thu Oct 13 19:44:29 BST 2011 | 0 | 16372kb | failed | mictau | 0:04.68 | unknown | 85 | 4.65 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.7.3.i |
| newton/newton.8.1 | Thu Oct 13 19:35:46 BST 2011 | 0 | 15936kb | failed | mictau | 0:00.40 | unknown | 37 | 0.39 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.8.1.i |
| newton/newton.8.2 | Thu Oct 13 19:36:47 BST 2011 | 0 | 16104kb | failed | mictau | 0:02.37 | unknown | 74 | 2.34 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.8.2.i |
| newton/newton.8.3 | Thu Oct 13 19:44:34 BST 2011 | 0 | 27716kb | failed | mictau | 0:38.02 | unknown | 562 | 37.97 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.8.3.i |
| other/fevs-factorial/factorial_bad.0.0 | Thu Oct 13 19:48:40 BST 2011 | 0 | 18116kb | failed | mictau | 0:00.12 | unknown | 0 | 0.10 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/other/fevs-factorial/factorial_bad.0.0.i |
| other/fevs-mean/mean_bad.0.0 | Thu Oct 13 19:48:40 BST 2011 | 0 | 18468kb | failed | mictau | 0:00.13 | unknown | 0 | 0.11 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/other/fevs-mean/mean_bad.0.0.i |
| other/goubault-sas06/GC4.0.0 | Thu Oct 13 19:48:40 BST 2011 | 0 | 6588kb | successful | mictau | 0:00.05 | unknown | 0 | 0.05 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/other/goubault-sas06/GC4.0.0.i |
| other/goubault-sas06/Poly.0.0 | Thu Oct 13 19:48:39 BST 2011 | 0 | 4836kb | failed | mictau | 0:00.18 | unknown | 111 | 0.17 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/other/goubault-sas06/Poly.0.0.i |
| other/nsv3/Rump.0.0 | Thu Oct 13 19:48:40 BST 2011 | 0 | 4780kb | failed | mictau | 0:00.02 | unknown | 0 | 0.01 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/other/nsv3/Rump.0.0.i |
| other/nsv3/Sterbenz.0.0 | Thu Oct 13 19:48:41 BST 2011 | 0 | 4628kb | failed | mictau | 0:00.00 | unknown | 0 | 0.00 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/other/nsv3/Sterbenz.0.0.i |
| other/nsv3/eps_line1.0.0 | Thu Oct 13 19:48:40 BST 2011 | 0 | 4852kb | failed | mictau | 0:00.15 | unknown | 100 | 0.13 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/other/nsv3/eps_line1.0.0.i |
| other/nsv3/muller.0.0 | Thu Oct 13 19:48:40 BST 2011 | 0 | 15760kb | failed | mictau | 0:00.11 | unknown | 0 | 0.10 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/other/nsv3/muller.0.0.i |
| other/sac_ga/sac.0.10 | Thu Oct 13 19:48:15 BST 2011 | 0 | 33652kb | successful | mictau | 0:02.58 | unknown | 0 | 2.50 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/other/sac_ga/sac.0.10.i |
| other/sac_ga/sac.0.20 | Thu Oct 13 19:48:18 BST 2011 | 0 | 33644kb | successful | mictau | 0:02.54 | unknown | 0 | 2.50 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/other/sac_ga/sac.0.20.i |
| other/sac_ga/sac.0.30 | Thu Oct 13 19:48:21 BST 2011 | 0 | 33644kb | successful | mictau | 0:02.54 | unknown | 0 | 2.51 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/other/sac_ga/sac.0.30.i |
| other/sac_ga/sac.0.40 | Thu Oct 13 19:48:23 BST 2011 | 0 | 33644kb | successful | mictau | 0:02.54 | unknown | 0 | 2.51 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/other/sac_ga/sac.0.40.i |
| other/sac_ga/sac.0.50 | Thu Oct 13 19:48:26 BST 2011 | 0 | 33644kb | successful | mictau | 0:02.54 | unknown | 0 | 2.51 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/other/sac_ga/sac.0.50.i |
| other/sac_ga/sac.0.60 | Thu Oct 13 19:48:29 BST 2011 | 0 | 33648kb | successful | mictau | 0:02.54 | unknown | 0 | 2.51 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/other/sac_ga/sac.0.60.i |
| other/sac_ga/sac.0.70 | Thu Oct 13 19:48:31 BST 2011 | 0 | 33644kb | successful | mictau | 0:02.60 | unknown | 0 | 2.57 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/other/sac_ga/sac.0.70.i |
| other/sac_ga/sac.0.80 | Thu Oct 13 19:48:34 BST 2011 | 0 | 33644kb | successful | mictau | 0:02.70 | unknown | 0 | 2.66 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/other/sac_ga/sac.0.80.i |
| other/sac_ga/sac.0.90 | Thu Oct 13 19:48:37 BST 2011 | 0 | 33640kb | successful | mictau | 0:02.64 | unknown | 0 | 2.61 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/other/sac_ga/sac.0.90.i |
| taylor1/sine.1.0 | Thu Oct 13 19:45:12 BST 2011 | 0 | 4768kb | failed | mictau | 0:01.03 | unknown | 72 | 1.02 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/taylor1/sine.1.0.i |
| taylor1/sine.2.0 | Thu Oct 13 19:45:13 BST 2011 | 0 | 4756kb | failed | mictau | 0:00.36 | unknown | 43 | 0.35 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/taylor1/sine.2.0.i |
| taylor1/sine.3.0 | Thu Oct 13 19:45:13 BST 2011 | 0 | 4756kb | failed | mictau | 0:00.36 | unknown | 43 | 0.35 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/taylor1/sine.3.0.i |
| taylor1/sine.4.0 | Thu Oct 13 19:45:14 BST 2011 | 0 | 42292kb | successful | mictau | 2:51.50 | unknown | 8585 | 171.05 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/taylor1/sine.4.0.i |
| taylor1/sine.5.0 | Thu Oct 13 19:48:05 BST 2011 | 0 | 4740kb | successful | mictau | 0:01.05 | unknown | 53 | 1.04 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/taylor1/sine.5.0.i |
| taylor1/sine.6.0 | Thu Oct 13 19:48:06 BST 2011 | 0 | 4740kb | successful | mictau | 0:00.35 | unknown | 14 | 0.35 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/taylor1/sine.6.0.i |
| taylor1/sine.7.0 | Thu Oct 13 19:48:07 BST 2011 | 0 | 4720kb | successful | mictau | 0:00.12 | unknown | 5 | 0.12 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/taylor1/sine.7.0.i |
| taylor1/sine.8.0 | Thu Oct 13 19:48:07 BST 2011 | 0 | 4720kb | successful | mictau | 0:00.07 | unknown | 1 | 0.06 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/taylor1/sine.8.0.i |
| taylor2/square.1.0 | Thu Oct 13 19:48:07 BST 2011 | 0 | 4736kb | failed | mictau | 0:00.29 | unknown | 35 | 0.29 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/taylor2/square.1.0.i |
| taylor2/square.2.0 | Thu Oct 13 19:48:07 BST 2011 | 0 | 4748kb | failed | mictau | 0:00.45 | unknown | 45 | 0.45 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/taylor2/square.2.0.i |
| taylor2/square.3.0 | Thu Oct 13 19:48:08 BST 2011 | 0 | 4748kb | failed | mictau | 0:00.66 | unknown | 52 | 0.65 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/taylor2/square.3.0.i |
| taylor2/square.4.0 | Thu Oct 13 19:48:09 BST 2011 | 0 | 4864kb | successful | mictau | 0:03.19 | unknown | 209 | 3.16 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/taylor2/square.4.0.i |
| taylor2/square.5.0 | Thu Oct 13 19:48:12 BST 2011 | 0 | 4848kb | successful | mictau | 0:01.87 | unknown | 110 | 1.86 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/taylor2/square.5.0.i |
| taylor2/square.6.0 | Thu Oct 13 19:48:14 BST 2011 | 0 | 4740kb | successful | mictau | 0:00.96 | unknown | 49 | 0.95 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/taylor2/square.6.0.i |
| taylor2/square.7.0 | Thu Oct 13 19:48:15 BST 2011 | 0 | 4708kb | successful | mictau | 0:00.60 | unknown | 30 | 0.60 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/taylor2/square.7.0.i |
| taylor2/square.8.0 | Thu Oct 13 19:48:15 BST 2011 | 0 | 4696kb | successful | mictau | 0:00.05 | unknown | 1 | 0.05 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/taylor2/square.8.0.i |