#YAP=../../../../../../homes/dl308/yap-6/bin/yap
YAP=../../../yap-6/bin/yap

#linearCFG_deterministic_P5_grammarSizeMax10_result_fixBound10
results_dir='./datasets/highOrder_PredicateInvention/2_cfg/metaGol200_result_NT10_skipLongerThan6_timeLimit120000'  
input_files=`ls ./datasets/highOrder_PredicateInvention/2_cfg/metaGol200/*.pl`
#input_files=`ls ./datasets/highOrder_PredicateInvention/2_cfg/rg_PreExperiments_metaGol200Length15/*.pl`	#rg_deterministic_P2_Max15_P9_Max20
#%results_dir='./datasets/highOrder_PredicateInvention/2_cfg/rg_PreExperiments_metaGol200Length15_result'  
#input_files=`ls ./datasets/highOrder_PredicateInvention/2_cfg/rg_deterministic_P2_Max15_P9_Max20/*.pl`	#
#results_dir='./datasets/highOrder_PredicateInvention/2_cfg/rg_deterministic_P2_Max15_P9_Max20_resultFixBound10'  


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


for file in ${input_files}
do
	base_file=`basename ${file}`
  	dataset_id=`echo ${base_file} | sed -e 's/^exs_//' -e's/.pl$//'`
	  echo "Dataset: ${dataset_id}"
    $YAP -L -- pa.pl -- ${file} > ${results_dir}/${dataset_id}.pl #-s10000
	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