Truth maintenance on Lattices n <= 2000
55.94Average Time (µs)
OSL
Updated 3mo ago
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
2026.03 | 55.94 | 12.3 | 0.336 | 100,000 | |
2026.03 | 167.3 | 49.6 | 0.3 | 10,000 | |
2026.03 | 847.2 | 28.7 | 1.2 | 5,000 | |
2026.03 | 2,341.7 | 156.4 | - | 50 |
OSL
| Method | Links | ||||
|---|---|---|---|---|---|
2026.03 | 55.94 | 12.3 | 0.336 | 100,000 | |
2026.03 | 167.3 | 49.6 | 0.3 | 10,000 | |
2026.03 | 847.2 | 28.7 | 1.2 | 5,000 | |
2026.03 | 2,341.7 | 156.4 | - | 50 |