aqme-10 results solving families - 2010

Family# Total# Sat# UnsatTime
irqlkeapclte41145608.12
MutexP787159.54
Qshifter626230.28
RankingFunctions10643130201.37
Sorting_networks1094762896.91
terminator1323477281.24
wmiforward18625114206.2