detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvashr_0480.smt2 (content) ok ok 0.280s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvashr_0457.smt2 (content) ok ok 0.290s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvashr_0434.smt2 (content) ok ok 0.466s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvashr_0411.smt2 (content) ok ok 0.335s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvashr_0388.smt2 (content) ok ok 0.300s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvashr_0365.smt2 (content) ok ok 0.474s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvashr_0342.smt2 (content) ok ok 0.269s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvashr_0319.smt2 (content) ok ok 0.485s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvashr_0296.smt2 (content) ok ok 0.352s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvashr_0273.smt2 (content) ok ok 0.315s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvashr_0250.smt2 (content) ok ok 0.396s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvadd_29740.smt2 (content) ok ok 0.022s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvadd_28853.smt2 (content) ok ok 0.027s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvadd_27966.smt2 (content) ok ok 0.021s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvadd_27079.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvadd_26192.smt2 (content) ok ok 0.026s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvadd_25305.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvadd_24418.smt2 (content) ok ok 0.027s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvadd_23531.smt2 (content) ok ok 0.027s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvadd_22644.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvadd_21757.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvadd_20870.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvadd_19983.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvadd_19096.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvadd_18209.smt2 (content) ok ok 0.024s