#results_dir='./datasets/highOrder_PredicateInvention/2_cfg/linearCFG_deterministic_GP2_ExP5_Max20_result'  
#input_files=`ls ./datasets/highOrder_PredicateInvention/2_cfg/linearCFG_deterministic_GP2_ExP5_Max20/*.pl`
#input_files=`ls ./datasets/highOrder_PredicateInvention/2_cfg/rg_PreExperiments_metaGol200Length15/*.pl`	#rg_PreExperiments_metaGol200Length15
#%results_dir='./datasets/highOrder_PredicateInvention/2_cfg/rg_PreExperiments_metaGol200Length15_result'  
input_files=`ls ./datasets/highOrder_PredicateInvention/2_cfg/rg_PreExperiments_metaGol200Length15/*.pl`	#
results_dir='./datasets/highOrder_PredicateInvention/2_cfg/rg_PreExperiments_metaGol200Length15_resultFixBound10_skipLengthLongerThan10_timeLimit1000ms'  


rm -r ${results_dir}
mkdir ${results_dir}


for file in ${input_files}
do
	cat onePA_prolog_default.pl > onePA_prolog.pl
	cat oneTime_prolog_default.pl > oneTime_prolog.pl
	base_file=`basename ${file}`
  	dataset_id=`echo ${base_file} | sed -e 's/^exs_//' -e's/.pl$//'`
	  echo "Dataset: ${dataset_id}"
	yap -s2000000 -L -- pa.pl -- ${file} > ${results_dir}/${dataset_id}.pl
	cat onePA.pl >> ${results_dir}/${dataset_id}.pl
	cat oneTime.pl >> ${results_dir}/${dataset_id}.pl
	cat onePA.pl >> ${results_dir}/allPA.txt
	cat oneTime.pl >> ${results_dir}/allTime.txt
	cat onePA_prolog.pl >> ${results_dir}/allPA_prolog.pl
	cat oneTime_prolog.pl >> ${results_dir}/allTime_prolog.pl
done


yap -L -- final_calculation.pl -- ${results_dir}/allPA_prolog.pl > ${results_dir}/allPA_summary.txt
yap -L -- final_calculation.pl -- ${results_dir}/allTime_prolog.pl > ${results_dir}/allTime_summary.txt


