Minimal Problem Solving on P4P Gen. +scale
4,755Template Area (Cells)Greedy Parameter Search for Elimination Templates
Evaluation Results
| Method | Links | |
|---|---|---|
| Greedy Parameter Search for Elimination Templatesd (quotient space dimension)=8, Basis generation=std, Template reduction (Subsect. 4.2)=false2022.03 | 4,755 | |
| Greedy Parameter Search for Elimination Templatesd (quotient space dimension)=8, Basis generation=nstd, Template reduction (Subsect. 4.2)=false2022.03 | 4,755 | |
| Syzygyd (quotient space dimension)=82022.03 | 4,755 | |
| Originald (quotient space dimension)=82022.03 | 4,856 |