areqs results solving families - 2016

Family# Total# Sat# UnsatTime
irqlkeapclte259463870.32
k_ph_n710
MutexP7874.13
Qshifter62675.73
RankingFunctions754912.91
Reduction-finding15231081113.95
Sorting_networks252121669705.08
terminator2062964794.99
Tree2650
wmiforward1755057.38