Instance Run1 Run2 Run3 Run4 Run5 Run6 Run7 Run8 Run9 Run10 Run11 Run12 Run13 Run14 Run15 Run16 Run17 Run18 Run19 Run20 Run21 Run22 Run23 Run24 Run25 Run26 Run27 Run28 Run29 Run30 Run31
MAX-SAT 3 3 3 2 2 5 3 3 3 2 4 3 3 3 1 2 3 4 2 4 4 2 4 4 3 2 3 3 3 3 3 2
MAX-SAT 5 4 4 5 4 4 5 9 4 3 3 6 6 4 4 4 4 5 6 6 4 4 5 4 6 6 10 9 4 5 3 2
MAX-SAT 4 2 2 2 3 2 3 2 2 2 2 2 3 4 2 4 2 2 3 2 3 3 2 2 2 3 2 2 3 2 3 2
MAX-SAT 10 6 3 1 4 6 5 4 4 1 5 1 7 1 1 5 3 5 2 4 3 3 7 4 3 3 1 5 2 1 5 3
MAX-SAT 11 8 9 8 7 10 9 9 8 7 9 8 8 7 7 8 7 10 8 7 8 9 8 9 7 7 7 7 8 8 10 9
BIN 7 0.177446552 0.173171691 0.181663112 0.179529089 0.178066068 0.173146757 0.179346732 0.177576736 0.179005484 0.175159423 0.17745528 0.171265856 0.178066068 0.17524248 0.179730924 0.137765765 0.17803803 0.171933356 0.181564046 0.169387595 0.178066068 0.176813042 0.183666916 0.181380993 0.179005484 0.174883572 0.185759141 0.174874103 0.177949973 0.175295461 0.177111491
BIN 1 0.041589265 0.041579173 0.040068492 0.040058615 0.0411927 0.039868814 0.040655931 0.04018379 0.041582823 0.040401074 0.040718841 0.041575738 0.04091401 0.041207729 0.041469458 0.040572625 0.040652496 0.040270102 0.040880515 0.040558454 0.040228449 0.040871283 0.041289748 0.040793988 0.040689211 0.040923671 0.040777456 0.044494137 0.041531508 0.040736017 0.039912399
BIN 9 0.039461722 0.040558634 0.041486959 0.039780833 0.040859689 0.041557769 0.040711105 0.040516991 0.040496446 0.040510328 0.040521544 0.039503611 0.040880011 0.039529722 0.039804611 0.040856802 0.040713659 0.040596502 0.040466463 0.039790167 0.041510599 0.038512674 0.040706219 0.040475569 0.04166687 0.040825819 0.039404278 0.041544562 0.040588284 0.039397056 0.040421044
BIN 10 0.126175954 0.125988833 0.11775502 0.125847269 0.126486131 0.126013658 0.117837483 0.126172217 0.126234501 0.126013925 0.125538605 0.127004978 0.126245623 0.125705617 0.117582865 0.125579535 0.126365299 0.119270879 0.12584896 0.126322411 0.125964631 0.126087688 0.125837838 0.119276674 0.126262974 0.126123368 0.126353998 0.126177021 0.12666551 0.119425209 0.126110644
BIN 11 0.067180773 0.066498659 0.067227474 0.067216649 0.068044668 0.066507427 0.067332216 0.067271804 0.067864451 0.068083411 0.06707067 0.06646163 0.066066271 0.068336785 0.063747882 0.068145131 0.067284278 0.068214168 0.065374871 0.067193144 0.067250773 0.065482611 0.068042298 0.067239742 0.067245928 0.067005825 0.067300876 0.068144101 0.069979671 0.067092423 0.067296237
PS 5 27 27 26 26 25 23 22 23 22 25 17 25 24 25 16 20 21 22 22 19 17 19 23 21 19 25 24 27 25 22 27
PS 9 9769 9774 9746 9554 9809 9814 9698 9913 9649 9673 9934 9770 9727 9799 9816 9731 9862 9776 9886 9670 9960 9763 9607 9728 9831 9765 9579 9633 9777 9924 9841
PS 8 3277 3232 3324 3250 3228 3301 3235 3347 3197 3393 3328 3286 3191 3268 3322 3290 3333 3278 3183 3204 3300 3189 3208 3168 3268 3195 3258 3203 3185 3235 3270
PS 10 1540 1520 1780 1620 1565 1785 1650 1559 1625 1469 1443 1642 1620 1452 1477 1670 1759 1560 1608 1733 1573 1610 1715 1635 1639 1610 1515 32075 1668 1495 1600
PS 11 350 355 340 335 360 341 370 340 335 335 335 345 335 335 315 350 335 335 355 345 355 360 341 350 355 320 340 355 325 330 355
FS 1 6310 6317 6318 6300 6330 6315 6323 6315 6320 6315 6321 6331 6321 6319 6313 6327 6326 6302 6321 6318 6316 6319 6321 6319 6311 6316 6313 6314 6316 6312 6308
FS 8 26947 26982 26920 26995 26968 26907 26945 26953 26935 26979 26984 26939 26963 26975 26950 26980 26925 26906 26967 26935 26934 26975 26978 26990 26945 26946 26997 26939 26964 26943 26926
FS 3 6390 6376 6369 6380 6374 6383 6373 6388 6369 6388 6373 6374 6369 6388 6389 6373 6385 6370 6369 6375 6375 6372 6375 6379 6369 6375 6369 6379 6390 6370 6376
FS 10 11476 11488 11457 11484 11481 11467 11449 11490 11479 11490 11470 11486 11507 11460 11476 11504 11461 11488 11494 11485 11480 11444 11500 11494 11472 11480 11470 11469 11498 11458 11497
FS 11 26735 26720 26756 26689 26722 26718 26741 26743 26738 26731 26752 26731 26706 26679 26739 26754 26702 26679 26729 26700 26750 26718 26719 26679 26728 26766 26740 26736 26753 26731 26745
TS 0 48840.18889 49011.03167 48837.65313 48631.85753 48600.24563 49119.48766 49000.92831 48793.97403 49008.09268 49279.01155 49070.00658 48719.09901 48975.55482 48924.44517 48967.68853 48705.14395 48815.31601 48744.14059 49204.65462 48597.96078 49170.19973 48986.7829 48784.99446 48736.49208 48845.44827 48626.79874 49143.93989 48897.00368 48986.93777 48987.79761 48797.80251
TS 8 22712981.26 22624266.51 22442731.25 22711706.24 24536614.41 22239864.71 22623091.00 23224114.07 22521424.01 22363578.02 22858911.52 22999200.64 22580627.72 21709614.59 22948422.31 22666343.43 21268881.29 22452076.24 22304353.53 22666343.43 22870416.07 22545435.42 22435380.68 23051598.40 23204856.45 22357501.27 21854731.21 22526530.99 22370650.87 22513390.99 21971331.31
TS 2 6984.123679 6966.428568 6958.201941 6978.975489 6956.857369 6962.409787 6996.601281 6989.034951 6984.821465 6972.592581 6991.027394 7004.075757 6971.747764 6987.888711 6976.012108 6984.852693 6977.270124 6983.058449 6944.486433 6978.868415 6985.697159 6971.759325 6972.703134 6935.638253 6978.100394 6973.87149 6979.95891 6968.889328 6995.301532 6979.179248 6987.972786
TS 7 69452.54568 68400.16881 69422.40484 69879.98892 68338.2103 68123.28161 68997.5956 69785.12017 69972.76042 68159.13506 70250.98198 69872.50762 69959.20514 67802.59952 69490.28858 69592.26154 70444.4544 67987.7949 70231.63523 69552.33688 70046.54256 68343.74638 70431.42284 69130.00934 69054.51068 68233.34526 69658.54909 70547.65405 68720.18618 68396.83916 69096.17862
TS 6 59828.90669 56100.13763 59664.52102 56748.9937 59108.54753 57256.15316 55952.70202 59855.78454 59969.2599 59863.92066 59993.50223 59636.03776 59728.42248 59529.95663 57722.39271 59534.71319 59963.0778 60035.90817 59963.0778 59900.04835 60379.52544 60379.52544 59728.42248 56110.76971 57535.07691 60592.31525 60044.05391 59780.45314 55764.84686 59985.31861 59863.92066
VR 6 66580.95315 66780.75852 65535.3128 66427.01363 65872.83868 66374.86604 65079.63011 67208.86913 67774.79823 68182.6485 63241.16163 68415.16829 66301.39214 67494.81283 66319.36292 68602.19316 66539.39546 66241.17024 65315.98884 65538.84047 65304.20391 68932.06566 65809.11416 67737.4077 67611.38286 65083.58256 65081.99265 63656.83322 66560.28493 65609.80384 66232.61237
VR 2 13388.08053 13390.73395 13412.99223 13384.77099 13393.11679 13408.98586 13387.75553 13404.38522 13387.1942 13365.07618 13388.15637 13354.7438 13400.13586 13384.30975 13379.12904 13361.46483 13371.28602 13397.45396 13389.72191 13377.07052 13385.2777 13396.0296 13373.36463 13395.55256 13390.11956 13399.81314 13401.24323 13378.12811 13392.33874 13383.73316 13390.47977
VR 5 155701.5136 154248.5024 154872.1907 151366.9492 155097.7478 154179.8197 153746.2458 154813.2594 149790.2197 153600.5796 152656.7349 155695.8581 155336.7224 153707.7364 154100.1183 154387.3243 153095.2863 153888.4991 153064.3025 153855.8156 152073.0821 156134.4843 152926.6561 153579.7234 155083.1478 151042.9351 152814.6873 154416.2639 152363.2106 154794.4692 151987.4793
VR 1 20653.30418 20660.26584 20670.0661 20664.32545 20668.18466 20665.08495 20661.64322 20664.5107 20661.03115 20664.62272 20661.2003 20660.18483 20666.28497 20662.59154 20670.00612 20661.08616 20658.35637 20665.71519 20659.97053 20662.04004 20663.0398 20670.20767 20659.79966 20667.22536 20658.51266 20666.71673 20670.98311 20654.57062 20658.93076 20672.53445 20662.47202
VR 9 151734.3717 150882.9628 149607.1342 150347.5195 151045.3805 149923.0043 149543.8671 149831.2875 151183.3394 149678.3184 149329.8211 148577.2472 150027.4344 150972.8482 147436.6152 151564.0073 148640.3477 151459.0197 150189.9601 151081.5787 149667.8333 148523.1446 152115.7738 150659.0864 151737.0867 150977.3534 150538.2281 149404.6181 150687.2808 150714.1461 149904.5521