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