diff -r 76dc74f824ba -r 20d1b0e5838f randGraph/iso/vf2ppIso100_1.txt --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/randGraph/iso/vf2ppIso100_1.txt Tue Nov 22 08:15:16 2016 +0100 @@ -0,0 +1,150 @@ +91 0.910333 +338 5.41933 +394 6.30567 +536 8.72833 +697 11.7183 +724 12.262 +956 16.0133 +1167 20.4453 +1456 25.2583 +1504 25.2273 +1829 32.3647 +2052 34.59 +2077 37.1503 +2160 38.7707 +2384 43.018 +2405 43.4057 +2493 44.8643 +2741 46.1103 +2743 51.2477 +2835 50.488 +2959 56.805 +3014 56.2223 +3083 60.454 +3097 58.845 +3311 62.034 +3527 68.0963 +3666 67.2473 +3693 69.7457 +3785 73.7113 +3794 69.799 +3946 75.729 +4134 80.4433 +4159 79.902 +4298 84.844 +4304 82.5303 +4334 85.5907 +4532 86.816 +4690 92.7857 +4837 97.217 +4898 96.7003 +5151 104.311 +5483 116.671 +5597 116.558 +5642 115.869 +6236 130.99 +6311 132.306 +6324 134.405 +6663 145.457 +7273 157.632 +7317 171.193 +7370 169.643 +7898 176.822 +7911 176.109 +8097 182.915 +8123 187.343 +8412 190.87 +8556 198.791 +8710 198.183 +8758 200.223 +8777 201.663 +8817 204.111 +8894 204.226 +8914 207.159 +8937 211.951 +8975 206.805 +9003 212.264 +9008 220.787 +9023 205.624 +9194 211.01 +9315 214.598 +9384 217.545 +9581 225.443 +9906 238.643 +10061 241.66 +10234 263.429 +10436 256.51 +10568 265.842 +10570 257.344 +10830 267.554 +10867 266.718 +10934 270.64 +10951 271.464 +11003 270.406 +11084 273.465 +11419 288.818 +11476 294.134 +11517 290.001 +11752 300.905 +11847 303.587 +11867 303.265 +11868 305.229 +11953 304.768 +11966 312.188 +12140 311.585 +12383 322.585 +12433 339.647 +12500 340.274 +12578 329.861 +12630 331.318 +12666 330.646 +12827 340.896 +12962 342.306 +12993 345.308 +13034 351.315 +13078 349.718 +13713 372.454 +13769 373.007 +13966 379.592 +14110 384.738 +14203 379.43 +15260 425.335 +15439 434.097 +15572 441.33 +15717 439.883 +15829 444.319 +15880 450.11 +15885 454.421 +15921 451.732 +15950 451.867 +16146 455.79 +16217 461.736 +16276 468.217 +16293 462.08 +16358 468.584 +16423 468.44 +16598 472.301 +16668 475.421 +16881 490.242 +16964 486.617 +17009 485.934 +17423 500.609 +17518 506.959 +17794 517.713 +17946 521.965 +18026 524.018 +18105 532.395 +18449 542.708 +18685 549.002 +18711 549.413 +18993 568.714 +19032 554.677 +19137 571.891 +19173 559.943 +19210 564.167 +19344 575.91 +19480 573.341 +19568 573.158 +19641 585.854 +19736 589.563 +19821 587.744