nonplanar_k_3_3_1000_p8.dimacs

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

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