detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_2382.smt2 (content) ok ok 0.028s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_2381.smt2 (content) ok ok 0.144s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_2380.smt2 (content) ok ok 0.077s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_238.smt2 (content) ok ok 0.074s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_2379.smt2 (content) ok ok 0.029s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_2378.smt2 (content) ok ok 0.076s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_2377.smt2 (content) ok ok 0.038s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_2376.smt2 (content) ok ok 0.072s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_2375.smt2 (content) ok ok 0.076s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_2374.smt2 (content) ok ok 0.062s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_2373.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_2372.smt2 (content) ok ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_2371.smt2 (content) ok ok 0.062s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_2370.smt2 (content) ok ok 0.175s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_237.smt2 (content) ok ok 0.164s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_2369.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_2368.smt2 (content) ok ok 0.079s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_2367.smt2 (content) ok ok 0.019s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_2366.smt2 (content) ok ok 0.010s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_2365.smt2 (content) ok ok 0.074s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_2364.smt2 (content) ok ok 0.042s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_2363.smt2 (content) ok ok 0.064s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_2362.smt2 (content) ok ok 0.016s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_2361.smt2 (content) ok ok 0.013s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_2360.smt2 (content) ok ok 0.073s