rareqs results solving families - 2016

Family# Total# Sat# UnsatTime
irqlkeapclte2591153530.46
k_ph_n710
MutexP7874.26
Qshifter62673.34
RankingFunctions754912.89
Reduction-finding152241333763.55
Sorting_networks252132134828.47
terminator2064136760.88
Tree2650
wmiforward1755014.05