detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/071.smt2 (content) ok ok 0.178s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/070.smt2 (content) ok ok 0.123s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/069.smt2 (content) ok ok 0.128s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/068.smt2 (content) ok ok 0.129s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/067.smt2 (content) ok ok 0.173s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/066.smt2 (content) ok ok 0.117s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/065.smt2 (content) ok ok 0.164s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/064.smt2 (content) ok ok 0.168s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/063.smt2 (content) ok ok 0.179s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/062.smt2 (content) ok ok 0.179s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/061.smt2 (content) ok ok 0.173s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/060.smt2 (content) ok ok 0.241s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/059.smt2 (content) ok ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/058.smt2 (content) ok ok 0.173s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/057.smt2 (content) ok ok 0.172s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/056.smt2 (content) ok ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/055.smt2 (content) ok ok 0.177s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/054.smt2 (content) ok ok 0.178s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/053.smt2 (content) ok ok 0.182s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/052.smt2 (content) ok ok 0.181s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/051.smt2 (content) ok ok 0.128s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/050.smt2 (content) ok ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/049.smt2 (content) ok ok 0.228s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/048.smt2 (content) ok ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/047.smt2 (content) ok ok 0.233s