detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/096.smt2 (content) ok ok 0.186s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/095.smt2 (content) ok ok 0.184s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/094.smt2 (content) ok ok 0.228s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/093.smt2 (content) ok ok 0.170s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/092.smt2 (content) ok ok 0.164s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/091.smt2 (content) ok ok 0.117s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/090.smt2 (content) ok ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/089.smt2 (content) ok ok 0.183s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/088.smt2 (content) ok ok 0.119s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/087.smt2 (content) ok ok 0.240s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/086.smt2 (content) ok ok 0.127s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/085.smt2 (content) ok ok 0.129s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/084.smt2 (content) ok ok 0.169s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/083.smt2 (content) ok ok 0.197s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/082.smt2 (content) ok ok 0.170s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/081.smt2 (content) ok ok 0.177s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/080.smt2 (content) ok ok 0.129s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/079.smt2 (content) ok ok 0.176s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/078.smt2 (content) ok ok 0.226s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/077.smt2 (content) ok ok 0.170s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/076.smt2 (content) ok ok 0.175s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/075.smt2 (content) ok ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/074.smt2 (content) ok ok 0.182s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/073.smt2 (content) ok ok 0.166s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/072.smt2 (content) ok ok 0.245s