ghostq-cegar results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction70445566.54
Adder93247386.45
blackbox-01X-QBF68424015.18
blackbox_design7610268.78
Blocks8837224.91
BMC773130020.71
bomb483116471.65
C43273345486.26
C499763218614.21
C5315803217660.07
C628877234846.91
C880782412938.19
Chain82101483.91
circuits69235409.81
conformant_planning79648984.6
Connect464614188.38
Counter52517858.13
Debug8235486.5
DFlipFlop7394509.43
dungeon55319557.43
evader-pursuer-4x4-logarithmic5971612.62
evader-pursuer-4x4-standard6420843.08
evader-pursuer-6x6-logarithmic67232405.36
evader-pursuer-6x6-standard6635964.08
evader-pursuer-8x8-logarithmic72225379.14
FPGA_PLB_FIT_FAST38411532.84
FPGA_PLB_FIT_SLOW2512139
fpu47105574.09
Generalized-Tic-Tac-Toe48169762.29
HardwareFixpoint5630989.57
Impl74105.69
incrementer-encoder5219347.41
irqlkeapclte81109831.39
ISCAS8932514375.83
ITC9942319572.78
jmc_quant_squaring9556994.85
k_branch_n75332647.8
k_branch_p82242885.69
k_d4_n7310127.27
k_d4_p721041.77
k_dum_n661019.36
k_dum_p741020.78
k_grz_n681033.35
k_grz_p701034.95
k_lin_n64812129.66
k_lin_p651096.08
k_path_n671028.61
k_path_p671031.69
k_ph_n7296591.34
k_ph_p70427892.12
k_poly_n681030.25
k_poly_p641022.26
k_t4p_n7110128.66
k_t4p_p7610102.01
LinearBitvectorRankingFunction6035519.87
Logn294492.32
mqm752422446.21
MutexP78140788.47
Planning-CTE38219600.29
QBF-Hardness51517348.06
qbfeval122724478.83
Qshifter61410990.22
RankingFunctions5532989.55
Reduction-finding541613804.78
Rewriting451013.02
s119644153356.49
s126970522091.01
s2736132.92
s2987073814.71
s333072524611.89
s3866955285.52
s49962731212.56
s51059104522.2
s64155541202.59
s71373553556.11
s82070641594.74
Sorting_networks863137228.62
SzymanskiP9355772.64
term1694490.21
terminator70716539.6
tipdiam68713956.76
tipfixpoint6973316.92
ToiletA483758.04
ToiletC48192233.29
ToiletG4374.32
trafficlight-controller458264.58
Tree74184803.61
uclid30117403.09
VonNeumann7576049.72
wmiforward701016.83
z4ml61444.27