factorize 289 |
86 |
difficult |
MiniZinc |
factorize 77 |
48 |
easy |
MiniZinc |
Queens 4 |
86 |
easy |
MiniZinc |
Extended JSSP 6 |
5525 |
unknown |
PlanQK, Scheduling |
Extended JSSP 1 |
2925 |
unknown |
PlanQK, Scheduling |
Rolling stock assignment 3 |
1749 |
medium |
PlanQK, Scheduling, Rolling Stock |
Queens 32 |
3706 |
difficult |
MiniZinc |
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 |