xb-bid-qsts results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction70457137.13
Adder931433338.99
blackbox-01X-QBF68105228.34
blackbox_design7610784.29
Blocks8855721.44
BMC774126901.27
bomb48367339.07
C43273537510.77
C499763219085.68
C5315803125285.66
C628877331762.69
C880782133455.74
Chain821012.5
circuits69525254.71
conformant_planning795218834.56
Connect4645412315.64
Counter5210357.35
Debug8249156.03
DFlipFlop7396626.87
dungeon551321239.2
evader-pursuer-4x4-logarithmic59610042.19
evader-pursuer-4x4-standard6422522.1
evader-pursuer-6x6-logarithmic67519157.96
evader-pursuer-6x6-standard6634388.15
evader-pursuer-8x8-logarithmic72422432.59
FPGA_PLB_FIT_FAST3841224.18
FPGA_PLB_FIT_SLOW251293.5
fpu4710290.31
Generalized-Tic-Tac-Toe48552038.04
HardwareFixpoint562315082.53
Impl74100.74
incrementer-encoder521612055.11
irqlkeapclte81812030.58
ISCAS893261662.72
ITC9942219402.15
jmc_quant_squaring952236945.25
k_branch_n7593855.54
k_branch_p8293131.96
k_d4_n731046.65
k_d4_p721014.97
k_dum_n66106.23
k_dum_p74107.05
k_grz_n681018.47
k_grz_p701014.26
k_lin_n6410115.64
k_lin_p651010.04
k_path_n67109.76
k_path_p671012.22
k_ph_n7210661.88
k_ph_p70619783.26
k_poly_n68107.11
k_poly_p64105.28
k_t4p_n711029.83
k_t4p_p761023.54
LinearBitvectorRankingFunction60521379.98
Logn294191.79
mqm75552281.74
MutexP78797.48
Planning-CTE38217383.61
QBF-Hardness5119272.04
qbfeval122724767.94
Qshifter616143.43
RankingFunctions551029.19
Reduction-finding541516364.94
Rewriting45100.81
s119644156958.34
s126970233600.03
s2736136.58
s298707211173.03
s333072234049.73
s38669555308.99
s499627112221.63
s51059325773.36
s64155543337.72
s713735411245.34
s820705219785.76
Sorting_networks86734555.11
SzymanskiP93818746.03
term1694455.83
terminator70522167.02
tipdiam68426400.76
tipfixpoint694314128.11
ToiletA483722.27
ToiletC481977.95
ToiletG4370.43
trafficlight-controller45101181.43
Tree74280.54
uclid3017991.3
VonNeumann7510191.46
wmiforward701011.3
z4ml61441.98