Satisfiability Solving on Leaking Bucket
0Run Time (s)
CLINGO v3.0.5
Updated 22d ago
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
2026.05 | 0 | 210 | - | - | |
2026.05 | 0 | - | 86 | - | |
2026.05 | 0.02 | 2,970 | - | - | |
2026.05 | 0.05 | - | 406 | - | |
2026.05 | 0.05 | - | - | 2.07 | |
2026.05 | 0.12 | 10,920 | - | - | |
2026.05 | 0.15 | - | 806 | - | |
2026.05 | 0.18 | - | - | 2.17 | |
2026.05 | 0.33 | - | - | 2.28 | |
2026.05 | 1.68 | - | - | 3.38 | |
2026.05 | 3.35 | - | - | 4.73 | |
2026.05 | 4.41 | - | 4,006 | - | |
2026.05 | 8.18 | 254,520 | - | - | |
2026.05 | 17.42 | - | - | 17.32 | |
2026.05 | 18.57 | - | 8,006 | - | |
2026.05 | 36.49 | - | - | 31.42 | |
2026.05 | 55.17 | 1,009,020 | - | - | |
2026.05 | 500.17 | - | 40,006 | - | |
2026.05 | 2,008.97 | - | 80,006 | - |