detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/soft_float_3_true.c.cil.c.17.smt2 (content) ok ok 1m21.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/soft_float_2_true.c.cil.c.21.smt2 (content) ok ok 2m19.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/soft_float_2_true.c.cil.c.17.smt2 (content) ok ok 1m17.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/soft_float_1_true.c.cil.c.21.smt2 (content) ok ok 4m32s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/soft_float_1_true.c.cil.c.17.smt2 (content) ok ok 2m54.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/s3_srvr_3_true.BV.c.cil.c.21.smt2 (content) timout ok 10m0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/s3_srvr_3_true.BV.c.cil.c.17.smt2 (content) timout ok 10m0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/s3_srvr_3_alt_true.BV.c.cil.c.21.smt2 (content) timout ok 10m0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/s3_srvr_3_alt_true.BV.c.cil.c.17.smt2 (content) timout ok 10m0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/s3_srvr_2_true.BV.c.cil.c.21.smt2 (content) timout ok 10m0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/s3_srvr_2_true.BV.c.cil.c.17.smt2 (content) timout ok 10m0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/s3_srvr_2_alt_true.BV.c.cil.c.21.smt2 (content) timout ok 10m0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/s3_srvr_2_alt_true.BV.c.cil.c.17.smt2 (content) timout ok 10m0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/s3_srvr_1_true.BV.c.cil.c.21.smt2 (content) timout ok 10m0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/s3_srvr_1_true.BV.c.cil.c.17.smt2 (content) timout ok 10m0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/s3_srvr_1_alt_true.BV.c.cil.c.21.smt2 (content) timout ok 10m0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/s3_srvr_1_alt_true.BV.c.cil.c.17.smt2 (content) timout ok 10m0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/s3_clnt_3_true.BV.c.cil.c.21.smt2 (content) timout ok 10m0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/s3_clnt_3_true.BV.c.cil.c.17.smt2 (content) timout ok 10m0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/s3_clnt_3_false.BV.c.cil.c.21.smt2 (content) timout ok 10m0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/s3_clnt_3_false.BV.c.cil.c.17.smt2 (content) timout ok 10m0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/s3_clnt_2_true.BV.c.cil.c.21.smt2 (content) timout ok 10m0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/s3_clnt_2_true.BV.c.cil.c.17.smt2 (content) timout ok 10m0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/s3_clnt_2_false.BV.c.cil.c.21.smt2 (content) timout ok 10m0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/s3_clnt_2_false.BV.c.cil.c.17.smt2 (content) timout ok 10m0s