xb-bid-qsts results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction71457736.84
Adder1151441664.38
blackbox-01X-QBF77107165.17
blackbox_design7610784.29
Blocks8855721.44
BMC914133553.41
bomb51367991.94
C43273537510.77
C499763219085.68
C5315863128884.12
C628886336613.49
C880782133455.74
Chain821012.5
circuits75527005.59
conformant_planning795218834.56
Connect4685413902.32
Counter5410389.76
Debug10361745.39
DFlipFlop7396626.87
dungeon731330484.85
evader-pursuer-4x4-logarithmic61610181.05
evader-pursuer-4x4-standard6522963.43
evader-pursuer-6x6-logarithmic74522224.29
evader-pursuer-6x6-standard7740934.19
evader-pursuer-8x8-logarithmic78425050.56
FPGA_PLB_FIT_FAST3841224.18
FPGA_PLB_FIT_SLOW251293.5
fpu4710290.31
Generalized-Tic-Tac-Toe54552635.12
HardwareFixpoint812324607.72
Impl74100.74
incrementer-encoder671618851.52
irqlkeapclte121818022.46
ISCAS893261662.72
ITC99562113329.35
jmc_quant_squaring1182246395.97
k_branch_n8895125.05
k_branch_p10394450.17
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_n7410730.48
k_ph_p85626339.14
k_poly_n68107.11
k_poly_p64105.28
k_t4p_n711029.83
k_t4p_p761023.54
LinearBitvectorRankingFunction86532110.03
Logn294191.79
mqm84552706.66
MutexP78797.48
Planning-CTE55227570.87
QBF-Hardness6319384.81
qbfeval122724767.94
Qshifter626144.3
RankingFunctions611038.19
Reduction-finding651522962.08
Rewriting45100.81
s119644156958.34
s126976237197.64
s2736136.58
s298707211173.03
s333076236448.41
s38669555308.99
s499627112221.63
s51059325773.36
s64155543337.72
s713735411245.34
s820725220508.38
Sorting_networks110735603.9
SzymanskiP99822344.35
term1694455.83
terminator86529851.14
tipdiam86437196.17
tipfixpoint814319539.42
ToiletA483722.27
ToiletC481977.95
ToiletG4370.43
trafficlight-controller45101181.43
Tree74280.54
uclid3017991.3
VonNeumann7510191.46
wmiforward741013.54
z4ml61441.98