detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2117.smt2 (content) ok ok 0.189s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2116.smt2 (content) ok ok 0.193s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2115.smt2 (content) ok ok 0.279s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2114.smt2 (content) ok ok 0.385s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2113.smt2 (content) ok ok 0.203s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2112.smt2 (content) ok ok 0.171s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2111.smt2 (content) ok ok 0.304s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2110.smt2 (content) ok ok 0.238s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_211.smt2 (content) ok ok 0.048s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2109.smt2 (content) ok ok 0.172s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2108.smt2 (content) ok ok 0.173s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2107.smt2 (content) ok ok 0.224s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2106.smt2 (content) ok ok 0.172s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2105.smt2 (content) ok ok 0.214s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2104.smt2 (content) ok ok 0.145s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2103.smt2 (content) ok ok 0.310s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2102.smt2 (content) ok ok 0.182s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2101.smt2 (content) ok ok 0.182s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2100.smt2 (content) ok ok 0.304s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_210.smt2 (content) ok ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_21.smt2 (content) ok ok 0.171s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2099.smt2 (content) ok ok 0.147s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2098.smt2 (content) ok ok 0.184s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2097.smt2 (content) ok ok 0.206s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2096.smt2 (content) ok ok 0.389s