Problems
List of solved classical problems:
TODO list of classical problems:
AMR10A | BEADS | FACT2 | KRECT | NOVICE63 | PRATA | VGCD |
AMR10C | CERC07S | FACTCG2 | LCS0 | PIZZALOC | QCJ1 | |
AMR11A | CRAN04 | FLIB | LIS2 | POCRI | QTREE | |
AMR11E | DEADFR | KQUERY | MAGIC4 | POWERUP | RPLN |