hiqqer1 results solving families - 2016

Family# Total# Sat# UnsatTime
irqlkeapclte1945103465.78
k_ph_n710.28
MutexP7877.84
Qshifter61676.19
RankingFunctions644711204.13
Reduction-finding101121043922.48
Sorting_networks211142414757.14
terminator173199561.48
Tree2650.78
wmiforward1635037.66