detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2375.smt2 (content) ok ok 0.196s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2374.smt2 (content) ok ok 0.165s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2373.smt2 (content) ok ok 0.172s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2372.smt2 (content) ok ok 0.169s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2371.smt2 (content) ok ok 0.171s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2370.smt2 (content) ok ok 0.175s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_237.smt2 (content) ok ok 0.060s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2369.smt2 (content) ok ok 0.184s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2368.smt2 (content) ok ok 0.179s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2367.smt2 (content) ok ok 0.205s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2366.smt2 (content) ok ok 0.138s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2365.smt2 (content) ok ok 0.178s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2364.smt2 (content) ok ok 0.199s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2363.smt2 (content) ok ok 0.215s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2362.smt2 (content) ok ok 0.171s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2361.smt2 (content) ok ok 0.176s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2360.smt2 (content) ok ok 0.171s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_236.smt2 (content) ok ok 0.027s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2359.smt2 (content) ok ok 0.161s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2358.smt2 (content) ok ok 0.137s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2357.smt2 (content) ok ok 0.163s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2356.smt2 (content) ok ok 0.301s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2355.smt2 (content) ok ok 0.224s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2354.smt2 (content) ok ok 0.195s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2353.smt2 (content) ok ok 0.194s