qsts results solving families - 2016

Family# Total# Sat# UnsatTime
irqlkeapclte2591153652.85
k_ph_n710
MutexP7872.45
Qshifter62227872.69
RankingFunctions7544059.6
Reduction-finding152201057581.79
Sorting_networks252141559278.89
terminator2061399133.4
Tree26524.37
wmiforward17510184867.45