detailed results (241608 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/115.smt2 (content) ok ok 0.073s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/114.smt2 (content) ok ok 0.130s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/113.smt2 (content) ok ok 0.082s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/112.smt2 (content) ok ok 0.096s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/111.smt2 (content) ok ok 0.084s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/110.smt2 (content) ok ok 0.073s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/109.smt2 (content) ok ok 0.080s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/108.smt2 (content) ok ok 0.074s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/107.smt2 (content) ok ok 0.073s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/106.smt2 (content) ok ok 0.074s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/105.smt2 (content) ok ok 0.082s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/104.smt2 (content) ok ok 0.074s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/103.smt2 (content) ok ok 0.076s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/102.smt2 (content) ok ok 0.101s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/101.smt2 (content) ok ok 0.097s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/100.smt2 (content) ok ok 0.092s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/099.smt2 (content) ok ok 0.084s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/098.smt2 (content) ok ok 0.117s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/097.smt2 (content) ok ok 0.090s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/096.smt2 (content) ok ok 0.076s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/095.smt2 (content) ok ok 0.108s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/094.smt2 (content) ok ok 0.100s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/093.smt2 (content) ok ok 0.081s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/092.smt2 (content) ok ok 0.103s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/091.smt2 (content) ok ok 0.100s