nonplanar_k_3_3_1000_p4.dimacs

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

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