PTTP | +GLiDeS | |||||
---|---|---|---|---|---|---|
Problem | Model | CPU time | Inferences | CPU time | Inferences | Rejected |
CAT003-3
| non-Trivial | timeout | 68.5 | 64232 | 10451 | |
CAT012-3
| Trivial | 54.6 | 175367 | 32.0 | 49220 | 4174 |
GRP008-1
| Trivial | timeout | 248.3 | 404198 | 3937 | |
SYN071-1
| non-Trivial | 262.8 | 832600 | 70.1 | 84908 | 27653 |