**********
*ProGolem*
**********
theory_construction_mode=incremental, i=2, progolem_mode=single, (K) progolem_iteration_sample_size=5, (N) progolem_beam_width=2, evalfn=compression (except DSSTox=coverage)

Classical:
                   Accuracy  Stdev   Time
Alzheimers_amine:  76.1%      4.4%    36s
Carcino:           63.0%      7.2%   649s
DSSTox:            68.6%      4.5%   993s
Metabolism:        63.9%     11.6%   691s
Proteins:          62.3%            2349s
Pyrimidines:       75.3%              19s

Phase transition:
theory_construction_mode=incremental, clause_evaluation=advanced, i=2, progolem_mode=single, (K) progolem_iteration_sample_size=10, (N) progolem_beam_width=2, evalfn=compression

              Accuracy       Time
6                98.0%         7s
7                99.5%        15s
8                97.5%        40s
10               97.0%        45s
11               99.0%        36s
14               93.5%        47s
16               76.0%       501s
17               71.0%       485s

*******
*Aleph*
*******
search=bf, evalfn=compression (except DSSTox=coverage), i=3, nodes=1.000, clauselength=5

Classical:
                   Accuracy  Stdev   Time
Alzheimers_amine:  76.2%      3.8%   162s
Carcino:           59.7%      6.3%    58s
DSSTox:            72.6%      6.9%   239s
Metabolism:        62.1%      6.2%    32s
Proteins:          49.5%             207s
Pyrimidines:       73.7%              23s

Phase transition:
search=heuristic, evalfn=compression, i=3, nodes=100.000, clauselength=20

              Accuracy       Time
6                99.5%         1s
7                99.5%       254s
8                 100%        23s
10               50.0%      3596s
11               50.0%      3708s
14               96.0%       365s
16               50.0%      4615s
17               50.0%      4668s
