1. With SCED = vl, RELY = vh, multiplier should be 2. Threat table mutator varies this value between 1.5 and 3. Threat table mutator: SCED = 1, RELY = 5 SCED-RELY multiplier = 2.6730185643178497d0 SCED-RELY multiplier = 2.032033892828987d0 SCED-RELY multiplier = 2.0087246368679796d0 SCED-RELY multiplier = 1.6763811692019837d0 SCED-RELY multiplier = 1.8403769390845564d0 SCED-RELY multiplier = 2.2260867968323113d0 SCED-RELY multiplier = 1.2245962611514125d0 SCED-RELY multiplier = 1.041256892514069d0 SCED-RELY multiplier = 2.5794894684010603d0 SCED-RELY multiplier = 2.5296168325141153d0 2. Monte Carlo randomly completes a partial solution and reports median energy. Five sample runs and the result of 100 runs are shown below. Monte Carlo and completion: Run 1: 20806 Run 2: 38431 Run 3: 16641 Run 4: 5344 Run 5: 4597 Median of 100 runs: 10930 3. Result of KEYS. Each run imposes the most effective treatment. KEYS: (TEAM 5) 7876 +- 11898 (ETAT 6) 5083 +- 4242 (RUSE 6) 6065 +- 5167 (TOOL 4) 3923 +- 4941 (FLEX 3) 4677 +- 4856 (PR 2) 7683 +- 5452 (AEXP 5) 5575 +- 2639 (PCON 3) 3371 +- 4662 (LTEX 2) 5588 +- 7033 (TIME 4) 4644 +- 4035 (PVOL 3) 5751 +- 4916 (PCAP 5) 3548 +- 3702 (PLEX 4) 3230 +- 3751 (ACAP 5) 2679 +- 2399 (AA 6) 1863 +- 1084 (RESL 5) 1749 +- 1492 (SITE 5) 927 +- 602 (PREC 5) 745 +- 574 (SCED 5) 650 +- 460 (DOCU 5) 646 +- 466 (PMAT 5) 497 +- 293 (RELY 5) 438 +- 339 (STOR 4) 420 +- 253 (DATA 2) 389 +- 246 (CPLX 1) 257 +- 157 257 4. Result of simulated annealing (10 separate runs). Simulated annealing: 9662 +- 8548 4810 +- 7908 14864 +- 21769 13613 +- 11766 8971 +- 11691 9608 +- 14816 3922 +- 4157 5507 +- 11164 6530 +- 8952 12189 +- 19149 3922 5. Result of iterative sampling (10 separate runs). Early runs fail until the global maximum energy is set reasonably high. ISAMP: 13147 +- 30417 failure 13955 +- 15002 failure 17406 +- 17798 failure 17474 +- 17623 failure 4955 +- 4722 6502 +- 7222 3300 +- 3438 18630 +- 16400 failure 3586 +- 3523 22725 +- 26564 failure 3300 6. Result of beam search with beam width of 10. Beam search: 14215 +- 12849 NIL 7770 +- 7934 ((SCED 5)) 9510 +- 11415 ((SCED 4)) 9721 +- 10714 ((SCED 3)) 14151 +- 14757 ((SCED 1)) 14700 +- 14737 ((SCED 2)) 5556 +- 8409 ((SITE 6) (SCED 5)) 7040 +- 6986 ((SITE 4) (SCED 5)) 7058 +- 8900 ((SITE 5) (SCED 5)) 8532 +- 12371 ((SITE 1) (SCED 5)) 9510 +- 11415 ((SCED 4)) 9721 +- 10714 ((SCED 3)) 9855 +- 12504 ((SITE 2) (SCED 5)) 9962 +- 7732 ((SITE 3) (SCED 5)) 14151 +- 14757 ((SCED 1)) 14700 +- 14737 ((SCED 2)) 6294 +- 5971 ((RUSE 2) (SITE 6) (SCED 5)) 5078 +- 4968 ((RUSE 3) (SITE 6) (SCED 5)) 5753 +- 7278 ((RUSE 4) (SITE 6) (SCED 5)) 6704 +- 8961 ((RUSE 5) (SITE 6) (SCED 5)) 6985 +- 8227 ((RUSE 6) (SITE 6) (SCED 5)) 7040 +- 6986 ((SITE 4) (SCED 5)) 7058 +- 8900 ((SITE 5) (SCED 5)) 8532 +- 12371 ((SITE 1) (SCED 5)) 9510 +- 11415 ((SCED 4)) 9721 +- 10714 ((SCED 3)) 4502 +- 4935 ((STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 4874 +- 5664 ((STOR 6) (RUSE 2) (SITE 6) (SCED 5)) 4884 +- 3937 ((STOR 4) (RUSE 2) (SITE 6) (SCED 5)) 5078 +- 4968 ((RUSE 3) (SITE 6) (SCED 5)) 5298 +- 4864 ((STOR 5) (RUSE 2) (SITE 6) (SCED 5)) 5753 +- 7278 ((RUSE 4) (SITE 6) (SCED 5)) 6704 +- 8961 ((RUSE 5) (SITE 6) (SCED 5)) 6985 +- 8227 ((RUSE 6) (SITE 6) (SCED 5)) 7040 +- 6986 ((SITE 4) (SCED 5)) 7058 +- 8900 ((SITE 5) (SCED 5)) 3305 +- 4606 ((PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 3145 +- 4865 ((PCAP 4) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 3694 +- 2801 ((PCAP 3) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 3884 +- 6843 ((PCAP 2) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 4843 +- 4629 ((PCAP 1) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 4874 +- 5664 ((STOR 6) (RUSE 2) (SITE 6) (SCED 5)) 4884 +- 3937 ((STOR 4) (RUSE 2) (SITE 6) (SCED 5)) 5078 +- 4968 ((RUSE 3) (SITE 6) (SCED 5)) 5298 +- 4864 ((STOR 5) (RUSE 2) (SITE 6) (SCED 5)) 5753 +- 7278 ((RUSE 4) (SITE 6) (SCED 5)) 2158 +- 2645 ((ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 2261 +- 2424 ((ETAT 5) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 3145 +- 4865 ((PCAP 4) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 3694 +- 2801 ((PCAP 3) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 3884 +- 6843 ((PCAP 2) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 3996 +- 4944 ((ETAT 4) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 4153 +- 4522 ((ETAT 2) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 4843 +- 4629 ((PCAP 1) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 4874 +- 5664 ((STOR 6) (RUSE 2) (SITE 6) (SCED 5)) 4884 +- 3937 ((STOR 4) (RUSE 2) (SITE 6) (SCED 5)) 1631 +- 1045 ((AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1912 +- 1816 ((AEXP 3) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 2179 +- 2054 ((AEXP 4) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 2261 +- 2424 ((ETAT 5) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 2841 +- 3650 ((AEXP 2) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 2938 +- 4120 ((AEXP 1) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 3145 +- 4865 ((PCAP 4) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 3694 +- 2801 ((PCAP 3) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 3884 +- 6843 ((PCAP 2) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 3996 +- 4944 ((ETAT 4) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1536 +- 1685 ((PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1339 +- 1427 ((PLEX 5) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1538 +- 1586 ((PLEX 3) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1674 +- 2206 ((PLEX 1) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1822 +- 2034 ((PLEX 2) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1912 +- 1816 ((AEXP 3) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 2179 +- 2054 ((AEXP 4) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 2261 +- 2424 ((ETAT 5) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 2841 +- 3650 ((AEXP 2) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 2938 +- 4120 ((AEXP 1) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1305 +- 1646 ((CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1143 +- 1329 ((CPLX 2) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1339 +- 1427 ((PLEX 5) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1538 +- 1586 ((PLEX 3) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1579 +- 1313 ((CPLX 4) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1588 +- 1466 ((CPLX 3) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1605 +- 1904 ((CPLX 6) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1674 +- 2206 ((PLEX 1) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1719 +- 1309 ((CPLX 5) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1822 +- 2034 ((PLEX 2) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1109 +- 1193 ((DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1143 +- 1329 ((CPLX 2) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1339 +- 1427 ((PLEX 5) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1388 +- 1071 ((DATA 3) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1538 +- 1586 ((PLEX 3) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1538 +- 1402 ((DATA 5) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1547 +- 1123 ((DATA 4) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1579 +- 1313 ((CPLX 4) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1588 +- 1466 ((CPLX 3) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1605 +- 1904 ((CPLX 6) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 929 +- 1334 ((TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1004 +- 837 ((TIME 3) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1033 +- 1178 ((TIME 5) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1143 +- 1329 ((CPLX 2) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1238 +- 932 ((TIME 6) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1339 +- 1427 ((PLEX 5) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1388 +- 1071 ((DATA 3) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1538 +- 1586 ((PLEX 3) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1538 +- 1402 ((DATA 5) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1547 +- 1123 ((DATA 4) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 679 +- 926 ((RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 980 +- 1187 ((RELY 4) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1004 +- 837 ((TIME 3) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1033 +- 1178 ((TIME 5) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1143 +- 1329 ((CPLX 2) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1160 +- 1340 ((RELY 1) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1207 +- 812 ((RELY 2) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1238 +- 932 ((TIME 6) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1280 +- 1115 ((RELY 3) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1339 +- 1427 ((PLEX 5) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 935 +- 924 ((ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 917 +- 967 ((ACAP 5) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 980 +- 1187 ((RELY 4) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1004 +- 837 ((TIME 3) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1033 +- 1178 ((TIME 5) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1143 +- 1329 ((CPLX 2) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1160 +- 1340 ((RELY 1) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1207 +- 812 ((RELY 2) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1218 +- 999 ((ACAP 2) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1231 +- 1299 ((ACAP 3) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 618 +- 737 ((TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 861 +- 934 ((TOOL 4) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 916 +- 594 ((TOOL 3) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 917 +- 967 ((ACAP 5) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 980 +- 1187 ((RELY 4) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1004 +- 837 ((TIME 3) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1033 +- 1178 ((TIME 5) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1139 +- 1101 ((TOOL 2) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1143 +- 1329 ((CPLX 2) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1160 +- 1340 ((RELY 1) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 660 +- 705 ((FLEX 3) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 635 +- 938 ((FLEX 5) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 696 +- 723 ((FLEX 1) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 762 +- 919 ((FLEX 4) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 820 +- 516 ((FLEX 2) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 861 +- 934 ((TOOL 4) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 916 +- 594 ((TOOL 3) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 917 +- 967 ((ACAP 5) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 980 +- 1187 ((RELY 4) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 1004 +- 837 ((TIME 3) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 607 +- 556 ((PVOL 2) (FLEX 3) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 597 +- 454 ((PVOL 3) (FLEX 3) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 635 +- 938 ((FLEX 5) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 696 +- 723 ((FLEX 1) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 762 +- 919 ((FLEX 4) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 792 +- 832 ((PVOL 5) (FLEX 3) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 820 +- 516 ((FLEX 2) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 861 +- 934 ((TOOL 4) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 916 +- 594 ((TOOL 3) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 917 +- 967 ((ACAP 5) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 488 +- 418 ((TEAM 5) (PVOL 2) (FLEX 3) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 597 +- 454 ((PVOL 3) (FLEX 3) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 635 +- 938 ((FLEX 5) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 643 +- 465 ((TEAM 4) (PVOL 2) (FLEX 3) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 648 +- 812 ((TEAM 2) (PVOL 2) (FLEX 3) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 689 +- 919 ((TEAM 3) (PVOL 2) (FLEX 3) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 696 +- 723 ((FLEX 1) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 753 +- 633 ((TEAM 1) (PVOL 2) (FLEX 3) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 762 +- 919 ((FLEX 4) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 792 +- 832 ((PVOL 5) (FLEX 3) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 362 +- 403 ((LTEX 5) (TEAM 5) (PVOL 2) (FLEX 3) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 384 +- 396 ((LTEX 4) (TEAM 5) (PVOL 2) (FLEX 3) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 565 +- 318 ((LTEX 2) (TEAM 5) (PVOL 2) (FLEX 3) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 578 +- 452 ((LTEX 3) (TEAM 5) (PVOL 2) (FLEX 3) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 597 +- 454 ((PVOL 3) (FLEX 3) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 635 +- 938 ((FLEX 5) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 643 +- 465 ((TEAM 4) (PVOL 2) (FLEX 3) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 648 +- 812 ((TEAM 2) (PVOL 2) (FLEX 3) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 662 +- 470 ((LTEX 1) (TEAM 5) (PVOL 2) (FLEX 3) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 689 +- 919 ((TEAM 3) (PVOL 2) (FLEX 3) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 277 +- 280 ((RESL 5) (LTEX 5) (TEAM 5) (PVOL 2) (FLEX 3) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 326 +- 267 ((RESL 3) (LTEX 5) (TEAM 5) (PVOL 2) (FLEX 3) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 336 +- 245 ((RESL 4) (LTEX 5) (TEAM 5) (PVOL 2) (FLEX 3) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 384 +- 396 ((LTEX 4) (TEAM 5) (PVOL 2) (FLEX 3) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 403 +- 420 ((RESL 2) (LTEX 5) (TEAM 5) (PVOL 2) (FLEX 3) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 425 +- 340 ((RESL 1) (LTEX 5) (TEAM 5) (PVOL 2) (FLEX 3) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 565 +- 318 ((LTEX 2) (TEAM 5) (PVOL 2) (FLEX 3) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 578 +- 452 ((LTEX 3) (TEAM 5) (PVOL 2) (FLEX 3) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 597 +- 454 ((PVOL 3) (FLEX 3) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 635 +- 938 ((FLEX 5) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 242 +- 168 ((PCON 5) (RESL 5) (LTEX 5) (TEAM 5) (PVOL 2) (FLEX 3) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 238 +- 146 ((PCON 4) (RESL 5) (LTEX 5) (TEAM 5) (PVOL 2) (FLEX 3) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 282 +- 306 ((PCON 1) (RESL 5) (LTEX 5) (TEAM 5) (PVOL 2) (FLEX 3) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 285 +- 166 ((PCON 3) (RESL 5) (LTEX 5) (TEAM 5) (PVOL 2) (FLEX 3) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 294 +- 318 ((PCON 2) (RESL 5) (LTEX 5) (TEAM 5) (PVOL 2) (FLEX 3) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 326 +- 267 ((RESL 3) (LTEX 5) (TEAM 5) (PVOL 2) (FLEX 3) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 336 +- 245 ((RESL 4) (LTEX 5) (TEAM 5) (PVOL 2) (FLEX 3) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 384 +- 396 ((LTEX 4) (TEAM 5) (PVOL 2) (FLEX 3) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 403 +- 420 ((RESL 2) (LTEX 5) (TEAM 5) (PVOL 2) (FLEX 3) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 425 +- 340 ((RESL 1) (LTEX 5) (TEAM 5) (PVOL 2) (FLEX 3) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 130 +- 93 ((PR 6) (PCON 5) (RESL 5) (LTEX 5) (TEAM 5) (PVOL 2) (FLEX 3) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 160 +- 113 ((PR 5) (PCON 5) (RESL 5) (LTEX 5) (TEAM 5) (PVOL 2) (FLEX 3) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 210 +- 151 ((PR 3) (PCON 5) (RESL 5) (LTEX 5) (TEAM 5) (PVOL 2) (FLEX 3) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 213 +- 198 ((PR 4) (PCON 5) (RESL 5) (LTEX 5) (TEAM 5) (PVOL 2) (FLEX 3) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 238 +- 146 ((PCON 4) (RESL 5) (LTEX 5) (TEAM 5) (PVOL 2) (FLEX 3) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 268 +- 306 ((PR 1) (PCON 5) (RESL 5) (LTEX 5) (TEAM 5) (PVOL 2) (FLEX 3) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 269 +- 227 ((PR 2) (PCON 5) (RESL 5) (LTEX 5) (TEAM 5) (PVOL 2) (FLEX 3) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 282 +- 306 ((PCON 1) (RESL 5) (LTEX 5) (TEAM 5) (PVOL 2) (FLEX 3) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 285 +- 166 ((PCON 3) (RESL 5) (LTEX 5) (TEAM 5) (PVOL 2) (FLEX 3) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 294 +- 318 ((PCON 2) (RESL 5) (LTEX 5) (TEAM 5) (PVOL 2) (FLEX 3) (TOOL 5) (ACAP 4) (RELY 5) (TIME 4) (DATA 2) (CPLX 1) (PLEX 4) (AEXP 5) (ETAT 6) (PCAP 5) (STOR 3) (RUSE 2) (SITE 6) (SCED 5)) 67 7. Result of DFID. DFID: 13575 +- 14606 NIL 8083 +- 9802 ((RESL 5)) 8898 +- 10030 ((RESL 4)) 9782 +- 11345 ((RESL 3)) 10513 +- 13982 ((RESL 2)) 17869 +- 16136 ((RESL 1)) 7900 +- 7287 ((RESL 4)) 9782 +- 11345 ((RESL 3)) 10513 +- 13982 ((RESL 2)) 17869 +- 16136 ((RESL 1)) 12723 +- 10761 ((RESL 3)) 10513 +- 13982 ((RESL 2)) 17869 +- 16136 ((RESL 1)) 15110 +- 19760 ((RESL 2)) 17869 +- 16136 ((RESL 1)) 10834 +- 16687 ((RESL 1)) 8665 +- 15149 NIL 7402 +- 9738 ((RESL 5)) 10211 +- 11114 ((RESL 4)) 8593 +- 12204 ((RESL 3)) 10644 +- 12181 ((RESL 2)) 13268 +- 10613 ((RESL 1)) 6682 +- 6681 ((TOOL 5) (RESL 5)) 5508 +- 10818 ((TOOL 4) (RESL 5)) 7279 +- 9165 ((TOOL 3) (RESL 5)) 10185 +- 15698 ((TOOL 2) (RESL 5)) 10999 +- 10821 ((TOOL 1) (RESL 5)) 10211 +- 11114 ((RESL 4)) 8593 +- 12204 ((RESL 3)) 10644 +- 12181 ((RESL 2)) 13268 +- 10613 ((RESL 1)) 6423 +- 9360 ((TOOL 4) (RESL 5)) 7279 +- 9165 ((TOOL 3) (RESL 5)) 10185 +- 15698 ((TOOL 2) (RESL 5)) 10999 +- 10821 ((TOOL 1) (RESL 5)) 10211 +- 11114 ((RESL 4)) 8593 +- 12204 ((RESL 3)) 10644 +- 12181 ((RESL 2)) 13268 +- 10613 ((RESL 1)) 9489 +- 9962 ((TOOL 3) (RESL 5)) 10185 +- 15698 ((TOOL 2) (RESL 5)) 10999 +- 10821 ((TOOL 1) (RESL 5)) 10211 +- 11114 ((RESL 4)) 8593 +- 12204 ((RESL 3)) 10644 +- 12181 ((RESL 2)) 13268 +- 10613 ((RESL 1)) 7210 +- 9613 ((TOOL 2) (RESL 5)) 10999 +- 10821 ((TOOL 1) (RESL 5)) 10211 +- 11114 ((RESL 4)) 8593 +- 12204 ((RESL 3)) 10644 +- 12181 ((RESL 2)) 13268 +- 10613 ((RESL 1)) 10365 +- 15257 ((TOOL 1) (RESL 5)) 10211 +- 11114 ((RESL 4)) 8593 +- 12204 ((RESL 3)) 10644 +- 12181 ((RESL 2)) 13268 +- 10613 ((RESL 1)) 9089 +- 9513 ((RESL 4)) 8593 +- 12204 ((RESL 3)) 10644 +- 12181 ((RESL 2)) 13268 +- 10613 ((RESL 1)) 6421 +- 6275 ((TOOL 5) (RESL 4)) 7733 +- 9264 ((TOOL 4) (RESL 4)) 10520 +- 19677 ((TOOL 3) (RESL 4)) 9916 +- 8587 ((TOOL 2) (RESL 4)) 9094 +- 16395 ((TOOL 1) (RESL 4)) 8593 +- 12204 ((RESL 3)) 10644 +- 12181 ((RESL 2)) 13268 +- 10613 ((RESL 1)) 10726 +- 8074 ((TOOL 4) (RESL 4)) 10520 +- 19677 ((TOOL 3) (RESL 4)) 9916 +- 8587 ((TOOL 2) (RESL 4)) 9094 +- 16395 ((TOOL 1) (RESL 4)) 8593 +- 12204 ((RESL 3)) 10644 +- 12181 ((RESL 2)) 13268 +- 10613 ((RESL 1)) 12991 +- 16036 ((TOOL 3) (RESL 4)) 9916 +- 8587 ((TOOL 2) (RESL 4)) 9094 +- 16395 ((TOOL 1) (RESL 4)) 8593 +- 12204 ((RESL 3)) 10644 +- 12181 ((RESL 2)) 13268 +- 10613 ((RESL 1)) 12056 +- 17988 ((TOOL 2) (RESL 4)) 9094 +- 16395 ((TOOL 1) (RESL 4)) 8593 +- 12204 ((RESL 3)) 10644 +- 12181 ((RESL 2)) 13268 +- 10613 ((RESL 1)) 10574 +- 17747 ((TOOL 1) (RESL 4)) 8593 +- 12204 ((RESL 3)) 10644 +- 12181 ((RESL 2)) 13268 +- 10613 ((RESL 1)) 9555 +- 12205 ((RESL 3)) 10644 +- 12181 ((RESL 2)) 13268 +- 10613 ((RESL 1)) 10194 +- 10200 ((TOOL 5) (RESL 3)) 11002 +- 14563 ((TOOL 4) (RESL 3)) 10080 +- 8041 ((TOOL 3) (RESL 3)) 12243 +- 10947 ((TOOL 2) (RESL 3)) 16424 +- 13466 ((TOOL 1) (RESL 3)) 10644 +- 12181 ((RESL 2)) 13268 +- 10613 ((RESL 1)) 10907 +- 14156 ((TOOL 4) (RESL 3)) 10080 +- 8041 ((TOOL 3) (RESL 3)) 12243 +- 10947 ((TOOL 2) (RESL 3)) 16424 +- 13466 ((TOOL 1) (RESL 3)) 10644 +- 12181 ((RESL 2)) 13268 +- 10613 ((RESL 1)) 12307 +- 8139 ((TOOL 3) (RESL 3)) 12243 +- 10947 ((TOOL 2) (RESL 3)) 16424 +- 13466 ((TOOL 1) (RESL 3)) 10644 +- 12181 ((RESL 2)) 13268 +- 10613 ((RESL 1)) 12725 +- 13988 ((TOOL 2) (RESL 3)) 16424 +- 13466 ((TOOL 1) (RESL 3)) 10644 +- 12181 ((RESL 2)) 13268 +- 10613 ((RESL 1)) 10975 +- 25370 ((TOOL 1) (RESL 3)) 10644 +- 12181 ((RESL 2)) 13268 +- 10613 ((RESL 1)) 14569 +- 19450 ((RESL 2)) 13268 +- 10613 ((RESL 1)) 9560 +- 15974 ((TOOL 5) (RESL 2)) 10704 +- 20560 ((TOOL 4) (RESL 2)) 9772 +- 12678 ((TOOL 3) (RESL 2)) 13916 +- 17364 ((TOOL 2) (RESL 2)) 14391 +- 25486 ((TOOL 1) (RESL 2)) 13268 +- 10613 ((RESL 1)) 8472 +- 12531 ((TOOL 4) (RESL 2)) 9772 +- 12678 ((TOOL 3) (RESL 2)) 13916 +- 17364 ((TOOL 2) (RESL 2)) 14391 +- 25486 ((TOOL 1) (RESL 2)) 13268 +- 10613 ((RESL 1)) 10769 +- 12148 ((TOOL 3) (RESL 2)) 13916 +- 17364 ((TOOL 2) (RESL 2)) 14391 +- 25486 ((TOOL 1) (RESL 2)) 13268 +- 10613 ((RESL 1)) 19452 +- 15439 ((TOOL 2) (RESL 2)) 14391 +- 25486 ((TOOL 1) (RESL 2)) 13268 +- 10613 ((RESL 1)) 16440 +- 17910 ((TOOL 1) (RESL 2)) 13268 +- 10613 ((RESL 1)) 11567 +- 16366 ((RESL 1)) 11319 +- 10001 ((TOOL 5) (RESL 1)) 15329 +- 13389 ((TOOL 4) (RESL 1)) 15040 +- 11574 ((TOOL 3) (RESL 1)) 14122 +- 12905 ((TOOL 2) (RESL 1)) 15758 +- 22530 ((TOOL 1) (RESL 1)) 14202 +- 16119 ((TOOL 4) (RESL 1)) 15040 +- 11574 ((TOOL 3) (RESL 1)) 14122 +- 12905 ((TOOL 2) (RESL 1)) 15758 +- 22530 ((TOOL 1) (RESL 1)) 10792 +- 14618 ((TOOL 3) (RESL 1)) 14122 +- 12905 ((TOOL 2) (RESL 1)) 15758 +- 22530 ((TOOL 1) (RESL 1)) 11826 +- 17854 ((TOOL 2) (RESL 1)) 15758 +- 22530 ((TOOL 1) (RESL 1)) 19926 +- 21141 ((TOOL 1) (RESL 1)) 9081 +- 9727 NIL 8218 +- 7217 ((RESL 5)) 10016 +- 9308 ((RESL 4)) 9611 +- 9412 ((RESL 3)) 10498 +- 14244 ((RESL 2)) 10146 +- 11171 ((RESL 1)) 6976 +- 9722 ((TOOL 5) (RESL 5)) 6932 +- 12245 ((TOOL 4) (RESL 5)) 7832 +- 8228 ((TOOL 3) (RESL 5)) 10839 +- 8688 ((TOOL 2) (RESL 5)) 10025 +- 14356 ((TOOL 1) (RESL 5)) 10016 +- 9308 ((RESL 4)) 9611 +- 9412 ((RESL 3)) 10498 +- 14244 ((RESL 2)) 10146 +- 11171 ((RESL 1)) 5337 +- 6431 ((TEAM 5) (TOOL 5) (RESL 5)) 5052 +- 5833 ((TEAM 4) (TOOL 5) (RESL 5)) 7733 +- 7208 ((TEAM 3) (TOOL 5) (RESL 5)) 6386 +- 8069 ((TEAM 2) (TOOL 5) (RESL 5)) 7532 +- 12966 ((TEAM 1) (TOOL 5) (RESL 5)) 6932 +- 12245 ((TOOL 4) (RESL 5)) 7832 +- 8228 ((TOOL 3) (RESL 5)) 10839 +- 8688 ((TOOL 2) (RESL 5)) 10025 +- 14356 ((TOOL 1) (RESL 5)) 10016 +- 9308 ((RESL 4)) 9611 +- 9412 ((RESL 3)) 10498 +- 14244 ((RESL 2)) 10146 +- 11171 ((RESL 1)) 4808 8. Result of MaxWalkSat (10 separate runs). MaxWalkSat: 1844 +- 1956 5353 +- 6892 15190 +- 10222 5101 +- 3883 8944 +- 6371 6350 +- 7671 8071 +- 6392 8118 +- 8213 5012 +- 7784 3267 +- 3989 1844