Task catalogue
This catalogue links task instructions in Full and marks the Lite selection. It is for users choosing tasks and reading their requirements.
Theorem, construction and open-conjecture instructions are shared across suites and Solver protocols. All thirty Solver tasks have separate online and offline folders.
All listed tasks belong to Full. Lite selects five tasks per track. Prepare the selected images and run tcsexam doctor before evaluation. Full/Lite membership is independent of the Solver protocol.
Theorem proving
Read each row as one task; “Yes” marks membership in Lite.
| Task | Instructions | In Lite |
|---|---|---|
corners-quasipoly | instructions | Yes |
dijkstra-universal | instructions | — |
discrepancy-beyond-banaszczyk | instructions | — |
discrete-bidding-games | instructions | Yes |
folded-rs-gsb | instructions | Yes |
gg26-proximity | instructions | — |
lcc-exp-lb | instructions | — |
monotonicity-test-lb | instructions | — |
mts-diamond-lb | instructions | — |
multiflow-gap-planar | instructions | — |
negations-small-depth | instructions | Yes |
pcp-alphabet-soundness | instructions | — |
planar-is-reconfig-kernel | instructions | — |
posbody-chasing | instructions | — |
qma-qcma-oracle | instructions | — |
quantum-crypto-algorithmica | instructions | Yes |
strategy-improvement-lb | instructions | — |
three-taxi | instructions | — |
unitary-synthesis-lb | instructions | — |
xor3-parallel-repetition | instructions | — |
Solver engineering
Read each row as one task; “Yes” marks membership in Lite.
Choose the development-feedback protocol described in Solver protocols. Each link opens the selected package's task instructions.
Constructions
Read each row as one task; “Yes” marks membership in Lite.
| Task | Instructions | In Lite |
|---|---|---|
binary-code-a22-10 | instructions | — |
binary-code-a24-10 | instructions | Yes |
cage-girth | instructions | — |
capset-d7 | instructions | — |
circles-in-square-n100 | instructions | — |
covering-code-k10 | instructions | — |
ex-c3c4-maxedges | instructions | Yes |
graph-tsp-gap | instructions | — |
kissing-d13 | instructions | Yes |
kissing-d9 | instructions | — |
mols-n10 | instructions | — |
quantum-code-25-7 | instructions | — |
ramsey-r3-10 | instructions | — |
ramsey-r46 | instructions | Yes |
ramsey-r55 | instructions | — |
rectilinear-tsp-gap | instructions | — |
sorting-network-size | instructions | — |
spherical-code-d3-n50 | instructions | — |
tsp-gap | instructions | Yes |
vdw-w27 | instructions | — |
Open conjectures
Read each row as one task; “Yes” marks membership in Lite.
| Task | Instructions | In Lite |
|---|---|---|
aaronson-ambainis | instructions | — |
alon-jaeger-tarsi | instructions | — |
bin-packing-mirup | instructions | — |
caccetta-haggkvist | instructions | — |
d-vs-r-total-functions | instructions | — |
evasiveness-graph-properties | instructions | Yes |
explicit-ramsey-graph-log | instructions | — |
explicit-rigid-matrix | instructions | — |
fourier-entropy-influence | instructions | — |
frege-not-pbounded | instructions | Yes |
frege-vs-extended-frege | instructions | — |
krw-composition-conjecture | instructions | — |
log-rank-conjecture | instructions | Yes |
lovasz-hamiltonicity | instructions | — |
mansour-conjecture | instructions | — |
mds-conjecture-nonprime | instructions | — |
nexp-vs-tc0 | instructions | — |
np-vs-acc | instructions | — |
omega-2 | instructions | — |
online-bin-packing-ratio | instructions | — |
online-matching-random-order | instructions | Yes |
permanent-vs-determinant | instructions | — |
pfr-integers | instructions | — |
planar-l1-gnrs | instructions | — |
polar-scaling-exponent | instructions | — |
prg-constant-width-robp | instructions | Yes |
ryser-conjecture | instructions | — |
total-coloring-conjecture | instructions | — |
tuza-conjecture | instructions | — |
xor-log-rank-conjecture | instructions | — |