example_data/SWGCP-satisfiable-instances-train/SWlin2006.10013.cnf, 978, 7498, 815, 6520, 0.2, 0.15, 0.125, 1, 0, 1, 1, 0, 0.003681, 0.88192, 0.002454, 0.01227, 0.37677, 0, 0.875, 0.875, 0.003681, 0.030615, 0.0033742, 0.0039877, 0.48928, 0.16682, 0.0051536, 0.15385, 0.18182, 0.48928, 0.0021472, 0.026242, 0.0019939, 0.0023006, 0.48928, 0.875, 0.0082822, 0.034017, 0.0075153, 0.0090491, 0.0044147, 1.1422, 0.0013804, 0.019172, 1.5964, 0.11012, 0.44946, 0.015873, 0.2, 1.2805, 9.8403, 0.098789, 7, 11, 1.3155, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0.68234, 0.008786, 0.66562, 0.70115, 0.68334, 0.68101, 0.68275, 0.68174, 0.68223, 0.0099129, 0.1424, 0.0066754, 0.014601, 0.010024, 0.0096488, 0.0099094, 0.0097322, 0.0098132, 0, 0, 0.35092, 0.92025, 0.92025, 0.1, 2, 0, 0.5, 0.8, 28.2774, 1.6406, 271.312, 0.062909, 272, 254, 290, 3.0038, 0.21367, 0.98823, 0.036143, 26.2383, 0.12316, 272.011, 0.051335, 273, 253, 289, 1.6344, 0.42071, 0.98927, 0.0030895, 0.54615, 0.75806
example_data/SWGCP-satisfiable-instances-train/SWlin2006.10017.cnf, 2544, 19504, 2120, 16960, 0.2, 0.15, 0.125, 1, 0, 1, 1, 0, 0.0014151, 0.88192, 0.0009434, 0.004717, 0.37677, 0, 0.875, 0.875, 0.0014151, 0.031866, 0.0011792, 0.001533, 0.49859, 0.16684, 0.0054762, 0.15385, 0.2, 0.49859, 0.00082547, 0.027314, 0.00070755, 0.00088443, 0.49859, 0.875, 0.003184, 0.035407, 0.0025943, 0.0034788, 0.0016973, 1.1422, 0.0004717, 0.0073703, 1.6134, 0.11012, 0.44969, 0.015873, 0.22222, 1.2992, 13.3804, 0.11477, 10, 17, 1.7521, 2110.6667, 0.31623, 1431, 3243, 3243, 1431, 2426, 1568, 1920, 16.7122, 0.12082, 14.5529, 20.6876, 20.6876, 14.5529, 16.6355, 15.1933, 16.4962, 0.68235, 0.009185, 0.66511, 0.71785, 0.6833, 0.68089, 0.68275, 0.68176, 0.68223, 0.0099263, 0.15739, 0.0066182, 0.021304, 0.01004, 0.0096468, 0.0099097, 0.0097308, 0.0098129, 0, 0, 0.19906, 0.67217, 0.67217, 0.1, 2, 0, 0.5, 0.8, 64.9172, 0.099403, 704.892, 0.032992, 705, 675, 731, 2.2729, 0.19603, 0.9881, 0.0022818, 65.6164, 0.090954, 704.314, 0.032604, 702, 675, 735, 0.92541, 0.49851, 0.98812, 0.0019819, 0.46525, 0.64869
example_data/SWGCP-satisfiable-instances-train/SWlin2006.10055.cnf, 762, 5842, 635, 5080, 0.2, 0.15, 0.125, 1, 0, 1, 1, 0, 0.0047244, 0.88192, 0.0031496, 0.015748, 0.37677, 0, 0.875, 0.875, 0.0047244, 0.037705, 0.003937, 0.0055118, 0.54635, 0.16691, 0.0065651, 0.14286, 0.2, 0.54635, 0.0027559, 0.032319, 0.0023622, 0.0031496, 0.54635, 0.875, 0.01063, 0.041895, 0.0086614, 0.012598, 0.0056695, 1.1425, 0.0015748, 0.025591, 1.6756, 0.11013, 0.45064, 0.015267, 0.22222, 1.3871, 10.3407, 0.050136, 9, 11, 0.75094, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0.6824, 0.010686, 0.65248, 0.71751, 0.68368, 0.68029, 0.68276, 0.68205, 0.68226, 0.0099806, 0.19693, 0.0046264, 0.021115, 0.010161, 0.0095801, 0.009821, 0.0097299, 0.0098093, 0, 0, 0.88819, 0.97165, 0.97165, 0.1, 2, 0, 0.5, 0.8, 21.3189, 0.15181, 211.597, 0.063378, 212, 196, 226, 3.1849, 0.21172, 0.99006, 0.0040073, 21.8274, 1.3121, 211.504, 0.0652, 212, 197, 227, 1.8972, 0.44388, 0.99163, 0.068743, 0.576, 0.81809
example_data/SWGCP-satisfiable-instances-train/SWlin2006.1006.cnf, 2064, 15824, 1720, 13760, 0.2, 0.15, 0.125, 1, 0, 1, 1, 0, 0.0017442, 0.88192, 0.0011628, 0.005814, 0.37677, 0, 0.875, 0.875, 0.0017442, 0.031129, 0.0015988, 0.0018895, 0.50084, 0.16683, 0.00524, 0.15385, 0.18182, 0.50084, 0.0010174, 0.026682, 0.00094477, 0.0010901, 0.50084, 0.875, 0.0039244, 0.034587, 0.003561, 0.0042878, 0.0020919, 1.1422, 0.00065407, 0.0090843, 1.6165, 0.11012, 0.44953, 0.015873, 0.2, 1.2895, 13.5532, 0.08428, 11, 16, 1.5232, 1695.2, 0.15635, 1330, 2168, 2168, 1467, 1882, 1470, 1771, 14.2139, 0.024237, 13.7228, 14.9264, 14.9264, 13.8354, 14.3974, 13.8978, 14.2855, 0.68235, 0.0089027, 0.66527, 0.70014, 0.68334, 0.68083, 0.68277, 0.68176, 0.68223, 0.0099173, 0.14538, 0.0066187, 0.014597, 0.010106, 0.0096482, 0.0099142, 0.0097304, 0.0098137, 0, 0, 0.017442, 0.40872, 0.40872, 0.1, 2, 0, 0.5, 0.8, 59.2281, 1.6411, 569.925, 0.074937, 571.5, 548, 601, 2.43, 0.25475, 0.9933, 0.074747, 52.6471, 0.088074, 572.123, 0.033393, 570, 549, 596, 1.0006, 0.3833, 0.98842, 0.0022149, 0.47783, 0.6575
example_data/SWGCP-satisfiable-instances-train/SWlin2006.10111.cnf, 2850, 21850, 2375, 19000, 0.2, 0.15, 0.125, 1, 0, 1, 1, 0, 0.0012632, 0.88192, 0.00084211, 0.0042105, 0.37677, 0, 0.875, 0.875, 0.0012632, 0.032444, 0.0010526, 0.0014737, 0.51823, 0.16684, 0.0054809, 0.14286, 0.2, 0.51823, 0.00073684, 0.027809, 0.00063158, 0.00084211, 0.51823, 0.875, 0.0028421, 0.036049, 0.0023158, 0.0033684, 0.0015152, 1.1423, 0.00042105, 0.0068421, 1.6385, 0.11012, 0.44972, 0.015267, 0.22222, 1.3065, 14.9167, 0.11095, 11, 19, 1.8841, 2360.7143, 0.30613, 1118, 3440, 3440, 1118, 3150, 1866, 2359, 15.9672, 0.10507, 14.4266, 19.8651, 19.8651, 14.4266, 15.9711, 14.6699, 15.6545, 0.68236, 0.0092794, 0.65236, 0.71753, 0.68377, 0.68072, 0.68279, 0.68167, 0.68223, 0.0099274, 0.15383, 0.0046309, 0.020931, 0.01011, 0.009573, 0.0099194, 0.0097293, 0.009814, 0, 0, 0.076211, 0.61263, 0.61263, 0.1, 2, 0, 0.5, 0.8, 93.6544, 2.7417, 783.75, 0.091003, 790, 759, 817, 2.3664, 0.31614, 1.0088, 0.24114, 71.6822, 0.083411, 790.155, 0.031823, 791, 759, 819, 0.87303, 0.42213, 0.98807, 0.0019328, 0.44799, 0.64155