Queue
In-flight proving work waiting to merge. Source: unsorry git (refreshed ~15 min).
1,233
Queued submissions
1,225
Waiting
8
In flight
1,233
Distinct goals
| Solver | Submissions | Waiting | In flight |
|---|---|---|---|
| @ohdearquant | 1,213 | 1,210 | 3 |
| @chat-bit-01 | 17 | 14 | 3 |
| @ruvnet | 2 | 0 | 2 |
| @perttu | 1 | 1 | 0 |