StrArgsDepsSymsPremsProverThm%CoS%UniqST⌀STΣThmCoSMaybeEmptyErrFound
combmin_2k_20_20a13s00128epar328.4970.00000.0052.8955001380001930
combgeo_3k_50_00ad6s00096vam3028.1870.00000.0042.1254401379701930
combgeo_1k_33_33ad5s00096vam3027.7200.00000.0031.6653501388701930
combgeo_10k_33_33ad6s00096vam3027.6170.00000.0042.0253301390701930
combgeo_3k_20_20ad6s00096vam3027.6170.00000.0031.80533013861101930
combgeo_3k_33_33ad6s00096vam3027.6170.00000.0031.7053301390701930
combgeo_3k_25_25_25ad9s00096vam3027.5650.00000.0031.6953201398001930
combhar_2k_k200_33_33a13s0e0256epar327.5650.00000.0052.6353201398001930
combgeo_3k_33_33ad5s00096vam3027.5130.00000.0031.8053101392701930
combgeo_3k_50_00ad6s00128vam3027.5130.00000.0041.9753101390901930
combgeo_1k_33_33ad5s00128vam3027.4090.00000.0041.89529013881301930
combgeo_2k_50_00a13s0e0096epar327.2540.10400.0052.6352621402001930
combgeo_3k_33_33ad6s00128vam3027.2540.00000.0031.60526013901401930
combgeo_3k_25_25_25ad9s00128vam3027.1500.00000.0031.5752401406001930
combgeo_3k_33_33ad5s00128vam3027.0980.00000.0031.48523013931401930
combgeo_3k_60_20ad6s00096vam3027.0980.00000.0041.9552301401601930
combgeo_3k_60_20ad6s00128vam3027.0980.00000.0041.8352301399801930
combgeo_10k_33_33ad6s00128vam3026.9950.00000.0031.52521013971201930
combgeo_2k_50_00a13s0e0096vam3026.9950.00000.0052.5052101409001930
combgeo_3k_20_20ad6s00128vam3026.9950.00000.0031.81521013921701930
combgeo_3k_00_50ad6s00128vam3026.8390.00000.0031.66518014011101930
combgeo_k200_3k_33_33ad8s00128vam3026.7880.00000.0041.82517013803301930
combmin_2k_20_20a13s00128vam3026.7880.00000.0031.6651701413001930
combavg_1k_33_33ad5s00096vam3026.4770.00000.0052.5551101411801930
combgeo_3k_20_20ad6s00064vam3026.3730.00000.0031.6250901420101930
combavg_1k_33_33ad5s00128vam3026.3210.00000.0031.72508014101201930
combgeo_3k_50_00ad6s00064vam3026.2690.10400.0031.7650721418301930
combgeo_1k_33_33ad5s00064vam3026.2180.00000.0041.8450601420401930
combgeo_3k_33_33ad5s00064vam3026.2180.00000.0031.6250601419501930
combgeo_3k_33_33ad5s00256vam3026.2180.00000.0031.65506014081601930
combmin_20_60ad4s00128vam3026.1660.00000.0031.6250501421401930
combgeo_3k_25_25_25ad9s00256vam3026.1140.00000.0031.5250401426001930
combgeo_1k_33_33ad5s00256vam3026.0620.00000.0031.51503014091801930
combgeo_3k_33_33ad6s00256vam3026.0620.00000.0031.55503014101701930
combgeo_3k_00_50ad6s00096vam3025.9590.00000.0031.5850101420901930
combgeo_3k_33_33ad6s00064vam3025.9590.00000.0031.5950101424501930
combgeo_3k_60_20ad6s00256vam3025.9590.00000.0031.7150101423601930
combgeo_10k_33_33ad6s00064vam3025.9070.00000.0031.6050001426401930
combgeo_2k_33_33a13s00256epar325.8550.00000.0042.0549901431001930
combgeo_2k_50_50a13s00064epar325.8553.26400.0042.32499631368001930
combgeo_3k_25_25_25ad9s00064vam3025.8550.00000.0031.5649901431001930
combgeo_3k_50_50ad6s00096vam3025.8550.00000.0031.6749901424701930
combgeo_k200_3k_33_33ad8s00256vam3025.8030.00000.0042.05498014072501930
combgeo_k200_3k_33_33ad8s00096vam3025.7510.00000.0031.56497014072601930
combhar_2k_k200_33_33a13s0e0256vam3025.7510.00000.0041.8049701433001930
combgeo_10k_33_33ad6s00256vam3025.6990.00000.0031.53496014181601930
combgeo_2k_33_33a13s00256vam3025.6990.00000.0041.8249601433101930
combhar_k200_3k_33_33ad8s00128vam3025.6480.00000.0031.56495014023301930
combgeo_3k_20_20ad6s00256vam3025.5960.00000.0031.44494014191701930
combavg_1k_33_33ad5s00256vam3025.5440.00000.0031.38493014201701930
combgeo_3k_20_60ad6s00128vam3025.5440.00000.0031.47493014271001930
combqua_k200_3k_33_33ad8s00128vam3025.5440.00000.0031.54493014033401930
combqua_k200_3k_33_33ad8s00256vam3025.5440.00000.0041.93493014181901930
combhar_k200_3k_33_33ad8s00256vam3025.4920.00000.0041.95492014191901930
combmin_20_20ad4s00128vam3025.4920.00010.0052.6049201432601930
combgeo_3k_50_00ad6s00256vam3025.4400.00000.0031.3749101430901930
combgeo_3k_50_50ad6s00128vam3025.3890.00000.0031.46490014301001930
combgeo_3k_20_60ad6s00096vam3025.2330.00000.0031.47487014331001930
combhar_k200_3k_33_33ad8s00096vam3025.2330.00000.0031.43487014172601930
combgeo_3k_50_50ad6s00256vam3025.1300.00000.0031.5348501436901930
combgeo_3k_00_50ad6s00256vam3025.0780.00000.0031.28484014252101930
combmin_20_20ad4s00256vam3025.0780.00000.0031.54484014361001930
combmin_33_33ads00256vam3025.0260.00000.0031.6048301439801930
combqua_k200_3k_33_33ad8s00096vam3025.0260.00000.0031.40483014212601930
combmin_20_60ad4s00256vam3024.9740.00010.0052.3648201440801930
combavg_1k_33_33ad5s00064vam3024.8190.00000.0031.5247901447401930
combmin_20_60ad4s00096vam3024.8190.00000.0041.7047901447401930
combmin_33_33ad4s00256vam3024.8190.00000.0031.3447901443801930
combavg_33_33ad5s00096vam3024.7150.00000.0031.4347701449401930
combgeo_3k_33_33bd5_128s00096vam3024.7150.00000.0031.6247701446701930
combgeo_3k_50_50ad6s00064vam3024.7150.00000.0031.5147701450301930
combgeo_3k_60_20ad6s00064vam3024.7150.15500.0031.4847731447301930
combgeo_3k_33_33bd5_128s00128vam3024.6630.00000.0041.8147601445901930
combavg_20_20ad5s00096vam3024.5600.00000.0031.4147401451501930
combgeo_2k_50_50a13s00064vam3024.5600.05200.0031.5647411455001930
combgeo_3k_20_60ad6s00064vam3024.5600.00000.0031.4947401453301930
combavg_60_20ad5s00128vam3024.5080.00000.0041.9047301452501930
combavg_60_20ad5s00096vam3024.4560.00000.0041.8747201454401930
combgeo_3k_25_25_25ad9s00512vam3024.4560.00000.0031.3847201458001930
combqua_k200_3k_33_33ad8s00512vam3024.4040.00000.0052.43471014382101930
combavg_33_33ad5s00128vam3024.3520.00000.0041.9247001454601930
combmax_k200_3k_33_33ad8s00256vam3024.3520.00000.0031.38470014194101930
combmin_33_33ad4s00128vam3024.3520.00000.0031.4647001453701930
combavg_20_60ad5s00096vam3024.3010.00000.0031.3946901456501930
combgeo_3k_20_60ad6s00256vam3024.2490.00000.0031.25468014461601930
combgeo_3k_33_33ad5s00512vam3024.2490.00000.0031.31468014283401930
combhar_k200_3k_33_33ad8s00512vam3024.2490.00000.0052.40468014412101930
combmin_20_20ad4s00096vam3024.2490.00000.0031.4046801455701930
combqua_2k_k200_33_33a13s0e0512epar324.2490.00000.0041.9146801462001930
combavg_20_20ad5s00128vam3024.1970.00000.0031.4146701456701930
combmax_k200_3k_33_33ad8s00128vam3024.1970.00010.0062.66467014243901930
combgeo_3k_33_33ad6s00512vam3024.1450.00000.0031.34466014303401930
combgeo_3k_33_33bd5_128s00256vam3024.0930.00000.0031.31465014511401930
combavg_1k_33_33ad5s00512vam3024.0410.00000.0031.24464014283801930
combgeo_3k_00_50ad6s00064vam3024.0410.00000.0031.3646401463301930
combgeo_3k_20_20ad6s00512vam3024.0410.00000.0031.24464014244201930
combgeo_3k_50_00ad6s00512vam3023.9900.00000.0031.50463014472001930
combavg_20_60ad5s00128vam3023.9380.00000.0031.3546201460801930
combgeo_3k_00_50ad6s00512vam3023.9380.00000.0031.20462014313701930
combgeo_3k_20_60ad6s00512vam3023.9380.00000.0031.21462014323601930
combgeo_k200_3k_33_33ad8s00512vam3023.8860.00000.0041.63461014422701930
combmax_k200_3k_33_33ad8s00096vam3023.8860.00000.0031.61461014412801930
combmin_60_20ad4s00256vam3023.8860.00000.0041.6246101463601930
combmin_33_33ads00128vam3023.8340.00000.0031.3746001463701930
combavg_33_33ad5s00064vam3023.7820.00000.0031.4245901469201930
combgeo_1k_33_33ad5s00512vam3023.7820.00000.0031.25459014413001930
combgeo_k200_3k_33_33ad8s00064vam3023.7310.15500.0031.46458314492001930
combavg_20_60ad5s00064vam3023.6270.05200.0031.3245611471201930
combgeo_10k_33_33ad6s00512vam3023.6270.00000.0031.22456014383601930
combavg_20_20ad5s00064vam3023.4720.00000.0031.3645301475201930
combgeo_3k_50_50ad6s00512vam3023.4720.00000.0031.42453014581901930
combgeo_3k_60_20ad6s00512vam3023.4720.00000.0041.6545301468901930
combhar_k200_3k_33_33ad8s00064vam3023.4720.10400.0031.32453214601501930
combgeo_2k_60_20a13s01024epar323.4200.00000.0041.7645201478001930
combqua_k200_3k_33_33ad8s00064vam3023.4200.10400.0031.31452214611501930
combmin_33_33ad4s00512vam3023.1610.00000.0031.50447014661701930
combmin_20_60ad4s00512vam3023.1090.00010.0052.44446014602401930
combavg_60_20ad5s00256vam3023.0570.00000.0031.14445014751001930
combgeo_3k_33_33bd5_128s00512vam3023.0570.00000.0031.33445014523301930
combavg_20_20ad5s00256vam3022.9530.00000.0031.14443014612601930
combavg_60_20ad5s00064vam3022.9530.05200.0031.2944311483301930
combmin_20_20ad4s00512vam3022.9530.00000.0031.42443014652201930
combmin_60_20ad4s00512vam3022.9530.00000.0041.60443014771001930
combqua_2k_k200_33_33a13s0e0512vam3022.9020.00000.0041.6544201488001930
combgeo_3k_33_33bd5_128s00064vam3022.7980.00000.0041.9144001488201930
combavg_33_33ad5s00256vam3022.7460.00000.0031.43439014791201930
combgeo_2k_60_20a13s01024vam3022.3830.00000.0041.5843201498001930
combgeo_3k_60_20ad6s01024vam3022.3830.00000.0041.75432014653301930
combmin_33_33ads00512vam3022.3320.00000.0031.48431014821701930
combmin_2k_60_20a13s01024epar322.2280.00000.0041.5742901501001930
combmax_k200_3k_33_33ad8s00512vam3022.0730.00000.0031.14426014634101930
combavg_20_60ad5s00256vam3021.8130.00000.0021.02421014812801930
combmin_2k_60_20a13s01024vam3021.8130.00000.0031.3642101509001930
combmax_k200_3k_33_33ad8s00064vam3021.6580.00000.0031.10418014902201930
combgeo_3k_50_00ad6s01024vam3021.5030.00000.0041.63415014684701930
combgeo_1k_33_33ad5s01024vam3021.2950.00000.0031.41411014665301930
combgeo_3k_50_50ad6s01024vam3021.2950.00000.0031.28411014754401930
combavg_1k_33_33ad5s01024vam3021.1920.00000.0041.68409014645701930
combavg_60_20ad5s00512vam3021.1920.00000.0041.78409014853601930
combgeo_2k_60_20a13s00032epar321.14016.52800.0021.704083191203001930
combgeo_3k_25_25_25ad9s01024vam3021.1400.00000.0031.2440801522001930
combgeo_k200_3k_33_33ad8s01024vam3021.0880.00000.0041.58407014596401930
combmin_60_20ad4s01024vam3021.0880.00000.0031.11407015051801930
combgeo_2k_50_00a13s0e0096z3_4020.9840.00000.0062.3040500152501930
combgeo_3k_20_60ad6s01024vam3020.9840.00000.0031.15405014507501930
combgeo_3k_33_33ad6s01024vam3020.9840.00000.0031.19405014566901930
combqua_k200_3k_33_33ad8s01024vam3020.9840.00000.0041.49405014616401930
combgeo_10k_33_33ad6s01024vam3020.8810.00000.0031.11403014557201930
combmin_33_33ad4s00096vam3020.8810.00000.0031.0740301523401930
combgeo_3k_33_33ad5s01024vam3020.8290.00000.0031.17402014616701930
combmin_33_33ads00096vam3020.8290.00000.0031.1240201524401930
combgeo_1k_33_33ad5s00032vam3020.7770.98400.0031.12401191510001930
combgeo_3k_33_33bd6_2048s00512vam3020.7770.00000.0031.31401015171201930
combhar_k200_3k_33_33ad8s01024vam3020.7770.00000.0041.57401014656401930
combavg_20_20ad5s00512vam3020.6740.00000.0031.03399014557601930
combmin_33_33ad4s01024vam3020.6740.00010.0052.05399014933801930
combgeo_2k_60_20a13s00032vam3020.6220.82900.0041.52398161516001930
combgeo_3k_25_25_25ad9s00032vam3020.6221.19210.0052.11398231509001930
combmin_33_33ads01024vam3020.5700.00000.0041.54397014953801930
combgeo_3k_20_20ad6s01024vam3020.5180.00000.0031.13396014557901930
combgeo_3k_33_33ad5s00032vam3020.4660.93300.0031.04395181517001930
combgeo_3k_33_33ad6s00032vam3020.4660.93300.0031.04395181517001930
combgeo_3k_60_20ad6s00032vam3020.4660.77700.0031.33395151520001930
combgeo_3k_00_50ad6s01024vam3020.3630.00000.0031.09393014597801930
combgeo_3k_50_00ad6s00032vam3020.3630.77700.0041.44393151522001930
combgeo_10k_33_33ad6s00032vam3020.3110.93300.0031.04392181520001930
combmin_20_20ad4s01024vam3020.3110.00000.0031.05392014894901930
combmin_2k_20_20a13s00128z3_4020.3110.00000.0052.0939200153801930
combavg_33_33ad5s00512vam3020.2590.00000.0041.38391014736601930
combgeo_2k_33_33a13s01536epar320.2590.00000.0031.3339101539001930
combmin_20_60ad4s01024vam3020.2590.00000.0041.51391014825701930
combgeo_3k_20_20ad6s00032vam3020.2070.98400.0031.20390191520101930
combgeo_3k_33_33bd5_128s01024vam3020.2070.00000.0031.10390014736701930
combgeo_10k_33_33bd6_2048s00512vam3020.1040.00000.0031.06388015291301930
combavg_20_60ad5s00512vam3020.0520.00000.0020.88387014667701930
combavg_60_20ad5s01024vam3020.0520.00000.0031.263870143610701930
combavg_60_20ad5s00032vam3020.0000.82900.0031.30386161528001930
combavg_60_20ad5s01024epar019.9480.05200.0041.3838511544001930
combgeo_3k_50_50ad6s00032vam3019.9481.19200.0031.08385231522001930
combgeo_3k_33_33bd6_2048s00256vam3019.8960.00000.0031.1838401543301930
combavg_1k_33_33ad5s00032vam3019.8450.72500.0031.08383141532101930
combmin_60_20ad4s00128vam3019.7930.00000.0031.0338201544401930
combmax_k200_3k_33_33ad8s01024vam3019.7410.00000.0030.98381014737601930
combavg_20_20ad5s00032vam3019.6370.93300.0031.18379181533001930
combgeo_10k_33_33bd6_2048s00256vam3019.6370.00000.0041.3837901548301930
combgeo_3k_20_60ad6s00032vam3019.6371.24400.0021.01379241526101930
combavg_33_33ad5s00032vam3019.5850.98400.0031.07378191533001930
combgeo_2k_50_50a13s00064z3_4019.5850.00020.0103.9337800155201930
combmin_20_60ad4s00064vam3019.5850.15500.0031.0537831546301930
combavg_33_33ad5s01024epar019.4300.05200.0031.0537511554001930
combgeo_2k_33_33a13s01536vam3019.4300.00000.0041.3737501555001930
combmin_60_20ad4s00096vam3019.4300.00000.0020.8737501553201930
combmin_20_20ad4s00064vam3019.2750.00000.0020.9037201557101930
combavg_20_60ad5s00032vam3019.2230.98400.0031.01371191540001930
combavg_20_60ad5s01024epar019.1710.20700.0031.0037041556001930
combmin_33_33ad4s00064vam3019.1710.00000.0031.1137001556401930
combgeo_3k_33_33bd6_2048s01546vam3019.0670.00000.0041.30368015164601930
combgeo_10k_33_33bd6_2048s01024vam3019.0160.00000.0030.93367015144901930
combgeo_3k_33_33bd6_2048s02048vam3019.0160.00000.0041.29367015174601930
combgeo_3k_33_33bd6_2048s01024vam3018.9640.00000.0041.29366015184601930
combgeo_3k_60_20ad6s01024epar018.9120.00000.0041.3636501565001930
combmin_33_33ads00064vam3018.8080.00000.0031.1436301563401930
combavg_20_20ad5s01024epar018.7560.15500.0030.9536231565001930
combavg_20_20ad5s01024vam3018.7560.00000.0020.823620140616201930
combavg_33_33ad5s01024vam3018.7560.00000.0030.923620138718101930
combgeo_3k_20_20ad6s01024epar018.6530.00000.0030.9836001570001930
combgeo_3k_33_33ad5s01024epar018.6530.00000.0030.9836001570001930
combgeo_k200_3k_33_33ad8s00032vam3018.6531.24400.0020.91360241542401930
combgeo_1k_33_33ad5s01024epar018.6010.00000.0030.9835901571001930
combgeo_1k_33_33ad5s00032z3_4018.5490.00000.0031.0935800157201930
combgeo_3k_33_33ad5s00032z3_4018.5490.00000.0031.1335800157201930
combgeo_3k_33_33ad6s01024epar018.5490.00000.0030.9835801572001930
combgeo_3k_33_33ad6s00032z3_4018.4970.00000.0031.1335700157301930
combavg_20_60ad5s01024vam3018.4460.00000.0020.813560141216201930
combgeo_10k_33_33ad6s01024epar018.4460.00000.0031.0235601574001930
combgeo_3k_20_60ad6s01024epar018.4460.00000.0030.9135601574001930
combgeo_3k_50_00ad6s01024epar018.4460.00000.0031.1735601574001930
combgeo_10k_33_33ad6s00032z3_4018.3940.00000.0031.1235500157501930
combgeo_3k_50_50ad6s01024epar018.3420.00000.0030.9635401576001930
combavg_1k_33_33ad5s01024epar018.2900.00000.0031.0535301577001930
combgeo_3k_60_20ad6s00032z3_4018.2900.00000.0041.3535300157701930
combgeo_3k_00_50ad6s01024epar018.1870.00000.0020.8635101579001930
combgeo_3k_20_20ad6s00032z3_4018.1350.00000.0041.2635000158001930
combgeo_3k_00_50ad6s00032vam3018.0831.76200.0020.89349341547001930
combgeo_2k_60_20a13s00032z3_4017.9790.00010.0072.4834700158301930
combhar_k200_3k_33_33ad8s00032vam3017.9791.03600.0020.86347201560301930
combqua_k200_3k_33_33ad8s00032vam3017.9791.03600.0020.86347201560301930
combgeo_3k_33_33bd5_128s01024epar017.9270.00000.0030.9334601584001930
combgeo_3k_50_00ad6s00032z3_4017.7200.00000.0041.2434200158801930
combavg_1k_33_33ad5s00032z3_4017.6680.00000.0041.2834100158901930
combmin_33_33ad4s01024epar017.5650.00000.0030.9433901591001930
combgeo_10k_33_33ad6s01546vam3017.5130.00000.0030.983380148910301930
combmin_20_20ad4s01024epar017.5130.00000.0030.9733801592001930
combmin_33_33ads01024epar017.5130.00000.0030.9033801592001930
combavg_60_20ad5s00032z3_4017.4610.00000.0041.3933700159301930
combmin_60_20ad4s01024epar017.4610.00000.0051.5333701593001930
combavg_33_33ad5s00032z3_4017.4090.00000.0041.2533600159401930
combgeo_3k_33_33ad6s01546vam3017.3580.00000.0051.51335015049101930
combavg_20_20ad5s00032z3_4017.3060.00000.0031.0433400159601930
combmax_k200_3k_33_33ad8s00032vam3017.3060.93300.0020.77334181573501930
combmin_20_60ad4s01024epar017.2540.00000.0030.8633301597001930
combavg_20_60ad5s00032z3_4017.2020.00000.0031.0133200159801930
combgeo_3k_20_60ad6s00032z3_4017.2020.00000.0051.5733200159801930
combmin_60_20ad4s00064vam3017.2020.00000.0031.1633201597101930
combgeo_3k_50_50ad6s00032z3_4017.0980.00000.0041.1833000160001930
combgeo_3k_33_33bd5_128s00032vam3016.5281.08800.0020.75319211590001930
combgeo_3k_33_33bd6_2048s00128vam3016.4250.05200.0020.6731711611101930
combgeo_3k_33_33bd6_2048s01024epar016.3210.00000.0030.8031501615001930
combgeo_10k_33_33bd6_2048s00128vam3016.2690.05200.0020.6531411614101930
combgeo_10k_33_33bd6_2048s01024epar016.1140.00000.0030.7831101619001930
combgeo_10k_33_33ad6s02048vam3016.0620.00000.0031.003100148913101930
combgeo_3k_33_33ad6s02048vam3015.9070.00000.0051.453070151510801930
combmin_20_60ad4s00032vam3015.8031.50300.0020.61305291596001930
combgeo_10k_33_33bd6_2048s01546vam3015.7510.00000.0030.88304015477901930
combgeo_3k_00_50ad6s00032z3_4015.6480.00000.0020.7330200162801930
combmin_20_20ad4s00032vam3015.5961.08800.0020.62301211608001930
combgeo_3k_33_33bd6_2048s00096vam3015.3890.05200.0020.5829711631101930
combgeo_10k_33_33bd6_2048s00096vam3015.3370.10400.0020.5829621631101930
combgeo_10k_33_33bd6_2048s02048vam3015.2850.00000.0030.962950152411101930
combgeo_3k_33_33bd5_128s00032z3_4014.8190.00010.0061.8028600164401930
combhar_2k_k200_33_33a13s0e0256z3_4014.8190.00000.0051.5728600164401930
combmin_33_33ad4s00032vam3014.7670.72500.0020.55285141631001930
combmin_33_33ads00032vam3014.7150.62200.0041.07284121634001930
combgeo_2k_33_33a13s00256z3_4014.6110.00000.0061.6428200164801930
combmin_20_60ad4s00032z3_4014.4560.00000.0020.6127900165101930
combgeo_3k_33_33bd6_2048s00064vam3014.3010.20700.0020.5127641648201930
combgeo_10k_33_33bd6_2048s00064vam3014.2490.25900.0020.5227551647301930
combmin_20_20ad4s00032z3_4013.4720.00000.0020.5526000167001930
combmin_33_33ad4s00032z3_4013.4720.00000.0020.5526000167001930
combmin_33_33ads00032z3_4013.3160.00000.0020.5625700167301930
combgeo_3k_33_33bd6_2048s00032vam3013.0052.90200.0020.48251561619401930
combgeo_10k_33_33bd6_2048s00032vam3012.7982.79800.0020.46247541624501930
combgeo_10k_33_33bd6_2048s00032z3_4011.5030.00000.0020.3922200170801930
combgeo_3k_33_33bd6_2048s00032z3_4011.5030.00000.0020.3922200170801930
combmin_60_20ad4s00032vam3011.3470.62210.0061.49219121699001930
combmin_60_20ad4s00032z3_4010.3110.00000.0051.0619900173101930
combqua_2k_k200_33_33a13s0e0512z3_409.5850.00000.0050.9118500174501930
combmin_2k_60_20a13s01024z3_406.3730.00000.0030.3312300180701930
combgeo_2k_60_20a13s01024z3_406.2180.00000.0030.3812000181001930
combgeo_2k_33_33a13s01536z3_404.1970.00000.0030.238100184901930
geo1_90ad6s00096vam3026.4250.05200.0042.0351011410901930
geo1_99ad6s00096vam3026.4250.00000.0041.87510014101001930
geo1_90ad6s00128vam3026.1660.00000.0041.78505014131201930
geo1_99ad6s00128vam3026.1660.00000.0041.79505014131201930
geo1_66ad6s00096vam3025.5440.15500.0031.7449331427701930
geo1_99ad6s00064vam3025.1300.05200.0031.6848511435901930
geo1_90ad6s00064vam3025.0260.20700.0041.9048341437601930
geor_90ad6s00096vam3024.8700.00000.0052.32480014391101930
geo1_99ad6s00256vam3024.8190.00000.0031.44479014391201930
geo1_90ad6s00256vam3024.7670.00000.0031.53478014411101930
geo1_66ad6s00128vam3024.7150.10400.0031.41477214391201930
geor_66ad6s00256vam3024.7150.00000.0041.81477014411201930
geo1_66ad6s00256vam3024.6630.00000.0031.38476014411301930
geor_66ad6s00096vam3024.6630.15510.0062.9647631444701930
geor_66ad6s00128vam3024.6630.10400.0031.60476214391301930
geor_90a13s0e0256epar324.6110.05200.0042.1047511454001930
geor_90ad6s00128vam3024.0930.00000.0031.57465014541101930
geor_50ad6s00256vam3023.9380.00000.0031.39462014581001930
geor_50ad6s00128vam3023.4720.20700.0031.45453414621101930
geor_90a13s0e0256vam3023.4720.00000.0031.4445301477001930
geor_90ad6s00256vam3023.3680.00000.0031.5745101471801930
geor_90ad6s00064vam3022.9530.10400.0041.9444321479601930
geo1_90ad6s00512vam3022.9020.00000.0031.30442014731501930
geo1_99ad6s00512vam3022.7980.00000.0031.30440014731701930
geor_50ad6s00096vam3022.5910.62210.0052.34436121473901930
geor_99ad6s00128vam3022.5910.00000.0031.4543601488601930
geo1_66ad6s00064vam3022.5390.51800.0031.55435101482301930
geo1_66ad6s00512vam3022.4350.00000.0031.31433014791801930
geo1_33ad6s00256vam3022.3320.00000.0041.5843101491801930
geor_99ad6s00096vam3022.3320.00000.0041.5943101492701930
geor_66ad6s00064vam3022.1760.77700.0031.43428151484301930
geor_66ad6s00512vam3022.1240.00000.0031.33427014871601930
geor_90ad6s00512vam3022.1240.00010.0062.35427014931001930
geor_99a13s0e0064vam3021.8130.10400.0062.6842121507001930
geor_99ad6s00512vam3021.7100.00000.0031.22419015011001930
geor_99ad6s00256vam3021.4510.00000.0021.0141401513301930
geor_50ad6s00512vam3021.3990.00000.0031.28413014981901930
geor_99a13s0e0064epar321.2952.64200.0052.23411511468001930
geo1_33ad6s00512vam3021.1400.00000.0041.49408015002201930
geor_99ad6s00064vam3021.0880.10410.0083.1440721515601930
geo1_33ad6s00128vam3020.2070.25900.0031.0939051528701930
geor_50ad6s00064vam3020.1551.19200.0031.33389231516201930
geo1_33ad6s00096vam3019.4300.57000.0031.01375111538601930
geor_99ad6s01024vam3019.4300.00000.0031.29375015332201930
geor_90ad6s01024vam3019.3780.00000.0041.34374015342201930
geo1_90ad6s00032vam3019.3261.34700.0031.23373261530101930
geo1_99ad6s00032vam3019.2751.14000.0041.53372221535101930
geo1_99ad6s01024vam3019.0670.00000.0041.47368015303201930
geo1_90ad6s01024vam3018.7050.00000.0031.25361015363301930
geor_90ad6s00032vam3018.7051.08800.0051.85361211547101930
geor_66ad6s01024vam3018.6010.00000.0041.28359015393201930
geo1_66ad6s01024vam3018.5490.00000.0041.53358015403201930
geo1_90ad6s01024epar017.9270.00000.0031.1434601584001930
geor_50ad6s01024vam3017.9270.00000.0031.02346015493501930
geo1_33ad6s01024vam3017.8760.00000.0031.17345015483701930
geo1_66ad6s01024epar017.7720.00000.0031.1334301587001930
geor_50ad6s01024epar017.6170.00000.0030.9734001590001930
geo1_33ad6s01024epar017.5650.00000.0031.1133901591001930
geor_66ad6s01024epar017.5650.00000.0041.1933901591001930
geo1_99ad6s01024epar017.5130.00000.0031.0033801592001930
geor_99ad6s00032vam3017.2020.62200.0051.85332121585101930
geor_66ad6s00032vam3017.1502.74600.0031.24331531545101930
geo1_33ad6s00064vam3017.0471.34700.0030.90329261573201930
geo1_66ad6s00032vam3017.0472.69400.0031.25329521549001930
geo1_90ad6s00032z3_4017.0470.00000.0051.6532900160101930
geor_99a13s0e0064z3_4016.8910.00000.0072.2332600160401930
geor_99ad6s01024epar016.6320.00000.0030.9132101609001930
geo1_99ad6s00032z3_4016.5280.00000.0051.5331900161101930
geor_90ad6s01024epar016.3210.00000.0020.7231501615001930
geor_90ad6s00032z3_4016.2180.00000.0051.5031300161701930
geor_66ad6s00032z3_4015.5960.00010.0072.1230100162901930
geo1_66ad6s00032z3_4015.3370.00000.0031.0229600163401930
geor_50ad6s00032vam3014.9743.83400.0020.85289741567001930
geor_99ad6s00032z3_4014.6110.00000.0041.2528200164801930
geor_90a13s0e0256z3_4014.4040.00000.0071.8427800165201930
geor_50ad6s00032z3_4013.3160.00000.0030.7125700167301930
geo1_33ad6s00032vam3012.8504.92200.0020.53248951586101930
geo1_33ad6s00032z3_4011.5540.00000.0020.4722300170701930
knnis040ads00128vam3027.3580.05200.0042.0052811399201930
knnis_40a13s0e0096epar327.3580.31100.0052.8852861396001930
knnis040ads01024vam3027.2540.05200.0041.9152611401201930
knnis040ads00096vam3026.8910.05200.0052.3851911408201930
knnis040ads01024epar026.8393.73110.0063.77518721340001930
knn040ads00256vam3026.7880.10400.0031.7951721409201930
knn080ads00512vam3026.7880.00000.0031.6751701408501930
knn080ads00256vam3026.7360.00000.0031.6751601409501930
knn040ads00128vam3026.6320.10400.0031.8051421412201930
knn080adsd0256vam3026.4250.00000.0031.5051001415501930
knn040ads00096vam3026.3210.10400.0042.2450821418201930
knn080adsd0512vam3026.2690.00010.0052.4450701418501930
knnis_40a13s0e0096vam3026.2180.00010.0052.6650601424001930
knn080ads00128vam3025.8030.00000.0031.6849801427501930
knn080adsd0128vam3025.3370.00000.0031.6048901435601930
knn080mdsd0256vam3025.3370.00000.0031.6048901438301930
knn080mds00128vam3025.2850.00000.0031.6048801437501930
knn080mds00256vam3025.2330.00000.0041.7348701438501930
knn080mdsd0512vam3024.0930.00000.0031.4846501462301930
knn080mdsd0128vam3024.0410.00010.0052.3746401463301930
knn200adsd0512vam3023.9900.00000.0041.81463014561101930
knn200adsd1024vam3023.9900.00000.0041.81463014561101930
knnis040ads00064vam3023.9380.00000.0031.4646201467101930
knn080mds00512vam3023.8860.00000.0041.6546101464501930
knn200ads01024vam3023.8340.00000.0031.53460014591101930
knn080mdsd1024vam3023.7820.00000.0062.6745901467401930
knn200ads00512vam3023.7820.00000.0031.53459014601101930
knnis200adsde0256vam3023.7820.00000.0031.5745901471001930
knn080mds01024vam3023.6270.00000.0052.1245601467701930
knn200mds00512vam3023.3680.00000.0041.78451014681101930
knn040ads00064vam3023.2640.05200.0031.3944911478201930
knn200ads00256vam3023.2640.00000.0031.28449014711001930
knn200adsd0256vam3023.2640.00000.0031.4944901473801930
knnis40bd5_128s00096vam3023.2640.00000.0041.8044901476501930
knn080hds01024vam3023.1090.00000.0041.8444601479501930
knnis40bd5_128s00128vam3022.9530.00000.0041.67443014771001930
knn600mds00256vam3022.8500.00000.0031.1544101482701930
knn200mdsd0512vam3022.7980.00000.0041.65440014801001930
knn080hdsd1024vam3022.5910.00000.0031.4243601490401930
knn600mds00128vam3022.4870.00000.0031.4143401493301930
knn600ads00128vam3022.4350.00000.0041.5743301493401930
knn200mds01024vam3022.3830.00010.0073.11432014871101930
knn080hds00512vam3022.3320.00000.0041.6543101495401930
knn600adsd0128vam3022.3320.10400.0031.2043121495201930
knn200mds00256vam3022.2800.00000.0021.05430014901001930
knn600mdsd0256vam3022.2800.00000.0031.1443001493701930
knn600adsd0256vam3022.1760.00000.0031.1242801494801930
knnis40bd5_128s00256vam3022.1760.00000.0041.64428014861601930
knn080mds00096vam3022.0730.05200.0031.1942611499401930
knn600ads00256vam3022.0730.00000.0031.12426014931101930
knn200mdsd1024vam3022.0210.00000.0041.79425014941101930
knn600mdsd0128vam3022.0210.00000.0031.2642501504101930
knn080ads00096vam3021.9690.05200.0031.3042411500501930
knn200mdsd0256vam3021.9170.00000.0031.1342301499801930
knnis200adsde0512vam3021.5030.00000.0031.0641501515001930
knn080mdsd0096vam3021.4510.10410.0052.1141421512201930
knn200hdsd1024vam3021.4510.00000.0041.8041401508801930
knn200mds00096vam3021.4510.05200.0031.1141411512301930
knn600ads00096vam3021.4510.05200.0031.1141411513201930
knn080adsd0096vam3021.1920.20700.0031.0840941513401930
knn200mds00128vam3021.1920.05200.0020.9940911514601930
knnis_40a13s0e0096z3_4021.1920.00000.0062.2840900152101930
knnis_80m13sde1024vam3021.1920.00000.0041.5740901521001930
knn200adsd1024epar021.1400.05200.0041.7640811521001930
knn200hds01024vam3021.1400.00000.0041.71408015121001930
knn200mdsd0128vam3021.1400.10400.0031.0340821515501930
knnis40bd5_128s00064vam3021.1400.05200.0041.6440811518301930
knn080hdsd0512vam3021.0880.00000.0031.3540701521201930
knn600mds00096vam3021.0880.05200.0031.1040711521101930
knn600mds00512vam3021.0880.00000.0031.21407015051801930
knn080mds01024epar020.9840.00000.0062.5040501525001930
knn200mdsd0096vam3020.9840.20700.0031.1440541519201930
knn080mdsd1024epar020.9330.00000.0062.2640401526001930
knn600adsd0096vam3020.9330.15500.0031.1240431522101930
knnis200adsde0128vam3020.9330.05200.0020.9840411525001930
knn200adsd0128vam3020.8290.05200.0020.9640211522501930
knn080hds00256vam3020.7770.00000.0031.0440101525401930
knn200ads00096vam3020.7770.20700.0021.0040141520501930
knnis_80m13sde1024epar320.7770.00000.0051.9840101529001930
knn200ads01024epar020.7250.05200.0041.5240011529001930
knn200ads00128vam3020.6220.05200.0020.9339811526501930
knn200adsd0096vam3020.6220.31100.0031.2939861523301930
knn600adsd0512vam3020.4660.00000.0031.02395015181701930
knn080hdsd1024epar020.4150.00000.0041.6139401536001930
knn200mds00064vam3020.4150.31100.0031.3839461529101930
knn600ads00512vam3020.4150.00000.0031.08394015142201930
knnis200adsde0096vam3020.4150.15500.0031.0639431533001930
knnis40bd5_128s00512vam3020.4150.00000.0031.02394014964001930
knn200hdsd0512vam3020.3630.00000.0041.3939301529801930
knn600mdsd0096vam3020.3630.05200.0031.1139311535101930
knnis_200a13sde1024vam3020.3630.00000.0041.4539301537001930
knn080hds01024epar020.3110.00000.0041.6039201538001930
knn600mdsd0512vam3020.3110.00000.0031.03392015221601930
knn200hds00512vam3020.2590.00000.0031.09391015291001930
knn080hdsd0256vam3020.2070.00000.0031.1339001538201930
knnis_200a13sde0064epar320.05213.62700.0021.303872631280001930
knn600hds00256vam3019.7930.00000.0020.9138201540801930
knnis_200a13sde0064vam3019.7410.51800.0031.18381101539001930
knn200ads00064vam3019.6890.41500.0031.0238081540201930
knn200mdsd0064vam3019.6890.46600.0031.1138091540101930
knn600hdsd0256vam3019.6890.00010.0051.9338001542801930
knnis200adsde1024vam3019.6370.00000.0041.4137901551001930
knnis_200a13sde1024epar319.5340.00000.0031.1837701553001930
knn600adsd1024vam3019.4820.00000.0041.46376015332101930
knn200adsd0064vam3019.4300.62200.0041.52375121542101930
knn600mdsd1024vam3019.3780.00000.0051.75374015362001930
knn600ads01024vam3019.3260.00000.0041.34373015292801930
knn600hds00512vam3019.1190.00000.0030.92369015441701930
knn600mds01024vam3019.0670.00000.0031.29368015342801930
knnis200adsde0064vam3019.0670.62200.0030.96368121550001930
knn600ads00064vam3018.8600.20710.0051.8936441562001930
knn600hdsd0512vam3018.7560.00000.0020.83362015531501930
knn200mds01024epar018.7050.00000.0041.4736101569001930
knn080mds00064vam3018.6010.88100.0020.80359171552201930
knn200mdsd1024epar018.5490.00000.0031.0035801572001930
knn600hds00128vam3018.4460.00000.0030.9035601569501930
knn200hdsd0256vam3018.3940.00000.0020.7835501567801930
knn080mdsd0064vam3018.3421.08800.0020.86354211554101930
knn600hdsd1024vam3018.3420.00000.0051.75354015571901930
knn600adsd0064vam3018.2900.46600.0030.9135391566201930
knn600hds01024vam3018.2900.00000.0031.00353015502701930
knn080ads00064vam3018.1871.19200.0020.83351231554201930
knn080adsd0064vam3018.1871.39900.0020.88351271551101930
knn600adsd1024epar018.1870.00000.0031.0535101579001930
knn200hds01024epar017.9790.00000.0031.0234701583001930
knn200hdsd1024epar017.9790.00000.0031.0534701583001930
knn200hds00256vam3017.7200.00000.0020.71342015771101930
knn600ads01024epar017.6170.00000.0041.2634001590001930
knn600hdsd0128vam3017.5130.00000.0020.7733801589301930
knn600mds00064vam3017.4090.10400.0030.9233621592001930
knn200hds00128vam3017.0980.20710.0061.8433041589701930
knn600mds01024epar017.0980.00000.0030.9133001600001930
knn600mdsd0064vam3017.0470.20700.0031.0432941596101930
knn600mdsd1024epar017.0470.00000.0030.8832901601001930
knn600hdsd1024epar016.9950.00000.0030.8632801602001930
knnis40bd5_128s01024vam3016.9950.00000.0020.71328015247801930
knn200hdsd0128vam3016.7360.15500.0020.7732331599501930
knn080hds00128vam3016.5280.00000.0020.6531901607401930
knn200hds00096vam3016.4770.46600.0020.6031891598501930
knn200nds00512vam3016.4770.31100.0020.74318615961001930
knn600hds01024epar016.4770.00000.0020.6431801612001930
knn200nds00256vam3016.3730.31100.0020.73316615971101930
knn200nds01024vam3016.3730.31100.0020.73316615971101930
knnis_200a13sde0064z3_4016.2180.00000.0031.0631300161701930
knn200hdsd0096vam3016.1140.36300.0020.6331171608401930
knn600hds00096vam3016.1140.00000.0020.7031101615401930
knn200ndsd0512vam3016.0620.00000.0020.6031001612801930
knn200ndsd1024vam3016.0100.00000.0020.6030901613801930
knn080hdsd0128vam3015.9590.00000.0020.5630801620201930
knn200ndsd0256vam3015.9590.00000.0020.5930801614801930
knnis40bd5_128s01024epar015.9590.00000.0020.6830801622001930
knn080ads00032vam3015.9072.38300.0031.01307461577001930
knn200hds00064vam3015.7510.67400.0020.63304131612101930
knn200nds00128vam3015.7510.46600.0020.7030491611601930
knn080mds00032vam3015.6992.28000.0020.68303441583001930
knn200ndsd0128vam3015.5440.41500.0020.6130081617501930
knn080adsd0032vam3015.4923.78200.0020.89299731557101930
knn080hds00096vam3015.4400.00000.0020.5829801628401930
knn080hdsd0096vam3015.3890.05200.0020.5829711630201930
knn600hdsd0096vam3015.3890.00000.0020.6529701632101930
knnis040ads00032vam3015.3893.00500.0020.71297581575001930
knn080mdsd0032vam3015.3373.16100.0031.06296611572101930
knn200mds00032vam3015.0781.91700.0020.60291371602001930
knn040ads00032vam3015.0263.16100.0020.65290611579001930
knn200ads00032vam3014.9742.02100.0020.58289391602001930
knn080hds00064vam3014.7671.60600.0020.55285311612201930
knn200nds00096vam3014.7670.93300.0020.59285181622501930
knn200nds01024epar014.7153.21200.0031.04284621584001930
knn200hdsd0064vam3014.6110.88100.0020.58282171630101930
knn200ndsd0096vam3014.4560.88100.0020.56279171629501930
knn200ndsd1024epar014.3523.10900.0020.64277601593001930
knn080hdsd0064vam3014.3012.12400.0020.52276411612101930
knn200mdsd0032vam3014.3012.43500.0020.57276471606101930
knnis200adsde0032vam3014.2492.69400.0020.60275521603001930
knn200adsd0032vam3014.1972.64200.0020.66274511604101930
knn080ads00032z3_4014.0410.00000.0030.7827100165901930
knn080mds00032z3_4013.9900.00000.0020.6327000166001930
knn200nds00064vam3013.9381.86500.0020.53269361623201930
knnis040ads00032z3_4013.8860.00000.0020.6126800166201930
knn080adsd0032z3_4013.8340.00000.0020.6326700166301930
knn080mdsd0032z3_4013.6270.00000.0020.6226300166701930
knn200ndsd0064vam3013.6272.28000.0020.51263441622101930
knn200mds00032z3_4013.3680.00000.0030.7825800167201930
knn600hds00064vam3013.3160.05200.0030.7025711671101930
knn600ads00032vam3013.2641.19200.0020.55256231651001930
knn200ads00032z3_4013.2120.00000.0020.5225500167501930
knn040ads00032z3_4013.1610.00000.0020.5825400167601930
knnis_40b13s0e0064epar312.7460.00000.0020.4524601684001930
knnis_40b13s0e0064vam3012.7460.00000.0020.4524601683101930
knn200adsd0032z3_4012.6420.00000.0020.5924400168601930
knn600adsd0032vam3012.4872.22800.0020.49241431646001930
knn200mdsd0032z3_4012.4350.00000.0020.5524000169001930
knn600hdsd0064vam3012.4350.10400.0020.5024021687101930
knnis40bd5_128s00032vam3012.4354.45600.0010.45240861604001930
knn600mds00032vam3012.3320.82900.0020.52238161676001930
knn080hds00032vam3012.0733.73100.0020.47233721624101930
knn080hdsd0032vam3012.0214.40400.0010.46232851612101930
knn200hds00032vam3012.0212.69400.0020.44232521644201930
knn600ads00032z3_4012.0210.00000.0020.5123200169801930
knn200nds00032vam3011.9174.71500.0020.48230911609001930
knn600mdsd0032vam3011.6061.60600.0020.52224311675001930
knnis40bd5_128s00032z3_4011.5030.00000.0040.9522200170801930
knnis_40b13s0e0064z3_4011.2950.00000.0020.4221800171201930
knn600adsd0032z3_4011.2440.00000.0020.4221700171301930
knn200ndsd0032vam3011.1405.69900.0010.422151101604101930
knn600mds00032z3_4011.1400.00000.0020.5121500171501930
knn200hdsd0032vam3011.0362.85000.0010.37213551661101930
knn200hds00032z3_4010.9330.00000.0040.8821100171901930
knn080hds00032z3_4010.8290.00000.0020.4220900172101930
knn080hdsd0032z3_4010.6740.00000.0020.4420600172401930
knn200nds00032z3_4010.5700.00000.0020.4020400172601930
knn600mdsd0032z3_4010.5180.00000.0020.4420300172701930
knn200hdsd0032z3_4010.0000.00000.0020.3519300173701930
knn200ndsd0032z3_4010.0000.00000.0020.3619300173701930
knn600hds00032vam307.9271.50300.0010.271532917341401930
knn600hds00032z3_407.3060.00000.0020.2414100178901930
knn600hdsd0032vam307.1501.45100.0010.231382817451901930
knn600hdsd0032z3_406.4250.00000.0020.2012400180601930
knnis_200a13sde1024z3_405.6990.00000.0020.2611000182001930
knnis_80m13sde1024z3_404.8700.00000.0030.249400183601930
lsi3200ti_8_80a13s00128epar327.8240.15500.0052.5053731390001930
lsi3200ti_8_80a13s00128vam3026.2690.00000.0041.8150701423001930
lsi6400_8_120ads00256vam3024.7670.00000.0031.3547801444801930
lsi3200ti_8_120ads00256vam3024.7150.00000.0041.7147701444901930
lsi3200_6_120ads00256vam3024.1970.00000.0031.2946701455801930
lsi3200_8_120ads00256vam3024.0930.00000.0031.2946501457801930
lsi3200_7_80ads00256vam3023.8860.00000.0031.38461014591001930
lsi3200_1_40ads00096vam3023.7310.00000.0031.4145801467501930
lsi3200_1_40ads00128vam3023.5750.00000.0041.6845501468701930
lsi3200_7_80ads00128vam3023.4720.00000.0031.4145301473401930
lsi3200_5_200ads00256vam3023.2120.00000.0031.2844801473901930
lsi800_1_80ads00256vam3022.6940.00000.0031.2143801483901930
lsi3200_1_40ads00256vam3022.6420.00000.0031.17437014811201930
lsi3200_5_200ads00512vam3022.6420.00000.0031.47437014682501930
lsi800ti_1_40ads00128vam3022.5910.00010.0062.5343601487701930
lsi3200ti_8_120ads00512vam3022.4870.00000.0041.52434014643201930
lsi800ti_1_40ads00096vam3022.3320.00000.0051.9943101495401930
lsi3200_8_120ads00512vam3022.0210.00000.0031.12425014762901930
lsi3200ti_8_120ads00128vam3022.0210.00000.0041.5142501499601930
lsi6400_8_120ads00512vam3021.7100.00000.0031.12419014813001930
lsi3200_7_80ads00512vam3021.6580.00000.0031.10418014793301930
lsi3200_6_120ads00512vam3021.5540.00000.0031.10416014843001930
lsi800ti_1_40ads00256vam3021.3990.00000.0031.39413015031401930
lsi800_1_80ads00128vam3021.2440.00000.0031.0741001515501930
lsi6400_8_40bd5_128s00096vam3021.1920.00000.0031.2740901518301930
lsi6400_8_40bd5_128s00128vam3021.1920.00000.0031.2540901517401930
lsi800_1_40ads00128vam3021.1400.00000.0031.2240801519301930
lsi3200ti_8_120ads00096vam3021.0880.00000.0031.3140701519401930
lsi3200_6_120ads00128vam3021.0360.10400.0031.2540621519301930
lsi3200_1_40ads00512vam3020.8810.00000.0021.01403014903701930
lsi6400_8_40bd5_128s00256vam3020.8290.00000.0031.10402015161201930
lsi3200_1_40ads00064vam3020.6220.10400.0020.9939821526401930
lsi800_1_40ads00096vam3020.4150.00000.0031.0839401528801930
lsi3200_6_120ads00096vam3020.2590.15500.0031.0539131533301930
lsi3200_7_80ads00096vam3020.2070.00000.0030.9939001537301930
lsi800_1_80ads00512vam3020.1040.00000.0020.94388015093301930
lsi6400_8_120ads00128vam3020.0520.05200.0031.0638711536601930
lsi3200_5_200ads01024vam3019.8960.00000.0031.27384014737301930
lsi800ti_1_40ads00064vam3019.6370.25900.0041.4637951541501930
lsi3200_8_120ads00128vam3019.5340.05200.0031.1037711547501930
lsi3200ti_8_120ads00064vam3019.5340.31100.0031.0337761545201930
lsi3200ti_8_120ads01024vam3019.2750.00000.0030.99372014887001930
lsi6400_8_120ads00096vam3019.2750.36300.0020.9037271547401930
lsi3200_8_120ads01024vam3019.2230.00000.0030.95371014906901930
lsi6400_8_120ads01024vam3019.1710.00000.0030.94370014897101930
lsi3200_6_120ads01024vam3019.0670.00000.0030.94368014917101930
lsi3200_7_80ads01024vam3018.9640.00000.0031.04366014917301930
lsi6400_8_40bd5_128s00064vam3018.9640.05200.0030.9936611559401930
lsi6400_8_40bd5_128s00512vam3018.8080.00000.0020.82363015303701930
lsi800_3_allads00256vam3018.7560.00000.0031.0136201561701930
lsi6400_8_120ads01024epar018.4970.00010.0051.9635701573001930
lsi800_1_80ads00096vam3018.4970.15500.0031.1735731566401930
lsi3200_8_120ads00096vam3018.2900.31100.0020.8835361568301930
lsi3200_8_120ads01024epar018.2900.00000.0041.2535301577001930
lsi3200_5_200ads01024epar018.2380.00000.0031.0835201578001930
lsi800_3_allads00512vam3018.2380.00000.0030.99352015532501930
lsi3200_7_80ads00064vam3018.1870.57000.0020.84351111566201930
lsi3200_6_120ads00064vam3018.1350.41500.0020.8935081570201930
lsi3200ti_8_80a13s00128z3_4018.0310.00000.0072.3434800158201930
lsi3200_6_120ads01024epar017.9790.00000.0030.9834701583001930
lsi6400_8_120ads00064vam3017.9790.72500.0031.00347141567201930
lsi3200ti_8_120ads01024epar017.8240.00000.0041.2634401586001930
lsi3200_1_40ads01024vam3017.7200.00000.0020.81342015117701930
lsi800_1_80ads01024vam3017.7200.00000.0030.94342015167201930
lsi3200_7_80ads01024epar017.4610.00000.0020.7733701593001930
lsi3200_8_120ads00064vam3017.4610.93300.0020.86337181573201930
lsi800_3_allads00128vam3017.3060.05200.0020.7533411592301930
lsi800ti_1_40ads01024vam3016.9430.00000.0020.74327015267701930
lsi800_3_allads01024vam3016.7880.00000.0020.75324015594701930
lsi800_1_80ads01024epar016.7360.00000.0030.8132301607001930
lsi3200_1_40ads01024epar016.6840.00000.0020.7132201608001930
lsi800_1_40ads01024vam3016.6840.00000.0020.68322015327601930
lsi6400_8_40bd5_128s01024vam3016.5800.00000.0020.67320015347601930
lsi800_3_allads01024epar016.3730.67400.0030.86316131601001930
lsi3200_5_200ads00128vam3016.1660.20700.0020.6931241608601930
lsi800_1_40ads01024epar016.0100.00000.0020.7730901621001930
lsi800_3_allads00096vam3015.9590.10400.0020.7030821617301930
lsi3200ti_8_120ads00032vam3015.9071.81300.0020.81307351587101930
lsi800ti_1_40ads01024epar015.8030.00000.0020.7630501625001930
lsi3200_5_200ads00096vam3015.5960.67400.0020.66301131612401930
lsi800_1_80ads00064vam3014.9741.55400.0020.62289301607401930
lsi6400_8_120ads00032vam3014.8702.28000.0020.62287441599001930
lsi6400_8_40bd5_128s01024epar014.7670.00000.0020.6128501645001930
lsi800_3_allads00064vam3014.7150.57010.0061.67284111634101930
lsi3200_8_120ads00032vam3014.3522.69400.0020.58277521601001930
lsi3200_5_200ads00064vam3014.2491.81300.0041.13275351618201930
lsi3200ti_8_120ads00032z3_4013.8340.00000.0030.7726700166301930
lsi3200_1_40ads00032vam3013.7824.14500.0020.57266801582201930
lsi3200_7_80ads00032vam3013.5232.02100.0020.57261391629101930
lsi6400_8_120ads00032z3_4013.4200.00000.0030.6525900167101930
lsi3200_8_120ads00032z3_4012.6940.00000.0020.5824500168501930
lsi6400_8_40bd5_128s00032vam3012.3325.59600.0010.432381081582201930
lsi3200_1_40ads00032z3_4012.0730.00000.0020.5423300169701930
lsi3200_7_80ads00032z3_4012.0210.00000.0020.5623200169801930
lsi3200_5_200ads00032vam3011.6065.75100.0010.432241111593201930
lsi800_1_80ads00032vam3011.5033.73100.0020.462227215983801930
lsi6400_8_40bd5_128s00032z3_4011.0360.00000.0020.4021300171701930
lsi800_1_80ads00032z3_4010.8810.00000.0020.5021000172001930
lsi3200_5_200ads00032z3_4010.1550.00000.0020.3719600173401930
lsi3200_6_120ads00032vam309.5851.34700.0020.38185261719001930
lsi800_3_allads00032vam309.1712.02100.0010.32177391714001930
lsi3200_6_120ads00032z3_408.7560.00000.0020.3816900176101930
lsi800_3_allads00032z3_408.4460.00000.0030.4216300176701930
nbidf010a13s0e0128epar324.7670.10420.0104.7047821450001930
nbidf070ads00128vam3024.7150.00000.0041.8047701453001930
nbidf070ads00256vam3024.3010.00000.0031.5746901459201930
nbidf070ads0e0256vam3023.9380.00000.0041.6246201468001930
nb070ads00256vam3023.8860.00000.0031.5046101466301930
nbidf070ads0e0128vam3023.7310.00000.0041.6345801472001930
nb070ads00128vam3023.5230.00000.0041.7845401475101930
nbidf010a13s0e0128vam3023.3680.00000.0031.5045101479001930
nbidf070ads00096vam3023.1090.00000.0031.1844601484001930
nb070ads00096vam3022.9020.00000.0031.2744201487101930
nbidf070adsd0256vam3022.7460.00000.0031.2943901485601930
nb010ads00128vam3022.6420.00000.0051.9743701493001930
nbidf070ads0e0096vam3022.5390.00000.0031.3443501495001930
nbidf070adsd0128vam3022.5390.00000.0041.8043501491401930
nb010ads00096vam3022.0210.00000.0041.5042501505001930
nbidf070ads00064vam3021.9170.05200.0031.3642311506001930
nbidf070ads00512vam3021.6580.00000.0031.2841801510201930
nb070ads00064vam3021.6060.05220.0083.2941711511101930
nbidf070ads0e0512vam3021.5540.00000.0041.8441601514001930
nbidf070adsd0096vam3021.5540.00000.0031.2441601512201930
nb070ads00512vam3021.3990.00000.0031.2141301515201930
nbidf070ads0e0064vam3021.0880.05200.0031.2340711522001930
nbidf070ads01024vam3020.8290.00000.0041.7240201524401930
nbidf070mds01024vam3020.8290.00000.0062.3240201520801930
nbidf070ads0e1024vam3020.7250.00000.0051.8840001530001930
nb010ads00064vam3020.5700.00000.0041.4539701533001930
nb010ads01024vam3020.5180.00000.0031.3339601530401930
nb070ads01024vam3020.3630.00000.0041.7439301534301930
nb070bd5_128s00256vam3020.3113.99000.0031.193927714481301930
nbidf070adsd1024vam3020.3110.00000.0031.15392015201801930
nbidf070adsd0064vam3020.0520.00000.0031.2538701542101930
nbidf070hds01024vam3020.0000.00020.0093.5038601537701930
nbidf070mds00256vam3019.8450.00000.0041.4538301546101930
nbidf070mdsd1024vam3019.6890.00000.0031.19380015401001930
nb070bd5_128s00128vam3019.6373.99000.0021.023797714601401930
nb070bd5_128s00512vam3019.5343.99000.0031.473777714651101930
nbidf070hds00256vam3019.3260.00000.0051.7437301556101930
nb070bd5_128s00096vam3019.2753.99010.0052.403727714681301930
nbidf070mdsd0256vam3018.8600.00000.0051.9136401565101930
nb070bd5_128s01024vam3018.7053.99000.0021.033617714811101930
nbidf070ads00032vam3018.2381.03600.0031.18352201558001930
nbidf070mds00128vam3018.1870.00000.0031.0335101577201930
nb070bd5_128s01024epar017.5659.06700.0052.473391751416001930
nbidf070mds00096vam3017.4090.05200.0041.2433611591201930
nbidf070ads0e0032vam3017.3580.98400.0031.12335191576001930
nb070bd5_128s00064vam3017.0984.04100.0020.943307815091301930
nb070ads00032vam3017.0471.19200.0031.07329231578001930
nbidf070mdsd0128vam3016.7880.00010.0072.1532401606001930
nbidf010a13s0e0128z3_4016.6840.00010.0092.9432200160801930
nb040ads01024vam3016.4250.00000.0030.9231701611201930
nbidf070mds00064vam3016.1660.25900.0051.4331251613001930
nb010ads00032vam3015.9590.51800.0030.98308101612001930
nbidf070ndsd1024vam3015.9070.00000.0020.6430701623001930
nb040ads00128vam3015.8550.00000.0030.8830601624001930
nbidf070mdsd0096vam3015.6990.05200.0041.0930311626001930
nbidf070hds00128vam3015.2850.00000.0031.0029501634101930
nb040ads00096vam3014.3520.00000.0030.8527701653001930
nbidf070mdsd0064vam3014.3520.31100.0030.8727761647001930
nbidf070hds00096vam3014.0930.10400.0040.9927221656001930
nb070bd5_128s00032vam3013.1614.97400.0030.922549615691101930
nbidf070ndsd0256vam3013.1612.22810.0051.49254431633001930
nb040ads00064vam3012.9020.10400.0030.8724921679001930
nbidf070hds00064vam3012.3830.57000.0020.55239111680001930
nbidf070ndsd0128vam3011.9172.69400.0020.45230521648001930
nbidf070ndsd0096vam3011.5032.79800.0010.40222541654001930
nb070bd5_128s00032z3_4011.4510.00000.0030.6222100170901930
nbidf070ndsd0064vam3010.9333.42000.0010.36211661653001930
nb040ads00032vam3010.0001.55400.0040.79193301707001930
nbidf070m13sde0256epar325.0691.80110.0112.111811352800722
nbidf070m13sde0256vam3023.6840.00010.0091.57171055100722
nbidf070m13sde0256z3_4013.2960.00000.0060.6196006260722
sine...0512vam3017.6680.00000.0051.6034101589001930
sine...0256vam3017.6170.00000.0041.2834001590001930
sine...1024vam3017.5650.00000.0041.4233901591001930
sine...0128vam3016.3210.10400.0051.68315216031001930
sine...0096vam3014.3520.15500.0061.57277316321801930
sine...0064vam3011.9170.62200.0030.732301216701801930
sine...0032vam307.4092.59100.0040.811435016815601930
snownbads00128vam3023.5230.05200.0031.1545411473201930
snownbads00256vam3023.1090.00000.0031.1644601480401930
snownbads00096vam3022.8500.10400.0031.1744121486101930
snownbadsd0128vam3022.6940.10400.0031.2643821488201930
snownbadsd0096vam3022.5910.10400.0031.2743621490201930
snownbadsd0256vam3022.3320.00000.0031.3943101496301930
snownbads00512vam3021.6060.00000.0031.09417015031001930
snownbads00064vam3021.3470.31100.0031.2441261512001930
snownbadsd0512vam3021.3470.00000.0031.1841201512601930
snownbadsd0064vam3021.1920.25900.0031.1040951516001930
snownbads01024vam3018.6530.00000.0030.91360015393101930
snownbadsd1024vam3017.9790.00000.0031.00347015592401930
snownbadsd1024epar017.3580.05200.0041.2333511594001930
snownbads01024epar017.2020.00000.0020.7933201598001930
snownbadsd0032vam3017.1501.81300.0031.06331351564001930
snownbads00032vam3016.8911.81300.0020.86326351568101930
snownbads00032z3_4015.2330.00000.0030.9329400163601930
snownbadsd0032z3_4015.1300.00000.0041.1429200163801930
any50.82949.0679819471930
Greedy sequence:
ProverSum%SumAlt
comb-min_2k_20_20-a13-s0-0128-epar328.497550
comb-qua_k200_3k_33_33-ad8-s0-0512-vam3032.798633
comb-geo_3k_33_33-ad5-s0-0064-vam3035.959694
lsi-3200ti_8_80-a13-s0-0128-z3_4037.461723= geo-r_99-a13-s0e-0064-vam30
geo-r_99-a13-s0e-0064-vam3038.653746
knn-200-md-s0-1024-vam3039.741767
nb-idf010-a13-s0e-0128-epar340.725786
comb-min_20_20-ad4-s0-0128-vam3041.347798= comb-min_20_60-ad4-s0-0256-vam30 = comb-geo_3k_50_00-ad6-s0-1024-vam30 = knn-is_40-a13-s0e-0096-z3_40
comb-geo_3k_50_00-ad6-s0-1024-vam3041.969810
knn-is040-ad-s0-1024-epar042.487820= knn-is_40-a13-s0e-0096-z3_40
knn-is_40-a13-s0e-0096-z3_4043.005830
geo-1_66-ad6-s0-1024-vam3043.420838
lsi-6400_8_120-ad-s0-0064-vam3043.782845
geo-1_33-ad6-s0-0256-vam3044.093851= comb-har_2k_k200_33_33-a13-s0e-0256-epar3 = geo-1_90-ad6-s0-0032-z3_40 = geo-r_90-ad6-s0-0256-vam30
geo-1_90-ad6-s0-0032-z3_4044.404857
knn-080-md-s0-1024-epar044.663862= nb-idf070-md-s0-1024-vam30 = comb-geo_2k_33_33-a13-s0-0256-epar3 = comb-min_20_60-ad4-s0-0512-vam30 = knn-is_80-m13-sde-1024-epar3 = knn-080-hd-sd-1024-epar0 = ... (11)
nb-070-bd5_128-s0-1024-epar044.922867= nb-010-ad-s0-0128-vam30 = comb-min_20_60-ad4-s0-0512-vam30 = sine-.-.-.-0128-vam30 = sine-.-.-.-0096-vam30 = nb-idf070-md-s0-1024-vam30
sine-.-.-.-0096-vam3045.181872= sine-.-.-.-0128-vam30
nb-idf070-hd-s0-1024-vam3045.389876= lsi-800ti_1_40-ad-s0-0096-vam30 = nb-idf070-ad-s0-0128-vam30 = comb-geo_3k_33_33-ad6-s0-1546-vam30 = comb-geo_3k_33_33-bd5_128-s0-0064-vam30 = lsi-800ti_1_40-ad-s0-0128-vam30 = ... (10)
lsi-800ti_1_40-ad-s0-0096-vam3045.596880= comb-geo_3k_33_33-ad6-s0-1546-vam30 = comb-avg_33_33-ad5-s0-0512-vam30 = comb-geo_3k_33_33-bd5_128-s0-0064-vam30 = comb-geo_3k_33_33-ad6-s0-2048-vam30 = lsi-800ti_1_40-ad-s0-0128-vam30 = ... (8)
comb-avg_33_33-ad5-s0-0512-vam3045.803884= comb-geo_3k_33_33-ad6-s0-2048-vam30 = comb-geo_3k_33_33-ad6-s0-1546-vam30 = comb-geo_10k_33_33-ad6-s0-2048-vam30 = comb-min_20_60-ad4-s0-0512-vam30
comb-geo_3k_33_33-ad6-s0-2048-vam3046.010888= comb-geo_3k_33_33-ad6-s0-1546-vam30
knn-200-ad-sd-0096-vam3046.166891= comb-geo_3k_60_20-ad6-s0-0032-vam30 = comb-avg_60_20-ad5-s0-0032-vam30 = knn-is_200-a13-sde-0064-vam30 = knn-200-md-sd-0512-vam30 = geo-r_66-ad6-s0-0128-vam30 = ... (17)
comb-geo_2k_60_20-a13-s0-0032-vam3046.321894= knn-is040-ad-s0-0096-vam30 = comb-avg_60_20-ad5-s0-0032-vam30 = knn-200-hd-sd-1024-vam30 = geo-r_90-ad6-s0-0096-vam30 = comb-geo_3k_33_33-bd5_128-s0-0064-vam30 = ... (12)
nb-010-ad-s0-0128-vam3046.477897= comb-geo_2k_60_20-a13-s0-0032-z3_40 = knn-200-md-sd-0512-vam30 = geo-r_66-ad6-s0-0128-vam30 = geo-r_66-ad6-s0-0096-vam30 = knn-is040-ad-s0-0096-vam30 = ... (7)
geo-r_90-ad6-s0-0096-vam3046.632900= comb-geo_2k_60_20-a13-s0-0032-z3_40 = geo-r_66-ad6-s0-0096-vam30 = geo-r_66-ad6-s0-0128-vam30 = knn-200-hd-sd-1024-vam30 = knn-is040-ad-s0-0096-vam30
knn-200-hd-sd-1024-vam3046.788903= comb-geo_2k_60_20-a13-s0-0032-z3_40
comb-geo_2k_60_20-a13-s0-0032-z3_4046.943906
comb-avg_20_60-ad5-s0-1024-epar047.047908= knn-is200-ad-sde-1024-vam30 = comb-geo_3k_60_20-ad6-s0-1024-epar0 = nb-idf070-ad-s0-0128-vam30 = lsi-3200_5_200-ad-s0-1024-epar0 = lsi-3200ti_8_120-ad-s0-1024-epar0 = ... (39)
comb-har_k200_3k_33_33-ad8-s0-0256-vam3047.150910= comb-avg_1k_33_33-ad5-s0-0096-vam30 = geo-r_99-ad6-s0-0064-vam30 = comb-min_20_60-ad4-s0-0512-vam30 = nb-idf070-md-s0-1024-vam30 = comb-geo_10k_33_33-bd6_2048-s0-0256-vam30 = ... (31)
nb-idf070-md-sd-0256-vam3047.254912= comb-geo_2k_50_50-a13-s0-0064-z3_40 = knn-600-hd-sd-0256-vam30 = comb-min_20_60-ad4-s0-0512-vam30 = nb-idf070-ad-s0e-0128-vam30 = knn-is_80-m13-sde-1024-vam30 = ... (28)
comb-avg_1k_33_33-ad5-s0-0096-vam3047.358914= knn-600-hd-sd-0256-vam30 = geo-r_90-a13-s0e-0256-z3_40 = nb-070-ad-s0-0064-vam30 = nb-idf070-ad-s0-0256-vam30 = comb-geo_2k_50_50-a13-s0-0064-z3_40 = ... (20)
knn-080-md-sd-0128-vam3047.461916= comb-geo_2k_50_50-a13-s0-0064-z3_40 = nb-idf070-md-s0-1024-vam30 = nb-idf070-ad-s0e-0128-vam30 = comb-max_k200_3k_33_33-ad8-s0-0128-vam30 = knn-is200-ad-sde-1024-vam30 = ... (19)
nb-idf070-ad-s0-0256-vam3047.565918= knn-is_80-m13-sde-1024-vam30 = nb-idf070-ad-s0e-0128-vam30 = comb-geo_3k_20_60-ad6-s0-0032-z3_40 = knn-is200-ad-sde-1024-vam30 = comb-geo_2k_50_50-a13-s0-0064-z3_40 = ... (17)
geo-r_90-ad6-s0-0512-vam3047.668920= comb-geo_3k_20_60-ad6-s0-0032-z3_40 = nb-070-ad-s0-0064-vam30 = geo-r_90-a13-s0e-0256-z3_40 = nb-idf070-ad-s0e-1024-vam30 = nb-idf070-md-s0-1024-vam30 = ... (13)
nb-070-ad-s0-0064-vam3047.772922= comb-min_20_60-ad4-s0-0512-vam30 = lsi-3200ti_8_120-ad-s0-0128-vam30 = knn-is_80-m13-sde-1024-vam30 = comb-geo_3k_20_60-ad6-s0-0032-z3_40 = comb-har_2k_k200_33_33-a13-s0e-0256-epar3 = ... (10)
comb-geo_3k_20_60-ad6-s0-0032-z3_4047.876924= knn-200-hd-s0-0128-vam30 = nb-idf070-md-s0-1024-vam30 = comb-har_2k_k200_33_33-a13-s0e-0256-epar3 = comb-min_20_60-ad4-s0-0512-vam30 = geo-r_90-a13-s0e-0256-z3_40 = ... (9)
nb-idf070-md-s0-1024-vam3047.979926= comb-geo_2k_50_50-a13-s0-0064-z3_40 = geo-r_90-a13-s0e-0256-z3_40 = comb-min_20_60-ad4-s0-0512-vam30 = knn-is_80-m13-sde-1024-vam30 = comb-max_k200_3k_33_33-ad8-s0-0128-vam30 = ... (8)
geo-r_90-a13-s0e-0256-z3_4048.083928= knn-200-hd-s0-0128-vam30 = lsi-3200ti_8_120-ad-s0-0128-vam30 = comb-max_k200_3k_33_33-ad8-s0-0128-vam30 = comb-geo_2k_50_50-a13-s0-0064-z3_40 = comb-min_20_60-ad4-s0-0512-vam30 = ... (7)
lsi-3200ti_8_120-ad-s0-0128-vam3048.187930= comb-geo_2k_50_50-a13-s0-0064-z3_40 = knn-200-hd-s0-0128-vam30 = comb-min_20_60-ad4-s0-0512-vam30 = comb-max_k200_3k_33_33-ad8-s0-0128-vam30
comb-geo_2k_50_50-a13-s0-0064-z3_4048.290932= comb-min_20_60-ad4-s0-0512-vam30 = comb-max_k200_3k_33_33-ad8-s0-0128-vam30
comb-min_20_60-ad4-s0-0512-vam3048.394934= comb-max_k200_3k_33_33-ad8-s0-0128-vam30
comb-max_k200_3k_33_33-ad8-s0-0128-vam3048.497936
nb-idf010-a13-s0e-0128-z3_4048.549937= knn-is200-ad-sde-1024-vam30 = comb-geo_3k_20_20-ad6-s0-0032-vam30 = geo-r_50-ad6-s0-0096-vam30 = nb-040-ad-s0-0032-vam30 = comb-geo_10k_33_33-bd6_2048-s0-0256-vam30 = ... (110)
comb-geo_3k_33_33-bd6_2048-s0-0512-vam3048.601938= knn-600-md-sd-1024-vam30 = knn-200-ad-sd-1024-epar0 = geo-r_50-ad6-s0-0096-vam30 = nb-040-ad-s0-0032-vam30 = geo-r_90-ad6-s0-1024-vam30 = ... (109)
geo-1_66-ad6-s0-0512-vam3048.653939= nb-idf070-m13-sde-0256-vam30 = knn-is200-ad-sde-1024-vam30 = geo-r_50-ad6-s0-0128-vam30 = geo-1_33-ad6-s0-0512-vam30 = knn-200-nd-s0-1024-epar0 = ... (104)
comb-qua_2k_k200_33_33-a13-s0e-0512-vam3048.705940= comb-geo_3k_25_25_25-ad9-s0-0128-vam30 = knn-080-hd-s0-0512-vam30 = geo-r_90-ad6-s0-0032-vam30 = nb-idf070-md-sd-0128-vam30 = nb-idf070-nd-sd-0256-vam30 = ... (94)
lsi-3200_5_200-ad-s0-0064-vam3048.756941= lsi-3200ti_8_120-ad-s0-0096-vam30 = knn-200-ad-s0-1024-epar0 = nb-070-bd5_128-s0-0032-vam30 = nb-idf070-ad-s0e-0032-vam30 = comb-min_60_20-ad4-s0-0032-z3_40 = ... (89)
geo-r_50-ad6-s0-0096-vam3048.808942= nb-idf070-ad-s0e-1024-vam30 = nb-070-bd5_128-s0-0512-vam30 = nb-040-ad-s0-0032-vam30 = comb-min_60_20-ad4-s0-0032-z3_40 = comb-avg_60_20-ad5-s0-0512-vam30 = ... (87)
nb-070-bd5_128-s0-0096-vam3048.860943= nb-040-ad-s0-0064-vam30 = nb-070-bd5_128-s0-0512-vam30 = knn-080-ad-sd-0512-vam30 = comb-min_60_20-ad4-s0-0032-vam30 = lsi-3200_8_120-ad-s0-1024-epar0 = ... (86)
knn-080-ad-sd-0512-vam3048.912944= geo-r_99-ad6-s0-0064-vam30 = knn-200-md-s0-0032-z3_40 = knn-080-md-sd-0032-vam30 = comb-avg_60_20-ad5-s0-0032-vam30 = comb-har_2k_k200_33_33-a13-s0e-0256-epar3 = ... (85)
comb-min_60_20-ad4-s0-0032-z3_4048.964945= knn-600-ad-s0-0064-vam30 = knn-200-md-s0-0032-z3_40 = comb-avg_60_20-ad5-s0-1024-vam30 = lsi-800ti_1_40-ad-s0-0128-vam30 = nb-idf070-ad-s0-1024-vam30 = ... (84)
lsi-800_1_40-ad-s0-0128-vam3049.016946= comb-geo_3k_25_25_25-ad9-s0-0032-vam30 = knn-200-md-s0-0032-z3_40 = comb-min_33_33-ad4-s0-1024-vam30 = knn-is40-bd5_128-s0-0256-vam30 = nb-idf070-ad-s0-1024-vam30 = ... (82)
lsi-3200_1_40-ad-s0-0128-vam3049.067947= lsi-3200ti_8_120-ad-s0-0096-vam30 = comb-geo_3k_33_33-bd5_128-s0-0032-z3_40 = nb-070-bd5_128-s0-0032-vam30 = comb-min_60_20-ad4-s0-0064-vam30 = knn-600-hd-sd-1024-vam30 = ... (66)
knn-080-ad-sd-0032-vam3049.119948= comb-har_2k_k200_33_33-a13-s0e-0256-epar3 = nb-idf070-nd-sd-0256-vam30 = lsi-3200_8_120-ad-s0-1024-epar0 = knn-080-hd-s0-0512-vam30 = knn-080-ad-s0-0032-vam30 = ... (63)
knn-200-md-s0-0032-z3_4049.171949= lsi-6400_8_120-ad-s0-1024-epar0 = geo-r_99-ad6-s0-0064-vam30 = nb-070-bd5_128-s0-0032-vam30 = nb-idf070-ad-s0-1024-vam30 = knn-080-md-sd-0096-vam30 = ... (59)
nb-idf070-ad-s0-1024-vam3049.223950= nb-idf070-m13-sde-0256-vam30 = knn-600-hd-sd-0256-vam30 = knn-600-ad-s0-0064-vam30 = nb-070-bd5_128-s0-0512-vam30 = comb-geo_3k_25_25_25-ad9-s0-0032-vam30 = ... (54)
comb-geo_3k_33_33-bd6_2048-s0-1024-vam3049.275951= knn-600-md-sd-1024-vam30 = geo-r_66-ad6-s0-0032-z3_40 = comb-geo_3k_33_33-bd6_2048-s0-1546-vam30 = knn-080-md-sd-0096-vam30 = nb-idf070-ad-s0e-0032-vam30 = ... (52)
comb-avg_60_20-ad5-s0-0512-vam3049.326952= comb-min_33_33-ad-s0-1024-vam30 = knn-is_40-a13-s0e-0096-vam30 = geo-r_99-ad6-s0-0064-vam30 = knn-200-ad-s0-1024-epar0 = nb-idf070-m13-sde-0256-epar3 = ... (49)
lsi-800_3_all-ad-s0-0064-vam3049.378953= comb-min_20_60-ad4-s0-0256-vam30 = nb-070-ad-s0-0032-vam30 = nb-idf070-ad-s0-0032-vam30 = nb-idf070-m13-sde-0256-epar3 = nb-idf070-nd-sd-0256-vam30 = ... (46)
lsi-3200_8_120-ad-s0-1024-epar049.430954= comb-min_20_60-ad4-s0-1024-vam30 = knn-040-ad-s0-0096-vam30 = nb-idf070-m13-sde-0256-epar3 = knn-is40-bd5_128-s0-0256-vam30 = nb-idf070-nd-sd-0256-vam30 = ... (45)
geo-r_66-ad6-s0-0032-z3_4049.482955= comb-avg_33_33-ad5-s0-0128-vam30 = geo-r_90-ad6-s0-0032-vam30 = nb-idf070-nd-sd-0256-vam30 = geo-r_99-ad6-s0-0032-vam30 = nb-040-ad-s0-0064-vam30 = ... (41)
nb-idf070-ad-s0e-0032-vam3049.534956= nb-idf070-md-sd-0128-vam30 = comb-min_33_33-ad4-s0-1024-vam30 = geo-r_90-a13-s0e-0256-epar3 = nb-040-ad-s0-0064-vam30 = geo-r_66-ad6-s0-0096-vam30 = ... (40)
knn-200-nd-s0-1024-epar049.585957= comb-min_33_33-ad4-s0-1024-vam30 = nb-040-ad-s0-0032-vam30 = geo-r_66-ad6-s0-0096-vam30 = lsi-800ti_1_40-ad-s0-0128-vam30 = geo-r_90-a13-s0e-0256-epar3 = ... (34)
knn-080-md-sd-0096-vam3049.637958= nb-idf070-nd-sd-0256-vam30 = knn-040-ad-s0-0096-vam30 = knn-is040-ad-s0-0096-vam30 = geo-r_66-ad6-s0-0096-vam30 = geo-r_99-ad6-s0-0064-vam30 = ... (31)
comb-har_2k_k200_33_33-a13-s0e-0256-epar349.689959= knn-600-hd-sd-1024-vam30 = comb-min_60_20-ad4-s0-0032-vam30 = knn-600-md-sd-1024-vam30 = comb-min_33_33-ad-s0-1024-vam30 = knn-200-hd-s0-0128-vam30 = ... (30)
geo-r_99-ad6-s0-0032-vam3049.741960= comb-avg_60_20-ad5-s0-0128-vam30 = comb-min_60_20-ad4-s0-0032-vam30 = knn-600-ad-s0-0064-vam30 = lsi-800ti_1_40-ad-s0-0128-vam30 = comb-geo_3k_33_33-bd5_128-s0-0032-z3_40 = ... (27)
knn-040-ad-s0-0096-vam3049.793961= nb-idf070-m13-sde-0256-vam30 = knn-200-hd-s0-0128-vam30 = nb-idf070-nd-sd-0256-vam30 = nb-idf070-m13-sde-0256-epar3 = comb-min_33_33-ad4-s0-1024-vam30 = ... (24)
knn-200-hd-s0-0128-vam3049.845962= geo-r_99-ad6-s0-0064-vam30 = comb-min_33_33-ad4-s0-1024-vam30 = lsi-6400_8_120-ad-s0-1024-epar0 = comb-avg_60_20-ad5-s0-0128-vam30 = comb-min_20_60-ad4-s0-1024-vam30 = ... (22)
geo-r_99-ad6-s0-0064-vam3049.896963= comb-min_60_20-ad4-s0-0032-vam30 = knn-600-md-sd-1024-vam30 = comb-min_20_60-ad4-s0-0256-vam30 = comb-min_33_33-ad4-s0-1024-vam30 = nb-idf070-m13-sde-0256-epar3 = ... (21)
comb-min_60_20-ad4-s0-0032-vam3049.948964= nb-idf070-m13-sde-0256-epar3 = lsi-6400_8_120-ad-s0-1024-epar0 = geo-r_66-ad6-s0-0096-vam30 = knn-600-hd-sd-0256-vam30 = nb-idf070-nd-sd-0256-vam30 = ... (20)
comb-avg_33_33-ad5-s0-0128-vam3050.000965= comb-geo_3k_25_25_25-ad9-s0-0032-vam30 = nb-idf070-md-sd-0128-vam30 = knn-600-hd-sd-1024-vam30 = knn-600-hd-sd-0256-vam30 = comb-min_20_60-ad4-s0-0256-vam30 = ... (19)
comb-min_33_33-ad4-s0-1024-vam3050.052966= nb-idf070-m13-sde-0256-epar3 = knn-600-hd-sd-1024-vam30 = geo-r_66-ad6-s0-0096-vam30 = nb-idf070-m13-sde-0256-vam30 = comb-geo_3k_25_25_25-ad9-s0-0032-vam30 = ... (17)
knn-is_40-a13-s0e-0096-vam3050.104967= geo-r_66-ad6-s0-0096-vam30 = lsi-6400_8_120-ad-s0-1024-epar0 = nb-idf070-nd-sd-0256-vam30 = nb-idf070-md-sd-0128-vam30 = comb-min_20_60-ad4-s0-1024-vam30 = ... (16)
knn-600-md-sd-1024-vam3050.155968= knn-600-hd-sd-1024-vam30 = comb-min_33_33-ad-s0-1024-vam30 = nb-idf070-nd-sd-0256-vam30 = nb-idf070-md-sd-0128-vam30 = comb-min_20_60-ad4-s0-1024-vam30 = ... (15)
geo-r_66-ad6-s0-0096-vam3050.207969= comb-min_20_60-ad4-s0-0256-vam30 = nb-idf070-m13-sde-0256-epar3 = nb-idf070-nd-sd-0256-vam30 = comb-geo_3k_33_33-bd5_128-s0-0032-z3_40 = knn-600-ad-s0-0064-vam30 = ... (13)
nb-idf070-nd-sd-0256-vam3050.259970= comb-geo_3k_33_33-bd5_128-s0-0032-z3_40 = comb-min_33_33-ad-s0-1024-vam30 = nb-idf070-md-sd-0128-vam30 = nb-idf070-m13-sde-0256-epar3 = comb-min_20_60-ad4-s0-0256-vam30 = ... (12)
comb-min_33_33-ad-s0-1024-vam3050.311971= comb-min_20_60-ad4-s0-0256-vam30 = lsi-6400_8_120-ad-s0-1024-epar0 = comb-min_20_60-ad4-s0-1024-vam30 = knn-600-hd-sd-0256-vam30 = nb-idf070-m13-sde-0256-epar3 = ... (11)
nb-idf070-m13-sde-0256-vam3050.363972= lsi-6400_8_120-ad-s0-1024-epar0 = knn-600-ad-s0-0064-vam30 = nb-idf070-md-sd-0128-vam30 = nb-idf070-m13-sde-0256-epar3 = comb-geo_3k_33_33-bd5_128-s0-0032-z3_40 = ... (9)
nb-idf070-m13-sde-0256-epar350.415973= nb-idf070-md-sd-0128-vam30 = knn-600-hd-sd-0256-vam30 = comb-min_20_60-ad4-s0-0256-vam30 = lsi-6400_8_120-ad-s0-1024-epar0 = comb-geo_3k_33_33-bd5_128-s0-0032-z3_40 = ... (8)
lsi-6400_8_120-ad-s0-1024-epar050.466974= nb-idf070-md-sd-0128-vam30 = knn-600-ad-s0-0064-vam30 = comb-min_20_60-ad4-s0-0256-vam30 = knn-600-hd-sd-0256-vam30 = comb-geo_3k_33_33-bd5_128-s0-0032-z3_40 = ... (7)
nb-idf070-md-sd-0128-vam3050.518975= comb-min_20_60-ad4-s0-0256-vam30 = lsi-800ti_1_40-ad-s0-0128-vam30 = knn-600-ad-s0-0064-vam30 = comb-geo_3k_25_25_25-ad9-s0-0032-vam30 = comb-geo_3k_33_33-bd5_128-s0-0032-z3_40 = ... (6)
comb-min_20_60-ad4-s0-0256-vam3050.570976= lsi-800ti_1_40-ad-s0-0128-vam30 = knn-600-ad-s0-0064-vam30 = comb-geo_3k_25_25_25-ad9-s0-0032-vam30 = comb-geo_3k_33_33-bd5_128-s0-0032-z3_40 = knn-600-hd-sd-0256-vam30
lsi-800ti_1_40-ad-s0-0128-vam3050.622977= knn-600-ad-s0-0064-vam30 = comb-geo_3k_25_25_25-ad9-s0-0032-vam30 = comb-geo_3k_33_33-bd5_128-s0-0032-z3_40 = knn-600-hd-sd-0256-vam30
knn-600-ad-s0-0064-vam3050.674978= comb-geo_3k_33_33-bd5_128-s0-0032-z3_40 = comb-geo_3k_25_25_25-ad9-s0-0032-vam30 = knn-600-hd-sd-0256-vam30
comb-geo_3k_33_33-bd5_128-s0-0032-z3_4050.725979= comb-geo_3k_25_25_25-ad9-s0-0032-vam30 = knn-600-hd-sd-0256-vam30
comb-geo_3k_25_25_25-ad9-s0-0032-vam3050.777980= knn-600-hd-sd-0256-vam30
knn-600-hd-sd-0256-vam3050.829981