detailed results (241608 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1677.smt2 (content) ok ok 0.100s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1676.smt2 (content) ok ok 0.095s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1597.smt2 (content) ok ok 0.079s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1578.smt2 (content) ok ok 0.075s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1575.smt2 (content) ok ok 0.068s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1479.smt2 (content) ok ok 0.074s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1477.smt2 (content) ok ok 0.095s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1475.smt2 (content) ok ok 0.073s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1471.smt2 (content) ok ok 0.080s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1437.smt2 (content) ok ok 0.070s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1427.smt2 (content) ok ok 0.085s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1379.smt2 (content) ok ok 0.078s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1375.smt2 (content) ok ok 0.091s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1371.smt2 (content) ok ok 0.074s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1370.smt2 (content) ok ok 0.071s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1357.smt2 (content) ok ok 0.074s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1337.smt2 (content) ok ok 0.081s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1317.smt2 (content) ok ok 0.100s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1307.smt2 (content) ok ok 0.098s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1172.smt2 (content) ok ok 0.080s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1170.smt2 (content) ok ok 0.060s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1117.smt2 (content) ok ok 0.098s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1107.smt2 (content) ok ok 0.095s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1072.smt2 (content) ok ok 0.096s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1070.smt2 (content) ok ok 0.069s