detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3178.smt2 (content) ok ok 0.019s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3177.smt2 (content) ok ok 0.062s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3176.smt2 (content) ok ok 0.147s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3175.smt2 (content) ok ok 0.110s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3174.smt2 (content) ok ok 0.140s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3173.smt2 (content) ok ok 0.029s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3172.smt2 (content) ok ok 0.015s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3171.smt2 (content) ok ok 0.110s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3170.smt2 (content) ok ok 0.097s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_317.smt2 (content) ok ok 0.081s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3169.smt2 (content) ok ok 0.074s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3168.smt2 (content) ok ok 0.087s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3167.smt2 (content) ok ok 0.113s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3166.smt2 (content) ok ok 0.020s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3165.smt2 (content) ok ok 0.057s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3164.smt2 (content) ok ok 0.056s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3163.smt2 (content) ok ok 0.053s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3160.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_316.smt2 (content) ok ok 0.125s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3159.smt2 (content) ok ok 0.014s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3158.smt2 (content) ok ok 0.016s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3157.smt2 (content) ok ok 0.010s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3156.smt2 (content) ok ok 0.011s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3155.smt2 (content) ok ok 0.029s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3154.smt2 (content) ok ok 0.036s