@relation 'x'
@attribute 'instance_id' string
@attribute 'repetition' numeric
@attribute 'algorithm' {'CryptoMiniSat_Strange.Night2.st_fixed_','EBGlucose_1.0','glucose_2','glueminisat_2.2.5','Lingeling_587f_fixed_','minisathackcir_minisat_2011.05.13_simp_','minisathackcontrasat_2011.03.02','minisathackEBMiniSAT_2011.03.02','minisathackLR_GL_SHR_2011.03.02','minisathackMiniSAT_2.2.0.agile.26','minisathackminisat_psm_2011.04.01','minisathackreferenceminisat_2.2.0','MPhaseSAT64_2011.05.14_fixed_','none','QuteRSat_2011.05.12_fixed_','RestartSAT_B95','SAT09referencesolverprecosat_236'}
@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/industrial/aloul/Bart/bart17.shuffled.cnf",1,"RestartSAT_B95",231,1166,220,1155,0.05,0.0095,0.1905,0.4432,1.0462,0,1,1.3703,0.0175,1.0481,0.0091,0.1182,0.8259,0,0.7749,0.7749,0.0175,0.1178,0.0147,0.019,0.6474,0.1029,0.1403,0,0.2941,0.6474,0.0054,0.4211,0.0017,0.0095,2.0872,0.5844,0.0423,0.361,0.0182,0.0745,0.0334,1.0818,0.0182,0.2364,0.9977,0.1245,0.4562,0.0176,0.1818,1.9491,3.1553,0.1148,3,4,0.4317,4057,5e-04,4055,4059,4059,4055,4059,4055,4059,39.2767,0.0169,38.6123,39.9411,39.9411,38.6123,39.9411,38.6123,39.9411,0.794,0.0499,0.7187,0.8331,0.8328,0.7242,0.8285,0.7565,0.8159,0.2328,0.0761,0.2167,0.2661,0.2658,0.2186,0.2386,0.2199,0.227,0.4058,1.4052,82.3672,0.0891,82,73,92,2.1931,0.1157,0.9834,0.0055,1e-04,100,82.4129,0.0878,82,73,92,2.0855,0.1459,0.9816,0.0052,0.761,0.9521
"./SAT02/industrial/aloul/Homer/homer14.shuffled.cnf",1,"QuteRSat_2011.05.12_fixed_",300,2130,270,2100,0.1111,0.0143,0.1286,0.4431,1.0497,0,1,1.2279,0.0133,0.9353,0.0074,0.0667,0.5233,0,0.8086,0.8086,0.0133,0,0.0133,0.0133,0,0,0,0,0,0,0.0048,0.3148,0.0024,0.0095,2.1193,0.6348,0.0259,0.1702,0.0171,0.0371,0.0238,0.9289,0.0129,0.1157,0.7779,0.1157,0.3687,0.0201,0.1478,1.2322,3,0,3,3,0,4866.1667,0.0033,4845,4888,4888,4845,4881,4847,4870,33.8147,0.0078,33.3082,34.1414,34.1414,33.3082,34.0368,33.763,33.8331,0.7966,0.005,0.7857,0.8038,0.8016,0.7907,0.7993,0.7939,0.7975,0.0723,0.0366,0.0677,0.08,0.0755,0.0695,0.073,0.0703,0.072,10.034,0.267,106.41,0.0787,106,96,117,3.8738,0.0605,0.9995,0.0145,10.0861,0.581,106.338,0.0796,106,96,117,3.8846,0.0596,0.9991,0.0147,0.7351,0.8335
"./SAT02/industrial/aloul/Homer/homer16.shuffled.cnf",1,"QuteRSat_2011.05.12_fixed_",264,1476,240,1452,0.1,0.0165,0.1653,0.4517,1.0441,0,1,1.2617,0.0152,1.002,0.0083,0.0833,0.4937,0,0.8258,0.8258,0.0152,0,0.0152,0.0152,0,0,0,0,0,0,0.0051,0.3742,0.0021,0.0076,2.0668,0.6143,0.032,0.1844,0.0213,0.0434,0.0273,0.994,0.0145,0.1446,0.7469,0.1471,0.3603,0.0241,0.1818,1.1671,3,0,3,3,0,4763.8,0.0135,4698,4875,4875,4698,4787,4706,4753,31.2967,0.076,28.2622,35.423,35.423,28.2622,31.9826,30.3244,30.4915,0.8191,0.0129,0.7941,0.8306,0.8301,0.8078,0.8301,0.8082,0.8199,0.2074,0.0412,0.1982,0.2269,0.2164,0.1983,0.2162,0.1985,0.2069,2.0703,0.1332,94.8645,0.083,95,85,105,2.7551,0.0979,0.9926,0.0037,2,0,94.7617,0.0842,95,85,105,2.8484,0.0834,0.9924,0.0036,0.7808,0.8763
"./SAT02/industrial/aloul/Homer/homer17.shuffled.cnf",1,"CryptoMiniSat_Strange.Night2.st_fixed_",286,1742,260,1716,0.1,0.0152,0.1515,0.4359,1.0802,0,1,1.2462,0.014,1.0232,0.0077,0.0769,0.4981,0,0.8293,0.8293,0.014,0,0.014,0.014,0,0,0,0,0,0,0.0049,0.3535,0.0017,0.007,2.1507,0.6375,0.031,0.2204,0.0192,0.0472,0.0252,1.0149,0.0134,0.134,0.824,0.135,0.3756,0.0209,0.1733,1.4418,3,0,3,3,0,4834.2,0.0047,4806,4861,4861,4806,4858,4812,4834,34.2882,0.012,33.7347,35.0124,35.0124,33.7347,34.2557,34.1958,34.2425,0.8279,0.0137,0.7958,0.8383,0.8378,0.8089,0.8373,0.82,0.8295,0.1896,0.049,0.1811,0.2149,0.2047,0.1813,0.1962,0.1818,0.1884,4.042,0.051,103.517,0.0788,103,93,114,3.0998,0.0906,0.9956,0.0028,4,0,103.497,0.078,104,93,114,3.1828,0.0787,0.9955,0.0029,0.7743,0.8655
"./SAT02/industrial/biere/dinphil/dp04s04.shuffled.cnf",1,"RestartSAT_B95",1075,3152,231,1106,3.6537,1.8499,0.2089,0.4597,0.8211,0,1,1.5324,0.0134,0.4393,0.0087,0.0606,1.3249,0,0.3327,0.7667,0.0134,0.4636,0.0063,0.038,2.9065,0.1331,0.1177,0,0.5,2.8772,0.0064,0.4991,9e-04,0.0163,2.4488,0.5443,0.0127,0.3773,0.0045,0.0307,0.0211,0.4651,0.0054,0.0787,3.6059,0.1935,0.3117,0.0493,0.3939,3.1681,5.8478,0.1006,5,7,0.8826,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0.371,0.606,6e-04,0.8063,0.6623,0.0661,0.5703,0.1859,0.3608,0.0422,0.8239,2e-04,0.1317,0.091,0.0013,0.0707,0.0037,0.0407,9.6933,0.326,65.9097,0.0889,66,59,73,1.3321,0.1879,0.8997,0.0434,12.4303,0.2423,65.8507,0.0893,66,58,73,1.2264,0.2693,0.9161,0.0361,0.4398,0.9639
"./SAT02/industrial/biere/dinphil/dp04u03.shuffled.cnf",1,"minisathackcontrasat_2011.03.02",825,2411,164,787,4.0305,2.0635,0.2084,0.4764,0.7887,0,1,1.5565,0.019,0.417,0.0122,0.0732,1.3311,0,0.3215,0.7802,0.019,0.4553,0.0089,0.0457,2.9288,0.1566,0.1196,0,0.6364,3.0229,0.0082,0.5286,0.0013,0.0178,2.2939,0.5197,0.0176,0.3598,0.0064,0.0394,0.0296,0.4266,0.0076,0.0826,3.5827,0.2022,0.3136,0.064,0.4615,3.2124,5.3006,0.0938,4,6,0.7107,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0.3808,0.5909,0.0017,0.8616,0.6628,0.0659,0.5659,0.1626,0.4123,0.0444,0.8692,3e-04,0.1444,0.0983,0.0012,0.0676,0.004,0.041,8.5386,0.2819,46.5731,0.1051,47,40,53,1.4272,0.1851,0.9094,0.0443,9.5911,0.2415,46.5524,0.1043,47,40,53,1.2836,0.2797,0.9189,0.0407,0.4705,0.9373
"./SAT02/industrial/biere/dinphil/dp10s10.shuffled.cnf",1,"minisathackcir_minisat_2011.05.13_simp_",7759,23004,1840,8942,3.2168,1.5726,0.2058,0.4841,0.7865,0,1,1.4736,0.0016,0.4719,0.0011,0.0179,1.26,0,0.3337,0.8019,0.0016,0.5255,8e-04,0.0058,2.9554,0.1343,0.1031,0,0.5385,2.931,8e-04,0.5758,1e-04,0.0038,2.4762,0.5337,0.0017,0.5183,6e-04,0.0086,0.0027,0.5248,7e-04,0.023,3.68,0.184,0.316,0.0104,0.4583,3.1487,7.7395,0.0911,5,9,1.0656,2494.25,0.2815,1419,3223,3223,1419,3223,2332,3003,39.7317,0.2129,30.389,52.9949,52.9949,30.389,52.9949,35.014,40.5288,0.4127,0.5477,0.0012,0.9619,0.6805,0.0716,0.6035,0.2135,0.4483,0.0415,0.8668,0,0.1994,0.0908,0.0013,0.0676,0.0035,0.0378,60.6527,0.6313,527.891,0.0624,528,508,550,0.9624,0.2962,0.8845,0.0718,100.329,0.1009,526.527,0.0519,527,506,549,0.7852,0.2463,0.9087,0.0176,0.2349,0.8381
"./SAT02/industrial/dellacherie/comb/comb1.shuffled.cnf",1,"CryptoMiniSat_Strange.Night2.st_fixed_",5910,16804,1686,8377,2.5053,1.006,0.2013,0.4833,0.7882,0,1,1.4047,0.0018,0.3644,0.0012,0.0166,1.1596,0,0.3049,0.7774,0.0018,0.4809,8e-04,0.0109,2.8824,0.0909,0.0928,0,0.8065,2.544,9e-04,0.533,2e-04,0.0048,2.2852,0.5288,0.0013,0.684,6e-04,0.0092,0.0026,0.6926,7e-04,0.0329,3.6495,0.1802,0.5331,0.027,0.5909,3.5334,6.6926,0.0886,5,8,0.8911,713.3158,0.6004,402,2398,967,410,727,503,589,25.9926,0.1396,21.6302,36.863,30.7381,22.519,28.1127,23.4669,24.6144,0.2971,0.7362,1e-04,1,0.6082,0.0387,0.4494,0.1008,0.2704,0.0309,1.1838,0,0.3276,0.0543,0.0052,0.0373,0.0127,0.0246,72.856,0.2429,377.139,0.0371,378,359,395,0.8478,0.2755,0.8635,0.0212,98.2168,0.0869,377.225,0.0355,377,359,394,0.4589,0.2612,0.8821,0.0139,0.1904,0.567
"./SAT02/industrial/goldberg/rand_net/rand_net60-25-10.shuffled.cnf",1,"QuteRSat_2011.05.12_fixed_",3000,8881,1766,6639,0.6988,0.3377,0.266,0.4762,0.8668,0,1,1.4349,0.0016,0.822,0.0011,0.0357,1.1908,0,0.4984,0.8412,0.0016,0.3301,0.0011,0.0048,2.3792,0.1515,0.1238,0,0.6667,2.5807,8e-04,0.3725,2e-04,0.0027,1.9923,0.582,0.0021,0.7973,8e-04,0.0099,0.0021,0.7443,6e-04,0.0354,3.0982,0.1834,0.396,0.0353,0.5934,3.1054,6.6737,0.0703,6,7,0.6316,2143.875,0.1847,1566,2669,2669,1566,2482,1855,2329,32.1773,0.2228,19.7045,41.868,41.868,19.7045,39.8433,27.4591,32.8255,0.4793,0.4649,7e-04,0.9963,0.7604,0.1461,0.639,0.3233,0.4975,0.0486,0.8914,0,0.2921,0.0945,0.0098,0.062,0.0208,0.0374,14.8987,0.8328,465.062,0.0327,465,446,482,0.625,0.2148,0.8271,0.0186,69.7816,0.4866,464.478,0.0537,465,443,485,0.5561,0.3464,0.874,0.1525,0.4576,0.9933
"./SAT02/industrial/goldberg/rand_net/rand_net60-30-1.shuffled.cnf",1,"QuteRSat_2011.05.12_fixed_",3600,10681,2246,8185,0.6028,0.3049,0.2744,0.4804,0.8706,0,1,1.3585,0.0012,0.7633,9e-04,0.028,1.0845,0,0.526,0.8696,0.0012,0.3073,9e-04,0.0034,2.1708,0.1438,0.107,0,0.6667,2.4104,6e-04,0.3068,1e-04,0.0017,1.8453,0.598,0.0015,0.8175,6e-04,0.0081,0.0015,0.835,6e-04,0.0338,2.8947,0.2051,0.3636,0.0465,0.5934,2.962,12.3599,0.0455,11,13,0.8293,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0.4699,0.4467,0.0012,0.999,0.7345,0.1681,0.6312,0.3234,0.4862,0.0426,0.8549,0,0.2851,0.0846,0.0102,0.0556,0.019,0.0331,49.9349,0.3685,587.874,0.0335,587,564,616,0.6854,0.2167,0.8334,0.0194,99.4209,0.6935,584.234,0.0588,586,562,609,0.4231,0.2539,0.8575,0.0516,0.5408,0.9726
"./SAT02/industrial/goldberg/rand_net/rand_net60-40-10.shuffled.cnf",1,"QuteRSat_2011.05.12_fixed_",4800,14281,2885,10774,0.6638,0.3255,0.2678,0.4756,0.8781,0,1,1.4245,0.001,0.6972,7e-04,0.0218,1.1485,0,0.5295,0.8528,0.001,0.3152,6e-04,0.003,2.2961,0.1511,0.1128,0,0.6667,2.502,5e-04,0.3447,1e-04,0.0022,1.9148,0.5972,0.0012,0.7172,5e-04,0.0066,0.0012,0.7011,4e-04,0.0236,3.0227,0.1853,0.3768,0.0416,0.5934,2.977,7.9962,0.0408,6,9,0.4106,1132.6,0.3135,621,1598,1598,633,1484,794,1235,29.2582,0.2024,20.7773,40.996,40.996,22.2866,32.5398,23.8426,30.3055,0.4864,0.4461,3e-04,0.9853,0.747,0.1599,0.6529,0.333,0.5113,0.0443,0.8343,0,0.2866,0.0881,0.0099,0.0586,0.0197,0.0356,37.3879,0.4946,764.939,0.0268,765,735,790,0.61,0.2044,0.8314,0.015,112.267,0.0879,767.31,0.0265,768,740,793,0.4472,0.2354,0.8662,0.0116,0.3992,0.9778
"./SAT02/industrial/goldberg/rand_net/rand_net70-60-10.shuffled.cnf",1,"QuteRSat_2011.05.12_fixed_",8400,25061,5192,19058,0.6179,0.315,0.2724,0.4819,0.868,0,1,1.3832,5e-04,0.6465,4e-04,0.0141,1.101,0,0.5332,0.8745,5e-04,0.3099,4e-04,0.0017,2.2089,0.148,0.1084,0,0.7,2.4188,3e-04,0.3286,1e-04,0.001,1.893,0.6047,6e-04,0.7376,3e-04,0.0043,6e-04,0.6641,3e-04,0.014,2.9317,0.1889,0.3628,0.0255,0.5934,2.8801,10.029,0.0349,9,11,0.4553,1107.4286,0.4757,451,2185,2185,451,1266,546,1124,36.4617,0.4866,19.6585,75.9501,75.9501,19.6585,42.5089,22.3205,30.2505,0.4842,0.4421,0,0.9782,0.7484,0.1672,0.6455,0.3395,0.5075,0.0424,0.8113,0,0.2921,0.0809,0.0097,0.0556,0.0194,0.0349,75.9259,0.3293,1368.59,0.0208,1372,1328,1404,0.5554,0.1995,0.8243,0.0114,206.485,0.069,1371.9,0.0197,1371,1335,1405,0.3646,0.2737,0.8594,0.0084,0.4046,0.98
"./SAT03/industrial/goldberg/hard_eq_check/c6288mul.miter.shuffled-as.sat03-346.cnf",1,"QuteRSat_2011.05.12_fixed_",9540,61421,9533,61414,7e-04,1e-04,0.1552,0.4632,0.7425,0,1,1.5058,4e-04,0.3995,2e-04,0.007,1.0591,0,0.2298,0.6932,4e-04,0.9052,2e-04,0.0052,2.5005,0.1149,0.0831,0,0.6667,2.6157,1e-04,0.8355,0,0.0022,2.4584,0.4618,2e-04,0.7514,1e-04,0.0016,9e-04,1.5093,1e-04,0.0069,3.7996,0.3443,0.2267,0.0961,0.6364,3.2731,9.3462,0.0789,7,10,1.019,482.7857,0.3352,36,651,608,239,595,456,534,27.7746,2.0317,5.2763,229.5278,35.6067,6.3203,16.0078,7.5597,11.2017,0.4882,0.3228,0,0.9545,0.7014,0.2694,0.5854,0.3692,0.4867,0.0243,1.057,0,0.3037,0.0472,0.0056,0.0343,0.0072,0.0193,515.417,2.4375,2267.75,0.3151,2469.5,2428,2488,0.8965,1.2592,0.9499,0.4702,580.188,0.0819,2470.94,0.0149,2479.5,2418,2506,0.3345,0.5621,0.8691,0.0059,0.0095,0.0681
"./SAT03/industrial/kukula/addm_bench/am_7_7.shuffled-as.sat03-363.cnf",1,"none",4264,14751,4165,14598,0.0238,0.0105,0.2853,0.5004,0.7271,0,1,1.0393,7e-04,0.4523,5e-04,0.0125,0.7084,0,0.282,0.9742,7e-04,0.1125,6e-04,0.0011,0.9491,0.0601,0.072,0,0.5,0.7916,4e-04,0.2728,1e-04,7e-04,1.7437,0.564,4e-04,0.9617,3e-04,0.0037,7e-04,0.4636,5e-04,0.0139,1.5036,0.3655,0.1273,0.0885,0.5905,2.4138,26.3427,0.1411,19,36,2.6507,805.6111,0.4526,199,1672,1499,294,949,579,772,21.9849,0.3888,2.5729,33.7338,32.555,5.2959,25.2997,21.4838,24.0126,0.2789,0.7427,1e-04,0.9492,0.5092,0.0455,0.4878,0.0908,0.3152,0.048,0.7538,0.0163,0.3288,0.0615,0.025,0.0596,0.0275,0.0442,154.786,0.6186,835.607,0.0221,836,812,860,0.4026,0.5562,0.7572,0.049,277.839,0.3139,828.911,0.0997,838,807,864,0.1499,1.6179,0.8112,0.1456,0.1021,0.4736
"./SAT03/industrial/li/li-exam/li-exam-61.shuffled-as.sat03-366.cnf",1,"none",28147,108436,22582,94840,0.2464,0.1434,0.2381,0.4539,0.7479,0,1,1.4056,2e-04,1.5604,1e-04,0.0074,1.0344,0,0.1065,0.6188,2e-04,0.3385,0,0.0023,2.101,0.128,0.2306,0,1,1.6689,1e-04,0.3725,0,1e-04,2.1351,0.454,6e-04,2.1719,0,0.0271,2e-04,0.7949,0,0.005,2.9804,0.369,0.2112,0.0096,0.7091,3.1053,13.6786,0.0519,13,15,1.0013,21.375,1.639,3,337,49,4,21,6,11,5.9673,0.5719,2.7143,18.5185,10.9375,3.3333,7.1538,3.5238,4.65,0.1683,0.7824,0,1,0.3373,0.0349,0.2749,0.0555,0.1253,0.067,0.7148,0.019,0.3205,0.1534,0.0267,0.0699,0.0318,0.052,258.667,0.2943,4075,0.0108,4093,4025,4093,0.3843,0.2279,0.7962,0.0031,804.6,0.0213,4060.7,0.0096,4068,3970,4106,0.1581,0.1575,0.8442,0.0023,0.0261,0.0479
"./SAT03/industrial/li/li-test4/li-test4-100.shuffled-as.sat03-370.cnf",1,"none",36809,142491,30365,128200,0.2122,0.1115,0.2369,0.4502,0.7466,0,1,1.4145,1e-04,2.0614,1e-04,0.0057,1.0452,0,0.1001,0.6173,1e-04,0.3477,1e-04,5e-04,2.2091,0.1611,0.2885,0,0.9,1.6395,0,0.3718,0,1e-04,2.1218,0.4518,9e-04,2.0692,0,0.011,2e-04,1.042,0,0.0039,3.0655,0.3574,0.2687,0.0069,0.5714,3.1342,14.5849,0.0523,13,16,1.059,45.4343,1.4117,1,336,140,1,63,3,16,5.0146,0.5014,2,18.006,7.9565,2.7619,5.8,3.5,4.4286,0.1927,0.9153,0,0.815,0.4703,0.0113,0.3485,0.0471,0.1201,0.1929,0.4013,0.0295,0.3924,0.3042,0.0935,0.2503,0.1291,0.1861,412,0.3467,5461,0.0174,5461,5394,5394,0.4032,0.2115,0.8042,0.0134,1069.33,0.0358,5437,0.0127,5452,5315,5483,0.1771,0.1962,0.8435,0.0056,0.0194,0.0419
"./SAT03/industrial/maris/CNF/gripper13u.shuffled-as.sat03-395.cnf",1,"Lingeling_587f_fixed_",4268,38965,3939,35941,0.0835,0.0841,0.1096,0.4863,1.0071,0,1,0.8746,6e-04,0.6965,5e-04,0.0071,0.3149,0,0.9227,0.9275,6e-04,0.7368,2e-04,0.0025,1.245,0.4788,0.2708,0,0.9403,1.6906,4e-04,0.9131,0,0.0019,2.6886,0.7119,8e-04,0.5319,2e-04,0.0029,4e-04,2.0602,1e-04,0.0169,1.8951,0.2662,0.4077,0.0034,0.5,1.8236,21.1439,0.1689,15,27,2.5394,446.6552,0.2717,189,824,587,284,506,358,441,20.1581,0.1696,14.1363,30.9565,24.3436,16.2008,21.4517,17.5682,20.3626,0.7755,0.2519,0.0093,1,0.962,0.433,0.9619,0.7504,0.7917,0.063,0.8169,0,0.3191,0.1016,0.0063,0.1011,0.0063,0.0768,23.9647,0.876,1272.76,0.0229,1276,1234,1308,2.3928,0.1994,0.9716,0.003,26.6496,0.2035,1279.3,0.0207,1279,1247,1310,0.8801,0.3216,0.9721,0.0018,0.1699,0.4767
"./SAT04/industrial/hoonsang/vis-bmc/all.used-as.sat04-986.cnf",1,"Lingeling_587f_fixed_",21317,63664,4683,24568,3.552,1.5913,0.1906,0.4795,0.6574,0,1,1.749,0.001,1.2677,4e-04,0.0064,1.3882,0,0.1409,0.7097,0.001,1.2868,3e-04,0.017,3.2335,0.3894,0.3252,0,0.9091,3.2571,4e-04,1.3956,1e-04,0.0053,2.5499,0.5882,0.0012,1.484,2e-04,0.0326,0.0051,1.0461,2e-04,0.0429,5.3325,0.1396,0.6694,0.0245,0.6505,3.0979,6.0613,0.0824,5,8,0.7323,1660.1111,0.2551,1217,2696,2696,1217,1652,1455,1517,24.6571,0.2116,19.244,36.3921,36.3921,19.244,26.7297,19.657,24.3065,0.2662,0.8637,0,1,0.6423,0.0837,0.3142,0.1524,0.1864,0.1264,0.8071,0,0.2721,0.2403,6e-04,0.2401,0.031,0.0763,186.358,0.4881,1440.45,0.1253,1458,1435,1491,1.0901,0.1509,0.9357,0.0747,189.06,0.0745,1464.11,0.0176,1466,1432,1497,0.5823,0.2373,0.9322,0.0061,0.1285,0.5344
"./SAT04/industrial/vangelder/cnf-color/myciel6-tr.used-as.sat04-320.cnf",1,"MPhaseSAT64_2011.05.14_fixed_",570,4625,404,3634,0.4109,0.2727,0.1112,0.9634,0.1301,0,1,0.3247,0.0067,0.7067,0.005,0.0248,0.5787,0,0.8536,0.8564,0.0067,0.4925,0.003,0.019,2.8547,0.2959,0.1777,0,1,1.9147,0.0042,0.5809,0,0.0129,2.9305,0.8536,0.0122,0.7071,0.0039,0.0526,0.0096,1.4427,0,0.0875,3.7086,0.1263,0.5329,0,0.4,2.9646,3.9727,0.076,3,5,0.3662,3714.4444,0.0726,3117,4177,4177,3117,3825,3683,3742,33.9205,0.1316,28.5494,42.4251,42.4251,28.5494,35.0701,31.5698,31.8119,0.6848,0.1449,0.1519,1,0.7546,0.5707,0.7378,0.6004,0.7047,0.0284,1.1553,0,0.1168,0.088,1e-04,0.0419,0.0015,0.0179,1.9512,6.1817,109.232,0.0736,109,99,119,4.4528,0.1795,0.9784,0.0197,4.2716,2.6724,109.444,0.0763,110,99,120,2.1647,0.4873,0.9826,0.0442,0.6376,0.875
"./SAT05/industrial/maris05/DriverLog/driverlog3_v01a.renamed-as.sat05-3963.cnf",1,"none",170,1559,95,769,0.7895,1.0273,0.1235,0.7688,0.4806,0,1,1.0863,0.026,0.4142,0.0211,0.0842,0.8424,0,0.7698,0.8544,0.026,0.4391,0.0065,0.065,3.1551,0.4735,0.2633,0,0.9111,3.4393,0.0166,0.3711,0.0052,0.0338,2.6889,0.7802,0.0254,0.4018,0.0065,0.0585,0.0256,0.9642,0.0026,0.1313,3.641,0.2456,0.5987,0.0317,0.8667,3.4051,5.5426,0.1106,4,7,0.9141,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0.7698,0.2653,0.0542,0.9944,0.9531,0.4131,0.8844,0.7472,0.8343,0.0566,1.0948,0,0.2823,0.1193,5e-04,0.0854,0.0099,0.0398,1.3982,1.3647,37.6498,0.1227,38,32,44,3.5334,0.1809,0.9785,0.0184,1.8594,0.9022,37.6774,0.123,38,32,44,3.3207,0.252,0.9816,0.0166,0.5723,0.9787
"./SAT05/industrial/maris05/Ferry/ferry5_ks99i.renamed-as.sat05-3994.cnf",1,"glueminisat_2.2.5",984,8702,634,8297,0.5521,0.0488,0.0764,0.9124,0.2487,0,1,0.5852,0.0037,0.6063,0.0032,0.0189,0.5405,0,0.8604,0.9472,0.0037,0.4162,0.0011,0.0059,2.4504,0.5945,0.217,0.0769,0.8857,2.5679,0.0027,0.4327,7e-04,0.0042,2.2116,0.8678,0.0041,0.4248,0.0012,0.0061,0.0028,1.7995,2e-04,0.0412,2.7778,0.171,0.6692,0.0058,0.7,2.5977,13.5592,0.174,10,18,2.1573,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0.8294,0.2588,0.0316,0.9941,0.9776,0.5067,0.9676,0.7438,0.9237,0.054,1.4095,0.001,0.2848,0.1944,0.0031,0.0611,0.0041,0.0145,4.6823,0.3726,250.54,0.0525,251,236,266,5.3353,0.119,0.9921,0.0023,4.5121,0.587,250.323,0.0524,250,236,266,3.6372,0.2807,0.9921,0.0027,0.3792,0.851
"./SAT05/industrial/maris05/Rovers/rovers1_ks99i.renamed-as.sat05-3971.cnf",1,"none",439,5423,147,1690,1.9864,2.2089,0.087,0.8901,0.2793,0,1,0.9256,0.019,0.8084,0.0136,0.1224,0.8357,0,0.816,0.8734,0.019,0.5241,0.003,0.0438,3.6566,0.5433,0.1983,0,0.9184,3.8051,0.0114,0.4105,0.0018,0.0284,3.077,0.832,0.0241,0.4914,0.003,0.0503,0.0226,1.3385,0.0012,0.245,3.9568,0.1682,0.6903,0.0101,0.6667,3.3351,4.1233,0.0797,4,5,0.3734,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0.7976,0.233,0.0815,0.9918,0.9629,0.5489,0.9304,0.727,0.8581,0.0399,1.6867,0,0.3971,0.1345,0.0018,0.0293,0.0064,0.0126,2.7871,0.4948,57.0721,0.0985,57,50,64,5.2488,0.1526,0.9911,0.0057,2.5471,0.4944,56.967,0.0984,57,50,64,4.2519,0.2974,0.9904,0.0056,0.4226,0.9506
"./SAT07/industrial/anbulagan/hard-sat/partial-10-13-s.cnf",1,"glucose_2",234673,1071339,113985,628528,1.0588,0.7045,0.1814,0.3934,0.9963,0,1,1.3871,0,0.4929,0,1e-04,1.0251,0,0.6156,0.8676,0,0.4687,0,1e-04,2.5645,0.2668,0.1616,0,0.7778,2.8563,0,0.4743,0,0,2.2754,0.7444,0,0.4661,0,1e-04,0,0.5813,0,1e-04,3.4571,0.1556,0.6122,0.0277,0.6071,3.1658,16.1176,0.02,16,17,0.3622,223,0,223,223,223,223,223,223,223,10.9058,0,10.9058,10.9058,10.9058,10.9058,10.9058,10.9058,10.9058,0.5754,0.5534,0,0.9456,0.8816,0.0715,0.8383,0.237,0.7477,0.0161,0.805,0,0.1302,0.0304,0,0.0256,0.0053,0.0167,91530,0,0,0,0,0,0,5.2248,0,4.4215,0,7723,0,40383,0,40383,40383,40383,2.0432,0,0.941,0,0.1836,0.6394
"./SAT07/industrial/anbulagan/hard-sat/partial-10-15-s.cnf",1,"EBGlucose_1.0",261020,1211106,124771,708950,1.092,0.7083,0.176,0.3878,0.9944,0,1,1.3813,0,0.4802,0,1e-04,1.0292,0,0.5987,0.8754,0,0.5067,0,1e-04,2.5698,0.2637,0.1634,0,0.8,2.898,0,0.5009,0,0,2.3488,0.7393,0,0.4918,0,1e-04,0,0.6203,0,1e-04,3.5066,0.1507,0.6427,0.0258,0.6071,3.1368,15.8,0.0343,15,17,0.8033,179,0,179,179,179,179,179,179,179,16.6592,0,16.6592,16.6592,16.6592,16.6592,16.6592,16.6592,16.6592,0.5666,0.5684,0,0.9453,0.8796,0.0695,0.837,0.2208,0.7406,0.0159,0.8263,0,0.1437,0.0309,0,0.0255,0.0047,0.0163,105596,0,0,0,0,0,0,5.636,0,4.8441,0,11640,0,44308,0,44308,44308,44308,2.3706,0,0.9667,0,0.2258,0.7698
"./SAT07/industrial/anbulagan/hard-sat/partial-10-17-s.cnf",1,"CryptoMiniSat_Strange.Night2.st_fixed_",298900,1409628,150440,868292,0.9868,0.6234,0.1733,0.3881,0.9831,0,1,1.3791,0,0.4804,0,1e-04,1.0373,0,0.585,0.8731,0,0.5454,0,0,2.569,0.2625,0.1638,0,0.8182,2.8426,0,0.5361,0,0,2.3141,0.732,0,0.5132,0,0,0,0.6556,0,1e-04,3.5189,0.1467,0.6637,0.0265,0.6071,3.1683,17.0833,0.0162,17,18,0.2868,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0.5835,0.5482,0,0.9626,0.8866,0.0713,0.8447,0.2751,0.7644,0.0156,0.7992,0,0.1345,0.0292,0,0.022,0.0072,0.0156,135715,0,0,0,0,0,0,6.2471,0,6.5861,0,20828,0,0,0,0,0,0,2.7114,0,1.1493,0,0.1809,0.7234
"./SAT07/industrial/anbulagan/hard-unsat/dated-10-17-u.cnf",1,"glucose_2",229544,1070757,62370,393294,2.6804,1.7225,0.1586,0.3463,1.0499,0,1,1.3052,0,0.3785,0,2e-04,0.9716,0,0.5673,0.9277,0,0.5536,0,1e-04,2.8662,0.2398,0.1585,0,0.8095,3.1308,0,0.5054,0,1e-04,2.6083,0.745,0,0.556,0,1e-04,1e-04,0.6541,0,2e-04,3.6289,0.1403,0.7181,0.0274,0.6111,3.2087,14.7273,0.0302,14,15,0.586,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0.5093,0.5996,0,0.9899,0.8473,0.0395,0.7834,0.1969,0.6145,0.0138,0.9258,0,0.1923,0.0304,0,0.0239,1e-04,0.0117,24324,0,0,0,0,0,0,4.3627,0,1.4868,0,1870.5,0.2302,20543.5,0.0022,20543.5,20512,20512,0.8846,0.2536,0.9024,0.0035,0.2241,0.643
"./SAT07/industrial/anbulagan/hard-unsat/dated-5-13-u.cnf",1,"QuteRSat_2011.05.12_fixed_",138808,626501,44244,248601,2.1373,1.5201,0.178,0.371,1.0416,0,1,1.3751,1e-04,0.4464,0,3e-04,1.0132,0,0.6153,0.892,1e-04,0.4451,0,2e-04,2.733,0.2499,0.1565,0,0.7647,3.0829,0,0.4571,0,1e-04,2.4536,0.7552,1e-04,0.4511,0,2e-04,1e-04,0.5633,0,3e-04,3.4839,0.1555,0.6131,0.0264,0.6111,3.2718,13.8491,0.0294,13,15,0.5456,235.5,0.4777,123,348,348,123,348,123,348,15.8863,0.8137,2.9593,28.8132,28.8132,2.9593,28.8132,2.9593,28.8132,0.5407,0.5609,0,0.9829,0.8601,0.0608,0.8079,0.2448,0.6568,0.0155,0.859,0,0.2053,0.0322,0,0.0259,0.0028,0.0137,2702,0,14736,0,14736,14736,14736,2.0106,0,0.9251,0,3297.5,1.4865,11185.8,0.6667,14864.5,0,14915,1.1747,1.1905,0.9897,0.2018,0.1634,0.6979
"./SAT07/industrial/anbulagan/hard-unsat/partial-5-11-u.cnf",1,"none",164158,730719,76968,408968,1.1328,0.7867,0.1882,0.3982,1.0067,0,1,1.3876,0,0.503,0,1e-04,1.0079,0,0.6423,0.8637,0,0.4219,0,1e-04,2.5265,0.2707,0.1602,0,0.7333,2.8848,0,0.4355,0,1e-04,2.2272,0.7554,0,0.4483,0,1e-04,0,0.5441,0,2e-04,3.3616,0.1636,0.5702,0.029,0.6071,3.1489,15.2963,0.0299,15,16,0.6077,389,0,389,389,389,389,389,389,389,9.5321,0,9.5321,9.5321,9.5321,9.5321,9.5321,9.5321,9.5321,0.5847,0.5241,0,0.9369,0.8792,0.0873,0.8341,0.2799,0.7515,0.0169,0.8542,0,0.1349,0.0325,1e-04,0.028,0.0041,0.0165,42886,0,0,0,0,0,0,4.0566,0,2.2188,0,5212.5,0.9788,27242,0.0059,27242,27129,27129,1.612,0.7339,0.9445,0.0662,0.2328,0.814
"./SAT07/industrial/anbulagan/hard-unsat/total-10-17-u.cnf",1,"glucose_2",293864,1370917,84762,534198,2.4669,1.5663,0.1587,0.3499,1.042,0,1,1.3132,0,0.3881,0,1e-04,0.9804,0,0.5664,0.9247,0,0.5463,0,1e-04,2.8343,0.2415,0.1606,0,0.8095,3.1,0,0.4992,0,1e-04,2.5859,0.7449,0,0.5453,0,1e-04,0,0.6506,0,2e-04,3.6256,0.1401,0.7159,0.0245,0.6111,3.2024,15.1304,0.0223,15,16,0.3872,33,0,33,33,33,33,33,33,33,2.9091,0,2.9091,2.9091,2.9091,2.9091,2.9091,2.9091,2.9091,0.5095,0.6106,0,0.9765,0.8521,0.0319,0.7928,0.1863,0.6216,0.0138,0.9155,0,0.2029,0.0305,0,0.0238,2e-04,0.0121,56891,0,0,0,0,0,0,5.3507,0,2.303,0,17810.5,1.1944,14097,1.4142,14097,0,0,2.6196,0.8837,1.1927,0.3407,0.1567,0.696
"./SAT07/industrial/anbulagan/medium-unsat/dated-5-11-u.cnf",1,"Lingeling_587f_fixed_",108786,482639,34133,185161,2.1871,1.6066,0.1843,0.3767,1.0463,0,1,1.3814,1e-04,0.4555,1e-04,4e-04,1.006,0,0.6356,0.8874,1e-04,0.4013,0,2e-04,2.6926,0.2522,0.1552,0,0.7333,3.0944,0,0.4279,0,2e-04,2.4032,0.7631,1e-04,0.4251,0,2e-04,1e-04,0.5276,0,4e-04,3.3948,0.1626,0.5766,0.027,0.6111,3.2498,13.411,0.0367,13,14,0.6772,209,0.7033,62,356,356,62,356,62,356,14.2579,0.7749,3.2097,25.3062,25.3062,3.2097,25.3062,3.2097,25.3062,0.5492,0.5442,0,0.9902,0.8596,0.067,0.8056,0.2641,0.6706,0.0158,0.8471,0,0.2037,0.0323,1e-04,0.0262,0.0037,0.0141,13755,1.4063,5704.5,1.4142,5704.5,0,0,3.0997,1.1196,2.6378,0.9458,813.4,0.4938,11368.8,0.0069,11420,11251,11423,0.5799,0.847,0.8909,0.013,0.1957,0.7053
"./SAT07/industrial/crypto/mizh-sha0-36-2.cnf",1,"RestartSAT_B95",50073,210239,20559,120270,1.4356,0.7481,0.1709,0.4093,0.4339,0,1,1.0356,2e-04,0.1863,1e-04,2e-04,0.9171,0,0.0805,0.5284,2e-04,0.5122,0,5e-04,2.5579,0.0189,0.0383,0,0.4,0.8229,1e-04,0.5011,0,2e-04,2.3065,0.5291,1e-04,0.5197,0,2e-04,3e-04,0.4275,0,7e-04,3.7305,0.2546,0.2818,0.0887,0.581,3.2828,13.3459,0.0356,13,14,0.6449,252.234,0.281,138,481,354,175,282,204,240,7.3816,0.2164,5.105,14.2681,8.4441,5.985,7.6623,6.5181,7.2167,0.0751,1.9036,0,0.7552,0.3649,0,0.0608,1e-04,0.0043,0.0308,0.7285,0,0.2106,0.0447,7e-04,0.0417,0.0222,0.0262,1628.67,0.42,3947.67,0.011,3946,3905,3946,0.8753,0.6976,0.8361,0.0634,1792.75,0.0202,3952.33,0.0101,3943.5,3906,3983,0.1879,0.2124,0.8429,0.0053,0.0353,0.1079
"./SAT07/industrial/fuhs/hard/AProVE07-01.cnf",1,"MPhaseSAT64_2011.05.14_fixed_",7502,28770,2673,15594,1.8066,0.8449,0.1714,0.3772,0.6862,0,1,1.6477,0.0013,0.6425,7e-04,0.0479,1.4537,0,0.1962,0.5657,0.0013,0.8846,4e-04,0.0149,3.2592,0.1197,0.1553,0,0.8333,2.7463,6e-04,0.8339,1e-04,0.0076,2.6461,0.509,0.0012,1.5383,3e-04,0.0108,0.0033,0.8222,4e-04,0.0413,4.7123,0.2117,0.4275,0.0113,0.6104,3.5707,7.6236,0.0832,6,9,0.9577,1587.5,0.2647,1065,2368,2368,1065,2098,1343,1526,34.9818,0.3983,20.1337,65.9261,65.9261,20.1337,40.3127,25.4213,37.987,0.271,0.9304,0,0.9401,0.6364,0.0099,0.4805,0.0496,0.1741,0.0535,0.9957,0,0.2424,0.1321,0.0028,0.0739,0.0163,0.0367,149.509,0.2061,596.809,0.0816,598,580,623,0.8838,0.2594,0.8643,0.0446,184.519,0.0638,599.278,0.029,598,577,621,0.4755,0.2537,0.879,0.0115,0.1209,0.5613
"./SAT07/industrial/fuhs/hard/AProVE07-03.cnf",1,"glueminisat_2.2.5",3114,10827,1304,7470,1.388,0.4494,0.1746,0.3854,0.5859,0,1,1.3002,0.0026,0.709,0.0015,0.0913,1.1176,0,0.1305,0.5653,0.0026,0.7872,9e-04,0.0236,2.8519,0.0696,0.0986,0,0.4,1.9873,0.0013,0.7914,4e-04,0.0118,2.4489,0.5369,0.0027,1.6783,7e-04,0.0171,0.0062,0.7005,7e-04,0.0676,4.4706,0.2235,0.4045,0.006,0.5357,3.5373,6.8557,0.077,6,8,0.7815,2085,0.2213,1568,2945,2945,1568,2606,1712,2059,36.4395,0.3291,17.5421,54.5716,54.5716,17.5421,54.3306,32.3748,35.1161,0.1929,1.0953,0,0.886,0.5788,0.0077,0.2715,0.0367,0.1137,0.0578,0.998,0,0.2659,0.1322,0.0013,0.0963,0.0197,0.0402,82.1376,0.1703,270.075,0.0576,270,256,286,0.9894,0.224,0.8613,0.0332,92.8895,0.0836,270.526,0.0425,271,256,286,0.6317,0.2709,0.8721,0.0182,0.1373,0.5953
"./SAT07/industrial/fuhs/medium/AProVE07-21.cnf",1,"glueminisat_2.2.5",3189,11039,1203,6562,1.6509,0.6823,0.1833,0.339,0.6166,0,1,1.2931,0.0027,0.2967,0.0017,0.015,1.234,0,0.2034,0.576,0.0027,0.5336,0.0011,0.0306,2.1533,0.0654,0.0957,0,0.7143,1.7903,0.0015,0.8426,2e-04,0.0247,1.8436,0.6087,0.0015,1.074,8e-04,0.0285,0.0048,0.9362,9e-04,0.0509,3.4705,0.2904,0.4544,0.014,0.5778,3.4872,7.515,0.0902,6,10,1.0246,1292.8333,0.32,774,2133,2001,925,1614,1008,1192,35.2172,0.1387,29.6951,44.7557,43.8845,30.3029,37.373,30.6977,35.7036,0.2437,0.8804,0,0.9537,0.5773,0.0263,0.3706,0.0618,0.166,0.043,1.0711,0,0.2681,0.08,0.0105,0.0469,0.0231,0.0255,53.7933,0.1908,239.119,0.0436,239,226,253,0.7905,0.2019,0.8232,0.0236,84.9445,0.0972,239.747,0.0447,239,227,253,0.5805,0.2609,0.8589,0.0201,0.2084,0.9519
"./SAT07/industrial/jarvisalo/eq.atree.braun.11.unsat.cnf",1,"MPhaseSAT64_2011.05.14_fixed_",1400,4732,969,4024,0.4448,0.1759,0.2408,0.3438,0.8381,0,1,1.1962,0.0031,0.3822,0.0021,0.0237,0.9578,0,0.2182,0.8797,0.0031,0.2977,0.0017,0.006,2.4462,0.0784,0.0924,0,0.5,2.1014,0.0013,0.578,5e-04,0.0055,2.008,0.5005,0.0022,0.569,0.0012,0.008,0.0041,0.3813,0.0012,0.0298,2.8808,0.2698,0.3415,0.0179,0.575,3.4397,8.7221,0.0643,7,10,0.8127,1342.1818,0.416,688,2221,2160,742,1908,777,1247,44.9029,0.2824,29.7731,66.4489,61.4565,29.8392,55.9578,31.3475,42.2286,0.2421,0.8147,0,0.83,0.5712,0.0341,0.3348,0.097,0.1765,0.0492,0.9606,0,0.3216,0.0724,0.0052,0.0562,0.0294,0.0456,51.1631,0.2258,204.397,0.0496,204,191,217,0.8576,0.2536,0.8406,0.0298,55.6168,0.1044,203.292,0.0487,203,191,216,0.467,0.2799,0.846,0.0227,0.2542,0.9888
"./SAT07/industrial/jarvisalo/eq.atree.braun.12.unsat.cnf",1,"MPhaseSAT64_2011.05.14_fixed_",1694,5726,1165,4834,0.4541,0.1845,0.241,0.3448,0.8349,0,1,1.1951,0.0026,0.3811,0.0017,0.0215,0.9511,0,0.217,0.8775,0.0026,0.2991,0.0014,0.0052,2.4287,0.0776,0.0901,0,0.5,2.0475,0.0011,0.5948,4e-04,0.005,1.9744,0.5004,0.0019,0.5956,0.001,0.0072,0.0034,0.4014,0.001,0.0296,2.8826,0.2707,0.3405,0.015,0.5662,3.4677,8.9931,0.0716,7,10,0.9718,738.5,0.303,532,1358,1167,545,767,607,668,38.5745,0.2788,25.9799,56.928,56.0982,26.6543,48.7245,28.678,36.1189,0.2379,0.8037,0,0.8527,0.5429,0.0412,0.3456,0.0982,0.1759,0.0486,0.9361,0,0.3218,0.072,0.0052,0.0561,0.0293,0.0455,60.5861,0.4044,243.474,0.0555,244,230,257,0.8086,0.2693,0.8347,0.0445,67.4758,0.0956,244.028,0.0448,244,229,258,0.4399,0.2713,0.8459,0.0201,0.2252,0.9708
"./SAT09/APPLICATIONS/bitverif/countbitsarray/countbitsarray04_32.cnf",1,"none",8750,25865,4390,19663,0.9932,0.3154,0.2233,0.3615,0.9075,0,1,1.3549,7e-04,0.3531,5e-04,0.0062,1.1261,0,0.3405,0.6835,7e-04,0.1767,4e-04,0.0034,1.7734,0.0623,0.0713,0,0.8,1.7047,3e-04,0.2813,1e-04,0.0019,1.4332,0.4905,5e-04,0.33,3e-04,0.0031,8e-04,0.3577,3e-04,0.0076,2.6936,0.1533,0.299,0.0349,0.6286,2.5149,22.6118,0.1176,16,28,2.3484,634.2069,0.1773,409,898,787,444,712,592,635,14.0854,0.3241,3.3221,20.4649,19.8184,8.076,17.8912,11.576,13.3507,0.1151,0.8492,0,1,0.2174,8e-04,0.1392,0.0374,0.1223,0.0246,0.8823,0,0.286,0.0441,0.0094,0.0387,0.0095,0.0156,91.4237,0.368,1114.27,0.0236,1117,1079,1145,0.5394,0.2601,0.8253,0.0158,99.6452,0.1198,1107.16,0.0229,1105,1077,1138,0.1696,0.206,0.8257,0.0096,0.1266,0.5681
"./SAT09/APPLICATIONS/bitverif/countbitsrotate/countbitsrotate032.cnf",1,"none",8527,25484,4641,19097,0.8373,0.3345,0.243,0.3653,0.8011,0,1,1.1679,6e-04,0.3086,4e-04,0.0078,0.9636,0,0.316,0.8666,6e-04,0.9161,5e-04,0.0072,1.5153,0.0877,0.0676,0,0.6,1.47,3e-04,1.0609,1e-04,0.0034,1.3071,0.4947,4e-04,0.9752,3e-04,0.0054,0.0014,1.0369,4e-04,0.0106,2.7537,0.1488,0.5649,0.0101,0.6667,2.5812,15.6136,0.0382,14,17,0.8985,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0.1355,0.7626,0,0.7477,0.3212,0.0567,0.1392,0.0717,0.0917,0.0347,0.6771,0,0.2787,0.0466,0.0117,0.0466,0.021,0.0255,214.17,0.5163,923.298,0.1507,946,917,964,0.6058,0.5938,0.8346,0.1038,240.354,0.0848,938.038,0.0219,939,915,958,0.1694,0.3078,0.8326,0.01,0.1007,0.5105
"./SAT09/APPLICATIONS/bitverif/countbitswegner/countbitswegner128.cnf",1,"QuteRSat_2011.05.12_fixed_",98048,293759,36796,170644,1.6646,0.7215,0.2156,0.4177,0.8913,0,1,1.3614,1e-04,0.7675,1e-04,0.0035,1.0784,0,0.4499,0.7375,1e-04,0.3379,0,8e-04,1.5342,0.0938,0.0966,0,0.9416,1.5733,0,0.7305,0,8e-04,1.619,0.5946,2e-04,1.3051,0,8e-04,1e-04,0.8949,0,0.0045,2.5992,0.1624,0.3024,0.0035,0.619,2.3523,47.4551,0.0105,47,48,0.6891,371.7143,1.0176,41,884,884,41,785,42,57,3.8801,0.9599,1.1163,11.5147,11.5147,1.1163,7.1538,1.1951,1.4286,0.3889,0.8886,0,1,0.8193,1e-04,0.7261,0.1248,0.1335,0.0203,0.9704,0,0.2826,0.0387,0.0023,0.0305,0.0095,0.0181,978,0,9586,0,9586,9586,9586,0.7623,0,0.8429,0,927.25,0.4258,9644,0.0036,9640.5,9613,9664,0.3856,0.5814,0.8407,0.015,0.3018,0.8621
"./SAT09/APPLICATIONS/bitverif/maxxor/maxxor032.cnf",1,"glueminisat_2.2.5",13240,39143,4743,22050,1.7915,0.7752,0.2151,0.4464,0.7644,0,1,1.4512,7e-04,0.6025,4e-04,0.0074,1.2936,0,0.2537,0.8059,7e-04,1.1504,3e-04,0.0081,2.3734,0.1658,0.1758,0,0.7333,2.5111,3e-04,0.9001,0,0.0034,2.0225,0.5052,6e-04,1.474,2e-04,0.0085,0.0024,1.5201,2e-04,0.0784,4.1765,0.1538,0.7818,0.0021,0.6,3.1983,7.0039,0.0927,5,8,0.9808,787,0.1682,623,1117,1098,670,800,706,769,18.6821,0.3039,11.7701,34.1275,26.5546,13.0433,23.5201,15.25,16.6855,0.2886,0.6913,0,0.8419,0.5187,0.0201,0.4857,0.1224,0.2604,0.0622,0.8445,0,0.4432,0.1355,0.0213,0.0956,0.0231,0.0322,129.673,0.2817,1166.75,0.0222,1168,1135,1194,0.6286,0.259,0.8414,0.0138,270.2,0.0596,1172.52,0.0201,1171,1144,1199,0.5757,0.2801,0.8854,0.0095,0.2224,0.9094
"./SAT09/APPLICATIONS/bitverif/minandmaxor/minandmaxor016.cnf",1,"minisathackreferenceminisat_2.2.0",4271,12620,1448,6879,1.9496,0.8346,0.2105,0.5022,0.7275,0,1,1.5923,0.0023,0.4951,0.0014,0.0138,1.4418,0,0.2983,0.7638,0.0023,0.7743,0.001,0.0134,2.7661,0.1738,0.1826,0,0.7391,2.8812,0.001,0.684,3e-04,0.007,2.3435,0.5498,0.0021,0.9761,7e-04,0.0151,0.005,0.788,7e-04,0.0587,4.1683,0.156,0.7055,0.0078,0.6212,3.3714,6.7699,0.0867,5,8,0.8857,1746.6667,0.0723,1584,1892,1892,1584,1892,1584,1764,35.0015,0.1527,28.2222,41.2874,41.2874,28.2222,41.2874,28.2222,35.4947,0.3349,0.6585,0.0028,0.9995,0.627,0.0368,0.4978,0.1464,0.3114,0.0583,0.8894,0,0.3748,0.1333,0.0144,0.0917,0.0224,0.034,44.5591,0.3358,361.102,0.0366,362,344,378,0.825,0.2294,0.8578,0.0231,80.1453,0.1138,360.123,0.0367,360,343,377,0.6667,0.3014,0.8911,0.016,0.324,0.9847
"./SAT09/APPLICATIONS/bitverif/mulhs/mulhs016.cnf",1,"none",4656,13871,2564,10390,0.8159,0.335,0.2468,0.3649,0.848,0,1,1.2126,0.0011,0.2941,8e-04,0.0078,0.9998,0,0.3399,0.8689,0.0011,0.5042,8e-04,0.0099,1.8641,0.0927,0.0733,0,0.6364,1.8815,5e-04,0.7591,1e-04,0.0038,1.6827,0.5256,8e-04,0.5848,5e-04,0.0079,0.0016,0.7617,6e-04,0.0112,3.0766,0.1642,0.4453,0.0174,0.6154,3.0114,7.9625,0.0739,6,9,0.874,417.25,0.3182,276,713,625,282,513,317,370,38.188,0.1786,24.4297,49.2367,45.9888,26.9364,44.8423,33.9224,39.9981,0.1845,0.7835,0,0.7834,0.3909,0.0492,0.3209,0.0794,0.1062,0.0346,0.7405,0,0.2792,0.0488,0.0114,0.0478,0.0208,0.0253,136.226,0.2552,523.974,0.0798,524,502,549,0.7749,0.3063,0.848,0.0509,138.454,0.076,528.735,0.0308,528.5,508,549,0.3095,0.2652,0.8484,0.0127,0.1863,0.5944
"./SAT09/APPLICATIONS/bitverif/smulo/smulo064.cnf",1,"none",47129,141002,24245,105063,0.9439,0.3421,0.2308,0.3469,0.8403,0,1,1.184,1e-04,0.2741,1e-04,0.0027,0.9898,0,0.3288,0.8594,1e-04,1.6346,1e-04,0.0048,1.4163,0.138,0.0648,0,0.8873,1.6324,1e-04,1.9203,0,0.0029,1.4618,0.5018,1e-04,2.0415,0,0.004,6e-04,1.3888,1e-04,0.0078,3.1069,0.1309,0.7047,0.0036,0.4722,2.5781,5.4933,0.1168,4,7,0.9063,1520.25,0.3636,884,2078,2078,884,2078,1058,2061,81.3222,1.2695,17.9242,260.0822,260.0822,17.9242,260.0822,22.9753,24.307,0.2143,0.8014,0,0.9997,0.5181,0.0195,0.3224,0.0815,0.2191,0.0343,0.5208,0,0.2258,0.0471,0.0183,0.0471,0.0194,0.0307,1800,0.2514,4580.5,0.0116,4580.5,4543,4543,1.0234,0.466,0.8719,0.0342,3245.2,1.227,3667.8,0.5591,4561,0,4609,1.144,1.941,1.2274,0.6894,0.0555,0.1311
"./SAT09/APPLICATIONS/c32sat/post-c32s-gcdm16-23.cnf",1,"glueminisat_2.2.5",135543,404326,14948,103664,8.0676,2.9004,0.1442,0.3964,0.5895,0,1,1.5502,3e-04,0.5451,1e-04,0.0043,1.1991,0,0.0741,0.543,3e-04,1.273,1e-04,0.0021,2.6988,0.0609,0.1052,0,0.9403,1.6474,1e-04,1.0078,0,8e-04,1.9082,0.3972,2e-04,1.2703,0,0.0013,0.0011,0.449,0,0.0022,4.2611,0.1235,0.7057,0.0185,0.619,2.3863,21.0031,0.1382,16,26,2.37,955.7778,0.3241,164,1298,1298,164,1102,924,1000,28.2328,0.3764,11.7622,50.6299,50.6299,11.7622,31.1642,22.6167,28.1063,0.1967,1.3437,0,0.9845,0.7081,0.0068,0.2249,0.0198,0.0632,0.037,0.7014,0,0.2556,0.084,0.0151,0.0403,0.0215,0.0326,753.6,0.0558,3379.4,0.0159,3366,3331,3366,0.5446,0.138,0.8579,0.0069,1073.73,0.0255,3380.18,0.0136,3367.5,3330,3412,0.2961,0.187,0.8882,0.005,0.0741,0.6665
"./SAT09/APPLICATIONS/crypto/desgen/gss-14-s100.cnf",1,"minisathackcir_minisat_2011.05.13_simp_",31229,93855,13016,53990,1.3993,0.7384,0.2411,0.1869,1.5626,0,1,1.1272,2e-04,1.0757,2e-04,0.0025,0.9784,0,0.666,0.9395,2e-04,0.7968,1e-04,0.002,2.4641,0.1828,0.1526,0,0.7838,2.3663,2e-04,0.9412,1e-04,0.0016,1.8785,0.8972,4e-04,0.7548,1e-04,0.0023,5e-04,0.9104,1e-04,0.0039,3.7892,0.1723,0.4655,0.0186,0.5278,3.2219,8.6168,0.064,7,10,0.819,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0.7561,0.3328,1e-04,0.9696,0.9251,0.2826,0.9005,0.756,0.851,0.0331,0.5604,0,0.1708,0.0559,0.0131,0.0428,0.0218,0.0315,253.444,0.6645,3873.78,0.0133,3879,3769,3902,0.838,0.2783,0.8826,0.0167,887.733,0.0437,3860.36,0.0106,3861,3805,3903,0.6282,0.211,0.9377,0.0043,0.2924,0.7123
"./SAT09/APPLICATIONS/crypto/desgen/gss-16-s100.cnf",1,"minisathackreferenceminisat_2.2.0",31248,93904,13336,55442,1.3431,0.6937,0.2405,0.188,1.5565,0,1,1.1292,2e-04,1.0765,1e-04,0.0025,0.9808,0,0.6633,0.9396,2e-04,0.8045,1e-04,0.0021,2.4667,0.1827,0.1522,0,0.7778,2.3661,2e-04,0.9456,1e-04,0.0016,1.8747,0.8961,4e-04,0.7561,1e-04,0.0022,5e-04,0.9091,1e-04,0.0038,3.8011,0.1715,0.4685,0.0186,0.5333,3.2245,8.4634,0.0662,7,10,0.8263,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0.7576,0.3302,0,0.9697,0.9252,0.3044,0.9011,0.7562,0.853,0.0331,0.562,0,0.1739,0.0559,0.0134,0.0424,0.0216,0.0314,482.333,1.7336,3526.22,0.3751,3973,0,4005,0.9858,0.765,0.9271,0.1579,904.864,0.0296,3954.77,0.0098,3961,3899,3999,0.6295,0.2323,0.9378,0.0033,0.2469,0.6516
"./SAT09/APPLICATIONS/crypto/desgen/gss-19-s100.cnf",1,"MPhaseSAT64_2011.05.14_fixed_",31435,94548,13682,56829,1.2975,0.6637,0.2408,0.1899,1.5489,0,1,1.132,2e-04,1.0819,1e-04,0.0024,0.9809,0,0.6614,0.9401,2e-04,0.7993,1e-04,0.0019,2.4609,0.182,0.1523,0,0.7778,2.3542,1e-04,0.9398,1e-04,0.0016,1.876,0.894,4e-04,0.7591,1e-04,0.0022,4e-04,0.9112,1e-04,0.0037,3.7804,0.1724,0.4661,0.0184,0.5278,3.2269,8.3417,0.06,7,10,0.7124,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0.7551,0.3368,1e-04,0.9727,0.9256,0.256,0.9016,0.7552,0.8535,0.0329,0.563,0,0.1729,0.0557,0.0131,0.0424,0.0215,0.0312,794.556,2.2057,3578.67,0.3751,4018,0,4068,1.2808,1.2733,0.9915,0.3493,959.225,0.1307,3942.15,0.1625,4047.5,3981,4091,0.6164,0.557,0.9438,0.0389,0.2294,0.6118
"./SAT09/APPLICATIONS/crypto/desgen/gss-21-s100.cnf",1,"minisathackcir_minisat_2011.05.13_simp_",31613,95104,13839,57479,1.2843,0.6546,0.2408,0.1914,1.5427,0,1,1.1386,2e-04,1.0745,1e-04,0.0024,0.9862,0,0.6596,0.9391,2e-04,0.7978,1e-04,0.0019,2.4649,0.1821,0.1525,0,0.7778,2.3597,1e-04,0.9339,1e-04,0.0015,1.8764,0.8917,4e-04,0.7594,1e-04,0.0021,4e-04,0.9114,1e-04,0.0034,3.7791,0.1729,0.4636,0.0193,0.5278,3.227,8.3451,0.0597,7,10,0.7022,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0.7523,0.34,0,0.9718,0.9253,0.2382,0.9011,0.7505,0.8522,0.033,0.5646,0,0.1731,0.0561,0.0133,0.0425,0.0216,0.0311,297.625,0.9741,4102.38,0.0127,4100,4025,4146,0.8247,0.4615,0.8851,0.0275,941.275,0.0423,4092.3,0.0114,4094,4022,4158,0.6282,0.2267,0.9372,0.004,0.2545,0.6783
"./SAT09/APPLICATIONS/crypto/desgen/gss-22-s100.cnf",1,"MPhaseSAT64_2011.05.14_fixed_",31616,95110,13864,57628,1.2804,0.6504,0.2406,0.1919,1.5399,0,1,1.1426,2e-04,1.0851,1e-04,0.0024,0.9909,0,0.6586,0.9386,2e-04,0.7969,1e-04,0.0018,2.4796,0.1842,0.1543,0,0.7778,2.3826,1e-04,0.9334,1e-04,0.0015,1.8787,0.8909,4e-04,0.7595,1e-04,0.0021,4e-04,0.9137,1e-04,0.0036,3.7874,0.1729,0.4636,0.0184,0.5278,3.2303,8.2892,0.057,7,10,0.6559,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0.7519,0.34,0,0.9719,0.9253,0.2418,0.9007,0.748,0.8516,0.033,0.5645,0,0.1713,0.0561,0.0132,0.0427,0.0216,0.0311,341.75,1.0126,4089.88,0.0088,4078.5,4051,4135,0.9008,0.5005,0.8878,0.0345,990.727,0.3035,4004.2,0.1547,4090.5,4041,4147,0.6848,0.5743,0.9475,0.0641,0.2428,0.6929
"./SAT09/APPLICATIONS/crypto/desgen/gss-27-s100.cnf",1,"none",31951,96161,14275,59330,1.2382,0.6208,0.2406,0.1934,1.5323,0,1,1.1398,2e-04,1.0717,1e-04,0.0023,0.985,0,0.6557,0.9402,2e-04,0.7984,1e-04,0.0019,2.4496,0.1807,0.1512,0,0.7778,2.3427,1e-04,0.933,1e-04,0.0015,1.8776,0.8898,4e-04,0.7593,1e-04,0.0021,4e-04,0.9075,1e-04,0.0035,3.7686,0.1726,0.4651,0.0193,0.5278,3.2321,8.0728,0.0519,7,9,0.5827,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0.7508,0.3426,0,0.9718,0.9253,0.2366,0.9011,0.7476,0.8512,0.0329,0.5632,0,0.1715,0.0558,0.0138,0.0422,0.0215,0.031,780.5,2.0768,3695.88,0.4042,4228,0,4252,1.1654,1.1653,0.9801,0.2978,1008.12,0.2337,4119.23,0.1625,4225.5,4163,4269,0.6798,0.5294,0.9467,0.0542,0.2093,0.6568
"./SAT09/APPLICATIONS/crypto/md5gen/gus-md5-11.cnf",1,"minisathackMiniSAT_2.2.0.agile.26",69561,226787,28527,163375,1.4384,0.3881,0.1746,0.4092,0.454,0,1,1.0576,1e-04,0.1785,1e-04,5e-04,0.881,0,0.0615,0.5559,1e-04,0.5846,0,3e-04,2.3496,0.025,0.0428,0,0.6667,1.0543,1e-04,0.5336,0,2e-04,2.0375,0.5127,0,0.4551,0,2e-04,2e-04,0.4575,0,9e-04,3.7492,0.3004,0.1748,0.0863,0.6381,2.9459,20.86,0.1302,16,24,1.7402,304.3043,0.1665,217,437,350,237,343,266,321,8.175,0.2358,4.8689,12.3916,10.8997,5.8218,9.3926,6.5042,8.2068,0.0983,1.591,0,0.7455,0.393,0,0.1034,0.0015,0.0144,0.0313,0.6331,0,0.2404,0.0567,4e-04,0.0399,0.0227,0.0293,2111,0.1514,5545,0.0117,5545,5499,5499,0.9747,0.2221,0.8504,0.0248,2363.29,0.3012,5611.86,0.0133,5640,5469,5668,0.443,1.6297,0.8723,0.0557,0.0304,0.078
"./SAT09/APPLICATIONS/crypto/md5gen/gus-md5-12.cnf",1,"none",69553,226752,28500,163329,1.4405,0.3883,0.1745,0.4092,0.4535,0,1,1.057,1e-04,0.1787,1e-04,5e-04,0.8806,0,0.0613,0.5555,1e-04,0.5841,0,3e-04,2.3497,0.025,0.0429,0,0.6667,1.0549,1e-04,0.5334,0,2e-04,2.0382,0.5125,0,0.4551,0,2e-04,2e-04,0.4568,0,9e-04,3.7487,0.3003,0.1747,0.0872,0.6381,2.9451,20.7778,0.135,16,24,1.6987,225.4043,0.3269,135,423,353,142,275,170,216,6.4861,0.2494,4.3543,10.4082,8.8908,4.6519,7.523,5.1576,6.0949,0.0981,1.5924,0,0.7455,0.3927,0,0.1034,0.0015,0.0144,0.0313,0.6349,0,0.2404,0.0566,4e-04,0.0398,0.0227,0.0293,2023.5,0.101,5565,5e-04,5565,5563,5563,0.9596,0.2118,0.8504,0.0183,2140.14,0.0152,5641.14,0.0099,5647,5554,5686,0.2457,0.6362,0.8581,0.0043,0.0311,0.0952
"./SAT09/APPLICATIONS/diagnosis/ACG-10-10p0.cnf",1,"EBGlucose_1.0",155107,675624,85468,439653,0.8148,0.5367,0.1944,0.3912,1.0234,0,1,1.435,0,0.4893,0,1e-04,1.0473,0,0.6431,0.8544,0,0.7737,0,2e-04,2.7001,0.1909,0.1615,0,0.75,2.7473,0,0.8663,0,1e-04,2.3979,0.7535,0,0.7729,0,2e-04,1e-04,0.7386,0,4e-04,3.7117,0.1499,0.5235,0.0138,0.4889,3.1536,18.9,0.0198,18,20,0.4903,39.6667,0.642,9,76,76,9,63,11,51,54.819,0.821,15.5395,150.3333,150.3333,15.5395,63.4444,31.2727,35.8929,0.5143,0.6306,0,0.9964,0.8834,0.0497,0.8364,0.1881,0.582,0.0197,0.8962,0,0.0931,0.0406,0.0017,0.03,0.0038,0.0195,47596,0,0,0,0,0,0,4.3624,0,2.2972,0,12023.5,0.9845,14511.5,1.4142,14511.5,0,0,1.8712,0.7987,1.1084,0.2635,0.3279,0.7204
"./SAT09/APPLICATIONS/diagnosis/ACG-15-5p1.cnf",1,"glucose_2",218990,943377,136456,671306,0.6048,0.4053,0.2033,0.3535,1.0739,0,1,1.405,0,0.4533,0,1e-04,1.0511,0,0.6162,0.8738,0,0.7751,0,1e-04,2.4479,0.1553,0.1592,0,0.7333,2.4933,0,0.821,0,1e-04,2.2372,0.7471,0,0.8177,0,1e-04,0,0.7248,0,3e-04,3.6333,0.1505,0.5221,0.0134,0.5,3.0353,20.1379,0.0171,20,21,0.4012,12.5556,1.2097,3,48,48,3,6,4,6,41.2231,1.0407,2,137.25,137.25,2,53.8333,8.6667,25.75,0.4703,0.6924,0,1,0.8736,0.0517,0.8103,0.1386,0.4354,0.0189,0.8071,0,0.1602,0.039,0.0011,0.027,0.005,0.0207,101538,0,0,0,0,0,0,6.249,0,4.9592,0,20027,0,44002,0,44002,44002,44002,2.3088,0,0.984,0,0.3083,0.7253
"./SAT09/APPLICATIONS/diagnosis/UCG-15-10p0.cnf",1,"Lingeling_587f_fixed_",199304,1005834,101783,656617,0.9581,0.5318,0.155,0.4131,0.9243,0,1,1.4285,0,0.4568,0,1e-04,1.0802,0,0.5625,0.8596,0,0.7099,0,1e-04,2.9663,0.2325,0.1493,0,0.7895,2.8898,0,0.8463,0,1e-04,2.6311,0.7119,0,0.6264,0,1e-04,0,0.5903,0,3e-04,3.7581,0.1156,0.689,0.0135,0.5,2.8742,21.0645,0.0117,21,22,0.2392,58.6667,0.7083,0,91,91,0,91,0,85,29.3626,0.7569,0,53.7582,53.7582,0,53.7582,0,34.3294,0.5813,0.5785,0,1,0.9044,0.0516,0.8723,0.2554,0.7734,0.0199,1.067,0,0.095,0.0516,0,0.0375,0.0021,0.0068,72572,0,0,0,0,0,0,5.732,0,2.5497,0,3731,0,37370,0,37370,37370,37370,1.3859,0,0.9279,0,0.1713,0.5523
"./SAT09/APPLICATIONS/diagnosis/UCG-15-10p1.cnf",1,"Lingeling_587f_fixed_",200003,1019221,102501,667154,0.9512,0.5277,0.1536,0.4095,0.9208,0,1,1.4231,0,0.4407,0,1e-04,1.0832,0,0.5497,0.863,0,0.7117,0,1e-04,3.0005,0.2293,0.1478,0,0.8,2.8965,0,0.8427,0,1e-04,2.67,0.7052,0,0.6325,0,1e-04,0,0.5858,0,3e-04,3.7551,0.1138,0.701,0.0135,0.5,2.8649,21.0323,0.0084,21,22,0.1425,1.9,1.2407,0,10,8,1,1,1,1,4.8208,1.9967,0,49.25,19.875,2,2,2,2,0.5737,0.5825,0,1,0.901,0.0509,0.863,0.2511,0.7472,0.0196,1.0689,0,0.0912,0.0499,0,0.0373,0.002,0.0068,81856,0,0,0,0,0,0,6.4294,0,3.0988,0,3692,0,37723,0,37723,37723,37723,1.3333,0,0.9252,0,0.2165,0.6185
"./SAT09/APPLICATIONS/diagnosis/UCG-15-5p0.cnf",1,"Lingeling_587f_fixed_",162696,821000,85539,545816,0.902,0.5042,0.1567,0.4142,0.9167,0,1,1.4347,0,0.4535,0,1e-04,1.0922,0,0.555,0.8542,0,0.7083,0,1e-04,2.9889,0.2339,0.1447,0,0.7895,2.9386,0,0.8451,0,1e-04,2.6095,0.7034,0,0.6334,0,1e-04,1e-04,0.5838,0,3e-04,3.7559,0.1157,0.6941,0.0137,0.4697,2.8861,20.0556,0.0164,19,21,0.4113,33.7273,2.291,4,277,30,4,15,5,7,32.6588,0.6927,3.75,80.2857,54.6667,4.75,47.8182,9.2,28.3333,0.553,0.5985,0,0.9998,0.8863,0.0479,0.8426,0.2217,0.7127,0.0198,1.0864,0,0.1509,0.0517,0,0.0377,0.0021,0.0059,54994,0,0,0,0,0,0,5.1181,0,2.2878,0,10361.5,1.0744,15634,1.4142,15634,0,0,2.0995,0.768,1.0728,0.2028,0.1596,0.6704
"./SAT09/APPLICATIONS/diagnosis/UCG-20-5p1.cnf",1,"QuteRSat_2011.05.12_fixed_",224986,1204430,121248,834371,0.8556,0.4435,0.1453,0.4002,0.9116,0,1,1.3999,0,0.4303,0,1e-04,1.0826,0,0.5174,0.8699,0,0.7474,0,1e-04,2.9932,0.2213,0.1481,0,0.84,2.8611,0,0.8472,0,1e-04,2.7188,0.6953,0,0.6558,0,1e-04,0,0.5877,0,2e-04,3.8653,0.1051,0.7659,0.0138,0.5,2.8415,21,0,21,21,0,5.8125,1.2123,0,25,20,0,9,1,4,7.2103,1.001,0,26.5,19.85,1,7,3,5.7778,0.6252,0.5121,0,1,0.9322,0.1312,0.8881,0.3063,0.785,0.0186,0.9706,0,0.0812,0.0457,0,0.0338,0.002,0.0097,108936,0,0,0,0,0,0,7.7035,0,3.8192,0,8883,0,45276,0,45276,45276,45276,2.4396,0,0.9624,0,0.1315,0.6611
"./SAT09/APPLICATIONS/diagnosis/UR-10-10p1.cnf",1,"minisathackEBMiniSAT_2011.03.02",131228,635871,65344,397606,1.0083,0.5992,0.1643,0.4223,0.9326,0,1,1.4473,0,0.4645,0,2e-04,1.076,0,0.5979,0.8484,0,0.7174,0,2e-04,2.8899,0.2344,0.1456,0,0.75,2.869,0,0.8655,0,1e-04,2.5958,0.7241,0,0.6499,0,2e-04,1e-04,0.6361,0,5e-04,3.6976,0.1227,0.6339,0.0135,0.4889,2.9299,17,0.0199,16,18,0.4346,34.6667,1.1359,7,121,121,7,35,9,10,40.083,0.8257,4,123.1111,123.1111,4,44.382,26.8678,35.4,0.5468,0.6058,0,0.972,0.8873,0.0496,0.8434,0.2193,0.7146,0.0194,1.1212,0,0.0899,0.0535,1e-04,0.0349,0.0023,0.0052,32526,0,0,0,0,0,0,4.3979,0,1.7745,0,25521.7,1.6216,15881.3,0.866,23778,0,23778,7.9267,1.574,53.048,1.7021,0.2381,0.6683
"./SAT09/APPLICATIONS/diagnosis/UR-20-10p0.cnf",1,"QuteRSat_2011.05.12_fixed_",258781,1372095,137484,943589,0.8823,0.4541,0.1457,0.4062,0.9063,0,1,1.4197,0,0.4279,0,1e-04,1.0951,0,0.5233,0.871,0,0.7342,0,1e-04,3.0074,0.2152,0.1483,0,0.8333,2.9439,0,0.847,0,0,2.7334,0.6964,0,0.6257,0,1e-04,0,0.571,0,2e-04,3.8408,0.1047,0.7279,0.0131,0.5,2.8851,19,0,19,19,0,17.2,1.1064,0,46,46,0,34,3,3,12.6373,0.7152,0,26.3333,26.3333,0,18,7,11.8529,0.6752,0.4357,0,1,0.9733,0.2015,0.8885,0.4076,0.8109,0.0145,0.9709,0,0.0946,0.0372,0,0.0209,0.0016,0.011,133058,0,0,0,0,0,0,8.7798,0,4.7045,0,15154,0,51070,0,51070,51070,51070,2.9194,0,0.9937,0,0.1709,0.5352
"./SAT09/APPLICATIONS/diagnosis/UR-20-10p1.cnf",1,"MPhaseSAT64_2011.05.14_fixed_",259234,1387934,137915,959954,0.8797,0.4458,0.1437,0.4038,0.9044,0,1,1.4213,0,0.4389,0,1e-04,1.1035,0,0.5147,0.8696,0,0.7413,0,1e-04,3.1284,0.227,0.1492,0,0.84,2.9565,0,0.8533,0,0,2.7349,0.6924,0,0.649,0,1e-04,0,0.5858,0,2e-04,3.9236,0.1042,0.7672,0.013,0.5,2.8816,19,0,19,19,0,20,0.8653,0,43,43,0,43,7,30,16.0965,0.8063,0,32,32,0,32,7.2,25.186,0.6313,0.5061,0,1,0.9647,0.0915,0.8763,0.3367,0.7756,0.0165,0.9534,0,0.0818,0.0406,0,0.0277,0.0016,0.0122,132653,0,0,0,0,0,0,8.7955,0,4.6202,0,14164,0,50961,0,50961,50961,50961,2.8392,0,0.9853,0,0.1765,0.557
"./SAT09/APPLICATIONS/diagnosis/UTI-10-5t1.cnf",1,"minisathackMiniSAT_2.2.0.agile.26",108508,527595,36036,229850,2.0111,1.2954,0.1568,0.3987,0.9805,0,1,1.4102,1e-04,0.4281,1e-04,3e-04,1.0342,0,0.6007,0.888,1e-04,0.628,0,3e-04,3.1054,0.2243,0.1515,0,1,3.1212,0,0.7649,0,2e-04,2.7796,0.7424,1e-04,0.5551,0,3e-04,1e-04,0.6346,0,8e-04,3.6735,0.1231,0.5722,0,0.6667,3.0026,86.2667,0.0076,85,88,0.9935,26.5,0.4206,9,40,40,9,40,28,29,31.2101,0.2599,21.6667,43.0345,43.0345,21.6667,43.0345,26.2143,33.925,0.4902,0.6352,0,1,0.8692,0.0404,0.7816,0.1926,0.5616,0.0155,1.2261,0,0.2238,0.0433,0,0.0292,6e-04,0.0059,16543,1.4048,6320.5,1.4142,6320.5,0,0,5.0201,1.2047,2.5346,0.9172,1341.2,0.7629,12461.8,0.0029,12454,12420,12465,0.8503,1.0935,0.9196,0.0252,0.1814,0.6039
"./SAT09/APPLICATIONS/diagnosis/UTI-20-10p0.cnf",1,"QuteRSat_2011.05.12_fixed_",259616,1374599,138309,942285,0.8771,0.4588,0.1468,0.4012,0.9157,0,1,1.4142,0,0.441,0,1e-04,1.092,0,0.5243,0.8684,0,0.7304,0,1e-04,3.068,0.2236,0.1493,0,0.8333,2.9027,0,0.8378,0,0,2.7578,0.6977,0,0.6447,0,1e-04,0,0.5811,0,2e-04,3.9005,0.1064,0.7487,0.0136,0.5,2.9002,115.7619,0.0045,115,117,0.7732,13.8571,1.84,0,76,76,0,7,1,4,37.8722,1.2155,0,138,138,0,66.2857,1.5,24.75,0.6475,0.4739,0,1,0.9504,0.1663,0.8883,0.3512,0.7926,0.0186,0.9899,0,0.0861,0.0461,0,0.0342,0.0019,0.0094,134624,0,0,0,0,0,0,8.6512,0,5.0683,0,14673,0,51487,0,51487,51487,51487,2.7968,0,0.9875,0,0.1472,0.417
"./SAT09/APPLICATIONS/diagnosis/UTI-20-10p1.cnf",1,"QuteRSat_2011.05.12_fixed_",260342,1391257,138674,958485,0.8774,0.4515,0.1447,0.4003,0.9082,0,1,1.4155,0,0.4363,0,1e-04,1.1011,0,0.512,0.8693,0,0.7355,0,1e-04,3.1295,0.2267,0.1485,0,0.8462,2.9701,0,0.8431,0,0,2.7642,0.6907,0,0.6547,0,1e-04,0,0.5865,0,2e-04,3.9426,0.1047,0.7677,0.0131,0.5,2.89,115.8095,0.0043,115,117,0.727,4.6667,2.2315,0,34,34,0,2,0,1,5.5076,1.1806,0,21.2353,21.2353,0,7.6667,1,1,0.6413,0.4771,0,1,0.9512,0.1594,0.8842,0.3533,0.7791,0.0188,1.0016,0,0.0811,0.0463,0,0.0352,0.0018,0.0091,134464,0,0,0,0,0,0,8.7556,0,4.8346,0,14122,0,51226,0,51226,51226,51226,2.7937,0,0.9837,0,0.1299,0.3648
"./SAT09/APPLICATIONS/diagnosis/UTI-20-10t0.cnf",1,"minisathackminisat_psm_2011.04.01",237336,1262609,69175,554949,2.431,1.2752,0.1247,0.3625,0.9665,0,1,1.2685,0,0.3325,0,1e-04,0.9574,0,0.5038,0.9377,0,0.645,0,1e-04,3.2614,0.2024,0.1632,0,1,3.2097,0,0.691,0,1e-04,3.0606,0.7152,0,0.5834,0,1e-04,1e-04,0.6134,0,3e-04,3.8775,0.098,0.7011,0,0.6667,2.8521,178.8929,0.0029,178,180,0.7757,26.5714,1.2641,2,97,97,2,56,4,9,37.2449,0.6021,1,73.2,73.2,1,54.1429,15,37.4742,0.4245,0.752,0,1,0.8445,0.0026,0.738,0.1047,0.3994,0.0121,1.3121,0,0.2529,0.036,0,0.021,0,0.0045,43376,0,0,0,0,0,0,6.7916,0,1.7527,0,3970.5,0.7186,23934.5,0.002,23934.5,23900,23900,1.937,0.6908,0.9409,0.0306,0.1574,0.5902
"./SAT09/APPLICATIONS/diagnosis/UTI-20-10t1.cnf",1,"glueminisat_2.2.5",238008,1278025,69684,570444,2.4155,1.2404,0.1222,0.3621,0.959,0,1,1.2614,0,0.3362,0,1e-04,0.955,0,0.4945,0.9389,0,0.6511,0,1e-04,3.2991,0.2016,0.164,0,1,3.2567,0,0.6928,0,1e-04,3.0818,0.711,0,0.589,0,1e-04,1e-04,0.6138,0,3e-04,3.9263,0.0958,0.7131,0,0.6667,2.8194,178.6923,0.0032,178,180,0.8498,11.5,0.9614,2,42,42,5,14,5,7,36.7547,0.7858,7.6,117,117,12.9286,39.7143,16.5,34.8824,0.4265,0.7467,0,1,0.8405,0.0034,0.7388,0.1056,0.4122,0.0116,1.2699,0,0.2565,0.0348,0,0.0209,0,0.0046,38561,0,0,0,0,0,0,6.4446,0,1.5939,0,4374,0.763,24043.5,6e-04,24043.5,24034,24034,2.0274,0.7003,0.9448,0.0335,0.2038,0.4765
"./SAT11/application/fuhs/AProVE11/AProVE11-11.cnf",1,"minisathackEBMiniSAT_2011.03.02",96526,325263,50129,232037,0.9256,0.4018,0.216,0.3507,0.7506,0,1,1.2663,1e-04,0.2564,0,3e-04,1.0411,0,0.1823,0.7765,1e-04,1.1751,0,0.0056,2.4922,0.0764,0.0893,0,0.8788,2.1353,0,1.4876,0,0.0035,2.267,0.5384,0,1.1866,0,0.0029,2e-04,1.5984,0,0.0047,4.2808,0.2646,0.5364,0.0034,0.5818,3.8215,11.4444,0.0727,11,14,0.8326,715.3333,0.1249,589,782,782,589,782,589,775,14.6931,0.0747,13.4373,16.1104,16.1104,13.4373,16.1104,13.4373,14.5316,0.2418,0.7759,0,0.9649,0.4822,0.0433,0.3896,0.0869,0.1793,0.0552,0.8133,0,0.3182,0.1162,0.0208,0.0635,0.0266,0.0417,4867,0,10468,0,10468,10468,10468,1.4559,0,0.8903,0,4139.5,0.3161,10386.5,0.0065,10366,10333,10391,0.6328,1.094,0.8676,0.054,0.0168,0.1562
"./SAT11/application/fuhs/AProVE11/AProVE11-12.cnf",1,"minisathackEBMiniSAT_2011.03.02",44805,149118,17914,81028,1.5011,0.8403,0.2211,0.3592,0.7492,0,1,1.2985,2e-04,0.2504,1e-04,7e-04,1.0665,0,0.1961,0.7625,2e-04,1.0207,1e-04,0.0113,2.4715,0.0756,0.0879,0,0.75,2.0783,1e-04,1.3762,0,0.0081,2.1687,0.5535,1e-04,1.2666,0,0.0093,5e-04,1.6417,1e-04,0.0096,4.0192,0.2847,0.4656,0.0035,0.619,3.7744,9.171,0.0452,9,11,0.4823,942,0.0159,927,957,957,927,957,927,957,18.6115,0.3187,12.6807,24.5423,24.5423,12.6807,24.5423,12.6807,24.5423,0.2488,0.7731,0,0.9751,0.4783,0.03,0.4045,0.0789,0.2066,0.0526,0.8716,0,0.3034,0.1176,0.0183,0.0589,0.0254,0.0368,721.5,0.1776,3666,0.0156,3685,3585,3704,0.5036,0.2036,0.8001,0.0119,1213.67,0.0455,3688.11,0.0111,3685,3635,3744,0.2635,0.5755,0.8451,0.0092,0.0431,0.3102
"./SAT11/application/fuhs/AProVE11/AProVE11-15.cnf",1,"minisathackcontrasat_2011.03.02",66715,228274,35008,172897,0.9057,0.3203,0.2025,0.3691,0.6201,0,1,1.2071,1e-04,0.2271,1e-04,3e-04,1.0107,0,0.1439,0.6685,1e-04,0.8164,0,0.0027,2.4922,0.0413,0.061,0,0.6667,1.4789,0,1.1414,0,0.0025,2.1971,0.5382,0,1.2044,0,0.0025,2e-04,1.0838,0,0.0038,4.1689,0.2881,0.4493,0.0033,0.5495,3.7252,10.8435,0.0335,10,11,0.4339,662.4,0.3221,334,999,999,334,697,594,688,24.9198,0.144,21.5911,31.4925,31.4925,21.5911,25.3052,21.7994,24.4108,0.1912,0.905,0,0.9899,0.4283,0.0084,0.3699,0.0432,0.115,0.0434,0.7332,0,0.3026,0.066,0.0219,0.0509,0.0249,0.0351,2008,0,6723,0,6723,6723,6723,0.5183,0,0.8107,0,2674.2,0.1599,6804.2,0.0112,6759,6738,6886,0.3791,1.0738,0.8431,0.0196,0.0435,0.1629
"./SAT11/application/fuhs/AProVE11/AProVE11-16.cnf",1,"minisathackreferenceminisat_2.2.0",84025,282766,42666,201739,0.9694,0.4016,0.2115,0.3588,0.7008,0,1,1.258,1e-04,0.2369,0,3e-04,1.0416,0,0.1658,0.7275,1e-04,1.0031,0,0.003,2.5299,0.0664,0.086,0,0.6923,1.9771,0,1.3508,0,0.0019,2.2655,0.5386,0,1.1875,0,0.0019,2e-04,1.3753,0,0.0038,4.1894,0.2799,0.4898,0.0044,0.6429,3.7925,11.117,0.1705,2,12,0.9542,582.3333,0.0562,544,624,624,544,624,544,579,11.1745,0.0273,10.943,11.6062,11.6062,10.943,11.6062,10.943,10.9744,0.2247,0.8244,0,0.9899,0.4588,0.0216,0.3812,0.0669,0.1654,0.0515,0.8375,0,0.2927,0.1092,0.0207,0.0586,0.0259,0.0389,2733,0,8632,0,8632,8632,8632,0.9072,0,0.8417,0,3418.2,0.334,8643.2,0.0035,8654,8608,8654,0.56,1.3009,0.8691,0.0553,0.0294,0.1588
"./SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom12.cnf",1,"QuteRSat_2011.05.12_fixed_",17298,57292,6724,36664,1.5726,0.5626,0.1834,0.4436,0.685,0,1,1.5404,5e-04,0.706,3e-04,0.0045,1.392,0,0.1608,0.7304,5e-04,1.5582,2e-04,0.0064,2.6127,0.1963,0.2404,0,0.875,2.4469,2e-04,1.6963,0,0.0023,2.4074,0.3889,6e-04,1.3957,2e-04,0.0086,0.0031,0.8453,1e-04,0.039,5.2599,0.1018,0.7452,0.0085,0.6813,2.8892,5.614,0.0888,4,6,0.6936,2619.6667,0.0813,2345,2864,2864,2345,2864,2345,2650,44.605,0.1404,37.9864,53.0094,53.0094,37.9864,53.0094,37.9864,42.8192,0.2651,0.8811,0,0.9847,0.5947,0.0065,0.5183,0.0464,0.1588,0.0984,0.7588,0,0.2404,0.2401,0.0115,0.164,0.0525,0.0717,198.8,3.1074,1721.07,0.1897,1782,1724,1814,0.8357,1.8305,0.9713,0.6742,209.462,0.1079,1778.4,0.0198,1779.5,1727,1818,0.1638,0.2327,0.8762,0.0095,0.1002,0.4416
"./SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom13.cnf",1,"QuteRSat_2011.05.12_fixed_",19995,66333,7780,42585,1.5701,0.5577,0.1827,0.4407,0.6827,0,1,1.5391,5e-04,0.7063,3e-04,0.004,1.3838,0,0.1544,0.7291,5e-04,1.6275,1e-04,0.006,2.5827,0.1952,0.2397,0,0.875,2.3887,2e-04,1.7789,0,0.0022,2.3827,0.3871,5e-04,1.4523,1e-04,0.008,0.0029,0.8519,1e-04,0.0364,5.2937,0.0992,0.776,0.0076,0.6882,2.8767,5.5863,0.0907,4,6,0.7111,2807.3333,0.1309,2311,3189,3189,2311,3189,2311,2922,36.8879,0.2539,26.5318,49.2159,49.2159,26.5318,49.2159,26.5318,34.916,0.2662,0.886,0,0.9779,0.5945,0.0054,0.5279,0.0452,0.1584,0.0997,0.7506,0,0.2404,0.2402,0.0169,0.168,0.0547,0.0722,222.391,2.6968,1988.91,0.2184,2070,2042,2114,0.7532,1.3316,0.9153,0.325,242.186,0.0949,2072.44,0.015,2072,2038,2105,0.1681,0.2379,0.8776,0.0068,0.0964,0.4252
"./SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom14.cnf",1,"CryptoMiniSat_Strange.Night2.st_fixed_",22886,76038,8915,48940,1.5671,0.5537,0.1822,0.4383,0.6813,0,1,1.5356,4e-04,0.7066,2e-04,0.0036,1.377,0,0.1483,0.7275,4e-04,1.6931,1e-04,0.0056,2.5486,0.1964,0.2407,0,0.875,2.3742,1e-04,1.8594,0,0.002,2.3667,0.3855,5e-04,1.5061,1e-04,0.0075,0.0027,0.8583,1e-04,0.0342,5.3384,0.0968,0.8054,0.0069,0.6942,2.8504,5.5756,0.0917,4,6,0.7207,1286.4286,0.3106,760,1925,1925,760,1656,790,1364,31.9828,0.1052,25.4803,36.2144,36.2144,25.4803,34.2353,29.0711,33.2734,0.2669,0.8887,0,0.9757,0.5941,0.0045,0.5371,0.043,0.1579,0.101,0.742,0,0.2404,0.2402,0.0197,0.1696,0.0575,0.0725,133.471,0.666,2400.47,0.0097,2392,2368,2423,0.5795,0.3577,0.8553,0.0177,274.029,0.0843,2403.09,0.0117,2404,2363,2429,0.1608,0.2637,0.8789,0.0048,0.0927,0.3355
"./SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pathways-13-step17.cnf",1,"SAT09referencesolverprecosat_236",25631,142227,19609,125436,0.3071,0.1339,0.1563,0.4925,0.9718,0,1,1.0639,1e-04,0.8702,1e-04,0.0025,0.4516,0,0.9005,0.9644,1e-04,0.6433,0,5e-04,2.5587,0.3882,0.2947,0,1,2.83,1e-04,0.8465,0,5e-04,2.6347,0.9064,3e-04,0.7789,0,6e-04,1e-04,1.3878,0,0.0062,2.7701,0.2371,0.543,0.0099,0.7143,2.9891,11.2111,0.0676,10,13,1.1317,1081,0.4782,230,1554,1554,230,1554,1113,1427,63.4109,0.4614,29.6478,104.85,104.85,29.6478,104.85,43.1752,75.9704,0.6114,0.6078,0,1,0.9513,0.02,0.949,0.2212,0.8123,0.0749,1.6279,0,0.5,0.3324,0.0014,0.0873,0.0019,0.0089,1420.57,2.4834,5789.43,0.4411,6754,0,6805,2.9543,0.5493,1.0476,0.1811,168.615,0.3218,6767.62,0.0078,6747,6713,6839,0.46,1.1015,0.9787,0.0022,0.4378,0.7025
"./SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pathways-17-step20.cnf",1,"SAT09referencesolverprecosat_236",50277,283903,37813,249569,0.3296,0.1376,0.1515,0.4909,0.9718,0,1,1.0807,1e-04,0.9322,1e-04,0.0016,0.4736,0,0.8938,0.9602,1e-04,0.6938,0,3e-04,2.6931,0.3847,0.2925,0,1,3.041,0,0.9203,0,3e-04,2.7185,0.9006,2e-04,0.8394,0,5e-04,1e-04,1.3737,0,0.0036,3.0432,0.2269,0.6064,0.01,0.7333,3.1018,11.0183,0.0748,9,13,1.1096,683,0.5197,181,938,938,181,938,181,930,58.7308,0.7003,22.6188,116.272,116.272,22.6188,116.272,22.6188,37.3017,0.629,0.5769,0,1,0.9554,0.0439,0.9521,0.2482,0.8311,0.0678,1.6771,0,0.4859,0.3138,0.0011,0.0708,0.0015,0.0109,1142.5,1.2174,6576,1.4142,6576,0,0,3.4049,0.4274,1.0064,0.0443,642.143,1.1871,11248.7,0.441,13074,0,13201,1.1365,1.2891,0.9882,0.0243,0.3604,0.6058
"./SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pathways-17-step21.cnf",1,"MPhaseSAT64_2011.05.14_fixed_",53919,308235,40965,272599,0.3162,0.1307,0.1503,0.4914,0.9713,0,1,1.0792,1e-04,0.9419,0,0.0015,0.4712,0,0.8949,0.9609,1e-04,0.692,0,3e-04,2.7026,0.3876,0.2933,0,1,3.0324,0,0.919,0,3e-04,2.7226,0.901,1e-04,0.8331,0,5e-04,1e-04,1.3779,0,0.0033,3.0467,0.2255,0.6039,0.009,0.7,3.0961,11.3571,0.0522,10,13,0.8943,519.25,0.2556,297,647,647,297,647,555,578,28.3359,0.1482,23.0742,33.4757,33.4757,23.0742,33.4757,25.5311,31.2626,0.6301,0.5744,0,1,0.9557,0.0472,0.9521,0.2507,0.8308,0.0668,1.6818,0,0.5,0.3055,0.001,0.0696,0.0014,0.0101,9331.5,1.3907,7231.5,1.4142,7231.5,0,0,4.2819,0.7477,1.1955,0.2595,420.167,0.158,14312.7,0.0058,14282.5,14220,14392,0.7579,0.3775,0.9796,9e-04,0.3631,0.6174
"./SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-TPP-21-step11.cnf",1,"SAT09referencesolverprecosat_236",99736,783991,97280,779390,0.0252,0.0059,0.1248,0.4368,1.1142,0,1,0.9367,0,0.9959,0,9e-04,0.2774,0,0.9544,0.9642,0,0.8485,0,5e-04,2.5695,0.4272,0.3145,0,0.9684,2.5393,0,0.9735,0,5e-04,2.3447,0.9546,1e-04,0.8107,0,8e-04,0,1.5703,0,0.0017,3.4054,0.2418,0.5885,0.0051,0.8,3.3958,11.7667,0.109,10,14,1.5661,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0.6305,0.6027,0,0.9927,0.9482,0.036,0.9363,0.1619,0.8792,0.0667,1.7323,0,0.4454,0.2914,5e-04,0.0683,0.0033,0.0069,114204,0,0,0,0,0,0,10.6054,0,2.5452,0,1373,0.9096,36604.7,6e-04,36612,36580,36612,2.8808,0.6021,0.9907,0.0068,0.2078,0.4856
"./SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf",1,"glueminisat_2.2.5",82007,241364,24785,123342,2.3087,0.9569,0.2009,0.4925,0.827,0,1,1.5753,1e-04,0.3868,1e-04,0.0023,1.414,0,0.2993,0.6497,1e-04,0.6468,1e-04,7e-04,3.1383,0.1334,0.1211,0,0.6667,2.9811,1e-04,0.6579,0,3e-04,2.4561,0.5144,1e-04,0.7301,0,0.001,3e-04,0.5767,0,0.0022,4.1507,0.1739,0.617,0.0241,0.75,3.5658,9.8032,0.0681,8,11,1.0091,148.7391,0.6546,12,374,297,16,203,88,132,6.4141,0.7286,1.3692,20.2853,11.1145,2,7.4242,4.5048,5.2846,0.3631,0.6907,0,1,0.7264,0.0365,0.5433,0.1583,0.337,0.0616,0.9441,0,0.3296,0.1526,0.0016,0.0849,0.0159,0.0455,986.667,0.5225,6156.33,0.0112,6146,6093,6146,0.9618,0.446,0.8599,0.0368,1467.91,0.432,5593.36,0.3319,6131,6056,6235,0.4487,1.3233,0.9098,0.1245,0.0399,0.1908
"./SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf",1,"glueminisat_2.2.5",44692,129620,13945,68921,2.2049,0.8807,0.2023,0.4266,0.7917,0,1,1.4844,2e-04,0.3446,1e-04,0.0025,1.2788,0,0.2386,0.7257,2e-04,0.8554,1e-04,0.004,3.0454,0.1039,0.1198,0,0.7978,2.6337,1e-04,0.8279,0,0.0017,2.4085,0.4885,2e-04,0.773,1e-04,0.0027,5e-04,0.8677,1e-04,0.0057,4.3945,0.1514,0.5179,0.0174,0.6667,3.3703,9.8161,0.0721,8,12,1.0651,801.6923,0.2718,532,1418,982,591,842,669,778,12.4678,0.2128,9.2369,18.7504,16.4417,9.4557,12.8609,11.0167,11.7403,0.3332,0.7097,0,1,0.6612,0.045,0.4969,0.1248,0.3101,0.0508,0.9816,0,0.3296,0.1227,0.0043,0.0647,0.0173,0.0376,902.625,1.3348,2984.75,0.4042,3405,0,3447,0.9369,0.9726,0.9601,0.3223,768.864,0.0393,3408.09,0.0143,3399,3352,3450,0.2158,0.3459,0.8786,0.0062,0.051,0.1933
"./SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf",1,"glueminisat_2.2.5",98935,296405,32667,167814,2.0286,0.7663,0.1947,0.4964,0.7469,0,1,1.582,1e-04,0.3386,1e-04,0.0014,1.3554,0,0.2859,0.7131,1e-04,0.9157,0,0.0011,3.0819,0.1458,0.1074,0,0.6,2.991,0,0.9093,0,4e-04,2.2975,0.4972,1e-04,0.8975,0,0.001,3e-04,0.7476,0,0.002,4.5593,0.1381,0.5841,0.0201,0.7692,3.2988,13.766,0.0479,12,15,0.9518,668.3333,0.3394,330,937,937,330,904,501,706,12.1679,0.2536,7.6667,17.5205,17.5205,7.6667,13.3511,9.8833,11.534,0.3893,0.5425,0,0.9957,0.6679,0.0928,0.5459,0.2245,0.385,0.0397,0.7793,0,0.2229,0.0829,0.0032,0.0583,0.0154,0.0337,4150.5,1.097,4314.5,1.4142,4314.5,0,0,1.6529,0.9297,1.1529,0.381,2049.43,0.0373,8535.71,0.0123,8519,8402,8643,0.3206,0.5693,0.8861,0.0052,0.0284,0.1122
"./SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf",1,"glucose_2",192503,564953,57963,279680,2.3211,1.02,0.2072,0.4177,0.7889,0,1,1.2865,1e-04,0.2314,0,9e-04,1.001,0,0.1174,0.7211,1e-04,0.6056,0,5e-04,2.7282,0.061,0.0712,0,0.8261,2.0203,0,0.8703,0,3e-04,2.2559,0.5045,0,1.0087,0,5e-04,1e-04,0.6632,0,0.0012,3.698,0.2613,0.5289,0.0227,0.7868,3.7353,15.3704,0.065,11,17,1.2331,143.3448,0.4905,13,249,231,37,198,94,166,7.1312,0.2707,4.1892,13.5385,9.6162,5.2302,7.3434,6.1366,6.4581,0.1857,1.0514,0,1,0.4649,0.009,0.2679,0.0447,0.1209,0.0543,1.0025,0,0.438,0.1155,0.0149,0.0628,0.0246,0.0386,5883,0,11139,0,11139,11139,11139,1.7066,0,0.9227,0,3277.33,0.071,11174,0.0051,11152,11131,11152,0.4085,0.424,0.8445,0.01,0.048,0.0911
"./SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf",1,"SAT09referencesolverprecosat_236",56536,158531,14405,67060,2.9247,1.364,0.2148,0.4474,0.809,0,1,1.8324,3e-04,0.908,1e-04,0.0035,1.5694,0,0.2174,0.5776,3e-04,0.7375,1e-04,0.0043,3.1318,0.1911,0.1844,0,0.9794,3.1361,1e-04,0.837,0,0.0014,2.4382,0.5174,3e-04,0.8213,1e-04,0.0028,6e-04,0.7552,1e-04,0.0076,4.3796,0.2095,0.474,0.0102,0.7647,3.5227,9.4899,0.1062,7,12,1.4012,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0.3091,0.8385,0,0.9999,0.7509,0.0392,0.4687,0.0917,0.2338,0.1101,0.8694,0,0.5,0.2465,0.0132,0.1773,0.0377,0.083,2.5,2.0785,3434.42,0.0084,3448,3398,3457,0.8287,0.0718,0.896,0.0038,316.111,0.558,3356.39,0.1718,3453.5,3387,3496,0.4567,0.7004,0.9382,0.048,0.0673,0.6826
"./SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf",1,"CryptoMiniSat_Strange.Night2.st_fixed_",88352,262658,23820,135563,2.7092,0.9375,0.1757,0.456,0.7582,0,1,1.7048,1e-04,0.3687,1e-04,0.0018,1.4907,0,0.2359,0.6345,1e-04,1.193,1e-04,0.0021,3.1253,0.1268,0.1192,0,0.8148,2.896,1e-04,1.2783,0,7e-04,2.6411,0.4676,1e-04,1.0172,0,0.0015,5e-04,0.8597,0,0.0036,4.9056,0.1392,0.6055,0.0217,0.7333,3.3076,11.4659,0.0602,9,12,0.9341,561.4,0.3019,147,708,708,399,695,490,643,30.6903,2.2207,6.3182,235.1361,235.1361,7.351,8.7621,7.7433,8.1192,0.3554,0.7191,0,1,0.7174,0.0222,0.5776,0.1252,0.3393,0.049,0.8863,0,0.2859,0.1088,9e-04,0.0778,0.0122,0.039,1378,0.8273,6187.67,0.0062,6199,6145,6199,1.1092,0.7873,0.8941,0.0798,1481.73,0.0257,6278.36,0.0097,6286,6196,6338,0.3075,0.2532,0.9022,0.0034,0.0635,0.1791
"./SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-countbits128-tseitin.cnf",1,"QuteRSat_2011.05.12_fixed_",95810,287045,35680,165084,1.6853,0.7388,0.2161,0.421,0.8865,0,1,1.3615,1e-04,0.7793,1e-04,0.0036,1.0765,0,0.4538,0.7422,1e-04,0.3436,0,8e-04,1.6058,0.0955,0.0978,0,0.9416,1.633,0,0.7372,0,8e-04,1.626,0.5989,2e-04,1.2953,0,8e-04,1e-04,0.9142,0,0.0046,2.6267,0.1629,0.3047,0.0035,0.619,2.4065,46.5,0.0108,46,47,0.6931,520.875,0.9317,41,1241,1241,41,1010,44,783,14.3346,1.2945,1.0455,54.3372,54.3372,1.0455,35.3795,1.4419,6.6386,0.3795,0.8951,0,1,0.7364,1e-04,0.7265,0.1248,0.134,0.0207,0.9448,0,0.2846,0.0387,0.0092,0.0305,0.0095,0.0183,673,0,9443,0,9443,9443,9443,0.6276,0,0.8339,0,1608,1.2665,7507.2,0.559,9379,0,9394,0.6957,1.3742,0.9153,0.1965,0.2857,0.7466
"./SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf",1,"RestartSAT_B95",266805,720122,156,1611,1709.2885,446.0031,0.0968,0.9925,0.0678,0,1,0.1646,0.0404,2.3778,0.0128,0.4038,0.5395,0,0.8901,0.8982,0.0404,0.2389,0.005,0.0453,1.7997,0.6275,0.1926,0,0.9091,1.7802,0.0124,0.8694,0.0031,0.0391,1.6935,0.9249,0.0461,0.0714,0.0385,0.0484,0.0668,1.6403,0.0043,0.4953,1.7327,0.0961,0.3221,0.0026,0.3556,1.3044,2.2258,0.1878,2,3,0.5342,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0.7827,0.2369,0.0562,1,0.9917,0.5813,0.8251,0.7842,0.8251,0.3963,0.4412,0,0.4992,0.4887,0.0087,0.4887,0.4752,0.4752,0,0,15.4436,0.1739,15,12,19,25.17,0.1177,1,0,0,0,15.3959,0.1725,15,12,19,25.1042,0.1161,1,0,0.9736,0.9982
"./SAT11/application/kullmann/AES/Benchmarks/128/aes_128_1_keyfind_1.cnf",1,"none",1192,10656,800,9592,0.49,0.1109,0.0834,0.3513,0.7444,0,1,2.2048,0.007,0.2664,0.0025,0.01,1.6566,0,0.04,0.1468,0.007,0.9231,0.001,0.0187,2.8373,0.0097,0.018,0,0.1,0.9864,7e-04,0.7568,2e-04,0.0022,2.4978,0.1437,0.0013,0.6764,5e-04,0.0032,0.0253,0.3566,0.0014,0.0417,5.1149,0.5038,0.2805,0.2714,0.7485,3.2805,6.8323,0.0658,6,8,0.6311,1106.5909,0.293,737,1830,1592,772,1285,813,1108,19.6602,0.1865,14.7824,28.4741,24.5356,15.3142,22.429,16.8962,18.7985,0.0235,1.6404,0,0.1865,0.0908,0,0.036,1e-04,0.0016,0.0679,0.7771,2e-04,0.1505,0.1373,0.0024,0.1221,0.0225,0.0388,54.2213,0.1146,114.53,0.0639,114,105,124,0.7843,0.2142,0.7504,0.0421,50.0047,0.0957,114.751,0.0592,115,106,123,0.3251,0.3438,0.7421,0.0373,0.3346,0.6387
"./SAT11/application/kullmann/AES/Benchmarks/128/aes_128_2_keyfind_1.cnf",1,"none",2000,20544,1600,19440,0.25,0.0568,0.0823,0.3526,0.7312,0,1,2.1902,0.0035,0.2662,0.0013,0.005,1.6459,0,0.0263,0.158,0.0035,0.9107,5e-04,0.0092,2.9039,0.0097,0.018,0,0.1,0.9857,4e-04,0.7779,1e-04,0.0011,2.4556,0.1326,6e-04,0.6498,3e-04,0.0016,0.0124,0.3635,7e-04,0.0206,5.139,0.4949,0.2792,0.2714,0.7485,3.4119,7.2846,0.0649,6,8,0.6587,675.0833,0.1427,493,928,786,541,743,609,683,18.6967,0.1755,12.0163,24.3351,23.9314,15.8125,20.9772,16.428,18.3997,0.0233,1.6378,0,0.1875,0.0909,0,0.0363,0,0.0021,0.0684,0.8108,2e-04,0.1504,0.1391,0.0026,0.1293,0.0151,0.0372,105.686,0.1044,219.046,0.0419,219,208,230,0.6968,0.2218,0.7439,0.0321,93.8906,0.0753,219.181,0.0414,219,207,231,0.2222,0.2825,0.7277,0.0297,0.2705,0.4475
"./SAT11/application/kullmann/AES/Benchmarks/32/aes_32_1_keyfind_1.cnf",1,"minisathackLR_GL_SHR_2011.03.02",300,1016,146,660,1.0548,0.5394,0.2212,0.4475,0.7224,0,1,1.4585,0.0235,0.1795,0.0137,0.0342,0.9282,0,0.0364,0.5697,0.0235,0.3154,0.0106,0.0409,2.5754,0.0572,0.0746,0,0.25,1.7135,0.0097,0.3403,0.003,0.0182,2.0593,0.4303,0.0128,0.2842,0.0076,0.0212,0.0366,0.2282,0.0167,0.0561,3.0259,0.3477,0.1399,0.25,0.5205,2.8508,6,0.0732,5,7,0.6245,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0.0751,1.3184,0,0.3811,0.2222,3e-04,0.0952,0.0045,0.0175,0.0668,0.5476,0.0121,0.1342,0.1169,0.0171,0.0959,0.0385,0.0556,11.4694,0.2355,25.7383,0.1265,26,22,30,1.0564,0.2472,0.8401,0.0776,10.7732,0.2008,25.7636,0.1266,26,22,30,0.7541,0.3931,0.8289,0.0731,0.4078,0.8321
"./SAT11/application/kullmann/AES/Benchmarks/32/aes_32_2_keyfind_1.cnf",1,"minisathackreferenceminisat_2.2.0",504,1840,298,1432,0.6913,0.2849,0.2081,0.4544,0.6663,0,1,1.4436,0.0118,0.169,0.0067,0.0168,0.8921,0,0.0223,0.5028,0.0118,0.3063,0.0049,0.0237,2.6786,0.0526,0.0707,0,0.25,1.793,0.0047,0.3406,0.0014,0.0091,2.1438,0.4064,0.0062,0.2847,0.0035,0.0105,0.0187,0.2189,0.0063,0.0356,3.1242,0.3248,0.1651,0.1882,0.5205,3.0533,6.5354,0.0773,5,7,0.7101,4080,0.0298,3946,4291,4291,3946,4127,3991,4045,21.9839,0.061,19.4742,23.2378,23.2378,19.4742,22.8482,21.7873,22.5721,0.0734,1.3266,0,0.3962,0.2234,2e-04,0.0984,0.0028,0.0253,0.0668,0.6333,0.0119,0.135,0.1309,0.0173,0.107,0.022,0.0532,20.589,0.188,48.8485,0.0915,49,43,55,0.881,0.2284,0.8022,0.058,20.3819,0.1585,48.798,0.0925,49,43,55,0.5128,0.3906,0.8009,0.067,0.3209,0.7547
"./SAT11/application/kullmann/AES/Benchmarks/32/aes_32_3_keyfind_1.cnf",1,"minisathackMiniSAT_2.2.0.agile.26",708,2664,450,2204,0.5733,0.2087,0.2042,0.4628,0.6186,0,1,1.4091,0.0078,0.1654,0.0044,0.0111,0.8766,0,0.0181,0.4828,0.0078,0.291,0.0032,0.0154,2.6635,0.0509,0.0691,0,0.25,1.782,0.0032,0.3008,9e-04,0.0059,2.0382,0.4079,0.0041,0.28,0.0023,0.0068,0.0124,0.2085,0.0041,0.0231,3.0849,0.3195,0.1705,0.1679,0.5205,3.0479,6.9777,0.0752,6,8,0.7798,3820.6,0.0907,3424,4308,4308,3424,4157,3584,3630,28.6541,0.1127,22.6206,31.6459,31.6459,22.6206,30.4842,28.0907,30.4289,0.0726,1.33,0,0.3961,0.2242,2e-04,0.1022,0.0027,0.0252,0.0676,0.6556,0.0081,0.135,0.1317,0.017,0.1112,0.0196,0.0533,29.9925,0.1611,71.1772,0.0776,71,64,78,0.8096,0.2236,0.7884,0.0491,29.7032,0.1287,71.4157,0.0771,71,64,79,0.4198,0.3707,0.7879,0.045,0.2681,0.6344
"./SAT11/application/kullmann/AES/Benchmarks/32/aes_32_4_keyfind_1.cnf",1,"none",912,3488,602,2976,0.515,0.172,0.2023,0.4648,0.6051,0,1,1.3961,0.0059,0.1635,0.0033,0.0083,0.8682,0,0.0161,0.4731,0.0059,0.2829,0.0024,0.0114,2.6419,0.0501,0.0683,0,0.25,1.7705,0.0024,0.2931,7e-04,0.0044,1.9881,0.4036,0.003,0.2773,0.0017,0.005,0.0093,0.2021,0.003,0.0171,3.0454,0.317,0.1725,0.1679,0.5205,3.0201,7.5624,0.0906,6,9,1.0381,3413.6667,0.0704,3109,3760,3760,3109,3627,3120,3459,28.9047,0.0934,23.8311,31.5659,31.5659,23.8311,31.0301,27.1097,30.6519,0.0721,1.3317,0,0.3961,0.2247,1e-04,0.1023,0.0027,0.0252,0.068,0.6657,0.008,0.135,0.1317,0.0165,0.1112,0.0188,0.0541,39.6968,0.1742,93.6968,0.0716,94,86,102,0.7724,0.2315,0.7878,0.348,39.1002,0.1115,93.781,0.0679,94,85,102,0.3658,0.3585,0.7813,0.0404,0.2396,0.581
"./SAT11/application/kullmann/AES/Benchmarks/32/aes_32_5_keyfind_1.cnf",1,"none",1116,4312,754,3748,0.4801,0.1505,0.2012,0.4671,0.5919,0,1,1.383,0.0047,0.1624,0.0027,0.0066,0.863,0,0.0149,0.4674,0.0047,0.2778,0.0019,0.0091,2.6242,0.0496,0.0678,0,0.25,1.7617,0.0019,0.2743,5e-04,0.0035,1.9276,0.4053,0.0024,0.2757,0.0013,0.004,0.0074,0.198,0.0024,0.0136,3.0157,0.3155,0.1736,0.1679,0.5205,2.9972,8.2616,0.0966,6,10,1.1867,2575.7143,0.1759,1915,3455,3455,1915,2864,2244,2494,38.1191,0.3105,21.9368,51.5068,51.5068,21.9368,49.4723,22.0616,40.0373,0.0719,1.3328,0,0.3961,0.2247,0,0.1024,0.0027,0.0252,0.0682,0.6715,0.008,0.135,0.1317,0.0164,0.1115,0.0186,0.0566,49.1803,0.1246,116.193,0.0613,116,107,125,0.744,0.2113,0.7774,0.0385,48.3944,0.1019,116.141,0.0604,116,107,125,0.3364,0.351,0.7764,0.0374,0.2167,0.5187
"./SAT11/application/kullmann/AES/Benchmarks/64/aes_64_1_keyfind_1.cnf",1,"minisathackreferenceminisat_2.2.0",596,2780,400,2248,0.49,0.2367,0.1779,0.4078,0.7612,0,1,1.7006,0.01,0.2679,0.005,0.0125,1.2058,0,0.0925,0.3915,0.01,0.598,0.004,0.0245,2.5435,0.0291,0.0554,0,0.25,1.3606,0.0023,0.5681,9e-04,0.0053,2.1308,0.2896,0.0039,0.5388,0.0022,0.0089,0.021,0.367,0.004,0.036,3.4383,0.3095,0.2269,0.1812,0.48,2.7607,6.8246,0.0671,6,8,0.6472,4162.8,0.0268,4019,4308,4308,4019,4241,4048,4198,34.5179,0.0259,33.5969,36.2291,36.2291,33.5969,34.2768,34.2391,34.2478,0.0495,1.5776,0,0.4255,0.152,0,0.0564,5e-04,0.0096,0.0766,0.6059,0.0029,0.1441,0.1366,0.0033,0.1107,0.041,0.0906,26.5609,0.1732,60.1062,0.0854,60,54,67,0.8348,0.219,0.7483,0.0576,24.5506,0.1419,60.1676,0.0852,60,54,67,0.4246,0.3491,0.7384,0.0541,0.3155,0.7712
"./SAT11/application/kullmann/AES/Benchmarks/64/aes_64_2_keyfind_1.cnf",1,"none",1000,5176,800,4624,0.25,0.1194,0.173,0.4086,0.7394,0,1,1.6866,0.005,0.2575,0.0025,0.0063,1.164,0,0.0623,0.4083,0.005,0.5659,0.0019,0.0119,2.5928,0.0285,0.0542,0,0.25,1.3517,0.001,0.5948,4e-04,0.0026,2.0727,0.2608,0.002,0.508,0.0011,0.0043,0.0103,0.3475,0.0019,0.0175,3.4912,0.2971,0.2135,0.1812,0.48,2.8264,7.2766,0.0645,6,8,0.6517,1143.8235,0.3313,672,1826,1762,684,1367,813,1158,27.8822,0.1771,21.5536,40.1166,36.0027,21.8314,29.513,24.5916,26.9426,0.0484,1.5697,0,0.4241,0.1518,0,0.0573,0,0.0099,0.0774,0.6562,0.0031,0.1449,0.1402,0.0035,0.1343,0.0286,0.0927,51.1516,0.1598,115.901,0.0663,116,107,125,0.7342,0.2266,0.7414,0.0785,47.13,0.1144,115.851,0.0587,116,107,124,0.2911,0.3625,0.7304,0.04,0.239,0.5918
"./SAT11/application/kullmann/AES/Benchmarks/64/aes_64_3_keyfind_1.cnf",1,"none",1404,7572,1200,7000,0.17,0.0817,0.1714,0.41,0.7311,0,1,1.68,0.0033,0.254,0.0017,0.0042,1.1463,0,0.0526,0.4137,0.0033,0.5553,0.0013,0.0079,2.5736,0.0283,0.0537,0,0.25,1.3434,7e-04,0.6006,3e-04,0.0017,2.0499,0.2519,0.0013,0.4976,7e-04,0.0029,0.0068,0.3414,0.0013,0.0116,3.4733,0.2936,0.2098,0.1812,0.48,2.7984,7.8816,0.0583,7,9,0.6567,513.8276,0.4388,261,985,915,314,656,336,396,23.3557,0.1589,17.8623,36.9847,28.4165,20.0135,24.5163,21.5681,22.7812,0.048,1.5673,0,0.4241,0.1518,0,0.0577,0,0.0099,0.0779,0.6691,0.0031,0.1448,0.1405,0.0036,0.1358,0.0181,0.0956,75.6326,0.1176,170.293,0.0486,170,160,181,0.6814,0.2145,0.7343,0.0341,68.8766,0.0892,170.135,0.0489,170,159,181,0.2421,0.3155,0.7244,0.0306,0.201,0.4727
"./SAT11/application/kullmann/AES/Benchmarks/64/aes_64_4_keyfind_1.cnf",1,"none",1808,9968,1600,9376,0.13,0.0631,0.1706,0.4105,0.7273,0,1,1.6765,0.0025,0.2523,0.0013,0.0031,1.1366,0,0.0478,0.4164,0.0025,0.5499,0.001,0.0059,2.5565,0.0282,0.0535,0,0.25,1.3382,5e-04,0.6054,2e-04,0.0013,2.0269,0.2465,0.001,0.4924,5e-04,0.0021,0.0051,0.3384,0.001,0.0086,3.4508,0.2919,0.2076,0.1812,0.48,2.7773,8.5147,0.07,7,10,0.8975,817.3929,0.5095,231,1717,1623,294,1078,488,809,20.638,0.2209,13.9757,30.1963,26.0097,14.5083,24.3169,17.2028,20.5646,0.0478,1.5661,0,0.4241,0.152,0,0.0577,0,0.0099,0.0782,0.6751,0.0031,0.1448,0.1406,0.0037,0.1363,0.0166,0.099,101.689,0.316,224.305,0.0628,225,212,237,0.6525,0.224,0.7299,0.0556,90.8446,0.0757,225.147,0.0447,225,213,239,0.2116,0.2888,0.7235,0.0268,0.1801,0.4759
"./SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf",1,"CryptoMiniSat_Strange.Night2.st_fixed_",95456,477186,30161,192101,2.1649,1.484,0.157,0.3827,1.2592,0,1,0.8474,1e-04,1.9304,1e-04,0.0021,0.2193,0,0.9701,0.9791,1e-04,1.2604,0,0.0011,2.5028,0.185,0.1617,0,1,2.4951,1e-04,1.6043,0,0.0011,2.3388,0.9666,4e-04,0.735,0,0.0019,3e-04,1.4321,0,0.0043,4.0246,0.1611,0.8968,0.0054,0.6667,3.2133,25.959,0.0202,25,27,0.7789,102.4,1.0666,19,410,410,27,123,31,72,392.0489,0.3739,165.4487,609.0857,609.0857,218.3008,497.0526,272.922,413.8387,0.6662,0.5398,0,1,0.9428,0.0679,0.9362,0.2846,0.915,0.0776,1.4889,0,0.5198,0.249,0.0028,0.218,0.0054,0.0073,12427,1.7251,7844,0.866,11736,0,11736,6.3758,1.131,2.2754,0.9908,91.8,0.0891,11883.9,0.0044,11890.5,11792,11930,0.552,0.131,0.9749,9e-04,0.5738,0.6979
"./SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf",1,"none",95456,483561,30284,195720,2.152,1.4707,0.1547,0.3787,1.2703,0,1,0.8415,1e-04,1.9209,1e-04,0.0021,0.2144,0,0.9709,0.9795,1e-04,1.2516,0,0.0011,2.5168,0.1895,0.1659,0,1,2.5225,1e-04,1.5869,0,0.001,2.3717,0.9674,4e-04,0.7361,0,0.0018,2e-04,1.4434,0,0.0043,4.009,0.1608,0.8922,0.0053,0.6667,3.1893,25.9162,0.0187,25,27,0.7041,77.4615,0.7312,11,193,164,17,106,24,70,285.8921,0.5155,116,549.2727,520,125.3316,373.6818,179.6404,202.8396,0.6673,0.5392,0,1,0.943,0.0678,0.9364,0.2878,0.916,0.0775,1.4916,0,0.5198,0.2491,0.0025,0.218,0.0053,0.0072,5815.33,1.717,8000,0.8662,11868,0,11868,3.5269,0.6756,1.1738,0.2926,684.909,2.8915,10847.4,0.3318,11932,11712,11985,0.9744,1.3864,0.9928,0.0569,0.5798,0.706
"SAT-Race-2010-CNF/cryptography/mizh/md5_48_3.cnf",1,"CryptoMiniSat_Strange.Night2.st_fixed_",66892,279258,26689,157349,1.5064,0.7748,0.1696,0.4056,0.4117,0,1,1.0047,1e-04,0.1822,1e-04,2e-04,0.9018,0,0.0718,0.5407,1e-04,0.6085,0,5e-04,2.3627,0.0205,0.0385,0,0.3333,0.9718,1e-04,0.5909,0,2e-04,2.0658,0.5294,0,0.4883,0,2e-04,2e-04,0.4276,0,5e-04,3.7057,0.2765,0.2245,0.1026,0.4822,3.0849,12.7156,0.0355,12,13,0.5971,298.3158,0.4528,141,628,545,167,359,185,276,7.0779,0.2041,5.3143,11.8801,8.9538,5.8266,7.4907,6.1107,6.6453,0.082,1.7491,0,0.6755,0.3671,0,0.0878,1e-04,0.0104,0.0312,0.5777,0,0.1579,0.0485,1e-04,0.0407,0.0231,0.0291,2033.5,0.0337,5275,0.008,5275,5245,5245,0.8343,0.1312,0.8414,0.0056,2339.14,0.026,5300.29,0.008,5290,5264,5314,0.1834,0.128,0.8597,0.0028,0.0331,0.0875
"SAT-Race-2010-CNF/cryptography/mizh/sha0_36_5.cnf",1,"minisathackcir_minisat_2011.05.13_simp_",50073,210223,20577,120346,1.4334,0.7468,0.171,0.4093,0.4341,0,1,1.0359,2e-04,0.1864,1e-04,2e-04,0.9174,0,0.0807,0.5286,2e-04,0.5124,0,5e-04,2.5577,0.0189,0.0382,0,0.4,0.8221,1e-04,0.5015,0,2e-04,2.3058,0.5289,1e-04,0.5197,0,2e-04,3e-04,0.4278,0,7e-04,3.7307,0.2547,0.2817,0.0887,0.5714,3.2829,13.3354,0.0354,13,14,0.6379,256.62,0.3151,104,459,403,167,307,197,241,8.1953,0.26,5.1929,17.0385,11.6537,6.1667,9.0261,6.7563,7.7176,0.0753,1.9015,0,0.7618,0.3649,0,0.061,1e-04,0.0044,0.0308,0.7281,0,0.2106,0.0447,7e-04,0.0415,0.0222,0.0262,1458.33,0.2564,3921.67,0.0087,3904,3900,3904,0.7574,0.3888,0.8154,0.0319,1800.38,0.023,3950.08,0.0087,3949,3905,3984,0.1939,0.2719,0.8436,0.0042,0.0345,0.1053
"SAT_RACE08/cnf/ibm-2004-01-k90.cnf",1,"minisathackminisat_psm_2011.04.01",64699,276210,34963,212546,0.8505,0.2995,0.1645,0.3638,1.0647,0,1,1.7411,1e-04,0.6092,1e-04,5e-04,1.4353,0,0.5476,0.7126,1e-04,1.0046,0,0.0014,3.1401,0.1717,0.1445,0,0.8333,3.0442,0,0.878,0,6e-04,2.8098,0.6184,1e-04,0.7817,0,0.0011,3e-04,1.0125,0,0.0024,4.5478,0.2112,0.7039,0.0165,0.7449,3.5862,69.0244,0.172,49,89,3.6798,431.9,0.6094,43,956,956,170,545,221,453,12.2902,0.2736,4,16.7733,16.7733,10.1674,14.9786,11.3588,12.5982,0.512,0.5676,0,0.9926,0.8666,0.0795,0.7816,0.2581,0.5714,0.0349,1.2397,0,0.2337,0.0892,0.0027,0.0497,0.0071,0.0174,1045,0,10675,0,10675,10675,10675,1.0326,0,0.9167,0,2439,0.5718,8555,0.559,10665,0,10688,0.9366,1.3326,0.9809,0.1002,0.0602,0.138
"SAT_RACE08/cnf/mizh-sha0-36-4.cnf",1,"QuteRSat_2011.05.12_fixed_",50073,210235,20573,120343,1.4339,0.747,0.171,0.4093,0.434,0,1,1.0358,2e-04,0.1863,1e-04,2e-04,0.9173,0,0.0806,0.5286,2e-04,0.5122,0,5e-04,2.5571,0.0189,0.0382,0,0.2727,0.8222,1e-04,0.5013,0,2e-04,2.3062,0.529,1e-04,0.5196,0,2e-04,3e-04,0.4277,0,7e-04,3.7308,0.2547,0.2818,0.0887,0.5714,3.2831,13.3497,0.0357,13,14,0.6473,261.4889,0.2681,115,506,329,175,304,213,252,7.9491,0.1737,5.6316,11.8522,9.7273,6.1803,8.9906,6.9921,7.8831,0.0751,1.9019,0,0.6533,0.3646,0,0.0606,1e-04,0.0044,0.0308,0.7284,0,0.2106,0.0447,7e-04,0.0417,0.0222,0.0262,4521.67,1.3208,2648,0.866,3966,0,3966,2.137,1.418,3.8236,1.373,1935.54,0.2641,3632.08,0.3006,3924,3894,3970,0.3415,1.7856,0.8856,0.1774,0.0339,0.108
"SAT_RACE08/Q1/SAT_dat.k80_04.cnf",1,"minisathackreferenceminisat_2.2.0",104450,457628,42375,262415,1.4649,0.7439,0.1615,0.3431,1.1177,0,1,1.7444,1e-04,0.6552,0,5e-04,1.4537,0,0.5867,0.7264,1e-04,0.7639,0,7e-04,3.4336,0.166,0.1523,0,1,3.3371,0,0.7294,0,2e-04,2.8477,0.6251,1e-04,0.6814,0,5e-04,2e-04,0.8601,0,0.0012,4.5443,0.2051,0.535,0.0241,0.9048,3.6479,44.9182,0.0227,43,49,1.3044,1084.4,0.2459,786,1461,1461,786,1295,801,1079,15.0612,0.2435,9.3906,19.2019,19.2019,9.3906,18.7166,12.9157,15.0811,0.5169,0.576,0,1,0.8864,0.085,0.7874,0.2419,0.5462,0.0321,1.1492,0,0.7341,0.0872,8e-04,0.0477,0.0057,0.0178,2183,0,13576,0,13576,13576,13576,2.0844,0,0.9474,0,2365.8,0.0213,13619.8,0.0053,13614,13529,13664,0.5432,0.1243,0.9507,0.0025,0.0562,0.6272