In order to reproduce the experiments given in Tables 1 and 2 in the RTAS'12 paper, 
you should modify the following lines in the Declarations such that they correspond to the configurations given in the first two columns of the tables. 

Each file contains a few constants that store the total number of pages of use cases. Below we present how they are declared in each model:

----------------------------------------------
DirectCopy_ProcessFromStore_Generated_Model:

const int dc_NP = 1;  // total number of pages using the direct copy use case
const int pfs_NP = 2; // total number of pages using the process from store use case


----------------------------------------------
DirectCopy_ProcessFromStore_Handcrafted_Model:

const int max_pages[use_case_no]={1,0,0,0,0,2}; 
//first index for the total number of pages using the direct copy use case
//last index for the total number of pages using the process from store use case


-----------------------------------------------
DirectCopy_SimplePrint_Generated_Model:

const int dc_NP = 1; // total number of pages using the direct copy use case
const int sp_NP = 1; // total number of pages using the simple print use case

-----------------------------------------------
DirectCopy_SimplePrint_Handcrafted_Model:

const int max_pages[use_case_no]={1,1,0,0,0,0};
//first index for the total number of pages using the direct copy use case
//second index for the total number of pages using the simple print use case
