nonplanar_k_3_3_1000_p5.dimacs

Boost provides free peer-reviewed portable C++ source libraries. We emphasize libraries that work

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