aqme-10 results solving families - 2010

Family# Total# Sat# UnsatTime
irqlkeapclte33136008.12
MutexP787159.54
Qshifter616226.67
RankingFunctions9343125366.4
Sorting_networks954749666.99
terminator1203462881.24
wmiforward1582584143.39