| Name | Size | Modified | ||
|---|---|---|---|---|
| .. | — | — | ||
| AbstrHF.mg | — | |||
| CombUnif.mg | — | |||
| Diophantine1.mg | — | |||
| Diophantine2.mg | — | |||
| DiophantineMod1.mg | — | |||
| DiophantineMod2.mg | — | |||
| HOSetConstr.mg | — | |||
| HOUnif.mg | — | |||
| QBF.mg | — | |||
| Random1.mg | — | |||
| Random2.mg | — | |||
| Random3.mg | — | |||
| RandomlyGeneratedAIM1.mg | — | |||
| RandomlyGeneratedAIM2.mg | — |