struqs-10 results solving families - 2016

Family# Total# Sat# UnsatTime
irqlkeapclte1941115629.32
k_ph_n710
MutexP78751.78
Qshifter61619.26
RankingFunctions644611919.59
Reduction-finding101458421.79
Sorting_networks211126543.23
terminator1732263571.15
Tree2650
wmiforward163782188.59