cadet results solving families - 2016

Family# Total# Sat# UnsatTime
irqlkeapclte1941114548.22
k_ph_n710
MutexP78711.47
Qshifter616237.4
RankingFunctions6449113.05
Reduction-finding10160572.99
Sorting_networks211126539.76
terminator1731486033.93
Tree2650
wmiforward1635024.52