Format Manual: Geracol $\rightarrow$ PPL

This file is called saida.txt. Its structure is presented in the following lines with some explanation.

INICIO

HINI start of processing date and hour.

ARQ name of the file.

RSL S for a consistent problems, N for inconsistents and F for fail.

MIN lower probability value for the inferred sentence.

MAX upper probability value for the inferred sentence.

TMPC approximated total time of processing of the Restricted Master Problem(RMP).

TMPI approximated total time of processing of Subproblem (SP).

ITEC number of iterations to solve the RMP.

ITEI number of iterations to solve the SP.

ITGC number of iterations of the columm generator method.

ITEX total number of times that SP was solved with the standard parameters definitions.

HFIM end of processing date and hour.

FIM

Below is presented a simple example of the file:

INICIO

HINI Sab Aug 11 16:12:12 2007

ARQ ppl_file.txt

RSL S

MIN 2.000000e-001

MAX 5.000000e-001

TMPC 3.200000e-002

TMPI 1.560000e-001

ITGC 18

ITEX 2

HFIM Fri Feb 23 18:55:12 2007

FIM