@relation 'x'
@attribute 'instance_id' string
@attribute 'repetition' numeric
@attribute 'algorithm' {'clasp_2.0.R4092.crafted','CryptoMiniSat_Strange.Night2.st_fixed_','glucose_2','MPhaseSAT_2011.02.15','none','PicoSAT_941','QuteRSat_2011.05.12_fixed_','SAT07referencesolverminisat_SAT2007','SAT09referencesolverclasp_1.2.0.SAT09.32','sathys_2011.04.01','sattime._2011.03.02','sattime_2011.03.02','Sol_2011.04.04'}
@attribute 'nvarsOrig' numeric
@attribute 'nclausesOrig' numeric
@attribute 'nvars' numeric
@attribute 'nclauses' numeric
@attribute 'reducedVars' numeric
@attribute 'reducedClauses' numeric
@attribute 'vars_clauses_ratio' numeric
@attribute 'POSNEG_RATIO_CLAUSE_mean' numeric
@attribute 'POSNEG_RATIO_CLAUSE_coeff_variation' numeric
@attribute 'POSNEG_RATIO_CLAUSE_min' numeric
@attribute 'POSNEG_RATIO_CLAUSE_max' numeric
@attribute 'POSNEG_RATIO_CLAUSE_entropy' numeric
@attribute 'VCG_CLAUSE_mean' numeric
@attribute 'VCG_CLAUSE_coeff_variation' numeric
@attribute 'VCG_CLAUSE_min' numeric
@attribute 'VCG_CLAUSE_max' numeric
@attribute 'VCG_CLAUSE_entropy' numeric
@attribute 'UNARY' numeric
@attribute 'BINARYp' numeric
@attribute 'TRINARYp' numeric
@attribute 'VCG_VAR_mean' numeric
@attribute 'VCG_VAR_coeff_variation' numeric
@attribute 'VCG_VAR_min' numeric
@attribute 'VCG_VAR_max' numeric
@attribute 'VCG_VAR_entropy' numeric
@attribute 'POSNEG_RATIO_VAR_mean' numeric
@attribute 'POSNEG_RATIO_VAR_stdev' numeric
@attribute 'POSNEG_RATIO_VAR_min' numeric
@attribute 'POSNEG_RATIO_VAR_max' numeric
@attribute 'POSNEG_RATIO_VAR_entropy' numeric
@attribute 'HORNY_VAR_mean' numeric
@attribute 'HORNY_VAR_coeff_variation' numeric
@attribute 'HORNY_VAR_min' numeric
@attribute 'HORNY_VAR_max' numeric
@attribute 'HORNY_VAR_entropy' numeric
@attribute 'horn_clauses_fraction' numeric
@attribute 'VG_mean' numeric
@attribute 'VG_coeff_variation' numeric
@attribute 'VG_min' numeric
@attribute 'VG_max' numeric
@attribute 'CG_mean' numeric
@attribute 'CG_coeff_variation' numeric
@attribute 'CG_min' numeric
@attribute 'CG_max' numeric
@attribute 'CG_entropy' numeric
@attribute 'cluster_coeff_mean' numeric
@attribute 'cluster_coeff_coeff_variation' numeric
@attribute 'cluster_coeff_min' numeric
@attribute 'cluster_coeff_max' numeric
@attribute 'cluster_coeff_entropy' numeric
@attribute 'DIAMETER_mean' numeric
@attribute 'DIAMETER_coeff_variation' numeric
@attribute 'DIAMETER_min' numeric
@attribute 'DIAMETER_max' numeric
@attribute 'DIAMETER_entropy' numeric
@attribute 'cl_num_mean' numeric
@attribute 'cl_num_coeff_variation' numeric
@attribute 'cl_num_min' numeric
@attribute 'cl_num_max' numeric
@attribute 'cl_num_q90' numeric
@attribute 'cl_num_q10' numeric
@attribute 'cl_num_q75' numeric
@attribute 'cl_num_q25' numeric
@attribute 'cl_num_q50' numeric
@attribute 'cl_size_mean' numeric
@attribute 'cl_size_coeff_variation' numeric
@attribute 'cl_size_min' numeric
@attribute 'cl_size_max' numeric
@attribute 'cl_size_q90' numeric
@attribute 'cl_size_q10' numeric
@attribute 'cl_size_q75' numeric
@attribute 'cl_size_q25' numeric
@attribute 'cl_size_q50' numeric
@attribute 'SP_bias_mean' numeric
@attribute 'SP_bias_coeff_variation' numeric
@attribute 'SP_bias_min' numeric
@attribute 'SP_bias_max' numeric
@attribute 'SP_bias_q90' numeric
@attribute 'SP_bias_q10' numeric
@attribute 'SP_bias_q75' numeric
@attribute 'SP_bias_q25' numeric
@attribute 'SP_bias_q50' numeric
@attribute 'SP_unconstraint_mean' numeric
@attribute 'SP_unconstraint_coeff_variation' numeric
@attribute 'SP_unconstraint_min' numeric
@attribute 'SP_unconstraint_max' numeric
@attribute 'SP_unconstraint_q90' numeric
@attribute 'SP_unconstraint_q10' numeric
@attribute 'SP_unconstraint_q75' numeric
@attribute 'SP_unconstraint_q25' numeric
@attribute 'SP_unconstraint_q50' numeric
@attribute 'saps_BestSolution_Mean' numeric
@attribute 'saps_BestSolution_CoeffVariance' numeric
@attribute 'saps_FirstLocalMinStep_Mean' numeric
@attribute 'saps_FirstLocalMinStep_CoeffVariance' numeric
@attribute 'saps_FirstLocalMinStep_Median' numeric
@attribute 'saps_FirstLocalMinStep_Q10' numeric
@attribute 'saps_FirstLocalMinStep_Q90' numeric
@attribute 'saps_BestAvgImprovement_Mean' numeric
@attribute 'saps_BestAvgImprovement_CoeffVariance' numeric
@attribute 'saps_FirstLocalMinRatio_Mean' numeric
@attribute 'saps_FirstLocalMinRatio_CoeffVariance' numeric
@attribute 'gsat_BestSolution_Mean' numeric
@attribute 'gsat_BestSolution_CoeffVariance' numeric
@attribute 'gsat_FirstLocalMinStep_Mean' numeric
@attribute 'gsat_FirstLocalMinStep_CoeffVariance' numeric
@attribute 'gsat_FirstLocalMinStep_Median' numeric
@attribute 'gsat_FirstLocalMinStep_Q10' numeric
@attribute 'gsat_FirstLocalMinStep_Q90' numeric
@attribute 'gsat_BestAvgImprovement_Mean' numeric
@attribute 'gsat_BestAvgImprovement_CoeffVariance' numeric
@attribute 'gsat_FirstLocalMinRatio_Mean' numeric
@attribute 'gsat_FirstLocalMinRatio_CoeffVariance' numeric
@attribute 'lobjois_mean_depth_over_vars' numeric
@attribute 'lobjois_log_num_nodes_over_vars' numeric
@data
"./SAT02/handmade/chu-min-li/urquhart/urquhart3_25bis.shuffled.cnf",1,"MPhaseSAT_2011.02.15",99,264,72,264,0.375,0,0.2727,0.3939,0.8418,0,1,1.289,0.053,0.101,0.0417,0.0556,0.4741,0,0,0.1818,0.053,0.1429,0.0455,0.0606,0.6931,0,0,0,0,0,0.0186,0.3979,0.0076,0.0303,1.5208,0.3636,0.0208,0.0909,0.0189,0.0227,0.0733,0.1356,0.0568,0.0871,1.3537,0.4456,0.0706,0.4,0.5333,1.4407,5.7887,0.0705,5,6,0.5156,3147.3,0.1135,2706,3848,3848,2841,3117,2891,3089,18.1338,0.0677,16.976,20.5128,20.5128,17.052,18.0992,17.4347,17.8774,0,0,0,0,0,0,0,0,0,0.3361,0.0783,0.2945,0.3732,0.3661,0.3046,0.3623,0.3112,0.3409,2.2246,0.6409,8.1282,0.2196,8,6,10,1.3984,0.2637,0.8229,0.1537,1.0228,0.2076,8.0888,0.2218,8,6,10,1.0672,0.3603,0.761,0.1447,0.9922,0.9986
"./SAT02/handmade/pehoushek/plainoldcnf/5cnf_3500_3500_30f1.shuffled.cnf",1,"PicoSAT_941",30,420,30,420,0,0,0.0714,0.3737,0.7276,0,1,1.4646,0.1562,0.1105,0.1,0.1667,0.6882,0,0,0.0262,0.1562,0.0238,0.1476,0.1643,1.6996,0.0235,0.0194,0,0.0625,1.4434,0.0346,0.2273,0.0214,0.0548,2.3035,0.231,0.069,0,0.069,0.069,0.3232,0.1006,0.2048,0.3714,3.4007,0.3168,0.0366,0.2793,0.357,1.6063,2,0,2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0.0696,0.5914,0.007,0.1644,0.1298,0.0179,0.0943,0.0355,0.0704,0.0049,0.3152,0.0027,0.0087,0.0084,0.0033,0.0053,0.004,0.0047,3.62,0.3712,6.5473,0.2536,6,4,9,1.8582,0.3301,0.9092,0.1297,2.9395,0.3709,6.5353,0.2572,6,4,9,1.4998,0.4393,0.862,0.1487,0.6533,0.7689
"./SAT02/handmade/pehoushek/plainoldcnf/5cnf_3900_3900_060.shuffled.cnf",1,"PicoSAT_941",60,936,60,936,0,0,0.0641,0.3719,0.7008,0,1,1.2762,0.0805,0.082,0.05,0.0833,0.4757,0,0,0.0075,0.0805,0.0189,0.0769,0.0833,1.7283,0.0174,0.0138,0,0.0556,1.3482,0.0167,0.2288,0.0075,0.0246,2.5943,0.2105,0.0629,0.0063,0.062,0.063,0.1824,0.0796,0.1132,0.2009,3.1411,0.1766,0.0468,0.1461,0.2011,1.289,2.1695,0.1729,2,3,0.4551,4460.1667,0.0052,4438,4510,4510,4438,4459,4448,4455,15.3845,0.0099,15.2123,15.6166,15.6166,15.2123,15.5566,15.2678,15.3743,0.0445,0.7669,0.0044,0.1849,0.0859,0.0082,0.059,0.0172,0.0397,0.0042,0.2217,0.0027,0.0063,0.0055,0.0029,0.0048,0.0034,0.0042,5.0653,0.3522,11.8687,0.2026,12,9,15,1.6243,0.2847,0.882,0.1028,4.1504,0.3674,11.8999,0.2038,12,9,15,1.249,0.4342,0.8546,0.1061,0.6115,0.7622
"./SAT02/handmade/pehoushek/plainoldcnf/5cnf_3900_3900_220.shuffled.cnf",1,"sattime._2011.03.02",220,3432,220,3432,0,0,0.0641,0.3715,0.6637,0,1,0.9981,0.0225,0.0431,0.0136,0.0227,0.1898,0,0,6e-04,0.0225,0.01,0.0219,0.0227,1.0701,0.0066,0.0082,0,0.0263,0.8816,0.0043,0.2338,0.002,0.0073,2.6091,0.1911,0.0483,0.0283,0.0446,0.0519,0.0548,0.0443,0.0332,0.0568,2.3648,0.0597,0.0877,0.0456,0.0813,0.8966,3,0,3,3,0,3972.4286,0.0393,3862,4305,4305,3862,4097,3862,3883,44.8123,0.0191,43.7532,46.2724,46.2724,43.7532,45.7533,43.8499,44.6987,0.0235,0.8221,1e-04,0.0936,0.0508,0.0024,0.0333,0.0098,0.0192,0.0064,0.0972,0.0044,0.0076,0.0072,0.0056,0.0069,0.006,0.0064,8.5144,0.3406,39.1992,0.1153,39,33,45,1.1968,0.2353,0.8559,0.0569,6.9131,0.3366,39.1843,0.1174,39,33,45,0.6477,0.4376,0.8424,0.0548,0.5613,0.7223
"./SAT02/handmade/pehoushek/plainoldcnf/5cnf_4300_4300_110.shuffled.cnf",1,"sathys_2011.04.01",110,1892,110,1892,0,0,0.0581,0.3744,0.6786,0,1,1.1042,0.0447,0.0564,0.0273,0.0455,0.2835,0,0,0.0016,0.0447,0.0144,0.0428,0.0455,1.4771,0.008,0.0079,0,0.037,0.9627,0.0085,0.2023,0.0037,0.0127,2.5543,0.1908,0.0551,0.021,0.0486,0.0576,0.1062,0.0566,0.0634,0.1126,2.7915,0.1048,0.0625,0.0836,0.1265,1.0764,2.9908,0.0319,2,3,0.0522,4235.5714,0.0208,4060,4383,4383,4060,4272,4215,4243,25.5122,0.0073,25.2953,25.9227,25.9227,25.2953,25.594,25.4066,25.4478,0.0258,0.7665,4e-04,0.1145,0.0509,0.0046,0.0345,0.0105,0.0227,0.0032,0.1346,0.002,0.0043,0.0037,0.0026,0.0035,0.0029,0.0032,7.9615,0.2981,20.9306,0.1611,21,17,25,1.4423,0.2505,0.8663,0.0787,6.93,0.3028,20.965,0.1602,21,17,25,1.0085,0.4355,0.8493,0.0782,0.5735,0.7382
"./SAT02/handmade/pehoushek/plainoldcnf/5cnf_4300_4300_170.shuffled.cnf",1,"sattime_2011.03.02",170,2924,170,2924,0,0,0.0581,0.3779,0.6696,0,1,1.043,0.0291,0.0467,0.0176,0.0294,0.2162,0,0,3e-04,0.0291,0.0121,0.0277,0.0294,1.2942,0.0079,0.0094,0,0.0488,1.0364,0.0056,0.1899,0.0021,0.0079,2.5089,0.1925,0.0502,0.0257,0.0455,0.0534,0.0702,0.048,0.041,0.0735,2.6021,0.0723,0.0756,0.0556,0.0932,0.9351,3,0,3,3,0,4075.5714,0.0271,3901,4277,4277,3901,4158,3993,4077,36.0782,0.0259,35.0743,37.6111,37.6111,35.0743,37.2436,35.2683,35.5214,0.0249,0.8514,5e-04,0.1322,0.0522,0.0036,0.034,0.0077,0.0191,0.0035,0.1059,0.0026,0.0043,0.0039,0.0029,0.0037,0.0032,0.0034,10.306,0.2783,31.4754,0.1347,31,26,37,1.3049,0.2378,0.8577,0.0653,9.0018,0.2737,31.7495,0.1328,32,26,37,0.8235,0.4397,0.848,0.063,0.5555,0.7388
"./SAT02/handmade/simon/satex-challenges/c6288.shuffled.cnf",1,"none",5008,14813,1978,8702,1.5319,0.7023,0.2273,0.4775,0.7424,0,1,1.2015,0.0015,0.571,0.001,0.0319,0.9063,0,0.2396,0.8762,0.0015,1.1141,9e-04,0.0159,1.2303,0.1032,0.1153,0,0.5556,1.2453,7e-04,1.0236,1e-04,0.008,1.9041,0.5419,0.0013,1.3821,6e-04,0.0138,0.0044,1.0505,9e-04,0.0163,2.9571,0.1235,0.7017,0.0144,0.5818,2.3953,6.1168,0.0845,4,7,0.7634,996.8462,0.5472,477,2412,1640,530,1414,683,697,27.9922,0.1179,22.5911,34.7442,31.3898,23.2688,30.1887,26.2355,27.2943,0.1154,1.2881,0,0.8471,0.1946,0.0074,0.159,0.0083,0.0975,0.0332,0.834,0,0.2091,0.0372,0.0206,0.0365,0.021,0.0297,97.9036,0.3683,392.243,0.0706,394,374,412,0.6973,0.3462,0.8388,0.0715,108.052,0.1444,391.695,0.0377,391,373,411,0.284,0.4734,0.8432,0.0178,0.1566,0.4333
"./SAT02/handmade/simon/satex-challenges/f600.shuffled.cnf",1,"sattime_2011.03.02",600,2550,588,2537,0.0204,0.0051,0.2318,0.5006,0.5791,0,1,0.6649,0.0051,0.0527,0.0051,0.0085,0.1183,0,0,0.9752,0.0051,0.2626,0.002,0.0099,2.6235,0.2367,0.182,0,1,3.3924,0.0027,0.3677,0,0.0063,2.3268,0.5262,0.0102,0.26,0.0039,0.0197,0.0076,0.2305,0.0028,0.0142,2.9008,0.1084,0.2433,0.0556,0.2778,2.2775,4,0,4,4,0,3744.4286,0.0177,3635,3826,3826,3635,3824,3690,3729,33.2907,0.0859,30.5214,39.0994,39.0994,30.5214,35.7598,30.6762,32.1927,0.4124,0.5608,0.0013,1,0.7395,0.1135,0.5834,0.2135,0.4024,0.0918,0.6066,0.008,0.298,0.1771,0.0326,0.1212,0.0509,0.0788,18.2723,0.426,131.105,0.0682,131,120,142,0.9037,0.2052,0.8552,0.0382,14.6103,0.3116,130.913,0.069,131,120,142,0.3157,0.4116,0.8456,0.0364,0.3172,0.5474
"./SAT02/handmade/simon/satex-challenges/par32-3.shuffled.cnf",1,"MPhaseSAT_2011.02.15",3176,10297,866,5117,2.6674,1.0123,0.1692,0.4183,0.8047,0,1,1.3808,0.0041,0.1804,0.0023,0.0058,0.8658,0,0.0805,0.3543,0.0041,2.0353,0.0016,0.0594,1.6381,0.0261,0.084,0,0.4667,0.4872,0.0016,1.7952,4e-04,0.0209,2.0506,0.4086,0.0016,1.5064,0.001,0.018,0.0353,0.5632,0.001,0.0733,4.2844,0.1983,0.485,0.0689,0.619,3.2728,8.2451,0.13,6,10,1.415,4490,0.0262,4368,4649,4649,4368,4649,4368,4453,41.9453,0.0158,41.3719,42.8755,42.8755,41.3719,42.8755,41.3719,41.5885,0.0911,2.13,0,0.7742,0.2859,0,0.0758,0,0,0.089,0.5739,0,0.1868,0.1379,0.0224,0.1309,0.0275,0.1204,41.7216,0.2256,142.232,0.0542,142,133,152,0.5539,0.2025,0.766,0.036,44.5087,0.1507,142.75,0.0544,143,134,153,0.236,0.3065,0.772,0.0326,0.3345,0.9002
"./SAT02/handmade/zhang-lintao/xor-chain/x1_40.shuffled.cnf",1,"MPhaseSAT_2011.02.15",118,314,79,296,0.4937,0.0608,0.2669,0.3851,0.8726,0,1,1.2485,0.0489,0.0885,0.038,0.0506,0.396,0,0,0.1351,0.0489,0.1341,0.0405,0.0541,0.6639,0,0,0,0,0,0.015,0.4495,0.0068,0.027,1.2311,0.3074,0.019,0.0864,0.0169,0.0203,0.0686,0.1238,0.0507,0.0777,1.3229,0.4433,0.0581,0.4,0.4805,1.6317,5.9615,0.0498,5,7,0.3556,2462.0714,0.2291,1862,4183,2928,1898,2569,2135,2292,16.808,0.1369,15.2993,23.4901,20.7388,15.4978,16.8501,15.5162,15.823,0,0,0,0,0,0,0,0,0,0.3478,0.0722,0.3121,0.3789,0.3732,0.3132,0.3698,0.3188,0.3625,2.403,0.6225,8.7125,0.2125,9,6,11,1.4077,0.2578,0.83,0.1453,1.0246,0.2152,8.709,0.2117,9,6,11,1.0317,0.3674,0.7667,0.1331,0.9868,0.9978
"./SAT02/handmade/zhang-lintao/xor-chain/x1_80.shuffled.cnf",1,"MPhaseSAT_2011.02.15",238,634,168,632,0.4167,0.0032,0.2658,0.3892,0.8484,0,1,1.23,0.0231,0.0858,0.0179,0.0238,0.3798,0,0,0.1266,0.0231,0.1315,0.019,0.0253,0.6518,0,0,0,0,0,0.0076,0.4339,0.0032,0.0127,1.4492,0.3339,0.0089,0.0857,0.0079,0.0095,0.0323,0.1287,0.0237,0.0364,1.4206,0.4452,0.0681,0.4,0.5325,1.6011,6.8802,0.0472,6,7,0.3664,2717.7,0.1213,2017,3373,3373,2492,2822,2561,2743,31.6565,0.1332,26.1054,38.8774,38.8774,26.6047,36.0205,28.9112,30.6857,0,0,0,0,0,0,0,0,0,0.3501,0.0776,0.3037,0.3804,0.3777,0.3121,0.3717,0.3186,0.3644,3.0502,0.6593,17.3718,0.1559,17,14,21,1.0815,0.2601,0.789,0.1016,1.0464,0.2928,17.292,0.156,17,14,21,0.7377,0.3398,0.7489,0.0912,0.9798,0.9978
"./SAT03/handmade/bevan/cnf/marg3x3add8.shuffled-as.sat03-1449.cnf",1,"Sol_2011.04.04",41,224,41,224,0,0,0.183,0.3839,0.6736,0,1,1.3935,0.115,0.0958,0.0976,0.122,0.5983,0,0,0,0.115,0.2328,0.0714,0.1429,1.0511,0,0,0,0,0,0.0285,0.3999,0.0089,0.0446,1.6738,0.2545,0.0322,0.1038,0.0268,0.0357,0.1945,0.2163,0.1384,0.2455,1.3518,0.4422,0.084,0.3871,0.4805,1.3518,4.35,0.1096,4,5,0.6474,3040.625,0.2239,2536,4471,4471,2536,3895,2623,2776,13.1164,0.0425,12.3008,13.9705,13.9705,12.3008,13.9117,12.8536,13.1569,0,0,0,0,0,0,0,0,0,0.4309,0.0476,0.4001,0.4557,0.4557,0.4001,0.453,0.4211,0.4241,1.1544,0.4637,4.4585,0.2688,4,3,6,1.6543,0.2497,0.8725,0.1911,1,0,4.4523,0.2686,4,3,6,1.6657,0.2392,0.8543,0.1978,0.9909,0.9976
"./SAT03/handmade/bevan/cnf/marg3x3add8ch.shuffled-as.sat03-1448.cnf",1,"Sol_2011.04.04",41,272,41,272,0,0,0.1507,0.3456,0.8113,0,1,1.7678,0.1277,0.1674,0.0732,0.1463,1.1407,0,0,0.0588,0.1277,0.3301,0.0735,0.2353,1.7643,0,0,0,0,0,0.0208,0.4838,0.0074,0.0404,1.9748,0.1801,0.028,0.1476,0.0221,0.0368,0.2212,0.2241,0.0993,0.3199,2.3235,0.4895,0.1429,0.348,0.5618,1.905,4,0,4,4,0,3511.375,0.142,2896,4271,4271,2896,4013,3094,3611,16.6986,0.0446,15.7973,17.9686,17.9686,15.7973,17.7851,16.221,16.5078,0,0,0,0,0,0,0,0,0,0.4253,0.0796,0.3685,0.4731,0.4648,0.3723,0.4509,0.389,0.4409,1.1502,0.4609,4.3466,0.2738,4,3,6,1.5827,0.2684,0.8433,0.2124,1,0,4.3214,0.2746,4,3,6,1.5966,0.2503,0.8189,0.2175,0.9963,0.999
"./SAT03/handmade/gomes/bqwh/bqwh.50.825.shuffled-as.sat03-1648.cnf",1,"sattime._2011.03.02",4979,43754,4979,43754,0,0,0.1138,0.4905,1.0013,0,1,0.9452,4e-04,0.4568,4e-04,0.0024,0.3209,0,0.9443,0.947,4e-04,0.1632,2e-04,7e-04,2.5781,0.6848,0.0561,0.25,0.8125,2.5469,3e-04,0.3737,1e-04,7e-04,2.8815,0.7188,4e-04,0.1927,1e-04,7e-04,2e-04,2.0788,1e-04,0.0051,0.4873,0.3161,0.2232,0.0089,0.3333,0.3014,6.9313,0.0365,6,7,0.2503,100.6441,0.3552,22,215,155,56,117,85,96,25.2998,0.2023,17.4112,44.3182,32.1681,19.3545,28.3841,21.5465,24.0455,0.7946,0.0932,0.1221,0.9203,0.8663,0.7097,0.8437,0.7644,0.8099,0.015,0.1079,0.0095,0.0186,0.0171,0.0128,0.0162,0.0138,0.015,138.3,0.3587,1812.44,0.1454,1852.5,1794,1887,2.4735,0.2384,0.9828,0.0095,196.581,0.4272,1852.58,0.0192,1848,1810,1893,2.9634,0.605,0.9878,0.0081,0.4517,0.7013
"./SAT03/handmade/gomes/bqwh/bqwh.60.1152.shuffled-as.sat03-1650.cnf",1,"sattime._2011.03.02",7534,72812,7534,72812,0,0,0.1035,0.4935,0.9983,0,1,0.9181,3e-04,0.4767,3e-04,0.0019,0.2836,0,0.9532,0.955,3e-04,0.1731,1e-04,5e-04,2.7181,0.7112,0.0519,0.4,0.8378,2.6307,2e-04,0.3917,1e-04,4e-04,3.0013,0.713,3e-04,0.2012,1e-04,5e-04,1e-04,2.3242,1e-04,0.0042,0.4254,0.3187,0.2063,0.0065,0.3333,0.2523,6.8676,0.0493,6,7,0.3908,85.7547,0.4645,5,233,128,35,110,66,83,27.0885,0.4077,15.0746,72.4,36,20.1139,28.1515,21.1356,23.5873,0.8136,0.0803,0.1601,0.9305,0.8788,0.7338,0.8578,0.7851,0.8269,0.0149,0.1103,0.0093,0.0189,0.017,0.0127,0.0161,0.0137,0.0149,186.636,0.1742,2869.59,0.0146,2867.5,2824,2909,2.848,0.2136,0.9853,0.0019,294.556,0.372,2854.41,0.0162,2852,2792,2911,3.7458,0.502,0.9912,0.0065,0.4565,0.649
"./SAT03/handmade/markstrom/UNSATISFIABLE/mm-2x2-6-6-s.1.shuffled-as.sat03-1499.cnf",1,"glucose_2",400,2576,392,2560,0.0204,0.0063,0.1531,0.4601,0.7103,0,1,1.4472,0.0084,0.2891,0.0051,0.0128,1.0627,0,0.15,0.75,0.0084,0.7656,0.0047,0.025,1.1432,0.0544,0.0782,0,0.1667,0.6317,0.0034,0.6369,0.0016,0.0129,2.2014,0.4719,0.0049,0.8732,0.0027,0.0156,0.0202,0.5327,0.0078,0.041,1.8945,0.1074,0.3099,0.0399,0.1366,1.4001,6.3453,0.1296,5,8,1.2023,3868.5714,0.0401,3636,4087,4087,3636,4063,3711,3857,20.6655,0.0496,18.923,22.0932,22.0932,18.923,21.5567,19.5602,20.8413,0.345,0.6068,0,0.6311,0.6311,0.1504,0.6311,0.1766,0.2846,0.0235,0.5246,0,0.0354,0.0352,0,0.0326,0.0216,0.0216,28.9713,0.3209,65.0245,0.0856,65,58,72,1.2034,0.301,0.8402,0.0506,31.2137,0.2086,64.7387,0.0861,65,58,72,0.5926,0.4285,0.8453,0.042,0.479,0.8471
"./SAT03/handmade/stanion/hwb/hwb-n28-01-S136611085.shuffled-as.sat03-1627.cnf",1,"PicoSAT_941",184,896,132,792,0.3939,0.1313,0.1667,0.43,0.7724,0,1,1.7357,0.0296,0.2758,0.0152,0.053,1.1838,0,0.0101,0.3864,0.0296,0.4596,0.0152,0.0808,1.7267,0.0162,0.0855,0,0.7436,0.4636,0.0091,0.33,0.0025,0.0177,2.0302,0.3472,0.0147,0.7037,0.0076,0.0518,0.049,0.553,0.0152,0.1275,3.2566,0.3625,0.2458,0.244,0.7575,3.099,5.2672,0.1169,4,7,0.9267,4272.5,0.0137,4176,4330,4330,4176,4327,4217,4315,25.7912,0.0488,23.3496,27.2656,27.2656,23.3496,26.8132,25.3281,26.1146,0.0355,2.3058,1e-04,0.4252,0.0872,5e-04,0.0229,0.0019,0.0042,0.0474,1.0624,0.0139,0.2754,0.0795,0.015,0.0484,0.0239,0.03,4.9113,0.4372,23.8728,0.1334,24,20,28,1.294,0.2577,0.8689,0.063,4.3166,0.4147,23.8516,0.1342,24,20,28,0.9748,0.3915,0.8586,0.0589,0.4716,0.9305
"./SAT03/handmade/stanion/hwb/hwb-n28-02-S818962541.shuffled-as.sat03-1628.cnf",1,"PicoSAT_941",184,896,131,790,0.4046,0.1342,0.1658,0.4245,0.7882,0,1,1.6601,0.0301,0.2894,0.0153,0.0534,1.1397,0,0.0101,0.3899,0.0301,0.4774,0.0152,0.0835,1.6908,0.0163,0.0926,0,0.7436,0.3503,0.0092,0.3093,0.0038,0.0165,1.9569,0.3456,0.0148,0.6964,0.0076,0.0468,0.0499,0.5698,0.0152,0.1278,3.204,0.3632,0.2557,0.246,0.6606,3.0779,5.1077,0.1145,4,6,0.8784,4242.4286,0.0247,4121,4439,4439,4121,4312,4137,4209,25.778,0.0573,24.4369,28.9743,28.9743,24.4369,26.5243,24.6417,25.1827,0.0316,2.3987,3e-04,0.371,0.0725,7e-04,0.0227,0.0015,0.0054,0.0484,1.0462,0.012,0.2733,0.0698,0.0157,0.0485,0.0247,0.03,4.7117,0.4479,23.6326,0.1332,24,20,28,1.2794,0.2551,0.8653,0.0633,4.1596,0.4262,23.6217,0.135,24,20,28,0.9764,0.3907,0.8575,0.0591,0.4858,0.9373
"./SAT03/handmade/stanion/hwb/hwb-n30-02-S77299857.shuffled-as.sat03-1633.cnf",1,"PicoSAT_941",194,954,139,844,0.3957,0.1303,0.1647,0.4094,0.7888,0,1,1.6647,0.028,0.2548,0.0144,0.0504,1.1714,0,0.0047,0.3768,0.028,0.4607,0.0166,0.0806,1.6672,0.0147,0.0786,0,0.6154,0.4406,0.0088,0.3397,0.0024,0.0178,2.0954,0.3424,0.0138,0.7017,0.0071,0.0474,0.0468,0.5345,0.0154,0.1185,3.0728,0.3587,0.2547,0.244,0.7164,2.9768,5.1232,0.1088,4,6,0.8335,4249.1429,0.0148,4150,4330,4330,4150,4304,4183,4279,26.3131,0.0328,24.9333,27.6767,27.6767,24.9333,26.8427,25.3229,26.4121,0.0251,2.5823,0,0.3736,0.0688,3e-04,0.0162,7e-04,0.0029,0.046,1.0607,0.0137,0.3032,0.1012,0.0147,0.0481,0.0238,0.0288,5.0736,0.4312,24.8365,0.1306,25,21,29,1.2997,0.2493,0.8684,0.0611,4.458,0.4149,24.8103,0.1308,25,21,29,0.9793,0.3874,0.8596,0.0571,0.4676,0.934
"./SAT03/handmade/stanion/hwb/hwb-n32-02-S1478512323.shuffled-as.sat03-1638.cnf",1,"none",226,1078,165,958,0.3697,0.1253,0.1722,0.4238,0.7546,0,1,1.7012,0.0233,0.2773,0.0121,0.0485,1.2332,0,0.0209,0.4071,0.0233,0.4794,0.0084,0.0731,2.0746,0.0186,0.079,0,0.7073,0.6138,0.0077,0.344,0.001,0.0146,2.1846,0.3685,0.0116,0.7051,0.0052,0.0438,0.0392,0.554,0.0073,0.1075,3.5982,0.3658,0.2668,0.233,0.7706,3.2111,5.4573,0.1151,5,7,0.8531,4141.1667,0.0117,4075,4217,4217,4075,4165,4085,4155,26.0871,0.0898,22.5289,28.613,28.613,22.5289,28.4563,23.664,27.5729,0.0448,2.6844,0,0.763,0.0887,1e-04,0.0245,6e-04,0.0026,0.0482,1.0878,0.0102,0.2759,0.073,0.0145,0.0485,0.0246,0.0283,5.955,0.4294,30.4626,0.1196,30,26,35,1.1995,0.2477,0.8616,0.0581,5.7268,0.3735,30.3481,0.1206,30,26,35,0.9146,0.3796,0.8578,0.0545,0.4151,0.9302
"./SAT04/handmade/andrew/composite/Composite-024BitPrimes-1.used-as.sat04-861.cnf",1,"sathys_2011.04.01",1199,11158,1055,10087,0.1365,0.1062,0.1046,0.2946,0.6818,0,1,1.2377,0.0042,0.2366,0.0019,0.0047,0.7652,0,0.104,0.2202,0.0042,1.8329,0.001,0.045,1.3931,0.053,0.091,0,0.5894,1.119,0.0014,1.9106,3e-04,0.0162,1.268,0.3576,0.0012,1.5609,6e-04,0.0116,0.0315,0.1713,9e-04,0.0718,3.0217,0.0892,0.2624,0.0213,0.5556,1.4074,3.9564,0.0516,3,4,0.1794,3444,0.1491,2698,3963,3963,2698,3963,3239,3876,34.9264,0.0918,29.5374,37.5572,37.5572,29.5374,37.5572,35.4696,37.1414,0.5539,0.6159,0.0034,0.909,0.8958,0.1563,0.8947,0.1712,0.7183,0.0516,0.634,0,0.1076,0.091,0.0239,0.0904,0.0243,0.028,66.1741,0.2388,190.427,0.0752,191,180,202,0.8,0.3002,0.8293,0.0652,72.9698,0.2589,190.315,0.0742,190.5,180,202,0.4368,0.8274,0.8388,0.0931,0.1505,0.4805
"./SAT04/handmade/anton/l4k4/lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929.cnf",1,"sattime._2011.03.02",880,6174,807,5781,0.0905,0.068,0.1396,0.3696,0.8892,0,1,1.0097,0.0049,0.0323,0.0025,0.0062,0.0696,0,0.0017,0.0112,0.0049,0.4176,0.0017,0.0157,3.125,0.1259,0.0978,0,0.5714,3.137,0.0015,0.4651,2e-04,0.0054,2.7428,0.3081,0.0022,0.4088,9e-04,0.0067,0.0102,0.2341,0.0021,0.0192,4.0244,0.1766,0.2489,0.065,0.5842,2.8154,5.1005,0.0589,5,6,0.3262,1987.25,0.7371,155,3691,3691,155,3683,402,3047,19.2666,0.694,2.929,33.3209,33.3209,2.929,32.4778,3.6169,30.9019,0.2353,0.6484,1e-04,0.737,0.4498,0.042,0.3514,0.1122,0.2198,0.0766,0.8625,1e-04,0.3281,0.1859,0.0077,0.1127,0.0238,0.0534,30.0438,0.3913,157.551,0.065,158,146,169,0.6928,0.23,0.8117,0.0467,31.42,0.1653,157.873,0.0549,158,147,169,0.2403,0.3504,0.8159,0.0317,0.117,0.2724
"./SAT04/handmade/anton/l5k3/lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934.cnf",1,"sattime_2011.03.02",1090,4103,913,3795,0.1939,0.0812,0.2406,0.483,0.6025,0,1,0.9319,0.0034,0.1208,0.0022,0.0066,0.4159,0,0.0053,0.8925,0.0034,0.4029,3e-04,0.0092,3.0136,0.2619,0.2048,0,1,3.4575,0.0016,0.4895,0,0.0053,2.4615,0.4777,0.0048,0.3972,5e-04,0.0121,0.0055,0.306,0.0013,0.0142,3.2352,0.1567,0.3406,0.0545,0.4667,2.9908,5.0044,0.0296,4,6,0.1202,3463.6667,0.1729,2138,3847,3847,2138,3810,3590,3723,29.0122,0.0942,23.8517,32.6405,32.6405,23.8517,31.011,28.0805,29.318,0.3887,0.6238,4e-04,1,0.712,0.0775,0.5581,0.1848,0.3799,0.1295,0.8697,0.0017,0.9364,0.2451,0.0267,0.1729,0.0541,0.1071,24.5913,0.2982,193.109,0.0513,193,180,206,0.7752,0.2287,0.8499,0.0283,23.8656,0.204,193.204,0.0548,193,180,207,0.2326,0.3523,0.8486,0.0255,0.1082,0.3542
"./SAT04/handmade/anton/l5k3/lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf",1,"sattime._2011.03.02",895,3357,741,3075,0.2078,0.0917,0.241,0.4802,0.6136,0,1,0.9602,0.0042,0.1261,0.0027,0.0081,0.4319,0,0.0049,0.8865,0.0042,0.4156,3e-04,0.0107,3.0176,0.2512,0.1997,0,1,3.4019,0.0019,0.5014,0,0.0052,2.4312,0.4563,0.0058,0.4154,7e-04,0.0159,0.0069,0.3139,0.0016,0.0179,3.2709,0.1597,0.3538,0.0531,0.5238,3.029,5.0014,0.0382,4,6,0.1819,3608,0.1206,2653,3937,3937,2653,3829,3654,3808,26.002,0.0771,23.9726,30.0419,30.0419,23.9726,26.7912,24.7226,25.6211,0.3938,0.5943,0.001,1,0.7112,0.0861,0.562,0.2029,0.379,0.1271,0.8596,0.0017,0.8861,0.2301,0.0281,0.1697,0.0555,0.106,20.2231,0.3062,156.599,0.0587,157,145,168,0.7915,0.2242,0.8468,0.0312,19.4106,0.2233,156.563,0.0586,156.5,145,168,0.2524,0.3457,0.8445,0.0279,0.1234,0.4112
"./SAT04/handmade/connamacher/connm-d-0.02/connm-ue-csp-sat-n1200-d-0.02-s405595518.used-as.sat04-950.cnf",1,"SAT07referencesolverminisat_SAT2007",1124,13289,843,13008,0.3333,0.0216,0.0648,0.6621,0.4686,0.3333,1,0.9999,0.004,0.2498,0.0036,0.0083,0.4835,0,0,0.8448,0.004,0.349,0.0025,0.0099,3.3715,0.3456,0.0591,0.2,0.5,2.6708,0.003,0.3555,0.002,0.0076,2.3014,0.8448,0.0015,0.3179,9e-04,0.0034,0.0061,0.5777,0.0022,0.0367,4.7035,0.1967,0.3105,0.0403,0.3977,3.2144,6.4133,0.0768,6,7,0.678,2786,0.1162,2187,3161,3161,2187,2922,2799,2861,45.6649,0.048,41.6621,47.561,47.561,41.6621,47.5355,45.1105,46.4552,0.6283,0.1107,0.4265,0.8178,0.7238,0.5395,0.6735,0.5808,0.6289,0.0044,1.0254,0,0.0172,0.0109,1e-04,0.0088,5e-04,0.0012,47.7751,0.1512,248.598,0.06,249,234,264,3.1008,0.1953,0.9664,0.009,61.9426,0.0982,249.536,0.0458,249,234,265,2.9724,0.2512,0.9762,0.0068,0.2713,0.7147
"./SAT04/handmade/connamacher/connm-d0.02/connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958.cnf",1,"MPhaseSAT_2011.02.15",772,9601,579,9408,0.3333,0.0205,0.0615,0.6631,0.4669,0.3333,1,1.0041,0.0058,0.2484,0.0052,0.0121,0.4852,0,0,0.8423,0.0058,0.3878,0.0034,0.0136,3.4805,0.3459,0.0595,0.2,0.5,2.7132,0.0044,0.3915,0.0028,0.0105,2.3799,0.8423,0.0021,0.3445,0.0012,0.0047,0.0091,0.5895,0.0029,0.0533,4.8436,0.1905,0.3248,0.0381,0.4074,3.2265,5.8962,0.0622,5,7,0.4741,4534.5,0.0305,4396,4673,4673,4396,4673,4396,4673,31.5525,0.0423,30.2186,32.8864,32.8864,30.2186,32.8864,30.2186,32.8864,0.6228,0.1203,0.4603,0.8209,0.7253,0.5231,0.6666,0.5709,0.6213,0.0041,1.1344,0,0.0186,0.0103,0,0.0083,1e-04,0.001,40.4504,0.2905,172.891,0.0644,173,160,186,3.4226,0.2001,0.9673,0.0193,49.8299,0.1223,172.649,0.0646,172,160,186,3.2985,0.2521,0.9765,0.0101,0.2941,0.7239
"./SAT04/handmade/connamacher/connm-d0.04/connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976.cnf",1,"SAT09referencesolverclasp_1.2.0.SAT09.32",764,9695,573,9504,0.3333,0.0201,0.0603,0.6627,0.4676,0.3333,1,1.0025,0.0058,0.2489,0.0052,0.0122,0.4846,0,0,0.8432,0.0058,0.3889,0.0034,0.0153,3.4902,0.3468,0.0579,0.2,0.5,2.7486,0.0044,0.3921,0.0027,0.0118,2.4379,0.8432,0.0021,0.3481,0.0012,0.0049,0.0092,0.5834,0.0032,0.0451,4.8432,0.1867,0.3301,0.0435,0.3931,3.2156,5.8601,0.0641,5,7,0.4798,4534.6667,0.0093,4501,4594,4594,4501,4594,4501,4509,30.1261,0.0584,28.5177,32.5755,32.5755,28.5177,32.5755,28.5177,29.285,0.6203,0.1189,0.4494,0.8177,0.7224,0.5258,0.6664,0.5674,0.6142,0.0036,1.1816,0,0.0165,0.0099,0,0.0075,1e-04,8e-04,42.3919,0.6504,171.862,0.0646,172,159,185,3.4495,0.1995,0.9661,0.0296,51.8103,0.1039,172.094,0.0571,172,160,185,3.3594,0.2539,0.9767,0.0077,0.3025,0.6844
"./SAT04/handmade/hirsch03/hgen8-n320-01-S1432474240.shuffled-as.sat03-890.used-as.sat04-841.cnf",1,"none",260,486,184,415,0.413,0.1711,0.4434,0.4024,1.1112,0,1,1.2178,0.0163,0.5727,0.0109,0.0543,1.0012,0,0.6675,0.6699,0.0163,0.1292,0.012,0.0217,1.2828,0.1149,0.1066,0,0.4286,1.3458,0.0072,0.4711,0,0.0169,1.6896,0.5831,0.0316,0.2734,0.0193,0.0651,0.0243,0.6292,0.0072,0.0843,2.4272,0.2368,0.3882,0.0605,0.5,2.5868,4.8798,0.0666,4,5,0.3674,4312.875,0.0191,4186,4433,4433,4186,4425,4278,4298,33.2307,0.0263,32.1482,34.3443,34.3443,32.1482,34.2765,32.404,33.1997,0.5725,0.1806,0.0604,0.7752,0.6983,0.4484,0.627,0.5314,0.5828,0.2986,0.1613,0.2421,0.4643,0.359,0.2542,0.3303,0.2654,0.2757,2.3419,0.515,43.5935,0.1245,43.5,37,51,0.9835,0.1953,0.92,0.032,1.0314,0.1778,43.6429,0.123,44,37,50,0.713,0.2647,0.9035,0.0282,0.7836,0.9528
"./SAT05/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf",1,"MPhaseSAT_2011.02.15",270,1080,270,1080,0,0,0.25,0.5,0.5774,0.3333,1,0.5623,0.0111,0,0.0111,0.0111,0,0,0,1,0.0111,0,0.0111,0.0111,0,0,0,0,0,0,0.0054,0.2892,0.0028,0.0083,1.2351,0.4889,0.0055,0.0143,0.0046,0.0056,0.0139,0.0057,0.013,0.0139,0.0437,0.302,0.0315,0.3,0.4,0.3072,6.0409,0.0328,6,7,0.1708,4427.6,0.0311,4208,4633,4633,4208,4472,4383,4442,31.0709,0.0353,29.7531,32.8765,32.8765,29.7531,31.3787,30.1271,31.2189,0,0,0,0,0,0,0,0,0,0.042,1e-04,0.042,0.042,0.042,0.042,0.042,0.042,0.042,21.0262,0.2439,61.8715,0.0902,62,55,69,1.1498,0.301,0.9248,0.0568,14.1429,0.1837,61.913,0.0892,62,55,69,0.4358,0.4289,0.8716,0.0436,0.591,0.8498
"./SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-220-3.shuffled-as.sat05-2490.cnf",1,"glucose_2",311,2192,311,2192,0,0,0.1419,0.368,0.8294,0,1,1.5974,0.0142,0.1227,0.0129,0.0193,0.7595,0,0,0,0.0142,0.2208,0.0109,0.0237,1.2409,0.0203,0.0451,0,0.2,0.6084,0.0035,0.2088,0.0014,0.0055,1.8528,0.2555,0.0039,0.1102,0.0032,0.0055,0.0218,0.1896,0.016,0.0351,2.4789,0.4479,0.1611,0.3143,0.6373,2.8037,6.0355,0.0307,6,7,0.1533,2344.8889,0.5045,398,3860,3860,398,3190,1218,2753,24.7169,0.3994,4.7211,33.892,33.892,4.7211,31.6487,18.8785,29.4367,0.0403,1.509,0,0.3035,0.1761,7e-04,0.0277,0.0062,0.0135,0.1045,0.1594,0.083,0.1662,0.1295,0.0854,0.1113,0.0911,0.1022,24.2858,0.1451,49.3149,0.1056,49,43,56,1.5759,0.1113,0.9641,0.0457,24.3157,0.1392,49.4118,0.1023,49,43,56,1.06,0.4095,0.9652,0.0366,0.219,0.5213
"./SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-230-3.shuffled-as.sat05-2505.cnf",1,"CryptoMiniSat_Strange.Night2.st_fixed_",326,2332,326,2332,0,0,0.1398,0.3739,0.7972,0,1,1.6431,0.0137,0.1374,0.0123,0.0184,0.8437,0,0,0,0.0137,0.275,0.0103,0.0257,1.365,0.0228,0.0462,0,0.2,0.7809,0.0035,0.1864,0.0013,0.0056,1.802,0.2633,0.0037,0.114,0.0026,0.0047,0.0216,0.2462,0.0146,0.0356,2.6739,0.4522,0.1589,0.3012,0.6517,2.9619,6.0185,0.0224,6,7,0.092,2439.6667,0.3559,635,3447,3447,635,3230,2029,2695,29.3885,0.2759,8.3323,36.0594,36.0594,8.3323,33.6694,30.2928,32.7262,0.0395,1.5117,0,0.3273,0.1666,4e-04,0.0347,0.0032,0.0139,0.1092,0.2068,0.0814,0.1901,0.1384,0.0863,0.119,0.0923,0.1042,25.2627,0.1401,51.4495,0.1008,51,45,58,1.5766,0.1078,0.9624,0.0354,25.4923,0.1374,51.4877,0.1017,51,45,58,1.0198,0.4224,0.9635,0.0312,0.2153,0.5099
"./SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519.cnf",1,"clasp_2.0.R4092.crafted",338,2376,338,2376,0,0,0.1423,0.3723,0.8022,0,1,1.617,0.013,0.1328,0.0118,0.0178,0.7996,0,0,0,0.013,0.2691,0.0101,0.0337,1.2473,0.0202,0.0442,0,0.2,0.6363,0.0034,0.2099,0.0013,0.0055,1.9071,0.266,0.0036,0.1169,0.0025,0.0051,0.0205,0.2621,0.0135,0.0417,2.5202,0.4474,0.1565,0.3262,0.6422,2.8759,6.0178,0.022,6,7,0.0894,2331.4444,0.4213,421,3557,3557,421,3205,1808,2485,30.0259,0.3596,4.7791,43.8583,43.8583,4.7791,32.7607,28.8964,31.0028,0.0371,1.5449,0,0.3028,0.1608,6e-04,0.0276,0.0033,0.0126,0.1036,0.1958,0.0814,0.1978,0.126,0.0839,0.1103,0.0882,0.1002,26.4392,0.1377,53.7463,0.0985,54,47,60,1.5787,0.1077,0.9633,0.0313,26.639,0.1333,53.596,0.0984,53,47,60,1.0254,0.416,0.9643,0.0301,0.211,0.5008
"./SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520.cnf",1,"QuteRSat_2011.05.12_fixed_",339,2416,339,2416,0,0,0.1403,0.3716,0.8136,0,1,1.6469,0.0131,0.135,0.0118,0.0177,0.824,0,0,0,0.0131,0.2813,0.0099,0.0248,1.2578,0.0222,0.0454,0,0.2,0.7043,0.0033,0.2085,0.0012,0.0054,1.8997,0.2583,0.0036,0.1136,0.0025,0.0046,0.0206,0.2602,0.0132,0.0393,2.5902,0.4524,0.1662,0.3012,0.6466,2.9212,6.0207,0.0237,6,7,0.1008,2300.1111,0.4309,424,3416,3416,424,2901,1606,2773,28.7354,0.3915,4.5071,42.293,42.293,4.5071,33.8868,24.0249,32.6617,0.0401,1.4754,0,0.3254,0.1684,8e-04,0.0339,0.0074,0.013,0.1022,0.1633,0.0812,0.1774,0.1234,0.0844,0.1076,0.0899,0.1009,26.4137,0.1481,53.7992,0.0994,54,47,60,1.5756,0.1089,0.9622,0.0343,26.4657,0.1332,53.8928,0.0984,54,47,61,1.0204,0.4147,0.9634,0.0307,0.2114,0.4732
"./SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-250-1.shuffled-as.sat05-2533.cnf",1,"CryptoMiniSat_Strange.Night2.st_fixed_",349,2416,349,2416,0,0,0.1445,0.3671,0.8453,0,1,1.603,0.0125,0.1346,0.0115,0.0172,0.7705,0,0,0,0.0125,0.3092,0.0099,0.0364,1.1936,0.0168,0.0418,0,0.2,0.6221,0.0032,0.2126,0.0012,0.0058,1.8637,0.2632,0.0035,0.1208,0.0025,0.005,0.0198,0.3417,0.0132,0.0542,2.5663,0.4461,0.1655,0.3012,0.6522,2.7953,6.2098,0.0656,6,7,0.5137,2084.6667,0.466,410,3354,3354,410,2731,1631,2473,25.1291,0.4061,4.2951,33.2195,33.2195,4.2951,31.0554,26.1901,30.4301,0.0311,1.76,0,0.3101,0.0878,3e-04,0.0263,0.0013,0.0114,0.0962,0.1653,0.0801,0.1737,0.1182,0.082,0.1008,0.084,0.0934,27.6702,0.134,56.0036,0.0977,56,49,63,1.5881,0.1024,0.9656,0.0426,27.8031,0.1282,56.0213,0.0967,56,49,63,1.0335,0.4037,0.9661,0.0291,0.2071,0.4684
"./SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534.cnf",1,"clasp_2.0.R4092.crafted",354,2596,354,2596,0,0,0.1364,0.3599,0.8453,0,1,1.6919,0.0128,0.1608,0.0113,0.0169,0.9205,0,0,0,0.0128,0.3459,0.0092,0.0277,1.4343,0.0261,0.0454,0,0.2,0.9674,0.003,0.2024,0.0012,0.0046,1.8659,0.2504,0.0034,0.1144,0.0027,0.0042,0.0206,0.307,0.0135,0.0381,2.9811,0.4743,0.1916,0.3262,0.7019,3.173,6.204,0.0649,6,7,0.5059,2205.7778,0.4441,727,3495,3495,727,2978,1708,2168,28.9103,0.308,11.8748,42.1051,42.1051,11.8748,33.6687,26.0462,32.4906,0.0391,1.4426,0,0.3002,0.0907,2e-04,0.057,0.0025,0.0134,0.1055,0.2011,0.0812,0.1791,0.1353,0.0845,0.1154,0.0901,0.0997,27.6506,0.1453,55.9953,0.0975,56,49,63,1.572,0.1148,0.962,0.0336,27.7525,0.1298,56.0509,0.0948,56,49,63,0.9852,0.4208,0.9625,0.03,0.2067,0.4878
"./SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf",1,"QuteRSat_2011.05.12_fixed_",352,2492,352,2492,0,0,0.1413,0.3755,0.7974,0,1,1.628,0.0126,0.1386,0.0114,0.017,0.8255,0,0,0,0.0126,0.2745,0.0096,0.0241,1.292,0.0226,0.0457,0,0.2,0.7654,0.0033,0.2116,0.0012,0.0056,1.929,0.2701,0.0035,0.1077,0.0024,0.0044,0.0196,0.2402,0.0128,0.0357,2.5646,0.4542,0.1796,0.3262,0.6948,2.9173,6.0712,0.0424,6,7,0.2568,2175.4444,0.3792,479,3145,3145,479,2769,1570,2502,29.3507,0.3133,4.7704,37.4289,37.4289,4.7704,33.8108,29.3951,31.1272,0.04,1.4518,0,0.2967,0.1629,5e-04,0.0308,0.006,0.0189,0.1009,0.1618,0.0806,0.1644,0.1257,0.0844,0.1065,0.089,0.0978,27.4687,0.1338,56.0965,0.0965,56,49,63,1.5742,0.1111,0.9632,0.0307,27.5746,0.1284,56.0829,0.0959,56,49,63,0.9992,0.4166,0.9635,0.0299,0.2063,0.5122
"./SAT05/crafted/markstrom05/eulcbip/eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf",1,"MPhaseSAT_2011.02.15",135,672,134,670,0.0075,0.003,0.2,0.36,0.9336,0,1,0.9994,0.0298,0.0136,0.0224,0.0299,0.0203,0,0,0.003,0.0298,0.0086,0.0269,0.0299,0.044,8e-04,0.0096,0,0.1111,0.044,0.0089,0.2606,0.006,0.0134,1.4061,0.297,0.009,0,0.009,0.009,0.0432,0.0129,0.0343,0.0433,0.0846,0.4252,0.008,0.3941,0.4529,0.1082,5.6015,0.0927,5,7,0.7481,4356.8333,0.0191,4256,4486,4486,4256,4409,4257,4395,34.9164,0.0663,31.707,37.272,37.272,31.707,36.9746,32.0521,36.8598,0.0011,8.3598,0,0.105,3e-04,0,0,0,0,0.2648,0.0347,0.2076,0.2683,0.2679,0.2649,0.2677,0.2654,0.2673,5.3182,0.4089,18.8514,0.153,19,15,23,0.9011,0.2589,0.8028,0.0987,1.4607,0.5135,18.8214,0.1527,19,15,23,0.4373,0.3949,0.7243,0.0925,0.2602,0.6245
"./SAT05/crafted/sabharwal05/counting/fphp/unsat/harder/fphp-020-019.shuffled-as.sat05-1232.cnf",1,"Sol_2011.04.04",380,7050,360,6670,0.0556,0.057,0.054,0.4771,1.0324,0,1,0.9417,0.0082,1.3603,0.0056,0.1,0.2211,0,0.9444,0.9444,0.0082,0,0.0082,0.0082,0,0.3091,0,0.3091,0.3091,0,0.0038,0.3665,0.0016,0.0054,2.4477,0.6868,0.0128,0.263,0.0082,0.0202,0.0084,2.0448,0.0028,0.1457,0.9717,0.0954,0.2354,0.0044,0.1066,0.3276,3,0,3,3,0,3734.6667,0.3023,1598,4766,4766,1598,4721,3197,4582,56.347,0.0147,55.1648,57.7211,57.7211,55.1648,57.0402,55.8724,56.2379,0.9034,7e-04,0.9021,0.9056,0.9042,0.9027,0.9037,0.903,0.9034,0.0314,0.0151,0.0299,0.0323,0.032,0.0309,0.0317,0.0311,0.0315,1.5771,18.1704,161.639,0.0623,162,149,174,9.5531,0.0593,1.0071,0.3955,1.6938,17.717,161.418,0.0658,162,149,174,9.5683,0.0593,1.0006,0.0667,0.9984,0.9992
"./SAT05/crafted/sabharwal05/counting/fphp/unsat/harder/fphp-030-029.shuffled-as.sat05-1234.cnf",1,"Sol_2011.04.04",870,24825,840,23955,0.0357,0.0363,0.0351,0.4855,1.0211,0,1,0.8832,0.0035,1.7386,0.0024,0.0667,0.1573,0,0.9646,0.9646,0.0035,0,0.0035,0.0035,0,0.3176,0,0.3176,0.3176,0,0.0017,0.3318,8e-04,0.0023,2.6553,0.729,0.0062,0.2638,0.0035,0.0101,0.0036,2.6108,0.0012,0.0982,0.9266,0.0646,0.199,0.0019,0.0701,0.4785,3,0,3,3,0,286.4706,0.5934,12,993,353,27,306,276,285,84.1815,0.2767,66.9688,183.8824,116.3704,71.957,81.5228,73.4946,76.3977,0.9236,3e-04,0.923,0.9246,0.9241,0.9233,0.9238,0.9234,0.9236,0.0139,0.0164,0.0132,0.0143,0.0141,0.0135,0.0141,0.0137,0.0139,6.822,20.9217,391.722,0.0546,393,373,410,14.5742,0.0473,1.0022,0.0638,1,0,391.128,0.0359,391,374,411,14.5128,0.0333,0.9996,2e-04,0.9993,0.9996
"./SAT05/crafted/sabharwal05/counting/php/unsat/easier/php-010-008.shuffled-as.sat05-1171.cnf",1,"Sol_2011.04.04",80,370,70,360,0.1429,0.0278,0.1944,0.4016,1.1471,0,1,1.0941,0.05,0.8056,0.0286,0.2,0.6033,0,0.7667,0.7667,0.05,0,0.05,0.05,0,0,0,0,0,0,0.0162,0.3923,0.0056,0.025,1.6874,0.5667,0.0988,0.1864,0.0667,0.1361,0.0862,0.7944,0.0472,0.3306,0.9303,0.17,0.3876,0.0402,0.2281,1.6811,3,0,3,3,0,4809.75,0.0143,4697,4879,4879,4697,4879,4818,4845,21.4178,0.0458,19.891,22.5212,22.5212,19.891,22.5212,21.3014,21.9578,0.7754,0.0186,0.7474,0.7905,0.7904,0.7475,0.7886,0.7767,0.7787,0.1968,0.0469,0.1871,0.2141,0.2138,0.1872,0.1955,0.1874,0.1954,2.0303,0.0847,25.7807,0.1603,26,20,31,2.5407,0.1289,0.9945,0.0085,2,0,25.8068,0.16,26,21,31,2.57,0.1199,0.9942,0.0087,0.8549,0.8887
"./SAT05/crafted/sabharwal05/counting/php/unsat/harder/php-020-019.shuffled-as.sat05-1190.cnf",1,"Sol_2011.04.04",380,3630,360,3610,0.0556,0.0055,0.0997,0.4639,1.0418,0,1,1.1095,0.0105,1.4088,0.0056,0.1,0.3424,0,0.897,0.897,0.0105,0,0.0105,0.0105,0,0,0,0,0,0,0.0037,0.3612,0.0017,0.0053,2.1916,0.6632,0.0233,0.2279,0.0152,0.0374,0.0199,1.4052,0.0102,0.1845,0.5056,0.0922,0.3027,0.0082,0.1066,0.5056,3,0,3,3,0,4803.6667,0.0132,4715,4858,4858,4715,4858,4715,4838,78.2146,0.1533,61.4895,89.0019,89.0019,61.4895,89.0019,61.4895,84.1525,0.8845,0.0045,0.8749,0.8891,0.889,0.88,0.8888,0.8846,0.8847,0.161,0.0269,0.1561,0.1712,0.1658,0.1561,0.1608,0.1562,0.1608,1.2808,9.9459,158.575,0.0624,159,146,171,4.5762,0.0824,0.9968,0.0172,1,0,158.529,0.0603,159,146,171,4.7498,0.0651,0.997,0.0013,0.9142,0.9396
"./SAT05/crafted/sabharwal05/ordering/gt-ordering/sat/gt-030.shuffled-as.sat05-1295.cnf",1,"sathys_2011.04.01",870,24824,870,24824,0,0,0.035,0.4986,0.5877,0,1,0.6221,0.0035,0.3031,0.0023,0.0333,0.0975,0,0.0175,0.9988,0.0035,7e-04,0.0034,0.0035,0.023,0.3256,7e-04,0.3176,0.3412,0.0252,0.0017,0.1774,0.0011,0.0025,3.1476,0.5096,0.0046,4e-04,0.0045,0.0046,0.0046,0.4743,0.0023,0.0666,0.1265,0.0437,0.0703,0.0347,0.0678,0.0975,3,0,3,3,0,2670.4,0.2007,1380,3411,3411,2452,3156,2527,2614,39.7944,0.1768,30.8127,56.8522,56.8522,32.1439,41.8503,33.3194,40.4414,0.5268,0.0015,0.5186,0.5465,0.5268,0.5267,0.5268,0.5267,0.5268,0,0.0142,0,0,0,0,0,0,0,5.8135,21.1475,278.049,0.0556,278,265,293,11.0015,0.064,0.998,0.0392,1.261,0.5634,277.453,0.0398,277,263,291,9.087,0.2659,0.9997,3e-04,0.7089,0.9146
"./SAT05/crafted/sabharwal05/pebbling/grid-pebbling/unsat/grid-pbl-0250.shuffled-as.sat05-1349.shuffled-as.sat05-1349.cnf",1,"clasp_2.0.R4092.crafted",62750,124752,1144,2229,53.8514,54.9677,0.5132,0.375,0.8866,0,1,1.0083,0.0035,0.0275,0.0017,0.0044,0.0472,0,0.0018,0.0031,0.0035,0.0825,0.0022,0.0045,0.3976,0.0375,0.1052,0,0.5,0.3978,0.0011,0.6651,0,0.0036,1.7982,0.3109,0.0055,0.1375,0.0022,0.0058,0.007,0.084,0.0036,0.0081,0.6138,0.1553,0.6691,0.1176,0.7818,0.8444,28.8618,0.0927,22,33,2.2911,577.3804,1.0715,102,2507,1531,141,609,193,322,9.4616,0.3907,5.1273,25.5895,14.5433,6.2137,10.9715,6.8758,8.201,0.0519,2.7129,0,0.6039,0.4414,0,0.0012,0,0,0.4604,0.011,0.3839,0.4684,0.4621,0.4587,0.4604,0.4604,0.4604,7.8171,0.2916,71.5054,0.0877,72,63,79,0.5364,0.3998,0.907,0.029,7.9255,0.4557,71.3431,0.0885,71,64,79,0.1313,0.6724,0.9063,0.0372,0.2989,0.6806
"./SAT05/crafted/sabharwal05/planning/logistics/unsat/logistics-rotate-07t5.shuffled-as.sat05-1137.cnf",1,"CryptoMiniSat_Strange.Night2.st_fixed_",2721,88373,1754,79229,0.5513,0.1154,0.0221,0.4917,1.0016,0,1,0.897,0.0013,0.5835,0.0011,0.0131,0.267,0,0.9511,0.9728,0.0013,0.2523,2e-04,0.0019,2.759,0.7649,0.2302,0.0667,0.9669,2.4732,8e-04,0.4208,0,0.0015,3.7161,0.7281,0.0014,0.2918,2e-04,0.0027,5e-04,2.9351,0,0.0225,3.2654,0.1624,0.8347,0.0024,0.6667,2.6761,4.7942,0.0843,4,5,0.5083,3912.75,0.3739,1380,4821,4821,1380,4821,4681,4769,27.199,0.0342,25.6108,27.8652,27.8652,25.6108,27.8652,27.4614,27.8585,0.9235,0.1168,0.5791,0.9971,0.9926,0.7011,0.9889,0.9432,0.9512,0.0112,2.805,0,0.272,0.0125,0,0.0119,3e-04,0.0065,18.45,0.1085,819.7,0.0278,818,796,846,20.538,0.0995,0.9991,2e-04,141.434,10.5878,813.667,0.0835,818,795,843,17.2005,0.2154,0.9931,0.0798,0.445,0.8863
"./SAT05/crafted/sorge05/QG7/dead-dnd003.shuffled-as.sat05-3109.cnf",1,"SAT09referencesolverclasp_1.2.0.SAT09.32",468,11753,412,6961,0.1359,0.6884,0.0592,0.4455,0.9228,0,1,1.7272,0.0083,0.6143,0.0049,0.0291,1.4978,0,0.5065,0.7477,0.0083,0.8253,1e-04,0.0424,3.1732,0.6006,0.1074,0,1,2.5441,0.003,0.5452,0,0.008,3.4212,0.5164,0.0105,0.8397,1e-04,0.049,0.0142,1.1581,0.0017,0.0448,3.5096,0.2519,0.9673,0.0218,0.9595,2.7576,3.8297,0.0982,3,4,0.4564,3985,0.171,2808,4437,4437,2808,4437,4301,4394,35.1856,0.0833,32.0271,39.8714,39.8714,32.0271,39.8714,33.6362,35.2076,0.8253,0.1666,0,1,0.8859,0.7359,0.8811,0.8274,0.874,0.0934,1.8734,0.0016,0.9752,0.4728,0.0049,0.0389,0.0106,0.0141,12.5592,1.8713,132.961,0.0723,133,121,145,6.0914,0.1608,0.9905,0.0222,13.8978,0.517,132.89,0.0693,133,122,144,3.5338,0.3959,0.9927,0.0119,0.5699,0.7966
"./SAT05/crafted/sorge05/QG7/gensys-icl007.shuffled-as.sat05-3133.cnf",1,"clasp_2.0.R4092.crafted",762,17262,704,12087,0.0824,0.4281,0.0582,0.39,0.9199,0,1,1.763,0.0067,0.4761,0.0028,0.017,1.549,0,0.277,0.416,0.0067,1.0129,1e-04,0.0278,3.6592,0.6623,0.2218,0,1,3.1886,0.0013,1.1964,0,0.0074,3.2016,0.3203,0.0075,0.8402,1e-04,0.0282,0.0082,1.1817,0.0012,0.1356,3.9191,0.1631,1.3559,0.002,0.9797,2.7592,4.458,0.113,4,6,0.7064,3511.5,0.1501,2818,4258,4258,2818,4258,3295,3675,39.3932,0.1296,35.5768,48.0683,48.0683,35.5768,48.0683,35.8046,38.1231,0.7773,0.2201,0,1,0.9181,0.5199,0.9091,0.7126,0.8036,0.2743,0.8876,0.005,0.9994,0.4996,0.0231,0.4979,0.0315,0.4231,11.9521,0.2827,134.841,0.0754,135,123,147,4.8892,0.2314,0.9873,0.0055,16.6934,1.163,135.16,0.0716,135,124,146,2.0005,0.5422,0.9928,0.0591,0.4274,0.6883
"./SAT05/crafted/sorge05/QG7/iso-ukn004.shuffled-as.sat05-3385.cnf",1,"clasp_2.0.R4092.crafted",1253,12666,609,2721,1.0575,3.6549,0.2238,0.4536,0.9202,0,1,1.8513,0.0062,0.7449,0.0033,0.0443,1.6365,0,0.5255,0.7192,0.0062,1.0218,4e-04,0.0382,2.9994,0.6209,0.3265,0,1,3.1098,0.002,1.4145,0,0.0099,2.3061,0.5443,0.0091,0.9584,4e-04,0.0551,0.0167,0.8417,0.0011,0.118,4.3858,0.2851,0.7718,0.0315,0.957,3.9437,5.3339,0.1062,4,6,0.8376,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0.7766,0.3044,7e-04,1,1,0.425,1,0.6636,0.8126,0.4897,0.7789,0.0016,0.9981,0.9848,0.0094,0.9381,0.0261,0.4894,11.2841,0.2501,83.5329,0.0849,83,74,92,2.6775,0.2979,0.9722,0.0107,15.6248,0.1761,83.1457,0.0867,83,74,93,1.0838,0.7477,0.9823,0.0089,0.2832,0.8422
"./SAT05/crafted/sorge05/QG8/gensys-ukn007.shuffled-as.sat05-3586.cnf",1,"PicoSAT_941",583,54220,519,47838,0.1233,0.1334,0.0108,0.3889,0.7632,0,1,1.1761,0.0088,0.2387,0.0039,0.0173,0.4792,0,0.1475,0.1487,0.0088,0.5461,5e-04,0.0158,2.7085,0.9379,0.1092,0,0.992,1.361,0.002,0.8164,0,0.007,4.7939,0.2739,0.0032,0.4722,5e-04,0.0102,7e-04,4.6927,1e-04,0.1093,1.5011,0.15,0.6327,4e-04,0.8515,1.3014,3.2797,0.1369,3,4,0.5927,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0.9587,0.1245,0.002,0.9976,0.9965,0.8955,0.9951,0.995,0.9951,0.0052,8.7827,0,0.4929,1e-04,0,0,0,0,14.4749,0.3901,217.659,0.0543,218,203,232,10.1594,0.1634,0.9882,0.0035,20.5616,0.2678,218.97,0.0536,219,203,234,10.1799,0.1897,0.9902,0.0032,0.725,0.966
"./SAT05/crafted/sorge05/QG8/iso-ukn009.shuffled-as.sat05-3632.cnf",1,"clasp_2.0.R4092.crafted",1584,16587,515,2448,2.0757,5.7757,0.2104,0.4569,0.9899,0,1,1.6398,0.0065,0.7837,0.0039,0.068,1.24,0,0.7141,0.7398,0.0065,0.9856,4e-04,0.056,3.1456,0.6588,0.2828,0,1,3.3326,0.0023,1.1261,0,0.0135,2.4063,0.5507,0.0103,0.8789,4e-04,0.0588,0.013,1.1763,0.0012,0.0997,3.91,0.3762,0.5747,0.0208,0.9614,3.8547,5.0817,0.1223,4,6,0.9339,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0.7976,0.2832,0,1,1,0.4982,1,0.7276,0.8568,0.4023,0.9923,3e-04,0.9999,0.9908,0.0033,0.8907,0.0083,0.4691,9.8856,0.3952,91.7246,0.0794,92,83,101,2.745,0.2864,0.9683,0.0134,15.9691,0.2006,91.6079,0.0761,92,83,100,1.3572,0.6242,0.9818,0.0099,0.2911,0.9448
"./SAT07/crafted/spence/hard/s113-100.cnf",1,"none",113,236,113,236,0,0,0.4788,1,0,1,1,0,0.0265,0,0.0265,0.0265,0,0,0,1,0.0265,0.1502,0.0254,0.0508,0.3057,0.0236,0.0855,0,0.3333,0.2557,0.0133,0.1969,0.0127,0.0254,0.1812,0.5,0.0258,0.0515,0.0254,0.0339,0.0401,0.114,0.0381,0.0508,0.4271,0.193,0.086,0.1538,0.2,0.4271,5.8661,0.0581,5,6,0.3938,4096.8889,0.051,3915,4576,4576,3915,4039,3980,4019,17.8746,0.0629,16.0966,19.8879,19.8879,16.0966,18.9578,17.1418,17.6593,0.0398,1.6635,1e-04,0.2624,0.0878,0.0011,0.0685,0.0033,0.0143,0.3148,0.0597,0.2203,0.3245,0.3237,0.3114,0.3225,0.314,0.3217,2.6353,0.5236,16.5345,0.1712,17,13,20,0.8284,0.3165,0.8526,0.0901,1.0868,0.2834,16.4829,0.1694,16,13,20,0.496,0.3701,0.8016,0.0785,0.8203,0.9596
"./SAT09/CRAFTED/edgematching/all/em_8_4_5_all.cnf",1,"SAT09referencesolverclasp_1.2.0.SAT09.32",2420,62900,2416,62900,0.0017,0,0.0384,0.7883,0.3974,0,1,0.9573,0.001,0.599,8e-04,0.0149,0.8605,0,0.6948,0.9169,0.001,0.6398,1e-04,0.0031,2.8557,0.7531,0.308,0.0327,0.9375,2.011,8e-04,0.4768,1e-04,0.0018,2.5919,0.8734,0.0012,0.3167,1e-04,0.0017,0.0011,1.3869,0,0.0335,2.9096,0.2581,0.9015,0.0014,0.5,1.5867,5.6854,0.084,5,7,0.663,462.3333,0.3102,295,918,633,319,554,353,433,28.8721,0.1112,25.8527,41.3442,30.1838,26.7436,29.1374,27.4327,27.9851,0.8496,0.2756,0.0153,0.9776,0.9774,0.4601,0.9771,0.9343,0.9747,0.0144,1.3461,0,0.0826,0.0425,0,0.0249,1e-04,3e-04,125.654,9.2854,1024.52,0.0908,1030,1000,1063,8.0759,0.1732,0.9876,0.0874,36.9167,0.1308,1036.47,0.0222,1036,1005,1066,6.7771,0.2947,0.9961,6e-04,0.3611,0.8369
"./SAT09/CRAFTED/edgematching/compact/em_7_3_6_cmp.cnf",1,"sattime._2011.03.02",1473,11563,1465,11563,0.0055,0,0.1267,0.4161,0.6183,0,1,1.2069,0.0022,0.5989,0.0014,0.0171,1.1172,0,0.2051,0.8122,0.0022,1.0956,4e-04,0.0099,2.7799,0.4796,0.241,0,0.8571,2.6643,0.0013,1.0811,0,0.0054,2.7189,0.698,0.0043,0.2919,5e-04,0.0061,0.0065,0.5576,3e-04,0.0432,4.2546,0.082,1.3015,0.01,0.5,2.1451,5.7022,0.0998,5,7,0.8442,913.1111,0.1555,703,1318,1094,710,973,836,904,20.3294,0.2648,12.5036,34.4604,28.4135,14.0307,23.3481,16.7072,18.8098,0.71,0.4244,0.0045,0.9806,0.9592,0.1091,0.95,0.6406,0.8354,0.0813,1.1273,0.0022,0.3397,0.2345,0.0044,0.1492,0.0119,0.0218,19.7369,0.216,526.916,0.0358,527,502,551,1.5776,0.1385,0.9315,0.0094,19.3266,0.1638,527.261,0.0362,527,503,553,0.9042,0.2683,0.9313,0.0102,0.1271,0.634
"./SAT09/CRAFTED/edgematching/fbcolors/em_8_4_5_fbc.cnf",1,"MPhaseSAT_2011.02.15",2420,33572,2416,33572,0.0017,0,0.072,0.6035,0.5509,0,1,1.2717,0.0012,0.6689,8e-04,0.0149,1.1418,0,0.4286,0.8446,0.0012,1.2277,1e-04,0.0058,2.7982,0.5618,0.3176,0.0327,0.8621,2.7836,8e-04,1.1771,1e-04,0.0033,2.5553,0.7631,0.0023,0.3176,2e-04,0.0032,0.0039,0.5818,1e-04,0.029,4.2127,0.0472,1.6196,0.0026,0.5,1.7336,5.7462,0.0778,5,7,0.6025,621.5,0.72,264,2123,1336,283,637,323,533,42.1608,0.3817,27.6049,87.2539,75.1238,27.9477,44.065,32.0173,38.5,0.8053,0.3275,0.0184,0.9652,0.9644,0.326,0.9642,0.8262,0.9566,0.0363,1.7941,0,0.318,0.1533,1e-04,0.0279,1e-04,5e-04,25.651,1.6403,1014.25,0.0755,1019,995,1046,3.5783,0.1619,0.9853,0.0097,29.0846,0.1237,1019.36,0.0236,1020,988,1051,2.5768,0.254,0.9856,0.002,0.3103,0.8095
"./SAT09/CRAFTED/rbsat/random/unforced/rbsat-v2100c215164g4.cnf",1,"PicoSAT_941",728,18954,702,18226,0.037,0.0399,0.0385,1,0,1,1,0,0.0042,2.3509,0.0028,0.0769,0.0895,0,0.9822,0.9822,0.0042,0,0.0042,0.0042,0,0.3421,0,0.3421,0.3421,0,0.0028,0,0.0028,0.0028,0,0.9822,0.0385,0,0.0385,0.0385,0.004,3.6471,0.0014,0.1111,0.7701,0.0578,0.3431,0.001,0.0769,0.7701,2,0,2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0.9305,1e-04,0.9302,0.9308,0.9307,0.9303,0.9306,0.9304,0.9305,0.0312,0.0094,0.0306,0.0319,0.0316,0.0308,0.0314,0.031,0.0312,9e-04,33.1361,327.179,0.0406,327,311,344,13.5107,0.037,0.9996,2e-04,0.0195,38.5616,327.073,0.0484,327,310,344,13.5515,0.0373,0.9995,3e-04,1,1
"./SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-3-5_527.cnf",1,"sattime_2011.03.02",526,12647,420,10373,0.2524,0.2192,0.0405,0.8204,0.3529,0.3333,1,0.7312,0.0097,0.4074,0.0071,0.0286,0.8565,0,0,0.6785,0.0097,0.4576,0.0038,0.0258,4.6596,0.5681,0.3643,0,0.954,3.8317,0.0011,0.8917,2e-04,0.0055,3.1969,0.0646,0.0132,0.1936,0.0077,0.0193,0.0176,0.7689,3e-04,0.0745,5.9175,0.0766,0.607,0.0155,0.5,2.5151,3,0,3,3,0,4115.6667,0.0371,3790,4236,4236,3790,4215,4115,4214,22.5018,0.0233,21.5996,23.0673,23.0673,21.5996,22.9459,22.1514,22.9149,0.6752,0.4123,0.0016,0.9902,0.9387,0.2068,0.9033,0.4881,0.8077,0.018,1.2079,1e-04,0.1319,0.0451,0.0016,0.0222,0.0043,0.011,17.0213,1.5292,123.021,0.0795,123,112,135,4.0379,0.2264,0.9708,0.0279,14.0146,0.2607,123.006,0.0764,123,111,135,1.9582,0.405,0.969,0.0094,0.3487,0.5548
"./SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-3-5_528.cnf",1,"clasp_2.0.R4092.crafted",527,12692,423,10467,0.2459,0.2126,0.0404,0.8222,0.3511,0.3333,1,0.7256,0.0096,0.4064,0.0071,0.0284,0.851,0,0,0.6819,0.0096,0.4621,0.0037,0.0256,4.7165,0.5765,0.3627,0,0.9545,3.8062,0.0011,0.904,2e-04,0.0054,3.1663,0.0636,0.0131,0.1981,0.0076,0.0192,0.0174,0.7737,3e-04,0.0751,5.9153,0.0766,0.6234,0.0152,0.5,2.5216,3,0,3,3,0,4241.5,0.0129,4174,4327,4327,4174,4300,4196,4231,22.3049,0.029,21.5521,23.2073,23.2073,21.5521,22.9875,21.7005,22.5627,0.6768,0.4128,0.0054,0.9902,0.9386,0.2054,0.9032,0.4881,0.8107,0.0179,1.1925,1e-04,0.1236,0.044,0.0015,0.0233,0.0043,0.011,17.021,0.2769,124.313,0.0758,124,113,135,4.1236,0.2186,0.9721,0.0095,14.5495,0.2639,123.8,0.0754,124,112,136,1.9777,0.3942,0.9691,0.009,0.3468,0.5877
"./SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-4-4_511.cnf",1,"MPhaseSAT_2011.02.15",509,4478,509,4478,0,0,0.1137,1,0,1,1,0,0.0079,0,0.0079,0.0079,0,0,0,0,0.0079,0.3019,0.0018,0.0138,3.0433,0,0,0,0,0,0.0039,0.3019,9e-04,0.0069,3.0433,0.5,0.0103,0.2774,0.0027,0.0185,0.0162,0.1669,0.006,0.0232,3.8711,0.0282,0.2063,0.019,0.0714,0.7453,3.6929,0.1249,3,4,0.6167,4057.7143,0.0169,4003,4197,4197,4003,4126,4014,4023,29.9583,0.0538,27.9644,32.7683,32.7683,27.9644,31.8975,28.8949,29.1333,0,0,0,0,0,0,0,0,0,0.0285,1.5402,3e-04,0.2667,0.0812,0.002,0.0303,0.0043,0.0101,21.7803,0.2333,98.7534,0.0728,99,90,108,1.0373,0.2139,0.8533,0.0373,18.2654,0.2212,98.6752,0.0767,99,89,108,0.3731,0.3884,0.8412,0.0353,0.344,0.4786
"./SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-4-4_512.cnf",1,"none",510,4492,510,4492,0,0,0.1135,1,0,1,1,0,0.0078,0,0.0078,0.0078,0,0,0,0,0.0078,0.3025,0.0018,0.0138,3.0443,0,0,0,0,0,0.0039,0.3025,9e-04,0.0069,3.0443,0.5,0.0103,0.2775,0.0027,0.0185,0.0161,0.1674,0.006,0.0234,3.8743,0.0281,0.2069,0.0189,0.0714,0.7512,3.6896,0.1254,3,4,0.6194,3993.8571,0.0217,3906,4135,4135,3906,4112,3907,3954,30.2892,0.0313,29.3487,31.7665,31.7665,29.3487,31.6435,29.4252,30.1288,0,0,0,0,0,0,0,0,0,0.0285,1.5397,3e-04,0.2667,0.0827,0.002,0.0301,0.0042,0.0101,21.9975,0.2951,98.9511,0.078,99,89,108,1.0291,0.2395,0.8535,0.0732,18.3205,0.2151,98.8492,0.0762,99,89,109,0.3684,0.3734,0.8399,0.0355,0.3424,0.5425
"./SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf",1,"clasp_2.0.R4092.crafted",135,5251,135,5251,0,0,0.0257,1,0,1,1,0,0.0319,0.7362,0.0222,0.0889,0.4141,0,0,0.8549,0.0319,0.2615,0.015,0.0432,3.8051,0.224,0.1497,0.1212,0.6962,2.7087,0.0129,0.367,0.0023,0.0179,3.5045,0.1451,0.022,0.0695,0.0198,0.0255,0.0636,1.0269,0.0069,0.2731,5.4727,0.0097,0.537,0.0014,0.0541,0.8158,2.9925,0.0288,2,3,0.044,4684.8,0.007,4645,4725,4725,4645,4721,4655,4678,27.6296,0.0266,26.6204,28.8626,28.8626,26.6204,27.8709,27.384,27.4099,0.5916,0.1935,0.4959,0.9448,0.7986,0.5092,0.6277,0.5185,0.5383,2e-04,1.8631,0,0.0017,7e-04,0,2e-04,0,0,8.1399,0.2778,44.4659,0.1357,44,37,52,8.702,0.2544,0.9857,0.0091,9.3027,0.7271,44.6106,0.1369,44,37,52,8.015,0.3512,0.9885,0.0238,0.6727,0.8003
"./SAT11/crafted/manthey/sudoku-single-hard/sudoku_81x81_unknown.cnf",1,"none",18217,284829,18217,284829,0,0,0.064,1,0,1,1,0,1e-04,0.5154,1e-04,0.0015,0.2315,0,0.9658,0.968,1e-04,0.2671,0,3e-04,3.6096,0.7475,0.0743,0.2,0.8947,3.1617,1e-04,0.3026,0,3e-04,3.6096,0.9647,1e-04,0.302,0,2e-04,0,3.0231,0,0.0044,0.8395,0.2485,0.1872,0.0016,0.2857,0.6795,6.75,0.0642,6,7,0.5623,199.5263,1.225,2,700,556,3,440,9,20,15.0276,0.3518,4,30.8462,20.9548,7.1429,18.2261,12.1111,16.2948,0.8441,0.0916,0.028,0.9573,0.9129,0.7566,0.8931,0.8182,0.8629,0.0031,0.1614,0.001,0.0042,0.0037,0.0024,0.0034,0.0027,0.0031,936.6,0.0791,6592.4,0.012,6613,6502,6620,6.5932,0.1635,0.982,0.001,811.4,0.0505,6591.53,0.01,6599,6519,6667,1.9607,0.4952,0.9804,9e-04,0.0843,0.3438
"./SAT11/crafted/mosoi/289/289-sat-11x4.cnf",1,"PicoSAT_941",176,1628,132,1452,0.3333,0.1212,0.0909,1,0,1,1,0,0.0427,0.6205,0.0152,0.0909,0.8158,0,0.0909,0.0909,0.0427,0,0.0427,0.0427,0,0.0323,0,0.0323,0.0323,0,0.022,0,0.022,0.022,0,0.7727,0.0902,0,0.0902,0.0902,0.093,0.6649,0.0207,0.2045,0.8158,0.0216,0.6841,0.0067,0.0645,0.8158,2,0,2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0.5993,0,0.5992,0.5993,0.5993,0.5993,0.5993,0.5993,0.5993,0.3528,0,0.3528,0.3528,0.3528,0.3528,0.3528,0.3528,0.3528,0,0,29.6917,0.1551,30,24,36,3.2526,0.1794,1,3e-04,0,0,29.6461,0.1554,30,24,36,3.2447,0.18,1,5e-04,0.9999,1
"./SAT11/crafted/mosoi/289/289-sat-4x8.cnf",1,"PicoSAT_941",128,896,96,768,0.3333,0.1667,0.125,1,0,1,1,0,0.0573,0.6364,0.0208,0.125,0.8688,0,0.125,0.125,0.0573,0,0.0573,0.0573,0,0.0455,0,0.0455,0.0455,0,0.0299,0,0.0299,0.0299,0,0.7813,0.1237,0,0.1237,0.1237,0.1179,0.6983,0.0273,0.2695,0.8688,0.0334,0.6989,0.0096,0.0909,0.8688,2,0,2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0.5758,1e-04,0.5757,0.576,0.5758,0.5757,0.5758,0.5758,0.5758,0.3611,0,0.3611,0.3611,0.3611,0.3611,0.3611,0.3611,0.3611,0,0,21.6032,0.1809,22,17,27,2.638,0.1893,1,2e-04,0,0,21.5372,0.1814,21,17,27,2.6292,0.1853,1,5e-04,1,1
"./SAT11/crafted/mosoi/289/289-sat-5x8.cnf",1,"PicoSAT_941",160,1400,120,1240,0.3333,0.129,0.0968,1,0,1,1,0,0.0468,0.6232,0.0167,0.1,0.8259,0,0.0968,0.0968,0.0468,0,0.0468,0.0468,0,0.0345,0,0.0345,0.0345,0,0.0242,0,0.0242,0.0242,0,0.7742,0.096,0,0.096,0.096,0.1038,0.6711,0.0226,0.2298,0.8259,0.023,0.7063,0.007,0.069,0.8259,2,0,2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0.5946,0,0.5946,0.5947,0.5947,0.5946,0.5946,0.5946,0.5946,0.3547,0,0.3547,0.3547,0.3547,0.3547,0.3547,0.3547,0.3547,0,0,27.1305,0.1615,27,22,33,3.1003,0.1799,1,3e-04,0,0,27.1432,0.1622,27,22,33,3.1078,0.1807,1,4e-04,0.9999,1
"./SAT11/crafted/mosoi/289/289-sat-6x8.cnf",1,"none",192,2016,144,1824,0.3333,0.1053,0.0789,1,0,1,1,0,0.0395,0.6149,0.0139,0.0833,0.7941,0,0.0789,0.0789,0.0395,0,0.0395,0.0395,0,0.0278,0,0.0278,0.0278,0,0.0203,0,0.0203,0.0203,0,0.7697,0.0784,0,0.0784,0.0784,0.0917,0.6539,0.0192,0.199,0.7941,0.0174,0.7001,0.0055,0.0556,0.7941,2,0,2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0.6098,0,0.6097,0.6098,0.6098,0.6098,0.6098,0.6098,0.6098,0.348,0,0.348,0.348,0.348,0.348,0.348,0.348,0.348,0,0,32.8605,0.1474,33,27,39,3.5405,0.172,1,5e-04,0,0,32.822,0.1483,33,27,39,3.5426,0.1715,1,6e-04,0.9996,0.9999
"./SAT11/crafted/mosoi/289/289-sat-6x9.cnf",1,"PicoSAT_941",216,2538,162,2322,0.3333,0.093,0.0698,1,0,1,1,0,0.0353,0.6106,0.0123,0.0741,0.7761,0,0.0698,0.0698,0.0353,0,0.0353,0.0353,0,0.0244,0,0.0244,0.0244,0,0.0181,0,0.0181,0.0181,0,0.7674,0.0693,0,0.0693,0.0693,0.0835,0.645,0.0172,0.1796,0.7761,0.0148,0.6898,0.0048,0.0488,0.7761,2,0,2,2,0,4272,0,4272,4272,4272,4272,4272,4272,4272,35.2217,0,35.2217,35.2217,35.2217,35.2217,35.2217,35.2217,35.2217,0.619,0,0.619,0.6191,0.6191,0.619,0.6191,0.619,0.619,0.3429,0,0.3429,0.343,0.3429,0.3429,0.3429,0.3429,0.3429,0,0,37.0983,0.1384,37,31,44,3.8406,0.1653,1,6e-04,0,0,37.1248,0.141,37,30,44,3.8581,0.1693,1,6e-04,0.9992,0.9999
"./SAT11/crafted/mosoi/289/289-sat-7x6.cnf",1,"PicoSAT_941",168,1554,126,1386,0.3333,0.1212,0.0909,1,0,1,1,0,0.0447,0.6205,0.0159,0.0952,0.8158,0,0.0909,0.0909,0.0447,0,0.0447,0.0447,0,0.0323,0,0.0323,0.0323,0,0.0231,0,0.0231,0.0231,0,0.7727,0.0902,0,0.0902,0.0902,0.1013,0.6655,0.0216,0.2229,0.8158,0.021,0.7089,0.0065,0.0645,0.8158,2,0,2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0.5993,0,0.5992,0.5993,0.5993,0.5993,0.5993,0.5993,0.5993,0.3528,0,0.3528,0.3528,0.3528,0.3528,0.3528,0.3528,0.3528,0,0,28.5016,0.1569,28,23,34,3.2192,0.179,1,7e-04,0,0,28.5513,0.1576,28,23,34,3.2254,0.1778,1,6e-04,0.9998,1
"./SAT11/crafted/skvortsov/automata-synchronization/crn_11_100_s.cnf",1,"CryptoMiniSat_Strange.Night2.st_fixed_",1300,2355,616,1939,1.1104,0.2145,0.3177,0.2847,0.9523,0,1,1.0749,0.0062,0.1226,0.0032,0.0065,0.4854,0,0.0371,0.1398,0.0062,0.9092,0.0026,0.0201,1.3674,0.0611,0.099,0,0.6667,1.0023,0.0017,0.8985,5e-04,0.0057,0.62,0.2945,0.0061,0.3976,0.0031,0.0119,0.0176,0.1933,0.0021,0.0222,1.6826,0.479,0.1608,0.25,0.9048,1.7936,36.9301,0.1864,25,49,3.2068,1193.0645,0.5465,438,3837,1680,723,1202,858,1050,15.0866,0.8199,8.6826,70.0881,17.0097,9.5839,13.3077,10.3493,11.9361,0.1128,1.3536,1e-04,0.8133,0.2319,0.0047,0.1855,0.0153,0.0374,0.3335,0.2819,0.0212,0.3907,0.3904,0.157,0.3887,0.3418,0.3853,7.7162,0.4112,82.5829,0.0759,83,75,90,0.33,0.1975,0.7184,0.0509,8.4172,0.3223,82.6688,0.0755,83,75,90,0.1286,0.3411,0.7223,0.0489,0.2282,0.6422
"./SAT11/crafted/skvortsov/automata-synchronization/crn_11_99_u.cnf",1,"CryptoMiniSat_Strange.Night2.st_fixed_",1287,2332,612,1918,1.1029,0.2158,0.3191,0.2855,0.9479,0,1,1.0856,0.0062,0.1205,0.0033,0.0065,0.495,0,0.0323,0.147,0.0062,0.9113,0.0026,0.0203,1.4364,0.0669,0.1137,0,0.6667,1.0783,0.0018,0.9106,5e-04,0.0099,0.6288,0.2961,0.0062,0.3995,0.0031,0.0125,0.0177,0.1967,0.0021,0.0271,1.6831,0.4722,0.1428,0.1337,0.8889,1.8413,36.8511,0.1855,25,49,3.2034,1349.0357,0.5248,582,3690,1979,692,1515,915,1299,16.3118,0.8062,7.4163,66.5724,16.2552,9.8555,14.5721,11.6383,13.283,0.115,1.3477,2e-04,0.7732,0.2257,0.0047,0.1856,0.0153,0.0374,0.3334,0.2805,0.0229,0.3907,0.3904,0.157,0.3887,0.3494,0.3851,7.8195,0.4874,82.0085,0.0781,82,74,90,0.3286,0.223,0.7181,0.0959,8.6223,0.3276,82.0256,0.0754,82,74,90,0.1301,0.3487,0.7213,0.0495,0.2088,0.5971
"./SAT11/crafted/skvortsov/automata-synchronization/crn_20_360_u.cnf",1,"QuteRSat_2011.05.12_fixed_",7920,14950,3856,13484,1.0539,0.1087,0.286,0.2664,0.9745,0,1,0.9339,0.001,0.0859,5e-04,0.001,0.2926,0,0.0168,0.0702,0.001,1.3871,4e-04,0.0056,0.9546,0.0345,0.0813,0,0.8095,0.6672,3e-04,1.3761,1e-04,0.0015,0.3763,0.2734,9e-04,0.6981,4e-04,0.003,0.0046,0.1461,3e-04,0.0059,1.1012,0.5316,0.1007,0.2372,0.9048,1.0798,130.6681,0.181,90,179,4.4519,912.1892,0.5281,257,2513,1574,380,1165,594,839,13.2212,0.302,5.3132,23.7308,17.7745,9.35,14.9983,10.2296,12.8148,0.0454,2.1823,0,0.888,0.14,2e-04,0.0333,0.0014,0.0042,0.3037,0.3145,2e-04,0.3576,0.3383,0.1883,0.3382,0.3358,0.3375,18.125,2.7702,513.525,0.0964,518,497,534,0.2033,0.5488,0.6913,0.239,31.424,0.2292,516.152,0.0305,518,495,535,0.0444,0.2435,0.687,0.0205,0.1245,0.2957
"./SAT11/crafted/skvortsov/automata-synchronization/crn_20_361_s.cnf",1,"QuteRSat_2011.05.12_fixed_",7942,14991,3874,13521,1.0501,0.1087,0.2865,0.2665,0.9728,0,1,0.9387,0.001,0.085,5e-04,0.001,0.2972,0,0.0153,0.0724,0.001,1.3881,4e-04,0.0056,0.9802,0.0364,0.0884,0,0.8095,0.696,3e-04,1.3806,1e-04,0.0027,0.3774,0.2739,9e-04,0.6983,4e-04,0.0031,0.0045,0.1475,3e-04,0.0072,1.0968,0.529,0.0955,0.0705,0.8889,1.0983,130.7046,0.1798,91,180,4.4483,682.2917,0.732,141,2554,1151,272,845,398,517,11.8974,0.8217,6.1822,72.0729,16.843,7.1508,11.8779,8.1034,9.6475,0.0461,2.1952,0,0.8666,0.14,2e-04,0.0333,0.0014,0.0042,0.3036,0.3142,3e-04,0.3576,0.3383,0.1885,0.3382,0.3358,0.3375,15.161,1.6872,518.788,0.0278,519,500,537,0.1959,0.377,0.6758,0.0414,31.6777,0.372,518.256,0.0291,518,499,537,0.0464,0.4951,0.6879,0.0245,0.1071,0.2927
"./SAT11/crafted/skvortsov/automata-synchronization/crn_40_1520_u.cnf",1,"none",63840,123900,31516,117774,1.0256,0.052,0.2676,0.2574,0.9871,0,1,0.8321,1e-04,0.0583,1e-04,1e-04,0.163,0,0.0073,0.0332,1e-04,2.0996,0,0.0013,0.5885,0.0173,0.0584,0,0.9024,0.4008,0,2.0912,0,3e-04,0.2133,0.2613,1e-04,1.1315,1e-04,7e-04,0.001,0.1043,0,0.0014,0.6334,0.5877,0.0602,0.2278,0.9048,0.6209,748.525,0.0056,743,759,2.6899,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0.0192,3.1172,0,0.9357,0.1214,1e-04,0.0069,1e-04,2e-04,0.3151,0.2287,0,0.3575,0.3325,0.3284,0.3325,0.3316,0.3325,373.5,1.3271,4327,0.0196,4327,4267,4267,0.2524,0.5891,0.6826,0.0794,822,1.066,4303,0.0108,4322.5,4238,4338,0.2318,1.6787,0.7394,0.1578,0.0566,0.1106
"./SAT11/crafted/skvortsov/automata-synchronization/crn_40_1521_s.cnf",1,"none",63882,123981,31554,117851,1.0245,0.052,0.2677,0.2575,0.9866,0,1,0.8338,1e-04,0.0581,1e-04,1e-04,0.1647,0,0.0069,0.0338,1e-04,2.1,0,0.0013,0.5973,0.0178,0.0608,0,0.9024,0.4093,0,2.0927,0,7e-04,0.2135,0.2615,1e-04,1.1315,1e-04,7e-04,0.001,0.1049,0,0.0017,0.6315,0.5867,0.0578,0.0343,0.8889,0.6216,749.525,0.0056,744,760,2.6899,1674.5,0.4661,894,2455,2455,894,2455,894,2455,221.2992,0.764,52.2293,390.3691,390.3691,52.2293,390.3691,52.2293,390.3691,0.0194,3.149,0,0.9257,0.1214,1e-04,0.0069,1e-04,2e-04,0.3151,0.2288,0,0.3575,0.3325,0.3284,0.3325,0.3316,0.3325,524.5,1.3576,4309.5,5e-04,4309.5,4308,4308,0.2739,0.7704,0.6927,0.0984,455.2,0.0574,4354.8,0.013,4317,4311,4396,0.0733,0.0204,0.6906,0.0077,0.0486,0.1086
"./SAT11/crafted/skvortsov/battleship/battleship-10-10-unsat.cnf",1,"SAT07referencesolverminisat_SAT2007",100,550,100,550,0,0,0.1818,1,0,1,1,0,0.0345,0.8932,0.02,0.1,0.4741,0,0.8182,0.8182,0.0345,0,0.0345,0.0345,0,0.0526,0,0.0526,0.0526,0,0.0164,0,0.0164,0.0164,0,0.8182,0.1291,0,0.1291,0.1291,0.0595,0.825,0.0364,0.1636,0.4741,0.0819,0.3449,0.022,0.0952,0.4741,3,0,3,3,0,4904.75,0.0024,4886,4917,4917,4886,4917,4904,4912,34.2879,0.0281,32.7716,35.387,35.387,32.7716,35.387,34.2412,34.7516,0.6722,1e-04,0.672,0.6724,0.6723,0.6721,0.6722,0.6721,0.6722,0.0529,0.0012,0.0528,0.053,0.053,0.0528,0.0529,0.0528,0.0529,8.3109,0.0956,32.6044,0.1539,33,26,39,2.5267,0.1682,0.9743,0.0166,7.8199,0.0746,32.8031,0.1518,33,26,39,2.0526,0.3023,0.9699,0.0163,0.7824,0.8174
"./SAT11/crafted/skvortsov/battleship/battleship-10-17-sat.cnf",1,"sattime_2011.03.02",170,865,170,865,0,0,0.1965,1,0,1,1,0,0.022,1.2845,0.0118,0.1,0.3581,0,0.8844,0.8844,0.022,0,0.022,0.022,0,0.0526,0,0.0526,0.0526,0,0.0104,0,0.0104,0.0104,0,0.8844,0.1328,0.0356,0.126,0.141,0.0409,1.2022,0.0231,0.1769,0.3581,0.0857,0.3068,0.013,0.0952,0.3581,3,0,3,3,0,4845.75,0.004,4832,4879,4879,4832,4879,4832,4840,67.7621,0.0181,66.1004,69.3069,69.3069,66.1004,69.3069,67.1763,68.4646,0.8147,0,0.8147,0.8148,0.8148,0.8147,0.8147,0.8147,0.8147,0.2417,1e-04,0.2417,0.2417,0.2417,0.2417,0.2417,0.2417,0.2417,2.4871,0.3175,64.4446,0.1028,64,56,73,2.4561,0.1357,0.9875,0.0074,1.5387,0.3632,64.3116,0.1017,64,56,73,1.9042,0.2632,0.9824,0.0073,0.8884,0.9121
"./SAT11/crafted/skvortsov/battleship/battleship-10-18-sat.cnf",1,"sattime._2011.03.02",180,910,180,910,0,0,0.1978,1,0,1,1,0,0.0209,1.3315,0.0111,0.1,0.3463,0,0.8901,0.8901,0.0209,0,0.0209,0.0209,0,0.0526,0,0.0526,0.0526,0,0.0099,0,0.0099,0.0099,0,0.8901,0.1332,0.0274,0.1308,0.1396,0.0391,1.2473,0.022,0.178,0.3463,0.0861,0.3013,0.0123,0.0952,0.3463,3,0,3,3,0,4840.5,0.0092,4792,4913,4913,4792,4913,4824,4833,73.7962,0.0106,72.6638,74.6267,74.6267,72.6638,74.6267,73.476,74.4183,0.8154,0,0.8154,0.8155,0.8155,0.8154,0.8155,0.8154,0.8154,0.2435,1e-04,0.2435,0.2435,0.2435,0.2435,0.2435,0.2435,0.2435,1.9359,0.411,68.7056,0.0992,69,60,77,2.4348,0.1342,0.9879,0.0069,0.9264,0.5729,68.6825,0.0974,69,60,77,1.8782,0.2558,0.9829,0.0068,0.8977,0.9216
"./SAT11/crafted/skvortsov/battleship/battleship-10-19-sat.cnf",1,"none",190,955,190,955,0,0,0.199,1,0,1,1,0,0.0199,1.377,0.0105,0.1,0.3353,0,0.8953,0.8953,0.0199,0,0.0199,0.0199,0,0.0526,0,0.0526,0.0526,0,0.0094,0,0.0094,0.0094,0,0.8953,0.1334,0.0246,0.1298,0.1393,0.0375,1.291,0.0209,0.1791,0.3353,0.0865,0.296,0.0116,0.0952,0.3353,3,0,3,3,0,4858.5,0.0092,4814,4903,4903,4814,4903,4814,4903,79.1672,0.022,77.4231,80.9113,80.9113,77.4231,80.9113,77.4231,80.9113,0.8159,0,0.8159,0.8159,0.8159,0.8159,0.8159,0.8159,0.8159,0.2446,1e-04,0.2446,0.2447,0.2447,0.2446,0.2446,0.2446,0.2446,1.4281,0.567,73.2081,0.0941,73,64,82,2.4202,0.1316,0.9886,0.0065,0.3796,1.3564,73.2597,0.0956,73,64,82,1.8514,0.26,0.9836,0.0064,0.9062,0.9304
"./SAT11/crafted/skvortsov/battleship/battleship-11-11-unsat.cnf",1,"clasp_2.0.R4092.crafted",121,726,121,726,0,0,0.1667,1,0,1,1,0,0.0289,0.9583,0.0165,0.0909,0.4506,0,0.8333,0.8333,0.0289,0,0.0289,0.0289,0,0.0476,0,0.0476,0.0476,0,0.0138,0,0.0138,0.0138,0,0.8333,0.1653,0,0.1653,0.1653,0.0505,0.8944,0.0303,0.1515,0.4506,0.0755,0.3404,0.018,0.087,0.4506,2,0,2,2,0,4926.25,0.0021,4916,4941,4941,4916,4941,4917,4931,46.437,0.0578,41.8992,48.5704,48.5704,41.8992,48.5704,47.0053,48.2732,0.692,1e-04,0.6918,0.6922,0.6921,0.6919,0.692,0.6919,0.6919,0.0467,0.0014,0.0466,0.0469,0.0468,0.0467,0.0468,0.0467,0.0467,11.0207,0.0844,39.8804,0.1391,40,33,47,2.6539,0.1601,0.9718,0.0147,10.5361,0.0623,39.7839,0.1411,40,33,47,2.0976,0.3024,0.968,0.0148,0.7902,0.8269
"./SAT11/crafted/skvortsov/battleship/battleship-11-21-sat.cnf",1,"sattime_2011.03.02",231,1276,231,1276,0,0,0.181,1,0,1,1,0,0.0165,1.4642,0.0087,0.0909,0.3136,0,0.9052,0.9052,0.0165,0,0.0165,0.0165,0,0.0476,0,0.0476,0.0476,0,0.0078,0,0.0078,0.0078,0,0.9052,0.1728,0.0097,0.1724,0.1803,0.0312,1.383,0.0172,0.1646,0.3136,0.0796,0.2851,0.0095,0.087,0.3136,2.9522,0.0723,2,3,0.1921,4834.6667,0.0026,4821,4851,4851,4821,4851,4821,4832,88.215,0.0328,84.1817,90.8046,90.8046,84.1817,90.8046,84.1817,89.6588,0.8288,0,0.8287,0.8288,0.8288,0.8287,0.8288,0.8288,0.8288,0.233,1e-04,0.2329,0.233,0.233,0.233,0.233,0.233,0.233,2.4794,1.2217,89.8848,0.0857,90,80,100,2.6288,0.1289,0.9886,0.0288,1.5199,0.515,89.842,0.085,90,80,100,2.0464,0.2574,0.985,0.0053,0.9074,0.9245
"./SAT11/crafted/skvortsov/battleship/battleship-12-12-unsat.cnf",1,"Sol_2011.04.04",144,936,144,936,0,0,0.1538,1,0,1,1,0,0.0246,1.0197,0.0139,0.0833,0.4293,0,0.8462,0.8462,0.0246,0,0.0246,0.0246,0,0.0435,0,0.0435,0.0435,0,0.0118,0,0.0118,0.0118,0,0.8462,0.0929,0,0.0929,0.0929,0.0434,0.9594,0.0256,0.141,0.4293,0.07,0.3348,0.015,0.08,0.4293,3,0,3,3,0,4900,0.0026,4886,4921,4921,4886,4921,4896,4897,49.244,0.0461,46.2762,52.3774,52.3774,46.2762,52.3774,48.1652,50.1572,0.7088,1e-04,0.7086,0.7089,0.7088,0.7086,0.7088,0.7087,0.7088,0.0415,0.001,0.0414,0.0416,0.0415,0.0414,0.0415,0.0414,0.0415,8.2267,0.1817,50.8102,0.1218,51,43,59,2.7313,0.1638,0.9713,0.0142,7.7293,0.2143,50.763,0.1213,51,43,59,2.0909,0.3278,0.9686,0.0156,0.8026,0.8411
"./SAT11/crafted/skvortsov/battleship/battleship-12-23-sat.cnf",1,"SAT07referencesolverminisat_SAT2007",276,1662,276,1662,0,0,0.1661,1,0,1,1,0,0.0138,1.5467,0.0072,0.0833,0.2947,0,0.9134,0.9134,0.0138,0,0.0138,0.0138,0,0.0435,0,0.0435,0.0435,0,0.0066,0,0.0066,0.0066,0,0.9134,0.0947,0.0261,0.0915,0.0981,0.0264,1.4694,0.0144,0.1522,0.2947,0.0738,0.2751,0.0079,0.08,0.2947,3,0,3,3,0,4839.5,0.0094,4794,4885,4885,4794,4885,4794,4885,104.6538,0.0337,101.1227,108.1849,108.1849,101.1227,108.1849,101.1227,108.1849,0.8398,0,0.8397,0.8399,0.8398,0.8397,0.8398,0.8398,0.8398,0.2226,1e-04,0.2225,0.2226,0.2226,0.2225,0.2226,0.2225,0.2226,1.2624,1.5054,110.994,0.0764,111,100,122,2.7287,0.1304,0.9901,0.0106,0.3374,1.621,111.044,0.0758,111,100,122,2.1001,0.2517,0.9876,0.0041,0.9127,0.9333
"./SAT11/crafted/skvortsov/battleship/battleship-13-13-unsat.cnf",1,"clasp_2.0.R4092.crafted",169,1183,169,1183,0,0,0.1429,1,0,1,1,0,0.0211,1.0778,0.0118,0.0769,0.4101,0,0.8571,0.8571,0.0211,0,0.0211,0.0211,0,0.04,0,0.04,0.04,0,0.0101,0,0.0101,0.0101,0,0.8571,0.142,0,0.142,0.142,0.0377,1.0206,0.022,0.1319,0.4101,0.0653,0.3286,0.0127,0.0741,0.4101,2,0,2,2,0,4905.6667,0.0015,4897,4915,4915,4897,4915,4897,4905,55.5155,0.0369,52.6828,57.4435,57.4435,52.6828,57.4435,52.6828,56.4201,0.7234,1e-04,0.7232,0.7236,0.7235,0.7233,0.7234,0.7233,0.7234,0.0372,0.0014,0.0371,0.0373,0.0373,0.0371,0.0372,0.0372,0.0372,13.9373,0.0917,59.1344,0.1127,59,51,68,3.0163,0.1501,0.9764,0.0103,13.3747,0.0779,59.0252,0.1142,59,50,68,2.308,0.3014,0.974,0.0099,0.8087,0.849
"./SAT11/crafted/skvortsov/battleship/battleship-14-14-unsat.cnf",1,"none",196,1470,196,1470,0,0,0.1333,1,0,1,1,0,0.0184,1.1331,0.0102,0.0714,0.3927,0,0.8667,0.8667,0.0184,0,0.0184,0.0184,0,0.037,0,0.037,0.037,0,0.0088,0,0.0088,0.0088,0,0.8667,0.0959,0,0.0959,0.0959,0.033,1.0786,0.019,0.1238,0.3927,0.0612,0.3222,0.0109,0.069,0.3927,3,0,3,3,0,4903.75,9e-04,4900,4911,4911,4900,4911,4901,4903,66.9447,0.1196,53.9894,73.796,73.796,53.9894,73.796,66.6082,73.3852,0.7362,1e-04,0.736,0.7364,0.7363,0.7361,0.7363,0.7361,0.7362,0.0334,0.0013,0.0333,0.0335,0.0335,0.0334,0.0334,0.0334,0.0334,13.4627,0.1603,71.3003,0.1001,71,62,80,3.2711,0.1328,0.9815,0.0176,12.9404,0.269,71.2738,0.1016,71,62,81,2.5351,0.2872,0.9794,0.0147,0.8186,0.8588
"./SAT11/crafted/skvortsov/battleship/battleship-14-26-sat.cnf",1,"sattime._2011.03.02",364,2562,364,2562,0,0,0.1421,1,0,1,1,0,0.0105,1.663,0.0055,0.0714,0.2701,0,0.9235,0.9235,0.0105,0,0.0105,0.0105,0,0.037,0,0.037,0.037,0,0.0051,0,0.0051,0.0051,0,0.9235,0.0981,0.0176,0.0972,0.1019,0.0202,1.5933,0.0109,0.1319,0.2701,0.0641,0.2613,0.0059,0.069,0.2701,3,0,3,3,0,4867.5,0.0071,4833,4902,4902,4833,4902,4833,4902,132.9823,0,132.982,132.9826,132.9826,132.982,132.9826,132.982,132.9826,0.8576,0,0.8576,0.8576,0.8576,0.8576,0.8576,0.8576,0.8576,0.2043,1e-04,0.2042,0.2043,0.2043,0.2042,0.2043,0.2043,0.2043,3.0925,3.0013,149.304,0.0655,149,137,162,3.1342,0.1236,0.9913,0.0154,2.0751,0.3998,149.361,0.0649,150,137,161,2.4473,0.2609,0.99,0.003,0.9133,0.9309
"./SAT11/crafted/skvortsov/battleship/battleship-14-27-sat.cnf",1,"sattime._2011.03.02",378,2653,378,2653,0,0,0.1425,1,0,1,1,0,0.0102,1.6999,0.0053,0.0714,0.2636,0,0.9261,0.9261,0.0102,0,0.0102,0.0102,0,0.037,0,0.037,0.037,0,0.0049,0,0.0049,0.0049,0,0.9261,0.0982,0.0166,0.0965,0.1014,0.0195,1.6291,0.0106,0.1323,0.2636,0.0643,0.2575,0.0057,0.069,0.2636,3,0,3,3,0,4870,0.007,4836,4904,4904,4836,4904,4836,4904,130.7841,0.0266,127.303,134.2651,134.2651,127.303,134.2651,127.303,134.2651,0.8577,0,0.8577,0.8577,0.8577,0.8577,0.8577,0.8577,0.8577,0.2046,1e-04,0.2046,0.2046,0.2046,0.2046,0.2046,0.2046,0.2046,2.3693,0.4158,155.584,0.0654,156,143,168,3.109,0.1238,0.9918,0.0029,1.4099,0.5712,155.788,0.0634,156,143,168,2.4353,0.2558,0.9903,0.0028,0.9182,0.9355
"./SAT11/crafted/skvortsov/battleship/battleship-15-15-unsat.cnf",1,"none",225,1800,225,1800,0,0,0.125,1,0,1,1,0,0.0161,1.186,0.0089,0.0667,0.3768,0,0.875,0.875,0.0161,0,0.0161,0.0161,0,0.0345,0,0.0345,0.0345,0,0.0078,0,0.0078,0.0078,0,0.875,0.0889,0,0.0889,0.0889,0.0292,1.1339,0.0167,0.1167,0.3768,0.0576,0.3158,0.0095,0.0645,0.3768,3,0,3,3,0,4900,0.0047,4876,4931,4931,4876,4931,4876,4893,76.9212,0.0641,72.2519,83.7463,83.7463,72.2519,83.7463,72.2519,74.7654,0.7476,2e-04,0.7473,0.7478,0.7478,0.7474,0.7477,0.7475,0.7476,0.0302,0.0018,0.0302,0.0304,0.0303,0.0302,0.0303,0.0302,0.0302,14.8967,0.078,83.2311,0.095,83,73,93,3.4182,0.1305,0.9817,0.0072,14.2288,0.0905,83.4249,0.0956,83,73,93,2.5406,0.3,0.98,0.0077,0.8259,0.8672
"./SAT11/crafted/skvortsov/battleship/battleship-15-29-sat.cnf",1,"sattime._2011.03.02",435,3270,435,3270,0,0,0.133,1,0,1,1,0,0.0089,1.7716,0.0046,0.0667,0.2505,0,0.9312,0.9312,0.0089,0,0.0089,0.0089,0,0.0345,0,0.0345,0.0345,0,0.0043,0,0.0043,0.0043,0,0.9312,0.0908,0.0185,0.0893,0.0936,0.0171,1.7035,0.0092,0.1242,0.2505,0.0604,0.2497,0.0049,0.0645,0.2505,3,0,3,3,0,4860.5,0.0055,4834,4887,4887,4834,4887,4834,4887,161.406,0.0206,158.0854,164.7266,164.7266,158.0854,164.7266,158.0854,164.7266,0.865,0,0.865,0.8651,0.8651,0.865,0.8651,0.865,0.865,0.1968,1e-04,0.1968,0.1969,0.1969,0.1968,0.1969,0.1968,0.1968,2.8741,2.8354,180.86,0.0602,181,167,194,3.2788,0.1244,0.9926,0.0278,1.955,0.4844,180.876,0.0593,181,167,194,2.5804,0.2639,0.9911,0.0025,0.9209,0.9367
"./SAT11/crafted/skvortsov/battleship/battleship-16-16-unsat.cnf",1,"none",256,2176,256,2176,0,0,0.1176,1,0,1,1,0,0.0142,1.2368,0.0078,0.0625,0.3622,0,0.8824,0.8824,0.0142,0,0.0142,0.0142,0,0.0323,0,0.0323,0.0323,0,0.0069,0,0.0069,0.0069,0,0.8824,0.085,0,0.085,0.085,0.026,1.1867,0.0147,0.1103,0.3622,0.0545,0.3095,0.0083,0.0606,0.3622,3,0,3,3,0,4891.6667,0.0037,4872,4916,4916,4872,4916,4872,4887,80.3554,0.0124,78.9748,81.2825,81.2825,78.9748,81.2825,78.9748,80.8087,0.7578,2e-04,0.7575,0.7581,0.758,0.7576,0.758,0.7577,0.7579,0.0275,0.0023,0.0274,0.0277,0.0276,0.0274,0.0276,0.0274,0.0275,15.9889,0.1419,95.7687,0.0854,96,85,106,3.5387,0.1383,0.9808,0.0073,16.5052,0.1163,95.801,0.0868,96,85,107,2.9757,0.2772,0.9818,0.0067,0.8331,0.8745
"./SAT11/crafted/skvortsov/battleship/battleship-16-31-sat.cnf",1,"sattime_2011.03.02",496,3976,496,3976,0,0,0.1247,1,0,1,1,0,0.0078,1.8405,0.004,0.0625,0.2389,0,0.9356,0.9356,0.0078,0,0.0078,0.0078,0,0.0323,0,0.0323,0.0323,0,0.0038,0,0.0038,0.0038,0,0.9356,0.0868,0.0159,0.0855,0.0893,0.0151,1.7748,0.008,0.117,0.2389,0.057,0.2426,0.0043,0.0606,0.2389,3,0,3,3,0,4872,0,4872,4872,4872,4872,4872,4872,4872,171.3169,0,171.3169,171.3169,171.3169,171.3169,171.3169,171.3169,171.3169,0.8716,0,0.8716,0.8717,0.8717,0.8716,0.8716,0.8716,0.8716,0.1897,2e-04,0.1897,0.1898,0.1898,0.1897,0.1898,0.1897,0.1897,3.6968,5.1193,208.578,0.0558,209,194,223,3.4461,0.1259,0.9928,0.0195,3.0186,6.5197,208.511,0.0592,209,194,223,2.6771,0.2809,0.9956,0.1437,0.9239,0.9393
"./SAT11/crafted/skvortsov/battleship/battleship-17-33-sat.cnf",1,"sattime_2011.03.02",561,4777,561,4777,0,0,0.1174,1,0,1,1,0,0.0069,1.907,0.0036,0.0588,0.2283,0,0.9395,0.9395,0.0069,0,0.0069,0.0069,0,0.0303,0,0.0303,0.0303,0,0.0033,0,0.0033,0.0033,0,0.9395,0.114,0.005,0.1139,0.1172,0.0134,1.8435,0.0071,0.1105,0.2283,0.0539,0.236,0.0038,0.0571,0.2283,2.9696,0.0578,2,3,0.136,4870,0,4870,4870,4870,4870,4870,4870,4870,140.109,0,140.109,140.109,140.109,140.109,140.109,140.109,140.109,0.8775,0,0.8774,0.8775,0.8775,0.8774,0.8775,0.8774,0.8775,0.1832,2e-04,0.1831,0.1832,0.1832,0.1831,0.1832,0.1832,0.1832,5.1343,0.2337,236.368,0.0549,236,221,252,3.6752,0.1186,0.9934,0.0019,5.0373,0.237,236.024,0.0494,236,221,251,3.1604,0.2356,0.9932,0.0018,0.9257,0.9402
"./SAT11/crafted/skvortsov/battleship/battleship-24-57-sat.cnf",1,"sathys_2011.04.01",1368,16308,1368,16308,0,0,0.0839,1,0,1,1,0,0.0029,2.575,0.0015,0.0417,0.1528,0,0.9647,0.9647,0.0029,0,0.0029,0.0029,0,0.0213,0,0.0213,0.0213,0,0.0014,0,0.0014,0.0014,0,0.9647,0.0452,0.0115,0.0442,0.0461,0.0057,2.5174,0.0029,0.0804,0.1528,0.0394,0.1839,0.0015,0.0408,0.1528,3,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0.9062,1e-04,0.9062,0.9064,0.9063,0.9062,0.9063,0.9062,0.9062,0.1491,5e-04,0.1489,0.1491,0.1491,0.1489,0.1491,0.149,0.1491,0.439,10.5967,615.206,0.0515,616,593,640,5.0102,0.084,0.9971,0.0015,0.0864,3.9083,616.667,0.0316,617,592,641,4.2083,0.1733,0.997,6e-04,0.9549,0.9664
"./SAT11/crafted/skvortsov/battleship/battleship-5-8-unsat.cnf",1,"PicoSAT_941",40,105,40,105,0,0,0.381,1,0,1,1,0,0.0857,0.7454,0.05,0.2,0.5489,0,0.7619,0.7619,0.0857,0,0.0857,0.0857,0,0.1111,0,0.1111,0.1111,0,0.0381,0,0.0381,0.0381,0,0.7619,0.3429,0.0481,0.3333,0.3714,0.1451,0.6149,0.0952,0.3048,0.5489,0.153,0.3375,0.0606,0.1818,0.5489,2.7436,0.1592,2,3,0.5693,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0.6799,0,0.6799,0.6799,0.6799,0.6799,0.6799,0.6799,0.6799,0.3148,1e-04,0.3148,0.3149,0.3149,0.3148,0.3148,0.3148,0.3148,1.326,0.3624,11.4937,0.2618,11,8,15,1.5092,0.1919,0.9666,0.0499,1.0035,0.0589,11.4864,0.2634,11,8,15,1.3375,0.2567,0.9475,0.0549,0.8885,0.9249
"./SAT11/crafted/skvortsov/battleship/battleship-6-9-unsat.cnf",1,"Sol_2011.04.04",54,171,54,171,0,0,0.3158,1,0,1,1,0,0.0643,0.8215,0.037,0.1667,0.5147,0,0.7895,0.7895,0.0643,0,0.0643,0.0643,0,0.0909,0,0.0909,0.0909,0,0.0292,0,0.0292,0.0292,0,0.7895,0.2086,0.0418,0.193,0.2222,0.1108,0.71,0.0702,0.2632,0.5147,0.1306,0.3445,0.0435,0.1538,0.5147,3,0,3,3,0,4782.25,0.0048,4751,4806,4806,4751,4806,4769,4803,21.4455,0.0261,20.5043,21.8841,21.8841,20.5043,21.8841,21.5338,21.8597,0.7156,0,0.7155,0.7157,0.7156,0.7155,0.7156,0.7156,0.7156,0.2859,2e-04,0.2858,0.286,0.286,0.2858,0.2859,0.2859,0.2859,1.6779,0.3675,16.9958,0.2123,17,12,22,1.7588,0.1684,0.9789,0.0313,1.0574,0.2212,16.9353,0.2158,17,12,22,1.4117,0.2826,0.9576,0.0358,0.8619,0.9023
"./SAT11/crafted/skvortsov/battleship/battleship-7-12-unsat.cnf",1,"Sol_2011.04.04",84,301,84,301,0,0,0.2791,1,0,1,1,0,0.0432,1.0176,0.0238,0.1429,0.4443,0,0.8372,0.8372,0.0432,0,0.0432,0.0432,0,0.0769,0,0.0769,0.0769,0,0.0199,0,0.0199,0.0199,0,0.8372,0.2591,0.0287,0.2558,0.2757,0.0779,0.9134,0.0465,0.2392,0.4443,0.1161,0.3369,0.0274,0.1333,0.4443,2.8313,0.1323,2,3,0.4538,4854.6,0.0032,4836,4879,4879,4836,4863,4841,4854,35.7445,0.0312,33.9456,37.273,37.273,33.9456,36.3196,35.2235,35.9611,0.757,0,0.7569,0.757,0.757,0.7569,0.757,0.7569,0.7569,0.2851,0,0.2851,0.2851,0.2851,0.2851,0.2851,0.2851,0.2851,1.8401,0.3367,28.0425,0.1643,28,22,34,1.9216,0.1414,0.9798,0.0181,1.0747,0.2446,28.1224,0.1649,28,22,34,1.4979,0.2619,0.9668,0.0187,0.8838,0.9116
"./SAT11/crafted/skvortsov/battleship/battleship-7-13-sat.cnf",1,"sattime._2011.03.02",91,322,91,322,0,0,0.2826,1,0,1,1,0,0.0404,1.0754,0.022,0.1429,0.4265,0,0.8478,0.8478,0.0404,0,0.0404,0.0404,0,0.0769,0,0.0769,0.0769,0,0.0186,0,0.0186,0.0186,0,0.8478,0.2623,0.0189,0.2609,0.2795,0.0737,0.9684,0.0435,0.2422,0.4265,0.1169,0.3319,0.0253,0.1333,0.4265,2.9222,0.0916,2,3,0.2733,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0.7592,0,0.7592,0.7592,0.7592,0.7592,0.7592,0.7592,0.7592,0.2892,0,0.2891,0.2892,0.2892,0.2891,0.2892,0.2892,0.2892,1.2777,0.5283,31.0879,0.1539,31,25,37,1.8976,0.1453,0.9808,0.0172,0.291,1.588,31.2061,0.1549,31,25,37,1.4121,0.283,0.9661,0.018,0.9008,0.9324
"./SAT11/crafted/skvortsov/battleship/battleship-8-15-sat.cnf",1,"sattime._2011.03.02",120,484,120,484,0,0,0.2479,1,0,1,1,0,0.031,1.1841,0.0167,0.125,0.3906,0,0.8678,0.8678,0.031,0,0.031,0.031,0,0.0667,0,0.0667,0.0667,0,0.0145,0,0.0145,0.0145,0,0.8678,0.1784,0.0304,0.1736,0.188,0.0574,1.0857,0.0331,0.2169,0.3906,0.1046,0.3199,0.0189,0.1176,0.3906,3,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0.7821,0,0.7821,0.7821,0.7821,0.7821,0.7821,0.7821,0.7821,0.2725,0,0.2724,0.2725,0.2725,0.2725,0.2725,0.2725,0.2725,1.314,0.5661,43.3638,0.1274,43,36,50,2.0881,0.1398,0.9862,0.0113,0.4731,1.1215,43.4035,0.127,43,36,50,1.6108,0.2844,0.978,0.0115,0.9026,0.9352
"./SAT11/crafted/skvortsov/battleship/battleship-9-17-sat.cnf",1,"none",153,693,153,693,0,0,0.2208,1,0,1,1,0,0.0245,1.284,0.0131,0.1111,0.3607,0,0.8831,0.8831,0.0245,0,0.0245,0.0245,0,0.0588,0,0.0588,0.0588,0,0.0115,0,0.0115,0.0115,0,0.8831,0.1759,0.0242,0.1732,0.1847,0.0459,1.1925,0.026,0.1962,0.3607,0.0947,0.3077,0.0146,0.1053,0.3607,3,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0.8006,0,0.8006,0.8006,0.8006,0.8006,0.8006,0.8006,0.8006,0.2577,0,0.2577,0.2577,0.2577,0.2577,0.2577,0.2577,0.2577,1.8504,0.4184,56.8132,0.1097,57,49,65,2.2866,0.1314,0.9872,0.0083,0.8798,0.6686,56.8875,0.1089,57,49,65,1.7426,0.2703,0.9808,0.0083,0.9026,0.9273
"./SAT11/crafted/spence/sgen/sgen3-n120-s12930489-sat.cnf",1,"sattime._2011.03.02",120,288,120,288,0,0,0.4167,0.4764,0.9858,0,1,1.1149,0.0208,0.4472,0.0167,0.0417,0.4506,0,0.8333,0.8333,0.0208,0,0.0208,0.0208,0,0.3333,0,0.3333,0.3333,0,0.012,0.3372,0,0.0208,1.4669,0.6389,0.0411,0.0315,0.0382,0.0417,0.0231,0.8944,0.0139,0.0694,0.4506,0.3492,0.3252,0.0952,0.4,0.4506,4,0,4,4,0,4613.2,0.0062,4568,4647,4647,4568,4641,4604,4606,24.8988,0.0245,24.0707,25.9081,25.9081,24.0707,25.1276,24.614,24.7736,0.5832,1e-04,0.5831,0.5833,0.5832,0.5831,0.5832,0.5831,0.5832,0.2295,1e-04,0.2294,0.2295,0.2295,0.2295,0.2295,0.2295,0.2295,4.6461,0.2849,31.6776,0.1567,32,25,38,1.2365,0.2105,0.9392,0.0377,2.6744,0.3051,31.5942,0.1578,32,25,38,0.7297,0.3718,0.9062,0.0389,0.7127,0.8495
"./SAT11/crafted/spence/sgen/sgen3-n120-s55656844-unsat.cnf",1,"none",121,252,121,252,0,0,0.4802,0.4947,0.5772,0.3333,1,0.5534,0.0248,0,0.0248,0.0248,0,0,0,1,0.0248,0.1322,0.0238,0.0357,0.2852,0.0275,0.0918,0,0.3333,0.2852,0.013,0.4427,0,0.0317,1.6763,0.5238,0.0241,0.0453,0.0238,0.0278,0.0371,0.1038,0.0357,0.0476,0.365,0.1945,0.0768,0.1538,0.2,0.365,5.9417,0.0394,5,6,0.2224,4144.8889,0.0409,3905,4532,4532,3905,4203,4057,4119,19.6559,0.0574,17.6681,22.2048,22.2048,17.6681,19.79,19.3295,19.4562,0.0369,1.5509,0,0.2164,0.0772,0.0014,0.0581,0.0045,0.0125,0.3159,0.0503,0.264,0.3248,0.3241,0.3079,0.3231,0.3157,0.3223,2.6165,0.5299,17.6004,0.1665,18,14,21,0.7945,0.3085,0.8466,0.0859,1.0951,0.294,17.5398,0.164,18,14,21,0.4813,0.3615,0.8012,0.0752,0.8131,0.9599
"./SAT11/crafted/spence/sgen/sgen3-n130-s30940966-unsat.cnf",1,"none",133,276,133,276,0,0,0.4819,0.4855,0.5763,0.3333,1,0.5372,0.0226,0,0.0226,0.0226,0,0,0,1,0.0226,0.1401,0.0217,0.0435,0.2712,0.0201,0.0793,0,0.3333,0.2274,0.0114,0.4509,0,0.029,1.7094,0.5072,0.022,0.0479,0.0217,0.029,0.034,0.1076,0.0326,0.0435,0.3872,0.194,0.0801,0.1538,0.2,0.3872,6.0152,0.0288,5,7,0.1528,4189.6667,0.0304,3960,4471,4471,3960,4227,4163,4174,21.2634,0.0667,19.0545,23.7133,23.7133,19.0545,21.6007,20.0839,21.2852,0.0353,1.7615,0,0.262,0.077,0.001,0.0234,0.0033,0.0146,0.3168,0.0561,0.2205,0.325,0.3246,0.3122,0.3241,0.3201,0.3227,2.7011,0.5343,19.2264,0.1578,19,15,23,0.7671,0.3043,0.8428,0.0826,1.1078,0.3247,19.1935,0.1582,19,15,23,0.4579,0.3615,0.8003,0.0721,0.8016,0.9599
"./SAT11/crafted/spence/sgen/sgen3-n140-s18527668-sat.cnf",1,"sattime_2011.03.02",140,336,140,336,0,0,0.4167,0.494,0.9534,0,1,1.1056,0.0179,0.4472,0.0143,0.0357,0.4506,0,0.8333,0.8333,0.0179,0,0.0179,0.0179,0,0.3333,0,0.3333,0.3333,0,0.01,0.3118,0,0.0149,1.2016,0.6756,0.0355,0.0235,0.0327,0.0357,0.0198,0.8944,0.0119,0.0595,0.4506,0.3492,0.3252,0.0952,0.4,0.4506,4.0432,0.0503,4,5,0.1779,4622,0.0083,4581,4668,4668,4581,4667,4586,4608,27.8586,0.0503,25.7552,29.8271,29.8271,25.7552,28.8378,27.1177,27.7551,0.5832,1e-04,0.5831,0.5833,0.5832,0.5831,0.5832,0.5831,0.5832,0.2295,1e-04,0.2294,0.2295,0.2295,0.2295,0.2295,0.2295,0.2295,5.2772,0.2679,36.6634,0.1455,37,30,44,1.1919,0.2078,0.9362,0.0358,3.0262,0.2802,36.6362,0.145,37,30,44,0.6773,0.3604,0.9046,0.0353,0.6989,0.8357
"./SAT11/crafted/spence/sgen/sgen3-n140-s20078956-unsat.cnf",1,"none",141,292,141,292,0,0,0.4829,0.4886,0.5767,0.3333,1,0.5427,0.0213,0,0.0213,0.0213,0,0,0,1,0.0213,0.124,0.0205,0.0308,0.256,0.0236,0.0856,0,0.3333,0.256,0.0107,0.4708,0,0.0205,1.6295,0.5034,0.0208,0.0423,0.0205,0.024,0.0319,0.0979,0.0308,0.0411,0.3311,0.1953,0.0718,0.1538,0.2,0.3311,6,0,6,6,0,3987,0.0719,3652,4604,4604,3652,4018,3820,3895,20.2516,0.1197,18.0832,26.0189,26.0189,18.0832,19.9514,18.8597,19.2993,0.0326,1.6665,1e-04,0.2167,0.0759,7e-04,0.0202,0.003,0.0113,0.3175,0.0473,0.2644,0.3255,0.3247,0.3138,0.3242,0.3166,0.3229,2.6965,0.5425,20.269,0.155,20,16,24,0.746,0.2985,0.8394,0.0808,1.1037,0.3053,20.3158,0.1538,20,16,24,0.4445,0.3521,0.7992,0.0694,0.8046,0.9605
"./SAT11/crafted/spence/sgen/sgen3-n150-s89334302-unsat.cnf",1,"none",153,316,153,316,0,0,0.4842,0.5021,0.5773,0.3333,1,0.5658,0.0196,0,0.0196,0.0196,0,0,0,1,0.0196,0.1197,0.019,0.0285,0.2415,0.0218,0.0824,0,0.3333,0.2415,0.0098,0.4893,0,0.019,1.6358,0.5,0.0192,0.0407,0.019,0.0222,0.0294,0.0947,0.0285,0.038,0.3138,0.1956,0.0692,0.1538,0.2,0.3138,6.0132,0.019,6,7,0.0701,4020.6667,0.0507,3843,4501,4501,3843,4111,3883,3925,21.841,0.0662,20.31,25.0658,25.0658,20.31,21.7552,21.1119,21.351,0.031,1.682,1e-04,0.2138,0.0654,0.0012,0.0314,0.0033,0.0121,0.3183,0.0449,0.2649,0.3256,0.3251,0.3147,0.3246,0.317,0.3231,2.7662,0.5482,21.8971,0.1487,22,18,26,0.7227,0.2914,0.836,0.077,1.1066,0.3165,21.9214,0.1496,22,18,26,0.426,0.3453,0.797,0.0674,0.799,0.9613
"./SAT11/crafted/spence/sgen/sgen3-n160-s40283905-sat.cnf",1,"sattime._2011.03.02",160,384,160,384,0,0,0.4167,0.5302,0.8849,0,1,1.108,0.0156,0.4472,0.0125,0.0313,0.4506,0,0.8333,0.8333,0.0156,0,0.0156,0.0156,0,0.3333,0,0.3333,0.3333,0,0.0085,0.3902,0,0.0156,1.4333,0.6484,0.031,0.0252,0.0286,0.0313,0.0174,0.8944,0.0104,0.0521,0.4506,0.3492,0.3252,0.0952,0.4,0.4506,4.1321,0.0819,4,5,0.3903,4590.1667,0.0066,4527,4626,4626,4527,4606,4593,4595,30.3632,0.0443,29.0705,33.1963,33.1963,29.0705,30.3993,29.3702,30.1183,0.5832,1e-04,0.5831,0.5833,0.5832,0.5831,0.5832,0.5832,0.5832,0.2295,1e-04,0.2294,0.2295,0.2295,0.2295,0.2295,0.2295,0.2295,5.8605,0.2577,41.6923,0.1367,42,34,49,1.1568,0.2063,0.9343,0.0333,3.377,0.2689,41.6908,0.1356,42,35,49,0.6404,0.3537,0.9032,0.0331,0.6879,0.8353
"./SAT11/crafted/spence/sgen/sgen3-n160-s73223945-unsat.cnf",1,"none",161,332,161,332,0,0,0.4849,0.496,0.5773,0.3333,1,0.5556,0.0186,0,0.0186,0.0186,0,0,0,1,0.0186,0.117,0.0181,0.0271,0.2327,0.0207,0.0805,0,0.3333,0.2327,0.0089,0.4354,0,0.0181,1.5744,0.4759,0.0183,0.0398,0.0181,0.0211,0.0279,0.0928,0.0271,0.0361,0.3034,0.1958,0.0676,0.1538,0.2,0.3034,6.05,0.036,6,7,0.1985,4035.3,0.0533,3836,4577,4577,3844,4082,3846,4032,22.3639,0.0685,19.7898,25.1844,25.1844,20.7867,23.0523,21.2003,22.9613,0.0298,1.7165,1e-04,0.2137,0.063,0.0014,0.0175,0.0031,0.011,0.3188,0.0438,0.2651,0.3257,0.3253,0.316,0.3247,0.3207,0.3233,2.7557,0.5571,22.9743,0.1452,23,19,27,0.7042,0.2929,0.8329,0.0749,1.1181,0.3315,23.0493,0.1468,23,19,27,0.4197,0.343,0.7979,0.0656,0.7928,0.9609
"./SAT11/crafted/spence/sgen/sgen3-n170-s56409011-unsat.cnf",1,"none",173,356,173,356,0,0,0.486,0.4888,0.5767,0.3333,1,0.543,0.0173,0,0.0173,0.0173,0,0,0,1,0.0173,0.1134,0.0169,0.0253,0.2209,0.0193,0.0778,0,0.3333,0.2209,0.0085,0.4223,0,0.0169,1.5863,0.4888,0.017,0.0385,0.0169,0.0197,0.026,0.0901,0.0253,0.0337,0.2891,0.1961,0.0654,0.1538,0.2,0.2891,6.2326,0.0678,6,7,0.5423,3988.2222,0.0666,3552,4478,4478,3552,4077,3934,4022,23.4383,0.0929,21.4828,27.2694,27.2694,21.4828,23.7839,21.7369,22.594,0.0281,1.7821,0,0.2153,0.0678,8e-04,0.0179,0.0026,0.0107,0.3193,0.0432,0.2645,0.3257,0.3253,0.3145,0.325,0.3217,0.3236,2.7912,0.5579,24.6797,0.1402,25,20,29,0.6854,0.279,0.8305,0.0719,1.1161,0.3258,24.6406,0.1391,25,20,29,0.4058,0.3386,0.7969,0.0619,0.7878,0.9625
"./SAT11/crafted/spence/sgen/sgen3-n180-s33098896-unsat.cnf",1,"none",181,372,181,372,0,0,0.4866,0.5,0.5774,0.3333,1,0.5623,0.0166,0,0.0166,0.0166,0,0,0,1,0.0166,0.1112,0.0161,0.0242,0.2137,0.0184,0.0762,0,0.3333,0.2137,0.0089,0.4445,0,0.0215,1.6637,0.5376,0.0163,0.0377,0.0161,0.0188,0.0248,0.0884,0.0242,0.0323,0.2803,0.1963,0.064,0.1538,0.2,0.2803,6.3556,0.0753,6,7,0.6508,3858.2,0.0726,3549,4541,4541,3551,3899,3690,3831,24.8743,0.1297,22.1561,31.4966,31.4966,22.4748,24.5514,22.5579,23.7544,0.0271,1.8056,0,0.2129,0.0642,9e-04,0.0171,0.0027,0.0098,0.3198,0.0418,0.2653,0.3262,0.3257,0.3162,0.3253,0.3217,0.3238,2.7727,0.573,25.7324,0.1362,26,21,30,0.6674,0.2773,0.8279,0.0693,1.1284,0.3397,25.7937,0.1389,26,21,30,0.3967,0.3304,0.7968,0.0621,0.7838,0.9624
"./SAT11/crafted/spence/sgen/sgen3-n180-s34713902-sat.cnf",1,"sattime._2011.03.02",180,432,180,432,0,0,0.4167,0.438,1.067,0,1,1.0976,0.0139,0.4472,0.0111,0.0278,0.4506,0,0.8333,0.8333,0.0139,0,0.0139,0.0139,0,0.3333,0,0.3333,0.3333,0,0.0077,0.3222,0,0.0116,1.2514,0.6713,0.0276,0.0192,0.0255,0.0278,0.0154,0.8944,0.0093,0.0463,0.4506,0.3492,0.3252,0.0952,0.4,0.4506,4.1899,0.0936,4,5,0.4861,4535.1667,0.0066,4484,4579,4579,4484,4553,4514,4541,33.3541,0.0728,29.6164,37.3144,37.3144,29.6164,35.2104,32.0081,33.3253,0.5832,1e-04,0.5831,0.5833,0.5832,0.5831,0.5832,0.5832,0.5832,0.2295,1e-04,0.2294,0.2295,0.2295,0.2295,0.2295,0.2295,0.2295,6.4189,0.2429,46.8352,0.1288,47,39,55,1.1278,0.2039,0.9326,0.0313,3.708,0.2557,46.8335,0.1282,47,39,55,0.6079,0.3453,0.903,0.0309,0.6788,0.8349
"./SAT11/crafted/spence/sgen/sgen3-n190-s29985700-unsat.cnf",1,"none",193,396,193,396,0,0,0.4874,0.4832,0.5759,0.3333,1,0.5329,0.0155,0,0.0155,0.0155,0,0,0,1,0.0155,0.1189,0.0152,0.0303,0.2047,0.0138,0.0664,0,0.3333,0.1725,0.0078,0.5583,0,0.0303,1.7831,0.5,0.0153,0.0403,0.0152,0.0202,0.0234,0.093,0.0227,0.0303,0.3046,0.1958,0.0678,0.1538,0.2,0.3046,6.4583,0.0772,6,7,0.6897,4026.2222,0.0449,3820,4449,4449,3820,4072,3946,3990,27.4694,0.0861,24.444,30.862,30.862,24.444,29.3943,25.0828,27.5068,0.0262,2.037,0,0.2597,0.0745,7e-04,0.0173,0.0024,0.0082,0.3201,0.047,0.2214,0.3263,0.3259,0.315,0.3256,0.3229,0.3241,2.807,0.5794,27.3736,0.1334,27,23,32,0.6532,0.2737,0.8253,0.0682,1.1276,0.3425,27.3878,0.1327,27,23,32,0.3838,0.3216,0.7961,0.0587,0.7821,0.9633
"./SAT11/crafted/spence/sgen/sgen3-n200-s00813792-unsat.cnf",1,"none",201,412,201,412,0,0,0.4879,0.5032,0.5773,0.3333,1,0.5676,0.0149,0,0.0149,0.0149,0,0,0,1,0.0149,0.1061,0.0146,0.0218,0.1978,0.0166,0.0725,0,0.3333,0.1978,0.0073,0.4887,0,0.0146,1.6396,0.4879,0.0147,0.0359,0.0146,0.017,0.0224,0.0846,0.0218,0.0291,0.2609,0.1966,0.061,0.1538,0.2,0.2609,6.425,0.0769,6,7,0.6819,3874,0.0651,3598,4487,4487,3627,3950,3662,3922,25.6007,0.1083,22.4514,30.6715,30.6715,22.7554,26.0711,23.0262,25.5111,0.0246,1.9227,0,0.2147,0.0645,6e-04,0.0177,0.0016,0.0063,0.3205,0.0406,0.265,0.3265,0.326,0.3164,0.3256,0.3228,0.3243,2.7731,0.5719,28.4584,0.1326,28,24,33,0.6401,0.2656,0.8236,0.0657,1.127,0.3447,28.4205,0.1312,28,24,33,0.3764,0.3293,0.7949,0.0579,0.7796,0.9637
"./SAT11/crafted/spence/sgen/sgen3-n200-s39840374-sat.cnf",1,"sattime._2011.03.02",200,480,200,480,0,0,0.4167,0.4675,1.0005,0,1,1.1239,0.0125,0.4472,0.01,0.025,0.4506,0,0.8333,0.8333,0.0125,0,0.0125,0.0125,0,0.3333,0,0.3333,0.3333,0,0.0073,0.3081,0.0021,0.0125,1.3427,0.675,0.0249,0.0246,0.0208,0.025,0.0139,0.8944,0.0083,0.0417,0.4506,0.3492,0.3252,0.0952,0.4,0.4506,4.4774,0.1116,4,5,0.6921,4526.1667,0.0088,4481,4591,4591,4481,4558,4486,4536,36.3925,0.0733,32.4055,40.9846,40.9846,32.4055,38.0412,34.8915,36.5026,0.5832,1e-04,0.5831,0.5833,0.5832,0.5831,0.5832,0.5831,0.5832,0.2295,1e-04,0.2294,0.2295,0.2295,0.2295,0.2295,0.2295,0.2295,7.0228,0.2313,51.8443,0.1213,52,44,60,1.1006,0.2001,0.9311,0.0293,4.0352,0.2451,51.967,0.1226,52,44,60,0.5805,0.3483,0.9024,0.0294,0.6708,0.8324
"./SAT11/crafted/spence/sgen/sgen3-n220-s24359701-sat.cnf",1,"sattime._2011.03.02",220,528,220,528,0,0,0.4167,0.478,0.9821,0,1,1.1161,0.0114,0.4472,0.0091,0.0227,0.4506,0,0.8333,0.8333,0.0114,0,0.0114,0.0114,0,0.3333,0,0.3333,0.3333,0,0.0061,0.4266,0,0.0114,1.5657,0.6117,0.0226,0.0174,0.0208,0.0227,0.0126,0.8944,0.0076,0.0379,0.4506,0.3492,0.3252,0.0952,0.4,0.4506,4.6849,0.0992,4,5,0.6231,4477.5,0.0094,4435,4551,4551,4435,4516,4442,4466,36.9574,0.0767,32.4793,40.8083,40.8083,32.4793,39.8425,34.9356,37.4866,0.5832,1e-04,0.5831,0.5833,0.5832,0.5831,0.5832,0.5832,0.5832,0.2295,1e-04,0.2294,0.2295,0.2295,0.2295,0.2295,0.2295,0.2295,7.6201,0.221,56.948,0.1192,57,48,66,1.0796,0.199,0.9303,0.0284,4.3764,0.2379,56.9257,0.1175,57,48,66,0.556,0.3479,0.9018,0.028,0.6645,0.8368
"./SAT11/crafted/spence/sgen/sgen3-n240-s78945233-sat.cnf",1,"sattime._2011.03.02",240,576,240,576,0,0,0.4167,0.4764,0.9852,0,1,1.1174,0.0104,0.4472,0.0083,0.0208,0.4506,0,0.8333,0.8333,0.0104,0,0.0104,0.0104,0,0.3333,0,0.3333,0.3333,0,0.0058,0.3806,0,0.0087,1.4902,0.6406,0.0207,0.0182,0.0191,0.0208,0.0116,0.8944,0.0069,0.0347,0.4506,0.3492,0.3252,0.0952,0.4,0.4506,4.9331,0.0507,4,5,0.2457,4487.1667,0.0116,4422,4557,4557,4422,4536,4427,4514,41.3812,0.0982,36.883,48.069,48.069,36.883,45.4828,37.8544,40.7529,0.5832,1e-04,0.5831,0.5833,0.5832,0.5831,0.5832,0.5832,0.5832,0.2295,1e-04,0.2294,0.2295,0.2295,0.2295,0.2295,0.2295,0.2295,8.191,0.2183,61.9622,0.1129,62,53,71,1.0583,0.2009,0.9293,0.027,4.663,0.2324,61.9555,0.1142,62,53,71,0.5353,0.3431,0.9008,0.0273,0.6564,0.8159
"./SAT11/crafted/spence/sgen/sgen3-n260-s62321009-sat.cnf",1,"sattime_2011.03.02",260,624,260,624,0,0,0.4167,0.5237,0.8947,0,1,1.118,0.0096,0.4472,0.0077,0.0192,0.4506,0,0.8333,0.8333,0.0096,0,0.0096,0.0096,0,0.3333,0,0.3333,0.3333,0,0.0052,0.4023,0,0.008,1.4287,0.6298,0.0191,0.0213,0.0176,0.0192,0.0107,0.8944,0.0064,0.0321,0.4506,0.3492,0.3252,0.0952,0.4,0.4506,4.973,0.0326,4,5,0.1243,4432.3333,0.0087,4351,4466,4466,4351,4459,4430,4454,41.6567,0.0817,38.0401,46.649,46.649,38.0401,46.0446,38.8604,40.3032,0.5832,1e-04,0.5831,0.5833,0.5832,0.5831,0.5832,0.5832,0.5832,0.2295,1e-04,0.2294,0.2295,0.2295,0.2295,0.2295,0.2295,0.2295,8.7583,0.2081,67.086,0.1078,67,58,77,1.0406,0.1978,0.9285,0.0259,4.9794,0.2271,67.1823,0.1086,67,58,76,0.5184,0.3386,0.9009,0.0261,0.6511,0.8229
"./SAT11/crafted/spence/sgen/sgen3-n280-s93756482-sat.cnf",1,"sattime._2011.03.02",280,672,280,672,0,0,0.4167,0.4774,0.983,0,1,1.1186,0.0089,0.4472,0.0071,0.0179,0.4506,0,0.8333,0.8333,0.0089,0,0.0089,0.0089,0,0.3333,0,0.3333,0.3333,0,0.005,0.3449,0,0.0089,1.3778,0.6592,0.0178,0.0155,0.0164,0.0179,0.0099,0.8944,0.006,0.0298,0.4506,0.3492,0.3252,0.0952,0.4,0.4506,4.9964,0.012,4,5,0.0238,4365.5,0.0226,4159,4451,4451,4159,4436,4351,4421,44.5324,0.0757,41.6127,50.3828,50.3828,41.6127,47.878,41.9447,43.2627,0.5832,1e-04,0.583,0.5834,0.5832,0.5831,0.5832,0.5831,0.5832,0.2295,1e-04,0.2294,0.2295,0.2295,0.2295,0.2295,0.2295,0.2295,9.3642,0.1978,72.0714,0.1048,72,62,82,1.0231,0.1951,0.9277,0.0252,5.3078,0.2154,72.3167,0.1042,72,63,82,0.5007,0.3372,0.9006,0.0245,0.6446,0.8242
"./SAT11/crafted/spence/sgen/sgen3-n300-s12830984-sat.cnf",1,"sattime_2011.03.02",300,720,300,720,0,0,0.4167,0.4778,0.9873,0,1,1.0972,0.0083,0.4472,0.0067,0.0167,0.4506,0,0.8333,0.8333,0.0083,0,0.0083,0.0083,0,0.3333,0,0.3333,0.3333,0,0.0046,0.3554,0,0.0069,1.4065,0.6361,0.0165,0.0244,0.0153,0.0167,0.0093,0.8944,0.0056,0.0278,0.4506,0.3492,0.3252,0.0952,0.4,0.4506,5,0,5,5,0,4273.7143,0.045,3919,4432,4432,3919,4428,4038,4370,45.4856,0.0683,42.2709,50.4795,50.4795,42.2709,49.8403,42.2841,44.4574,0.5832,1e-04,0.5831,0.5834,0.5832,0.5831,0.5832,0.5832,0.5832,0.2295,1e-04,0.2294,0.2295,0.2295,0.2295,0.2295,0.2295,0.2295,9.9142,0.2404,77.3561,0.102,77,67,88,1.0144,0.197,0.9294,0.1074,5.5777,0.2379,77.3126,0.1007,77,68,87,0.4867,0.3442,0.9006,0.0248,0.6433,0.8281