detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/jain_7_true.c.17.smt2 (content) ok ok 1.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/jain_6_true.c.21.smt2 (content) ok ok 1.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/jain_6_true.c.17.smt2 (content) ok ok 1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/jain_4_true.c.21.smt2 (content) ok ok 1.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/jain_4_true.c.17.smt2 (content) ok ok 1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/jain_2_true.c.21.smt2 (content) ok ok 1.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/jain_2_true.c.17.smt2 (content) ok ok 0.880s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/jain_1_true.c.21.smt2 (content) ok ok 0.996s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/jain_1_true.c.17.smt2 (content) ok ok 0.649s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/interleave_bits_true.c.21.smt2 (content) ok ok 0.097s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/interleave_bits_true.c.17.smt2 (content) ok ok 0.080s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/gcd_3_true.c.21.smt2 (content) ok ok 0.401s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/gcd_3_true.c.17.smt2 (content) ok ok 0.261s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/gcd_2_true.c.21.smt2 (content) ok ok 0.399s
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