detailed results (20 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_22_22_19.lp.smt2 (content) memout ok 47.2s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_22_22_17.lp.smt2 (content) memout ok 47.2s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_22_22_13.lp.smt2 (content) memout ok 46.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_22_22_11.lp.smt2 (content) memout ok 46.2s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_22_22_09.lp.smt2 (content) memout ok 46.4s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_22_22_08.lp.smt2 (content) memout ok 45.9s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/DisjunctiveScheduling/disjunctiveScheduling.in9.smt2 (content) memout ok 39.6s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/DisjunctiveScheduling/disjunctiveScheduling.in8.smt2 (content) memout ok 42.0s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/DisjunctiveScheduling/disjunctiveScheduling.in7.smt2 (content) memout ok 45.6s
dolmen /home/guillaume/bench/smtlib/QF_ABV/stp/testcase9.stp.smt2 (content) memout ok 18s
dolmen /home/guillaume/bench/smtlib/QF_ABV/stp/testcase8.stp.smt2 (content) memout ok 20.1s
dolmen /home/guillaume/bench/smtlib/QF_ABV/stp/testcase7.stp.smt2 (content) memout ok 17.4s
dolmen /home/guillaume/bench/smtlib/QF_ABV/stp/testcase6.stp.smt2 (content) memout ok 19.2s
dolmen /home/guillaume/bench/smtlib/QF_ABV/stp/testcase5.stp.smt2 (content) memout ok 18.5s
dolmen /home/guillaume/bench/smtlib/QF_ABV/stp/testcase4.stp.smt2 (content) memout ok 19.9s
dolmen /home/guillaume/bench/smtlib/QF_ABV/stp/testcase3.stp.smt2 (content) memout ok 17.9s
dolmen /home/guillaume/bench/smtlib/QF_ABV/stp/testcase2.stp.smt2 (content) memout ok 18s
dolmen /home/guillaume/bench/smtlib/QF_ABV/stp/testcase11.stp.smt2 (content) memout ok 22s
dolmen /home/guillaume/bench/smtlib/QF_ABV/stp/noregions-fullmemite.stp.smt2 (content) memout ok 14.7s
dolmen /home/guillaume/bench/smtlib/QF_ABV/stp/ff.stp.smt2 (content) memout ok 17s