ghostq-plain results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction39136210.18
Adder60131412.19
blackbox-01X-QBF355653.24
blackbox_design41512.55
Blocks48226049.65
BMC451113179.91
bomb31112754.87
C432402266.1
C49942120397.12
C531545127237.74
C62884426391.64
C88042317047.13
Chain48529.74
circuits41120989.54
conformant_planning473112183.59
Connect43636259.26
Counter3239372.54
Debug5423780.06
DFlipFlop395380.53
dungeon4029266.9
evader-pursuer-4x4-logarithmic364258.08
evader-pursuer-4x4-standard4110300.82
evader-pursuer-6x6-logarithmic42112138.64
evader-pursuer-6x6-standard405323.9
evader-pursuer-8x8-logarithmic41112566.26
FPGA_PLB_FIT_FAST2421519.36
FPGA_PLB_FIT_SLOW1810797.58
fpu275927.09
Generalized-Tic-Tac-Toe2814580.28
HardwareFixpoint4124595.21
Impl3952.89
incrementer-encoder40218005.3
irqlkeapclte6136588.51
ISCAS891623661.81
ITC9941211804.33
jmc_quant_squaring6136595.91
k_branch_n44317137.06
k_branch_p51222208.54
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_n3848369.5
k_ph_p43315218.68
k_poly_n36512.27
k_poly_p3659.51
k_t4p_n35558.38
k_t4p_p46540.63
LinearBitvectorRankingFunction4819398.76
Logn192367.68
mqm473113223924.81
MutexP47122193.97
NuSMV_diam275921216.63
Planning-CTE2513763.25
QBF-Hardness33310879.01
qbfeval121022.25
QLTL_safety3001111189.44
Qshifter3418249.35
RankingFunctions3621594.06
Reduction-finding37313257.19
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_networks62132474.56
SzymanskiP4828779.2
term1382228.71
terminator4051050.25
tipdiam47313803.19
tipfixpoint4441214.8
ToiletA27522.57
ToiletC2614273.54
ToiletG2742.29
trafficlight-controller25570.05
Tree39142.5
uclid22110298.86
VonNeumann4041785.23
wmiforward3939626.06
z4ml32312.08