Task definition
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} |