detailed results (241608 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/190.smt2 (content) ok ok 0.094s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/189.smt2 (content) ok ok 0.073s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/188.smt2 (content) ok ok 0.075s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/187.smt2 (content) ok ok 0.094s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/186.smt2 (content) ok ok 0.095s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/185.smt2 (content) ok ok 0.084s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/184.smt2 (content) ok ok 0.072s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/183.smt2 (content) ok ok 0.078s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/182.smt2 (content) ok ok 0.073s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/181.smt2 (content) ok ok 0.061s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/180.smt2 (content) ok ok 0.076s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/179.smt2 (content) ok ok 0.080s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/178.smt2 (content) ok ok 0.089s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/177.smt2 (content) ok ok 0.067s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/176.smt2 (content) ok ok 0.098s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/175.smt2 (content) ok ok 0.124s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/174.smt2 (content) ok ok 0.072s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/173.smt2 (content) ok ok 0.103s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/172.smt2 (content) ok ok 0.080s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/171.smt2 (content) ok ok 0.078s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/170.smt2 (content) ok ok 0.073s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/169.smt2 (content) ok ok 0.073s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/168.smt2 (content) ok ok 0.071s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/167.smt2 (content) ok ok 0.095s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/166.smt2 (content) ok ok 0.084s