## % [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_Competition2007/crafted/Medium/contest05/pebbling/sat-grid-pbl-0200.sat05-1339.reshuffled-07.cnf are NA although the corresponding feature step is not OK. ## % [WARNING]: Not all features of SAT_Competition2009/CRAFTED/Difficult/contest05/sabharwal/grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf are NA although the corresponding feature step is not OK. ## % [WARNING]: Not all features of SAT_Competition2007/crafted/Medium/contest05/pebbling/sat-grid-pbl-0070.sat05-1334.reshuffled-07.cnf are NA although the corresponding feature step is not OK. ## % Read SAT12-HAND/description.txt ## % Read SAT12-HAND/algorithm_runs.arff ## % Read SAT12-HAND/feature_values.arff ## % Read SAT12-HAND/feature_runstatus.arff ## % Read SAT12-HAND/ground_truth.arff ## % Read SAT12-HAND/feature_costs.arff ## % Read /Users/Pascal/Documents/repos/coseal/data/SAT12-HAND/cv.arff ## % 1-th repetition: 77,77,76,76,77,77,76,77,77,77 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: 767 ## % Incomplete Feature Vector: 433 ## % Unsolvable Instances (status): 229 ## % Valid Instances: 250 ## % Presolved: 5 ## % Average Feature Costs on all features: 49.0386