detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/gcd_2_true.c.17.smt2 (content) ok ok 0.297s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/gcd_1_true.c.21.smt2 (content) ok ok 0.456s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/gcd_1_true.c.17.smt2 (content) ok ok 0.360s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/byte_add_false.c.21.smt2 (content) ok ok 19.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/byte_add_false.c.17.smt2 (content) ok ok 12.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/byte_add_2_true.c.21.smt2 (content) ok ok 5.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/byte_add_2_true.c.17.smt2 (content) ok ok 5.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/byte_add_1_true.c.21.smt2 (content) ok ok 6.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/byte_add_1_true.c.17.smt2 (content) ok ok 5.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bench_ab/b26test0001.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bench_ab/b265test0001.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bench_ab/b188test0002.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bench_ab/b187test0001.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a9test0002.smt2 (content) ok ok 0.023s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a97test0001.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a95test0002.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a94test0001.smt2 (content) ok ok 0.018s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a8test0001.smt2 (content) ok ok 0.023s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a79test0003.smt2 (content) ok ok 0.023s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a78test0002.smt2 (content) ok ok 0.026s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a77test0001.smt2 (content) ok ok 0.022s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a700test0050.smt2 (content) ok ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a699test0039.smt2 (content) ok ok 0.026s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a698test0027.smt2 (content) ok ok 0.030s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a697test0077.smt2 (content) ok ok 0.029s