root
file
detailed [4100..4124]
prev
next
detailed results (95063 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen
/home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.induction.24.smt2
(content)
ok
ok
0.113s
dolmen
/home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.induction.23.smt2
(content)
ok
ok
0.062s
dolmen
/home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.induction.22.smt2
(content)
ok
ok
0.061s
dolmen
/home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.induction.21.smt2
(content)
ok
ok
0.077s
dolmen
/home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.induction.20.smt2
(content)
ok
ok
0.107s
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