Cola
Todo lo que hacen las damas pasa por una cola, y esto es todo. Nada aquí es una simulación: estos son los trabajos en la caja ahora mismo.
Correr
Un trabajo presentado ahora comienza inmediatamente.
Esperando (0 prioridad, 0 libre)
Nada de espera.
El carril rápido, y lo que no es
Un trabajo Lean se ejecuta a la vez (Mathlib tiene hambre de memoria y esta caja se comparte), por lo que cuando varias personas se presentan a la vez, hay una línea.
Cualquier cuenta que tenga crédito prepago se sirve primero. Ese es el mecanismo completo; no hay ningún producto separado que comprar. Un libre recorrido nunca es bloqueado, estrangulado o degradado por él (sólo superado), y todavía corre, en orden, en el carril libre.
La razón por la que funciona de esta manera: la gente que financia la máquina está pagando los cheques que todos los demás reciben por nada. Saltarse de la línea es lo único que compra, y no compra nada más.
Acaba de terminar
¿Cuánto tiempo toma cada chequera aquí normalmente
Medido a partir de las últimas 20 tiradas de esta caja de cada herramienta, no estimado.
| Herramienta | Típico |
|---|---|
lean | 13.7 s |
sage | 15.0 s |
pari | 329 ms |
smt | 22.5 s |
python | 3.2 s |
oeis | 7.5 s |
plot | 15.0 s |