detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_22_22_17.lp.smt2 (content) memout ok 1m58.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_22_22_13.lp.smt2 (content) memout ok 2m5.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_22_22_11.lp.smt2 (content) memout ok 1m57.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_22_22_09.lp.smt2 (content) memout ok 2m27.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_22_22_08.lp.smt2 (content) memout ok 1m57.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_21_21_19.lp.smt2 (content) memout ok 1m49.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_21_21_18.lp.smt2 (content) memout ok 1m55.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_21_21_16.lp.smt2 (content) memout ok 1m35.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_21_21_15.lp.smt2 (content) memout ok 1m44.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_21_21_12.lp.smt2 (content) memout ok 1m49.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_21_21_07.lp.smt2 (content) memout ok 1m35.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_21_21_05.lp.smt2 (content) memout ok 1m42.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_21_21_01.lp.smt2 (content) memout ok 1m35.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_20_20_16.lp.smt2 (content) memout ok 1m37.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_20_20_15.lp.smt2 (content) memout ok 1m21.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_20_20_04.lp.smt2 (content) memout ok 1m40.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_19_19_19.lp.smt2 (content) fatal ok 2m42.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_19_19_17.lp.smt2 (content) fatal ok 2m47.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_19_19_16.lp.smt2 (content) fatal ok 2m38.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_19_19_15.lp.smt2 (content) fatal ok 2m43.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_19_19_14.lp.smt2 (content) fatal ok 2m51.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_18_18_14.lp.smt2 (content) fatal ok 2m26s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_18_18_13.lp.smt2 (content) fatal ok 2m15.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_18_18_11.lp.smt2 (content) fatal ok 2m15s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_18_18_04.lp.smt2 (content) fatal ok 2m55s