qsts results solving families - 2016

Family# Total# Sat# UnsatTime
irqlkeapclte1941114671.99
k_ph_n710
MutexP7872.45
Qshifter61227272.98
RankingFunctions6437795.03
Reduction-finding101201036474.28
Sorting_networks211141543993.04
terminator1731382668.2
Tree26524.37
wmiforward16310177670.93