detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvashr_0733.smt2 (content) ok ok 0.546s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvashr_0710.smt2 (content) ok ok 0.403s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvashr_0687.smt2 (content) ok ok 0.542s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvashr_0664.smt2 (content) ok ok 0.419s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvashr_0641.smt2 (content) ok ok 0.440s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvashr_0618.smt2 (content) ok ok 0.403s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvashr_0595.smt2 (content) ok ok 0.432s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvashr_0572.smt2 (content) ok ok 0.375s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvashr_0549.smt2 (content) ok ok 0.451s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvashr_0526.smt2 (content) ok ok 0.416s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvashr_0503.smt2 (content) ok ok 0.283s
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