| .. | | 19-Mar-2021 | - |
| command_line/ | H | 19-Mar-2021 | - | 9 | 7 |
| allinterval.mzn | H A D | 19-Mar-2021 | 357 | 15 | 10 |
| allinterval2.mzn | H A D | 19-Mar-2021 | 602 | 23 | 16 |
| allinterval3.mzn | H A D | 19-Mar-2021 | 528 | 22 | 13 |
| assignment-combine-enums.mzn | H A D | 19-Mar-2021 | 1.6 KiB | 52 | 36 |
| assignment-extend-enum.mzn | H A D | 19-Mar-2021 | 466 | 16 | 10 |
| aust-2.mzc.mzn | H A D | 19-Mar-2021 | 719 | 26 | 23 |
| aust-3.mzc.mzn | H A D | 19-Mar-2021 | 755 | 30 | 26 |
| aust-enum.mzn | H A D | 19-Mar-2021 | 257 | 12 | 11 |
| aust.mzc.mzn | H A D | 19-Mar-2021 | 217 | 16 | 14 |
| aust.mzn | H A D | 19-Mar-2021 | 486 | 21 | 17 |
| bboolsum.mzn | H A D | 19-Mar-2021 | 684 | 20 | 18 |
| bddsum.mzn | H A D | 19-Mar-2021 | 663 | 19 | 17 |
| binarysum.mzn | H A D | 19-Mar-2021 | 1.8 KiB | 40 | 37 |
| cakes.mzn | H A D | 19-Mar-2021 | 442 | 22 | 17 |
| cakes2.mzn | H A D | 19-Mar-2021 | 1.2 KiB | 39 | 32 |
| cars.mzn | H A D | 19-Mar-2021 | 1.2 KiB | 36 | 26 |
| cars_data.dzn | H A D | 19-Mar-2021 | 309 | 17 | 15 |
| cnonoverlap.fzn | H A D | 19-Mar-2021 | 487 | 20 | 19 |
| cnonoverlap.mzn | H A D | 19-Mar-2021 | 461 | 12 | 11 |
| count1.mzn | H A D | 19-Mar-2021 | 421 | 16 | 15 |
| count2.mzn | H A D | 19-Mar-2021 | 470 | 18 | 16 |
| count3.mzn | H A D | 19-Mar-2021 | 508 | 18 | 17 |
| cumulative.mzn | H A D | 19-Mar-2021 | 1.2 KiB | 30 | 29 |
| disjunctive.mzn | H A D | 19-Mar-2021 | 304 | 8 | 6 |
| dummy.mzn | H A D | 19-Mar-2021 | 45 | 4 | 3 |
| flexible-js.mzn | H A D | 19-Mar-2021 | 784 | 23 | 17 |
| golomb.mzn | H A D | 19-Mar-2021 | 547 | 19 | 13 |
| grocery.mzn | H A D | 19-Mar-2021 | 394 | 16 | 11 |
| inverse.mzn | H A D | 19-Mar-2021 | 292 | 8 | 7 |
| jdata.dzn | H A D | 19-Mar-2021 | 153 | 8 | 7 |
| jobshop.fzn | H A D | 19-Mar-2021 | 25 KiB | 299 | 298 |
| jobshop.mzn | H A D | 19-Mar-2021 | 955 | 32 | 26 |
| jobshop.ozn | H A D | 19-Mar-2021 | 252 | 8 | 7 |
| jobshop2.mzn | H A D | 19-Mar-2021 | 1.1 KiB | 35 | 29 |
| jobshop3.mzn | H A D | 19-Mar-2021 | 1 KiB | 31 | 25 |
| knapsack.mzn | H A D | 19-Mar-2021 | 260 | 14 | 8 |
| laplace.mzn | H A D | 19-Mar-2021 | 1.1 KiB | 42 | 37 |
| latin.mzn | H A D | 19-Mar-2021 | 340 | 12 | 10 |
| latin_squares.mzn | H A D | 19-Mar-2021 | 622 | 29 | 23 |
| latinbool.mzn | H A D | 19-Mar-2021 | 627 | 19 | 16 |
| layout.dzn | H A D | 19-Mar-2021 | 218 | 10 | 7 |
| lightup.dzn | H A D | 19-Mar-2021 | 215 | 10 | 9 |
| lightup.mzn | H A D | 19-Mar-2021 | 1.6 KiB | 40 | 34 |
| linear.mzn | H A D | 19-Mar-2021 | 134 | 7 | 6 |
| loan.mzn | H A D | 19-Mar-2021 | 698 | 24 | 19 |
| loan1.dzn | H A D | 19-Mar-2021 | 33 | 4 | 3 |
| loan2.dzn | H A D | 19-Mar-2021 | 32 | 4 | 3 |
| loan3.dzn | H A D | 19-Mar-2021 | 31 | 4 | 3 |
| magic-series.mzn | H A D | 19-Mar-2021 | 168 | 10 | 6 |
| magic-series2.mzn | H A D | 19-Mar-2021 | 301 | 13 | 8 |
| manhattan.mzn | H A D | 19-Mar-2021 | 948 | 32 | 25 |
| meal-zinc.dzn | H A D | 19-Mar-2021 | 853 | 23 | 18 |
| meal.dzn | H A D | 19-Mar-2021 | 856 | 21 | 18 |
| meal.mzn | H A D | 19-Mar-2021 | 1.1 KiB | 37 | 32 |
| moving.dzn | H A D | 19-Mar-2021 | 288 | 11 | 8 |
| moving.mzn | H A D | 19-Mar-2021 | 642 | 23 | 15 |
| nqueens-ann.mzn | H A D | 19-Mar-2021 | 470 | 18 | 11 |
| nqueens.mzc.mzn | H A D | 19-Mar-2021 | 889 | 24 | 21 |
| nqueens.mzn | H A D | 19-Mar-2021 | 495 | 15 | 11 |
| nqueens_sym.mzn | H A D | 19-Mar-2021 | 1.3 KiB | 36 | 30 |
| nurse.dzn | H A D | 19-Mar-2021 | 86 | 6 | 5 |
| nurse.mzn | H A D | 19-Mar-2021 | 923 | 36 | 29 |
| oesort.mzn | H A D | 19-Mar-2021 | 1.5 KiB | 40 | 37 |
| pantry.dzn | H A D | 19-Mar-2021 | 71 | 6 | 5 |
| pantry2.dzn | H A D | 19-Mar-2021 | 74 | 6 | 5 |
| photo.mzc.mzn | H A D | 19-Mar-2021 | 1.8 KiB | 50 | 41 |
| photo.mzn | H A D | 19-Mar-2021 | 660 | 16 | 12 |
| prod-planning-data.dzn | H A D | 19-Mar-2021 | 293 | 10 | 7 |
| prod-planning.mzn | H A D | 19-Mar-2021 | 1.2 KiB | 37 | 30 |
| reflection.mzn | H A D | 19-Mar-2021 | 144 | 7 | 6 |
| scope.mzn | H A D | 19-Mar-2021 | 188 | 8 | 7 |
| send-more-money.mzn | H A D | 19-Mar-2021 | 459 | 23 | 17 |
| social-golfers.dzn | H A D | 19-Mar-2021 | 33 | 4 | 3 |
| social-golfers.mzn | H A D | 19-Mar-2021 | 1.2 KiB | 46 | 41 |
| sonet.dzn | H A D | 19-Mar-2021 | 90 | 5 | 4 |
| stable-marriage.dzn | H A D | 19-Mar-2021 | 230 | 15 | 13 |
| stable-marriage.mzn | H A D | 19-Mar-2021 | 674 | 26 | 19 |
| sudoku.dzn | H A D | 19-Mar-2021 | 259 | 12 | 11 |
| sudoku.mzn | H A D | 19-Mar-2021 | 1.2 KiB | 40 | 30 |
| uboolsum.mzn | H A D | 19-Mar-2021 | 706 | 18 | 16 |
| unbounded.mzn | H A D | 19-Mar-2021 | 185 | 11 | 7 |
| unconstrained.mzn | H A D | 19-Mar-2021 | 195 | 11 | 6 |
| wedding.mzn | H A D | 19-Mar-2021 | 1.4 KiB | 34 | 29 |
| wedding2.mzn | H A D | 19-Mar-2021 | 1.1 KiB | 30 | 23 |