root
file
detailed
prev
next
detailed results (63 total)
filter
improved
ok
disappoint
bad
error
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