Benchmark examples

This page explains what kind of problems we use for our benchmarking.

The column Solutions states whether search was performed for one, all, or the best solution. The column S/F/C counts the solutions, failures, and choices in the problem's search tree. The link to a problem's source code points into our documentation.

Click on the name of an example to get further information, like propagators and branchings used, and the command line used to execute this example with the given options.