nonplanar_k_3_3_1000_p9.dimacs

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

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