ghostq-plain results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction38135610.37
Adder52126574.81
blackbox-01X-QBF355653.24
blackbox_design41512.55
Blocks48226049.65
BMC411111779.63
bomb28111381.01
C432402266.1
C49942120397.12
C531544126637.83
C62884124592.21
C88042317047.13
Chain48529.74
circuits38119190.6
conformant_planning473112183.59
Connect43435576.12
Counter3038172.82
Debug4619817.55
DFlipFlop395380.53
dungeon3126900.65
evader-pursuer-4x4-logarithmic344247.19
evader-pursuer-4x4-standard4010090
evader-pursuer-6x6-logarithmic37110681.56
evader-pursuer-6x6-standard364791.51
evader-pursuer-8x8-logarithmic39112056.78
FPGA_PLB_FIT_FAST2421519.36
FPGA_PLB_FIT_SLOW1810797.58
fpu275927.09
Generalized-Tic-Tac-Toe2614452.06
HardwareFixpoint3219196.82
Impl3952.89
incrementer-encoder31212606.35
irqlkeapclte4627591.36
ISCAS891623661.81
ITC993329181.49
jmc_quant_squaring5130596.51
k_branch_n38313537.9
k_branch_p42216810.25
k_d4_n38556.98
k_d4_p39520
k_dum_n3657.31
k_dum_p3956.58
k_grz_n39512.9
k_grz_p34515
k_lin_n345244.99
k_lin_p3254.9
k_path_n38510.4
k_path_p3859.06
k_ph_n3747769.69
k_ph_p38312206.54
k_poly_n36512.27
k_poly_p3659.51
k_t4p_n35558.38
k_t4p_p46540.63
LinearBitvectorRankingFunction3514180.74
Logn192367.68
mqm453113222639.73
MutexP47122193.97
NuSMV_diam275921216.63
Planning-CTE1912639.9
QBF-Hardness2938480.53
qbfeval121022.25
QLTL_safety3001111189.44
Qshifter3317952.52
RankingFunctions3319794.53
Reduction-finding3139659.47
Rewriting2552.25
s119625121042.83
s126937213731.1
s272121.47
s2983423257.41
s33304139672.86
s386382338.05
s4993332220.8
s510335859.58
s6413532384.29
s7134232581.41
s8203723215.12
Sorting_networks49124676.23
SzymanskiP4828779.2
term1382228.71
terminator375855.43
tipdiam39310203.21
tipfixpoint3841176.08
ToiletA27522.57
ToiletC2614273.54
ToiletG2742.29
trafficlight-controller25570.05
Tree39142.5
uclid22110298.86
VonNeumann4041785.23
wmiforward3939626.06
z4ml32312.08