detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/121.smt2 (content) ok ok 0.180s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/120.smt2 (content) ok ok 0.179s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/119.smt2 (content) ok ok 0.175s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/118.smt2 (content) ok ok 0.227s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/117.smt2 (content) ok ok 0.176s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/116.smt2 (content) ok ok 0.179s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/115.smt2 (content) ok ok 0.163s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/114.smt2 (content) ok ok 0.167s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/113.smt2 (content) ok ok 0.173s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/112.smt2 (content) ok ok 0.122s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/111.smt2 (content) ok ok 0.179s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/110.smt2 (content) ok ok 0.115s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/109.smt2 (content) ok ok 0.174s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/108.smt2 (content) ok ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/107.smt2 (content) ok ok 0.226s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/106.smt2 (content) ok ok 0.172s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/105.smt2 (content) ok ok 0.176s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/104.smt2 (content) ok ok 0.127s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/103.smt2 (content) ok ok 0.171s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/102.smt2 (content) ok ok 0.165s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/101.smt2 (content) ok ok 0.176s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/100.smt2 (content) ok ok 0.174s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/099.smt2 (content) ok ok 0.229s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/098.smt2 (content) ok ok 0.285s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/097.smt2 (content) ok ok 0.239s