detailed results (63 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_17_17_09.lp.smt2 (content) memout ok 41.6s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_17_17_02.lp.smt2 (content) memout ok 55.8s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/KnightTour/knightTour.in10.smt2 (content) memout ok 38.1s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=10-height=10-colours=13.smt2 (content) memout ok 56.1s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=10-height=10-colours=12.smt2 (content) memout ok 59.1s
dolmen /home/guillaume/bench/smtlib/QF_ANIA/UltimateAutomizer/cs_fib_true-unreach-call.i.smt2 (content) memout ok 20.7s
dolmen /home/guillaume/bench/smtlib/QF_ANIA/UltimateAutomizer/cs_fib_false-unreach-call.i.smt2 (content) memout ok 20.4s
dolmen /home/guillaume/bench/smtlib/QF_ABV/stp/testcase9.stp.smt2 (content) memout ok 52.9s
dolmen /home/guillaume/bench/smtlib/QF_ABV/stp/testcase8.stp.smt2 (content) memout ok 51.2s
dolmen /home/guillaume/bench/smtlib/QF_ABV/stp/testcase7.stp.smt2 (content) memout ok 52.3s
dolmen /home/guillaume/bench/smtlib/QF_ABV/stp/testcase6.stp.smt2 (content) memout ok 52.7s
dolmen /home/guillaume/bench/smtlib/QF_ABV/stp/testcase5.stp.smt2 (content) memout ok 53.5s
dolmen /home/guillaume/bench/smtlib/QF_ABV/stp/testcase4.stp.smt2 (content) memout ok 52.4s
dolmen /home/guillaume/bench/smtlib/QF_ABV/stp/testcase3.stp.smt2 (content) memout ok 53s
dolmen /home/guillaume/bench/smtlib/QF_ABV/stp/testcase21.stp.smt2 (content) memout ok 49.7s
dolmen /home/guillaume/bench/smtlib/QF_ABV/stp/testcase20.stp.smt2 (content) memout ok 54.4s
dolmen /home/guillaume/bench/smtlib/QF_ABV/stp/testcase2.stp.smt2 (content) memout ok 54.5s
dolmen /home/guillaume/bench/smtlib/QF_ABV/stp/testcase17.stp.smt2 (content) memout ok 50.9s
dolmen /home/guillaume/bench/smtlib/QF_ABV/stp/testcase16.stp.smt2 (content) memout ok 51.9s
dolmen /home/guillaume/bench/smtlib/QF_ABV/stp/testcase14.stp.smt2 (content) memout ok 11.6s
dolmen /home/guillaume/bench/smtlib/QF_ABV/stp/testcase13.stp.smt2 (content) memout ok 11.7s
dolmen /home/guillaume/bench/smtlib/QF_ABV/stp/testcase12.stp.smt2 (content) memout ok 37s
dolmen /home/guillaume/bench/smtlib/QF_ABV/stp/testcase11.stp.smt2 (content) memout ok 37.2s
dolmen /home/guillaume/bench/smtlib/QF_ABV/stp/noregions-fullmemite.stp.smt2 (content) memout ok 12.4s
dolmen /home/guillaume/bench/smtlib/QF_ABV/stp/ff.stp.smt2 (content) memout ok 13.2s