xb-qsts results solving families - 2016

Family# Total# Sat# UnsatTime
irqlkeapclte1944108595.15
k_ph_n710
MutexP78796.77
Qshifter616142.16
RankingFunctions6449131.26
Reduction-finding101161040250.95
Sorting_networks211152517357.32
terminator17311672003.34
Tree2650
wmiforward16350106.82