detailed results (20 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_22_22_19.lp.smt2 (content) memout ok 32.9s
dolmen-strict /home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_22_22_17.lp.smt2 (content) memout ok 33.5s
dolmen-strict /home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_22_22_13.lp.smt2 (content) memout ok 32.6s
dolmen-strict /home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_22_22_11.lp.smt2 (content) memout ok 32.8s
dolmen-strict /home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_22_22_09.lp.smt2 (content) memout ok 34.1s
dolmen-strict /home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_22_22_08.lp.smt2 (content) memout ok 32.0s
dolmen-strict /home/guillaume/bench/smtlib/QF_BV/asp/DisjunctiveScheduling/disjunctiveScheduling.in9.smt2 (content) memout ok 15.8s
dolmen-strict /home/guillaume/bench/smtlib/QF_BV/asp/DisjunctiveScheduling/disjunctiveScheduling.in8.smt2 (content) memout ok 17.4s
dolmen-strict /home/guillaume/bench/smtlib/QF_BV/asp/DisjunctiveScheduling/disjunctiveScheduling.in7.smt2 (content) memout ok 22.0s
dolmen-strict /home/guillaume/bench/smtlib/QF_ABV/stp/testcase9.stp.smt2 (content) memout ok 18.8s
dolmen-strict /home/guillaume/bench/smtlib/QF_ABV/stp/testcase8.stp.smt2 (content) memout ok 17.2s
dolmen-strict /home/guillaume/bench/smtlib/QF_ABV/stp/testcase7.stp.smt2 (content) memout ok 17s
dolmen-strict /home/guillaume/bench/smtlib/QF_ABV/stp/testcase6.stp.smt2 (content) memout ok 16.9s
dolmen-strict /home/guillaume/bench/smtlib/QF_ABV/stp/testcase5.stp.smt2 (content) memout ok 17.9s
dolmen-strict /home/guillaume/bench/smtlib/QF_ABV/stp/testcase4.stp.smt2 (content) memout ok 19s
dolmen-strict /home/guillaume/bench/smtlib/QF_ABV/stp/testcase3.stp.smt2 (content) memout ok 17s
dolmen-strict /home/guillaume/bench/smtlib/QF_ABV/stp/testcase2.stp.smt2 (content) memout ok 16.9s
dolmen-strict /home/guillaume/bench/smtlib/QF_ABV/stp/testcase11.stp.smt2 (content) memout ok 20.8s
dolmen-strict /home/guillaume/bench/smtlib/QF_ABV/stp/noregions-fullmemite.stp.smt2 (content) memout ok 14s
dolmen-strict /home/guillaume/bench/smtlib/QF_ABV/stp/ff.stp.smt2 (content) memout ok 18.7s