The entrants for this year (with their descriptions, when provided):
In addition, the challenge organisers entered the following FlatZinc and MiniZinc implementations:
As per the challenge rules, these entries are not eligible for prizes, but do modify the scoring results.
The results for the MiniZinc Challenge 2022 are
Category  Gold  Silver  Bronze 

Fixed  ORTools  SICStus Prolog  JaCoP 
Free  ORTools  PicatSAT  Choco 4 
Parallel  ORTools  PicatSAT  Geas 
Local Search  Yuck  
All times are given in milliseconds.
A score of 0.0 indicates a worse answer in quality (worse objective, no proof of optimality, or no answer for satisfaction problems).
A score of 1.0 indicates a better solution in quality. When the quality is the same, the 1.0 purse is split with respect to time used.
If a promoted entry does not recognize an option (or states that it is just ignored), times and solutions from the previous category are used for scoring. The suffixes fd, free, par or open (for the parallel portfolio solver entered) at the end of the solver names indicate which configuration the solvers were run with.
The time limit includes both MiniZinc compilation and solving.
In the Status column:
All problems are available in a zipped tarball here.
Select a list of solvers and benchmarks and click on "Compute Results" to score the solvers against each other on the selected benchmarks. The entrants for each of the fd search, free search and parallel search categories can be selected with the corresponding buttons.



Summary: 
Total per problem:  


Problem  Instance  Solver  Status  Time  Objective  Score  Score Incomplete  Score Area 
Problem  Instance  Plot 
The following table lists the global constraints used by each model in this year's challenge. In addition, the columns RC and SBC, respectively, indicate whether the model contains redundant or/and symmetry breaking constraints.
Model  RC  SBC  Global constraints used 

accap  diffn  
arithmetictarget  X  all_different_except_0, count  
blocksworld  X  global_cardinality_close, increasing  
diametercmst  X  X  
generalizedpeacablequeens  X  all_equal, global_cardinality, lex_lesseq, regular, value_precede_chain  
gfdschedule  X  nvalue, at_most  
mapathfinding  
nfc  network_flow_cost  
rostersickness  
rotatingworkforcescheduling  global_cardinality_low_up, regular, sliding_sum  
spot5  table  
stripboard  X  X  all_different, diffn, disjunctive, strictly_decreasing 
sudoku_opt  all_different  
teamassignment  X  X  all_different, bin_packing, bin_packing_load 
tower  arg_max  
travelingtppv  all_different, regular  
triangular  inverse  
vaccine  X  global_cardinality_low_up, lex_lesseq  
wordpress  
yumistatic  all_equal, all_different, circuit, cumulative, diffn, increasing, table, value_precede, value_precede_chain 
The files on this page are for MiniZinc version 2.6.3.