qestos results solving families - 2016

Family# Total# Sat# UnsatTime
irqlkeapclte1941111644.89
k_ph_n710
MutexP7874.15
Qshifter61672.14
RankingFunctions644912.11
Reduction-finding10161036716.64
Sorting_networks211101458631.04
terminator1732460588.86
Tree2650
wmiforward16350275.63