detailed results (241608 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/165.smt2 (content) ok ok 0.072s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/164.smt2 (content) ok ok 0.074s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/163.smt2 (content) ok ok 0.094s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/162.smt2 (content) ok ok 0.073s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/161.smt2 (content) ok ok 0.073s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/160.smt2 (content) ok ok 0.076s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/159.smt2 (content) ok ok 0.077s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/158.smt2 (content) ok ok 0.072s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/157.smt2 (content) ok ok 0.074s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/156.smt2 (content) ok ok 0.118s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/155.smt2 (content) ok ok 0.097s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/154.smt2 (content) ok ok 0.079s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/153.smt2 (content) ok ok 0.076s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/152.smt2 (content) ok ok 0.070s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/151.smt2 (content) ok ok 0.076s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/150.smt2 (content) ok ok 0.074s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/149.smt2 (content) ok ok 0.097s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/148.smt2 (content) ok ok 0.095s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/147.smt2 (content) ok ok 0.071s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/146.smt2 (content) ok ok 0.094s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/145.smt2 (content) ok ok 0.070s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/144.smt2 (content) ok ok 0.082s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/143.smt2 (content) ok ok 0.076s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/142.smt2 (content) ok ok 0.079s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/141.smt2 (content) ok ok 0.069s