GhostQ-PG_plain results solving families - 2017

Family# Total# Sat# UnsatTime
amba43600
arithmetic54500
cycle-sched43600
disjunctive_decomposition54500
driver43600
genbuf43600
HardwareFixpoint86243819474.59
hwmcc43600
irqlkeapclte11099000
ltl2aig-comp43600
LTL2DBA43600
mult-matrix43600
RankingFunctions4237173.65
Reduction-finding116152465659.39
Selection-hard2018000
sketch98100
Sorting_networks1251074322.34
terminator1052347740
toy43600
wgrowing119900
wmiforward1218311.11