#results_dir='./datasets/regular_grammar/experiments/result'  
#input_files=`ls ./datasets/regular_grammar/experiments/samples/*.pl`

#results_dir='./datasets/context_free_grammar/experiments/sample_generation/regular_grammar/mcTopLog/result'  
#input_files=`ls ./datasets/context_free_grammar/experiments/sample_generation/regular_grammar/mcTopLog/*.pl`

results_dir='./combinedData/nh2_topLog'  

#results_dir='./datasets/context_free_grammar/experiments/sample_generation/regular_grammar/metaGol200Length15_result_switch'  
#input_files=`ls ./datasets/context_free_grammar/experiments/sample_generation/regular_grammar/metaGol200Length15/*.pl`




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