xb-qsts results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction39136487.22
Adder60131177.48
blackbox-01X-QBF351439.62
blackbox_design41539.01
Blocks482345.7
BMC451118606.89
bomb31116509.98
C4324045.7
C4994243.89
C53154536003.76
C62884436609.86
C88042224491.59
Chain48535.1
circuits41120986.22
conformant_planning473110411.33
Connect436311301.36
Counter3244812.29
Debug5432389.07
DFlipFlop39129623.34
dungeon40218983.45
evader-pursuer-4x4-logarithmic364637.15
evader-pursuer-4x4-standard4124573.81
evader-pursuer-6x6-logarithmic42213614.77
evader-pursuer-6x6-standard4023991.5
evader-pursuer-8x8-logarithmic41217739.21
FPGA_PLB_FIT_FAST242116.24
FPGA_PLB_FIT_SLOW18259.96
fpu271110518.78
Generalized-Tic-Tac-Toe28127829.28
HardwareFixpoint4123594
Impl3952.58
incrementer-encoder40120988.25
irqlkeapclte61129480.13
ISCAS89163366.88
ITC9941118144.17
jmc_quant_squaring61130073.75
k_branch_n44586.9
k_branch_p515207.51
k_d4_n38553.04
k_d4_p39516.6
k_dum_n3657.33
k_dum_p3956.27
k_grz_n39512.68
k_grz_p3459.5
k_lin_n34529.01
k_lin_p3255.52
k_path_n38513.24
k_path_p38511.12
k_ph_n385512.38
k_ph_p43315333.47
k_poly_n36512.97
k_poly_p3659.71
k_t4p_n35556.21
k_t4p_p46532.1
LinearBitvectorRankingFunction4828775.96
Logn1917429.37
mqm47313333662.95
MutexP47476.95
NuSMV_diam2759214.29
Planning-CTE25112008.55
QBF-Hardness33213827.3
qbfeval1210215.05
QLTL_safety30025027.86
Qshifter3427574.13
RankingFunctions36523.72
Reduction-finding37313221.28
Rewriting2553
s119625315.17
s1269375320.77
s272121.26
s29834556.43
s333041119804.09
s38638526.82
s49933593.68
s510335231.23
s64135524.06
s71342530.49
s820375129.15
Sorting_networks62129953.2
SzymanskiP48412266.09
term13845.74
terminator40552.76
tipdiam472115017.77
tipfixpoint441118045.98
ToiletA27542.44
ToiletC2614288.2
ToiletG2742.02
trafficlight-controller255179.55
Tree39142.34
uclid2222.64
VonNeumann40316118.52
wmiforward3959.6
z4ml3241.92