depqbf results solving families - 2010

Family# Total# Sat# UnsatTime
irqlkeapclte3339605.15
MutexP78358028.81
Qshifter61254413.73
RankingFunctions93111615.28
Sorting_networks953567611.25
terminator120144018.19
wmiforward15811139741.48