nonplanar_case_b_scl.dimacs

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

p edge 1000 1000

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