Automated Planning on Match (T)
40Solved CountPATTY
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| PATTYTime Limit=5 min, CPU=Intel Xeon Platinum 8000 3.1GHz, RAM=8 GB2026.02 | 40 | 3.1 | 3.2 | |
| TAMERTime Limit=5 min, CPU=Intel Xeon Platinum 8000 3.1GHz, RAM=8 GB2026.02 | 40 | 0.01 | — | |
| ANMLSMTTime Limit=5 min, CPU=Intel Xeon Platinum 8000 3.1GHz, RAM=8 GB2026.02 | 40 | 0.36 | 9 | |
| OPTICTime Limit=5 min, CPU=Intel Xeon Platinum 8000 3.1GHz, RAM=8 GB2026.02 | 40 | 0.01 | — | |
| ITSATTime Limit=5 min, CPU=Intel Xeon Platinum 8000 3.1GHz, RAM=8 GB2026.02 | 40 | 0.68 | 4 |