Index of /bdi/sarriguren/datasets

• Parent Directory
• cnfFile-100000n-100m-1264k-0.txt
• cnfFile-100000n-100m-1581k-0.txt
• cnfFile-100000n-100m-948k-0.txt
• cnfFile-100000n-200m-1264k-0.txt
• cnfFile-100000n-200m-1581k-0.txt
• cnfFile-100000n-200m-948k-0.txt
• cnfFile-100n-100000m-30k-0.txt
• cnfFile-100n-100000m-40k-0.txt
• cnfFile-100n-100000m-50k-0.txt
• cnfFile-100n-100000m-60k-0.txt
• cnfFile-100n-100000m-70k-0.txt
• cnfFile-100n-100000m-70k-1.txt
• cnfFile-100n-100000m-70k-2.txt
• cnfFile-100n-100000m-90k-0.txt
• cnfFile-100n-10000m-30k-0.txt
• cnfFile-100n-10000m-30k-1.txt
• cnfFile-100n-10000m-30k-2.txt
• cnfFile-100n-10000m-40k-0.txt
• cnfFile-100n-10000m-40k-1.txt
• cnfFile-100n-10000m-40k-2.txt
• cnfFile-100n-10000m-50k-0.txt
• cnfFile-100n-10000m-50k-1.txt
• cnfFile-100n-10000m-50k-2.txt
• cnfFile-100n-10000m-60k-0.txt
• cnfFile-100n-10000m-60k-1.txt
• cnfFile-100n-10000m-60k-2.txt
• cnfFile-100n-10000m-70k-0.txt
• cnfFile-100n-10000m-70k-1.txt
• cnfFile-100n-10000m-70k-10.txt
• cnfFile-100n-10000m-70k-11.txt
• cnfFile-100n-10000m-70k-12.txt
• cnfFile-100n-10000m-70k-13.txt
• cnfFile-100n-10000m-70k-14.txt
• cnfFile-100n-10000m-70k-15.txt
• cnfFile-100n-10000m-70k-16.txt
• cnfFile-100n-10000m-70k-17.txt
• cnfFile-100n-10000m-70k-18.txt
• cnfFile-100n-10000m-70k-19.txt
• cnfFile-100n-10000m-70k-2.txt
• cnfFile-100n-10000m-70k-3.txt
• cnfFile-100n-10000m-70k-4.txt
• cnfFile-100n-10000m-70k-5.txt
• cnfFile-100n-10000m-70k-6.txt
• cnfFile-100n-10000m-70k-7.txt
• cnfFile-100n-10000m-70k-8.txt
• cnfFile-100n-10000m-70k-9.txt
• cnfFile-100n-10000m-90k-0.txt
• cnfFile-100n-10000m-90k-1.txt
• cnfFile-100n-10000m-90k-2.txt
• cnfFile-100n-1000m-30k-0.txt
• cnfFile-100n-1000m-30k-1.txt
• cnfFile-100n-1000m-30k-10.txt
• cnfFile-100n-1000m-30k-11.txt
• cnfFile-100n-1000m-30k-12.txt
• cnfFile-100n-1000m-30k-13.txt
• cnfFile-100n-1000m-30k-14.txt
• cnfFile-100n-1000m-30k-15.txt
• cnfFile-100n-1000m-30k-16.txt
• cnfFile-100n-1000m-30k-17.txt
• cnfFile-100n-1000m-30k-18.txt
• cnfFile-100n-1000m-30k-19.txt
• cnfFile-100n-1000m-30k-2.txt
• cnfFile-100n-1000m-30k-3.txt
• cnfFile-100n-1000m-30k-4.txt
• cnfFile-100n-1000m-30k-5.txt
• cnfFile-100n-1000m-30k-6.txt
• cnfFile-100n-1000m-30k-7.txt
• cnfFile-100n-1000m-30k-8.txt
• cnfFile-100n-1000m-30k-9.txt
• cnfFile-100n-1000m-40k-0.txt
• cnfFile-100n-1000m-40k-1.txt
• cnfFile-100n-1000m-40k-10.txt
• cnfFile-100n-1000m-40k-11.txt
• cnfFile-100n-1000m-40k-12.txt
• cnfFile-100n-1000m-40k-13.txt
• cnfFile-100n-1000m-40k-14.txt
• cnfFile-100n-1000m-40k-15.txt
• cnfFile-100n-1000m-40k-16.txt
• cnfFile-100n-1000m-40k-17.txt
• cnfFile-100n-1000m-40k-18.txt
• cnfFile-100n-1000m-40k-19.txt
• cnfFile-100n-1000m-40k-2.txt
• cnfFile-100n-1000m-40k-3.txt
• cnfFile-100n-1000m-40k-4.txt
• cnfFile-100n-1000m-40k-5.txt
• cnfFile-100n-1000m-40k-6.txt
• cnfFile-100n-1000m-40k-7.txt
• cnfFile-100n-1000m-40k-8.txt
• cnfFile-100n-1000m-40k-9.txt
• cnfFile-100n-1000m-50k-0.txt
• cnfFile-100n-1000m-50k-1.txt
• cnfFile-100n-1000m-50k-10.txt
• cnfFile-100n-1000m-50k-11.txt
• cnfFile-100n-1000m-50k-12.txt
• cnfFile-100n-1000m-50k-13.txt
• cnfFile-100n-1000m-50k-14.txt
• cnfFile-100n-1000m-50k-15.txt
• cnfFile-100n-1000m-50k-16.txt
• cnfFile-100n-1000m-50k-17.txt
• cnfFile-100n-1000m-50k-18.txt
• cnfFile-100n-1000m-50k-19.txt
• cnfFile-100n-1000m-50k-2.txt
• cnfFile-100n-1000m-50k-3.txt
• cnfFile-100n-1000m-50k-4.txt
• cnfFile-100n-1000m-50k-5.txt
• cnfFile-100n-1000m-50k-6.txt
• cnfFile-100n-1000m-50k-7.txt
• cnfFile-100n-1000m-50k-8.txt
• cnfFile-100n-1000m-50k-9.txt
• cnfFile-100n-1000m-60k-0.txt
• cnfFile-100n-1000m-60k-1.txt
• cnfFile-100n-1000m-60k-10.txt
• cnfFile-100n-1000m-60k-11.txt
• cnfFile-100n-1000m-60k-12.txt
• cnfFile-100n-1000m-60k-13.txt
• cnfFile-100n-1000m-60k-14.txt
• cnfFile-100n-1000m-60k-15.txt
• cnfFile-100n-1000m-60k-16.txt
• cnfFile-100n-1000m-60k-17.txt
• cnfFile-100n-1000m-60k-18.txt
• cnfFile-100n-1000m-60k-19.txt
• cnfFile-100n-1000m-60k-2.txt
• cnfFile-100n-1000m-60k-3.txt
• cnfFile-100n-1000m-60k-4.txt
• cnfFile-100n-1000m-60k-5.txt
• cnfFile-100n-1000m-60k-6.txt
• cnfFile-100n-1000m-60k-7.txt
• cnfFile-100n-1000m-60k-8.txt
• cnfFile-100n-1000m-60k-9.txt
• cnfFile-100n-1000m-70k-0.txt
• cnfFile-100n-1000m-70k-1.txt
• cnfFile-100n-1000m-70k-10.txt
• cnfFile-100n-1000m-70k-11.txt
• cnfFile-100n-1000m-70k-12.txt
• cnfFile-100n-1000m-70k-13.txt
• cnfFile-100n-1000m-70k-14.txt
• cnfFile-100n-1000m-70k-15.txt
• cnfFile-100n-1000m-70k-16.txt
• cnfFile-100n-1000m-70k-17.txt
• cnfFile-100n-1000m-70k-18.txt
• cnfFile-100n-1000m-70k-19.txt
• cnfFile-100n-1000m-70k-2.txt
• cnfFile-100n-1000m-70k-3.txt
• cnfFile-100n-1000m-70k-4.txt
• cnfFile-100n-1000m-70k-5.txt
• cnfFile-100n-1000m-70k-6.txt
• cnfFile-100n-1000m-70k-7.txt
• cnfFile-100n-1000m-70k-8.txt
• cnfFile-100n-1000m-70k-9.txt
• cnfFile-100n-1000m-90k-0.txt
• cnfFile-100n-1000m-90k-1.txt
• cnfFile-100n-1000m-90k-10.txt
• cnfFile-100n-1000m-90k-11.txt
• cnfFile-100n-1000m-90k-12.txt
• cnfFile-100n-1000m-90k-13.txt
• cnfFile-100n-1000m-90k-14.txt
• cnfFile-100n-1000m-90k-15.txt
• cnfFile-100n-1000m-90k-16.txt
• cnfFile-100n-1000m-90k-17.txt
• cnfFile-100n-1000m-90k-18.txt
• cnfFile-100n-1000m-90k-19.txt
• cnfFile-100n-1000m-90k-2.txt
• cnfFile-100n-1000m-90k-3.txt
• cnfFile-100n-1000m-90k-4.txt
• cnfFile-100n-1000m-90k-5.txt
• cnfFile-100n-1000m-90k-6.txt
• cnfFile-100n-1000m-90k-7.txt
• cnfFile-100n-1000m-90k-8.txt
• cnfFile-100n-1000m-90k-9.txt
• cnfFile-100n-100m-30k-0.txt
• cnfFile-100n-100m-30k-1.txt
• cnfFile-100n-100m-30k-10.txt
• cnfFile-100n-100m-30k-11.txt
• cnfFile-100n-100m-30k-12.txt
• cnfFile-100n-100m-30k-13.txt
• cnfFile-100n-100m-30k-14.txt
• cnfFile-100n-100m-30k-15.txt
• cnfFile-100n-100m-30k-16.txt
• cnfFile-100n-100m-30k-17.txt
• cnfFile-100n-100m-30k-18.txt
• cnfFile-100n-100m-30k-19.txt
• cnfFile-100n-100m-30k-2.txt
• cnfFile-100n-100m-30k-3.txt
• cnfFile-100n-100m-30k-4.txt
• cnfFile-100n-100m-30k-5.txt
• cnfFile-100n-100m-30k-6.txt
• cnfFile-100n-100m-30k-7.txt
• cnfFile-100n-100m-30k-8.txt
• cnfFile-100n-100m-30k-9.txt
• cnfFile-100n-100m-40k-0.txt
• cnfFile-100n-100m-40k-1.txt
• cnfFile-100n-100m-40k-10.txt
• cnfFile-100n-100m-40k-11.txt
• cnfFile-100n-100m-40k-12.txt
• cnfFile-100n-100m-40k-13.txt
• cnfFile-100n-100m-40k-14.txt
• cnfFile-100n-100m-40k-15.txt
• cnfFile-100n-100m-40k-16.txt
• cnfFile-100n-100m-40k-17.txt
• cnfFile-100n-100m-40k-18.txt
• cnfFile-100n-100m-40k-19.txt
• cnfFile-100n-100m-40k-2.txt
• cnfFile-100n-100m-40k-3.txt
• cnfFile-100n-100m-40k-4.txt
• cnfFile-100n-100m-40k-5.txt
• cnfFile-100n-100m-40k-6.txt
• cnfFile-100n-100m-40k-7.txt
• cnfFile-100n-100m-40k-8.txt
• cnfFile-100n-100m-40k-9.txt
• cnfFile-100n-100m-50k-0.txt
• cnfFile-100n-100m-50k-1.txt
• cnfFile-100n-100m-50k-10.txt
• cnfFile-100n-100m-50k-11.txt
• cnfFile-100n-100m-50k-12.txt
• cnfFile-100n-100m-50k-13.txt
• cnfFile-100n-100m-50k-14.txt
• cnfFile-100n-100m-50k-15.txt
• cnfFile-100n-100m-50k-16.txt
• cnfFile-100n-100m-50k-17.txt
• cnfFile-100n-100m-50k-18.txt
• cnfFile-100n-100m-50k-19.txt
• cnfFile-100n-100m-50k-2.txt
• cnfFile-100n-100m-50k-3.txt
• cnfFile-100n-100m-50k-4.txt
• cnfFile-100n-100m-50k-5.txt
• cnfFile-100n-100m-50k-6.txt
• cnfFile-100n-100m-50k-7.txt
• cnfFile-100n-100m-50k-8.txt
• cnfFile-100n-100m-50k-9.txt
• cnfFile-100n-100m-60k-0.txt
• cnfFile-100n-100m-60k-1.txt
• cnfFile-100n-100m-60k-10.txt
• cnfFile-100n-100m-60k-11.txt
• cnfFile-100n-100m-60k-12.txt
• cnfFile-100n-100m-60k-13.txt
• cnfFile-100n-100m-60k-14.txt
• cnfFile-100n-100m-60k-15.txt
• cnfFile-100n-100m-60k-16.txt
• cnfFile-100n-100m-60k-17.txt
• cnfFile-100n-100m-60k-18.txt
• cnfFile-100n-100m-60k-19.txt
• cnfFile-100n-100m-60k-2.txt
• cnfFile-100n-100m-60k-3.txt
• cnfFile-100n-100m-60k-4.txt
• cnfFile-100n-100m-60k-5.txt
• cnfFile-100n-100m-60k-6.txt
• cnfFile-100n-100m-60k-7.txt
• cnfFile-100n-100m-60k-8.txt
• cnfFile-100n-100m-60k-9.txt
• cnfFile-100n-100m-70k-0.txt
• cnfFile-100n-100m-70k-1.txt
• cnfFile-100n-100m-70k-10.txt
• cnfFile-100n-100m-70k-11.txt
• cnfFile-100n-100m-70k-12.txt
• cnfFile-100n-100m-70k-13.txt
• cnfFile-100n-100m-70k-14.txt
• cnfFile-100n-100m-70k-15.txt
• cnfFile-100n-100m-70k-16.txt
• cnfFile-100n-100m-70k-17.txt
• cnfFile-100n-100m-70k-18.txt
• cnfFile-100n-100m-70k-19.txt
• cnfFile-100n-100m-70k-2.txt
• cnfFile-100n-100m-70k-3.txt
• cnfFile-100n-100m-70k-4.txt
• cnfFile-100n-100m-70k-5.txt
• cnfFile-100n-100m-70k-6.txt
• cnfFile-100n-100m-70k-7.txt
• cnfFile-100n-100m-70k-8.txt
• cnfFile-100n-100m-70k-9.txt
• cnfFile-100n-100m-90k-0.txt
• cnfFile-100n-100m-90k-1.txt
• cnfFile-100n-100m-90k-10.txt
• cnfFile-100n-100m-90k-11.txt
• cnfFile-100n-100m-90k-12.txt
• cnfFile-100n-100m-90k-13.txt
• cnfFile-100n-100m-90k-14.txt
• cnfFile-100n-100m-90k-15.txt
• cnfFile-100n-100m-90k-16.txt
• cnfFile-100n-100m-90k-17.txt
• cnfFile-100n-100m-90k-18.txt
• cnfFile-100n-100m-90k-19.txt
• cnfFile-100n-100m-90k-2.txt
• cnfFile-100n-100m-90k-3.txt
• cnfFile-100n-100m-90k-4.txt
• cnfFile-100n-100m-90k-5.txt
• cnfFile-100n-100m-90k-6.txt
• cnfFile-100n-100m-90k-7.txt
• cnfFile-100n-100m-90k-8.txt
• cnfFile-100n-100m-90k-9.txt
• cnfFile-20000n-100000m-18000k-0.txt
• cnfFile-20000n-100000m-18000k-0GUARDADO.txt
• cnfFile-20000n-100000m-18000k-0GUARDADO2.txt
• cnfFile-20000n-100000m-565k-0.txt
• cnfFile-20000n-100000m-707k-0.txt
• cnfFile-20000n-100000m-848k-0.txt
• cnfFile-20000n-100000m-989k-0.txt
• cnfFile-20000n-100000m-989k-1.txt
• cnfFile-20000n-100000m-989k-2.txt
• cnfFile-20000n-10000m-18000k-0.txt
• cnfFile-20000n-10000m-18000k-1.txt
• cnfFile-20000n-10000m-18000k-10.txt
• cnfFile-20000n-10000m-18000k-11.txt
• cnfFile-20000n-10000m-18000k-2.txt
• cnfFile-20000n-10000m-18000k-3.txt
• cnfFile-20000n-10000m-18000k-4.txt
• cnfFile-20000n-10000m-18000k-5.txt
• cnfFile-20000n-10000m-18000k-6.txt
• cnfFile-20000n-10000m-18000k-7.txt
• cnfFile-20000n-10000m-18000k-8.txt
• cnfFile-20000n-10000m-18000k-9.txt
• cnfFile-20000n-10000m-424k-0.txt
• cnfFile-20000n-10000m-424k-1.txt
• cnfFile-20000n-10000m-424k-2.txt
• cnfFile-20000n-10000m-565k-0.txt
• cnfFile-20000n-10000m-565k-1.txt
• cnfFile-20000n-10000m-565k-2.txt
• cnfFile-20000n-10000m-707k-0.txt
• cnfFile-20000n-10000m-707k-1.txt
• cnfFile-20000n-10000m-707k-2.txt
• cnfFile-20000n-10000m-848k-0.txt
• cnfFile-20000n-10000m-848k-1.txt
• cnfFile-20000n-10000m-848k-2.txt
• cnfFile-20000n-10000m-989k-0.txt
• cnfFile-20000n-10000m-989k-1.txt
• cnfFile-20000n-10000m-989k-10.txt
• cnfFile-20000n-10000m-989k-11.txt
• cnfFile-20000n-10000m-989k-12.txt
• cnfFile-20000n-10000m-989k-13.txt
• cnfFile-20000n-10000m-989k-14.txt
• cnfFile-20000n-10000m-989k-15.txt
• cnfFile-20000n-10000m-989k-16.txt
• cnfFile-20000n-10000m-989k-17.txt
• cnfFile-20000n-10000m-989k-18.txt
• cnfFile-20000n-10000m-989k-19.txt
• cnfFile-20000n-10000m-989k-2.txt
• cnfFile-20000n-10000m-989k-3.txt
• cnfFile-20000n-10000m-989k-4.txt
• cnfFile-20000n-10000m-989k-5.txt
• cnfFile-20000n-10000m-989k-6.txt
• cnfFile-20000n-10000m-989k-7.txt
• cnfFile-20000n-10000m-989k-8.txt
• cnfFile-20000n-10000m-989k-9.txt
• cnfFile-20000n-1000m-18000k-0.txt
• cnfFile-20000n-1000m-18000k-1.txt
• cnfFile-20000n-1000m-18000k-10.txt
• cnfFile-20000n-1000m-18000k-11.txt
• cnfFile-20000n-1000m-18000k-12.txt
• cnfFile-20000n-1000m-18000k-2.txt
• cnfFile-20000n-1000m-18000k-3.txt
• cnfFile-20000n-1000m-18000k-4.txt
• cnfFile-20000n-1000m-18000k-5.txt
• cnfFile-20000n-1000m-18000k-6.txt
• cnfFile-20000n-1000m-18000k-7.txt
• cnfFile-20000n-1000m-18000k-8.txt
• cnfFile-20000n-1000m-18000k-9.txt
• cnfFile-20000n-1000m-424k-0.txt
• cnfFile-20000n-1000m-424k-1.txt
• cnfFile-20000n-1000m-424k-10.txt
• cnfFile-20000n-1000m-424k-11.txt
• cnfFile-20000n-1000m-424k-12.txt
• cnfFile-20000n-1000m-424k-13.txt
• cnfFile-20000n-1000m-424k-14.txt
• cnfFile-20000n-1000m-424k-15.txt
• cnfFile-20000n-1000m-424k-16.txt
• cnfFile-20000n-1000m-424k-17.txt
• cnfFile-20000n-1000m-424k-18.txt
• cnfFile-20000n-1000m-424k-19.txt
• cnfFile-20000n-1000m-424k-2.txt
• cnfFile-20000n-1000m-424k-3.txt
• cnfFile-20000n-1000m-424k-4.txt
• cnfFile-20000n-1000m-424k-5.txt
• cnfFile-20000n-1000m-424k-6.txt
• cnfFile-20000n-1000m-424k-7.txt
• cnfFile-20000n-1000m-424k-8.txt
• cnfFile-20000n-1000m-424k-9.txt
• cnfFile-20000n-1000m-565k-0.txt
• cnfFile-20000n-1000m-565k-1.txt
• cnfFile-20000n-1000m-565k-10.txt
• cnfFile-20000n-1000m-565k-11.txt
• cnfFile-20000n-1000m-565k-12.txt
• cnfFile-20000n-1000m-565k-13.txt
• cnfFile-20000n-1000m-565k-14.txt
• cnfFile-20000n-1000m-565k-15.txt
• cnfFile-20000n-1000m-565k-16.txt
• cnfFile-20000n-1000m-565k-17.txt
• cnfFile-20000n-1000m-565k-18.txt
• cnfFile-20000n-1000m-565k-19.txt
• cnfFile-20000n-1000m-565k-2.txt
• cnfFile-20000n-1000m-565k-3.txt
• cnfFile-20000n-1000m-565k-4.txt
• cnfFile-20000n-1000m-565k-5.txt
• cnfFile-20000n-1000m-565k-6.txt
• cnfFile-20000n-1000m-565k-7.txt
• cnfFile-20000n-1000m-565k-8.txt
• cnfFile-20000n-1000m-565k-9.txt
• cnfFile-20000n-1000m-707k-0.txt
• cnfFile-20000n-1000m-707k-1.txt
• cnfFile-20000n-1000m-707k-10.txt
• cnfFile-20000n-1000m-707k-11.txt
• cnfFile-20000n-1000m-707k-12.txt
• cnfFile-20000n-1000m-707k-13.txt
• cnfFile-20000n-1000m-707k-14.txt
• cnfFile-20000n-1000m-707k-15.txt
• cnfFile-20000n-1000m-707k-16.txt
• cnfFile-20000n-1000m-707k-17.txt
• cnfFile-20000n-1000m-707k-18.txt
• cnfFile-20000n-1000m-707k-19.txt
• cnfFile-20000n-1000m-707k-2.txt
• cnfFile-20000n-1000m-707k-3.txt
• cnfFile-20000n-1000m-707k-4.txt
• cnfFile-20000n-1000m-707k-5.txt
• cnfFile-20000n-1000m-707k-6.txt
• cnfFile-20000n-1000m-707k-7.txt
• cnfFile-20000n-1000m-707k-8.txt
• cnfFile-20000n-1000m-707k-9.txt
• cnfFile-20000n-1000m-848k-0.txt
• cnfFile-20000n-1000m-848k-1.txt
• cnfFile-20000n-1000m-848k-10.txt
• cnfFile-20000n-1000m-848k-11.txt
• cnfFile-20000n-1000m-848k-12.txt
• cnfFile-20000n-1000m-848k-13.txt
• cnfFile-20000n-1000m-848k-14.txt
• cnfFile-20000n-1000m-848k-15.txt
• cnfFile-20000n-1000m-848k-16.txt
• cnfFile-20000n-1000m-848k-17.txt
• cnfFile-20000n-1000m-848k-18.txt
• cnfFile-20000n-1000m-848k-19.txt
• cnfFile-20000n-1000m-848k-2.txt
• cnfFile-20000n-1000m-848k-3.txt
• cnfFile-20000n-1000m-848k-4.txt
• cnfFile-20000n-1000m-848k-5.txt
• cnfFile-20000n-1000m-848k-6.txt
• cnfFile-20000n-1000m-848k-7.txt
• cnfFile-20000n-1000m-848k-8.txt
• cnfFile-20000n-1000m-848k-9.txt
• cnfFile-20000n-1000m-989k-0.txt
• cnfFile-20000n-1000m-989k-1.txt
• cnfFile-20000n-1000m-989k-10.txt
• cnfFile-20000n-1000m-989k-11.txt
• cnfFile-20000n-1000m-989k-12.txt
• cnfFile-20000n-1000m-989k-13.txt
• cnfFile-20000n-1000m-989k-14.txt
• cnfFile-20000n-1000m-989k-15.txt
• cnfFile-20000n-1000m-989k-16.txt
• cnfFile-20000n-1000m-989k-17.txt
• cnfFile-20000n-1000m-989k-18.txt
• cnfFile-20000n-1000m-989k-19.txt
• cnfFile-20000n-1000m-989k-2.txt
• cnfFile-20000n-1000m-989k-3.txt
• cnfFile-20000n-1000m-989k-4.txt
• cnfFile-20000n-1000m-989k-5.txt
• cnfFile-20000n-1000m-989k-6.txt
• cnfFile-20000n-1000m-989k-7.txt
• cnfFile-20000n-1000m-989k-8.txt
• cnfFile-20000n-1000m-989k-9.txt
• cnfFile-20000n-100m-18000k-0.txt
• cnfFile-20000n-100m-18000k-1.txt
• cnfFile-20000n-100m-18000k-10.txt
• cnfFile-20000n-100m-18000k-11.txt
• cnfFile-20000n-100m-18000k-12.txt
• cnfFile-20000n-100m-18000k-13.txt
• cnfFile-20000n-100m-18000k-14.txt
• cnfFile-20000n-100m-18000k-15.txt
• cnfFile-20000n-100m-18000k-16.txt
• cnfFile-20000n-100m-18000k-17.txt
• cnfFile-20000n-100m-18000k-18.txt
• cnfFile-20000n-100m-18000k-19.txt
• cnfFile-20000n-100m-18000k-2.txt
• cnfFile-20000n-100m-18000k-3.txt
• cnfFile-20000n-100m-18000k-4.txt
• cnfFile-20000n-100m-18000k-5.txt
• cnfFile-20000n-100m-18000k-6.txt
• cnfFile-20000n-100m-18000k-7.txt
• cnfFile-20000n-100m-18000k-8.txt
• cnfFile-20000n-100m-18000k-9.txt
• cnfFile-20000n-100m-424k-0.txt
• cnfFile-20000n-100m-424k-1.txt
• cnfFile-20000n-100m-424k-10.txt
• cnfFile-20000n-100m-424k-11.txt
• cnfFile-20000n-100m-424k-12.txt
• cnfFile-20000n-100m-424k-13.txt
• cnfFile-20000n-100m-424k-14.txt
• cnfFile-20000n-100m-424k-15.txt
• cnfFile-20000n-100m-424k-16.txt
• cnfFile-20000n-100m-424k-17.txt
• cnfFile-20000n-100m-424k-18.txt
• cnfFile-20000n-100m-424k-19.txt
• cnfFile-20000n-100m-424k-2.txt
• cnfFile-20000n-100m-424k-3.txt
• cnfFile-20000n-100m-424k-4.txt
• cnfFile-20000n-100m-424k-5.txt
• cnfFile-20000n-100m-424k-6.txt
• cnfFile-20000n-100m-424k-7.txt
• cnfFile-20000n-100m-424k-8.txt
• cnfFile-20000n-100m-424k-9.txt
• cnfFile-20000n-100m-565k-0.txt
• cnfFile-20000n-100m-565k-1.txt
• cnfFile-20000n-100m-565k-10.txt
• cnfFile-20000n-100m-565k-11.txt
• cnfFile-20000n-100m-565k-12.txt
• cnfFile-20000n-100m-565k-13.txt
• cnfFile-20000n-100m-565k-14.txt
• cnfFile-20000n-100m-565k-15.txt
• cnfFile-20000n-100m-565k-16.txt
• cnfFile-20000n-100m-565k-17.txt
• cnfFile-20000n-100m-565k-18.txt
• cnfFile-20000n-100m-565k-19.txt
• cnfFile-20000n-100m-565k-2.txt
• cnfFile-20000n-100m-565k-3.txt
• cnfFile-20000n-100m-565k-4.txt
• cnfFile-20000n-100m-565k-5.txt
• cnfFile-20000n-100m-565k-6.txt
• cnfFile-20000n-100m-565k-7.txt
• cnfFile-20000n-100m-565k-8.txt
• cnfFile-20000n-100m-565k-9.txt
• cnfFile-20000n-100m-707k-0.txt
• cnfFile-20000n-100m-707k-1.txt
• cnfFile-20000n-100m-707k-10.txt
• cnfFile-20000n-100m-707k-11.txt
• cnfFile-20000n-100m-707k-12.txt
• cnfFile-20000n-100m-707k-13.txt
• cnfFile-20000n-100m-707k-14.txt
• cnfFile-20000n-100m-707k-15.txt
• cnfFile-20000n-100m-707k-16.txt
• cnfFile-20000n-100m-707k-17.txt
• cnfFile-20000n-100m-707k-18.txt
• cnfFile-20000n-100m-707k-19.txt
• cnfFile-20000n-100m-707k-2.txt
• cnfFile-20000n-100m-707k-3.txt
• cnfFile-20000n-100m-707k-4.txt
• cnfFile-20000n-100m-707k-5.txt
• cnfFile-20000n-100m-707k-6.txt
• cnfFile-20000n-100m-707k-7.txt
• cnfFile-20000n-100m-707k-8.txt
• cnfFile-20000n-100m-707k-9.txt
• cnfFile-20000n-100m-848k-0.txt
• cnfFile-20000n-100m-848k-1.txt
• cnfFile-20000n-100m-848k-10.txt
• cnfFile-20000n-100m-848k-11.txt
• cnfFile-20000n-100m-848k-12.txt
• cnfFile-20000n-100m-848k-13.txt
• cnfFile-20000n-100m-848k-14.txt
• cnfFile-20000n-100m-848k-15.txt
• cnfFile-20000n-100m-848k-16.txt
• cnfFile-20000n-100m-848k-17.txt
• cnfFile-20000n-100m-848k-18.txt
• cnfFile-20000n-100m-848k-19.txt
• cnfFile-20000n-100m-848k-2.txt
• cnfFile-20000n-100m-848k-3.txt
• cnfFile-20000n-100m-848k-4.txt
• cnfFile-20000n-100m-848k-5.txt
• cnfFile-20000n-100m-848k-6.txt
• cnfFile-20000n-100m-848k-7.txt
• cnfFile-20000n-100m-848k-8.txt
• cnfFile-20000n-100m-848k-9.txt
• cnfFile-20000n-100m-989k-0.txt
• cnfFile-20000n-100m-989k-1.txt
• cnfFile-20000n-100m-989k-10.txt
• cnfFile-20000n-100m-989k-11.txt
• cnfFile-20000n-100m-989k-12.txt
• cnfFile-20000n-100m-989k-13.txt
• cnfFile-20000n-100m-989k-14.txt
• cnfFile-20000n-100m-989k-15.txt
• cnfFile-20000n-100m-989k-16.txt
• cnfFile-20000n-100m-989k-17.txt
• cnfFile-20000n-100m-989k-18.txt
• cnfFile-20000n-100m-989k-19.txt
• cnfFile-20000n-100m-989k-2.txt
• cnfFile-20000n-100m-989k-3.txt
• cnfFile-20000n-100m-989k-4.txt
• cnfFile-20000n-100m-989k-5.txt
• cnfFile-20000n-100m-989k-6.txt
• cnfFile-20000n-100m-989k-7.txt
• cnfFile-20000n-100m-989k-8.txt
• cnfFile-20000n-100m-989k-9.txt
• cnfFile-200n-100000m-180k-0.txt
• cnfFile-200n-100000m-42k-0.txt
• cnfFile-200n-100000m-56k-0.txt
• cnfFile-200n-100000m-70k-0.txt
• cnfFile-200n-100000m-84k-0.txt
• cnfFile-200n-100000m-98k-0.txt
• cnfFile-200n-100000m-98k-1.txt
• cnfFile-200n-100000m-98k-2.txt
• cnfFile-200n-10000m-180k-0.txt
• cnfFile-200n-10000m-180k-1.txt
• cnfFile-200n-10000m-180k-2.txt
• cnfFile-200n-10000m-42k-0.txt
• cnfFile-200n-10000m-42k-1.txt
• cnfFile-200n-10000m-42k-2.txt
• cnfFile-200n-10000m-56k-0.txt
• cnfFile-200n-10000m-56k-1.txt
• cnfFile-200n-10000m-56k-2.txt
• cnfFile-200n-10000m-70k-0.txt
• cnfFile-200n-10000m-70k-1.txt
• cnfFile-200n-10000m-70k-2.txt
• cnfFile-200n-10000m-84k-0.txt
• cnfFile-200n-10000m-84k-1.txt
• cnfFile-200n-10000m-84k-2.txt
• cnfFile-200n-10000m-98k-0.txt
• cnfFile-200n-10000m-98k-1.txt
• cnfFile-200n-10000m-98k-10.txt
• cnfFile-200n-10000m-98k-11.txt
• cnfFile-200n-10000m-98k-12.txt
• cnfFile-200n-10000m-98k-13.txt
• cnfFile-200n-10000m-98k-14.txt
• cnfFile-200n-10000m-98k-15.txt
• cnfFile-200n-10000m-98k-16.txt
• cnfFile-200n-10000m-98k-17.txt
• cnfFile-200n-10000m-98k-18.txt
• cnfFile-200n-10000m-98k-19.txt
• cnfFile-200n-10000m-98k-2.txt
• cnfFile-200n-10000m-98k-3.txt
• cnfFile-200n-10000m-98k-4.txt
• cnfFile-200n-10000m-98k-5.txt
• cnfFile-200n-10000m-98k-6.txt
• cnfFile-200n-10000m-98k-7.txt
• cnfFile-200n-10000m-98k-8.txt
• cnfFile-200n-10000m-98k-9.txt
• cnfFile-200n-1000m-180k-0.txt
• cnfFile-200n-1000m-180k-1.txt
• cnfFile-200n-1000m-180k-10.txt
• cnfFile-200n-1000m-180k-11.txt
• cnfFile-200n-1000m-180k-12.txt
• cnfFile-200n-1000m-180k-13.txt
• cnfFile-200n-1000m-180k-14.txt
• cnfFile-200n-1000m-180k-15.txt
• cnfFile-200n-1000m-180k-16.txt
• cnfFile-200n-1000m-180k-17.txt
• cnfFile-200n-1000m-180k-18.txt
• cnfFile-200n-1000m-180k-19.txt
• cnfFile-200n-1000m-180k-2.txt
• cnfFile-200n-1000m-180k-3.txt
• cnfFile-200n-1000m-180k-4.txt
• cnfFile-200n-1000m-180k-5.txt
• cnfFile-200n-1000m-180k-6.txt
• cnfFile-200n-1000m-180k-7.txt
• cnfFile-200n-1000m-180k-8.txt
• cnfFile-200n-1000m-180k-9.txt
• cnfFile-200n-1000m-42k-0.txt
• cnfFile-200n-1000m-42k-1.txt
• cnfFile-200n-1000m-42k-10.txt
• cnfFile-200n-1000m-42k-11.txt
• cnfFile-200n-1000m-42k-12.txt
• cnfFile-200n-1000m-42k-13.txt
• cnfFile-200n-1000m-42k-14.txt
• cnfFile-200n-1000m-42k-15.txt
• cnfFile-200n-1000m-42k-16.txt
• cnfFile-200n-1000m-42k-17.txt
• cnfFile-200n-1000m-42k-18.txt
• cnfFile-200n-1000m-42k-19.txt
• cnfFile-200n-1000m-42k-2.txt
• cnfFile-200n-1000m-42k-3.txt
• cnfFile-200n-1000m-42k-4.txt
• cnfFile-200n-1000m-42k-5.txt
• cnfFile-200n-1000m-42k-6.txt
• cnfFile-200n-1000m-42k-7.txt
• cnfFile-200n-1000m-42k-8.txt
• cnfFile-200n-1000m-42k-9.txt
• cnfFile-200n-1000m-56k-0.txt
• cnfFile-200n-1000m-56k-1.txt
• cnfFile-200n-1000m-56k-10.txt
• cnfFile-200n-1000m-56k-11.txt
• cnfFile-200n-1000m-56k-12.txt
• cnfFile-200n-1000m-56k-13.txt
• cnfFile-200n-1000m-56k-14.txt
• cnfFile-200n-1000m-56k-15.txt
• cnfFile-200n-1000m-56k-16.txt
• cnfFile-200n-1000m-56k-17.txt
• cnfFile-200n-1000m-56k-18.txt
• cnfFile-200n-1000m-56k-19.txt
• cnfFile-200n-1000m-56k-2.txt
• cnfFile-200n-1000m-56k-3.txt
• cnfFile-200n-1000m-56k-4.txt
• cnfFile-200n-1000m-56k-5.txt
• cnfFile-200n-1000m-56k-6.txt
• cnfFile-200n-1000m-56k-7.txt
• cnfFile-200n-1000m-56k-8.txt
• cnfFile-200n-1000m-56k-9.txt
• cnfFile-200n-1000m-70k-0.txt
• cnfFile-200n-1000m-70k-1.txt
• cnfFile-200n-1000m-70k-10.txt
• cnfFile-200n-1000m-70k-11.txt
• cnfFile-200n-1000m-70k-12.txt
• cnfFile-200n-1000m-70k-13.txt
• cnfFile-200n-1000m-70k-14.txt
• cnfFile-200n-1000m-70k-15.txt
• cnfFile-200n-1000m-70k-16.txt
• cnfFile-200n-1000m-70k-17.txt
• cnfFile-200n-1000m-70k-18.txt
• cnfFile-200n-1000m-70k-19.txt
• cnfFile-200n-1000m-70k-2.txt
• cnfFile-200n-1000m-70k-3.txt
• cnfFile-200n-1000m-70k-4.txt
• cnfFile-200n-1000m-70k-5.txt
• cnfFile-200n-1000m-70k-6.txt
• cnfFile-200n-1000m-70k-7.txt
• cnfFile-200n-1000m-70k-8.txt
• cnfFile-200n-1000m-70k-9.txt
• cnfFile-200n-1000m-84k-0.txt
• cnfFile-200n-1000m-84k-1.txt
• cnfFile-200n-1000m-84k-10.txt
• cnfFile-200n-1000m-84k-11.txt
• cnfFile-200n-1000m-84k-12.txt
• cnfFile-200n-1000m-84k-13.txt
• cnfFile-200n-1000m-84k-14.txt
• cnfFile-200n-1000m-84k-15.txt
• cnfFile-200n-1000m-84k-16.txt
• cnfFile-200n-1000m-84k-17.txt
• cnfFile-200n-1000m-84k-18.txt
• cnfFile-200n-1000m-84k-19.txt
• cnfFile-200n-1000m-84k-2.txt
• cnfFile-200n-1000m-84k-3.txt
• cnfFile-200n-1000m-84k-4.txt
• cnfFile-200n-1000m-84k-5.txt
• cnfFile-200n-1000m-84k-6.txt
• cnfFile-200n-1000m-84k-7.txt
• cnfFile-200n-1000m-84k-8.txt
• cnfFile-200n-1000m-84k-9.txt
• cnfFile-200n-1000m-98k-0.txt
• cnfFile-200n-1000m-98k-1.txt
• cnfFile-200n-1000m-98k-10.txt
• cnfFile-200n-1000m-98k-11.txt
• cnfFile-200n-1000m-98k-12.txt
• cnfFile-200n-1000m-98k-13.txt
• cnfFile-200n-1000m-98k-14.txt
• cnfFile-200n-1000m-98k-15.txt
• cnfFile-200n-1000m-98k-16.txt
• cnfFile-200n-1000m-98k-17.txt
• cnfFile-200n-1000m-98k-18.txt
• cnfFile-200n-1000m-98k-19.txt
• cnfFile-200n-1000m-98k-2.txt
• cnfFile-200n-1000m-98k-3.txt
• cnfFile-200n-1000m-98k-4.txt
• cnfFile-200n-1000m-98k-5.txt
• cnfFile-200n-1000m-98k-6.txt
• cnfFile-200n-1000m-98k-7.txt
• cnfFile-200n-1000m-98k-8.txt
• cnfFile-200n-1000m-98k-9.txt
• cnfFile-200n-100m-180k-0.txt
• cnfFile-200n-100m-180k-1.txt
• cnfFile-200n-100m-180k-10.txt
• cnfFile-200n-100m-180k-11.txt
• cnfFile-200n-100m-180k-12.txt
• cnfFile-200n-100m-180k-13.txt
• cnfFile-200n-100m-180k-14.txt
• cnfFile-200n-100m-180k-15.txt
• cnfFile-200n-100m-180k-16.txt
• cnfFile-200n-100m-180k-17.txt
• cnfFile-200n-100m-180k-18.txt
• cnfFile-200n-100m-180k-19.txt
• cnfFile-200n-100m-180k-2.txt
• cnfFile-200n-100m-180k-3.txt
• cnfFile-200n-100m-180k-4.txt
• cnfFile-200n-100m-180k-5.txt
• cnfFile-200n-100m-180k-6.txt
• cnfFile-200n-100m-180k-7.txt
• cnfFile-200n-100m-180k-8.txt
• cnfFile-200n-100m-180k-9.txt
• cnfFile-200n-100m-42k-0.txt
• cnfFile-200n-100m-42k-1.txt
• cnfFile-200n-100m-42k-10.txt
• cnfFile-200n-100m-42k-11.txt
• cnfFile-200n-100m-42k-12.txt
• cnfFile-200n-100m-42k-13.txt
• cnfFile-200n-100m-42k-14.txt
• cnfFile-200n-100m-42k-15.txt
• cnfFile-200n-100m-42k-16.txt
• cnfFile-200n-100m-42k-17.txt
• cnfFile-200n-100m-42k-18.txt
• cnfFile-200n-100m-42k-19.txt
• cnfFile-200n-100m-42k-2.txt
• cnfFile-200n-100m-42k-3.txt
• cnfFile-200n-100m-42k-4.txt
• cnfFile-200n-100m-42k-5.txt
• cnfFile-200n-100m-42k-6.txt
• cnfFile-200n-100m-42k-7.txt
• cnfFile-200n-100m-42k-8.txt
• cnfFile-200n-100m-42k-9.txt
• cnfFile-200n-100m-56k-0.txt
• cnfFile-200n-100m-56k-1.txt
• cnfFile-200n-100m-56k-10.txt
• cnfFile-200n-100m-56k-11.txt
• cnfFile-200n-100m-56k-12.txt
• cnfFile-200n-100m-56k-13.txt
• cnfFile-200n-100m-56k-14.txt
• cnfFile-200n-100m-56k-15.txt
• cnfFile-200n-100m-56k-16.txt
• cnfFile-200n-100m-56k-17.txt
• cnfFile-200n-100m-56k-18.txt
• cnfFile-200n-100m-56k-19.txt
• cnfFile-200n-100m-56k-2.txt
• cnfFile-200n-100m-56k-3.txt
• cnfFile-200n-100m-56k-4.txt
• cnfFile-200n-100m-56k-5.txt
• cnfFile-200n-100m-56k-6.txt
• cnfFile-200n-100m-56k-7.txt
• cnfFile-200n-100m-56k-8.txt
• cnfFile-200n-100m-56k-9.txt
• cnfFile-200n-100m-70k-0.txt
• cnfFile-200n-100m-70k-1.txt
• cnfFile-200n-100m-70k-10.txt
• cnfFile-200n-100m-70k-11.txt
• cnfFile-200n-100m-70k-12.txt
• cnfFile-200n-100m-70k-13.txt
• cnfFile-200n-100m-70k-14.txt
• cnfFile-200n-100m-70k-15.txt
• cnfFile-200n-100m-70k-16.txt
• cnfFile-200n-100m-70k-17.txt
• cnfFile-200n-100m-70k-18.txt
• cnfFile-200n-100m-70k-19.txt
• cnfFile-200n-100m-70k-2.txt
• cnfFile-200n-100m-70k-3.txt
• cnfFile-200n-100m-70k-4.txt
• cnfFile-200n-100m-70k-5.txt
• cnfFile-200n-100m-70k-6.txt
• cnfFile-200n-100m-70k-7.txt
• cnfFile-200n-100m-70k-8.txt
• cnfFile-200n-100m-70k-9.txt
• cnfFile-200n-100m-84k-0.txt
• cnfFile-200n-100m-84k-1.txt
• cnfFile-200n-100m-84k-10.txt
• cnfFile-200n-100m-84k-11.txt
• cnfFile-200n-100m-84k-12.txt
• cnfFile-200n-100m-84k-13.txt
• cnfFile-200n-100m-84k-14.txt
• cnfFile-200n-100m-84k-15.txt
• cnfFile-200n-100m-84k-16.txt
• cnfFile-200n-100m-84k-17.txt
• cnfFile-200n-100m-84k-18.txt
• cnfFile-200n-100m-84k-19.txt
• cnfFile-200n-100m-84k-2.txt
• cnfFile-200n-100m-84k-3.txt
• cnfFile-200n-100m-84k-4.txt
• cnfFile-200n-100m-84k-5.txt
• cnfFile-200n-100m-84k-6.txt
• cnfFile-200n-100m-84k-7.txt
• cnfFile-200n-100m-84k-8.txt
• cnfFile-200n-100m-84k-9.txt
• cnfFile-200n-100m-98k-0.txt
• cnfFile-200n-100m-98k-1.txt
• cnfFile-200n-100m-98k-10.txt
• cnfFile-200n-100m-98k-11.txt
• cnfFile-200n-100m-98k-12.txt
• cnfFile-200n-100m-98k-13.txt
• cnfFile-200n-100m-98k-14.txt
• cnfFile-200n-100m-98k-15.txt
• cnfFile-200n-100m-98k-16.txt
• cnfFile-200n-100m-98k-17.txt
• cnfFile-200n-100m-98k-18.txt
• cnfFile-200n-100m-98k-19.txt
• cnfFile-200n-100m-98k-2.txt
• cnfFile-200n-100m-98k-3.txt
• cnfFile-200n-100m-98k-4.txt
• cnfFile-200n-100m-98k-5.txt
• cnfFile-200n-100m-98k-6.txt
• cnfFile-200n-100m-98k-7.txt
• cnfFile-200n-100m-98k-8.txt
• cnfFile-200n-100m-98k-9.txt
• cnfFile-5000n-100000m-282k-0.txt
• cnfFile-5000n-100000m-353k-0.txt
• cnfFile-5000n-100000m-424k-0.txt
• cnfFile-5000n-100000m-4500k-0.txt
• cnfFile-5000n-100000m-494k-0.txt
• cnfFile-5000n-100000m-494k-1.txt
• cnfFile-5000n-100000m-494k-2.txt
• cnfFile-5000n-10000m-212k-0.txt
• cnfFile-5000n-10000m-212k-1.txt
• cnfFile-5000n-10000m-212k-2.txt
• cnfFile-5000n-10000m-282k-0.txt
• cnfFile-5000n-10000m-282k-1.txt
• cnfFile-5000n-10000m-282k-2.txt
• cnfFile-5000n-10000m-353k-0.txt
• cnfFile-5000n-10000m-353k-1.txt
• cnfFile-5000n-10000m-353k-2.txt
• cnfFile-5000n-10000m-424k-0.txt
• cnfFile-5000n-10000m-424k-1.txt
• cnfFile-5000n-10000m-424k-2.txt
• cnfFile-5000n-10000m-4500k-0.txt
• cnfFile-5000n-10000m-4500k-1.txt
• cnfFile-5000n-10000m-4500k-2.txt
• cnfFile-5000n-10000m-494k-0.txt
• cnfFile-5000n-10000m-494k-1.txt
• cnfFile-5000n-10000m-494k-10.txt
• cnfFile-5000n-10000m-494k-11.txt
• cnfFile-5000n-10000m-494k-12.txt
• cnfFile-5000n-10000m-494k-13.txt
• cnfFile-5000n-10000m-494k-14.txt
• cnfFile-5000n-10000m-494k-15.txt
• cnfFile-5000n-10000m-494k-16.txt
• cnfFile-5000n-10000m-494k-17.txt
• cnfFile-5000n-10000m-494k-18.txt
• cnfFile-5000n-10000m-494k-19.txt
• cnfFile-5000n-10000m-494k-2.txt
• cnfFile-5000n-10000m-494k-3.txt
• cnfFile-5000n-10000m-494k-4.txt
• cnfFile-5000n-10000m-494k-5.txt
• cnfFile-5000n-10000m-494k-6.txt
• cnfFile-5000n-10000m-494k-7.txt
• cnfFile-5000n-10000m-494k-8.txt
• cnfFile-5000n-10000m-494k-9.txt
• cnfFile-5000n-1000m-212k-0.txt
• cnfFile-5000n-1000m-212k-1.txt
• cnfFile-5000n-1000m-212k-10.txt
• cnfFile-5000n-1000m-212k-11.txt
• cnfFile-5000n-1000m-212k-12.txt
• cnfFile-5000n-1000m-212k-13.txt
• cnfFile-5000n-1000m-212k-14.txt
• cnfFile-5000n-1000m-212k-15.txt
• cnfFile-5000n-1000m-212k-16.txt
• cnfFile-5000n-1000m-212k-17.txt
• cnfFile-5000n-1000m-212k-18.txt
• cnfFile-5000n-1000m-212k-19.txt
• cnfFile-5000n-1000m-212k-2.txt
• cnfFile-5000n-1000m-212k-3.txt
• cnfFile-5000n-1000m-212k-4.txt
• cnfFile-5000n-1000m-212k-5.txt
• cnfFile-5000n-1000m-212k-6.txt
• cnfFile-5000n-1000m-212k-7.txt
• cnfFile-5000n-1000m-212k-8.txt
• cnfFile-5000n-1000m-212k-9.txt
• cnfFile-5000n-1000m-282k-0.txt
• cnfFile-5000n-1000m-282k-1.txt
• cnfFile-5000n-1000m-282k-10.txt
• cnfFile-5000n-1000m-282k-11.txt
• cnfFile-5000n-1000m-282k-12.txt
• cnfFile-5000n-1000m-282k-13.txt
• cnfFile-5000n-1000m-282k-14.txt
• cnfFile-5000n-1000m-282k-15.txt
• cnfFile-5000n-1000m-282k-16.txt
• cnfFile-5000n-1000m-282k-17.txt
• cnfFile-5000n-1000m-282k-18.txt
• cnfFile-5000n-1000m-282k-19.txt
• cnfFile-5000n-1000m-282k-2.txt
• cnfFile-5000n-1000m-282k-3.txt
• cnfFile-5000n-1000m-282k-4.txt
• cnfFile-5000n-1000m-282k-5.txt
• cnfFile-5000n-1000m-282k-6.txt
• cnfFile-5000n-1000m-282k-7.txt
• cnfFile-5000n-1000m-282k-8.txt
• cnfFile-5000n-1000m-282k-9.txt
• cnfFile-5000n-1000m-353k-0.txt
• cnfFile-5000n-1000m-353k-1.txt
• cnfFile-5000n-1000m-353k-10.txt
• cnfFile-5000n-1000m-353k-11.txt
• cnfFile-5000n-1000m-353k-12.txt
• cnfFile-5000n-1000m-353k-13.txt
• cnfFile-5000n-1000m-353k-14.txt
• cnfFile-5000n-1000m-353k-15.txt
• cnfFile-5000n-1000m-353k-16.txt
• cnfFile-5000n-1000m-353k-17.txt
• cnfFile-5000n-1000m-353k-18.txt
• cnfFile-5000n-1000m-353k-19.txt
• cnfFile-5000n-1000m-353k-2.txt
• cnfFile-5000n-1000m-353k-3.txt
• cnfFile-5000n-1000m-353k-4.txt
• cnfFile-5000n-1000m-353k-5.txt
• cnfFile-5000n-1000m-353k-6.txt
• cnfFile-5000n-1000m-353k-7.txt
• cnfFile-5000n-1000m-353k-8.txt
• cnfFile-5000n-1000m-353k-9.txt
• cnfFile-5000n-1000m-424k-0.txt
• cnfFile-5000n-1000m-424k-1.txt
• cnfFile-5000n-1000m-424k-10.txt
• cnfFile-5000n-1000m-424k-11.txt
• cnfFile-5000n-1000m-424k-12.txt
• cnfFile-5000n-1000m-424k-13.txt
• cnfFile-5000n-1000m-424k-14.txt
• cnfFile-5000n-1000m-424k-15.txt
• cnfFile-5000n-1000m-424k-16.txt
• cnfFile-5000n-1000m-424k-17.txt
• cnfFile-5000n-1000m-424k-18.txt
• cnfFile-5000n-1000m-424k-19.txt
• cnfFile-5000n-1000m-424k-2.txt
• cnfFile-5000n-1000m-424k-3.txt
• cnfFile-5000n-1000m-424k-4.txt
• cnfFile-5000n-1000m-424k-5.txt
• cnfFile-5000n-1000m-424k-6.txt
• cnfFile-5000n-1000m-424k-7.txt
• cnfFile-5000n-1000m-424k-8.txt
• cnfFile-5000n-1000m-424k-9.txt
• cnfFile-5000n-1000m-4500k-0.txt
• cnfFile-5000n-1000m-4500k-1.txt
• cnfFile-5000n-1000m-4500k-10.txt
• cnfFile-5000n-1000m-4500k-11.txt
• cnfFile-5000n-1000m-4500k-12.txt
• cnfFile-5000n-1000m-4500k-13.txt
• cnfFile-5000n-1000m-4500k-14.txt
• cnfFile-5000n-1000m-4500k-15.txt
• cnfFile-5000n-1000m-4500k-16.txt
• cnfFile-5000n-1000m-4500k-17.txt
• cnfFile-5000n-1000m-4500k-18.txt
• cnfFile-5000n-1000m-4500k-19.txt
• cnfFile-5000n-1000m-4500k-2.txt
• cnfFile-5000n-1000m-4500k-3.txt
• cnfFile-5000n-1000m-4500k-4.txt
• cnfFile-5000n-1000m-4500k-5.txt
• cnfFile-5000n-1000m-4500k-6.txt
• cnfFile-5000n-1000m-4500k-7.txt
• cnfFile-5000n-1000m-4500k-8.txt
• cnfFile-5000n-1000m-4500k-9.txt
• cnfFile-5000n-1000m-494k-0.txt
• cnfFile-5000n-1000m-494k-1.txt
• cnfFile-5000n-1000m-494k-10.txt
• cnfFile-5000n-1000m-494k-11.txt
• cnfFile-5000n-1000m-494k-12.txt
• cnfFile-5000n-1000m-494k-13.txt
• cnfFile-5000n-1000m-494k-14.txt
• cnfFile-5000n-1000m-494k-15.txt
• cnfFile-5000n-1000m-494k-16.txt
• cnfFile-5000n-1000m-494k-17.txt
• cnfFile-5000n-1000m-494k-18.txt
• cnfFile-5000n-1000m-494k-19.txt
• cnfFile-5000n-1000m-494k-2.txt
• cnfFile-5000n-1000m-494k-3.txt
• cnfFile-5000n-1000m-494k-4.txt
• cnfFile-5000n-1000m-494k-5.txt
• cnfFile-5000n-1000m-494k-6.txt
• cnfFile-5000n-1000m-494k-7.txt
• cnfFile-5000n-1000m-494k-8.txt
• cnfFile-5000n-1000m-494k-9.txt
• cnfFile-5000n-100m-212k-0.txt
• cnfFile-5000n-100m-212k-1.txt
• cnfFile-5000n-100m-212k-10.txt
• cnfFile-5000n-100m-212k-11.txt
• cnfFile-5000n-100m-212k-12.txt
• cnfFile-5000n-100m-212k-13.txt
• cnfFile-5000n-100m-212k-14.txt
• cnfFile-5000n-100m-212k-15.txt
• cnfFile-5000n-100m-212k-16.txt
• cnfFile-5000n-100m-212k-17.txt
• cnfFile-5000n-100m-212k-18.txt
• cnfFile-5000n-100m-212k-19.txt
• cnfFile-5000n-100m-212k-2.txt
• cnfFile-5000n-100m-212k-3.txt
• cnfFile-5000n-100m-212k-4.txt
• cnfFile-5000n-100m-212k-5.txt
• cnfFile-5000n-100m-212k-6.txt
• cnfFile-5000n-100m-212k-7.txt
• cnfFile-5000n-100m-212k-8.txt
• cnfFile-5000n-100m-212k-9.txt
• cnfFile-5000n-100m-282k-0.txt
• cnfFile-5000n-100m-282k-1.txt
• cnfFile-5000n-100m-282k-10.txt
• cnfFile-5000n-100m-282k-11.txt
• cnfFile-5000n-100m-282k-12.txt
• cnfFile-5000n-100m-282k-13.txt
• cnfFile-5000n-100m-282k-14.txt
• cnfFile-5000n-100m-282k-15.txt
• cnfFile-5000n-100m-282k-16.txt
• cnfFile-5000n-100m-282k-17.txt
• cnfFile-5000n-100m-282k-18.txt
• cnfFile-5000n-100m-282k-19.txt
• cnfFile-5000n-100m-282k-2.txt
• cnfFile-5000n-100m-282k-3.txt
• cnfFile-5000n-100m-282k-4.txt
• cnfFile-5000n-100m-282k-5.txt
• cnfFile-5000n-100m-282k-6.txt
• cnfFile-5000n-100m-282k-7.txt
• cnfFile-5000n-100m-282k-8.txt
• cnfFile-5000n-100m-282k-9.txt
• cnfFile-5000n-100m-353k-0.txt
• cnfFile-5000n-100m-353k-1.txt
• cnfFile-5000n-100m-353k-10.txt
• cnfFile-5000n-100m-353k-11.txt
• cnfFile-5000n-100m-353k-12.txt
• cnfFile-5000n-100m-353k-13.txt
• cnfFile-5000n-100m-353k-14.txt
• cnfFile-5000n-100m-353k-15.txt
• cnfFile-5000n-100m-353k-16.txt
• cnfFile-5000n-100m-353k-17.txt
• cnfFile-5000n-100m-353k-18.txt
• cnfFile-5000n-100m-353k-19.txt
• cnfFile-5000n-100m-353k-2.txt
• cnfFile-5000n-100m-353k-3.txt
• cnfFile-5000n-100m-353k-4.txt
• cnfFile-5000n-100m-353k-5.txt
• cnfFile-5000n-100m-353k-6.txt
• cnfFile-5000n-100m-353k-7.txt
• cnfFile-5000n-100m-353k-8.txt
• cnfFile-5000n-100m-353k-9.txt
• cnfFile-5000n-100m-424k-0.txt
• cnfFile-5000n-100m-424k-1.txt
• cnfFile-5000n-100m-424k-10.txt
• cnfFile-5000n-100m-424k-11.txt
• cnfFile-5000n-100m-424k-12.txt
• cnfFile-5000n-100m-424k-13.txt
• cnfFile-5000n-100m-424k-14.txt
• cnfFile-5000n-100m-424k-15.txt
• cnfFile-5000n-100m-424k-16.txt
• cnfFile-5000n-100m-424k-17.txt
• cnfFile-5000n-100m-424k-18.txt
• cnfFile-5000n-100m-424k-19.txt
• cnfFile-5000n-100m-424k-2.txt
• cnfFile-5000n-100m-424k-3.txt
• cnfFile-5000n-100m-424k-4.txt
• cnfFile-5000n-100m-424k-5.txt
• cnfFile-5000n-100m-424k-6.txt
• cnfFile-5000n-100m-424k-7.txt
• cnfFile-5000n-100m-424k-8.txt
• cnfFile-5000n-100m-424k-9.txt
• cnfFile-5000n-100m-4500k-0.txt
• cnfFile-5000n-100m-4500k-1.txt
• cnfFile-5000n-100m-4500k-10.txt
• cnfFile-5000n-100m-4500k-11.txt
• cnfFile-5000n-100m-4500k-12.txt
• cnfFile-5000n-100m-4500k-13.txt
• cnfFile-5000n-100m-4500k-14.txt
• cnfFile-5000n-100m-4500k-15.txt
• cnfFile-5000n-100m-4500k-16.txt
• cnfFile-5000n-100m-4500k-17.txt
• cnfFile-5000n-100m-4500k-18.txt
• cnfFile-5000n-100m-4500k-19.txt
• cnfFile-5000n-100m-4500k-2.txt
• cnfFile-5000n-100m-4500k-3.txt
• cnfFile-5000n-100m-4500k-4.txt
• cnfFile-5000n-100m-4500k-5.txt
• cnfFile-5000n-100m-4500k-6.txt
• cnfFile-5000n-100m-4500k-7.txt
• cnfFile-5000n-100m-4500k-8.txt
• cnfFile-5000n-100m-4500k-9.txt
• cnfFile-5000n-100m-494k-0.txt
• cnfFile-5000n-100m-494k-1.txt
• cnfFile-5000n-100m-494k-10.txt
• cnfFile-5000n-100m-494k-11.txt
• cnfFile-5000n-100m-494k-12.txt
• cnfFile-5000n-100m-494k-13.txt
• cnfFile-5000n-100m-494k-14.txt
• cnfFile-5000n-100m-494k-15.txt
• cnfFile-5000n-100m-494k-16.txt
• cnfFile-5000n-100m-494k-17.txt
• cnfFile-5000n-100m-494k-18.txt
• cnfFile-5000n-100m-494k-19.txt
• cnfFile-5000n-100m-494k-2.txt
• cnfFile-5000n-100m-494k-3.txt
• cnfFile-5000n-100m-494k-4.txt
• cnfFile-5000n-100m-494k-5.txt
• cnfFile-5000n-100m-494k-6.txt
• cnfFile-5000n-100m-494k-7.txt
• cnfFile-5000n-100m-494k-8.txt
• cnfFile-5000n-100m-494k-9.txt
• cnfFile-800n-100000m-113k-0.txt
• cnfFile-800n-100000m-141k-0.txt
• cnfFile-800n-100000m-169k-0.txt
• cnfFile-800n-100000m-197k-0.txt
• cnfFile-800n-100000m-197k-1.txt
• cnfFile-800n-100000m-197k-2.txt
• cnfFile-800n-100000m-720k-0.txt
• cnfFile-800n-10000m-113k-0.txt
• cnfFile-800n-10000m-113k-1.txt
• cnfFile-800n-10000m-113k-2.txt
• cnfFile-800n-10000m-141k-0.txt
• cnfFile-800n-10000m-141k-1.txt
• cnfFile-800n-10000m-141k-2.txt
• cnfFile-800n-10000m-169k-0.txt
• cnfFile-800n-10000m-169k-1.txt
• cnfFile-800n-10000m-169k-2.txt
• cnfFile-800n-10000m-197k-0.txt
• cnfFile-800n-10000m-197k-1.txt
• cnfFile-800n-10000m-197k-10.txt
• cnfFile-800n-10000m-197k-11.txt
• cnfFile-800n-10000m-197k-12.txt
• cnfFile-800n-10000m-197k-13.txt
• cnfFile-800n-10000m-197k-14.txt
• cnfFile-800n-10000m-197k-15.txt
• cnfFile-800n-10000m-197k-16.txt
• cnfFile-800n-10000m-197k-17.txt
• cnfFile-800n-10000m-197k-18.txt
• cnfFile-800n-10000m-197k-19.txt
• cnfFile-800n-10000m-197k-2.txt
• cnfFile-800n-10000m-197k-3.txt
• cnfFile-800n-10000m-197k-4.txt
• cnfFile-800n-10000m-197k-5.txt
• cnfFile-800n-10000m-197k-6.txt
• cnfFile-800n-10000m-197k-7.txt
• cnfFile-800n-10000m-197k-8.txt
• cnfFile-800n-10000m-197k-9.txt
• cnfFile-800n-10000m-720k-0.txt
• cnfFile-800n-10000m-720k-1.txt
• cnfFile-800n-10000m-720k-2.txt
• cnfFile-800n-10000m-84k-0.txt
• cnfFile-800n-10000m-84k-1.txt
• cnfFile-800n-10000m-84k-2.txt
• cnfFile-800n-1000m-113k-0.txt
• cnfFile-800n-1000m-113k-1.txt
• cnfFile-800n-1000m-113k-10.txt
• cnfFile-800n-1000m-113k-11.txt
• cnfFile-800n-1000m-113k-12.txt
• cnfFile-800n-1000m-113k-13.txt
• cnfFile-800n-1000m-113k-14.txt
• cnfFile-800n-1000m-113k-15.txt
• cnfFile-800n-1000m-113k-16.txt
• cnfFile-800n-1000m-113k-17.txt
• cnfFile-800n-1000m-113k-18.txt
• cnfFile-800n-1000m-113k-19.txt
• cnfFile-800n-1000m-113k-2.txt
• cnfFile-800n-1000m-113k-3.txt
• cnfFile-800n-1000m-113k-4.txt
• cnfFile-800n-1000m-113k-5.txt
• cnfFile-800n-1000m-113k-6.txt
• cnfFile-800n-1000m-113k-7.txt
• cnfFile-800n-1000m-113k-8.txt
• cnfFile-800n-1000m-113k-9.txt
• cnfFile-800n-1000m-141k-0.txt
• cnfFile-800n-1000m-141k-1.txt
• cnfFile-800n-1000m-141k-10.txt
• cnfFile-800n-1000m-141k-11.txt
• cnfFile-800n-1000m-141k-12.txt
• cnfFile-800n-1000m-141k-13.txt
• cnfFile-800n-1000m-141k-14.txt
• cnfFile-800n-1000m-141k-15.txt
• cnfFile-800n-1000m-141k-16.txt
• cnfFile-800n-1000m-141k-17.txt
• cnfFile-800n-1000m-141k-18.txt
• cnfFile-800n-1000m-141k-19.txt
• cnfFile-800n-1000m-141k-2.txt
• cnfFile-800n-1000m-141k-3.txt
• cnfFile-800n-1000m-141k-4.txt
• cnfFile-800n-1000m-141k-5.txt
• cnfFile-800n-1000m-141k-6.txt
• cnfFile-800n-1000m-141k-7.txt
• cnfFile-800n-1000m-141k-8.txt
• cnfFile-800n-1000m-141k-9.txt
• cnfFile-800n-1000m-169k-0.txt
• cnfFile-800n-1000m-169k-1.txt
• cnfFile-800n-1000m-169k-10.txt
• cnfFile-800n-1000m-169k-11.txt
• cnfFile-800n-1000m-169k-12.txt
• cnfFile-800n-1000m-169k-13.txt
• cnfFile-800n-1000m-169k-14.txt
• cnfFile-800n-1000m-169k-15.txt
• cnfFile-800n-1000m-169k-16.txt
• cnfFile-800n-1000m-169k-17.txt
• cnfFile-800n-1000m-169k-18.txt
• cnfFile-800n-1000m-169k-19.txt
• cnfFile-800n-1000m-169k-2.txt
• cnfFile-800n-1000m-169k-3.txt
• cnfFile-800n-1000m-169k-4.txt
• cnfFile-800n-1000m-169k-5.txt
• cnfFile-800n-1000m-169k-6.txt
• cnfFile-800n-1000m-169k-7.txt
• cnfFile-800n-1000m-169k-8.txt
• cnfFile-800n-1000m-169k-9.txt
• cnfFile-800n-1000m-197k-0.txt
• cnfFile-800n-1000m-197k-1.txt
• cnfFile-800n-1000m-197k-10.txt
• cnfFile-800n-1000m-197k-11.txt
• cnfFile-800n-1000m-197k-12.txt
• cnfFile-800n-1000m-197k-13.txt
• cnfFile-800n-1000m-197k-14.txt
• cnfFile-800n-1000m-197k-15.txt
• cnfFile-800n-1000m-197k-16.txt
• cnfFile-800n-1000m-197k-17.txt
• cnfFile-800n-1000m-197k-18.txt
• cnfFile-800n-1000m-197k-19.txt
• cnfFile-800n-1000m-197k-2.txt
• cnfFile-800n-1000m-197k-3.txt
• cnfFile-800n-1000m-197k-4.txt
• cnfFile-800n-1000m-197k-5.txt
• cnfFile-800n-1000m-197k-6.txt
• cnfFile-800n-1000m-197k-7.txt
• cnfFile-800n-1000m-197k-8.txt
• cnfFile-800n-1000m-197k-9.txt
• cnfFile-800n-1000m-720k-0.txt
• cnfFile-800n-1000m-720k-1.txt
• cnfFile-800n-1000m-720k-10.txt
• cnfFile-800n-1000m-720k-11.txt
• cnfFile-800n-1000m-720k-12.txt
• cnfFile-800n-1000m-720k-13.txt
• cnfFile-800n-1000m-720k-14.txt
• cnfFile-800n-1000m-720k-15.txt
• cnfFile-800n-1000m-720k-16.txt
• cnfFile-800n-1000m-720k-17.txt
• cnfFile-800n-1000m-720k-18.txt
• cnfFile-800n-1000m-720k-19.txt
• cnfFile-800n-1000m-720k-2.txt
• cnfFile-800n-1000m-720k-3.txt
• cnfFile-800n-1000m-720k-4.txt
• cnfFile-800n-1000m-720k-5.txt
• cnfFile-800n-1000m-720k-6.txt
• cnfFile-800n-1000m-720k-7.txt
• cnfFile-800n-1000m-720k-8.txt
• cnfFile-800n-1000m-720k-9.txt
• cnfFile-800n-1000m-84k-0.txt
• cnfFile-800n-1000m-84k-1.txt
• cnfFile-800n-1000m-84k-10.txt
• cnfFile-800n-1000m-84k-11.txt
• cnfFile-800n-1000m-84k-12.txt
• cnfFile-800n-1000m-84k-13.txt
• cnfFile-800n-1000m-84k-14.txt
• cnfFile-800n-1000m-84k-15.txt
• cnfFile-800n-1000m-84k-16.txt
• cnfFile-800n-1000m-84k-17.txt
• cnfFile-800n-1000m-84k-18.txt
• cnfFile-800n-1000m-84k-19.txt
• cnfFile-800n-1000m-84k-2.txt
• cnfFile-800n-1000m-84k-3.txt
• cnfFile-800n-1000m-84k-4.txt
• cnfFile-800n-1000m-84k-5.txt
• cnfFile-800n-1000m-84k-6.txt
• cnfFile-800n-1000m-84k-7.txt
• cnfFile-800n-1000m-84k-8.txt
• cnfFile-800n-1000m-84k-9.txt
• cnfFile-800n-100m-113k-0.txt
• cnfFile-800n-100m-113k-1.txt
• cnfFile-800n-100m-113k-10.txt
• cnfFile-800n-100m-113k-11.txt
• cnfFile-800n-100m-113k-12.txt
• cnfFile-800n-100m-113k-13.txt
• cnfFile-800n-100m-113k-14.txt
• cnfFile-800n-100m-113k-15.txt
• cnfFile-800n-100m-113k-16.txt
• cnfFile-800n-100m-113k-17.txt
• cnfFile-800n-100m-113k-18.txt
• cnfFile-800n-100m-113k-19.txt
• cnfFile-800n-100m-113k-2.txt
• cnfFile-800n-100m-113k-3.txt
• cnfFile-800n-100m-113k-4.txt
• cnfFile-800n-100m-113k-5.txt
• cnfFile-800n-100m-113k-6.txt
• cnfFile-800n-100m-113k-7.txt
• cnfFile-800n-100m-113k-8.txt
• cnfFile-800n-100m-113k-9.txt
• cnfFile-800n-100m-141k-0.txt
• cnfFile-800n-100m-141k-1.txt
• cnfFile-800n-100m-141k-10.txt
• cnfFile-800n-100m-141k-11.txt
• cnfFile-800n-100m-141k-12.txt
• cnfFile-800n-100m-141k-13.txt
• cnfFile-800n-100m-141k-14.txt
• cnfFile-800n-100m-141k-15.txt
• cnfFile-800n-100m-141k-16.txt
• cnfFile-800n-100m-141k-17.txt
• cnfFile-800n-100m-141k-18.txt
• cnfFile-800n-100m-141k-19.txt
• cnfFile-800n-100m-141k-2.txt
• cnfFile-800n-100m-141k-3.txt
• cnfFile-800n-100m-141k-4.txt
• cnfFile-800n-100m-141k-5.txt
• cnfFile-800n-100m-141k-6.txt
• cnfFile-800n-100m-141k-7.txt
• cnfFile-800n-100m-141k-8.txt
• cnfFile-800n-100m-141k-9.txt
• cnfFile-800n-100m-169k-0.txt
• cnfFile-800n-100m-169k-1.txt
• cnfFile-800n-100m-169k-10.txt
• cnfFile-800n-100m-169k-11.txt
• cnfFile-800n-100m-169k-12.txt
• cnfFile-800n-100m-169k-13.txt
• cnfFile-800n-100m-169k-14.txt
• cnfFile-800n-100m-169k-15.txt
• cnfFile-800n-100m-169k-16.txt
• cnfFile-800n-100m-169k-17.txt
• cnfFile-800n-100m-169k-18.txt
• cnfFile-800n-100m-169k-19.txt
• cnfFile-800n-100m-169k-2.txt
• cnfFile-800n-100m-169k-3.txt
• cnfFile-800n-100m-169k-4.txt
• cnfFile-800n-100m-169k-5.txt
• cnfFile-800n-100m-169k-6.txt
• cnfFile-800n-100m-169k-7.txt
• cnfFile-800n-100m-169k-8.txt
• cnfFile-800n-100m-169k-9.txt
• cnfFile-800n-100m-197k-0.txt
• cnfFile-800n-100m-197k-1.txt
• cnfFile-800n-100m-197k-10.txt
• cnfFile-800n-100m-197k-11.txt
• cnfFile-800n-100m-197k-12.txt
• cnfFile-800n-100m-197k-13.txt
• cnfFile-800n-100m-197k-14.txt
• cnfFile-800n-100m-197k-15.txt
• cnfFile-800n-100m-197k-16.txt
• cnfFile-800n-100m-197k-17.txt
• cnfFile-800n-100m-197k-18.txt
• cnfFile-800n-100m-197k-19.txt
• cnfFile-800n-100m-197k-2.txt
• cnfFile-800n-100m-197k-3.txt
• cnfFile-800n-100m-197k-4.txt
• cnfFile-800n-100m-197k-5.txt
• cnfFile-800n-100m-197k-6.txt
• cnfFile-800n-100m-197k-7.txt
• cnfFile-800n-100m-197k-8.txt
• cnfFile-800n-100m-197k-9.txt
• cnfFile-800n-100m-720k-0.txt
• cnfFile-800n-100m-720k-1.txt
• cnfFile-800n-100m-720k-10.txt
• cnfFile-800n-100m-720k-11.txt
• cnfFile-800n-100m-720k-12.txt
• cnfFile-800n-100m-720k-13.txt
• cnfFile-800n-100m-720k-14.txt
• cnfFile-800n-100m-720k-15.txt
• cnfFile-800n-100m-720k-16.txt
• cnfFile-800n-100m-720k-17.txt
• cnfFile-800n-100m-720k-18.txt
• cnfFile-800n-100m-720k-19.txt
• cnfFile-800n-100m-720k-2.txt
• cnfFile-800n-100m-720k-3.txt
• cnfFile-800n-100m-720k-4.txt
• cnfFile-800n-100m-720k-5.txt
• cnfFile-800n-100m-720k-6.txt
• cnfFile-800n-100m-720k-7.txt
• cnfFile-800n-100m-720k-8.txt
• cnfFile-800n-100m-720k-9.txt
• cnfFile-800n-100m-84k-0.txt
• cnfFile-800n-100m-84k-1.txt
• cnfFile-800n-100m-84k-10.txt
• cnfFile-800n-100m-84k-11.txt
• cnfFile-800n-100m-84k-12.txt
• cnfFile-800n-100m-84k-13.txt
• cnfFile-800n-100m-84k-14.txt
• cnfFile-800n-100m-84k-15.txt
• cnfFile-800n-100m-84k-16.txt
• cnfFile-800n-100m-84k-17.txt
• cnfFile-800n-100m-84k-18.txt
• cnfFile-800n-100m-84k-19.txt
• cnfFile-800n-100m-84k-2.txt
• cnfFile-800n-100m-84k-3.txt
• cnfFile-800n-100m-84k-4.txt
• cnfFile-800n-100m-84k-5.txt
• cnfFile-800n-100m-84k-6.txt
• cnfFile-800n-100m-84k-7.txt
• cnfFile-800n-100m-84k-8.txt
• cnfFile-800n-100m-84k-9.txt
• cnfFiles.7z