root
file
detailed [5750..5774]
prev
next
detailed results (95063 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/umulov2bw0512.smt2
(content)
ok
ok
0.421s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/umulov2bw0384.smt2
(content)
ok
ok
0.315s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/umulov2bw0256.smt2
(content)
ok
ok
0.189s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/umulov2bw0128.smt2
(content)
ok
ok
0.112s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/umulov2bw0064.smt2
(content)
ok
ok
0.075s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/umulov2bw0032.smt2
(content)
ok
ok
0.051s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/umulov1bw256.smt2
(content)
ok
ok
0.206s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/umulov1bw224.smt2
(content)
ok
ok
0.178s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/umulov1bw192.smt2
(content)
ok
ok
0.175s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/umulov1bw160.smt2
(content)
ok
ok
0.151s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/umulov1bw128.smt2
(content)
ok
ok
0.110s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/umulov1bw112.smt2
(content)
ok
ok
0.158s
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