detailed results (199 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/QF_IDL/asp/EdgeMatching/edge-matching-width=9-height=9-colours=13.smt2 (content) timout ok 1m0.4s
dolmen /home/guillaume/bench/smtlib/QF_IDL/asp/EdgeMatching/edge-matching-width=9-height=9-colours=12.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_IDL/asp/EdgeMatching/edge-matching-width=9-height=9-colours=11.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_IDL/asp/EdgeMatching/edge-matching-width=9-height=9-colours=10.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_IDL/asp/EdgeMatching/edge-matching-width=8-height=8-colours=14.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_IDL/asp/EdgeMatching/edge-matching-width=8-height=8-colours=13.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_IDL/asp/EdgeMatching/edge-matching-width=10-height=10-colours=9.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_IDL/asp/EdgeMatching/edge-matching-width=10-height=10-colours=8.smt2 (content) timout ok 1m0.5s
dolmen /home/guillaume/bench/smtlib/QF_IDL/asp/EdgeMatching/edge-matching-width=10-height=10-colours=7.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_IDL/asp/EdgeMatching/edge-matching-width=10-height=10-colours=5.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_IDL/asp/EdgeMatching/edge-matching-width=10-height=10-colours=13.smt2 (content) timout ok 1m0.4s
dolmen /home/guillaume/bench/smtlib/QF_IDL/asp/EdgeMatching/edge-matching-width=10-height=10-colours=12.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_IDL/asp/EdgeMatching/edge-matching-width=10-height=10-colours=11.smt2 (content) timout ok 1m0.4s
dolmen /home/guillaume/bench/smtlib/QF_IDL/asp/DisjunctiveScheduling/disjunctiveScheduling.in8.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_IDL/asp/DisjunctiveScheduling/disjunctiveScheduling.in7.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_IDL/asp/ChannelRouting/channelRoute.in3.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/stp/testcase15.stp.smt2 (content) timout ok 1m0.2s
dolmen /home/guillaume/bench/smtlib/QF_BV/bmc-bv-svcomp14/soft_float_5_true.c.cil.c.21.smt2 (content) timout ok 1m0.2s
dolmen /home/guillaume/bench/smtlib/QF_BV/bmc-bv-svcomp14/soft_float_4_true.c.cil.c.21.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/bmc-bv-svcomp14/soft_float_4_true.c.cil.c.17.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/bmc-bv-svcomp14/soft_float_3_true.c.cil.c.21.smt2 (content) timout ok 1m0.2s
dolmen /home/guillaume/bench/smtlib/QF_BV/bmc-bv-svcomp14/soft_float_1_true.c.cil.c.21.smt2 (content) timout ok 1m0.2s
dolmen /home/guillaume/bench/smtlib/QF_BV/bmc-bv-svcomp14/soft_float_1_true.c.cil.c.17.smt2 (content) timout ok 1m0.2s
dolmen /home/guillaume/bench/smtlib/QF_BV/bmc-bv-svcomp14/s3_srvr_3_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_true.BV.c.cil.c.17.smt2 (content) timout ok 1m0.3s