cadet results solving families - 2016

Family# Total# Sat# UnsatTime
irqlkeapclte2591153530.39
k_ph_n710
MutexP78711.47
Qshifter626238.57
RankingFunctions7549117.59
Reduction-finding15291159.33
Sorting_networks252151128.08
terminator2061488358.44
Tree2650
wmiforward1755038.5