depqbf-pre results solving families - 2010

Family# Total# Sat# UnsatTime
irqlkeapclte42147581.6
MutexP78619620.59
Qshifter62254007.66
RankingFunctions108129617.65
Sorting_networks110710817.43
terminator135162019.63
wmiforward19525123675.14