GhostQ-PG_cegar results solving families - 2017

Family# Total# Sat# UnsatTime
amba43600
arithmetic54500
cycle-sched43600
disjunctive_decomposition54500
driver43600
genbuf43600
HardwareFixpoint86243819382.14
hwmcc43600
irqlkeapclte1103511089.71
ltl2aig-comp43600
LTL2DBA43600
mult-matrix43600
RankingFunctions4237108.95
Reduction-finding116402824629.66
Selection-hard20117956.34
sketch98100
Sorting_networks125599074.31
terminator1053410811.57
toy43600
wgrowing119900
wmiforward1245.37