xb-qsts results solving families - 2016

Family# Total# Sat# UnsatTime
irqlkeapclte2594145791.43
k_ph_n710
MutexP78796.77
Qshifter626143.02
RankingFunctions7549149.22
Reduction-finding152161063370.26
Sorting_networks252152521837.4
terminator20611690354.52
Tree2650
wmiforward17550185.48