diff -r 76dc74f824ba -r 20d1b0e5838f randGraph/iso/vf2ppIso15_1.txt
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/randGraph/iso/vf2ppIso15_1.txt	Tue Nov 22 08:15:16 2016 +0100
@@ -0,0 +1,150 @@
+176	0.438
+201	0.500333
+248	0.622
+526	1.36433
+773	2.526
+909	2.45967
+959	2.64067
+1023	2.98767
+1048	3.00267
+1186	3.466
+1211	3.39533
+1401	4.10033
+1498	4.508
+1557	4.61567
+1696	5.90367
+1732	5.16033
+1747	5.28833
+2030	6.18567
+2056	6.24333
+2172	6.629
+2345	7.24333
+2551	7.99533
+2813	9.07
+2915	9.25867
+2979	9.94
+3450	11.077
+3497	11.2
+3626	11.8797
+3660	11.8407
+3877	12.6407
+4246	14.0683
+4430	16.5237
+4445	14.1523
+4449	14.503
+4734	15.5
+4961	16.04
+5009	16.8453
+5109	16.7943
+5259	17.0717
+5661	18.8603
+5722	18.955
+5810	19.132
+5836	20.658
+5904	19.8657
+5966	20.3963
+5968	19.2087
+6410	21.6507
+6706	21.975
+6895	23.8803
+6995	22.8917
+7176	24.862
+7215	29.567
+7270	25.3917
+7545	26.5247
+7546	26.1973
+7988	26.5323
+8205	28.001
+8511	28.2487
+8620	28.397
+8962	30.862
+8975	31.144
+9238	31.8027
+9266	32.0357
+9370	32.277
+9491	33.4297
+9503	32.1347
+9643	34.07
+9686	38.393
+9804	33.2333
+9870	33.357
+9879	34.068
+10302	35.5687
+10362	36.8157
+10497	36.518
+10555	37.871
+10719	38.1643
+10879	37.8257
+11121	38.4777
+11229	40.8263
+11526	41.5423
+11666	41.8113
+11673	42.332
+11857	42.128
+12133	43.358
+12140	42.501
+12320	42.9
+12342	44.2843
+12434	44.9623
+12539	45.3323
+12771	44.9787
+12789	45.9547
+12794	45.891
+13102	47.6807
+13109	47.2147
+13154	46.2967
+13212	49.6003
+13510	48.0557
+13728	52.3573
+13820	54.0477
+14302	52.5517
+14425	52.98
+14767	55.8107
+15008	56.3137
+15062	54.5233
+15066	54.777
+15105	54.9863
+15111	55.974
+15134	61.0763
+15217	56.0497
+15493	57.3847
+15571	58.4887
+15631	61.294
+15664	66.9883
+15957	70.1727
+16007	70.2583
+16026	60.3677
+16029	62.327
+16171	60.7517
+16365	63.0313
+16432	61.831
+16503	72.5087
+16614	62.5483
+16691	65.7073
+16714	64.301
+16992	63.825
+17014	65.0257
+17139	77.1053
+17140	65.6883
+17163	65.5213
+17317	65.2543
+17362	66.1253
+17395	68.37
+17637	70.3653
+17717	69.146
+17953	69.3103
+18103	69.484
+18150	69.4923
+18198	70.8613
+18201	70.1777
+18244	83.651
+18263	70.993
+18711	73.7823
+18740	72.0877
+19082	77.2983
+19175	74.883
+19205	74.605
+19546	75.801
+19571	76.3553
+19790	77.314
+19849	82.4623