detailed results (63 total)

proverfileresexpectedtime
dolmen/home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_17_17_09.lp.smt2(content)memoutok41.6s
dolmen/home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_17_17_02.lp.smt2(content)memoutok55.8s
dolmen/home/guillaume/bench/smtlib/QF_BV/asp/KnightTour/knightTour.in10.smt2(content)memoutok38.1s
dolmen/home/guillaume/bench/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=10-height=10-colours=13.smt2(content)memoutok56.1s
dolmen/home/guillaume/bench/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=10-height=10-colours=12.smt2(content)memoutok59.1s
dolmen/home/guillaume/bench/smtlib/QF_ANIA/UltimateAutomizer/cs_fib_true-unreach-call.i.smt2(content)memoutok20.7s
dolmen/home/guillaume/bench/smtlib/QF_ANIA/UltimateAutomizer/cs_fib_false-unreach-call.i.smt2(content)memoutok20.4s
dolmen/home/guillaume/bench/smtlib/QF_ABV/stp/testcase9.stp.smt2(content)memoutok52.9s
dolmen/home/guillaume/bench/smtlib/QF_ABV/stp/testcase8.stp.smt2(content)memoutok51.2s
dolmen/home/guillaume/bench/smtlib/QF_ABV/stp/testcase7.stp.smt2(content)memoutok52.3s
dolmen/home/guillaume/bench/smtlib/QF_ABV/stp/testcase6.stp.smt2(content)memoutok52.7s
dolmen/home/guillaume/bench/smtlib/QF_ABV/stp/testcase5.stp.smt2(content)memoutok53.5s
dolmen/home/guillaume/bench/smtlib/QF_ABV/stp/testcase4.stp.smt2(content)memoutok52.4s
dolmen/home/guillaume/bench/smtlib/QF_ABV/stp/testcase3.stp.smt2(content)memoutok53s
dolmen/home/guillaume/bench/smtlib/QF_ABV/stp/testcase21.stp.smt2(content)memoutok49.7s
dolmen/home/guillaume/bench/smtlib/QF_ABV/stp/testcase20.stp.smt2(content)memoutok54.4s
dolmen/home/guillaume/bench/smtlib/QF_ABV/stp/testcase2.stp.smt2(content)memoutok54.5s
dolmen/home/guillaume/bench/smtlib/QF_ABV/stp/testcase17.stp.smt2(content)memoutok50.9s
dolmen/home/guillaume/bench/smtlib/QF_ABV/stp/testcase16.stp.smt2(content)memoutok51.9s
dolmen/home/guillaume/bench/smtlib/QF_ABV/stp/testcase14.stp.smt2(content)memoutok11.6s
dolmen/home/guillaume/bench/smtlib/QF_ABV/stp/testcase13.stp.smt2(content)memoutok11.7s
dolmen/home/guillaume/bench/smtlib/QF_ABV/stp/testcase12.stp.smt2(content)memoutok37s
dolmen/home/guillaume/bench/smtlib/QF_ABV/stp/testcase11.stp.smt2(content)memoutok37.2s
dolmen/home/guillaume/bench/smtlib/QF_ABV/stp/noregions-fullmemite.stp.smt2(content)memoutok12.4s
dolmen/home/guillaume/bench/smtlib/QF_ABV/stp/ff.stp.smt2(content)memoutok13.2s