quantor-3.1 results solving families - 2010

Family# Total# Sat# UnsatTime
irqlkeapclte3312726.41
MutexP7831497.38
Qshifter616211.85
RankingFunctions93112684.67
Sorting_networks957017.7
terminator1201428207.02
wmiforward1582215010.36