instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S665010681.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1045041260.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S921176021.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1646157872.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S168840505.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S2076110706.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1775654432.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S544525005.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S62251246.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S560961398.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S78688024.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S280757130.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S2140983396.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1737698552.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S950848269.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1047722368.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1763641795.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1295271896.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S700405120.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S260658413.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1942661874.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S2003566508.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1959243170.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1353375045.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1446733680.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1116018398.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1767204538.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S222237818.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1159914409.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1692812320.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S911123804.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S942470128.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S767713019.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S847817444.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S396678295.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1533377502.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S2146768496.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S2000723596.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1141740568.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S878858462.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1540506254.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1659860366.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1757867176.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1144429584.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S2075256123.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S2033988790.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1460685600.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1291761864.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1850967930.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S74359386.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S158180240.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1357450338.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S2037073264.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S291018500.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S971494453.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S634118062.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S406364224.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1084337280.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1304341392.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S846031584.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S899087716.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S599235498.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S247704941.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1304936656.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1396637937.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1723423688.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1910618268.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S880198342.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1330911511.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1187097692.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S2136808512.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1094588976.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1041312403.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1604316833.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1071314151.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1462521088.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S376319904.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1991843828.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S111791639.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1965269752.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S50445886.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S2135348397.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1072189690.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1487070566.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1239230006.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S2109845764.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S986651544.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S605777128.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S931501231.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S386546538.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1901671619.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1356385848.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S372239344.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S552406562.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S399794908.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S781301433.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1931420895.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S183435475.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S127281474.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S109626811.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S526139785.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S770343301.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S2074461528.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1870521441.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S103426553.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S653039707.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1339712544.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S18188591.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S2071258402.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S25820097.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S504692296.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1892384750.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1743297240.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S158509362.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S400789808.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1139380504.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S947454648.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S2115185338.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S272355270.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S803614048.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S297590620.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1462634952.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1626885689.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1647628826.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1012983208.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S673912704.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S390589708.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1122768955.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1071777737.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S821127164.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1556730472.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S2003071976.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1859465486.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S2080920508.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S136876608.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1985556556.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1348052320.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S759315262.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S911286116.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S890202905.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S791315085.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S870252504.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S409623927.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S21884612.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1442482352.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1517636928.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S454415804.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1044455120.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1248118414.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1575079089.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1172308130.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1557593424.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S913840720.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S2005715239.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S641035836.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S132899209.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S55638342.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1152165462.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S408067000.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1959747584.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1315442688.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S873114522.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S373569648.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1846576786.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S735099932.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S508807072.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S605042446.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1735938560.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S516956576.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S811366610.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S538781355.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1257955880.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1966109792.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S690954870.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S506456737.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1030747258.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S31999884.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1981360199.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1044333250.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S224861620.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1834775432.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S874374056.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S223147592.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1890684424.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1107745815.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1695531392.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S2017310544.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1832664849.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S628644304.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S198998924.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S29515112.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S261490143.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S496241314.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1518751714.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1502206070.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1152752166.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1080128151.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S551640076.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S958842686.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1302577072.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S542774912.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1233051374.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1838910507.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1481051050.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1202310935.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1485846177.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S2132948384.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S2011590144.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1387637265.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S399193392.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S62206549.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S390234384.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1010650948.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S233547135.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S117381136.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S229400918.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1875033704.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S334797440.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S179211713.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S80102266.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S2137034704.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1495757856.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1653874194.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S366077654.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S597126918.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1446829312.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1340774023.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S626361356.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1326875500.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1861094776.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S880565284.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1440201108.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S237756584.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1992914931.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S826274290.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S653725372.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1509722889.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1728206308.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1159694041.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S239028204.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S398857928.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1761933678.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1513478340.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S853727645.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1089525275.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1877514876.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S1041090704.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S592324729.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S624478656.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.test/unif-k7-r85.00-v90-c7650-S798721216.cnf
