detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/s3_clnt_1_true.BV.c.cil.c.21.smt2 (content) timout ok 10m0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/s3_clnt_1_true.BV.c.cil.c.17.smt2 (content) timout ok 10m0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/s3_clnt_1_false.BV.c.cil.c.21.smt2 (content) timout ok 10m0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/s3_clnt_1_false.BV.c.cil.c.17.smt2 (content) timout ok 10m0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/parity_true.c.21.smt2 (content) ok ok 0.358s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/parity_true.c.17.smt2 (content) ok ok 0.263s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/num_conversion_2_true.c.21.smt2 (content) ok ok 0.090s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/num_conversion_2_true.c.17.smt2 (content) ok ok 0.055s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/modulus_true.c.21.smt2 (content) ok ok 10.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/modulus_true.c.17.smt2 (content) ok ok 5.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/jain_7_true.c.21.smt2 (content) ok ok 1.8s
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