detailed results (241608 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/065.smt2 (content) ok ok 0.078s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/064.smt2 (content) ok ok 0.066s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/063.smt2 (content) ok ok 0.074s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/062.smt2 (content) ok ok 0.067s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/061.smt2 (content) ok ok 0.114s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/060.smt2 (content) ok ok 0.075s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/059.smt2 (content) ok ok 0.099s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/058.smt2 (content) ok ok 0.127s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/057.smt2 (content) ok ok 0.121s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/056.smt2 (content) ok ok 0.094s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/055.smt2 (content) ok ok 0.084s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/054.smt2 (content) ok ok 0.103s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/053.smt2 (content) ok ok 0.087s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/052.smt2 (content) ok ok 0.100s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/051.smt2 (content) ok ok 0.116s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/050.smt2 (content) ok ok 0.104s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/049.smt2 (content) ok ok 0.121s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/048.smt2 (content) ok ok 0.132s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/047.smt2 (content) ok ok 0.074s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/046.smt2 (content) ok ok 0.078s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/045.smt2 (content) ok ok 0.076s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/044.smt2 (content) ok ok 0.082s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/043.smt2 (content) ok ok 0.093s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/042.smt2 (content) ok ok 0.072s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/041.smt2 (content) ok ok 0.101s