ghostq-cegar results solving families - 2016

Family# Total# Sat# UnsatTime
irqlkeapclte26945034110.93
k_ph_n7100.42
MutexP781040787.38
Qshifter624011453.54
RankingFunctions780146184.29
Reduction-finding1600295207.75
Sorting_networks25845132741.71
terminator21003946199.36
Tree26307265.07
wmiforward179500106.51