detailed results (241608 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1764.smt2 (content) ok ok 0.089s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1761.smt2 (content) ok ok 0.066s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1758.smt2 (content) ok ok 0.104s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1755.smt2 (content) ok ok 0.118s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1752.smt2 (content) ok ok 0.099s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_175.smt2 (content) ok ok 0.076s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1749.smt2 (content) ok ok 0.096s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1748.smt2 (content) ok ok 0.126s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1741.smt2 (content) ok ok 0.072s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1739.smt2 (content) ok ok 0.120s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1738.smt2 (content) ok ok 0.077s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1737.smt2 (content) ok ok 0.089s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1736.smt2 (content) ok ok 0.073s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1732.smt2 (content) ok ok 0.078s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_173.smt2 (content) ok ok 0.096s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1729.smt2 (content) ok ok 0.079s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1728.smt2 (content) ok ok 0.076s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1726.smt2 (content) ok ok 0.088s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1723.smt2 (content) ok ok 0.077s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1722.smt2 (content) ok ok 0.071s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1720.smt2 (content) ok ok 0.070s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1707.smt2 (content) ok ok 0.073s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1703.smt2 (content) ok ok 0.075s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_17.smt2 (content) ok ok 0.078s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1679.smt2 (content) ok ok 0.091s