depqbf results solving families - 2010

Family# Total# Sat# UnsatTime
irqlkeapclte4149206.4
MutexP78358028.81
Qshifter62255613.9
RankingFunctions106127217.51
Sorting_networks1093583474.24
terminator132158420.14
wmiforward18611173346.06