root
file
detailed [1975..1999]
prev
next
detailed results (92284 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen
/home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.induction.19.smt2
(content)
ok
ok
0.070s
dolmen
/home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.induction.18.smt2
(content)
ok
ok
0.050s
dolmen
/home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.induction.17.smt2
(content)
ok
ok
0.051s
dolmen
/home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.induction.16.smt2
(content)
ok
ok
0.098s
dolmen
/home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.induction.15.smt2
(content)
ok
ok
0.043s
dolmen
/home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.induction.14.smt2
(content)
ok
ok
0.092s
dolmen
/home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.induction.13.smt2
(content)
ok
ok
0.048s
dolmen
/home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.induction.12.smt2
(content)
ok
ok
0.037s
dolmen
/home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.induction.11.smt2
(content)
ok
ok
0.036s
dolmen
/home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.induction.10.smt2
(content)
ok
ok
0.032s
dolmen
/home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.base.9.smt2
(content)
ok
ok
0.030s
dolmen
/home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.base.8.smt2
(content)
ok
ok
0.029s
dolmen
/home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.base.7.smt2
(content)
ok
ok
0.075s
dolmen
/home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.base.6.smt2
(content)
ok
ok
0.075s
dolmen
/home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.base.5.smt2
(content)
ok
ok
0.023s
dolmen
/home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.base.30.smt2
(content)
ok
ok
0.128s
dolmen
/home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.base.29.smt2
(content)
ok
ok
0.089s
dolmen
/home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.base.28.smt2
(content)
ok
ok
0.091s
dolmen
/home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.base.27.smt2
(content)
ok
ok
0.119s
dolmen
/home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.base.26.smt2
(content)
ok
ok
0.071s
dolmen
/home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.base.25.smt2
(content)
ok
ok
0.067s
dolmen
/home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.base.24.smt2
(content)
ok
ok
0.116s
dolmen
/home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.base.23.smt2
(content)
ok
ok
0.072s
dolmen
/home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.base.22.smt2
(content)
ok
ok
0.086s
dolmen
/home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.base.21.smt2
(content)
ok
ok
0.080s