cadet results solving families - 2016

Family# Total# Sat# UnsatTime
irqlkeapclte26910159527.69
k_ph_n7100
MutexP787011.47
Qshifter6260238.57
RankingFunctions7849119
Reduction-finding1600095957.11
Sorting_networks25800154726.34
terminator2101488846.56
Tree26500
wmiforward17950043.16