xb-bid-qsts results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction39136488.69
Adder60411799.48
blackbox-01X-QBF351443.05
blackbox_design41541.23
Blocks4832345.88
BMC451118606.63
bomb311211986.43
C432404259.1
C4994243.78
C53154536002.68
C62884436609.98
C88042224515.9
Chain48535.28
circuits41314259.59
conformant_planning473110602.53
Connect436139002.4
Counter3244812.25
Debug5432388.07
DFlipFlop39129624.31
dungeon40218960
evader-pursuer-4x4-logarithmic364930.85
evader-pursuer-4x4-standard4124574.01
evader-pursuer-6x6-logarithmic42213634.36
evader-pursuer-6x6-standard4023988.8
evader-pursuer-8x8-logarithmic41217763.52
FPGA_PLB_FIT_FAST2421508.64
FPGA_PLB_FIT_SLOW1811306.24
fpu271110530.74
Generalized-Tic-Tac-Toe2838106.56
HardwareFixpoint4123591.58
Impl3952.73
incrementer-encoder40120989.15
irqlkeapclte61222878.19
ISCAS89163378.91
ITC9941118152.19
jmc_quant_squaring61130074.93
k_branch_n44588.1
k_branch_p515208.91
k_d4_n38552.48
k_d4_p39517.01
k_dum_n3658
k_dum_p3956.27
k_grz_n39512.69
k_grz_p3459.7
k_lin_n34529.39
k_lin_p3255.71
k_path_n38513.26
k_path_p38511.32
k_ph_n385518.19
k_ph_p4347320.42
k_poly_n36513.19
k_poly_p3659.86
k_t4p_n35556.07
k_t4p_p46532.28
LinearBitvectorRankingFunction4828774.86
Logn1917415.33
mqm47313333704.3
MutexP47477.05
NuSMV_diam2759213.89
Planning-CTE25112007.85
QBF-Hardness33213828.81
qbfeval1210215.45
QLTL_safety30025029.82
Qshifter3427550.6
RankingFunctions36525.62
Reduction-finding37313221.03
Rewriting2553.1
s119625315.26
s1269375320.42
s272121.26
s29834556.29
s333041119804.96
s38638526.65
s49933593.28
s510335233.86
s64135524.36
s71342530.49
s820375129.67
Sorting_networks622115192.05
SzymanskiP48412133.69
term13847.02
terminator40546.86
tipdiam472115029.82
tipfixpoint441118044.54
ToiletA27542.61
ToiletC261460.21
ToiletG2742.02
trafficlight-controller2514356.25
Tree39142.42
uclid2222.64
VonNeumann40316155.09
wmiforward3959.83
z4ml3241.92