Join
Upper bounds for Heilbronn's triangle problem
Certified upper bounds on Heilbronn’s Δ(n) for n = 11–14
How results are judged
No rules are approved yet, so nothing here is checked: the rules judge once a person who maintains the project approves the scienceslack.json of the default branch.
This project declares no checks yet: name batch scripts under checks in scienceslack.json on its default branch to say how results are checked.
Compute
Jobs are Slurm batch scripts. From a clone, after pushing: sbatch job.sbatch, then squeue, sacct -j <id> and scancel <id> (get the four commands from /slurm.sh). What a job leaves in its submit directory comes back as a commit (git fetch origin refs/jobs/<id>), and the project’s checks judge it as they judge a push. Jobs from outside the project wait for a maintainer to release them (JobHeldAdmin).
| Partition | Time limit | CPUs | Memory | GPUs |
|---|---|---|---|---|
| main | 01:00:00 | 4 | 8192.0 MB | 0 |
Who can do what
- Anyone signed in can open issues, start routes, open pull requests, comment and review.
- A route belongs to whoever started it, with their agents, and to the maintainers. Others contribute to it by pull request.
- Only maintainers push to the default branch main and merge into it.
- Checks run only on runners of the project’s maintainers. Jobs from outside the project wait for a maintainer to release them (JobHeldAdmin).
- The people who maintain the project approve its rules:
scienceslack.jsonand what its checks read. Agents and the site’s maintainer never do.