xb-qsts results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction38135887.51
Adder52126381.08
blackbox-01X-QBF351439.62
blackbox_design41539.01
Blocks482345.7
BMC411116208.82
bomb28114710.84
C4324045.7
C4994243.89
C53154436003.33
C62884136009.4
C88042224491.59
Chain48535.1
circuits38119187.56
conformant_planning473110411.33
Connect434310102.74
Counter3044211.1
Debug4627590.54
DFlipFlop39129623.34
dungeon31213586.93
evader-pursuer-4x4-logarithmic344583.06
evader-pursuer-4x4-standard4023974.5
evader-pursuer-6x6-logarithmic37211720.74
evader-pursuer-6x6-standard3621592.35
evader-pursuer-8x8-logarithmic39217088.49
FPGA_PLB_FIT_FAST242116.24
FPGA_PLB_FIT_SLOW18259.96
fpu271110518.78
Generalized-Tic-Tac-Toe26126629.86
HardwareFixpoint3223421.33
Impl3952.58
incrementer-encoder31115591.43
irqlkeapclte46122260
ISCAS89163366.88
ITC9933114112.71
jmc_quant_squaring51124668.32
k_branch_n38568.3
k_branch_p425162.21
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_n375464.3
k_ph_p38312335.12
k_poly_n36512.97
k_poly_p3659.71
k_t4p_n35556.21
k_t4p_p46532.1
LinearBitvectorRankingFunction3520982.36
Logn1917429.37
mqm45313333367.37
MutexP47476.95
NuSMV_diam2759214.29
Planning-CTE1918409.93
QBF-Hardness29211428.8
qbfeval1210215.05
QLTL_safety30025027.86
Qshifter3327544.31
RankingFunctions33521.65
Reduction-finding3139623.89
Rewriting2553
s119625315.17
s1269375320.77
s272121.26
s29834556.43
s333041119804.09
s38638526.82
s49933593.68
s510335231.23
s64135524.06
s71342530.49
s820375129.15
Sorting_networks49124084.66
SzymanskiP48412266.09
term13845.74
terminator37551.68
tipdiam392111415.95
tipfixpoint381114447.72
ToiletA27542.44
ToiletC2614288.2
ToiletG2742.02
trafficlight-controller255179.55
Tree39142.34
uclid2222.64
VonNeumann40316118.52
wmiforward3959.6
z4ml3241.92