detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2105.smt2 (content) ok ok 0.060s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2104.smt2 (content) ok ok 0.054s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2103.smt2 (content) ok ok 0.094s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2102.smt2 (content) ok ok 0.055s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2101.smt2 (content) ok ok 0.057s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2100.smt2 (content) ok ok 0.059s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_210.smt2 (content) ok ok 0.043s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_21.smt2 (content) ok ok 0.026s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2099.smt2 (content) ok ok 0.097s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2098.smt2 (content) ok ok 0.018s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2097.smt2 (content) ok ok 0.058s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2096.smt2 (content) ok ok 0.061s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2095.smt2 (content) ok ok 0.027s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2094.smt2 (content) ok ok 0.061s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2093.smt2 (content) ok ok 0.062s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2092.smt2 (content) ok ok 0.047s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2091.smt2 (content) ok ok 0.055s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2090.smt2 (content) ok ok 0.101s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_209.smt2 (content) ok ok 0.013s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2089.smt2 (content) ok ok 0.057s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2088.smt2 (content) ok ok 0.057s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2087.smt2 (content) ok ok 0.042s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2086.smt2 (content) ok ok 0.091s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2085.smt2 (content) ok ok 0.093s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_2084.smt2 (content) ok ok 0.026s