| factorize 289 |
86 |
difficult |
MiniZinc |
| factorize 77 |
48 |
easy |
MiniZinc |
| Queens 4 |
86 |
easy |
MiniZinc |
| Superpermutation for 4 symbols |
6318 |
difficult |
combinatorics |
| Extended JSSP 6 |
5525 |
unknown |
PlanQK, Scheduling |
| Extended JSSP 1 |
2925 |
unknown |
PlanQK, Scheduling |
| Rolling stock assignment 3 |
1749 |
medium |
PlanQK, Scheduling, Rolling Stock |
| Superpermutation for 2 symbols |
44 |
easy |
combinatorics |
| Queens 32 |
3706 |
difficult |
MiniZinc |
| Superpermutation for 3 symbols |
363 |
medium |
combinatorics |
| Rolling stock assignment 4 |
9684 |
difficult |
PlanQK, Scheduling, Rolling Stock |
| factorize 6 |
25 |
easy |
MiniZinc |
| Queens 8 |
298 |
difficult |
MiniZinc |
| Extended JSSP 2 |
2925 |
unknown |
PlanQK, Scheduling |
| One of 128 |
128 |
easy |
|
| Rolling stock assignment 1 |
84 |
easy |
PlanQK, Scheduling, Rolling Stock |
| factorize 3599 |
126 |
difficult |
MiniZinc |
| AES |
4508 |
difficult |
SAT |
| factorize 6 (compact) |
14 |
easy |
MiniZinc |
| zebra |
635 |
difficult |
SAT |
| Extended JSSP 3 |
2925 |
unknown |
PlanQK, Scheduling |
| Queens 16 |
1034 |
difficult |
MiniZinc |
| Rolling stock assignment 2 |
480 |
medium |
PlanQK, Scheduling, Rolling Stock |