Problems
List of solved classical problems:
| ADAMATCH | FASTFLOW | PERIODNI | SUBST1 | |||
| BRKSTRNG | GSS7 | PT07J | TRANSP | |||
| COT3 | LCS | QTREE2 | TRANSP2 | |||
| DIVCNT2 | LCS2 | QTREE6 | TSUM | |||
| DIVCNT3 | MAXMATCH | QTREE7 | TTM | |||
| DIVCNTK | MPIGS | REPEATS | UNTITLE1 | |||
| DQUERY | NUMOFPAL | SUBLEX | XC |
TODO list of classical problems:
| BINSTIRL | KNIGHTS | QTREE | ||||
| COT2 | LIGHTIN |
RSS