detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2307.smt2 (content) ok ok 0.143s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2306.smt2 (content) ok ok 0.195s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2305.smt2 (content) ok ok 0.045s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2304.smt2 (content) ok ok 0.074s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2303.smt2 (content) ok ok 0.067s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2302.smt2 (content) ok ok 0.174s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2301.smt2 (content) ok ok 0.193s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2300.smt2 (content) ok ok 0.085s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_230.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_23.smt2 (content) ok ok 0.147s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2299.smt2 (content) ok ok 0.096s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2298.smt2 (content) ok ok 0.100s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2297.smt2 (content) ok ok 0.070s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2296.smt2 (content) ok ok 0.045s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2295.smt2 (content) ok ok 0.048s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2294.smt2 (content) ok ok 0.046s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2293.smt2 (content) ok ok 0.210s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2292.smt2 (content) ok ok 0.064s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2291.smt2 (content) ok ok 0.051s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2290.smt2 (content) ok ok 0.049s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_229.smt2 (content) ok ok 0.026s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2289.smt2 (content) ok ok 0.074s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2288.smt2 (content) ok ok 0.049s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2287.smt2 (content) ok ok 0.047s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2286.smt2 (content) ok ok 0.047s