diff -r 76dc74f824ba -r 20d1b0e5838f randGraph/iso/vf2ppIso10_1.txt
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/randGraph/iso/vf2ppIso10_1.txt	Tue Nov 22 08:15:16 2016 +0100
@@ -0,0 +1,150 @@
+371	0.654667
+395	0.723
+817	1.63267
+896	1.727
+918	1.83033
+993	2.02267
+1130	2.278
+1209	2.40867
+1227	2.45767
+1236	2.44567
+1515	3.02033
+1601	3.30733
+1623	3.33867
+1693	3.55567
+1719	3.59767
+1720	3.53333
+2046	4.485
+2273	4.892
+2397	5.26333
+2438	5.518
+2469	5.49033
+2484	5.55433
+2556	5.77467
+2656	5.83833
+2678	5.898
+2697	6.058
+2761	6.08667
+2776	6.183
+2828	6.49067
+2921	6.57333
+2992	6.67233
+3116	7.142
+3198	7.28
+3231	7.54233
+3322	7.54567
+3325	7.665
+3381	7.622
+3391	7.84167
+3580	8.16733
+3643	8.334
+3775	8.61467
+3803	8.66567
+3854	8.91833
+4132	9.658
+4395	10.44
+4800	11.649
+4877	11.696
+4891	11.8513
+4894	11.5103
+4980	11.704
+5152	12.4037
+5157	12.1573
+5173	12.6347
+5258	12.4603
+5282	12.5583
+5314	13.0463
+5333	13.0997
+5453	12.9847
+5501	13.1403
+5746	13.8663
+6135	15.0813
+6323	15.315
+6363	15.431
+6400	15.7337
+6725	16.3833
+6762	16.2573
+6828	16.5913
+7183	17.51
+7189	17.842
+7237	18.067
+7582	18.57
+7590	18.63
+8169	20.4277
+8252	20.3863
+8258	20.264
+8784	21.8807
+8845	22.059
+8866	21.9297
+9011	22.6213
+9012	22.603
+9090	22.756
+9732	25.0337
+9814	26.2557
+9817	24.5653
+10313	26.9153
+10406	26.0777
+10506	27.2083
+10871	28.186
+11037	28.645
+11214	29.1933
+11315	28.5563
+11466	29.7577
+11675	30.7177
+11792	30.8507
+11895	30.2693
+12011	30.635
+12027	30.7167
+12215	31.0303
+12314	31.571
+12332	31.705
+12430	31.666
+12496	32.7127
+12629	32.3253
+12815	32.7243
+12834	34.3943
+12928	33.075
+13186	33.8287
+13354	34.0707
+13406	34.7667
+13482	34.4563
+13690	35.082
+13921	35.962
+13923	35.8927
+14052	36.8787
+14243	36.9937
+14309	38.4263
+14328	37.0423
+14369	39.0973
+14737	38.7327
+15239	39.595
+15273	42.0187
+15284	39.9757
+15348	40.104
+15908	42.8917
+16023	43.0453
+16133	42.662
+16292	42.6583
+16499	42.931
+16855	44.4327
+17320	46.7793
+18045	47.5993
+18086	46.5393
+18097	46.7527
+18107	47.9073
+18301	47.4087
+18330	48.5013
+18395	51.543
+18478	51.2177
+18538	47.9243
+18551	50.1217
+18563	48.8733
+18616	48.9117
+18650	49.7437
+18815	49.8673
+19241	50.5213
+19360	53.0213
+19364	53.9123
+19636	51.498
+19642	54.0663
+19907	52.0817