xb-bid-qsts results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction71457736.84
Adder1091439688.73
blackbox-01X-QBF74106519.56
blackbox_design7610784.29
Blocks8855721.44
BMC874131589.55
bomb51367991.94
C43273537510.77
C499763219085.68
C5315833127084.89
C628881333614.93
C880782133455.74
Chain821012.5
circuits75527005.59
conformant_planning795218834.56
Connect4685413902.32
Counter5410389.76
Debug9657549.48
DFlipFlop7396626.87
dungeon721329885.74
evader-pursuer-4x4-logarithmic61610181.05
evader-pursuer-4x4-standard6522963.43
evader-pursuer-6x6-logarithmic72521025.06
evader-pursuer-6x6-standard7237940.94
evader-pursuer-8x8-logarithmic75423451.16
FPGA_PLB_FIT_FAST3841224.18
FPGA_PLB_FIT_SLOW251293.5
fpu4710290.31
Generalized-Tic-Tac-Toe54552635.12
HardwareFixpoint752322077.49
Impl74100.74
incrementer-encoder631617002.49
irqlkeapclte111816524.49
ISCAS893261662.72
ITC99512111820.38
jmc_quant_squaring1132245042.77
k_branch_n8594705.73
k_branch_p9994021.52
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_n7310730.01
k_ph_p81623940.3
k_poly_n68107.11
k_poly_p64105.28
k_t4p_n711029.83
k_t4p_p761023.54
LinearBitvectorRankingFunction80529047.33
Logn294191.79
mqm81552565.02
MutexP78797.48
Planning-CTE50224574.29
QBF-Hardness5919347.22
qbfeval122724767.94
Qshifter626144.3
RankingFunctions601035.5
Reduction-finding651522962.08
Rewriting45100.81
s119644156958.34
s126971234199.65
s2736136.58
s298707211173.03
s333073234649.45
s38669555308.99
s499627112221.63
s51059325773.36
s64155543337.72
s713735411245.34
s820705219785.76
Sorting_networks104735360.55
SzymanskiP97821144.91
term1694455.83
terminator82527930.11
tipdiam82434797.22
tipfixpoint774317735.65
ToiletA483722.27
ToiletC481977.95
ToiletG4370.43
trafficlight-controller45101181.43
Tree74280.54
uclid3017991.3
VonNeumann7510191.46
wmiforward731012.98
z4ml61441.98