root
file
detailed [2925..2949]
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/brummayerbiere/countbitssrl064.smt2
(content)
ok
ok
0.136s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/countbitssrl032.smt2
(content)
ok
ok
0.080s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/countbitssrl016.smt2
(content)
ok
ok
0.056s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/countbitssrl008.smt2
(content)
ok
ok
0.042s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/countbitsrotate256.smt2
(content)
ok
ok
0.317s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/countbitsrotate128.smt2
(content)
ok
ok
0.173s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/countbitsrotate064.smt2
(content)
ok
ok
0.097s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/countbitsrotate032.smt2
(content)
ok
ok
0.065s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/countbitsrotate016.smt2
(content)
ok
ok
0.047s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/countbitsrotate008.smt2
(content)
ok
ok
0.036s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/countbits512.smt2
(content)
ok
ok
0.665s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/countbits256.smt2
(content)
ok
ok
0.216s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/countbits128.smt2
(content)
ok
ok
0.180s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/countbits1024.smt2
(content)
ok
ok
1.4s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/countbits064.smt2
(content)
ok
ok
0.101s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/countbits032.smt2
(content)
ok
ok
0.069s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/countbits016.smt2
(content)
ok
ok
0.047s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/bitrev8192.smt2
(content)
ok
ok
16.3s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/bitrev4096.smt2
(content)
ok
ok
4.9s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/bitrev2048.smt2
(content)
ok
ok
1.3s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/bitrev1024.smt2
(content)
ok
ok
0.403s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/bitrev0512.smt2
(content)
ok
ok
0.139s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/bitrev0256.smt2
(content)
ok
ok
0.069s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/bitrev0128.smt2
(content)
ok
ok
0.048s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/bitrev0064.smt2
(content)
ok
ok
0.039s