Back to workflows
Workflow execution
Completed Abstract
Created
Oct 10, 2026, 2:56 AM UTC
Completed
Oct 10, 2026, 3:42 AM UTC
Duration
46m 5s
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,271
- L1 chain id
- 0
- Protocol version
- 0.30.1
Completed
539
In progress
0
Pending
0
Failed
4
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 15s | 0μs | ||||
| Completed | CircuitProver | 1 | moonli | 5.00s | 3.00s | ||||
| Completed | WitnessGeneratorScheduler | 1 | fermah.wg.c4d | 0μs | 0μs | ||||
| Completed | CircuitProver | 1 | moonli | 5.00s | 1.00s | ||||
| Completed | WitnessGeneratorRecursionTip | 1 | fermah.wg.c4d | 4.00s | 0μs | ||||
| Completed | CircuitProver | 1 | moonli | 5.00s | 12.00s | ||||
| Failed | CircuitProver | 1 | rubynodes | 2m 0s | 11.00s | ||||
| Completed | WitnessGeneratorNodeAggregation | 1 | fermah.wg.c4d | 1.00s | 0μs | ||||
| Completed | CircuitProver | ×11 | rubynodes | 15.00s | 8.00s | ||||
| Completed | WitnessGeneratorNodeAggregation | 1 | fermah.wg.c4d | 2.00s | 0μs | ||||
| Completed | CircuitProver | 1 | p-ops | 4.00s | 10.00s | ||||
| Completed | WitnessGeneratorNodeAggregation | 1 | fermah.wg.c4d | 1.00s | 0μs | ||||
| Completed | CircuitProver | 1 | natsai | 7.00s | 15.00s | ||||
| Completed | WitnessGeneratorNodeAggregation | 1 | fermah.wg.c4d | 1.00s | 0μs | ||||
| Completed | CircuitProver | ×2 | fermah.cp.g4 | 4.00s | 35.00s | ||||
| Completed | WitnessGeneratorNodeAggregation | 1 | fermah.wg.c4d | 2.00s | 0μs | ||||
| Completed | CircuitProver | ×13 | p-ops | 16.00s | 37.00s | ||||
| Completed | WitnessGeneratorLeafAggregation | 1 | fermah.wg.c4d | 3.00s | 0μs | ||||
| Completed | CircuitProver | ×32 | p-ops | 28.00s | 58.00s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 28.00s | 42.00s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 34.00s | 35.00s | ||||
| Completed | CircuitProver | ×32 | moonli | 31.00s | 15.00s | ||||
| Completed | CircuitProver | ×32 | natsai | 34.00s | 2.00s | ||||
| Completed | CircuitProver | ×32 | p-ops | 31.00s | 6.00s | ||||
| Completed | CircuitProver | ×7 | fermah.cp.g4 | 8.00s | 34.00s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 29.00s | 4.00s | ||||
| Completed | CircuitProver | ×32 | moonli | 30.00s | 53.00s | ||||
| Completed | CircuitProver | ×32 | moonli | 33.00s | 3.00s | ||||
| Completed | CircuitProver | ×32 | natsai | 35.00s | 36.00s | ||||
| Completed | CircuitProver | 1 | moonli | 5.00s | 0μs | ||||
| Completed | WitnessGeneratorNodeAggregation | 1 | fermah.wg.c4d | 2.00s | 0μs | ||||
| Completed | CircuitProver | 1 | p-ops | 3.00s | 6.00s | ||||
| Completed | CircuitProver | 1 | moonli | 4.00s | 3.00s | ||||
| Completed | CircuitProver | 1 | moonli | 5.00s | 11.00s | ||||
| Completed | WitnessGeneratorNodeAggregation | 1 | fermah.wg.c4d | 1.00s | 3.00s | ||||
| Completed | CircuitProver | 1 | p-ops | 3.00s | 6.00s | ||||
| Completed | CircuitProver | 1 | moonli | 5.00s | 21.00s | ||||
| Completed | CircuitProver | 1 | rubynodes | 4.00s | 13.00s | ||||
| Completed | CircuitProver | 1 | p-ops | 4.00s | 7.00s | ||||
| Completed | WitnessGeneratorNodeAggregation | 1 | fermah.wg.c4d | 2.00s | 6.00s | ||||
| Completed | WitnessGeneratorNodeAggregation | 1 | fermah.wg.c4d | 1.00s | 6.00s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 43.00s | 24.00s | ||||
| Completed | CircuitProver | ×16 | p-ops | 18.00s | 20.00s | ||||
| Completed | WitnessGeneratorNodeAggregation | 1 | fermah.wg.c4d | 2.00s | 7.00s | ||||
| Completed | WitnessGeneratorNodeAggregation | 1 | fermah.wg.c4d | 2.00s | 6.00s | ||||
| Completed | WitnessGeneratorNodeAggregation | 1 | fermah.wg.c4d | 1.00s | 8.00s | ||||
| Completed | WitnessGeneratorNodeAggregation | 1 | fermah.wg.c4d | 2.00s | 7.00s | ||||
| Completed | WitnessGeneratorLeafAggregation | 1 | fermah.wg.c4d | 8.00s | 0μs | ||||
| Completed | WitnessGeneratorLeafAggregation | 1 | fermah.wg.c4d | 41.00s | 0μs | ||||
| Completed | CircuitProver | 1 | moonli | 5.00s | 38.00s | ||||
| Completed | WitnessGeneratorNodeAggregation | 1 | fermah.wg.c4d | 2.00s | 0μs | ||||
| Completed | CircuitProver | ×26 | moonli | 24.00s | 2m 27s | ||||
| Completed | WitnessGeneratorLeafAggregation | 1 | fermah.wg.c4d | 4.00s | 0μs | ||||
| Completed | CircuitProver | 1 | moonli | 5.00s | 7m 35s | ||||
| Completed | WitnessGeneratorLeafAggregation | 1 | fermah.wg.c4d | 1.00s | 0μs | ||||
| Completed | CircuitProver | ×31 | fermah.cp.g4 | 27.00s | 10m 32s | ||||
| Completed | WitnessGeneratorLeafAggregation | 1 | fermah.wg.c4d | 6.00s | 0μs | ||||
| Completed | CircuitProver | 1 | fermah.cp.g4 | 3.00s | 12m 19s | ||||
| Completed | WitnessGeneratorNodeAggregation | 1 | fermah.wg.c4d | 2.00s | 0μs | ||||
| Completed | CircuitProver | ×26 | natsai | 37.00s | 13m 22s | ||||
| Completed | CircuitProver | 1 | moonli | 5.00s | 14m 53s | ||||
| Completed | WitnessGeneratorLeafAggregation | 1 | fermah.wg.c4d | 2.00s | 0μs | ||||
| Completed | CircuitProver | 1 | fermah.cp.g4 | 4.00s | 14m 58s | ||||
| Completed | WitnessGeneratorLeafAggregation | 1 | fermah.wg.c4d | 2.00s | 0μs | ||||
| Completed | CircuitProver | 1 | natsai | 4.00s | 15m 52s | ||||
| Completed | WitnessGeneratorLeafAggregation | 1 | fermah.wg.c4d | 2.00s | 0μs | ||||
| Completed | CircuitProver | 1 | natsai | 4.00s | 19m 0s | ||||
| Completed | WitnessGeneratorLeafAggregation | 1 | fermah.wg.c4d | 1.00s | 0μs | ||||
| Completed | CircuitProver | 1 | fermah.cp.g4 | 3.00s | 24m 42s | ||||
| Completed | WitnessGeneratorLeafAggregation | 1 | fermah.wg.c4d | 1.00s | 0μs | ||||
| Completed | CircuitProver | 1 | fermah.cp.g4 | 4.00s | 26m 9s | ||||
| Completed | WitnessGeneratorNodeAggregation | 1 | fermah.wg.c4d | 2.00s | 0μs | ||||
| Completed | CircuitProver | 1 | moonli | 5.00s | 26m 54s | ||||
| Completed | WitnessGeneratorNodeAggregation | 1 | fermah.wg.c4d | 2.00s | 0μs | ||||
| Completed | CircuitProver | ×2 | moonli | 9.00s | 27m 16s | ||||
| Completed | WitnessGeneratorLeafAggregation | 1 | fermah.wg.c4d | 2.00s | 0μs | ||||
| Completed | CircuitProver | ×32 | moonli | 34.00s | 31m 41s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 32m 45s | ||||
| Completed | CircuitProver | ×32 | moonli | 27.00s | 4.00s | ||||
| Completed | CircuitProver | ×32 | p-ops | 32.00s | 10m 54s | ||||
| Completed | CircuitProver | 1 | fermah.cp.g4 | 3.00s | 9m 30s | ||||
| Completed | WitnessGeneratorLeafAggregation | 1 | fermah.wg.c4d | 2.00s | 0μs | ||||
| Completed | CircuitProver | 1 | fermah.cp.g4 | 4.00s | 9m 41s | ||||
| Completed | CircuitProver | 1 | moonli | 5.00s | 24m 23s | ||||
| Completed | WitnessGeneratorLeafAggregation | 1 | fermah.wg.c4d | 2.00s | 0μs | ||||
| Completed | WitnessGeneratorLeafAggregation | 1 | fermah.wg.c4d | 2.00s | 0μs | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 12m 8s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 13m 53s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 14m 23s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 15m 40s | ||||
| Completed | CircuitProver | ×32 | moonli | 23.00s | 17m 19s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 17m 42s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 24.00s | 18m 6s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 23.00s | 18m 32s | ||||
| Completed | CircuitProver | ×32 | moonli | 23.00s | 21m 5s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 27m 39s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 28m 3s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 28m 27s | ||||
| Completed | CircuitProver | ×32 | natsai | 39.00s | 30m 27s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 31m 17s | ||||
| Completed | CircuitProver | ×32 | p-ops | 26.00s | 31m 56s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 33m 21s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 18.00s | 33m 42s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 35m 22s | ||||
| Completed | CircuitProver | ×32 | p-ops | 24.00s | 0μs | ||||
| Completed | CircuitProver | ×32 | p-ops | 31.00s | 25.00s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 45.00s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 3m 10s | ||||
| Completed | CircuitProver | ×13 | moonli | 11.00s | 3m 23s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 0μs | 3m 56s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 44.00s | 4m 53s | ||||
| Completed | CircuitProver | ×32 | moonli | 21.00s | 9m 14s | ||||
| Completed | CircuitProver | ×32 | moonli | 23.00s | 9m 38s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 10m 3s | ||||
| Completed | CircuitProver | ×32 | natsai | 59.00s | 11m 30s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 12m 42s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 15m 11s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 17m 50s | ||||
| Completed | CircuitProver | ×32 | natsai | 45.00s | 20m 18s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 21m 9s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 16.00s | 21m 28s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 32.00s | 21m 47s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 22m 3s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 22m 8s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 22m 19s | ||||
| Completed | CircuitProver | ×32 | moonli | 23.00s | 25m 42s | ||||
| Completed | CircuitProver | ×32 | moonli | 23.00s | 30m 26s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 26.00s | 31m 39s | ||||
| Completed | CircuitProver | ×32 | p-ops | 33.00s | 32m 22s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 34m 12s | ||||
| Completed | CircuitProver | ×32 | natsai | 36.00s | 35m 50s | ||||
| Completed | CircuitProver | ×4 | moonli | 16.00s | 21m 52s | ||||
| Completed | CircuitProver | ×32 | moonli | 23.00s | 4m 27s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 18.00s | 14m 49s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 1m 1s | 16m 52s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 20m 8s | ||||
| Completed | CircuitProver | ×32 | natsai | 43.00s | 21m 52s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 18.00s | 24m 6s | ||||
| Completed | CircuitProver | ×32 | natsai | 46.00s | 29m 40s | ||||
| Completed | CircuitProver | ×32 | natsai | 46.00s | 31m 10s | ||||
| Completed | CircuitProver | ×32 | natsai | 1m 4s | 17m 11s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 27.00s | 24m 53s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 35.00s | 0μs | ||||
| Completed | CircuitProver | 1 | moonli | 6.00s | 1m 9s | ||||
| Completed | CircuitProver | ×32 | moonli | 23.00s | 1m 43s | ||||
| Completed | CircuitProver | ×32 | natsai | 53.00s | 1m 53s | ||||
| Completed | CircuitProver | ×32 | natsai | 51.00s | 8m 28s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 11m 17s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 18m 39s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 20m 15s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 26.00s | 20m 33s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 21m 22s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 26.00s | 22m 45s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 23.00s | 23m 43s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 18.00s | 24m 46s | ||||
| Completed | CircuitProver | ×32 | natsai | 35.00s | 25m 54s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 26m 56s | ||||
| Completed | CircuitProver | ×32 | p-ops | 26.00s | 31m 3s | ||||
| Completed | CircuitProver | ×32 | p-ops | 26.00s | 31m 30s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 26.00s | 33m 3s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 26.00s | 34m 26s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 22.00s | 25m 43s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 7m 11s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 1m 8s | 7m 25s | ||||
| Completed | CircuitProver | ×32 | p-ops | 32.00s | 14m 18s | ||||
| Completed | CircuitProver | ×32 | p-ops | 26.00s | 17m 54s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 21m 5s | ||||
| Completed | CircuitProver | ×32 | moonli | 21.00s | 21m 31s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 24.00s | 23m 19s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 23.00s | 26m 25s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 32m 55s | ||||
| Completed | CircuitProver | ×32 | natsai | 41.00s | 35m 9s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 7m 31s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 26m 13s | ||||
| Completed | CircuitProver | ×32 | natsai | 42.00s | 28m 8s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 2m 43s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 27.00s | 3m 8s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 5m 16s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 16.00s | 9m 50s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 10m 28s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 13m 17s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 15m 26s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 15m 26s | ||||
| Completed | CircuitProver | ×32 | moonli | 18.00s | 22m 46s | ||||
| Failed | CircuitProver | ×26 | rubynodes | 12.00s | 23m 38s | ||||
| Completed | CircuitProver | ×32 | moonli | 23.00s | 26m 5s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 28m 13s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 30m 50s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 18.00s | 34m 43s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 35m 41s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 36m 2s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 16.00s | 14m 8s | ||||
| Completed | CircuitProver | ×32 | natsai | 44.00s | 25m 10s | ||||
| Completed | CircuitProver | ×32 | moonli | 19.00s | 0μs | ||||
| Completed | CircuitProver | ×32 | moonli | 23.00s | 21.00s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 1m 52s | ||||
| Completed | CircuitProver | ×32 | natsai | 54.00s | 3m 11s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 4m 34s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 4m 34s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 8m 32s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 9m 12s | ||||
| Completed | CircuitProver | ×32 | natsai | 1m 3s | 10m 27s | ||||
| Completed | CircuitProver | 1 | fermah.cp.g4 | 6.00s | 21m 3s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 22m 16s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 22m 57s | ||||
| Completed | CircuitProver | ×32 | p-ops | 26.00s | 26m 46s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 22.00s | 27m 10s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 27m 48s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 26.00s | 29m 0s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 30m 13s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 33m 20s | ||||
| Completed | CircuitProver | ×32 | natsai | 49.00s | 26m 33s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 1m 33s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 2m 46s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 8m 23s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 56.00s | 9m 0s | ||||
| Completed | CircuitProver | ×32 | p-ops | 32.00s | 11m 31s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 12m 22s | ||||
| Completed | CircuitProver | ×32 | natsai | 1m 14s | 13m 35s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 19m 23s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 25m 30s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 25m 54s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 25.00s | 27m 53s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 18.00s | 30m 3s | ||||
| Completed | CircuitProver | ×32 | natsai | 36.00s | 34m 33s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 36m 40s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 16m 39s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 10m 12s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 25m 47s | ||||
| Completed | CircuitProver | ×32 | p-ops | 31.00s | 28m 12s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 27.00s | 1m 0s | ||||
| Completed | CircuitProver | ×32 | natsai | 25.00s | 1m 27s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 18.00s | 5m 35s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 6m 11s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 6m 37s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 8m 46s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 10m 38s | ||||
| Completed | CircuitProver | ×32 | p-ops | 26.00s | 12m 29s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 14m 29s | ||||
| Completed | CircuitProver | ×32 | moonli | 23.00s | 14m 53s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 18m 56s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 22.00s | 20m 14s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 20m 13s | ||||
| Completed | CircuitProver | ×32 | moonli | 26.00s | 21m 29s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 20.00s | 27m 32s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 29m 2s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 29m 38s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 32m 1s | ||||
| Completed | CircuitProver | ×32 | natsai | 43.00s | 27m 23s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 2m 21s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 18.00s | 6m 54s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 8m 23s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 10m 50s | ||||
| Completed | CircuitProver | ×32 | p-ops | 32.00s | 16m 3s | ||||
| Completed | CircuitProver | ×32 | natsai | 1m 7s | 16m 4s | ||||
| Completed | CircuitProver | ×32 | moonli | 34.00s | 17m 16s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 24.00s | 23m 11s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 28m 3s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 31m 33s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 32m 13s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 18.00s | 32m 21s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 36m 40s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 18.00s | 1m 9s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 1m 9s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 18.00s | 2m 11s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 4m 27s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 4m 55s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 8m 49s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 11m 3s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 11m 42s | ||||
| Completed | CircuitProver | ×22 | p-ops | 25.00s | 12m 3s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 15m 40s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 18m 15s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 24m 51s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 25m 5s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 25m 20s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 26.00s | 27m 7s | ||||
| Completed | CircuitProver | ×32 | natsai | 47.00s | 28m 51s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 29m 53s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 30m 23s | ||||
| Completed | CircuitProver | ×32 | moonli | 23.00s | 34m 49s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 22.00s | 47.00s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 1m 26s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 2m 31s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 3m 29s | ||||
| Completed | CircuitProver | ×32 | natsai | 46.00s | 4m 5s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 4m 59s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 28.00s | 11m 40s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 13m 0s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 13m 11s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 16m 4s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 16m 43s | ||||
| Completed | CircuitProver | ×32 | natsai | 58.00s | 18m 20s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 21m 55s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 24m 17s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 24m 25s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 28m 41s | ||||
| Completed | CircuitProver | ×32 | moonli | 23.00s | 33m 5s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 35m 53s | ||||
| Completed | CircuitProver | ×2 | fermah.cp.g4 | 7.00s | 16.00s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 35.00s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 5m 58s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 7m 13s | ||||
| Completed | CircuitProver | ×32 | p-ops | 32.00s | 10m 6s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 13m 10s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 18.00s | 15m 45s | ||||
| Completed | CircuitProver | ×32 | moonli | 23.00s | 19m 27s | ||||
| Completed | CircuitProver | ×32 | p-ops | 32.00s | 21m 31s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 21m 47s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 23m 19s | ||||
| Completed | CircuitProver | ×32 | p-ops | 26.00s | 27m 13s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 29m 40s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 31m 43s | ||||
| Completed | CircuitProver | ×32 | natsai | 38.00s | 31m 57s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 32m 39s | ||||
| Completed | CircuitProver | ×32 | natsai | 37.00s | 33m 55s | ||||
| Completed | CircuitProver | ×32 | moonli | 26.00s | 36m 13s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 36m 21s | ||||
| Completed | CircuitProver | ×32 | p-ops | 26.00s | 36m 31s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 18.00s | 1m 33s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 26.00s | 2m 16s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 3m 17s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 20.00s | 3m 36s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 3m 42s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 5m 57s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 7m 56s | ||||
| Completed | CircuitProver | ×32 | moonli | 23.00s | 9m 48s | ||||
| Completed | CircuitProver | ×32 | natsai | 1m 8s | 9m 19s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 3m 35s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 1m 9s | 10m 31s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 23.00s | 12m 27s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 13m 31s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 19m 36s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 24m 22s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 24m 41s | ||||
| Completed | CircuitProver | ×32 | moonli | 23.00s | 26m 23s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 26m 29s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 28m 32s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 31m 21s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 32m 29s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 26.00s | 33m 29s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 34m 39s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 25.00s | 4m 9s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 44.00s | 4m 9s | ||||
| Completed | CircuitProver | ×32 | natsai | 47.00s | 4m 51s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 5m 33s | ||||
| Completed | CircuitProver | ×32 | natsai | 1m 0s | 5m 39s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 1m 3s | 12m 13s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 13m 31s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 14m 5s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 14m 29s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 1m 16s | 13m 42s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 14m 47s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 16m 6s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 16m 28s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 20.00s | 18m 11s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 19m 15s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 26m 48s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 27m 12s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 28m 19s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 31m 1s | ||||
| Completed | CircuitProver | ×32 | natsai | 39.00s | 32m 37s | ||||
| Completed | CircuitProver | ×32 | p-ops | 26.00s | 32m 57s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 34m 1s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 18.00s | 2m 31s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 4m 50s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 5m 58s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 8m 53s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 23m 22s | ||||
| Completed | CircuitProver | ×32 | natsai | 40.00s | 23m 14s | ||||
| Completed | CircuitProver | ×32 | natsai | 38.00s | 23m 54s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 24m 10s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 25m 17s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 26m 21s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 28m 38s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 29m 3s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 29m 27s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 30m 42s | ||||
| Completed | CircuitProver | ×32 | moonli | 23.00s | 30m 42s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 33m 1s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 33m 46s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 33m 53s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 26.00s | 33m 58s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 21.00s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 1m 51s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 7m 53s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 8m 13s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 11m 51s | ||||
| Completed | CircuitProver | ×32 | p-ops | 26.00s | 18m 23s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 18m 56s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 1m 9s | 18m 31s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 20m 40s | ||||
| Completed | CircuitProver | ×32 | natsai | 47.00s | 21m 3s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 26.00s | 27m 33s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 29m 23s | ||||
| Completed | CircuitProver | ×32 | moonli | 23.00s | 30m 1s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 26.00s | 31m 13s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 18.00s | 32m 40s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 26.00s | 32m 35s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 34m 20s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 16.00s | 0μs | ||||
| Completed | CircuitProver | ×32 | natsai | 25.00s | 2m 46s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 3m 48s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 11m 27s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 18m 7s | ||||
| Completed | CircuitProver | ×32 | natsai | 57.00s | 19m 18s | ||||
| Completed | CircuitProver | ×32 | p-ops | 26.00s | 24m 36s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 25m 4s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 25m 29s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 26m 6s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 26.00s | 26m 38s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 26.00s | 32m 8s | ||||
| Completed | CircuitProver | ×32 | p-ops | 26.00s | 33m 46s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 35m 3s | ||||
| Completed | CircuitProver | ×32 | p-ops | 26.00s | 36m 2s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 59.00s | ||||
| Completed | CircuitProver | ×32 | natsai | 54.00s | 7m 34s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 13m 7s | ||||
| Completed | CircuitProver | ×32 | natsai | 1m 6s | 12m 29s | ||||
| Completed | CircuitProver | ×32 | p-ops | 26.00s | 17m 28s | ||||
| Completed | CircuitProver | ×32 | moonli | 26.00s | 19m 47s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 23m 50s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 33m 29s | ||||
| Completed | CircuitProver | ×32 | p-ops | 26.00s | 34m 40s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 2m 7s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 3m 11s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 7m 35s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 10m 28s | ||||
| Completed | CircuitProver | ×32 | natsai | 39.00s | 22m 35s | ||||
| Completed | CircuitProver | ×31 | fermah.cp.g4 | 19.00s | 34m 22s | ||||
| Completed | CircuitProver | ×32 | p-ops | 26.00s | 35m 7s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 9m 13s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 12m 18s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 8m 47s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 7m 33s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 18.00s | 11m 30s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 15m 7s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 26.00s | 30m 19s | ||||
| Completed | CircuitProver | ×23 | p-ops | 23.00s | 33m 23s | ||||
| Completed | CircuitProver | ×32 | natsai | 1m 14s | 14m 50s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 28m 53s | ||||
| Completed | CircuitProver | ×32 | p-ops | 32.00s | 30m 3s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 20m 8s | ||||
| Completed | CircuitProver | ×32 | natsai | 35.00s | 24m 32s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 29m 42s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 6m 16s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 5m 14s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 13m 27s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 20m 40s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 22m 21s | ||||
| Completed | CircuitProver | ×32 | natsai | 38.00s | 33m 16s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 7m 1s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 26.00s | 8m 34s | ||||
| Completed | CircuitProver | ×32 | moonli | 20.00s | 16m 33s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 29m 33s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 35m 3s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 10m 38s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 4m 52s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 6m 47s | ||||
| Completed | CircuitProver | ×32 | moonli | 23.00s | 13m 42s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 15m 16s | ||||
| Completed | CircuitProver | ×32 | p-ops | 32.00s | 15m 23s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 17m 23s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 24.00s | 19m 40s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 19m 50s | ||||
| Completed | CircuitProver | ×32 | p-ops | 31.00s | 20m 33s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 22.00s | 22m 35s | ||||
| Completed | CircuitProver | ×32 | moonli | 23.00s | 22m 57s | ||||
| Completed | CircuitProver | ×32 | p-ops | 26.00s | 25m 3s | ||||
| Completed | CircuitProver | ×32 | p-ops | 26.00s | 27m 43s | ||||
| Completed | CircuitProver | ×32 | p-ops | 26.00s | 28m 43s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 2m 57s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 3m 35s | ||||
| Completed | CircuitProver | ×32 | moonli | 27.00s | 4m 0s | ||||
| Completed | CircuitProver | ×32 | p-ops | 26.00s | 4m 7s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 1m 5s | 5m 38s | ||||
| Completed | CircuitProver | ×32 | natsai | 54.00s | 6m 39s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 18.00s | 12m 50s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 12m 46s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 16m 23s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 55.00s | 15m 53s | ||||
| Completed | CircuitProver | ×32 | moonli | 26.00s | 16m 53s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 17m 2s | ||||
| Completed | CircuitProver | ×32 | p-ops | 24.00s | 17m 4s | ||||
| Completed | CircuitProver | 1 | rubynodes | 12.00s | 17m 54s | ||||
| Completed | CircuitProver | ×32 | moonli | 23.00s | 18m 33s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 18.00s | 19m 18s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 19m 43s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 16.00s | 19m 58s | ||||
| Completed | CircuitProver | ×32 | p-ops | 26.00s | 21m 5s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 23m 33s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 25m 23s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 25m 56s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 29m 11s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 31m 6s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 18.00s | 31m 41s | ||||
| Completed | CircuitProver | ×32 | p-ops | 26.00s | 34m 13s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 26.00s | 34m 53s | ||||
| Completed | CircuitProver | ×32 | natsai | 36.00s | 36m 26s | ||||
| Completed | CircuitProver | ×32 | natsai | 37.00s | 0μs | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 22.00s | 23.00s | ||||
| Completed | CircuitProver | ×32 | natsai | 49.00s | 37.00s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 1m 15s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 1m 57s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 2m 50s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 2m 48s | ||||
| Failed | CircuitProver | ×32 | rubynodes | 0μs | 3m 56s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 6m 22s | ||||
| Completed | CircuitProver | ×32 | p-ops | 32.00s | 6m 50s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 9m 11s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 16.00s | 9m 33s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 18.00s | 10m 10s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 35.00s | 9m 56s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 10m 53s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 11m 9s | ||||
| Completed | CircuitProver | ×32 | p-ops | 24.00s | 11m 6s | ||||
| Completed | CircuitProver | 1 | moonli | 15.00s | 12m 7s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 14m 58s | ||||
| Completed | CircuitProver | ×32 | moonli | 23.00s | 17m 43s | ||||
| Completed | CircuitProver | ×4 | fermah.cp.g4 | 10.00s | 22m 6s | ||||
| Completed | CircuitProver | ×32 | moonli | 22.00s | 22m 32s | ||||
| Completed | CircuitProver | ×32 | moonli | 23.00s | 23m 5s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 23m 58s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 27.00s | 24m 25s | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 26m 48s | ||||
| Completed | CircuitProver | ×32 | moonli | 23.00s | 27m 22s | ||||
| Completed | CircuitProver | ×17 | moonli | 23.00s | 29m 17s | ||||
| Completed | CircuitProver | ×32 | p-ops | 25.00s | 30m 37s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 25.00s | 30m 45s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 31m 59s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 35m 12s | ||||
| Completed | CircuitProver | ×18 | moonli | 21.00s | 0μs | ||||
| Completed | CircuitProver | ×32 | moonli | 24.00s | 45.00s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 49.00s | 1m 27s | ||||
| Completed | CircuitProver | ×32 | p-ops | 32.00s | 2m 16s | ||||
| Failed | CircuitProver | ×32 | rubynodes | 0μs | 3m 56s | ||||
| Completed | CircuitProver | ×32 | moonli | 25.00s | 5m 14s | ||||
| Completed | CircuitProver | ×32 | p-ops | 26.00s | 6m 23s | ||||
| Completed | CircuitProver | ×32 | fermah.cp.g4 | 19.00s | 6m 35s | ||||
| Completed | CircuitProver | ×32 | rubynodes | 42.00s | 6m 43s | ||||
| Completed | CircuitProver | ×13 | moonli | 12.00s | 9m 36s | ||||
| Completed | CircuitProver | ×32 | p-ops | 26.00s | 9m 38s | ||||
| Completed | WitnessGeneratorBasicCircuits | 1 | fermah.wg.c4d | 1m 49s | 0μs |