ghostq-cegar results solving families - 2016

Family# Total# Sat# UnsatTime
irqlkeapclte1944524510.13
k_ph_n710.42
MutexP78140787.38
Qshifter61410989.02
RankingFunctions64137787.55
Reduction-finding101259821.12
Sorting_networks21145104552.04
terminator1733933627.47
Tree2637265.07
wmiforward1635069.27