depqbf-v3 results solving families - 2016

Family# Total# Sat# UnsatTime
irqlkeapclte259155334.37
k_ph_n710
MutexP787453.59
Qshifter626325.11
RankingFunctions75491189.73
Reduction-finding1523885227.37
Sorting_networks25287109690.14
terminator2062584017.35
Tree2650
wmiforward1751866577.9