detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2600.smt2 (content) ok ok 0.012s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_260.smt2 (content) ok ok 0.010s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_26.smt2 (content) ok ok 0.022s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2599.smt2 (content) ok ok 0.021s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2598.smt2 (content) ok ok 0.042s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2597.smt2 (content) ok ok 0.014s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2596.smt2 (content) ok ok 0.046s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2595.smt2 (content) ok ok 0.043s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2594.smt2 (content) ok ok 0.047s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2593.smt2 (content) ok ok 0.043s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2592.smt2 (content) ok ok 0.039s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2591.smt2 (content) ok ok 0.015s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2590.smt2 (content) ok ok 0.017s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_259.smt2 (content) ok ok 0.138s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2589.smt2 (content) ok ok 0.013s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2588.smt2 (content) ok ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2587.smt2 (content) ok ok 0.083s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2586.smt2 (content) ok ok 0.086s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2585.smt2 (content) ok ok 0.096s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2584.smt2 (content) ok ok 0.094s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2583.smt2 (content) ok ok 0.068s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2582.smt2 (content) ok ok 0.051s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2581.smt2 (content) ok ok 0.145s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2580.smt2 (content) ok ok 0.091s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_258.smt2 (content) ok ok 0.045s