detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1722.smt2 (content) ok ok 0.170s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1720.smt2 (content) ok ok 0.125s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1707.smt2 (content) ok ok 0.125s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1703.smt2 (content) ok ok 0.165s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_17.smt2 (content) ok ok 0.294s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1679.smt2 (content) ok ok 0.177s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1677.smt2 (content) ok ok 0.122s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1676.smt2 (content) ok ok 0.178s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1597.smt2 (content) ok ok 0.223s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1578.smt2 (content) ok ok 0.140s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1575.smt2 (content) ok ok 0.112s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1479.smt2 (content) ok ok 0.240s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1477.smt2 (content) ok ok 0.171s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1475.smt2 (content) ok ok 0.176s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1471.smt2 (content) ok ok 0.116s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1437.smt2 (content) ok ok 0.121s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1427.smt2 (content) ok ok 0.109s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1379.smt2 (content) ok ok 0.171s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1375.smt2 (content) ok ok 0.117s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1371.smt2 (content) ok ok 0.170s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1370.smt2 (content) ok ok 0.124s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1357.smt2 (content) ok ok 0.108s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1337.smt2 (content) ok ok 0.115s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1317.smt2 (content) ok ok 0.177s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1307.smt2 (content) ok ok 0.179s