Constraint Satisfaction on Gears World
0.02Run Time (s)
CLINGO v3.0.5
Updated 22d ago
Evaluation Results
| Method | Links | ||||||
|---|---|---|---|---|---|---|---|
2026.05 | 0.02 | 0.02 | 0 | 3,174 | - | - | |
2026.05 | 0.03 | - | - | - | 331 | - | |
2026.05 | 0.03 | - | - | - | - | 2.79 | |
2026.05 | 0.09 | - | - | - | - | 4.91 | |
2026.05 | 0.19 | - | - | - | 596 | - | |
2026.05 | 0.2 | - | - | - | - | 8.65 | |
2026.05 | 0.3 | 0.3 | 0 | 10,161 | - | - | |
2026.05 | 0.36 | - | - | - | - | 12.22 | |
2026.05 | 0.79 | - | - | - | 1,126 | - | |
2026.05 | 1.09 | - | - | - | - | 20.35 | |
2026.05 | 2.05 | - | - | - | 1,656 | - | |
2026.05 | 5.52 | - | - | - | - | 43.86 | |
2026.05 | 9.46 | 4.02 | 5.11 | 36,695 | - | - | |
2026.05 | 14.35 | - | - | - | 2,716 | - | |
2026.05 | 42.56 | 22.32 | 20.24 | 77,627 | - | - | |
2026.05 | 494.77 | - | - | - | 5,366 | - | |
2026.05 | 923.74 | 297.26 | 626.48 | 207,706 | - | - |