root
file
detailed [5700..5724]
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/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
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/nlzbsdown128.smt2
(content)
ok
ok
0.199s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/nlzbsdown064.smt2
(content)
ok
ok
0.108s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/nlzbsdown032.smt2
(content)
ok
ok
0.069s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/nlzbsdown016.smt2
(content)
ok
ok
0.052s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/nlzbsdown008.smt2
(content)
ok
ok
0.042s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/nlzbs256.smt2
(content)
ok
ok
0.361s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/nlzbs128.smt2
(content)
ok
ok
0.194s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/nlzbs064.smt2
(content)
ok
ok
0.112s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/nlzbs032.smt2
(content)
ok
ok
0.074s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/nlzbs016.smt2
(content)
ok
ok
0.054s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/nlzbs008.smt2
(content)
ok
ok
0.041s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/nlzbe256.smt2
(content)
ok
ok
0.632s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/nlzbe128.smt2
(content)
ok
ok
0.315s