detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_497.smt2 (content) ok ok 0.116s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_473.smt2 (content) ok ok 0.124s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_470.smt2 (content) ok ok 0.240s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_447.smt2 (content) ok ok 0.118s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_379.smt2 (content) ok ok 0.122s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_378.smt2 (content) ok ok 0.183s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_357.smt2 (content) ok ok 0.181s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_277.smt2 (content) ok ok 0.115s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1897.smt2 (content) ok ok 0.177s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1887.smt2 (content) ok ok 0.179s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1879.smt2 (content) ok ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1878.smt2 (content) ok ok 0.112s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1877.smt2 (content) ok ok 0.231s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1875.smt2 (content) ok ok 0.127s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1874.smt2 (content) ok ok 0.183s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_187.smt2 (content) ok ok 0.168s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1847.smt2 (content) ok ok 0.121s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1817.smt2 (content) ok ok 0.113s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1798.smt2 (content) ok ok 0.172s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1795.smt2 (content) ok ok 0.228s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1792.smt2 (content) ok ok 0.168s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_179.smt2 (content) ok ok 0.118s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1789.smt2 (content) ok ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1786.smt2 (content) ok ok 0.178s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1785.smt2 (content) ok ok 0.229s