detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4400.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_440.smt2 (content) ok ok 0.041s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_44.smt2 (content) ok ok 0.017s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4399.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4398.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4397.smt2 (content) ok ok 0.029s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4396.smt2 (content) ok ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4395.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4394.smt2 (content) ok ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4393.smt2 (content) ok ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4392.smt2 (content) ok ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4391.smt2 (content) ok ok 0.060s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4390.smt2 (content) ok ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_439.smt2 (content) ok ok 0.012s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4389.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4388.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4387.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4386.smt2 (content) ok ok 0.038s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4385.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4384.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4383.smt2 (content) ok ok 0.012s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4382.smt2 (content) ok ok 0.012s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4381.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4380.smt2 (content) ok ok 0.058s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_438.smt2 (content) ok ok 0.041s