detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/046.smt2 (content) ok ok 0.119s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/045.smt2 (content) ok ok 0.128s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/044.smt2 (content) ok ok 0.167s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/043.smt2 (content) ok ok 0.129s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/042.smt2 (content) ok ok 0.129s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/041.smt2 (content) ok ok 0.127s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/040.smt2 (content) ok ok 0.119s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/039.smt2 (content) ok ok 0.228s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/038.smt2 (content) ok ok 0.226s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/037.smt2 (content) ok ok 0.191s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/036.smt2 (content) ok ok 0.169s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/035.smt2 (content) ok ok 0.173s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/034.smt2 (content) ok ok 0.179s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/033.smt2 (content) ok ok 0.175s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/032.smt2 (content) ok ok 0.173s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/031.smt2 (content) ok ok 0.169s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/030.smt2 (content) ok ok 0.218s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/029.smt2 (content) ok ok 0.225s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/028.smt2 (content) ok ok 0.181s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/027.smt2 (content) ok ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/026.smt2 (content) ok ok 0.129s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/025.smt2 (content) ok ok 0.173s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/024.smt2 (content) ok ok 0.168s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/023.smt2 (content) ok ok 0.125s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/022.smt2 (content) ok ok 0.121s