detailed results (20 total)

proverfileresexpectedtime
dolmen-strict/home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_22_22_19.lp.smt2(content)memoutok32.9s
dolmen-strict/home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_22_22_17.lp.smt2(content)memoutok33.5s
dolmen-strict/home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_22_22_13.lp.smt2(content)memoutok32.6s
dolmen-strict/home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_22_22_11.lp.smt2(content)memoutok32.8s
dolmen-strict/home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_22_22_09.lp.smt2(content)memoutok34.1s
dolmen-strict/home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_22_22_08.lp.smt2(content)memoutok32.0s
dolmen-strict/home/guillaume/bench/smtlib/QF_BV/asp/DisjunctiveScheduling/disjunctiveScheduling.in9.smt2(content)memoutok15.8s
dolmen-strict/home/guillaume/bench/smtlib/QF_BV/asp/DisjunctiveScheduling/disjunctiveScheduling.in8.smt2(content)memoutok17.4s
dolmen-strict/home/guillaume/bench/smtlib/QF_BV/asp/DisjunctiveScheduling/disjunctiveScheduling.in7.smt2(content)memoutok22.0s
dolmen-strict/home/guillaume/bench/smtlib/QF_ABV/stp/testcase9.stp.smt2(content)memoutok18.8s
dolmen-strict/home/guillaume/bench/smtlib/QF_ABV/stp/testcase8.stp.smt2(content)memoutok17.2s
dolmen-strict/home/guillaume/bench/smtlib/QF_ABV/stp/testcase7.stp.smt2(content)memoutok17s
dolmen-strict/home/guillaume/bench/smtlib/QF_ABV/stp/testcase6.stp.smt2(content)memoutok16.9s
dolmen-strict/home/guillaume/bench/smtlib/QF_ABV/stp/testcase5.stp.smt2(content)memoutok17.9s
dolmen-strict/home/guillaume/bench/smtlib/QF_ABV/stp/testcase4.stp.smt2(content)memoutok19s
dolmen-strict/home/guillaume/bench/smtlib/QF_ABV/stp/testcase3.stp.smt2(content)memoutok17s
dolmen-strict/home/guillaume/bench/smtlib/QF_ABV/stp/testcase2.stp.smt2(content)memoutok16.9s
dolmen-strict/home/guillaume/bench/smtlib/QF_ABV/stp/testcase11.stp.smt2(content)memoutok20.8s
dolmen-strict/home/guillaume/bench/smtlib/QF_ABV/stp/noregions-fullmemite.stp.smt2(content)memoutok14s
dolmen-strict/home/guillaume/bench/smtlib/QF_ABV/stp/ff.stp.smt2(content)memoutok18.7s