| * /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search version --bmc-on-backtrack Only call BMC after backtrack results * Timeout: 3600s Memory limit: 3584000kb Tue Oct 18 10:29:57 2011 |
||||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| Benchmark | date | exitcode | maxmem | Result | user | wallclock | expected | Iterations | usertime | commandline |
| newton/newton.1.1 | Thu Oct 13 19:53:36 BST 2011 | 0 | 15896kb | successful | mictau | 0:01.52 | unknown | 534 | 1.49 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.1.1.i |
| newton/newton.1.2 | Thu Oct 13 19:53:44 BST 2011 | 0 | 16072kb | successful | mictau | 0:05.24 | unknown | 1208 | 5.17 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.1.2.i |
| newton/newton.1.3 | Thu Oct 13 19:56:06 BST 2011 | 0 | 16360kb | successful | mictau | 0:15.70 | unknown | 2702 | 15.60 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.1.3.i |
| newton/newton.2.1 | Thu Oct 13 19:53:36 BST 2011 | 0 | 15904kb | successful | mictau | 0:03.14 | unknown | 1199 | 3.08 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.2.1.i |
| newton/newton.2.2 | Thu Oct 13 19:53:49 BST 2011 | 0 | 16068kb | successful | mictau | 0:11.18 | unknown | 2682 | 11.07 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.2.2.i |
| newton/newton.2.3 | Thu Oct 13 19:56:22 BST 2011 | 0 | 16376kb | successful | mictau | 0:33.81 | unknown | 5942 | 33.60 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.2.3.i |
| newton/newton.3.1 | Thu Oct 13 19:53:37 BST 2011 | 0 | 16036kb | successful | mictau | 0:06.42 | unknown | 2538 | 6.32 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.3.1.i |
| newton/newton.3.2 | Thu Oct 13 19:53:50 BST 2011 | 0 | 16348kb | successful | mictau | 0:18.21 | unknown | 4424 | 18.04 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.3.2.i |
| newton/newton.3.3 | Thu Oct 13 19:56:33 BST 2011 | 0 | 16988kb | successful | mictau | 0:51.30 | unknown | 9182 | 51.01 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.3.3.i |
| newton/newton.4.1 | Thu Oct 13 19:53:39 BST 2011 | 0 | 15936kb | failed | mictau | 0:00.40 | unknown | 156 | 0.37 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.4.1.i |
| newton/newton.4.2 | Thu Oct 13 19:54:00 BST 2011 | 0 | 16872kb | successful | mictau | 0:28.94 | unknown | 7120 | 28.68 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.4.2.i |
| newton/newton.4.3 | Thu Oct 13 19:56:56 BST 2011 | 0 | 20680kb | successful | mictau | 1:16.83 | unknown | 14615 | 76.35 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.4.3.i |
| newton/newton.5.1 | Thu Oct 13 19:53:39 BST 2011 | 0 | 15940kb | failed | mictau | 0:00.38 | unknown | 156 | 0.36 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.5.1.i |
| newton/newton.5.2 | Thu Oct 13 19:54:09 BST 2011 | 0 | 16968kb | successful | mictau | 0:48.95 | unknown | 12141 | 48.53 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.5.2.i |
| newton/newton.5.3 | Thu Oct 13 19:57:24 BST 2011 | 0 | 28600kb | successful | mictau | 1:59.68 | unknown | 23900 | 118.93 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.5.3.i |
| newton/newton.6.1 | Thu Oct 13 19:53:40 BST 2011 | 0 | 15936kb | failed | mictau | 0:00.39 | unknown | 155 | 0.37 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.6.1.i |
| newton/newton.6.2 | Thu Oct 13 19:54:29 BST 2011 | 0 | 32172kb | failed | mictau | 2:03.38 | unknown | 31184 | 122.18 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.6.2.i |
| newton/newton.6.3 | Thu Oct 13 19:58:13 BST 2011 | 0 | 28520kb | failed | mictau | 1:43.33 | unknown | 22544 | 102.63 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.6.3.i |
| newton/newton.7.1 | Thu Oct 13 19:53:40 BST 2011 | 0 | 15936kb | failed | mictau | 0:00.40 | unknown | 155 | 0.38 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.7.1.i |
| newton/newton.7.2 | Thu Oct 13 19:54:58 BST 2011 | 0 | 15964kb | failed | mictau | 0:00.48 | unknown | 155 | 0.46 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.7.2.i |
| newton/newton.7.3 | Thu Oct 13 19:59:24 BST 2011 | 0 | 15988kb | failed | mictau | 0:00.55 | unknown | 155 | 0.53 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.7.3.i |
| newton/newton.8.1 | Thu Oct 13 19:53:41 BST 2011 | 0 | 16144kb | failed | mictau | 0:09.56 | unknown | 4145 | 9.43 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.8.1.i |
| newton/newton.8.2 | Thu Oct 13 19:54:58 BST 2011 | 0 | 21336kb | failed | mictau | 1:08.01 | unknown | 23356 | 67.27 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.8.2.i |
| newton/newton.8.3 | Thu Oct 13 19:59:24 BST 2011 | 0 | 65808kb | failed | mictau | 4:44.33 | unknown | 79745 | 281.91 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/newton/newton.8.3.i |
| other/fevs-factorial/factorial_bad.0.0 | Thu Oct 13 20:01:29 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 /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 20:01:29 BST 2011 | 0 | 18468kb | failed | mictau | 0:00.12 | unknown | 0 | 0.11 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search /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 20:01:29 BST 2011 | 0 | 6588kb | successful | mictau | 0:00.05 | unknown | 0 | 0.04 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search /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 20:01:28 BST 2011 | 0 | 4864kb | failed | mictau | 0:00.48 | unknown | 442 | 0.47 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/other/goubault-sas06/Poly.0.0.i |
| other/nsv3/Rump.0.0 | Thu Oct 13 20:01:30 BST 2011 | 0 | 4784kb | 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 /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/other/nsv3/Rump.0.0.i |
| other/nsv3/Sterbenz.0.0 | Thu Oct 13 20:01:30 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 /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/other/nsv3/Sterbenz.0.0.i |
| other/nsv3/eps_line1.0.0 | Thu Oct 13 20:01:29 BST 2011 | 0 | 4848kb | failed | mictau | 0:00.14 | unknown | 108 | 0.14 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/other/nsv3/eps_line1.0.0.i |
| other/nsv3/muller.0.0 | Thu Oct 13 20:01:29 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 /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/other/nsv3/muller.0.0.i |
| other/sac_ga/sac.0.10 | Thu Oct 13 20:01:01 BST 2011 | 0 | 33648kb | successful | mictau | 0:06.15 | unknown | 0 | 2.48 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search /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 20:01:07 BST 2011 | 0 | 33648kb | successful | mictau | 0:02.55 | unknown | 0 | 2.52 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search /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 20:01:10 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 /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 20:01:13 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 /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 20:01:15 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 /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 20:01:18 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 /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 20:01:20 BST 2011 | 0 | 33644kb | successful | mictau | 0:02.54 | unknown | 0 | 2.52 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search /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 20:01: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 /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 20:01:26 BST 2011 | 0 | 33648kb | successful | mictau | 0:02.55 | unknown | 0 | 2.51 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/other/sac_ga/sac.0.90.i |
| taylor1/sine.1.0 | Thu Oct 13 19:59:56 BST 2011 | 0 | 4780kb | failed | mictau | 0:00.22 | unknown | 155 | 0.21 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/taylor1/sine.1.0.i |
| taylor1/sine.2.0 | Thu Oct 13 19:59:56 BST 2011 | 0 | 4768kb | failed | mictau | 0:00.20 | unknown | 155 | 0.19 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/taylor1/sine.2.0.i |
| taylor1/sine.3.0 | Thu Oct 13 19:59:57 BST 2011 | 0 | 4768kb | failed | mictau | 0:00.20 | unknown | 155 | 0.19 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/taylor1/sine.3.0.i |
| taylor1/sine.4.0 | Thu Oct 13 19:59:57 BST 2011 | 0 | 6276kb | successful | mictau | 0:30.98 | unknown | 20388 | 30.46 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/taylor1/sine.4.0.i |
| taylor1/sine.5.0 | Thu Oct 13 20:00:28 BST 2011 | 0 | 4740kb | successful | mictau | 0:02.27 | unknown | 1453 | 2.23 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/taylor1/sine.5.0.i |
| taylor1/sine.6.0 | Thu Oct 13 20:00:30 BST 2011 | 0 | 4736kb | successful | mictau | 0:01.08 | unknown | 655 | 1.05 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/taylor1/sine.6.0.i |
| taylor1/sine.7.0 | Thu Oct 13 20:00:31 BST 2011 | 0 | 4728kb | successful | mictau | 0:00.26 | unknown | 130 | 0.26 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/taylor1/sine.7.0.i |
| taylor1/sine.8.0 | Thu Oct 13 20:00:32 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 /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/taylor1/sine.8.0.i |
| taylor2/square.1.0 | Thu Oct 13 20:00:32 BST 2011 | 0 | 4756kb | failed | mictau | 0:05.96 | unknown | 4711 | 5.84 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/taylor2/square.1.0.i |
| taylor2/square.2.0 | Thu Oct 13 20:00:38 BST 2011 | 0 | 4756kb | failed | mictau | 0:06.40 | unknown | 5130 | 6.22 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/taylor2/square.2.0.i |
| taylor2/square.3.0 | Thu Oct 13 20:00:44 BST 2011 | 0 | 4756kb | failed | mictau | 0:05.98 | unknown | 4855 | 5.83 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/taylor2/square.3.0.i |
| taylor2/square.4.0 | Thu Oct 13 20:00:50 BST 2011 | 0 | 4740kb | successful | mictau | 0:04.40 | unknown | 3502 | 4.31 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/taylor2/square.4.0.i |
| taylor2/square.5.0 | Thu Oct 13 20:00:55 BST 2011 | 0 | 4740kb | successful | mictau | 0:02.86 | unknown | 2199 | 2.76 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/taylor2/square.5.0.i |
| taylor2/square.6.0 | Thu Oct 13 20:00:58 BST 2011 | 0 | 4740kb | successful | mictau | 0:01.95 | unknown | 1496 | 1.91 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/taylor2/square.6.0.i |
| taylor2/square.7.0 | Thu Oct 13 20:01:00 BST 2011 | 0 | 4712kb | successful | mictau | 0:01.44 | unknown | 1081 | 1.40 | /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/taylor2/square.7.0.i |
| taylor2/square.8.0 | Thu Oct 13 20:01:01 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 /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/taylor2/square.8.0.i |