GhostQ-PG_cegar results solving families - 2018

Family# Total# Sat# UnsatTime
amba1917100.98
arithmetic3632401.76
cycle-sched3430601.63
disjunctive_decomposition4036001.77
driver3430600.86
genbuf54500.35
HardwareFixpoint300124049469.66
hwmcc2623401.79
irqlkeapclte2664529840.85
ltl2aig-comp54500.35
LTL2DBA1210800.62
LTL2DPA76300.56
Model_instances4742302.4
mult-matrix2926101.01
Q_2_398187513.48
RankingFunctions6631200.01
Reduction-finding225422523036.44
Selection-hard4237801.98
sketch4742301.77
Sorting_networks1756127688.09
terminator2174027357.3
toy3027000.32
wgrowing1210800.58
wmiforward741164.36