xb-qsts results solving families - 2016

Family# Total# Sat# UnsatTime
irqlkeapclte2694151788.56
k_ph_n710
MutexP78796.77
Qshifter626143.02
RankingFunctions7849154.74
Reduction-finding160161067571.19
Sorting_networks258152522767.96
terminator21011692753.37
Tree2650
wmiforward17950211.7