| * /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand version --bmc-on-backtrack Only call BMC after backtrack results * Timeout: 3600s Memory limit: 3584000kb Tue Oct 18 10:29:11 2011 |
||||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| Benchmark | date | exitcode | maxmem | Result | user | wallclock | expected | Iterations | usertime | commandline |
| newton/newton.1.1 | Thu Oct 13 19:33:48 BST 2011 | 0 | 15892kb | successful | mictau | 0:00.51 | unknown | 10 | 0.49 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.1.1.i |
| newton/newton.1.2 | Thu Oct 13 19:33:53 BST 2011 | 0 | 16060kb | successful | mictau | 0:01.72 | unknown | 21 | 1.66 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.1.2.i |
| newton/newton.1.3 | Thu Oct 13 19:34:12 BST 2011 | 0 | 16088kb | successful | mictau | 0:04.78 | unknown | 43 | 4.76 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.1.3.i |
| newton/newton.2.1 | Thu Oct 13 19:33:48 BST 2011 | 0 | 15908kb | successful | mictau | 0:01.01 | unknown | 21 | 0.99 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.2.1.i |
| newton/newton.2.2 | Thu Oct 13 19:33:54 BST 2011 | 0 | 16068kb | successful | mictau | 0:03.57 | unknown | 45 | 3.55 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.2.2.i |
| newton/newton.2.3 | Thu Oct 13 19:34:15 BST 2011 | 0 | 16376kb | successful | mictau | 0:09.69 | unknown | 109 | 9.67 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.2.3.i |
| newton/newton.3.1 | Thu Oct 13 19:33:49 BST 2011 | 0 | 16032kb | successful | mictau | 0:02.00 | unknown | 44 | 1.98 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.3.1.i |
| newton/newton.3.2 | Thu Oct 13 19:33:54 BST 2011 | 0 | 16344kb | successful | mictau | 0:05.81 | unknown | 100 | 5.80 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.3.2.i |
| newton/newton.3.3 | Thu Oct 13 19:34:17 BST 2011 | 0 | 16992kb | successful | mictau | 0:16.51 | unknown | 200 | 16.47 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.3.3.i |
| newton/newton.4.1 | Thu Oct 13 19:33:49 BST 2011 | 0 | 15948kb | failed | mictau | 0:01.12 | unknown | 52 | 1.10 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.4.1.i |
| newton/newton.4.2 | Thu Oct 13 19:33:58 BST 2011 | 0 | 16348kb | successful | mictau | 0:08.75 | unknown | 146 | 8.72 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.4.2.i |
| newton/newton.4.3 | Thu Oct 13 19:34:25 BST 2011 | 0 | 19092kb | successful | mictau | 0:24.62 | unknown | 281 | 24.56 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.4.3.i |
| newton/newton.5.1 | Thu Oct 13 19:33:50 BST 2011 | 0 | 16076kb | failed | mictau | 0:01.81 | unknown | 63 | 1.79 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.5.1.i |
| newton/newton.5.2 | Thu Oct 13 19:34:00 BST 2011 | 0 | 16964kb | successful | mictau | 0:15.16 | unknown | 251 | 15.12 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.5.2.i |
| newton/newton.5.3 | Thu Oct 13 19:34:34 BST 2011 | 0 | 25984kb | successful | mictau | 0:39.77 | unknown | 485 | 39.71 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.5.3.i |
| newton/newton.6.1 | Thu Oct 13 19:33:51 BST 2011 | 0 | 15956kb | failed | mictau | 0:01.34 | unknown | 60 | 1.32 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.6.1.i |
| newton/newton.6.2 | Thu Oct 13 19:34:06 BST 2011 | 0 | 16104kb | failed | mictau | 0:02.38 | unknown | 61 | 2.37 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.6.2.i |
| newton/newton.6.3 | Thu Oct 13 19:34:50 BST 2011 | 0 | 16132kb | failed | mictau | 0:03.71 | unknown | 76 | 3.70 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.6.3.i |
| newton/newton.7.1 | Thu Oct 13 19:33:52 BST 2011 | 0 | 16084kb | failed | mictau | 0:01.83 | unknown | 71 | 1.81 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.7.1.i |
| newton/newton.7.2 | Thu Oct 13 19:34:09 BST 2011 | 0 | 16104kb | failed | mictau | 0:01.63 | unknown | 49 | 1.61 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.7.2.i |
| newton/newton.7.3 | Thu Oct 13 19:34:54 BST 2011 | 0 | 18024kb | failed | mictau | 0:20.24 | unknown | 307 | 20.19 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.7.3.i |
| newton/newton.8.1 | Thu Oct 13 19:33:52 BST 2011 | 0 | 15936kb | failed | mictau | 0:00.40 | unknown | 37 | 0.38 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.8.1.i |
| newton/newton.8.2 | Thu Oct 13 19:34:10 BST 2011 | 0 | 16104kb | failed | mictau | 0:01.70 | unknown | 55 | 1.68 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.8.2.i |
| newton/newton.8.3 | Thu Oct 13 19:35:13 BST 2011 | 0 | 16368kb | failed | mictau | 0:07.79 | unknown | 124 | 7.77 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand /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:35:37 BST 2011 | 0 | 18120kb | 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 /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:35:37 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 /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:35:37 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 /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:35:36 BST 2011 | 0 | 4836kb | failed | mictau | 0:00.17 | unknown | 111 | 0.16 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand /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:35:37 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 /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/other/nsv3/Rump.0.0.i |
| other/nsv3/Sterbenz.0.0 | Thu Oct 13 19:35:37 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 /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:35:37 BST 2011 | 0 | 4848kb | failed | mictau | 0:00.14 | unknown | 100 | 0.13 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand /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:35:37 BST 2011 | 0 | 15764kb | failed | mictau | 0:00.10 | unknown | 0 | 0.08 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand /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:35:26 BST 2011 | 0 | 33648kb | successful | mictau | 0:02.53 | unknown | 0 | 2.51 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand /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:35:26 BST 2011 | 0 | 33644kb | successful | mictau | 0:02.56 | unknown | 0 | 2.53 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand /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:35:28 BST 2011 | 0 | 33644kb | successful | mictau | 0:02.56 | unknown | 0 | 2.52 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand /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:35:28 BST 2011 | 0 | 33644kb | successful | mictau | 0:02.56 | unknown | 0 | 2.53 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand /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:35:31 BST 2011 | 0 | 33644kb | successful | mictau | 0:02.56 | unknown | 0 | 2.53 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand /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:35:31 BST 2011 | 0 | 33648kb | successful | mictau | 0:02.57 | unknown | 0 | 2.54 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand /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:35:34 BST 2011 | 0 | 33644kb | successful | mictau | 0:02.56 | unknown | 0 | 2.53 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand /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:35:34 BST 2011 | 0 | 33644kb | successful | mictau | 0:02.56 | unknown | 0 | 2.52 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand /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:35:36 BST 2011 | 0 | 33644kb | successful | mictau | 0:02.56 | unknown | 0 | 2.52 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/other/sac_ga/sac.0.90.i |
| taylor1/sine.1.0 | Thu Oct 13 19:35:14 BST 2011 | 0 | 4764kb | failed | mictau | 0:00.70 | unknown | 53 | 0.70 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/taylor1/sine.1.0.i |
| taylor1/sine.2.0 | Thu Oct 13 19:35:15 BST 2011 | 0 | 4756kb | failed | mictau | 0:00.98 | unknown | 73 | 0.98 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/taylor1/sine.2.0.i |
| taylor1/sine.3.0 | Thu Oct 13 19:35:16 BST 2011 | 0 | 4756kb | failed | mictau | 0:00.52 | unknown | 48 | 0.51 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/taylor1/sine.3.0.i |
| taylor1/sine.4.0 | Thu Oct 13 19:35:16 BST 2011 | 0 | 5808kb | successful | mictau | 0:08.22 | unknown | 406 | 8.18 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/taylor1/sine.4.0.i |
| taylor1/sine.5.0 | Thu Oct 13 19:35:21 BST 2011 | 0 | 4740kb | successful | mictau | 0:00.69 | unknown | 29 | 0.69 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/taylor1/sine.5.0.i |
| taylor1/sine.6.0 | Thu Oct 13 19:35:22 BST 2011 | 0 | 4724kb | successful | mictau | 0:00.30 | unknown | 12 | 0.29 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/taylor1/sine.6.0.i |
| taylor1/sine.7.0 | Thu Oct 13 19:35:22 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 /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/taylor1/sine.7.0.i |
| taylor1/sine.8.0 | Thu Oct 13 19:35:23 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 /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/taylor1/sine.8.0.i |
| taylor2/square.1.0 | Thu Oct 13 19:35:23 BST 2011 | 0 | 4736kb | failed | mictau | 0:00.15 | unknown | 29 | 0.15 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/taylor2/square.1.0.i |
| taylor2/square.2.0 | Thu Oct 13 19:35:23 BST 2011 | 0 | 4748kb | failed | mictau | 0:00.32 | unknown | 37 | 0.32 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/taylor2/square.2.0.i |
| taylor2/square.3.0 | Thu Oct 13 19:35:23 BST 2011 | 0 | 4748kb | failed | mictau | 0:00.72 | unknown | 53 | 0.71 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/taylor2/square.3.0.i |
| taylor2/square.4.0 | Thu Oct 13 19:35:24 BST 2011 | 0 | 4740kb | successful | mictau | 0:01.07 | unknown | 59 | 1.06 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/taylor2/square.4.0.i |
| taylor2/square.5.0 | Thu Oct 13 19:35:25 BST 2011 | 0 | 4740kb | successful | mictau | 0:00.71 | unknown | 36 | 0.70 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/taylor2/square.5.0.i |
| taylor2/square.6.0 | Thu Oct 13 19:35:25 BST 2011 | 0 | 4708kb | successful | mictau | 0:00.56 | unknown | 28 | 0.55 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/taylor2/square.6.0.i |
| taylor2/square.7.0 | Thu Oct 13 19:35:25 BST 2011 | 0 | 4708kb | successful | mictau | 0:00.37 | unknown | 19 | 0.36 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/taylor2/square.7.0.i |
| taylor2/square.8.0 | Thu Oct 13 19:35:26 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 /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/taylor2/square.8.0.i |