detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1784.smt2 (content) ok ok 0.168s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1781.smt2 (content) ok ok 0.122s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1778.smt2 (content) ok ok 0.122s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1777.smt2 (content) ok ok 0.165s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1770.smt2 (content) ok ok 0.117s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1767.smt2 (content) ok ok 0.120s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1764.smt2 (content) ok ok 0.121s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1761.smt2 (content) ok ok 0.115s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1758.smt2 (content) ok ok 0.116s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1755.smt2 (content) ok ok 0.118s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1752.smt2 (content) ok ok 0.113s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_175.smt2 (content) ok ok 0.123s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1749.smt2 (content) ok ok 0.162s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1748.smt2 (content) ok ok 0.120s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1741.smt2 (content) ok ok 0.126s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1739.smt2 (content) ok ok 0.124s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1738.smt2 (content) ok ok 0.174s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1737.smt2 (content) ok ok 0.122s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1736.smt2 (content) ok ok 0.113s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1732.smt2 (content) ok ok 0.121s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_173.smt2 (content) ok ok 0.170s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1729.smt2 (content) ok ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1728.smt2 (content) ok ok 0.113s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1726.smt2 (content) ok ok 0.229s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1723.smt2 (content) ok ok 0.169s