detailed results (241608 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-scholl-smt08/RND/RND_4_13.smt2 (content) ok ok 0.073s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-scholl-smt08/RND/RND_4_10.smt2 (content) ok ok 0.077s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-scholl-smt08/RND/RND_3_8.smt2 (content) ok ok 0.070s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-scholl-smt08/RND/RND_3_7.smt2 (content) ok ok 0.065s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-scholl-smt08/RND/RND_3_6.smt2 (content) ok ok 0.098s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-scholl-smt08/RND/RND_3_5.smt2 (content) ok ok 0.077s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-scholl-smt08/RND/RND_3_4.smt2 (content) ok ok 0.071s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-scholl-smt08/RND/RND_3_30.smt2 (content) ok ok 0.075s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-scholl-smt08/RND/RND_3_29.smt2 (content) ok ok 0.076s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-scholl-smt08/RND/RND_3_27.smt2 (content) ok ok 0.071s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-scholl-smt08/RND/RND_3_26.smt2 (content) ok ok 0.093s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-scholl-smt08/RND/RND_3_25.smt2 (content) ok ok 0.077s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-scholl-smt08/RND/RND_3_23.smt2 (content) ok ok 0.092s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-scholl-smt08/RND/RND_3_20.smt2 (content) ok ok 0.071s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-scholl-smt08/RND/RND_3_18.smt2 (content) ok ok 0.077s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-scholl-smt08/RND/RND_3_17.smt2 (content) ok ok 0.073s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-scholl-smt08/RND/RND_3_16.smt2 (content) ok ok 0.081s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-scholl-smt08/RND/RND_3_13.smt2 (content) ok ok 0.074s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-scholl-smt08/RND/RND_3_12.smt2 (content) ok ok 0.109s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-scholl-smt08/RND/RND_3_10.smt2 (content) ok ok 0.070s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-scholl-smt08/RND/RND_3_1.smt2 (content) ok ok 0.067s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/196.smt2 (content) ok ok 0.101s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/195.smt2 (content) ok ok 0.100s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/194.smt2 (content) ok ok 0.120s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/193.smt2 (content) ok ok 0.072s