nonplanar_k_3_3_1000_p3.dimacs

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

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