xb-bid-qsts results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction38135888.98
Adder5249824.06
blackbox-01X-QBF351443.05
blackbox_design41541.23
Blocks4832345.88
BMC411116208.76
bomb281210768.09
C432404259.1
C4994243.78
C53154436002.34
C62884136009.51
C88042224515.9
Chain48535.28
circuits38313208.34
conformant_planning473110602.53
Connect434138059.02
Counter3044211.06
Debug4627589.73
DFlipFlop39129624.31
dungeon31213563.48
evader-pursuer-4x4-logarithmic344875.66
evader-pursuer-4x4-standard4023974.7
evader-pursuer-6x6-logarithmic37211738.59
evader-pursuer-6x6-standard3621589.92
evader-pursuer-8x8-logarithmic39217112.38
FPGA_PLB_FIT_FAST2421508.64
FPGA_PLB_FIT_SLOW1811306.24
fpu271110530.74
Generalized-Tic-Tac-Toe2636907.32
HardwareFixpoint3223419.64
Impl3952.73
incrementer-encoder31115592.06
irqlkeapclte46217308.57
ISCAS89163378.91
ITC9933114118.97
jmc_quant_squaring51124669.41
k_branch_n38569.32
k_branch_p425163.31
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_n375469.65
k_ph_p3845962.74
k_poly_n36513.19
k_poly_p3659.86
k_t4p_n35556.07
k_t4p_p46532.28
LinearBitvectorRankingFunction3520981.59
Logn1917415.33
mqm45313333406.54
MutexP47477.05
NuSMV_diam2759213.89
Planning-CTE1918409.53
QBF-Hardness29211430.33
qbfeval1210215.45
QLTL_safety30025029.82
Qshifter3327522.59
RankingFunctions33523.54
Reduction-finding3139623.94
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_networks492112729.17
SzymanskiP48412133.69
term13847.02
terminator37545.75
tipdiam392111425.22
tipfixpoint381114446.64
ToiletA27542.61
ToiletC261460.21
ToiletG2742.02
trafficlight-controller2514356.25
Tree39142.42
uclid2222.64
VonNeumann40316155.09
wmiforward3959.83
z4ml3241.92