GhostQ-PG_plain results solving families - 2017

Family# Total# Sat# UnsatTime
amba1412600
arithmetic1816200
cycle-sched2018000
disjunctive_decomposition2018000
driver2018000
genbuf87200
HardwareFixpoint236243859602.32
hwmcc1412600
irqlkeapclte145130500
ltl2aig-comp119900
LTL2DBA119900
mult-matrix1715300
RankingFunctions7337333.71
Reduction-finding2201524125923.74
Selection-hard4843200
sketch4237800
Sorting_networks16310101021.35
terminator14523411156.37
toy2219800
wgrowing2118900
wmiforward25116692.59