Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Automated Planning on Match (T)
Loading...
40
Solved Count
PATTY
38
39
40
41
Feb 10, 2026
Solved Count
Time (s)
Bound
Updated 1mo ago
Evaluation Results
Method
Method
Links
Solved Count
Time (s)
Bound
PATTY
Time Limit=5 min, CPU=...
2026.02
40
3.1
3.2
TAMER
Time Limit=5 min, CPU=...
2026.02
40
0.01
-
ANMLSMT
Time Limit=5 min, CPU=...
2026.02
40
0.36
9
OPTIC
Time Limit=5 min, CPU=...
2026.02
40
0.01
-
ITSAT
Time Limit=5 min, CPU=...
2026.02
40
0.68
4
Feedback
Search any
task
Search any
task
