detailed results (199 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_20_20_04.lp.smt2 (content) timout ok 1m0.2s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_19_19_19.lp.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_19_19_17.lp.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_19_19_16.lp.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_19_19_15.lp.smt2 (content) timout ok 1m0.2s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_19_19_14.lp.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_18_18_14.lp.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_18_18_13.lp.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_18_18_11.lp.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_18_18_04.lp.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_17_17_07.lp.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/KnightTour/knightTour.in09.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/KnightTour/knightTour.in08.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=9-height=9-colours=9.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=9-height=9-colours=8.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=9-height=9-colours=7.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=9-height=9-colours=6.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=9-height=9-colours=15.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=9-height=9-colours=14.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=9-height=9-colours=13.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=9-height=9-colours=12.smt2 (content) timout ok 1m0.4s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=9-height=9-colours=11.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=9-height=9-colours=10.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=10-height=10-colours=9.smt2 (content) timout ok 1m0.4s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=10-height=10-colours=8.smt2 (content) timout ok 1m0.3s