## % [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]: Not all features of SAT_Competition2011/SAT05/industrial/maris05/DriverLog/driverlog1_ks99i.renamed-as.sat05-3951.cnf are NA although the corresponding feature step is not OK. ## % Read SAT12-INDU/description.txt ## % Read SAT12-INDU/algorithm_runs.arff ## % Read SAT12-INDU/feature_values.arff ## % Read SAT12-INDU/feature_runstatus.arff ## % Read SAT12-INDU/ground_truth.arff ## % Read SAT12-INDU/feature_costs.arff ## % Read /Users/Pascal/Documents/repos/coseal/data/SAT12-INDU/cv.arff ## % 1-th repetition: 116,117,117,117,116,117,116,117,117,117 distribution ## % Used features: cl_num_max,SP_bias_q25,cl_num_q50,VG_mean,SP_unconstraint_min,saps_FirstLocalMinRatio_Mean,SP_unconstraint_max,cl_size_q50,lobjois_mean_depth_over_vars,SP_unconstraint_q50,CG_entropy,POSNEG_RATIO_CLAUSE_coeff_variation,POSNEG_RATIO_VAR_max,VCG_VAR_max,POSNEG_RATIO_VAR_entropy,POSNEG_RATIO_VAR_min,HORNY_VAR_max,SP_bias_q50,gsat_FirstLocalMinRatio_Mean,cl_size_coeff_variation,HORNY_VAR_coeff_variation,VCG_VAR_min,nvars,gsat_FirstLocalMinStep_Median,HORNY_VAR_entropy,HORNY_VAR_min,SP_bias_coeff_variation,reducedClauses,saps_FirstLocalMinStep_Median,BINARYp,gsat_BestAvgImprovement_CoeffVariance,cl_num_q75,nvarsOrig,CG_coeff_variation,cl_size_q75,POSNEG_RATIO_CLAUSE_max,nclauses,saps_FirstLocalMinStep_Q90,SP_unconstraint_q75,saps_FirstLocalMinStep_Q10,cluster_coeff_mean,VCG_CLAUSE_coeff_variation,cl_num_mean,cl_size_mean,POSNEG_RATIO_CLAUSE_min,POSNEG_RATIO_VAR_mean,POSNEG_RATIO_CLAUSE_mean,CG_min,saps_FirstLocalMinStep_Mean,CG_max,DIAMETER_mean,SP_bias_max,VCG_VAR_entropy,gsat_BestSolution_CoeffVariance,gsat_FirstLocalMinStep_Q90,cl_num_min,saps_FirstLocalMinRatio_CoeffVariance,SP_unconstraint_coeff_variation,POSNEG_RATIO_CLAUSE_entropy,cl_size_min,VCG_VAR_mean,reducedVars,cl_num_q10,DIAMETER_coeff_variation,gsat_FirstLocalMinStep_Mean,VG_min,cl_size_q90,VCG_VAR_coeff_variation,VG_max,SP_unconstraint_q10,SP_bias_min,gsat_FirstLocalMinStep_Q10,cl_size_q10,UNARY,gsat_BestAvgImprovement_Mean,SP_unconstraint_q90,SP_bias_q75,cl_size_max,saps_BestAvgImprovement_CoeffVariance,VCG_CLAUSE_min,vars_clauses_ratio,SP_bias_q10,nclausesOrig,VG_coeff_variation,gsat_BestSolution_Mean,SP_unconstraint_q25,SP_bias_mean,cluster_coeff_min,POSNEG_RATIO_VAR_stdev,cluster_coeff_max,cl_num_q90,DIAMETER_max,HORNY_VAR_mean,VCG_CLAUSE_max,DIAMETER_min,DIAMETER_entropy,CG_mean,cl_num_coeff_variation,gsat_FirstLocalMinRatio_CoeffVariance,SP_unconstraint_mean,saps_BestSolution_Mean,horn_clauses_fraction,saps_BestAvgImprovement_Mean,SP_bias_q90,saps_BestSolution_CoeffVariance,cl_num_q25,TRINARYp,VCG_CLAUSE_mean,cluster_coeff_entropy,VCG_CLAUSE_entropy,cl_size_q25,gsat_FirstLocalMinStep_CoeffVariance,lobjois_log_num_nodes_over_vars,cluster_coeff_coeff_variation,saps_FirstLocalMinStep_CoeffVariance ## % ## % Check Consistency and Completeness of input data ## % Instances: 1167 ## % Incomplete Feature Vector: 799 ## % Unsolvable Instances (status): 209 ## % Valid Instances: 289 ## % Presolved: 43 ## % Average Feature Costs on all features: 102.8542