############# How to TDLLiteN TBox experiments

./F.sh {targetFolder} {#iterations} {time limit} {memory limit}

where:

 - targetFolder = folder where materials will be created. This folder also must contain
a config file with the parameter for random TBox.
 - #iterations = number of iterations for each TBox generated
 - time limit = upper time limit for the execution of each iteration (seconds)
 - memory limit = upper memory limit for the execution of each iteration (MB)

#### Running examples

./F.sh F-AVG-F/ 10 600 4096




############# How to TDLLite TBox experiments

./PF.sh {targetFolder} {#iterations} {time limit} {memory limit}

#### Running examples

./PF.sh F-AVG-PF/ 10 600 4096