ghostq-cegar results solving families - 2017

Family# Total# Sat# UnsatTime
amba43600
arithmetic54500
cycle-sched43600
disjunctive_decomposition54500
driver43600
genbuf43600
HardwareFixpoint865168976.32
hwmcc41916.9
irqlkeapclte1103515151.39
ltl2aig-comp43600
LTL2DBA41852.16
mult-matrix43600
RankingFunctions4237800
Reduction-finding1161096158.73
Selection-hard20117834.28
sketch926407.13
Sorting_networks125112500
terminator1051852404.58
toy43600
wgrowing119900
wmiforward1244.77