Satisfiability Solving on Leaking Bucket
0Run Time (s)CLINGO v3.0.5
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
| CLINGO v3.0.5Instance Size=102026.05 | 0 | 210 | — | — | |
| iSAT v1.0Instance Size=102026.05 | 0 | — | 86 | — | |
| CLINGO v3.0.5Instance Size=502026.05 | 0.02 | 2,970 | — | — | |
| iSAT v1.0Instance Size=502026.05 | 0.05 | — | 406 | — | |
| Z3 v4.3.0Instance Size=102026.05 | 0.05 | — | — | 2.07 | |
| CLINGO v3.0.5Instance Size=1002026.05 | 0.12 | 10,920 | — | — | |
| iSAT v1.0Instance Size=1002026.05 | 0.15 | — | 806 | — | |
| Z3 v4.3.0Instance Size=502026.05 | 0.18 | — | — | 2.17 | |
| Z3 v4.3.0Instance Size=1002026.05 | 0.33 | — | — | 2.28 | |
| Z3 v4.3.0Instance Size=5002026.05 | 1.68 | — | — | 3.38 | |
| Z3 v4.3.0Instance Size=10002026.05 | 3.35 | — | — | 4.73 | |
| iSAT v1.0Instance Size=5002026.05 | 4.41 | — | 4,006 | — | |
| CLINGO v3.0.5Instance Size=5002026.05 | 8.18 | 254,520 | — | — | |
| Z3 v4.3.0Instance Size=50002026.05 | 17.42 | — | — | 17.32 | |
| iSAT v1.0Instance Size=10002026.05 | 18.57 | — | 8,006 | — | |
| Z3 v4.3.0Instance Size=100002026.05 | 36.49 | — | — | 31.42 | |
| CLINGO v3.0.5Instance Size=10002026.05 | 55.17 | 1,009,020 | — | — | |
| iSAT v1.0Instance Size=50002026.05 | 500.17 | — | 40,006 | — | |
| iSAT v1.0Instance Size=100002026.05 | 2,008.97 | — | 80,006 | — |