detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5437.smt2 (content) ok ok 0.654s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5436.smt2 (content) ok ok 0.633s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5435.smt2 (content) ok ok 13.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5434.smt2 (content) ok ok 0.649s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5433.smt2 (content) ok ok 0.632s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5432.smt2 (content) ok ok 0.655s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5431.smt2 (content) ok ok 0.663s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5430.smt2 (content) ok ok 0.644s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_543.smt2 (content) ok ok 13.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5429.smt2 (content) ok ok 0.609s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5428.smt2 (content) ok ok 0.632s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5427.smt2 (content) ok ok 0.803s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5426.smt2 (content) ok ok 0.653s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5425.smt2 (content) ok ok 0.653s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5424.smt2 (content) ok ok 16s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5423.smt2 (content) ok ok 0.645s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5422.smt2 (content) ok ok 0.489s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5421.smt2 (content) ok ok 0.367s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5420.smt2 (content) ok ok 0.406s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_542.smt2 (content) ok ok 13s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5419.smt2 (content) ok ok 0.655s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5418.smt2 (content) ok ok 0.675s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5417.smt2 (content) ok ok 0.674s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5416.smt2 (content) ok ok 0.870s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5415.smt2 (content) ok ok 0.649s