school-timetabling
Solver rankings on this family, and the generator that reproduces it.
What to run on a problem of this kind
The solvers that did best on this family in the SAT Competition 2026, as images of the companion project. They are a better bet on such a problem than the overall winner of that year, which this family often disagrees with.
| Solver | Solved | Command |
|---|---|---|
| yalun_kissat-eda-1 | 10 / 13 | docker run --rm -v "$PWD:/data" satex/kissat-eda-1:2026 your-instance.cnf |
| anders_satsuma-iter-kissat | 10 / 13 | docker run --rm -v "$PWD:/data" satex/satsuma-iter-kissat:2026 your-instance.cnf |
| anders_satsuma-iter-ae-kissat-mab | 10 / 13 | docker run --rm -v "$PWD:/data" satex/satsuma-iter-ae-kissat-mab:2026 your-instance.cnf |
No generator here yet
We have not packaged a generator for this family. If you wrote it, or know where its code lives, a issue is very welcome.
SAT Competition 2023 · 19 instances
Ranked by PAR-2 on this family alone. Winner of the whole main track that year: SBVA-sbva_cadical.
| # | Solver | Solved | PAR-2 per instance | |
|---|---|---|---|---|
| 1 | AMSAT_ | 17 / 19 | 1129 s | |
| 2 | SeqFROST-ERE-All | 17 / 19 | 1192 s | |
| 3 | Kissat_MAB_Conflict | 17 / 19 | 1192 s | |
| 4 | Kissat_MAB_Binary | 17 / 19 | 1206 s | |
| 5 | SeqFROST-NoExtend | 17 / 19 | 1212 s | |
| 6 | SeqFROST | 17 / 19 | 1217 s | |
| 7 | kissat-hywalk-gb | 17 / 19 | 1217 s | |
| 8 | ReEncode-kissat-ReEncode-pair-kissat.sh | 17 / 19 | 1234 s | |
| 9 | kissat-hywalk-exp | 17 / 19 | 1235 s | |
| 10 | Kissat_MAB_DeepWalk+ | 17 / 19 | 1242 s | |
| 11 | kissat_incsp | 17 / 19 | 1261 s | |
| 12 | CaDiCaL_vivinst | 17 / 19 | 1265 s |
SAT Competition 2026 · 13 instances
Ranked by PAR-2 on this family alone. Winner of the whole main track that year: anders_satsuma-iter-kissat.
| # | Solver | Solved | PAR-2 per instance | |
|---|---|---|---|---|
| 1 | yalun_kissat-eda-1 | 10 / 13 | 2378 s | |
| 2 | anders_satsuma-iter-kissat | 10 / 13 | 2385 s | |
| 3 | anders_satsuma-iter-ae-kissat-mab | 10 / 13 | 2390 s | |
| 4 | zheng_kissat-mab-hypre-v2 | 10 / 13 | 2405 s | |
| 5 | zheng_kissat-mab-hypre | 10 / 13 | 2407 s | |
| 6 | liang_kissat-lr-ds | 10 / 13 | 2411 s | |
| 7 | guo_kissat-ae-eg | 10 / 13 | 2415 s | |
| 8 | guo_kissat-ae-hucb | 10 / 13 | 2417 s | |
| 9 | liang_kissat-mab-da | 10 / 13 | 2423 s | |
| 10 | biere_kissat-biere | 10 / 13 | 2458 s | |
| 11 | yalun_kissat-eda-4 | 10 / 13 | 2471 s | |
| 12 | yalun_kissat-eda-3 | 10 / 13 | 2490 s |