root
file
detailed [3000..3024]
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/brummayerbiere2/umulov1bw096.smt2
(content)
ok
ok
0.099s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/umulov1bw080.smt2
(content)
ok
ok
0.053s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/umulov1bw064.smt2
(content)
ok
ok
0.069s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/umulov1bw048.smt2
(content)
ok
ok
0.059s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/umulov1bw032.smt2
(content)
ok
ok
0.053s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/umulov1bw016.smt2
(content)
ok
ok
0.043s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov4bw1024.smt2
(content)
ok
ok
0.746s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov4bw0896.smt2
(content)
ok
ok
0.658s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov4bw0768.smt2
(content)
ok
ok
0.557s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov4bw0640.smt2
(content)
ok
ok
0.513s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov4bw0512.smt2
(content)
ok
ok
0.240s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov4bw0384.smt2
(content)
ok
ok
0.282s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov4bw0256.smt2
(content)
ok
ok
0.239s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov4bw0128.smt2
(content)
ok
ok
0.129s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov4bw0064.smt2
(content)
ok
ok
0.084s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov4bw0032.smt2
(content)
ok
ok
0.052s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov3bw1024.smt2
(content)
ok
ok
0.749s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov3bw0896.smt2
(content)
ok
ok
0.707s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov3bw0768.smt2
(content)
ok
ok
0.592s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov3bw0640.smt2
(content)
ok
ok
0.531s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov3bw0512.smt2
(content)
ok
ok
0.373s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov3bw0384.smt2
(content)
ok
ok
0.278s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov3bw0256.smt2
(content)
ok
ok
0.199s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov3bw0128.smt2
(content)
ok
ok
0.111s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov3bw0064.smt2
(content)
ok
ok
0.072s