depqbf-v1 results solving families - 2016

Family# Total# Sat# UnsatTime
irqlkeapclte259153383.47
k_ph_n710.21
MutexP7877.77
Qshifter62320736.4
RankingFunctions7532117789.77
Reduction-finding1524882317.61
Sorting_networks25289107270.45
terminator2064727513.26
Tree2650.52
wmiforward175886915