detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/171.smt2 (content) ok ok 0.232s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/170.smt2 (content) ok ok 0.176s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/169.smt2 (content) ok ok 0.161s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/168.smt2 (content) ok ok 0.173s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/167.smt2 (content) ok ok 0.178s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/166.smt2 (content) ok ok 0.165s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/165.smt2 (content) ok ok 0.175s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/164.smt2 (content) ok ok 0.175s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/163.smt2 (content) ok ok 0.113s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/162.smt2 (content) ok ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/161.smt2 (content) ok ok 0.115s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/160.smt2 (content) ok ok 0.179s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/159.smt2 (content) ok ok 0.175s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/158.smt2 (content) ok ok 0.171s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/157.smt2 (content) ok ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/156.smt2 (content) ok ok 0.244s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/155.smt2 (content) ok ok 0.175s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/154.smt2 (content) ok ok 0.125s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/153.smt2 (content) ok ok 0.171s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/152.smt2 (content) ok ok 0.189s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/151.smt2 (content) ok ok 0.180s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/150.smt2 (content) ok ok 0.128s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/149.smt2 (content) ok ok 0.175s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/148.smt2 (content) ok ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/147.smt2 (content) ok ok 0.168s