Problems
List of solved classical problems:
TODO list of classical problems:
| ALICECUB | EASYFACT | GSS1 | PATHEADS | VECTAR10 | ||
| BUGLIFE | FIBOSUM | MKUHAR | PRIME1 | SUMPRO | YODANESS |
| ALICECUB | EASYFACT | GSS1 | PATHEADS | VECTAR10 | ||
| BUGLIFE | FIBOSUM | MKUHAR | PRIME1 | SUMPRO | YODANESS |