Table 6.
Experiment | # Terms processed | # Normalized candsyns generated | # Matches | # Valid matches | # Mismatches | Processing time (in minutes) |
---|---|---|---|---|---|---|
S∞L∞ | 1,624 | 80,716,976 | 12 | 1 | 11 | 1,895.0 |
S2L5 | 1,176 | 136,902 | 12 | 1 | 11 | 3.7 |
S2L9 | 1,606 | 291,393 | 12 | 1 | 11 | 7.3 |
S4L5 | 1,176 | 677,856 | 12 | 1 | 11 | 16.4 |