depqbf-v1 results solving families - 2016

Family# Total# Sat# UnsatTime
irqlkeapclte194114890.92
k_ph_n710.21
MutexP7877.77
Qshifter61320144.46
RankingFunctions6432111860.65
Reduction-finding1014853048.91
Sorting_networks2118983510.74
terminator1734720200.72
Tree2650.52
wmiforward163879794.86