instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1423318360.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1448666471.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1065392469.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S266540400.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1646905572.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S146932294.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S242502392.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S535152420.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S296425454.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S646397762.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S992103273.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1453324264.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S460471212.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1317946442.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S91879709.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S85317332.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1423743452.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S572562186.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1280671780.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S184962808.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S575925557.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S560704008.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S915669812.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S380672450.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S537061532.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S84865736.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S286298440.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1422348720.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S769140495.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1242042164.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S766201216.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S981307776.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S211833600.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1797569780.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1499178440.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1568172192.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1847606940.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1275681632.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S818736254.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1162931748.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1331698634.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1267368834.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1969100134.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S497489604.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1261245886.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1583864704.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1169103464.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S581105536.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S166717299.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1034071996.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S686309724.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S418870518.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1162892078.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1683655552.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S762508664.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1266823396.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S745220572.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1051522368.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S700796299.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S362858396.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S952308352.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S2092764088.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S827090596.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S2136104736.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1280054301.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S656513840.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1060396436.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1380399724.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S881115542.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S237266549.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1017001722.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S465250581.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1720271806.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S518616362.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S228573034.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1881446506.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S900482432.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S34032576.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1159170308.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1049928944.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S441180432.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1140711750.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S879443812.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1785700108.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1728127972.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S316376720.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S688002536.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1233373484.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1764987783.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S893944064.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S2056042022.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1010585666.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S610193483.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S144577428.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1428733596.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1267863288.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1195253005.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S607421237.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1953117275.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1375563345.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1430304788.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S709448064.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1243383880.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1139975053.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1635801965.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S109227881.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S160171779.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1334194226.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S826737819.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1155220320.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1330550746.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1883670900.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1883061561.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S2011770832.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1016840769.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S465963498.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S187033119.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1943720250.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1120928190.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1702046241.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S158353874.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1625673689.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S273738526.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S897527557.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S60901660.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1456553856.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1384205012.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1702308430.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S510829846.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1151953946.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S308428141.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S2095942760.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S647715624.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S934836174.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1537405812.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S972233368.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S610595309.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S227014642.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S504547808.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1122273755.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1806651752.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1560330781.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S655443783.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1221192455.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S112819253.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S289180980.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1327095612.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S707937619.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S412788252.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S835265381.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S2109974861.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S2059131904.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1584695008.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S167594977.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S614214685.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1446244197.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S2048048755.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1443665565.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S2008602768.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S109938110.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1673426310.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1253487680.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1587241220.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S25671518.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1795012736.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S980745337.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S433059056.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S16972050.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S713886958.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1234320958.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1685637202.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S433856544.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1006222744.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1257079188.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S667977730.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1761192934.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1646186660.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S756152920.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S71739088.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1283470395.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1296182746.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S775324928.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S445992448.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1802612290.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S2040326914.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S55367974.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1240525673.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1246285608.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S479724374.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1466313840.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1616150729.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S964267892.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S149444432.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1066578725.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S64275070.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1699297664.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S449525958.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1110254136.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1992825290.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S841333058.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1848029373.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S835705523.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S175431643.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S923935744.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S800665952.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S615239038.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S153616456.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S490063360.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1445674757.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1905179954.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1011293364.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1658977359.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S565861424.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S87644092.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S982497014.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1160798480.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S94246968.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S443039504.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1151200014.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1614256792.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1877931810.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S2091748822.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S27976427.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S82085820.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S2125310440.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S482979032.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1296622832.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S790027432.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1425352294.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S464170688.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S514961088.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S954958888.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1340073178.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1867251024.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S102979141.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S443538064.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1359956225.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S124408614.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S2049875177.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1532337962.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1558649624.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S613367865.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S2005431768.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S225020809.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S714930992.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1283959501.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1657682548.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S60266422.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S315135943.cnf
instances/sat/data/7SAT90-SAT-CSSC14/instances/Sat_Data/jack_instances/7sat90.train/unif-k7-r85.00-v90-c7650-S1241597536.cnf
