nonplanar_k_3_3_1000_p1.dimacs

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

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