areqs results solving families - 2016

Family# Total# Sat# UnsatTime
irqlkeapclte194462881.68
k_ph_n710
MutexP7874.13
Qshifter61675.38
RankingFunctions644912.1
Reduction-finding10131051687.8
Sorting_networks211121652769.97
terminator1732950897.1
Tree2650
wmiforward1635030.29