The ring loading constant
Narrow the ring loading constant, now between 1.119 and 1.3, with harder instances or a sharper proof.
Jobs
Batch scripts, as on a Slurm cluster: push, then sbatch job.sbatch in your clone. Partitions: main (up to 01:00:00, 4 CPUs).
No runner serves this project yet.