root
file
detailed [2975..2999]
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/smulov3bw0032.smt2
(content)
ok
ok
0.054s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov2bw512.smt2
(content)
ok
ok
0.557s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov2bw448.smt2
(content)
ok
ok
0.480s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov2bw384.smt2
(content)
ok
ok
0.464s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov2bw320.smt2
(content)
ok
ok
0.437s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov2bw256.smt2
(content)
ok
ok
0.357s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov2bw224.smt2
(content)
ok
ok
0.322s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov2bw192.smt2
(content)
ok
ok
0.216s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov2bw160.smt2
(content)
ok
ok
0.189s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov2bw128.smt2
(content)
ok
ok
0.187s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov2bw112.smt2
(content)
ok
ok
0.140s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov2bw096.smt2
(content)
ok
ok
0.128s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov2bw080.smt2
(content)
ok
ok
0.109s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov2bw064.smt2
(content)
ok
ok
0.093s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov2bw048.smt2
(content)
ok
ok
0.082s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov2bw032.smt2
(content)
ok
ok
0.070s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov2bw016.smt2
(content)
ok
ok
0.048s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov1bw48.smt2
(content)
ok
ok
0.066s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov1bw32.smt2
(content)
ok
ok
0.064s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov1bw24.smt2
(content)
ok
ok
0.050s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov1bw16.smt2
(content)
ok
ok
0.047s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov1bw12.smt2
(content)
ok
ok
0.047s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov1bw08.smt2
(content)
ok
ok
0.046s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov1bw04.smt2
(content)
ok
ok
0.031s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/nlzbsdown256.smt2
(content)
ok
ok
0.349s