detailed results (199 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/QF_BV/bmc-bv-svcomp14/s3_srvr_3_alt_true.BV.c.cil.c.21.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/bmc-bv-svcomp14/s3_srvr_3_alt_true.BV.c.cil.c.17.smt2 (content) timout ok 1m0.2s
dolmen /home/guillaume/bench/smtlib/QF_BV/bmc-bv-svcomp14/s3_srvr_2_true.BV.c.cil.c.21.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/bmc-bv-svcomp14/s3_srvr_2_true.BV.c.cil.c.17.smt2 (content) timout ok 1m0.2s
dolmen /home/guillaume/bench/smtlib/QF_BV/bmc-bv-svcomp14/s3_srvr_2_alt_true.BV.c.cil.c.21.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/bmc-bv-svcomp14/s3_srvr_2_alt_true.BV.c.cil.c.17.smt2 (content) timout ok 1m0.2s
dolmen /home/guillaume/bench/smtlib/QF_BV/bmc-bv-svcomp14/s3_srvr_1_true.BV.c.cil.c.21.smt2 (content) timout ok 1m0.2s
dolmen /home/guillaume/bench/smtlib/QF_BV/bmc-bv-svcomp14/s3_srvr_1_true.BV.c.cil.c.17.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/bmc-bv-svcomp14/s3_srvr_1_alt_true.BV.c.cil.c.21.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/bmc-bv-svcomp14/s3_srvr_1_alt_true.BV.c.cil.c.17.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/bmc-bv-svcomp14/s3_clnt_3_true.BV.c.cil.c.21.smt2 (content) timout ok 1m0.2s
dolmen /home/guillaume/bench/smtlib/QF_BV/bmc-bv-svcomp14/s3_clnt_3_true.BV.c.cil.c.17.smt2 (content) timout ok 1m0.2s
dolmen /home/guillaume/bench/smtlib/QF_BV/bmc-bv-svcomp14/s3_clnt_3_false.BV.c.cil.c.21.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/bmc-bv-svcomp14/s3_clnt_3_false.BV.c.cil.c.17.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/bmc-bv-svcomp14/s3_clnt_2_true.BV.c.cil.c.21.smt2 (content) timout ok 1m0.2s
dolmen /home/guillaume/bench/smtlib/QF_BV/bmc-bv-svcomp14/s3_clnt_2_true.BV.c.cil.c.17.smt2 (content) timout ok 1m0.2s
dolmen /home/guillaume/bench/smtlib/QF_BV/bmc-bv-svcomp14/s3_clnt_2_false.BV.c.cil.c.21.smt2 (content) timout ok 1m0.2s
dolmen /home/guillaume/bench/smtlib/QF_BV/bmc-bv-svcomp14/s3_clnt_2_false.BV.c.cil.c.17.smt2 (content) timout ok 1m0.2s
dolmen /home/guillaume/bench/smtlib/QF_BV/bmc-bv-svcomp14/s3_clnt_1_true.BV.c.cil.c.21.smt2 (content) timout ok 1m0.2s
dolmen /home/guillaume/bench/smtlib/QF_BV/bmc-bv-svcomp14/s3_clnt_1_true.BV.c.cil.c.17.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/bmc-bv-svcomp14/s3_clnt_1_false.BV.c.cil.c.21.smt2 (content) timout ok 1m0.2s
dolmen /home/guillaume/bench/smtlib/QF_BV/bmc-bv-svcomp14/s3_clnt_1_false.BV.c.cil.c.17.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/WireRouting/wire.17.x.17.b.10.a.25_unsat.data.smt2 (content) timout ok 1m0.1s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/WireRouting/wire.16.x.16.b.5.a.30_sat.data.smt2 (content) timout ok 1m0.2s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/WireRouting/wire.16.x.16.b.5.a.25_sat.data.smt2 (content) timout ok 1m0.1s