## % [WARNING]: Not found: MAXSAT12-PMS/ground_truth.arff (maybe you want to add it) ## % [WARNING]: Cannot read ALGORITHM_CUTOFF_MEMORY ## % [WARNING]: Cannot read FEATURES_CUTOFF_MEMORY ## % [WARNING]: Have not found algorithm_cutoff_memory ## % [WARNING]: Have not found features_cutoff_memory ## % [WARNING]: Have not found algorithms_stochastic ## % [WARNING]: Feature vector found twice: 150.0,10878.0,0.01379,1.0,0.0,1.0,1.0,0.01379,0.01324,0.0,0.01232,0.0137,0.00138,0.01324,0.05872,0.00667,0.01333,0.00667,0.99306,0.0,0.99254,0.99329,0.00075,0.98621,0.11822,0.0,1.0,1.0,0.01379,1.0,1.0,9e-05,0.0,9e-05,9e-05,0.0,0.01379 ## % [WARNING]: Feature vector found twice: 2192.0,10654.0,0.0077,1.0,0.0,1.0,1.0,0.20574,0.00125,0.48708,0.00038,0.00563,0.00526,0.00125,0.27066,0.00046,0.0146,0.01414,0.43439,0.16507,0.25,0.80769,0.55769,0.43244,0.50112,0.0,1.0,1.0,0.01455,0.3364,0.92698,0.00077,0.0,9e-05,0.00507,0.00497,0.66416 ## % [WARNING]: Feature vector found twice: 2192.0,10654.0,0.0077,1.0,0.0,1.0,1.0,0.20574,0.00125,0.48708,0.00038,0.00563,0.00526,0.00125,0.27066,0.00046,0.0146,0.01414,0.43439,0.16507,0.25,0.80769,0.55769,0.43244,0.50112,0.0,1.0,1.0,0.01455,0.3364,0.92698,0.00077,0.0,9e-05,0.00507,0.00497,0.66416 ## % [WARNING]: Feature vector found twice: 2354.0,11895.0,0.00689,1.0,0.0,1.0,1.0,0.1979,0.00118,0.47726,0.00034,0.00504,0.00471,0.00118,0.26413,0.00042,0.01359,0.01317,0.4357,0.16514,0.25,0.80769,0.55769,0.43388,0.49879,0.0,1.0,1.0,0.0132,0.30702,0.92072,0.00071,0.0,8e-05,0.00454,0.00446,0.65019 ## % [WARNING]: Feature vector found twice: 774.0,2496.0,0.03285,1.0,0.0,1.0,1.0,0.3101,0.00291,0.30815,0.0008,0.00721,0.00641,0.00291,0.36376,0.00129,0.04134,0.04005,0.42496,0.18387,0.22222,0.71429,0.49206,0.40338,0.54445,0.0,1.0,1.0,0.04848,0.72516,0.99319,0.00234,0.0,0.0004,0.00721,0.00681,0.86058 ## % [WARNING]: Feature vector found twice: 2354.0,11895.0,0.00689,1.0,0.0,1.0,1.0,0.1979,0.00118,0.47726,0.00034,0.00504,0.00471,0.00118,0.26413,0.00042,0.01359,0.01317,0.4357,0.16514,0.25,0.80769,0.55769,0.43388,0.49879,0.0,1.0,1.0,0.0132,0.30702,0.92072,0.00071,0.0,8e-05,0.00454,0.00446,0.65019 ## % [WARNING]: Feature vector found twice: 2354.0,11895.0,0.00689,1.0,0.0,1.0,1.0,0.1979,0.00118,0.47726,0.00034,0.00504,0.00471,0.00118,0.26413,0.00042,0.01359,0.01317,0.43571,0.16509,0.25,0.80769,0.55769,0.43388,0.49879,0.0,1.0,1.0,0.0132,0.30702,0.92072,0.00071,0.0,8e-05,0.00454,0.00446,0.65019 ## % [WARNING]: Feature vector found twice: 2354.0,11895.0,0.00689,1.0,0.0,1.0,1.0,0.1979,0.00118,0.47726,0.00034,0.00504,0.00471,0.00118,0.26413,0.00042,0.01359,0.01317,0.43571,0.16509,0.25,0.80769,0.55769,0.43388,0.49879,0.0,1.0,1.0,0.0132,0.30702,0.92072,0.00071,0.0,8e-05,0.00454,0.00446,0.65019 ## % [WARNING]: Feature vector found twice: 2354.0,11895.0,0.00689,1.0,0.0,1.0,1.0,0.1979,0.00118,0.47726,0.00034,0.00504,0.00471,0.00118,0.26413,0.00042,0.01359,0.01317,0.43571,0.16509,0.25,0.80769,0.55769,0.43388,0.49879,0.0,1.0,1.0,0.0132,0.30702,0.92072,0.00071,0.0,8e-05,0.00454,0.00446,0.65019 ## % [WARNING]: Feature vector found twice: 2354.0,11895.0,0.00689,1.0,0.0,1.0,1.0,0.1979,0.00118,0.47726,0.00034,0.00504,0.00471,0.00118,0.26413,0.00042,0.01359,0.01317,0.43571,0.16509,0.25,0.80769,0.55769,0.43388,0.49879,0.0,1.0,1.0,0.0132,0.30702,0.92072,0.00071,0.0,8e-05,0.00454,0.00446,0.65019 ## % [WARNING]: Feature vector found twice: 5998.0,29176.0,0.00343,1.0,0.0,1.0,1.0,0.20558,0.00046,0.44914,7e-05,0.0026,0.00254,0.00046,0.26143,0.00017,0.00367,0.0035,0.4374,0.17539,0.16667,0.83871,0.67204,0.43299,0.49346,0.0,1.0,1.0,0.00891,0.35029,0.92055,0.00029,0.0,3e-05,0.00247,0.00243,0.68056 ## % [WARNING]: Feature vector found twice: 1102.0,5553.0,0.01477,1.0,0.0,1.0,1.0,0.19845,0.00265,0.51899,0.00072,0.01117,0.01044,0.00265,0.29882,0.00091,0.02904,0.02813,0.43169,0.16086,0.25,0.80769,0.55769,0.42641,0.53759,0.0,1.0,1.0,0.02791,0.23087,0.8599,0.00146,0.0,0.00018,0.00972,0.00954,0.59283 ## % [WARNING]: Feature vector found twice: 1102.0,5553.0,0.01477,1.0,0.0,1.0,1.0,0.19845,0.00265,0.51899,0.00072,0.01117,0.01044,0.00265,0.29882,0.00091,0.02904,0.02813,0.43169,0.16086,0.25,0.80769,0.55769,0.42641,0.53759,0.0,1.0,1.0,0.02791,0.23087,0.8599,0.00146,0.0,0.00018,0.00972,0.00954,0.59283 ## % [WARNING]: Feature vector found twice: 1183.0,6207.0,0.01321,1.0,0.0,1.0,1.0,0.19059,0.00251,0.52353,0.00064,0.00999,0.00934,0.00251,0.29305,0.00085,0.02705,0.0262,0.43192,0.16225,0.25,0.80769,0.55769,0.42721,0.53233,0.0,1.0,1.0,0.02529,0.21315,0.84292,0.00136,0.0,0.00016,0.0087,0.00854,0.5845 ## % [WARNING]: Feature vector found twice: 1183.0,6207.0,0.01321,1.0,0.0,1.0,1.0,0.19059,0.00251,0.52353,0.00064,0.00999,0.00934,0.00251,0.29305,0.00085,0.02705,0.0262,0.43192,0.16225,0.25,0.80769,0.55769,0.42721,0.53233,0.0,1.0,1.0,0.02529,0.21315,0.84292,0.00136,0.0,0.00016,0.0087,0.00854,0.5845 ## % Read MAXSAT12-PMS/description.txt ## % Read MAXSAT12-PMS/algorithm_runs.arff ## % Read MAXSAT12-PMS/feature_values.arff ## % Read MAXSAT12-PMS/feature_runstatus.arff ## % Read MAXSAT12-PMS/feature_costs.arff ## % Read /Users/Pascal/Documents/repos/coseal/data/MAXSAT12-PMS/cv.arff ## % 1-th repetition: 87,88,88,87,88,88,88,88,87,87 distribution ## % Used features: perc_soft,numClauses,vcg_var_std,vcg_var_mean,horn,unary,pnr_var_max,horn_max,binary,horn_mean,vcg_var_spread,pnr_cls_min,pnr_var_min,vcg_cls_min,trinary,vcg_cls_spread,vcg_var_max,vcg_cls_max,pnr_var_spread,pnr_cls_max,pnr_var_mean,horn_std,pnr_cls_mean,soft_std,vcg_var_min,numVars,pnr_cls_spread,soft_max,horn_spread,horn_min,pnr_var_std,pnr_cls_std,soft_mean,vcg_cls_std,var_clauses_ratio,soft_min,vcg_cls_mean ## % ## % Check Consistency and Completeness of input data ## % Instances: 876 ## % Incomplete Feature Vector: 0 ## % Unsolvable Instances (status): 129 ## % Valid Instances: 747 ## % Presolved: 0 ## % Average Feature Costs on all features: 0.1513