GhostQ-PG_plain results solving families - 2018

Family# Total# Sat# UnsatTime
amba1917100.97
arithmetic3632401.9
cycle-sched3430601.08
disjunctive_decomposition4036002.52
driver3430600.85
genbuf54500.2
HardwareFixpoint300124052348.04
hwmcc2623401.39
irqlkeapclte266239412.27
ltl2aig-comp54500.25
LTL2DBA1210800.48
LTL2DPA76300.7
Model_instances4742302.05
mult-matrix2926100.97
Q_2_39888203.04
RankingFunctions6631332.22
Reduction-finding2251619130363.78
Selection-hard4237802
sketch4742302.61
Sorting_networks1751198152.76
terminator21734012837
toy30120603.84
wgrowing1210800.44
wmiforward74348709.19