xb-bid-qsts results solving families - 2016

Family# Total# Sat# UnsatTime
irqlkeapclte19437224435.1
k_ph_n710.07
MutexP787103.75
Qshifter616143.07
RankingFunctions6449131.72
Reduction-finding10122835936.96
Sorting_networks211152617806.64
terminator17391560047.63
Tree2650.26
wmiforward16349162