# Format of the E protocol files for FP-Indexing experiments (3rd and
# final data set).  

Columns numbers start at 0.
All values refer to the final proof state after termination.

00 Problem name
01 Status         ([T]heorem, [N]on-theorem, [F]ailure)
02 CPU Time 
03 Reason for termination
04 Number of processed clauses
05 Unification attempts
06 Unification successes
07 Number of generated clauses
08 Number of paramodulations
09 Size of the processed clause set
10 Size of the unprocessed clause set
11 Time for unification
12 Time for saturation
13 Time for paramodulation
14 Time for paramodulation index maintenance 
15 Time for backwards rewriting
16 Time for backwards rewriting index maintenance 
17 Dummy
18 Dummy
19 Dummy
20 Backward-rewriting match attempts
21 Backward rewriting match successes