Truth maintenance on Lattices n <= 2000
55.94Average Time (µs)OSL
Evaluation results
| Method | Links | ||||
|---|---|---|---|---|---|
| OSL2026.03 | 55.94 | 12.3 | 0.336 | 100,000 | |
| Distributed TMS2026.03 | 167.3 | 49.6 | 0.3 | 10,000 | |
| ATMS2026.03 | 847.2 | 28.7 | 1.2 | 5,000 | |
| MEPK Planner2026.03 | 2,341.7 | 156.4 | — | 50 |