ghostq-cegar results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction71446166.35
Adder115260581.81
blackbox-01X-QBF77429413.8
blackbox_design7610268.78
Blocks8837224.91
BMC913136823.03
bomb513117969.19
C43273345486.26
C499763218614.21
C5315863221258.93
C628886240245.6
C880782412938.19
Chain82101483.91
circuits75239008.87
conformant_planning79648984.6
Connect468615998.38
Counter54519057.75
Debug10345485.71
DFlipFlop7394509.43
dungeon73326987.61
evader-pursuer-4x4-logarithmic6171756.58
evader-pursuer-4x4-standard6521137.5
evader-pursuer-6x6-logarithmic74236539.75
evader-pursuer-6x6-standard7742495.52
evader-pursuer-8x8-logarithmic78227415.06
FPGA_PLB_FIT_FAST38411532.84
FPGA_PLB_FIT_SLOW2512139
fpu47105574.09
Generalized-Tic-Tac-Toe541613361.15
HardwareFixpoint8144944.65
Impl74105.69
incrementer-encoder6719494.29
irqlkeapclte1211014712.87
ISCAS8932514375.83
ITC99563113573.76
jmc_quant_squaring11870793.11
k_branch_n88340445.33
k_branch_p103255481.7
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_n7497195.92
k_ph_p85436890.27
k_poly_n681030.25
k_poly_p641022.26
k_t4p_n7110128.66
k_t4p_p7610102.01
LinearBitvectorRankingFunction8650914.06
Logn294492.32
mqm842427844.5
MutexP78140788.47
Planning-CTE55229033.1
QBF-Hardness63524545.48
qbfeval122724478.83
Qshifter62411465.74
RankingFunctions6136588.41
Reduction-finding651619423.83
Rewriting451013.02
s119644153356.49
s126976525689.57
s2736132.92
s2987073814.71
s333076527010.83
s3866955285.52
s49962731212.56
s51059104522.2
s64155541202.59
s71373553556.11
s82072641646.46
Sorting_networks1103150230.99
SzymanskiP9959370.03
term1694490.21
terminator86724156.76
tipdiam86719425.76
tipfixpoint8173376.89
ToiletA483758.04
ToiletC48192233.29
ToiletG4374.32
trafficlight-controller458264.58
Tree74184803.61
uclid30117403.09
VonNeumann7576049.72
wmiforward741019.43
z4ml61444.27