detailed results (241608 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/090.smt2 (content) ok ok 0.095s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/089.smt2 (content) ok ok 0.092s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/088.smt2 (content) ok ok 0.095s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/087.smt2 (content) ok ok 0.118s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/086.smt2 (content) ok ok 0.118s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/085.smt2 (content) ok ok 0.120s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/084.smt2 (content) ok ok 0.077s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/083.smt2 (content) ok ok 0.112s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/082.smt2 (content) ok ok 0.092s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/081.smt2 (content) ok ok 0.083s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/080.smt2 (content) ok ok 0.076s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/079.smt2 (content) ok ok 0.095s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/078.smt2 (content) ok ok 0.073s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/077.smt2 (content) ok ok 0.074s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/076.smt2 (content) ok ok 0.082s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/075.smt2 (content) ok ok 0.110s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/074.smt2 (content) ok ok 0.098s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/073.smt2 (content) ok ok 0.090s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/072.smt2 (content) ok ok 0.109s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/071.smt2 (content) ok ok 0.075s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/070.smt2 (content) ok ok 0.068s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/069.smt2 (content) ok ok 0.071s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/068.smt2 (content) ok ok 0.069s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/067.smt2 (content) ok ok 0.082s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/066.smt2 (content) ok ok 0.099s