areqs results solving families - 2016

Family# Total# Sat# UnsatTime
irqlkeapclte269464026.98
k_ph_n710
MutexP7874.13
Qshifter62675.73
RankingFunctions784913.15
Reduction-finding16031085911.54
Sorting_networks258121672753.32
terminator2102967193.83
Tree2650
wmiforward1795066.41