depqbf-pre results solving families - 2010

Family# Total# Sat# UnsatTime
irqlkeapclte33136780.24
MutexP78619620.59
Qshifter61252807.49
RankingFunctions93111615.12
Sorting_networks95710600.02
terminator120144017.63
wmiforward1582584063.79