detailed results (241608 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_357.smt2 (content) ok ok 0.102s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_277.smt2 (content) ok ok 0.092s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1897.smt2 (content) ok ok 0.135s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1887.smt2 (content) ok ok 0.069s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1879.smt2 (content) ok ok 0.078s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1878.smt2 (content) ok ok 0.067s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1877.smt2 (content) ok ok 0.070s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1875.smt2 (content) ok ok 0.076s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1874.smt2 (content) ok ok 0.101s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_187.smt2 (content) ok ok 0.073s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1847.smt2 (content) ok ok 0.069s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1817.smt2 (content) ok ok 0.075s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1798.smt2 (content) ok ok 0.074s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1795.smt2 (content) ok ok 0.077s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1792.smt2 (content) ok ok 0.069s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_179.smt2 (content) ok ok 0.065s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1789.smt2 (content) ok ok 0.069s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1786.smt2 (content) ok ok 0.076s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1785.smt2 (content) ok ok 0.073s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1784.smt2 (content) ok ok 0.063s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1781.smt2 (content) ok ok 0.073s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1778.smt2 (content) ok ok 0.077s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1777.smt2 (content) ok ok 0.077s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1770.smt2 (content) ok ok 0.090s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1767.smt2 (content) ok ok 0.073s