ghostq-cegar results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction38135540.45
Adder52126388.66
blackbox-01X-QBF3544212.18
blackbox_design41518.06
Blocks482348.59
BMC411111718.61
bomb28118420.38
C4324022349.82
C499421113204.96
C531544126624.35
C62884124590.21
C88042218875.12
Chain48216992.08
circuits38119193.96
conformant_planning473112022.88
Connect43435335.84
Counter3039953.33
Debug4619831.85
DFlipFlop395383.55
dungeon3128140.92
evader-pursuer-4x4-logarithmic34310148.33
evader-pursuer-4x4-standard4011055.8
evader-pursuer-6x6-logarithmic3721824.23
evader-pursuer-6x6-standard365019.21
evader-pursuer-8x8-logarithmic3915349.97
FPGA_PLB_FIT_FAST24211461.52
FPGA_PLB_FIT_SLOW182115
fpu275922.09
Generalized-Tic-Tac-Toe26126774.71
HardwareFixpoint3219194.32
Impl3953.05
incrementer-encoder31141705.08
irqlkeapclte46420040.52
ISCAS891623647.26
ITC993334741.89
jmc_quant_squaring5130594.61
k_branch_n38215600.98
k_branch_p42218282.11
k_d4_n38559.58
k_d4_p39525.26
k_dum_n3658.68
k_dum_p3957.89
k_grz_n39514.94
k_grz_p34514.86
k_lin_n3454425.43
k_lin_p325235
k_path_n38526.26
k_path_p38518.93
k_ph_n3747505.46
k_ph_p38312411.18
k_poly_n36513.75
k_poly_p36512
k_t4p_n35573.99
k_t4p_p46556.67
LinearBitvectorRankingFunction3520986
Logn192366.06
mqm453113312227.56
MutexP47122191.67
NuSMV_diam27592405.59
Planning-CTE1914884.73
QBF-Hardness2939183.99
qbfeval121022.4
QLTL_safety3001110546.18
Qshifter33110754.4
RankingFunctions3319791.83
Reduction-finding3139610.62
Rewriting2552.45
s119625121621.06
s126937213280.4
s272121.58
s2983423379.07
s33304139673.01
s386382344.83
s4993332182.2
s510335835.84
s6413532503.5
s71342321006.76
s8203723253.79
Sorting_networks49126627.63
SzymanskiP4828777.18
term1382214.04
terminator3745452.83
tipdiam39310271.75
tipfixpoint3841167.56
ToiletA27528.54
ToiletC26141337.7
ToiletG2742.36
trafficlight-controller25571.65
Tree39142.5
uclid2213194.72
VonNeumann4041784.57
wmiforward3958.07
z4ml32312.16