Constraint Satisfaction on Gears World
0.02Run Time (s)CLINGO v3.0.5
Evaluation Results
| Method | Links | ||||||
|---|---|---|---|---|---|---|---|
| CLINGO v3.0.5Instance Size=52026.05 | 0.02 | 0.02 | 0 | 3,174 | — | — | |
| iSAT v1.0Instance Size=52026.05 | 0.03 | — | — | — | 331 | — | |
| Z3 V4.3.0Instance Size=52026.05 | 0.03 | — | — | — | — | 2.79 | |
| Z3 V4.3.0Instance Size=102026.05 | 0.09 | — | — | — | — | 4.91 | |
| iSAT v1.0Instance Size=102026.05 | 0.19 | — | — | — | 596 | — | |
| Z3 V4.3.0Instance Size=202026.05 | 0.2 | — | — | — | — | 8.65 | |
| CLINGO v3.0.5Instance Size=102026.05 | 0.3 | 0.3 | 0 | 10,161 | — | — | |
| Z3 V4.3.0Instance Size=302026.05 | 0.36 | — | — | — | — | 12.22 | |
| iSAT v1.0Instance Size=202026.05 | 0.79 | — | — | — | 1,126 | — | |
| Z3 V4.3.0Instance Size=502026.05 | 1.09 | — | — | — | — | 20.35 | |
| iSAT v1.0Instance Size=302026.05 | 2.05 | — | — | — | 1,656 | — | |
| Z3 V4.3.0Instance Size=1002026.05 | 5.52 | — | — | — | — | 43.86 | |
| CLINGO v3.0.5Instance Size=202026.05 | 9.46 | 4.02 | 5.11 | 36,695 | — | — | |
| iSAT v1.0Instance Size=502026.05 | 14.35 | — | — | — | 2,716 | — | |
| CLINGO v3.0.5Instance Size=302026.05 | 42.56 | 22.32 | 20.24 | 77,627 | — | — | |
| iSAT v1.0Instance Size=1002026.05 | 494.77 | — | — | — | 5,366 | — | |
| CLINGO v3.0.5Instance Size=502026.05 | 923.74 | 297.26 | 626.48 | 207,706 | — | — |