log

10
town10 avec 3 couleurs (attendu True) :  True
Base de clause utilise  30  variables et contient les clauses suivantes :
[1001, 1002, 1003]
[2001, 2002, 2003]
[3001, 3002, 3003]
[4001, 4002, 4003]
[5001, 5002, 5003]
[6001, 6002, 6003]
[7001, 7002, 7003]
[8001, 8002, 8003]
[9001, 9002, 9003]
[10001, 10002, 10003]
[-1001, -2001]
[-1001, -3001]
[-1002, -2002]
[-1002, -3002]
[-1003, -2003]
[-1003, -3003]
[-2001, -1001]
[-2001, -4001]
[-2001, -5001]
[-2002, -1002]
[-2002, -4002]
[-2002, -5002]
[-2003, -1003]
[-2003, -4003]
[-2003, -5003]
[-3001, -1001]
[-3001, -4001]
[-3001, -6001]
[-3002, -1002]
[-3002, -4002]
[-3002, -6002]
[-3003, -1003]
[-3003, -4003]
[-3003, -6003]
[-4001, -2001]
[-4001, -3001]
[-4001, -5001]
[-4001, -7001]
[-4002, -2002]
[-4002, -3002]
[-4002, -5002]
[-4002, -7002]
[-4003, -2003]
[-4003, -3003]
[-4003, -5003]
[-4003, -7003]
[-5001, -2001]
[-5001, -4001]
[-5001, -6001]
[-5001, -9001]
[-5002, -2002]
[-5002, -4002]
[-5002, -6002]
[-5002, -9002]
[-5003, -2003]
[-5003, -4003]
[-5003, -6003]
[-5003, -9003]
[-6001, -3001]
[-6001, -5001]
[-6001, -7001]
[-6002, -3002]
[-6002, -5002]
[-6002, -7002]
[-6003, -3003]
[-6003, -5003]
[-6003, -7003]
[-7001, -4001]
[-7001, -6001]
[-7001, -8001]
[-7001, -9001]
[-7002, -4002]
[-7002, -6002]
[-7002, -8002]
[-7002, -9002]
[-7003, -4003]
[-7003, -6003]
[-7003, -8003]
[-7003, -9003]
[-8001, -7001]
[-8001, -9001]
[-8001, -10001]
[-8002, -7002]
[-8002, -9002]
[-8002, -10002]
[-8003, -7003]
[-8003, -9003]
[-8003, -10003]
[-9001, -5001]
[-9001, -7001]
[-9001, -8001]
[-9001, -10001]
[-9002, -5002]
[-9002, -7002]
[-9002, -8002]
[-9002, -10002]
[-9003, -5003]
[-9003, -7003]
[-9003, -8003]
[-9003, -10003]
[-10001, -8001]
[-10001, -9001]
[-10002, -8002]
[-10002, -9002]
[-10003, -8003]
[-10003, -9003]
town10 avec 2 couleurs (attendu False) :  False
town10 avec 4 couleurs (attendu True) :  True
20
flat20_3_0.col avec 4 couleurs (attendu True) :  True
flat20_3_0.col avec 3 couleurs (attendu True) :  True
flat20_3_0.col avec 2 couleurs (attendu False) :  False
80
jean.col avec 10 couleurs (attendu True) :  True
jean.col avec 9 couleurs (attendu False) :  False
jean.col avec 3 couleurs (attendu False) :  False
10
Sur 10 villes de 0  à  9  : [ 9 8 4 1 0 ]
la lg du plus court chemin est  1190.971503412202
9
=======(nb d'etats explores = 7)========
=======(nb d'etats generes = 21)========

Sur 10 villes de 5  à  9  : [ 9 8 6 5 ]
la lg du plus court chemin est  858.6177055898913
9
=======(nb d'etats explores = 5)========
=======(nb d'etats generes = 16)========

Sur 10 villes de 2  à  9  : [ 9 8 6 3 2 ]
la lg du plus court chemin est  1090.639192762493
9
=======(nb d'etats explores = 10)========
=======(nb d'etats generes = 31)========

Sur 10 villes de 1  à  7  : [ 7 6 3 1 ]
la lg du plus court chemin est  889.1949043390727
7
=======(nb d'etats explores = 5)========
=======(nb d'etats generes = 14)========

26
Sur 26 villes de 0  à  25  : [ 25 24 19 16 12 5 3 0 ]
la lg du plus court chemin est  1856.5
25
=======(nb d'etats explores = 20)========
=======(nb d'etats generes = 76)========

146
Sur 146 villes de 0  à  145  : [ 145 133 111 89 69 45 5 0 ]
la lg du plus court chemin est  1143.0000000000002
145
=======(nb d'etats explores = 150)========
=======(nb d'etats generes = 1327)========

998
Sur 998 villes de 0  à  997  : [ 997 964 829 646 386 261 126 0 ]
la lg du plus court chemin est  726.7
997
=======(nb d'etats explores = 1000)========
=======(nb d'etats generes = 44862)========

10
sur 10 villes : [0, 1, 3, 4, 8, 9, 7, 6, 5, 2, 0]
la lg du plus court chemin est  3792.190362007193
0 1 3 4 8 9 7 6 5 2 0
=======(nb d'etats explores = 330)========
=======(nb d'etats generes = 341)========

6
Le chemin trouvé est : 
0 -> 1 -> 2 -> 3 -> 5 -> 4 -> 0
la lg du plus court chemin est  1360.6495955560758
0 1 2 3 5 4 0
=======(nb d'etats explores = 131)========
=======(nb d'etats generes = 238)========

7
Le chemin trouvé est : 
0 -> 1 -> 2 -> 3 -> 6 -> 5 -> 4 -> 0
la lg du plus court chemin est  1638.459980067224
0 1 2 3 6 5 4 0
=======(nb d'etats explores = 552)========
=======(nb d'etats generes = 1110)========

8
Le chemin trouvé est : 
0 -> 4 -> 5 -> 7 -> 6 -> 3 -> 2 -> 1 -> 0
la lg du plus court chemin est  1729.6228205017967
0 4 5 7 6 3 2 1 0
=======(nb d'etats explores = 1430)========
=======(nb d'etats generes = 3514)========

9
Le chemin trouvé est : 
0 -> 1 -> 2 -> 3 -> 6 -> 7 -> 5 -> 8 -> 4 -> 0
la lg du plus court chemin est  1855.2162397331167
0 1 2 3 6 7 5 8 4 0
=======(nb d'etats explores = 4796)========
=======(nb d'etats generes = 13342)========

10
======== Solver 1 pour 10 villes de 0 a 9 : 

HC avec plusieurs essais et tirage aleatoire d'une nelle solution pour chaque essai

La meilleure solution obtenue : Le chemin optimal est : 7 9 3 6 5 8 4 1 0 2 7
La meilleure solution a une valeur de 2840.498094901218=======(arret apres 100 essais : nb d'etats explores = 142)========


======== Solver 2 pour 10 villes de 0 a 9 : 

	 Il y a 90 tabou(s) :

La meilleure solution obtenue : Le chemin optimal est : 7 5 8 9 4 0 1 2 3 6 7
La meilleure solution a une valeur de 2026.2675322208258=======(arret apres 100 essais : nb d'etats explores = 100)========

26

======== Solver 1 pour 26 villes de 0 a 25 : 

HC avec plusieurs essais et tirage aleatoire d'une nelle solution pour chaque essai

La meilleure solution obtenue : Le chemin optimal est : 16 25 17 3 1 22 23 14 10 9 6 7 5 4 2 8 0 13 20 19 21 24 15 18 12 11 16
La meilleure solution a une valeur de 6266.682822219464=======(arret apres 100 essais : nb d'etats explores = 155)========


======== Solver 2 pour 26 villes de 0 a 25 : 

	 Il y a 65 tabou(s) :

La meilleure solution obtenue : Le chemin optimal est : 1 6 3 2 0 5 7 10 15 14 22 25 24 21 23 18 11 12 9 16 19 20 17 13 8 4 1
La meilleure solution a une valeur de 2810.698302010706=======(arret apres 100 essais : nb d'etats explores = 200)========

146

======== Solver 1 pour 150 villes : 

HC avec plusieurs essais et tirage aleatoire d'une nelle solution pour chaque essai

La meilleure solution obtenue : Le chemin optimal est : 36 130 131 38 54 20 28 145 132 77 69 53 33 123 62 105 126 4 41 12 11 5 3 1 138 122 112 80 99 76 78 88 34 19 9 6 30 31 83 70 14 50 65 27 86 29 21 75 17 0 106 102 61 73 90 134 121 23 87 91 119 16 58 97 142 67 136 26 81 60 45 8 39 135 109 43 89 98 13 85 56 66 111 64 94 108 137 144 57 59 44 82 125 124 40 32 15 63 49 7 100 24 117 107 92 127 47 71 52 74 96 95 46 51 37 79 18 101 141 55 103 84 48 25 116 104 2 113 22 110 114 140 115 93 35 118 42 68 72 133 128 139 10 129 143 120 36
La meilleure solution a une valeur de 38028.439282396095=======(arret apres 100 essais : nb d'etats explores = 185)========


======== Solver 2 pour 150 villes : 

	 Il y a 0 tabou(s) :

La meilleure solution obtenue : Le chemin optimal est : 58 45 27 2 24 7 41 32 36 30 17 18 8 6 19 9 16 31 0 3 23 1 38 49 79 91 57 54 60 63 68 40 51 34 55 59 44 37 25 46 35 66 65 70 56 48 39 92 85 93 87 78 108 75 103 137 131 126 139 114 141 104 107 111 144 128 145 133 125 135 134 83 80 94 113 97 90 53 72 89 82 95 96 28 4 12 22 14 42 10 15 20 13 43 62 61 64 29 33 5 47 11 21 26 69 84 115 100 142 124 129 130 132 105 136 123 121 101 116 112 99 106 119 98 138 127 143 122 140 110 117 118 120 86 74 50 52 81 73 76 109 102 71 67 88 77 58
La meilleure solution a une valeur de 12179.016383371227=======(arret apres 100 essais : nb d'etats explores = 300)========

998

======== Solver 1 pour 1000 villes : 

HC avec plusieurs essais et tirage aleatoire d'une nelle solution pour chaque essai

La meilleure solution obtenue : Le chemin optimal est : 331 746 700 536 57 208 393 262 766 973 983 846 199 220 952 549 905 215 160 732 229 418 539 639 806 237 710 250 503 285 493 661 789 697 364 923 963 143 301 263 349 104 929 296 855 460 225 389 33 10 365 204 18 672 195 14 684 63 114 659 310 8 581 4 68 315 52 912 678 259 553 612 781 878 356 172 453 750 557 99 80 528 309 174 860 408 960 179 38 346 166 475 298 565 339 778 476 843 836 870 540 840 644 266 36 317 792 477 409 822 564 797 984 329 145 13 729 964 716 810 387 891 727 42 520 568 401 588 144 731 699 213 281 381 763 803 629 811 555 116 965 369 470 148 95 484 478 333 930 510 541 625 981 721 834 909 327 835 632 106 486 611 468 286 857 385 66 372 24 535 343 438 844 653 642 379 962 306 432 694 780 617 656 910 650 779 363 398 257 299 605 58 807 826 709 241 131 762 820 157 831 542 147 668 455 814 847 773 505 457 524 753 515 645 613 873 875 990 294 883 391 563 338 738 651 214 132 394 894 357 123 903 864 197 691 896 34 692 29 996 985 414 127 977 254 376 513 146 953 920 251 921 548 756 62 350 359 0 522 537 614 744 366 680 456 712 71 430 183 705 533 624 758 708 720 666 47 119 161 206 759 126 419 795 958 275 69 290 813 380 827 649 97 599 882 761 268 908 578 893 314 467 255 164 375 388 757 293 3 452 340 181 945 472 124 136 623 529 734 662 399 607 583 246 917 725 747 812 518 189 184 469 936 574 462 791 824 496 446 282 212 841 741 671 238 901 922 832 988 880 77 634 572 596 464 305 316 845 755 924 595 669 618 733 871 118 17 209 396 12 488 265 192 202 622 938 185 751 236 300 1 441 636 19 972 205 75 187 979 516 345 504 461 874 105 403 445 652 480 898 647 829 312 341 798 224 252 955 863 718 48 322 304 156 752 473 934 103 336 739 88 907 422 276 906 859 711 498 558 850 782 415 685 512 772 168 598 135 386 884 800 604 51 292 44 768 79 722 627 957 715 165 405 242 530 902 966 559 569 222 561 406 664 643 935 328 585 848 554 932 584 701 688 459 895 72 94 439 451 665 838 566 918 313 180 200 728 423 226 877 971 443 361 261 793 769 434 532 928 889 944 686 277 474 646 444 7 320 508 107 67 65 53 819 842 140 274 270 821 805 377 137 794 745 987 458 407 579 28 854 26 852 128 463 76 601 943 240 483 961 153 970 582 809 86 748 735 151 360 50 785 90 633 679 190 786 602 823 494 245 351 914 538 815 737 609 719 638 15 989 178 232 640 73 390 203 839 927 191 589 428 334 942 948 6 218 23 60 856 487 25 670 837 436 348 687 448 108 937 318 287 211 141 413 916 217 142 435 749 158 374 120 311 420 78 117 897 121 219 98 872 326 325 851 690 426 817 833 278 485 138 177 442 500 828 713 743 980 993 570 82 424 295 674 273 534 933 730 525 370 573 491 523 93 110 221 307 858 949 551 899 853 765 641 767 31 702 70 556 799 416 134 673 677 11 186 590 264 83 706 956 562 169 431 545 231 497 784 133 676 383 626 35 81 87 775 867 289 55 235 777 519 714 969 91 427 740 926 440 577 41 925 975 620 43 378 30 967 482 726 526 489 417 527 630 658 950 939 760 171 479 100 663 707 660 247 866 155 511 302 89 112 402 249 56 869 892 170 492 284 816 507 194 619 637 771 45 92 410 223 59 352 228 635 808 888 723 543 591 230 347 904 280 397 946 911 576 32 437 150 544 167 698 152 248 308 412 210 421 683 913 16 560 382 885 693 159 384 502 111 267 400 64 324 787 471 514 182 825 830 22 802 724 890 531 139 783 21 130 342 101 992 606 978 74 46 303 959 954 655 648 154 575 481 947 801 717 818 122 628 234 770 429 881 354 198 362 995 371 272 433 631 587 358 297 207 283 450 40 790 982 586 102 129 616 788 900 162 201 395 175 968 332 188 567 592 764 915 465 517 113 593 681 615 919 173 85 774 571 703 931 657 367 344 552 597 96 495 49 61 5 454 876 754 736 689 521 355 862 243 196 425 603 849 879 353 695 2 580 696 499 279 986 865 682 951 776 887 600 742 335 997 940 546 27 368 239 861 501 9 291 84 868 466 163 594 125 256 176 804 886 621 610 54 490 271 667 509 654 193 323 227 411 330 258 704 994 991 109 675 449 260 288 20 796 39 115 392 608 321 976 149 404 974 37 216 447 244 233 941 550 253 373 506 337 547 269 319 331
La meilleure solution a une valeur de 277570.95222974196=======(arret apres 100 essais : nb d'etats explores = 213)========


======== Solver 2 pour 1000 villes : 

	 Il y a 0 tabou(s) :

La meilleure solution obtenue : Le chemin optimal est : 836 879 737 286 113 418 673 798 244 37 124 815 806 884 963 839 790 812 750 743 542 768 736 741 218 240 476 617 533 690 921 347 732 611 454 88 532 978 479 604 177 116 600 159 87 509 560 819 629 217 563 756 878 979 888 704 630 380 212 255 373 278 488 315 60 569 561 663 115 783 366 655 950 271 636 653 384 857 772 793 337 620 686 230 312 133 463 520 7 586 220 192 522 874 996 982 805 487 974 792 709 262 316 924 997 429 814 288 38 79 148 170 397 580 964 730 173 57 157 409 334 933 752 152 497 387 355 130 136 574 91 58 18 283 100 527 899 920 746 667 362 180 36 84 3 61 332 45 146 75 122 205 207 713 784 723 662 797 215 941 918 809 816 854 870 417 398 919 880 640 810 914 749 897 922 841 887 508 694 219 470 31 131 266 309 6 868 652 711 788 672 959 894 572 49 734 426 353 931 731 801 303 757 17 27 298 94 445 313 774 927 871 886 938 995 890 712 221 458 73 223 59 252 64 294 548 327 444 168 930 896 530 69 204 867 799 597 490 410 239 787 945 237 211 536 729 844 689 917 602 330 23 183 643 678 864 883 587 471 795 872 929 9 42 517 957 681 833 835 724 706 606 650 726 764 393 912 932 656 534 203 129 722 528 365 860 954 965 910 855 947 646 251 771 477 775 692 451 473 590 416 194 304 807 408 925 845 703 438 688 446 800 695 898 754 882 893 475 571 269 503 588 516 245 95 484 311 721 779 786 549 716 612 594 511 343 371 623 902 951 909 988 539 326 125 193 81 202 556 671 789 440 214 406 495 718 552 889 485 104 616 510 280 15 831 846 523 85 310 153 758 687 680 875 614 336 601 229 208 154 92 185 378 853 382 541 977 981 908 862 233 632 383 699 363 559 47 145 162 86 381 747 967 952 994 449 582 659 260 232 971 992 635 121 958 824 464 669 538 461 411 710 364 613 209 53 494 54 156 66 431 273 5 521 986 401 249 160 277 191 573 77 744 727 906 834 553 637 506 666 980 866 861 852 761 547 803 903 314 8 369 391 578 93 141 537 175 968 837 499 442 282 299 696 420 101 386 39 119 118 376 165 328 472 639 455 281 407 284 621 581 562 256 161 96 171 849 926 404 35 198 275 199 915 210 826 439 507 822 738 443 728 227 46 421 300 568 197 63 105 512 329 187 111 32 106 30 26 50 12 90 56 459 937 830 591 753 693 633 717 828 78 529 359 811 425 911 423 881 907 842 526 405 340 715 923 589 796 765 848 966 877 641 705 545 504 535 254 502 331 243 16 62 259 253 546 67 29 308 755 565 891 900 627 1 306 469 399 419 725 827 323 163 143 151 760 990 356 514 625 935 261 242 274 51 43 19 307 392 610 751 592 290 489 483 817 701 608 566 647 961 354 773 603 34 24 285 432 195 651 813 972 658 531 825 708 231 287 0 279 296 103 745 948 422 453 99 685 780 670 206 748 450 427 120 544 735 684 492 518 770 777 388 295 358 702 707 595 970 939 540 10 158 428 4 41 139 184 176 178 457 584 782 109 127 40 577 598 550 622 739 342 433 575 462 292 134 674 953 714 615 585 869 226 679 901 341 289 500 267 762 246 291 108 132 333 110 558 71 44 424 270 456 322 767 984 719 149 379 338 412 654 661 664 683 949 618 942 993 644 241 448 318 247 437 2 740 885 975 818 904 985 675 135 626 188 648 89 348 660 436 944 700 555 936 905 956 350 785 969 940 840 370 414 570 781 179 624 596 123 804 847 599 665 808 682 155 235 352 14 225 778 142 25 293 213 441 820 733 505 876 524 928 403 186 140 55 234 525 305 272 344 478 321 482 137 236 576 913 216 396 430 150 466 196 452 126 97 742 759 200 895 987 515 320 265 638 361 838 720 319 634 182 557 823 248 238 167 769 447 385 335 829 28 619 850 794 873 375 480 268 325 76 52 802 934 657 821 609 851 983 302 691 513 916 593 460 13 70 138 346 859 481 763 766 892 832 519 258 83 128 98 72 264 357 607 65 190 68 74 263 301 114 102 174 493 201 181 169 33 21 367 394 107 112 435 257 80 164 402 791 955 374 946 360 501 856 498 339 415 324 368 668 564 567 389 349 297 166 22 628 486 189 776 228 351 377 543 579 858 649 583 962 224 222 468 465 395 973 642 677 467 698 960 434 943 372 413 474 605 863 496 645 250 82 20 144 48 317 11 147 276 551 976 172 676 491 390 631 554 117 345 400 991 843 865 697 989 836
La meilleure solution a une valeur de 211703.9336309857=======(arret apres 100 essais : nb d'etats explores = 400)========


========== TEST  ==========
=============================
10

Test sur town10 avec 3 couleurs (on attend OK) :
======== OK avec 3 couleurs !
	 |  	 (nb de solutions = 66)
	0 = 3 | 1 = 1 | 2 = 2 | 3 = 3 | 4 = 2 | 5 = 3 | 6 = 2 | 7 = 1 | 8 = 3 | 9 = 2 | 
	0 = 3 | 1 = 1 | 2 = 2 | 3 = 3 | 4 = 2 | 5 = 1 | 6 = 2 | 7 = 1 | 8 = 3 | 9 = 2 | 
	0 = 2 | 1 = 1 | 2 = 1 | 3 = 3 | 4 = 2 | 5 = 3 | 6 = 2 | 7 = 1 | 8 = 3 | 9 = 2 | 
	0 = 3 | 1 = 1 | 2 = 1 | 3 = 3 | 4 = 2 | 5 = 3 | 6 = 2 | 7 = 1 | 8 = 3 | 9 = 2 | 
	0 = 3 | 1 = 1 | 2 = 2 | 3 = 3 | 4 = 2 | 5 = 1 | 6 = 2 | 7 = 3 | 8 = 1 | 9 = 2 | 
	0 = 3 | 1 = 1 | 2 = 2 | 3 = 3 | 4 = 2 | 5 = 3 | 6 = 2 | 7 = 3 | 8 = 1 | 9 = 2 | 
	0 = 2 | 1 = 1 | 2 = 1 | 3 = 3 | 4 = 2 | 5 = 3 | 6 = 2 | 7 = 3 | 8 = 1 | 9 = 2 | 
	0 = 3 | 1 = 1 | 2 = 1 | 3 = 3 | 4 = 2 | 5 = 3 | 6 = 2 | 7 = 3 | 8 = 1 | 9 = 2 | 
	0 = 3 | 1 = 1 | 2 = 2 | 3 = 3 | 4 = 2 | 5 = 3 | 6 = 1 | 7 = 2 | 8 = 3 | 9 = 1 | 
	0 = 2 | 1 = 1 | 2 = 1 | 3 = 3 | 4 = 2 | 5 = 3 | 6 = 1 | 7 = 2 | 8 = 3 | 9 = 1 | 
	0 = 3 | 1 = 1 | 2 = 1 | 3 = 3 | 4 = 2 | 5 = 3 | 6 = 1 | 7 = 2 | 8 = 3 | 9 = 1 | 
	0 = 1 | 1 = 2 | 2 = 2 | 3 = 3 | 4 = 1 | 5 = 3 | 6 = 2 | 7 = 1 | 8 = 3 | 9 = 2 | 
	0 = 3 | 1 = 2 | 2 = 2 | 3 = 3 | 4 = 1 | 5 = 3 | 6 = 2 | 7 = 1 | 8 = 3 | 9 = 2 | 
	0 = 3 | 1 = 2 | 2 = 1 | 3 = 3 | 4 = 1 | 5 = 3 | 6 = 2 | 7 = 1 | 8 = 3 | 9 = 2 | 
	0 = 1 | 1 = 2 | 2 = 2 | 3 = 3 | 4 = 1 | 5 = 3 | 6 = 1 | 7 = 3 | 8 = 2 | 9 = 1 | 
	0 = 3 | 1 = 2 | 2 = 2 | 3 = 3 | 4 = 1 | 5 = 3 | 6 = 1 | 7 = 3 | 8 = 2 | 9 = 1 | 
	0 = 3 | 1 = 2 | 2 = 1 | 3 = 3 | 4 = 1 | 5 = 2 | 6 = 1 | 7 = 3 | 8 = 2 | 9 = 1 | 
	0 = 3 | 1 = 2 | 2 = 1 | 3 = 3 | 4 = 1 | 5 = 3 | 6 = 1 | 7 = 3 | 8 = 2 | 9 = 1 | 
	0 = 1 | 1 = 2 | 2 = 2 | 3 = 3 | 4 = 1 | 5 = 3 | 6 = 1 | 7 = 2 | 8 = 3 | 9 = 1 | 
	0 = 3 | 1 = 2 | 2 = 2 | 3 = 3 | 4 = 1 | 5 = 3 | 6 = 1 | 7 = 2 | 8 = 3 | 9 = 1 | 
	0 = 3 | 1 = 2 | 2 = 1 | 3 = 3 | 4 = 1 | 5 = 2 | 6 = 1 | 7 = 2 | 8 = 3 | 9 = 1 | 
	0 = 3 | 1 = 2 | 2 = 1 | 3 = 3 | 4 = 1 | 5 = 3 | 6 = 1 | 7 = 2 | 8 = 3 | 9 = 1 | 
	0 = 2 | 1 = 1 | 2 = 3 | 3 = 2 | 4 = 3 | 5 = 1 | 6 = 3 | 7 = 2 | 8 = 1 | 9 = 3 | 
	0 = 2 | 1 = 1 | 2 = 3 | 3 = 2 | 4 = 3 | 5 = 2 | 6 = 3 | 7 = 2 | 8 = 1 | 9 = 3 | 
	0 = 3 | 1 = 1 | 2 = 1 | 3 = 2 | 4 = 3 | 5 = 2 | 6 = 3 | 7 = 2 | 8 = 1 | 9 = 3 | 
	0 = 2 | 1 = 1 | 2 = 1 | 3 = 2 | 4 = 3 | 5 = 2 | 6 = 3 | 7 = 2 | 8 = 1 | 9 = 3 | 
	0 = 2 | 1 = 1 | 2 = 3 | 3 = 2 | 4 = 3 | 5 = 1 | 6 = 3 | 7 = 1 | 8 = 2 | 9 = 3 | 
	0 = 2 | 1 = 1 | 2 = 3 | 3 = 2 | 4 = 3 | 5 = 2 | 6 = 3 | 7 = 1 | 8 = 2 | 9 = 3 | 
	0 = 3 | 1 = 1 | 2 = 1 | 3 = 2 | 4 = 3 | 5 = 2 | 6 = 3 | 7 = 1 | 8 = 2 | 9 = 3 | 
	0 = 2 | 1 = 1 | 2 = 1 | 3 = 2 | 4 = 3 | 5 = 2 | 6 = 3 | 7 = 1 | 8 = 2 | 9 = 3 | 
	0 = 2 | 1 = 1 | 2 = 3 | 3 = 2 | 4 = 3 | 5 = 2 | 6 = 1 | 7 = 3 | 8 = 2 | 9 = 1 | 
	0 = 3 | 1 = 1 | 2 = 1 | 3 = 2 | 4 = 3 | 5 = 2 | 6 = 1 | 7 = 3 | 8 = 2 | 9 = 1 | 
	0 = 2 | 1 = 1 | 2 = 1 | 3 = 2 | 4 = 3 | 5 = 2 | 6 = 1 | 7 = 3 | 8 = 2 | 9 = 1 | 
	0 = 1 | 1 = 3 | 2 = 3 | 3 = 2 | 4 = 1 | 5 = 2 | 6 = 3 | 7 = 1 | 8 = 2 | 9 = 3 | 
	0 = 2 | 1 = 3 | 2 = 3 | 3 = 2 | 4 = 1 | 5 = 2 | 6 = 3 | 7 = 1 | 8 = 2 | 9 = 3 | 
	0 = 2 | 1 = 3 | 2 = 1 | 3 = 2 | 4 = 1 | 5 = 2 | 6 = 3 | 7 = 1 | 8 = 2 | 9 = 3 | 
	0 = 1 | 1 = 3 | 2 = 3 | 3 = 2 | 4 = 1 | 5 = 2 | 6 = 1 | 7 = 2 | 8 = 3 | 9 = 1 | 
	0 = 2 | 1 = 3 | 2 = 3 | 3 = 2 | 4 = 1 | 5 = 2 | 6 = 1 | 7 = 2 | 8 = 3 | 9 = 1 | 
	0 = 2 | 1 = 3 | 2 = 1 | 3 = 2 | 4 = 1 | 5 = 3 | 6 = 1 | 7 = 2 | 8 = 3 | 9 = 1 | 
	0 = 2 | 1 = 3 | 2 = 1 | 3 = 2 | 4 = 1 | 5 = 2 | 6 = 1 | 7 = 2 | 8 = 3 | 9 = 1 | 
	0 = 1 | 1 = 3 | 2 = 3 | 3 = 2 | 4 = 1 | 5 = 2 | 6 = 1 | 7 = 3 | 8 = 2 | 9 = 1 | 
	0 = 2 | 1 = 3 | 2 = 3 | 3 = 2 | 4 = 1 | 5 = 2 | 6 = 1 | 7 = 3 | 8 = 2 | 9 = 1 | 
	0 = 2 | 1 = 3 | 2 = 1 | 3 = 2 | 4 = 1 | 5 = 3 | 6 = 1 | 7 = 3 | 8 = 2 | 9 = 1 | 
	0 = 2 | 1 = 3 | 2 = 1 | 3 = 2 | 4 = 1 | 5 = 2 | 6 = 1 | 7 = 3 | 8 = 2 | 9 = 1 | 
	0 = 1 | 1 = 3 | 2 = 2 | 3 = 1 | 4 = 2 | 5 = 1 | 6 = 2 | 7 = 3 | 8 = 1 | 9 = 2 | 
	0 = 1 | 1 = 3 | 2 = 2 | 3 = 1 | 4 = 2 | 5 = 3 | 6 = 2 | 7 = 3 | 8 = 1 | 9 = 2 | 
	0 = 2 | 1 = 3 | 2 = 3 | 3 = 1 | 4 = 2 | 5 = 1 | 6 = 2 | 7 = 3 | 8 = 1 | 9 = 2 | 
	0 = 1 | 1 = 3 | 2 = 3 | 3 = 1 | 4 = 2 | 5 = 1 | 6 = 2 | 7 = 3 | 8 = 1 | 9 = 2 | 
	0 = 1 | 1 = 3 | 2 = 2 | 3 = 1 | 4 = 2 | 5 = 3 | 6 = 2 | 7 = 1 | 8 = 3 | 9 = 2 | 
	0 = 1 | 1 = 3 | 2 = 2 | 3 = 1 | 4 = 2 | 5 = 1 | 6 = 2 | 7 = 1 | 8 = 3 | 9 = 2 | 
	0 = 2 | 1 = 3 | 2 = 3 | 3 = 1 | 4 = 2 | 5 = 1 | 6 = 2 | 7 = 1 | 8 = 3 | 9 = 2 | 
	0 = 1 | 1 = 3 | 2 = 3 | 3 = 1 | 4 = 2 | 5 = 1 | 6 = 2 | 7 = 1 | 8 = 3 | 9 = 2 | 
	0 = 1 | 1 = 3 | 2 = 2 | 3 = 1 | 4 = 2 | 5 = 1 | 6 = 3 | 7 = 2 | 8 = 1 | 9 = 3 | 
	0 = 2 | 1 = 3 | 2 = 3 | 3 = 1 | 4 = 2 | 5 = 1 | 6 = 3 | 7 = 2 | 8 = 1 | 9 = 3 | 
	0 = 1 | 1 = 3 | 2 = 3 | 3 = 1 | 4 = 2 | 5 = 1 | 6 = 3 | 7 = 2 | 8 = 1 | 9 = 3 | 
	0 = 3 | 1 = 2 | 2 = 2 | 3 = 1 | 4 = 3 | 5 = 1 | 6 = 2 | 7 = 3 | 8 = 1 | 9 = 2 | 
	0 = 1 | 1 = 2 | 2 = 2 | 3 = 1 | 4 = 3 | 5 = 1 | 6 = 2 | 7 = 3 | 8 = 1 | 9 = 2 | 
	0 = 1 | 1 = 2 | 2 = 3 | 3 = 1 | 4 = 3 | 5 = 1 | 6 = 2 | 7 = 3 | 8 = 1 | 9 = 2 | 
	0 = 3 | 1 = 2 | 2 = 2 | 3 = 1 | 4 = 3 | 5 = 1 | 6 = 3 | 7 = 1 | 8 = 2 | 9 = 3 | 
	0 = 1 | 1 = 2 | 2 = 2 | 3 = 1 | 4 = 3 | 5 = 1 | 6 = 3 | 7 = 1 | 8 = 2 | 9 = 3 | 
	0 = 1 | 1 = 2 | 2 = 3 | 3 = 1 | 4 = 3 | 5 = 2 | 6 = 3 | 7 = 1 | 8 = 2 | 9 = 3 | 
	0 = 1 | 1 = 2 | 2 = 3 | 3 = 1 | 4 = 3 | 5 = 1 | 6 = 3 | 7 = 1 | 8 = 2 | 9 = 3 | 
	0 = 3 | 1 = 2 | 2 = 2 | 3 = 1 | 4 = 3 | 5 = 1 | 6 = 3 | 7 = 2 | 8 = 1 | 9 = 3 | 
	0 = 1 | 1 = 2 | 2 = 2 | 3 = 1 | 4 = 3 | 5 = 1 | 6 = 3 | 7 = 2 | 8 = 1 | 9 = 3 | 
	0 = 1 | 1 = 2 | 2 = 3 | 3 = 1 | 4 = 3 | 5 = 2 | 6 = 3 | 7 = 2 | 8 = 1 | 9 = 3 | 
	0 = 1 | 1 = 2 | 2 = 3 | 3 = 1 | 4 = 3 | 5 = 1 | 6 = 3 | 7 = 2 | 8 = 1 | 9 = 3 | 
	

Test sur town10 avec 2 couleurs (on attend NOK) :
======== NOK ! Pas de solution

Test sur town10 avec 4 couleurs (on attend OK) :
======== OK avec 4 couleurs !
	 | 0 = 4 | 1 = 2 | 2 = 3 | 3 = 4 | 4 = 3 | 5 = 4 | 6 = 3 | 7 = 2 | 8 = 4 | 9 = 3 | 
20
Test sur flat20_3_0.col avec 4 couleurs (on attend OK) :
======== OK avec 4 couleurs !
	 | 0 = 2 | 1 = 3 | 2 = 4 | 3 = 2 | 4 = 2 | 5 = 2 | 6 = 3 | 7 = 3 | 8 = 3 | 9 = 2 | 10 = 2 | 11 = 4 | 12 = 4 | 13 = 3 | 14 = 4 | 15 = 4 | 16 = 3 | 17 = 3 | 18 = 4 | 19 = 2 | 
Test sur flat20_3_0.col avec 3 couleurs (on attend OK) :
======== OK avec 3 couleurs !
	 | 0 = 1 | 1 = 2 | 2 = 3 | 3 = 1 | 4 = 1 | 5 = 1 | 6 = 2 | 7 = 2 | 8 = 2 | 9 = 1 | 10 = 1 | 11 = 3 | 12 = 3 | 13 = 2 | 14 = 3 | 15 = 3 | 16 = 2 | 17 = 2 | 18 = 3 | 19 = 1 | 
Test sur flat20_3_0.col avec 2 couleurs (on attend NOK) :
======== NOK ! Pas de solution
80
Test sur jean.col avec 10 couleurs (on attend OK) :
======== OK avec 10 couleurs !
	 | 0 = 10 | 1 = 8 | 2 = 9 | 3 = 8 | 4 = 7 | 5 = 6 | 6 = 5 | 7 = 10 | 8 = 7 | 9 = 9 | 10 = 10 | 11 = 10 | 12 = 10 | 13 = 9 | 14 = 8 | 15 = 10 | 16 = 8 | 17 = 10 | 18 = 4 | 19 = 6 | 20 = 10 | 21 = 5 | 22 = 10 | 23 = 10 | 24 = 8 | 25 = 10 | 26 = 7 | 27 = 8 | 28 = 7 | 29 = 7 | 30 = 9 | 31 = 10 | 32 = 10 | 33 = 10 | 34 = 5 | 35 = 10 | 36 = 10 | 37 = 3 | 38 = 4 | 39 = 6 | 40 = 10 | 41 = 8 | 42 = 9 | 43 = 6 | 44 = 9 | 45 = 7 | 46 = 3 | 47 = 9 | 48 = 10 | 49 = 3 | 50 = 10 | 51 = 10 | 52 = 9 | 53 = 10 | 54 = 4 | 55 = 9 | 56 = 7 | 57 = 3 | 58 = 9 | 59 = 8 | 60 = 9 | 61 = 9 | 62 = 5 | 63 = 7 | 64 = 10 | 65 = 6 | 66 = 9 | 67 = 2 | 68 = 4 | 69 = 9 | 70 = 10 | 71 = 9 | 72 = 3 | 73 = 10 | 74 = 7 | 75 = 10 | 76 = 6 | 77 = 8 | 78 = 1 | 79 = 10 | 
Test sur jean.col avec 3 couleurs (on attend NOK) :
======== NOK ! Pas de solution
Test sur jean.col avec 9 couleurs (on attend NOK) :
Reading package lists...
Building dependency tree...
Reading state information...
libtbb-dev is already the newest version (2021.5.0-7ubuntu2).
0 upgraded, 0 newly installed, 0 to remove and 57 not upgraded.
Reading package lists...
Building dependency tree...
Reading state information...
libopenblas-base is already the newest version (0.3.20+ds-1).
0 upgraded, 0 newly installed, 0 to remove and 57 not upgraded.
Pour  6  villes          1360.64959555608
Pour  7  villes          1638.45998006722
Pour  8  villes          1729.6228205018
Pour  9  villes          1855.21623973312
Pour  10  villes         2026.26753222083
Pour  11  villes         2204.34930872984
Pour  12  villes         2231.43211218805
Pour  13  villes         2247.70309854912
Pour  14  villes         2311.70111550665
Pour  15  villes         2317.57076714782
Pour  16  villes         2353.80139215921
Pour  17  villes         2369.65704299013
Pour  18  villes         2376.85028163456
Pour  19  villes         2405.14241771809