detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3237.smt2 (content) ok ok 0.076s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3236.smt2 (content) ok ok 0.147s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3235.smt2 (content) ok ok 0.118s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3234.smt2 (content) ok ok 0.121s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3233.smt2 (content) ok ok 0.123s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3232.smt2 (content) ok ok 0.094s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3231.smt2 (content) ok ok 0.125s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3230.smt2 (content) ok ok 0.084s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_323.smt2 (content) ok ok 0.065s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3229.smt2 (content) ok ok 0.120s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3228.smt2 (content) ok ok 0.096s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3227.smt2 (content) ok ok 0.127s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3226.smt2 (content) ok ok 0.116s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3225.smt2 (content) ok ok 0.142s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3224.smt2 (content) ok ok 0.102s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3223.smt2 (content) ok ok 0.116s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3222.smt2 (content) ok ok 0.123s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3221.smt2 (content) ok ok 0.078s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3220.smt2 (content) ok ok 0.084s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_322.smt2 (content) ok ok 0.054s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3219.smt2 (content) ok ok 0.071s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3218.smt2 (content) ok ok 0.105s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3217.smt2 (content) ok ok 0.097s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3216.smt2 (content) ok ok 0.070s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3215.smt2 (content) ok ok 0.220s