hiqqer1 results solving families - 2016

Family# Total# Sat# UnsatTime
irqlkeapclte2595139122.37
k_ph_n710.28
MutexP7877.84
Qshifter62676.65
RankingFunctions754711205.57
Reduction-finding152121068884.14
Sorting_networks252142420302.19
terminator2061119352.71
Tree2650.78
wmiforward1755066.91