detailed results (25195 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/accelerating-node2100.smt2 (content) warn ok 0.125s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/FTRM-entry-tang-feasible-node1796.smt2 (content) warn ok 0.118s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/Ecoli-chemotaxis-node8285.smt2 (content) warn ok 0.169s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/Ecoli-chemotaxis-node8284.smt2 (content) warn ok 0.178s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/Ecoli-chemotaxis-node7008.smt2 (content) warn ok 0.164s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/Ecoli-chemotaxis-node7007.smt2 (content) warn ok 0.118s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/ETCS-essentials-node4106.smt2 (content) warn ok 0.290s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/ETCS-essentials-node3023.smt2 (content) warn ok 0.170s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/ETCS-essentials-live2.proof-node640.smt2 (content) warn ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/ETCS-essentials-live2.proof-node1339.smt2 (content) warn ok 0.113s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/ETCS-essentials-live2.proof-node1001.smt2 (content) warn ok 0.121s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/ETCS-essentials-live-range2.proof-node577.smt2 (content) warn ok 0.165s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/ETCS-essentials-live-range2.proof-node1388.smt2 (content) warn ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/ETCS-essentials-live-range2.proof-node1046.smt2 (content) warn ok 0.111s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/ETCS-d-braking-node2220.smt2 (content) warn ok 0.120s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/ETCS-d-braking-node1346.smt2 (content) warn ok 0.176s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/why/smtlibfe2816.smt2 (content) warn ok 0.137s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/why/smtlibfc99e2.smt2 (content) warn ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/why/smtlibf3ad77.smt2 (content) warn ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/why/smtlibf37c88.smt2 (content) warn ok 0.178s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/why/smtlibdff996.smt2 (content) warn ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/why/smtlibdba7a4.smt2 (content) warn ok 0.139s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/why/smtlibd85203.smt2 (content) warn ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/why/smtlibce35b2.smt2 (content) warn ok 0.140s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/why/smtlibb47bdc.smt2 (content) warn ok 0.138s