brummayerbiere Benchmarks

Family
Namebrummayerbiere
Generation DateNone
First Occurrence2008-07-07
Benchmarks345

Benchmarks

QF_ABV • Charts • Solver Isomap
bubsort006un.smt2
fifo32in10k07.smt2
wchains007ue.smt2
wchains020ue.smt2
wchains055se.smt2
wchains070ue.smt2
wchains090se.smt2
swapmem026se.smt2
wchains038ue.smt2
binarysearch32s016.smt2
dubreva005ue.smt2
memcpy10.smt2
binarysearch32s128.smt2
wchains024ue.smt2
matrixmultcomm06.smt2
matrixmultcomm04.smt2
fifo32ia04k07.smt2
wchains002se.smt2
fifo32in06k10.smt2
wchains010se.smt2
wchains050se.smt2
bubsort040un.smt2
swapmem008ue.smt2
wchains044ue.smt2
wchains140se.smt2
bubsort004un.smt2
fifo32in10k08.smt2
swapmem005ue.smt2
memcpy06.smt2
fifo32ia06k08.smt2
wchains500se.smt2
swapmem020se.smt2
wchains007se.smt2
fifo32bc06k06.smt2
wchains080se.smt2
matrixmultcomm07.smt2
swapmem020ue.smt2
bubsort002un.smt2
swapmem014se.smt2
swapmem044se.smt2
dubreva003ue.smt2
fifo32ia06k07.smt2
fifo32bc04k07.smt2
fifo32in04k08.smt2
fifo32in08k05.smt2
memcpy08.smt2
wchains024se.smt2
selsort014un.smt2
wchains002ue.smt2
binarysearch32s064.smt2
dubreva004ue.smt2
swapmem018ue.smt2
wchains020se.smt2
wchains012se.smt2
bubsort014un.smt2
wchains040se.smt2
fifo32bc06k09.smt2
selsort020un.smt2
fifo32bc06k10.smt2
swapmem002ue.smt2
swapmem017ue.smt2
wchains004ue.smt2
wchains042ue.smt2
wchains065ue.smt2
swapmem021ue.smt2
memcpy05.smt2
swapmem009ue.smt2
wchains055ue.smt2
wchains110se.smt2
bubsort010un.smt2
fifo32bc08k05.smt2
wchains032se.smt2
dubreva010ue.smt2
wchains011ue.smt2
memcpy09.smt2
selsort018un.smt2
swapmem015ue.smt2
swapmem024se.smt2
selsort009un.smt2
fifo32bc08k08.smt2
wchains060ue.smt2
swapmem036se.smt2
selsort002un.smt2
wchains009se.smt2
swapmem006se.smt2
wchains022ue.smt2
swapmem018se.smt2
wchains075se.smt2
fifo32in08k06.smt2
fifo32ia06k06.smt2
matrixmultcomm10.smt2
swapmem004ue.smt2
fifo32bc04k05.smt2
selsort004un.smt2
wchains006ue.smt2
fifo32in10k06.smt2
swapmem014ue.smt2
bubsort050un.smt2
matrixmultcomm03.smt2
bubsort008un.smt2
wchains015ue.smt2
wchains030ue.smt2
wchains060se.smt2
selsort006un.smt2
wchains028se.smt2
wchains028ue.smt2
fifo32in06k07.smt2
swapmem029ue.smt2
swapmem040se.smt2
wchains017se.smt2
fifo32in04k05.smt2
memcpy11.smt2
wchains026se.smt2
wchains009ue.smt2
wchains015se.smt2
selsort025un.smt2
bubsort007un.smt2
wchains014ue.smt2
wchains010ue.smt2
dubreva007ue.smt2
wchains019ue.smt2
fifo32in04k10.smt2
swapmem046se.smt2
fifo32ia06k05.smt2
wchains032ue.smt2
fifo32ia04k09.smt2
selsort012un.smt2
wchains048se.smt2
swapmem028se.smt2
swapmem026ue.smt2
wchains100ue.smt2
wchains050ue.smt2
selsort016un.smt2
wchains046se.smt2
fifo32bc04k09.smt2
wchains022se.smt2
wchains030se.smt2
swapmem004se.smt2
wchains040ue.smt2
bubsort005un.smt2
fifo32in06k06.smt2
fifo32in04k06.smt2
selsort050un.smt2
bubsort009un.smt2
wchains018se.smt2
wchains026ue.smt2
wchains016se.smt2
fifo32bc08k07.smt2
wchains100se.smt2
fifo32bc06k05.smt2
bubsort045un.smt2
swapmem038se.smt2
fifo32bc08k10.smt2
fifo32bc08k09.smt2
wchains004se.smt2
wchains003ue.smt2
wchains095ue.smt2
memcpy12.smt2
wchains003se.smt2
bubsort016un.smt2
selsort035un.smt2
swapmem008se.smt2
dubreva006ue.smt2
wchains011se.smt2
fifo32in08k10.smt2
fifo32in10k09.smt2
wchains085ue.smt2
wchains013ue.smt2
swapmem003ue.smt2
swapmem025ue.smt2
bubsort030un.smt2
wchains036se.smt2
dubreva008ue.smt2
wchains018ue.smt2
wchains350se.smt2
swapmem016ue.smt2
matrixmultcomm12.smt2
selsort003un.smt2
wchains200se.smt2
fifo32ia06k10.smt2
fifo32in06k08.smt2
swapmem027ue.smt2
wchains017ue.smt2
wchains180se.smt2
wchains038se.smt2
fifo32in08k09.smt2
bubsort003un.smt2
dubreva009ue.smt2
swapmem013ue.smt2
swapmem032se.smt2
wchains190se.smt2
swapmem022ue.smt2
wchains048ue.smt2
wchains120se.smt2
wchains075ue.smt2
fifo32ia04k10.smt2
wchains008ue.smt2
swapmem012ue.smt2
swapmem012se.smt2
bubsort012un.smt2
wchains005ue.smt2
memcpy04.smt2
selsort007un.smt2
swapmem002se.smt2
fifo32ia04k06.smt2
swapmem023ue.smt2
dubreva002ue.smt2
matrixmultcomm02.smt2
selsort010un.smt2
wchains400se.smt2
swapmem010se.smt2
selsort005un.smt2
swapmem016se.smt2
fifo32in08k08.smt2
swapmem048se.smt2
wchains006se.smt2
matrixmultcomm08.smt2
wchains090ue.smt2
wchains095se.smt2
swapmem060se.smt2
fifo32bc04k10.smt2
wchains300se.smt2
swapmem052se.smt2
fifo32bc06k08.smt2
wchains044se.smt2
wchains080ue.smt2
wchains034ue.smt2
wchains042se.smt2
fifo32bc06k07.smt2
fifo32in08k07.smt2
wchains046ue.smt2
wchains150se.smt2
binarysearch32s256.smt2
fifo32in10k10.smt2
selsort040un.smt2
wchains008se.smt2
wchains036ue.smt2
fifo32ia04k05.smt2
wchains005se.smt2
wchains013se.smt2
selsort008un.smt2
wchains450se.smt2
wchains160se.smt2
fifo32bc08k06.smt2
wchains085se.smt2
memcpy02.smt2
bubsort025un.smt2
swapmem022se.smt2
swapmem030se.smt2
fifo32in06k09.smt2
swapmem028ue.smt2
wchains014se.smt2
swapmem019ue.smt2
wchains012ue.smt2
fifo32bc04k06.smt2
wchains016ue.smt2
fifo32in04k07.smt2
fifo32in06k05.smt2
swapmem007ue.smt2
swapmem054se.smt2
fifo32ia04k08.smt2
swapmem011ue.smt2
fifo32ia06k09.smt2
bubsort020un.smt2
wchains070se.smt2
wchains034se.smt2
swapmem034se.smt2
fifo32in04k09.smt2
matrixmultcomm09.smt2
fifo32bc04k08.smt2
swapmem006ue.smt2
wchains250se.smt2
binarysearch32s032.smt2
memcpy03.smt2
swapmem058se.smt2
wchains065se.smt2
memcpy07.smt2
bubsort018un.smt2
wchains130se.smt2
bubsort035un.smt2
matrixmultcomm05.smt2
matrixmultcomm11.smt2
swapmem010ue.smt2
swapmem042se.smt2
swapmem024ue.smt2
wchains019se.smt2
swapmem030ue.smt2
selsort030un.smt2
selsort045un.smt2
swapmem056se.smt2
wchains170se.smt2
fifo32in10k05.smt2
swapmem050se.smt2
QF_BV • Charts • Solver Isomap
countbits016.smt2
bitrev0064.smt2
nlzbsdown008.smt2
nlzbs032.smt2
nlzbe256.smt2
nlzbsdown016.smt2
countbitssrl016.smt2
countbitssrl008.smt2
countbitsrotate008.smt2
nlzbe064.smt2
nlzbsdown064.smt2
nlzbs064.smt2
nlzbs016.smt2
nextpoweroftwo128.smt2
nextpoweroftwo032.smt2
nextpoweroftwo016.smt2
bitrev1024.smt2
bitrev0032.smt2
countbitsrotate128.smt2
bitrev0256.smt2
nlzbe008.smt2
countbits032.smt2
countbitsrotate256.smt2
bitrev2048.smt2
nlzbsdown256.smt2
nextpoweroftwo256.smt2
countbitsrotate016.smt2
countbits1024.smt2
nlzbe016.smt2
nextpoweroftwo512.smt2
countbitssrl256.smt2
bitrev0512.smt2
nlzbs128.smt2
countbits128.smt2
bitrev0128.smt2
nlzbsdown032.smt2
nlzbsdown128.smt2
countbits512.smt2
countbitssrl032.smt2
countbits064.smt2
nlzbe032.smt2
countbits256.smt2
nextpoweroftwo064.smt2
countbitsrotate064.smt2
countbitssrl064.smt2
nlzbs256.smt2
nlzbs008.smt2
countbitsrotate032.smt2
nlzbe128.smt2
countbitssrl128.smt2
bitrev4096.smt2
bitrev8192.smt2