depqbf-v2 results solving families - 2016

Family# Total# Sat# UnsatTime
irqlkeapclte194797471.95
k_ph_n710.21
MutexP787503.15
Qshifter616160.07
RankingFunctions64491121.16
Reduction-finding1014951470.19
Sorting_networks211132335368.12
terminator173487236.08
Tree2650.52
wmiforward1635084.91