Gröbner basis computation on Polynomial systems over F7 n=13 (test)
61.2Success RateHATSolver-3
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
| HATSolver-3Density (%)=902025.12 | 61.2 | 94 | 99.9 | 292 | |
| HATSolver-3Density (%)=1002025.12 | 60.8 | 91 | 99.8 | 300 | |
| HATSolver-3Density (%)=802025.12 | 56.1 | 70 | 99.8 | 287 | |
| HATSolver-3Density (%)=702025.12 | 55.2 | 68 | 99.8 | 280 | |
| HATSolver-3Density (%)=302025.12 | 52.5 | 65 | 99.8 | 224 | |
| HATSolver-3Density (%)=602025.12 | 49.5 | 61 | 99.8 | 277 | |
| HATSolver-3Density (%)=402025.12 | 49.4 | 63 | 99.7 | 241 | |
| HATSolver-3Density (%)=502025.12 | 47.1 | 59 | 99.8 | 273 | |
| STD-FGLMDensity (%)=302025.12 | 33.5 | — | — | 652 | |
| MsolveDensity (%)=302025.12 | 32.8 | — | — | 787 | |
| STD-FGLMDensity (%)=402025.12 | 19.6 | — | — | 936 | |
| MsolveDensity (%)=402025.12 | 17 | — | — | 773 | |
| MsolveDensity (%)=502025.12 | 11.7 | — | — | 1,274 | |
| STD-FGLMDensity (%)=502025.12 | 10.7 | — | — | 1,025 | |
| STD-FGLMDensity (%)=602025.12 | 8.5 | — | — | 995 | |
| STD-FGLMDensity (%)=702025.12 | 8.2 | — | — | 1,068 | |
| STD-FGLMDensity (%)=802025.12 | 7.4 | — | — | 687 | |
| MsolveDensity (%)=702025.12 | 7.1 | — | — | 1,010 | |
| MsolveDensity (%)=602025.12 | 6.9 | — | — | 766 | |
| STD-FGLMDensity (%)=1002025.12 | 6.5 | — | — | 1,129 | |
| STD-FGLMDensity (%)=902025.12 | 6.1 | — | — | 1,012 | |
| MsolveDensity (%)=802025.12 | 4.9 | — | — | 852 | |
| MsolveDensity (%)=1002025.12 | 4.6 | — | — | 588 | |
| MsolveDensity (%)=902025.12 | 4.5 | — | — | 1,232 |