aspQ results solving families - 2016

Family# Total# Sat# UnsatTime
irqlkeapclte259111487.82
k_ph_n710
MutexP7874.72
Qshifter62672.75
RankingFunctions754913.2
Reduction-finding15214105202.69
Sorting_networks2529116012.66
terminator206257551.31
Tree2650
wmiforward1754911.83