Input task information
GCL file name%G{v%SOL_GCLNAME} 
Data input file name%G{v%SOL_INPUTNAME} 
Solution file name%G{v%SOL_SOLNAME} 
Created%G{v%SOL_CREATEDDAY}.%G{v%SOL_CREATEDMONTH}.%G{v%SOL_CREATEDYEAR} %G{v%SOL_CREATEDHOUR}:%G{v%SOL_CREATEDMINUTE}Created by%G{v%SOL_CREATEDBY}
Number of processed objects%G{if%SOL_COUNTOBJ%=-65535}%G{else}%G{v%SOL_COUNTOBJ}%G{fi} Number of accepted objects%G{v%SOL_COUNTTAKEN} 
Processing of missing inf.%G{if%SOL_XXKERNEL%=OPT}OPT%G{else}%G{if%SOL_XXKERNEL%=DEL}DEL%G{else}%G{if%SOL_XXKERNEL%=SEC}SEC%G{else}XXSEC%G{fi}%G{fi}%G{fi}Table size%G{if%SOL_FTSIZE%=4}2x2%G{else}%G{if%SOL_FTSIZE%=9}3x3%G{else}%G{if%SOL_FTSIZE%=8}2x2x2%G{else}3x3x2%G{fi}%G{fi}%G{fi}
First quantifier%G{file%%QF_Name.htm}Second quantifier%G{file%%QS_Name.htm}
First parameter - %G{file%%QF_D1.htm}%G{if%SOL_Q1D1%=-65535} %G{else}%G{v%SOL_Q1D1}%G{fi}First parameter - %G{file%%QS_D1.htm}%G{if%SOL_Q2D1%=-65535} %G{else}%G{v%SOL_Q2D1}%G{fi}
Second parameter - %G{file%%QF_D2.htm}%G{if%SOL_Q1D2%=-65535} %G{else}%G{v%SOL_Q1D2}%G{fi}Second parameter - %G{file%%QS_D2.htm}%G{if%SOL_Q2D2%=-65535} %G{else}%G{v%SOL_Q2D2}%G{fi}
Base%G{v%SOL_BASE%}Basant%G{v%SOL_BASANT}
Minimal antecedent length%G{v%SOL_LENGTHMINANT}Maximal antecedent length%G{v%SOL_LENGTHMAXANT}
Minimal succedent length%G{v%SOL_LENGTHMINSUC}Maximal succedent length%G{v%SOL_LENGTHMAXSUC}