rareqs results solving families - 2016

Family# Total# Sat# UnsatTime
irqlkeapclte1941114548.1
k_ph_n710
MutexP7874.26
Qshifter61672.98
RankingFunctions644912.08
Reduction-finding101241321588.13
Sorting_networks211132125998
terminator1734127545.56
Tree2650
wmiforward163508.68