struqs-10 results solving families - 2010

Family# Total# Sat# UnsatTime
irqlkeapclte33137507.76
MutexP787100.49
Qshifter61629.96
RankingFunctions9354112272.02
Sorting_networks95114007.87
terminator1205025187.43
wmiforward15813128939.26