detailed results (33316 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/ETCS-essentials-node4106.smt2 (content) warn ok 0.066s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/ETCS-essentials-node3023.smt2 (content) warn ok 0.047s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/ETCS-essentials-live2.proof-node640.smt2 (content) warn ok 0.080s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/ETCS-essentials-live2.proof-node1339.smt2 (content) warn ok 0.050s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/ETCS-essentials-live2.proof-node1001.smt2 (content) warn ok 0.044s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/ETCS-essentials-live-range2.proof-node577.smt2 (content) warn ok 0.049s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/ETCS-essentials-live-range2.proof-node1388.smt2 (content) warn ok 0.072s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/ETCS-essentials-live-range2.proof-node1046.smt2 (content) warn ok 0.067s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/ETCS-d-braking-node2220.smt2 (content) warn ok 0.049s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/ETCS-d-braking-node1346.smt2 (content) warn ok 0.056s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/why/smtlibfe2816.smt2 (content) warn ok 0.038s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/why/smtlibfc99e2.smt2 (content) warn ok 0.052s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/why/smtlibf3ad77.smt2 (content) warn ok 0.043s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/why/smtlibf37c88.smt2 (content) warn ok 0.046s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/why/smtlibdff996.smt2 (content) warn ok 0.033s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/why/smtlibdba7a4.smt2 (content) warn ok 0.035s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/why/smtlibd85203.smt2 (content) warn ok 0.037s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/why/smtlibce35b2.smt2 (content) warn ok 0.040s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/why/smtlibb47bdc.smt2 (content) warn ok 0.034s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/why/smtlib8e6000.smt2 (content) warn ok 0.042s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/why/smtlib7a3a8e.smt2 (content) warn ok 0.034s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/why/smtlib5966a0.smt2 (content) warn ok 0.034s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/why/smtlib14c92b.smt2 (content) warn ok 0.034s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/vc_normalize_subst/thruster_symm_0001.fof.smt2 (content) warn ok 0.054s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_structure_prop/thruster_symm_0031.fof.smt2 (content) warn ok 0.025s