detailed results (20 total)

proverfileresexpectedtime
dolmen/home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_22_22_19.lp.smt2(content)memoutok47.2s
dolmen/home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_22_22_17.lp.smt2(content)memoutok47.2s
dolmen/home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_22_22_13.lp.smt2(content)memoutok46.3s
dolmen/home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_22_22_11.lp.smt2(content)memoutok46.2s
dolmen/home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_22_22_09.lp.smt2(content)memoutok46.4s
dolmen/home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_22_22_08.lp.smt2(content)memoutok45.9s
dolmen/home/guillaume/bench/smtlib/QF_BV/asp/DisjunctiveScheduling/disjunctiveScheduling.in9.smt2(content)memoutok39.6s
dolmen/home/guillaume/bench/smtlib/QF_BV/asp/DisjunctiveScheduling/disjunctiveScheduling.in8.smt2(content)memoutok42.0s
dolmen/home/guillaume/bench/smtlib/QF_BV/asp/DisjunctiveScheduling/disjunctiveScheduling.in7.smt2(content)memoutok45.6s
dolmen/home/guillaume/bench/smtlib/QF_ABV/stp/testcase9.stp.smt2(content)memoutok18s
dolmen/home/guillaume/bench/smtlib/QF_ABV/stp/testcase8.stp.smt2(content)memoutok20.1s
dolmen/home/guillaume/bench/smtlib/QF_ABV/stp/testcase7.stp.smt2(content)memoutok17.4s
dolmen/home/guillaume/bench/smtlib/QF_ABV/stp/testcase6.stp.smt2(content)memoutok19.2s
dolmen/home/guillaume/bench/smtlib/QF_ABV/stp/testcase5.stp.smt2(content)memoutok18.5s
dolmen/home/guillaume/bench/smtlib/QF_ABV/stp/testcase4.stp.smt2(content)memoutok19.9s
dolmen/home/guillaume/bench/smtlib/QF_ABV/stp/testcase3.stp.smt2(content)memoutok17.9s
dolmen/home/guillaume/bench/smtlib/QF_ABV/stp/testcase2.stp.smt2(content)memoutok18s
dolmen/home/guillaume/bench/smtlib/QF_ABV/stp/testcase11.stp.smt2(content)memoutok22s
dolmen/home/guillaume/bench/smtlib/QF_ABV/stp/noregions-fullmemite.stp.smt2(content)memoutok14.7s
dolmen/home/guillaume/bench/smtlib/QF_ABV/stp/ff.stp.smt2(content)memoutok17s