detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2823.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2822.smt2 (content) ok ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2821.smt2 (content) ok ok 0.084s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_282.smt2 (content) ok ok 0.055s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2819.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2814.smt2 (content) ok ok 0.100s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2812.smt2 (content) ok ok 0.072s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2811.smt2 (content) ok ok 0.049s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2810.smt2 (content) ok ok 0.088s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_281.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2809.smt2 (content) ok ok 0.081s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2808.smt2 (content) ok ok 0.086s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2807.smt2 (content) ok ok 0.087s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2806.smt2 (content) ok ok 0.048s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2804.smt2 (content) ok ok 0.083s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2803.smt2 (content) ok ok 0.103s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2802.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2801.smt2 (content) ok ok 0.072s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_280.smt2 (content) ok ok 0.029s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_28.smt2 (content) ok ok 0.065s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2798.smt2 (content) ok ok 0.093s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2797.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2796.smt2 (content) ok ok 0.083s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2793.smt2 (content) ok ok 0.079s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2792.smt2 (content) ok ok 0.098s