| | ||||
| Total number of problems: | 541 | (311/230) | (Horn/Non-Horn) | |
| Number of models generated: | 269 | (227/42) | ||
| Number of effective models generated: | 155 | (120/35) | ||
| | ||||
| PTTP | +GLiDeS | |||
|---|---|---|---|---|
| Number of problems solved from 269: | 66 | (60/6) | 59 | (51/8) |
| Number of problems solved from 155: | 21 | (16/5) | 20 | (13/7) |
| 18 problems (from 155) solved by both | ||||
| Average CPU Time: | 34.24 | 69.18 | ||
| Average Number of Inferences: | 119634.28 | 47812.22 | ||
| Average Number of Rej. Inferences: | 3896.78 | |||
| | ||||