---

NUMBER OF FEATS: 5

NUMBER OF RULES BEFORE FILTERING: 378

NUMBER OF RULES AFTER FILTERING: 342

TIME TAKEN: 0.2 secs

---

NUMBER OF FEATS: 10

NUMBER OF RULES BEFORE FILTERING: 412

NUMBER OF RULES AFTER FILTERING: 364

TIME TAKEN: 0.1 secs

---

NUMBER OF FEATS: 15

NUMBER OF RULES BEFORE FILTERING: 735

NUMBER OF RULES AFTER FILTERING: 367

TIME TAKEN: 0.2 secs

---

NUMBER OF FEATS: 20

NUMBER OF RULES BEFORE FILTERING: 771

NUMBER OF RULES AFTER FILTERING: 388

TIME TAKEN: 0.2 secs

---

NUMBER OF FEATS: 25

NUMBER OF RULES BEFORE FILTERING: 1189

NUMBER OF RULES AFTER FILTERING: 457

TIME TAKEN: 0.3 secs

---

NUMBER OF FEATS: 30

NUMBER OF RULES BEFORE FILTERING: 2027

NUMBER OF RULES AFTER FILTERING: 468

TIME TAKEN: 0.7 secs

---

NUMBER OF FEATS: 35

NUMBER OF RULES BEFORE FILTERING: 9245

NUMBER OF RULES AFTER FILTERING: 1052

TIME TAKEN: 5.1 secs

---

NUMBER OF FEATS: 36

NUMBER OF RULES BEFORE FILTERING: 9474

NUMBER OF RULES AFTER FILTERING: 1091

TIME TAKEN: 5.3 secs

---

NUMBER OF FEATS: 37

NUMBER OF RULES BEFORE FILTERING: 56849

NUMBER OF RULES AFTER FILTERING: 1082

TIME TAKEN: 19.1 secs

---

NUMBER OF FEATS: 38

NUMBER OF RULES BEFORE FILTERING: 210933

NUMBER OF RULES AFTER FILTERING: 1086

TIME TAKEN: 99.9 secs

---

NUMBER OF FEATS: 39

NUMBER OF RULES BEFORE FILTERING: 210933

NUMBER OF RULES AFTER FILTERING: 1086

TIME TAKEN: 75.3 secs

---

NUMBER OF FEATS: 40

{ERROR: the atom table is full} [exceeded resource limits]