root
file
detailed [5800..5824]
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/brummayerbiere3/minand008.smt2
(content)
ok
ok
0.024s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/maxxormaxorand256.smt2
(content)
ok
ok
1.3s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/maxxormaxorand128.smt2
(content)
ok
ok
0.633s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/maxxormaxorand064.smt2
(content)
ok
ok
0.322s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/maxxormaxorand032.smt2
(content)
ok
ok
0.149s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/maxxormaxorand016.smt2
(content)
ok
ok
0.122s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/maxxormaxorand008.smt2
(content)
ok
ok
0.045s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/maxxor256.smt2
(content)
ok
ok
0.293s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/maxxor128.smt2
(content)
ok
ok
0.234s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/maxxor064.smt2
(content)
ok
ok
0.098s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/maxxor032.smt2
(content)
ok
ok
0.052s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/maxxor016.smt2
(content)
ok
ok
0.032s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/maxxor008.smt2
(content)
ok
ok
0.019s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/maxor256.smt2
(content)
ok
ok
0.435s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/maxor128.smt2
(content)
ok
ok
0.226s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/maxor064.smt2
(content)
ok
ok
0.120s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/maxor032.smt2
(content)
ok
ok
0.102s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/maxor016.smt2
(content)
ok
ok
0.048s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/maxor008.smt2
(content)
ok
ok
0.025s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/maxandminor256.smt2
(content)
ok
ok
1s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/maxandminor128.smt2
(content)
ok
ok
0.342s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/maxandminor064.smt2
(content)
ok
ok
0.148s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/maxandminor032.smt2
(content)
ok
ok
0.086s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/maxandminor016.smt2
(content)
ok
ok
0.051s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/maxandminor008.smt2
(content)
ok
ok
0.026s