root
file
detailed
prev
next
detailed results (21 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp/testcase15.stp.smt2
(content)
memout
ok
3m38.3s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_22_22_19.lp.smt2
(content)
memout
ok
1m57.2s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_22_22_17.lp.smt2
(content)
memout
ok
1m58.0s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_22_22_13.lp.smt2
(content)
memout
ok
2m5.0s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_22_22_11.lp.smt2
(content)
memout
ok
1m57.2s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_22_22_09.lp.smt2
(content)
memout
ok
2m27.3s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_22_22_08.lp.smt2
(content)
memout
ok
1m57.7s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_21_21_19.lp.smt2
(content)
memout
ok
1m49.0s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_21_21_18.lp.smt2
(content)
memout
ok
1m55.9s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_21_21_16.lp.smt2
(content)
memout
ok
1m35.7s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_21_21_15.lp.smt2
(content)
memout
ok
1m44.6s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_21_21_12.lp.smt2
(content)
memout
ok
1m49.1s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_21_21_07.lp.smt2
(content)
memout
ok
1m35.3s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_21_21_05.lp.smt2
(content)
memout
ok
1m42.4s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_21_21_01.lp.smt2
(content)
memout
ok
1m35.8s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_20_20_16.lp.smt2
(content)
memout
ok
1m37.0s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_20_20_15.lp.smt2
(content)
memout
ok
1m21.9s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_20_20_04.lp.smt2
(content)
memout
ok
1m40.3s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/asp/DisjunctiveScheduling/disjunctiveScheduling.in9.smt2
(content)
memout
ok
2m14.5s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/asp/DisjunctiveScheduling/disjunctiveScheduling.in8.smt2
(content)
memout
ok
2m30s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/asp/DisjunctiveScheduling/disjunctiveScheduling.in7.smt2
(content)
memout
ok
1m36.3s