detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3130.smt2 (content) ok ok 0.013s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_313.smt2 (content) ok ok 0.125s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3129.smt2 (content) ok ok 0.013s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3128.smt2 (content) ok ok 0.017s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3127.smt2 (content) ok ok 0.014s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3126.smt2 (content) ok ok 0.047s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3125.smt2 (content) ok ok 0.017s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3124.smt2 (content) ok ok 0.013s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3123.smt2 (content) ok ok 0.048s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_312.smt2 (content) ok ok 0.082s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3114.smt2 (content) ok ok 0.055s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3113.smt2 (content) ok ok 0.020s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_311.smt2 (content) ok ok 0.086s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3109.smt2 (content) ok ok 0.052s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3108.smt2 (content) ok ok 0.052s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3107.smt2 (content) ok ok 0.020s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3106.smt2 (content) ok ok 0.012s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3105.smt2 (content) ok ok 0.015s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3102.smt2 (content) ok ok 0.015s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_310.smt2 (content) ok ok 0.109s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_31.smt2 (content) ok ok 0.064s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3092.smt2 (content) ok ok 0.014s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3091.smt2 (content) ok ok 0.016s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3090.smt2 (content) ok ok 0.014s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_309.smt2 (content) ok ok 0.082s