nonplanar_k_3_3_1000_p2.dimacs

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

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