detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5932.smt2 (content) ok ok 0.279s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5931.smt2 (content) ok ok 0.277s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5930.smt2 (content) ok ok 0.286s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_593.smt2 (content) ok ok 14.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5929.smt2 (content) ok ok 0.286s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5928.smt2 (content) ok ok 0.300s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5927.smt2 (content) ok ok 0.291s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5926.smt2 (content) ok ok 0.283s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5925.smt2 (content) ok ok 0.026s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5924.smt2 (content) ok ok 0.167s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5923.smt2 (content) ok ok 0.178s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5922.smt2 (content) ok ok 0.292s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5921.smt2 (content) ok ok 0.273s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5920.smt2 (content) ok ok 0.302s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_592.smt2 (content) ok ok 17.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5919.smt2 (content) ok ok 0.375s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5918.smt2 (content) ok ok 0.169s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5917.smt2 (content) ok ok 0.301s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5916.smt2 (content) ok ok 0.183s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5915.smt2 (content) ok ok 0.306s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5914.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5913.smt2 (content) ok ok 0.183s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5912.smt2 (content) ok ok 0.335s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5911.smt2 (content) ok ok 0.176s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5910.smt2 (content) ok ok 0.304s