xb-qsts results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction39136487.22
Adder63132976.16
blackbox-01X-QBF351439.62
blackbox_design41539.01
Blocks482345.7
BMC461119206.71
bomb31116509.98
C4324045.7
C4994243.89
C53154636004.19
C62884737210.41
C88042224491.59
Chain48535.1
circuits41120986.22
conformant_planning473110411.33
Connect436311301.36
Counter3244812.29
Debug5834788.33
DFlipFlop39129623.34
dungeon40218983.45
evader-pursuer-4x4-logarithmic364637.15
evader-pursuer-4x4-standard4124573.81
evader-pursuer-6x6-logarithmic44214813.73
evader-pursuer-6x6-standard4325790.94
evader-pursuer-8x8-logarithmic43218937.63
FPGA_PLB_FIT_FAST242116.24
FPGA_PLB_FIT_SLOW18259.96
fpu271110518.78
Generalized-Tic-Tac-Toe28127829.28
HardwareFixpoint4323649.87
Impl3952.58
incrementer-encoder43122787.19
irqlkeapclte66131886.84
ISCAS89163366.88
ITC9945120159.9
jmc_quant_squaring64131281.18
k_branch_n45590.84
k_branch_p525217.33
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_n395513.09
k_ph_p44315933.08
k_poly_n36512.97
k_poly_p3659.71
k_t4p_n35556.21
k_t4p_p46532.1
LinearBitvectorRankingFunction5331773.44
Logn1917429.37
mqm48313333810.74
MutexP47476.95
NuSMV_diam2759214.29
Planning-CTE27113208.09
QBF-Hardness35215026.55
qbfeval1210215.05
QLTL_safety30025027.86
Qshifter3427574.13
RankingFunctions36523.72
Reduction-finding37313221.28
Rewriting2553
s119625315.17
s1269405358.18
s272121.26
s29834556.43
s333042120403.62
s38638526.82
s49933593.68
s510335231.23
s64135524.06
s71342530.49
s820385133.17
Sorting_networks66131870.12
SzymanskiP48412266.09
term13845.74
terminator41553.12
tipdiam492115818.57
tipfixpoint471119845.11
ToiletA27542.44
ToiletC2614288.2
ToiletG2742.02
trafficlight-controller255179.55
Tree39142.34
uclid2222.64
VonNeumann40316118.52
wmiforward3959.6
z4ml3241.92