ghostq-cegar results solving families - 2017

Family# Total# Sat# UnsatTime
Abduction23117133.64
Adder8677400
amba815453.62
arithmetic54500
blackbox-01X-QBF78167508.07
BMC73158352.52
C43221275.54
C4993127900
C5315511126317.76
C628867152226.37
C88060418927.21
circuits73160898
conformant_planning581328923.48
Connect211203.33
Connect31900
Connect436131508.37
Connect521952.44
Connect621909.31
Connect721800
Connect822306.6
Counter1917100
cycle-sched87200
Debug9484521.26
disjunctive_decomposition54500
driver823617.94
dungeon601450497.99
evader-pursuer-4x4-logarithmic10168.3
evader-pursuer-4x4-standard6457600
evader-pursuer-6x6-logarithmic4439600
evader-pursuer-6x6-standard6659400
evader-pursuer-8x8-logarithmic4641400
formula_add1248233.93
fpu20201842.55
genbuf825090.92
Generalized-Tic-Tac-Toe201314955.72
genpatch532596.39
HardwareFixpoint54141212.89
hwmcc812317.42
hyperLTL4110.36
incrementer-encoder35211316.02
irqlkeapclte81109952.78
ISCAS89412948.09
ITC99374118745.47
jmc_quant43600
jmc_quant_squaring7769300
k_branch_n3733300
k_branch_p6154900
k_ph_p58150144.79
LinearBitvectorRankingFunction7365700
ltl2aig-comp815507.14
LTL2DBA411801.56
LTL2DPA411804.5
mqm2522500
mult-matrix87200
Planning-CTE5347700
QBF-Hardness30126101.91
qbfeval12721374.65
RankingFunctions21800
Reduction-finding29122169.25
s11961521714.33
s12691517507.51
s2981411266.91
s33301918553.3
s4991311340.17
s510921368.36
s6411611176.8
s7131521467.66
s8201411474.74
sketch54500
Sorting_networks57145177.36
SzymanskiP1917100
terminator42329048.67
tipdiam55526264.13
tipfixpoint58811892.22
toy823612.22
trafficlight-controller10960.85
uclid301110729.44