STRIDE instance server

The STRIDE instance server is designed to host a large collection of instances to support the PACE 2026 challenge. It should be primarily accessed using the stride tool.

Instance lists

You can download these instance files and then fetch the instances with the STRIDE tool using stride download -i list.lst. Once downloaded, you can directly use the list to execute your solver stride run -i list.lst .... You feel free to use multiple lists or edit them as you please; instances included in severarl lists are only downloaded once.

Official sets

Tiny instances

PACE26: Exact Track

PACE26: Heuristic Track

PACE26: Lower-bound Track (updated: 03-03-2026)

PACE26: Best submitted scores and statistics

Regularly updated lists

Name	multiple trees	only 2 trees
All instances	all.lst	all_2trees.lst
Less than 20 leaves	20_leaves.lst	20leaves_2trees.lst
Less than 30 leaves	30_leaves.lst	30leaves_2trees.lst
Less than 50 leaves	50_leaves.lst	50leaves_2trees.lst
Less than 100 leaves	100_leaves.lst	100leaves_2trees.lst
Less than 200 leaves	200_leaves.lst	200leaves_2trees.lst

SQLite database

Download sqlite file

We provide the instance list (including meta data, such as size, parameters, and best known solution size) as an sqlite file. Due due internal caching, the database may not directly reflect very recent changes. The file contains a single table Instance with the following schema:

CREATE TABLE Instances
(
   idigest    CHARACTER(32)    NOT NULL,
   trees     INT UNSIGNED  NOT NULL,
   leaves    INT UNSIGNED  NOT NULL,
   treewidth INT UNSIGNED  DEFAULT NULL,
   file_hash CHARACTER(32) NOT NULL,
 
   best_known_score INT UNSIGNED DEFAULT NULL,

   name TEXT,
   description TEXT,

   num_valid INT UNSIGNED NOT NULL DEFAULT 0,
   num_invalid INT UNSIGNED NOT NULL DEFAULT 0,
   num_timeout INT UNSIGNED NOT NULL DEFAULT 0,

   avg_valid_compute_time_secs DOUBLE DEFAULT NULL,

   PRIMARY KEY (idigest)
);

The columns num_valid, num_invalid, num_timeout indicate the number of run reported to the server with the respective error codes. The column avg_valid_compute_time_secs reports the average solve time (only for valid uploads).

The sqlite file can be used to export lists, e.g. using the sqlite3 tool: