iprover-QBF-bloqqer results solving families - 2016

Family# Total# Sat# UnsatTime
irqlkeapclte191453500.98
k_ph_n710.28
MutexP78798.75
Qshifter616144.2
RankingFunctions644933.47
Reduction-finding101150371.1
Sorting_networks21184140.76
terminator1731173381.28
Tree2651.04
wmiforward163491745.88