Share your thoughts, 1 month free Claude Pro on usSee more
WorkDL logo mark

Satisfiability Solving on Leaking Bucket

0Run Time (s)

CLINGO v3.0.5

-80.3588462.06311,004.4851,546.9069May 10, 2026
Updated 22d ago

Evaluation Results

MethodLinks
2026.05
0210--
2026.05
0-86-
2026.05
0.022,970--
2026.05
0.05-406-
2026.05
0.05--2.07
2026.05
0.1210,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.18254,520--
2026.05
17.42--17.32
2026.05
18.57-8,006-
2026.05
36.49--31.42
2026.05
55.171,009,020--
2026.05
500.17-40,006-
2026.05
2,008.97-80,006-