diff -r 76dc74f824ba -r 20d1b0e5838f randGraph/ind/vf2ppInd10_0.8.txt
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/randGraph/ind/vf2ppInd10_0.8.txt	Tue Nov 22 08:15:16 2016 +0100
@@ -0,0 +1,50 @@
+22	0.0266667
+155	0.21
+176	0.236667
+911	1.297
+1065	1.57533
+1107	1.61733
+1526	2.259
+1623	2.48567
+1782	2.81767
+1863	2.838
+1911	2.89667
+2165	3.31867
+2192	3.348
+2217	3.445
+2247	3.59367
+3050	4.935
+3167	5.151
+3398	5.51833
+3627	5.90267
+4092	6.87
+4240	7.22467
+4346	7.32867
+4615	7.695
+4673	7.90567
+4708	7.988
+4739	8.083
+4818	8.18833
+5058	8.73
+5222	9.14267
+5414	9.27467
+5868	10.5013
+5946	10.2697
+6061	10.8493
+6263	11.3743
+6611	11.4547
+6699	11.75
+6799	12.2597
+6915	12.1893
+7100	12.796
+7136	12.5183
+7218	12.9163
+7369	13.036
+7736	13.905
+8219	14.67
+8377	15.2837
+8482	15.0247
+8632	15.2837
+8886	15.868
+9351	16.7927
+9771	17.4753