aspQ results solving families - 2016

Family# Total# Sat# UnsatTime
irqlkeapclte19418599.66
k_ph_n710
MutexP7874.72
Qshifter61672.38
RankingFunctions644912.31
Reduction-finding10114103287.98
Sorting_networks2119114591.25
terminator173255964.67
Tree2650
wmiforward163497.66