depqbf-pre results solving families - 2010

Family# Total# Sat# UnsatTime
irqlkeapclte41146381.45
MutexP78619620.59
Qshifter62254007.66
RankingFunctions106127217.31
Sorting_networks109710810.1
terminator132158419.24
wmiforward18625114072.34