xb-bid-qsts results solving families - 2016

Family# Total# Sat# UnsatTime
irqlkeapclte25937233040.3
k_ph_n710.07
MutexP787103.75
Qshifter626143.96
RankingFunctions7549149.73
Reduction-finding15222856289.78
Sorting_networks252152622710.66
terminator20691576072.86
Tree2650.26
wmiforward17549195.09