detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5301.smt2 (content) ok ok 0.872s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5300.smt2 (content) ok ok 0.946s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_530.smt2 (content) ok ok 15.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_53.smt2 (content) ok ok 13.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5299.smt2 (content) ok ok 0.919s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5298.smt2 (content) ok ok 0.559s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5297.smt2 (content) ok ok 0.930s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5296.smt2 (content) ok ok 0.935s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5295.smt2 (content) ok ok 0.913s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5294.smt2 (content) ok ok 0.981s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5293.smt2 (content) ok ok 0.786s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5292.smt2 (content) ok ok 0.924s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5291.smt2 (content) ok ok 18.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5290.smt2 (content) ok ok 0.921s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_529.smt2 (content) ok ok 17.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5289.smt2 (content) ok ok 0.929s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5288.smt2 (content) ok ok 1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5287.smt2 (content) ok ok 0.591s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5286.smt2 (content) ok ok 0.901s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5285.smt2 (content) ok ok 0.523s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5284.smt2 (content) ok ok 0.711s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5283.smt2 (content) ok ok 0.932s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5282.smt2 (content) ok ok 0.928s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5281.smt2 (content) ok ok 0.932s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5280.smt2 (content) ok ok 20s