root
file
detailed [4775..4799]
prev
next
detailed results (92284 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvlshr_1011.smt2
(content)
ok
ok
0.176s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvlshr_0964.smt2
(content)
ok
ok
0.233s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvlshr_0917.smt2
(content)
ok
ok
0.236s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvlshr_0870.smt2
(content)
ok
ok
0.170s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvlshr_0823.smt2
(content)
ok
ok
0.319s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvlshr_0776.smt2
(content)
ok
ok
0.298s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvlshr_0729.smt2
(content)
ok
ok
0.294s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvlshr_0682.smt2
(content)
ok
ok
0.207s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvlshr_0635.smt2
(content)
ok
ok
0.179s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvlshr_0588.smt2
(content)
ok
ok
0.240s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvlshr_0541.smt2
(content)
ok
ok
0.214s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvlshr_0494.smt2
(content)
ok
ok
0.200s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvlshr_0447.smt2
(content)
ok
ok
0.198s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvlshr_0400.smt2
(content)
ok
ok
0.206s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvashr_0733.smt2
(content)
ok
ok
0.546s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvashr_0710.smt2
(content)
ok
ok
0.403s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvashr_0687.smt2
(content)
ok
ok
0.542s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvashr_0664.smt2
(content)
ok
ok
0.419s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvashr_0641.smt2
(content)
ok
ok
0.440s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvashr_0618.smt2
(content)
ok
ok
0.403s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvashr_0595.smt2
(content)
ok
ok
0.432s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvashr_0572.smt2
(content)
ok
ok
0.375s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvashr_0549.smt2
(content)
ok
ok
0.451s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvashr_0526.smt2
(content)
ok
ok
0.416s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvashr_0503.smt2
(content)
ok
ok
0.283s