diff -r 76dc74f824ba -r 20d1b0e5838f randGraph/iso/vf2ppIso35_1.txt --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/randGraph/iso/vf2ppIso35_1.txt Tue Nov 22 08:15:16 2016 +0100 @@ -0,0 +1,149 @@ +26 0.077 +442 2.50867 +799 4.914 +912 5.52 +1000 6.26533 +1031 6.591 +1034 6.43033 +1126 7.35167 +1185 7.453 +1256 8.06933 +1363 8.99033 +1461 9.288 +1550 9.95567 +1569 10.1127 +1602 10.5247 +1678 10.84 +1882 12.0957 +2005 12.883 +2190 14.3587 +2238 14.7053 +2266 14.8173 +2291 15.0023 +2452 16.1017 +2515 16.309 +2537 16.4483 +2602 17.093 +2704 17.9393 +2752 18.184 +2947 19.2983 +3056 21.9477 +3254 21.6123 +3352 21.7217 +3366 21.7563 +3418 22.5123 +3463 23.0407 +3601 23.5653 +3716 25.9887 +4153 26.751 +4195 27.8617 +4285 27.8257 +4436 28.657 +4461 28.939 +4557 29.6107 +4640 30.375 +4719 30.8617 +4787 32.1797 +4856 31.3977 +4881 32.5457 +4976 32.2653 +5159 35.0043 +5206 33.623 +5268 34.1517 +5302 34.4293 +5409 35.1197 +5492 35.8633 +5563 35.8393 +5783 38.9637 +6024 39.713 +6050 39.4227 +6102 40.4507 +6193 40.072 +6279 41.4817 +6494 41.842 +6497 42.0333 +6764 44.8477 +7195 46.9697 +7338 51.709 +8172 57.4497 +8384 55.6 +8457 56.605 +8533 58.1627 +8563 59.454 +8721 58.173 +9259 67.7077 +9325 67.8053 +9401 66.8967 +9480 67.196 +9536 67.7077 +10414 72.192 +10542 72.7803 +10607 73.569 +10633 80.3677 +10661 78.0857 +11108 81.4237 +11194 83.2257 +11275 82.3177 +11295 87.6113 +11328 83.403 +12070 92.4137 +12167 90.6547 +12218 91.8017 +12243 92.0533 +12341 93.6583 +12481 94.461 +12489 94.1117 +12523 93.933 +12556 100.721 +12700 96.5863 +12820 99.859 +12888 98.734 +12901 102.914 +12923 112.891 +13242 101.758 +13318 103.185 +13419 103.468 +13436 102.987 +13704 106.974 +13850 108.169 +13884 107.727 +14050 111.306 +14352 113.103 +14430 112.981 +14441 120.451 +14485 114.615 +14617 118.104 +14770 119.14 +14848 118.077 +14913 118.202 +15383 125.555 +15413 131.999 +15504 125.287 +15517 126.886 +15950 131.498 +16097 131.951 +16134 133.346 +16230 140.328 +16324 135.845 +16329 134.236 +16342 134.317 +16728 140.073 +17286 145.706 +17405 145.403 +17468 144.804 +17619 145.933 +17625 147.113 +17840 148.07 +17870 148.472 +18250 153.789 +18612 164.447 +18616 156.911 +18655 162.553 +18951 165.779 +18980 160.143 +19122 163.148 +19285 165.125 +19311 169.478 +19523 163.851 +19743 168.437 +19862 175.334