Back to workflows
Workflow execution
Completed Abstract
Created
Oct 10, 2026, 3:48 AM UTC
Completed
Oct 10, 2026, 4:29 AM UTC
Duration
41m 0s
Sealed
Proof produced
The workflow completed successfully and a proof was sealed.
Inputs
Workflow user input
Decoded from the request payload — what the WASM consumed.
- L1 batch number
- 93,272
- L1 chain id
- 0
- Protocol version
- 0.30.1
Completed
533
In progress
0
Pending
0
Failed
1
Composition
Tasks in this execution
Every task delegated as part of this workflow.
| Task | Status | Type | Subjobs | Prover | Machine | Sent | Done | Duration | Wait |
|---|---|---|---|---|---|---|---|---|---|
| Completed |  Compressor | 1 | fermah.c.g2 | 1m 16s | 0μs | ||||
| Completed | CircuitProver | 1 | natsai | 5.00s | 4.00s | ||||
| Completed | WitnessGeneratorScheduler | 1 | fermah.wg.c4d | 0μs | 0μs | ||||
| Completed | CircuitProver | 1 | moonli | 5.00s | 9.00s | ||||
| Completed | WitnessGeneratorRecursionTip | 1 | fermah.wg.c4d | 4.00s | 0μs | ||||
| Completed | CircuitProver | 1 | p-ops | 4.00s | 15.00s | ||||
| Completed | WitnessGeneratorNodeAggregation | 1 | fermah.wg.c4d | 2.00s | 0μs | ||||
| Completed | CircuitProver | ×11 | fermah.cp.g4 | 10.00s | 12.00s | ||||
| Completed | WitnessGeneratorNodeAggregation | 1 | fermah.wg.c4d | 2.00s | 0μs | ||||
| Completed | CircuitProver | ×32 | rubynodes | 38.00s | 11.00s | ||||
| Completed | CircuitProver | ×32 | moonli | 1m 12s | 21.00s | ||||
| Completed | CircuitProver | ×32 | moonli | 30.00s | 24.00s | ||||
| Completed | CircuitProver | ×32 | natsai | 35.00s | 17.00s | ||||
| Completed | CircuitProver | ×32 | p-ops | 30.00s | 50.00s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 29.00s | 37.00s | ||||
| Completed | CircuitProver | ×32 | p-ops | 32.00s | 17.00s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 29.00s | 5.00s | ||||
| Completed | CircuitProver | ×13 | moonli | 14.00s | 54.00s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 34.00s | 49.00s | ||||
| Completed | CircuitProver | ×32 | natsai | 30.00s | 54.00s | ||||
| Completed | CircuitProver | 1 | fermah.cp.g4 | 3.00s | 4.00s | ||||
| Completed | WitnessGeneratorNodeAggregation | 1 | fermah.wg.c4d | 2.00s | 0μs | ||||
| Completed | CircuitProver | 1 | fermah.cp.g4 | 4.00s | 2.00s | ||||
| Completed | WitnessGeneratorNodeAggregation | 1 | fermah.wg.c4d | 2.00s | 0μs | ||||
| Completed | CircuitProver | ×2 | fermah.cp.g4 | 4.00s | 4.00s | ||||
| Completed | WitnessGeneratorNodeAggregation | 1 | fermah.wg.c4d | 2.00s | 0μs | ||||
| Completed | CircuitProver | 1 | fermah.cp.g4 | 4.00s | 8.00s | ||||
| Completed | WitnessGeneratorNodeAggregation | 1 | fermah.wg.c4d | 2.00s | 0μs | ||||
| Completed | WitnessGeneratorLeafAggregation | 1 | fermah.wg.c4d | 53.00s | 0μs | ||||
| Completed | CircuitProver | ×29 | p-ops | 27.00s | 2.00s | ||||
| Completed | CircuitProver | 1 | moonli | 4.00s | 10.00s | ||||
| Completed | WitnessGeneratorNodeAggregation | 1 | fermah.wg.c4d | 2.00s | 0μs | ||||
| Completed | WitnessGeneratorLeafAggregation | 1 | fermah.wg.c4d | 4.00s | 0μs | ||||
| Completed | CircuitProver | 1 | p-ops | 3.00s | 3.00s | ||||
| Completed | WitnessGeneratorNodeAggregation | 1 | fermah.wg.c4d | 2.00s | 0μs | ||||
| Completed | CircuitProver | 1 | natsai | 3.00s | 4.00s | ||||
| Completed | WitnessGeneratorNodeAggregation | 1 | fermah.wg.c4d | 2.00s | 0μs | ||||
| Completed | CircuitProver | 1 | p-ops | 4.00s | 32.00s | ||||
| Completed | WitnessGeneratorLeafAggregation | 1 | fermah.wg.c4d | 1.00s | 0μs | ||||
| Completed | CircuitProver | ×14 | rubynodes | 19.00s | 1m 3s | ||||
| Completed | WitnessGeneratorLeafAggregation | 1 | fermah.wg.c4d | 3.00s | 0μs | ||||
| Completed | CircuitProver | ×13 | moonli | 14.00s | 3m 39s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 30.00s | 3m 38s | ||||
| Completed | WitnessGeneratorLeafAggregation | 1 | fermah.wg.c4d | 6.00s | 0μs | ||||
| Completed | CircuitProver | 1 | rubynodes | 3.00s | 4m 19s | ||||
| Completed | WitnessGeneratorNodeAggregation | 1 | fermah.wg.c4d | 2.00s | 0μs | ||||
| Completed | CircuitProver | 1 | p-ops | 4.00s | 5m 15s | ||||
| Completed | WitnessGeneratorNodeAggregation | 1 | fermah.wg.c4d | 2.00s | 0μs | ||||
| Completed | CircuitProver | 1 | fermah.cp.g4 | 3.00s | 5m 47s | ||||
| Completed | WitnessGeneratorLeafAggregation | 1 | fermah.wg.c4d | 1.00s | 0μs | ||||
| Completed | CircuitProver | ×25 | moonli | 23.00s | 43.00s | ||||
| Completed | WitnessGeneratorLeafAggregation | 1 | fermah.wg.c4d | 4.00s | 0μs | ||||
| Completed | CircuitProver | 1 | moonli | 4.00s | 9m 44s | ||||
| Completed | WitnessGeneratorNodeAggregation | 1 | fermah.wg.c4d | 1.00s | 0μs | ||||
| Completed | CircuitProver | 1 | rubynodes | 4.00s | 11m 15s | ||||
| Completed | CircuitProver | 1 | p-ops | 4.00s | 13m 21s | ||||
| Completed | WitnessGeneratorLeafAggregation | 1 | fermah.wg.c4d | 2.00s | 0μs | ||||
| Completed | CircuitProver | 1 | fermah.cp.g4 | 4.00s | 15m 30s | ||||
| Completed | WitnessGeneratorNodeAggregation | 1 | fermah.wg.c4d | 2.00s | 0μs | ||||
| Failed | CircuitProver | 1 | staking4all | 2m 0s | 3m 11s | ||||
| Completed | WitnessGeneratorNodeAggregation | 1 | fermah.wg.c4d | 2.00s | 0μs | ||||
| Completed | CircuitProver | ×2 | moonli | 6.00s | 9m 50s | ||||
| Completed | WitnessGeneratorLeafAggregation | 1 | fermah.wg.c4d | 2.00s | 0μs | ||||
| Completed | CircuitProver | 1 | moonli | 4.00s | 19m 47s | ||||
| Completed | WitnessGeneratorNodeAggregation | 1 | fermah.wg.c4d | 2.00s | 0μs | ||||
| Completed | CircuitProver | 1 | moonli | 4.00s | 23m 35s | ||||
| Completed | WitnessGeneratorNodeAggregation | 1 | fermah.wg.c4d | 2.00s | 0μs | ||||
| Completed | CircuitProver | 1 | moonli | 5.00s | 25m 39s | ||||
| Completed | WitnessGeneratorLeafAggregation | 1 | fermah.wg.c4d | 2.00s | 0μs | ||||
| Completed | CircuitProver | 1 | rubynodes | 3.00s | 15m 52s | ||||
| Completed | WitnessGeneratorLeafAggregation | 1 | fermah.wg.c4d | 1.00s | 0μs | ||||
| Completed | CircuitProver | 1 | rubynodes | 4.00s | 16m 1s | ||||
| Completed | CircuitProver | 1 | moonli | 5.00s | 12m 39s | ||||
| Completed | WitnessGeneratorLeafAggregation | 1 | fermah.wg.c4d | 2.00s | 0μs | ||||
| Completed | WitnessGeneratorLeafAggregation | 1 | fermah.wg.c4d | 2.00s | 0μs | ||||
| Completed | CircuitProver | 1 | moonli | 5.00s | 8m 52s | ||||
| Completed | WitnessGeneratorLeafAggregation | 1 | fermah.wg.c4d | 2.00s | 0μs | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 4m 21s | ||||
| Completed | CircuitProver | ×32 | p-ops | 26.00s | 4m 42s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 4m 57s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 5m 56s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 6m 36s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 7m 26s | ||||
| Completed | CircuitProver | ×32 | p-ops | 31.00s | 13m 54s | ||||
| Completed | CircuitProver | ×32 | moonli | 20.00s | 15m 16s | ||||
| Completed | CircuitProver | ×32 | moonli | 34.00s | 15m 39s | ||||
| Completed | CircuitProver | ×32 | p-ops | 27.00s | 19m 58s | ||||
| Completed | CircuitProver | ×32 | natsai | 24.00s | 20m 21s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 26.00s | 20m 21s | ||||
| Completed | CircuitProver | ×32 | natsai | 31.00s | 21m 13s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 23m 0s | ||||
| Completed | CircuitProver | ×32 | p-ops | 26.00s | 23m 51s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 27.00s | 23m 52s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 24m 53s | ||||
| Completed | CircuitProver | ×32 | moonli | 23.00s | 26m 10s | ||||
| Completed | CircuitProver | ×32 | moonli | 23.00s | 27m 1s | ||||
| Completed | CircuitProver | ×32 | moonli | 35.00s | 31m 23s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 18.00s | 55.00s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 1m 18s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 3m 18s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 26.00s | 3m 55s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 4m 12s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 5m 37s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 7m 2s | ||||
| Completed | CircuitProver | ×32 | natsai | 25.00s | 8m 18s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 45.00s | 11m 26s | ||||
| Completed | CircuitProver | ×32 | p-ops | 40.00s | 11m 31s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 29.00s | 11m 42s | ||||
| Completed | CircuitProver | ×32 | natsai | 32.00s | 11m 52s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 12m 29s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 13m 42s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 16m 30s | ||||
| Completed | CircuitProver | ×17 | rubynodes | 23.00s | 17m 24s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 17m 23s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 19m 27s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 20m 9s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 23m 38s | ||||
| Completed | CircuitProver | ×32 | moonli | 23.00s | 26m 6s | ||||
| Completed | CircuitProver | ×32 | p-ops | 27.00s | 26m 5s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 26m 33s | ||||
| Completed | CircuitProver | ×32 | natsai | 25.00s | 26m 57s | ||||
| Completed | CircuitProver | ×32 | natsai | 32.00s | 29m 5s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 31m 35s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 31m 58s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 24m 49s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 22.00s | 25m 1s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 21.00s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 24.00s | 54.00s | ||||
| Completed | CircuitProver | ×2 | moonli | 10.00s | 1m 18s | ||||
| Completed | CircuitProver | ×32 | p-ops | 32.00s | 3m 12s | ||||
| Completed | CircuitProver | ×32 | p-ops | 32.00s | 8m 40s | ||||
| Completed | CircuitProver | ×32 | natsai | 25.00s | 16m 48s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 16m 59s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 18.00s | 23m 20s | ||||
| Completed | CircuitProver | ×32 | p-ops | 26.00s | 32.00s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 9m 36s | ||||
| Completed | CircuitProver | 1 | fermah.cp.g4 | 7.00s | 14m 41s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 18m 4s | ||||
| Completed | CircuitProver | ×32 | moonli | 23.00s | 18m 15s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 18m 45s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 19m 56s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 20m 49s | ||||
| Completed | CircuitProver | ×32 | p-ops | 26.00s | 23m 25s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 24m 24s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 33.00s | 24m 49s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 27m 24s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 28m 11s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 26.00s | 30m 6s | ||||
| Completed | CircuitProver | ×32 | p-ops | 26.00s | 32m 2s | ||||
| Completed | CircuitProver | ×32 | natsai | 25.00s | 4m 30s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 4m 36s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 26.00s | 5m 42s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 5m 49s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 24.00s | 7m 2s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 7m 52s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 8m 43s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 10m 20s | ||||
| Completed | CircuitProver | ×32 | moonli | 20.00s | 14m 6s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 14m 48s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 15m 0s | ||||
| Completed | CircuitProver | ×32 | natsai | 25.00s | 15m 0s | ||||
| Completed | CircuitProver | ×32 | p-ops | 26.00s | 15m 21s | ||||
| Completed | CircuitProver | ×32 | natsai | 25.00s | 15m 26s | ||||
| Completed | CircuitProver | ×32 | natsai | 25.00s | 18m 59s | ||||
| Completed | CircuitProver | ×32 | p-ops | 32.00s | 18m 55s | ||||
| Completed | CircuitProver | ×32 | natsai | 27.00s | 19m 54s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 20m 54s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 18.00s | 21m 25s | ||||
| Completed | CircuitProver | ×32 | moonli | 22.00s | 21m 59s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 25m 17s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 22.00s | 27m 12s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 27m 34s | ||||
| Completed | CircuitProver | ×32 | p-ops | 26.00s | 29m 46s | ||||
| Completed | CircuitProver | ×32 | natsai | 25.00s | 30m 55s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 31m 10s | ||||
| Completed | CircuitProver | ×32 | natsai | 25.00s | 3m 7s | ||||
| Completed | CircuitProver | ×32 | p-ops | 26.00s | 6m 2s | ||||
| Completed | CircuitProver | ×32 | natsai | 24.00s | 6m 58s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 8m 18s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 8m 18s | ||||
| Completed | CircuitProver | ×32 | natsai | 25.00s | 9m 36s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 18.00s | 12m 11s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 12m 11s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 18.00s | 13m 23s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 13m 17s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 13m 29s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 14m 51s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 15m 7s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 19m 33s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 19m 50s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 20m 28s | ||||
| Completed | CircuitProver | ×32 | natsai | 26.00s | 21m 44s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 23m 0s | ||||
| Completed | CircuitProver | ×32 | natsai | 25.00s | 23m 15s | ||||
| Completed | CircuitProver | ×32 | p-ops | 26.00s | 25m 37s | ||||
| Completed | CircuitProver | ×32 | natsai | 32.00s | 25m 34s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 25m 48s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 24.00s | 27m 5s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 20.00s | 27m 53s | ||||
| Completed | CircuitProver | ×32 | natsai | 25.00s | 29m 37s | ||||
| Completed | CircuitProver | ×32 | natsai | 25.00s | 30m 2s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 32m 23s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 50.00s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 2m 47s | ||||
| Completed | CircuitProver | ×32 | natsai | 26.00s | 3m 58s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 18.00s | 5m 19s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 6m 8s | ||||
| Completed | CircuitProver | ×32 | p-ops | 26.00s | 6m 55s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 7m 48s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 10m 1s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 22.00s | 11m 20s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 14m 30s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 15m 46s | ||||
| Completed | CircuitProver | ×32 | natsai | 27.00s | 16m 16s | ||||
| Completed | CircuitProver | 1 | rubynodes | 10.00s | 22m 50s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 23m 27s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 24m 41s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 25m 23s | ||||
| Completed | CircuitProver | ×32 | p-ops | 24.00s | 26m 58s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 26.00s | 28m 46s | ||||
| Completed | CircuitProver | ×32 | p-ops | 32.00s | 28m 46s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 30m 25s | ||||
| Completed | CircuitProver | ×32 | moonli | 20.00s | 31m 45s | ||||
| Completed | CircuitProver | ×32 | natsai | 25.00s | 31m 46s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 3m 22s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 32.00s | 12m 11s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 27.00s | 13m 15s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 23.00s | 22m 22s | ||||
| Completed | CircuitProver | ×32 | natsai | 31.00s | 5m 22s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 8m 16s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 26.00s | 16m 28s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 27.00s | 19m 27s | ||||
| Completed | CircuitProver | ×32 | moonli | 23.00s | 22m 10s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 0μs | ||||
| Completed | CircuitProver | ×32 | natsai | 26.00s | 3m 32s | ||||
| Completed | CircuitProver | ×32 | p-ops | 26.00s | 4m 16s | ||||
| Completed | CircuitProver | ×32 | natsai | 31.00s | 5m 53s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 8m 2s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 18.00s | 8m 40s | ||||
| Completed | CircuitProver | ×32 | moonli | 30.00s | 11m 41s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 12m 11s | ||||
| Completed | CircuitProver | ×32 | natsai | 26.00s | 12m 24s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 16.00s | 12m 48s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 33.00s | 14m 11s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 14m 25s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 16m 13s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 16m 41s | ||||
| Completed | CircuitProver | 1 | p-ops | 6.00s | 19m 27s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 19m 45s | ||||
| Completed | CircuitProver | ×32 | natsai | 32.00s | 22m 40s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 24m 19s | ||||
| Completed | CircuitProver | ×32 | natsai | 24.00s | 30m 31s | ||||
| Completed | CircuitProver | ×32 | natsai | 25.00s | 31m 20s | ||||
| Completed | CircuitProver | ×16 | rubynodes | 20.00s | 0μs | ||||
| Completed | CircuitProver | ×32 | natsai | 26.00s | 32.00s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 1m 32s | ||||
| Completed | CircuitProver | ×32 | natsai | 25.00s | 1m 49s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 4m 2s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 4m 48s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 5m 25s | ||||
| Completed | CircuitProver | ×32 | moonli | 26.00s | 5m 46s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 8m 21s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 14m 28s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 16m 55s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 17m 9s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 18m 28s | ||||
| Completed | CircuitProver | ×32 | natsai | 26.00s | 18m 33s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 20m 47s | ||||
| Completed | CircuitProver | ×32 | moonli | 23.00s | 23m 15s | ||||
| Completed | CircuitProver | ×32 | natsai | 25.00s | 26m 6s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 27m 22s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 29m 18s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 29m 37s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 30m 40s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 30m 54s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 1m 43s | ||||
| Completed | CircuitProver | ×32 | natsai | 31.00s | 6m 24s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 9m 12s | ||||
| Completed | CircuitProver | ×32 | natsai | 24.00s | 9m 12s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 10m 0s | ||||
| Completed | CircuitProver | ×32 | p-ops | 26.00s | 10m 10s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 18.00s | 17m 13s | ||||
| Completed | CircuitProver | ×32 | p-ops | 26.00s | 18m 27s | ||||
| Completed | CircuitProver | ×32 | moonli | 36.00s | 18m 52s | ||||
| Completed | CircuitProver | ×32 | p-ops | 26.00s | 20m 50s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 21m 44s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 25m 42s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 26m 29s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 26m 56s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 28m 6s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 18.00s | 28m 14s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 31m 20s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 32m 30s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 32.00s | 20.00s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 59.00s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 23.00s | 2m 12s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 5m 8s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 5m 37s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 9m 12s | ||||
| Completed | CircuitProver | ×32 | moonli | 21.00s | 11m 17s | ||||
| Completed | CircuitProver | ×11 | moonli | 11.00s | 13m 6s | ||||
| Completed | CircuitProver | ×32 | natsai | 25.00s | 14m 35s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 17m 32s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 17m 35s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 18m 37s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 19m 7s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 20m 44s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 22m 9s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 24m 3s | ||||
| Completed | CircuitProver | ×32 | moonli | 26.00s | 24m 27s | ||||
| Completed | CircuitProver | ×32 | natsai | 24.00s | 27m 50s | ||||
| Completed | CircuitProver | ×32 | p-ops | 26.00s | 29m 18s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 30m 56s | ||||
| Completed | CircuitProver | ×32 | natsai | 25.00s | 2m 42s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 2m 54s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 3m 28s | ||||
| Completed | CircuitProver | ×32 | moonli | 23.00s | 6m 39s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 7m 54s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 8m 14s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 8m 58s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 9m 40s | ||||
| Completed | CircuitProver | ×32 | p-ops | 26.00s | 12m 37s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 12m 41s | ||||
| Completed | CircuitProver | ×32 | natsai | 25.00s | 12m 50s | ||||
| Completed | CircuitProver | ×32 | natsai | 25.00s | 13m 41s | ||||
| Completed | CircuitProver | ×32 | natsai | 27.00s | 17m 41s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 24.00s | 18m 13s | ||||
| Completed | CircuitProver | ×32 | moonli | 19.00s | 18m 39s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 16m 14s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 21m 21s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 22m 59s | ||||
| Completed | CircuitProver | ×32 | natsai | 25.00s | 24m 37s | ||||
| Completed | CircuitProver | ×32 | moonli | 34.00s | 30m 20s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 31m 29s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 18.00s | 31m 58s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 32m 18s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 1m 52s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 2m 8s | ||||
| Completed | CircuitProver | 1 | moonli | 14.00s | 2m 40s | ||||
| Completed | CircuitProver | ×32 | moonli | 23.00s | 4m 8s | ||||
| Completed | CircuitProver | ×32 | moonli | 23.00s | 5m 2s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 7m 19s | ||||
| Completed | CircuitProver | ×32 | natsai | 25.00s | 10m 55s | ||||
| Completed | CircuitProver | ×32 | p-ops | 26.00s | 11m 2s | ||||
| Completed | CircuitProver | ×32 | moonli | 26.00s | 12m 35s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 12m 48s | ||||
| Completed | CircuitProver | ×32 | natsai | 25.00s | 18m 8s | ||||
| Completed | CircuitProver | ×32 | moonli | 20.00s | 18m 58s | ||||
| Completed | CircuitProver | ×32 | natsai | 27.00s | 19m 24s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 19m 31s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 22m 3s | ||||
| Completed | CircuitProver | ×32 | natsai | 26.00s | 24m 7s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 25m 27s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 28m 40s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 29m 13s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 32m 55s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 2m 54s | ||||
| Completed | CircuitProver | ×32 | p-ops | 27.00s | 3m 47s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 6m 36s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 7m 27s | ||||
| Completed | CircuitProver | ×32 | p-ops | 26.00s | 9m 40s | ||||
| Completed | CircuitProver | ×32 | moonli | 20.00s | 10m 1s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 18.00s | 10m 39s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 11m 1s | ||||
| Completed | CircuitProver | ×32 | natsai | 26.00s | 14m 6s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 14m 52s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 16m 38s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 26.00s | 19m 55s | ||||
| Completed | CircuitProver | ×32 | natsai | 25.00s | 20m 47s | ||||
| Completed | CircuitProver | ×32 | natsai | 24.00s | 22m 10s | ||||
| Completed | CircuitProver | ×32 | natsai | 25.00s | 23m 41s | ||||
| Completed | CircuitProver | ×32 | moonli | 33.00s | 23m 49s | ||||
| Completed | CircuitProver | ×32 | p-ops | 24.00s | 25m 11s | ||||
| Completed | CircuitProver | ×32 | natsai | 26.00s | 28m 39s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 15m 49s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 22m 45s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 1m 52s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 2m 16s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 3m 47s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 18.00s | 4m 40s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 6m 14s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 10m 28s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 10m 36s | ||||
| Completed | CircuitProver | ×32 | moonli | 23.00s | 10m 52s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 10m 58s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 11m 15s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 15m 49s | ||||
| Completed | CircuitProver | ×32 | moonli | 23.00s | 17m 51s | ||||
| Completed | CircuitProver | ×32 | moonli | 19.00s | 20m 9s | ||||
| Completed | CircuitProver | ×32 | moonli | 23.00s | 22m 34s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 28m 59s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 29m 28s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 29m 41s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 26.00s | 31m 1s | ||||
| Completed | CircuitProver | 1 | rubynodes | 10.00s | 32m 21s | ||||
| Completed | CircuitProver | ×32 | p-ops | 31.00s | 0μs | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 1m 18s | ||||
| Completed | CircuitProver | ×32 | natsai | 25.00s | 1m 24s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 1m 54s | ||||
| Completed | CircuitProver | ×32 | natsai | 25.00s | 7m 22s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 9m 45s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 10m 21s | ||||
| Completed | CircuitProver | ×32 | moonli | 23.00s | 15m 49s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 16m 11s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 17m 51s | ||||
| Completed | CircuitProver | ×32 | moonli | 23.00s | 20m 21s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 21m 16s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 18.00s | 24m 0s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 26m 14s | ||||
| Completed | CircuitProver | ×32 | moonli | 19.00s | 27m 43s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 27m 49s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 29m 58s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 30m 18s | ||||
| Completed | CircuitProver | ×32 | moonli | 34.00s | 30m 49s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 24.00s | 2m 9s | ||||
| Completed | CircuitProver | ×32 | natsai | 25.00s | 2m 16s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 2m 59s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 18.00s | 5m 0s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 7m 0s | ||||
| Completed | CircuitProver | ×32 | moonli | 26.00s | 7m 50s | ||||
| Completed | CircuitProver | ×32 | natsai | 31.00s | 7m 47s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 18.00s | 9m 22s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 10m 10s | ||||
| Completed | CircuitProver | ×32 | moonli | 33.00s | 11m 38s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 15m 30s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 18m 26s | ||||
| Completed | CircuitProver | ×4 | fermah.cp.g4 | 11.00s | 27m 1s | ||||
| Completed | CircuitProver | ×32 | p-ops | 26.00s | 30m 12s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 16.00s | 32m 39s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 35.00s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 24.00s | 2m 35s | ||||
| Completed | CircuitProver | ×32 | moonli | 20.00s | 2m 59s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 10m 52s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 19m 2s | ||||
| Completed | CircuitProver | ×15 | fermah.cp.g4 | 11.00s | 23m 9s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 26m 5s | ||||
| Completed | CircuitProver | ×32 | moonli | 20.00s | 29m 58s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 17m 3s | ||||
| Completed | CircuitProver | ×32 | natsai | 25.00s | 32m 41s | ||||
| Completed | CircuitProver | ×32 | p-ops | 26.00s | 32m 30s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 21m 34s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 13m 42s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 25m 42s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 32.00s | 15m 14s | ||||
| Completed | CircuitProver | ×32 | moonli | 19.00s | 13m 42s | ||||
| Completed | CircuitProver | ×32 | natsai | 26.00s | 13m 15s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 22m 34s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 23m 24s | ||||
| Completed | CircuitProver | ×32 | natsai | 25.00s | 28m 14s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 29m 52s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 18.00s | 30m 37s | ||||
| Completed | CircuitProver | ×32 | moonli | 22.00s | 22m 22s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 24m 44s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 32m 31s | ||||
| Completed | CircuitProver | ×32 | natsai | 27.00s | 17m 13s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 20m 29s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 19m 21s | ||||
| Completed | CircuitProver | ×17 | moonli | 21.00s | 0μs | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 18.00s | 1m 14s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 2m 21s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 2m 35s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 22.00s | 3m 18s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 3m 43s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 26.00s | 4m 22s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 7m 1s | ||||
| Completed | CircuitProver | ×32 | p-ops | 26.00s | 7m 22s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 8m 42s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 9m 36s | ||||
| Completed | CircuitProver | ×32 | moonli | 34.00s | 13m 56s | ||||
| Completed | CircuitProver | ×32 | natsai | 25.00s | 15m 51s | ||||
| Completed | CircuitProver | ×32 | moonli | 20.00s | 16m 39s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 23m 38s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 28m 20s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 29m 34s | ||||
| Completed | CircuitProver | ×32 | natsai | 25.00s | 32m 14s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 5m 14s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 6m 12s | ||||
| Completed | CircuitProver | ×32 | p-ops | 26.00s | 6m 28s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 7m 29s | ||||
| Completed | CircuitProver | ×32 | natsai | 26.00s | 10m 2s | ||||
| Completed | CircuitProver | ×32 | moonli | 23.00s | 13m 8s | ||||
| Completed | CircuitProver | ×32 | p-ops | 26.00s | 16m 14s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 21m 6s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 21m 41s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 24m 17s | ||||
| Completed | CircuitProver | ×32 | natsai | 32.00s | 25m 2s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 26.00s | 27m 54s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 24.00s | 30m 37s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 22.00s | 13.00s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 30.00s | ||||
| Completed | CircuitProver | ×32 | natsai | 26.00s | 58.00s | ||||
| Completed | CircuitProver | ×32 | moonli | 23.00s | 1m 43s | ||||
| Completed | CircuitProver | ×32 | natsai | 25.00s | 4m 57s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 5m 21s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 6m 41s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 7m 38s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 8m 42s | ||||
| Completed | CircuitProver | ×32 | moonli | 26.00s | 9m 8s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 32.00s | 9m 12s | ||||
| Completed | CircuitProver | ×32 | natsai | 25.00s | 10m 28s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 10m 36s | ||||
| Completed | CircuitProver | ×32 | moonli | 29.00s | 12m 11s | ||||
| Completed | CircuitProver | ×32 | moonli | 34.00s | 17m 28s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 28.00s | 21m 41s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 21m 46s | ||||
| Completed | CircuitProver | ×32 | natsai | 25.00s | 26m 32s | ||||
| Completed | CircuitProver | ×32 | moonli | 19.00s | 28m 31s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 31m 15s | ||||
| Completed | CircuitProver | ×32 | p-ops | 26.00s | 31m 36s | ||||
| Completed | CircuitProver | ×32 | moonli | 23.00s | 55.00s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 1m 28s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 20.00s | 3m 42s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 4m 32s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 24.00s | 6m 15s | ||||
| Completed | CircuitProver | ×32 | natsai | 25.00s | 8m 47s | ||||
| Completed | CircuitProver | ×32 | natsai | 32.00s | 11m 20s | ||||
| Completed | CircuitProver | ×32 | p-ops | 26.00s | 13m 3s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 18.00s | 14m 1s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 14m 19s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 22.00s | 16m 49s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 22m 50s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 24m 20s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 25m 17s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 26m 32s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 26m 39s | ||||
| Completed | CircuitProver | ×32 | natsai | 25.00s | 27m 24s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 24.00s | 28m 35s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 31m 54s | ||||
| Completed | CircuitProver | ×32 | moonli | 23.00s | 32m 7s | ||||
| Completed | CircuitProver | ×4 | fermah.cp.g4 | 13.00s | 0μs | ||||
| Completed | CircuitProver | ×32 | natsai | 32.00s | 0μs | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 1m 28s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 2m 32s | ||||
| Completed | WitnessGeneratorBasicCircuits | 1 | fermah.wg.c4d | 1m 51s | 0μs |