GhostQ-PG_cegar results solving families - 2017

Family# Total# Sat# UnsatTime
Abduction23117138.84
Adder8677400
amba815453.9
arithmetic54500
blackbox-01X-QBF78167508.73
BMC73254741.5
C43221269.69
C4993127900
C5315511126170.3
C628867152220.43
C88060419068.29
circuits73162552.4
conformant_planning581329020.16
Connect211385
Connect31900
Connect436131514.3
Connect521800
Connect621912
Connect721800
Connect822421.64
Counter1917100
cycle-sched87200
Debug9484523.91
disjunctive_decomposition54500
driver823618.34
dungeon601450612.52
evader-pursuer-4x4-logarithmic10171.1
evader-pursuer-4x4-standard6457600
evader-pursuer-6x6-logarithmic4439600
evader-pursuer-6x6-standard6659400
evader-pursuer-8x8-logarithmic4641400
formula_add1248409.47
fpu20185064.59
genbuf825104.26
Generalized-Tic-Tac-Toe20117103.5
genpatch532630.09
HardwareFixpoint542147670.52
hwmcc823758.98
hyperLTL4110.4
incrementer-encoder35211442.41
irqlkeapclte81109214.43
ISCAS894121031.39
ITC99375118068
jmc_quant43600
jmc_quant_squaring7769300
k_branch_n3733300
k_branch_p6154900
k_ph_p58150145.57
LinearBitvectorRankingFunction733349124.76
ltl2aig-comp815495
LTL2DBA411801.72
LTL2DPA411804.7
mqm2522500
mult-matrix87200
Planning-CTE5347700
QBF-Hardness30225843.32
qbfeval12715400.49
RankingFunctions222.78
Reduction-finding29232444.55
s11961521624.76
s12691517396
s2981411115.71
s33301918252
s4991311103.81
s51092607.91
s6411611118.16
s713152545.82
s8201411163.52
sketch54500
Sorting_networks572133847.95
SzymanskiP1921724.65
terminator4286828.4
tipdiam55526235.2
tipfixpoint58811862.65
toy823604.3
trafficlight-controller1010186.77
uclid301110736.05