squeezebf+struqs results solving families - 2016

Family# Total# Sat# UnsatTime
irqlkeapclte1941115620.98
k_ph_n710
MutexP78753.64
Qshifter6162890.1
RankingFunctions644611920.81
Reduction-finding101458418.52
Sorting_networks211126545.06
terminator1732263575.85
Tree2650.07
wmiforward163782190.46