Does this template include internationalization (i18n) support?

Yes, the template includes full i18n support with route-based locale detection and RTL/LTR direction handling.

Are shadcn-svelte components integrated?

Yes, shadcn-svelte components are fully integrated with Tailwind CSS v4 for modern UI development.

Does the template support SEO and structured data?

Yes, it includes store-based SEO metadata management and structured data configurations with examples.

Is there built-in state management?

Yes, the template uses centralized Svelte stores for global state management with TypeScript support.

Fermah Explorer

Back to workflows

Workflow execution

Completed Abstract 526 tasks · 14,577 subjobs

Created

May 21, 2026, 2:58 PM UTC

Completed

May 21, 2026, 3:33 PM UTC

Duration

34m 55s

Sealed

Proof produced

The workflow completed successfully and a proof was sealed.

Download

Requester

seeker

0xc1a7…1b51

Workflow spec

ZKsync · Abstract

wasi_id 019e4b0b…3a70

Protocol version

0.29.4

chain_id 0

Inputs

Workflow user input

Decoded from the request payload — what the WASM consumed.

L1 batch number: 71,199
L1 chain id: 0
L1 block link: gcs://storage.googleapis.com/fermah-mainnet/witness_inputs_71199_0.cbor.zst
Protocol version: 0.29.4

Completed

524

In progress

Pending

Failed

Composition

Tasks in this execution

Every task delegated as part of this workflow.

Status	Type	Subjobs	Prover	Duration	Wait
Completed	Compressor	1	fermah-2	1m 15s	0μs
Completed	WitnessGeneratorScheduler	1	fermah.wg.c4d	0μs	0μs
Completed	CircuitProver	1	p-ops	4.00s	2.00s
Completed	CircuitProver	1	p2p	7.00s	1.00s
Completed	WitnessGeneratorRecursionTip	1	fermah.wg.c4d	4.00s	0μs
Completed	CircuitProver	1	fermah.cp.g4	3.00s	2.00s
Completed	WitnessGeneratorNodeAggregation	1	fermah-2	2.00s	0μs
Completed	CircuitProver	×11	fermah.cp.g4	11.00s	0μs
Completed	WitnessGeneratorNodeAggregation	1	fermah-2	5.00s	1.00s
Completed	CircuitProver	1	fermah.cp.g4	3.00s	15.00s
Completed	CircuitProver	×32	fermah.cp.g4	38.00s	0μs
Completed	CircuitProver	×32	rubynodes	26.00s	4.00s
Completed	CircuitProver	×32	fermah.cp.g4	29.00s	11.00s
Completed	CircuitProver	×32	fermah.cp.g4	31.00s	5.00s
Completed	CircuitProver	×32	fermah.cp.g4	47.00s	10.00s
Completed	CircuitProver	×30	fermah.cp.g4	32.00s	7.00s
Completed	CircuitProver	×32	fermah.cp.g4	31.00s	11.00s
Completed	CircuitProver	×32	fermah.cp.g4	1m 48s	6.00s
Completed	CircuitProver	×32	fermah.cp.g4	32.00s	9.00s
Completed	CircuitProver	×32	fermah.cp.g4	29.00s	1.00s
Completed	CircuitProver	×32	fermah.cp.g4	1m 2s	10.00s
Completed	WitnessGeneratorNodeAggregation	1	fermah-2	2.00s	1.00s
Completed	CircuitProver	×2	husonode	27.00s	10.00s
Failed	CircuitProver	×2	husonode	0μs	10.00s
Completed	WitnessGeneratorNodeAggregation	1	fermah.wg.c4d	2.00s	0μs
Completed	CircuitProver	1	p2p	5.00s	5.00s
Completed	WitnessGeneratorNodeAggregation	1	fermah.wg.c4d	1.00s	0μs
Completed	CircuitProver	1	p2p	6.00s	1.00s
Completed	WitnessGeneratorNodeAggregation	1	fermah.wg.c4d	1.00s	0μs
Completed	CircuitProver	×32	rubynodes	29.00s	1.00s
Completed	CircuitProver	×12	cp0x	31.00s	3.00s
Completed	CircuitProver	×13	p-ops	13.00s	0μs
Completed	WitnessGeneratorLeafAggregation	1	fermah.wg.c4d	7.00s	0μs
Completed	WitnessGeneratorLeafAggregation	1	fermah.wg.c4d	3.00s	0μs
Completed	CircuitProver	1	husonode	3.00s	3.00s
Completed	WitnessGeneratorNodeAggregation	1	fermah.wg.c4d	1.00s	0μs
Completed	CircuitProver	1	p-ops	4.00s	3.00s
Completed	WitnessGeneratorNodeAggregation	1	fermah.wg.c4d	2.00s	0μs
Completed	CircuitProver	1	blackblocks	7.00s	12.00s
Completed	WitnessGeneratorNodeAggregation	1	fermah.wg.c4d	1.00s	0μs
Completed	CircuitProver	1	fermah.cp.g4	4.00s	5.00s
Completed	CircuitProver	×12	fermah.cp.g4	11.00s	2.00s
Completed	CircuitProver	1	p-ops	3.00s	16.00s
Completed	WitnessGeneratorNodeAggregation	1	fermah-2	2.00s	0μs
Completed	CircuitProver	1	husonode	4.00s	16.00s
Completed	CircuitProver	×19	p-ops	18.00s	16.00s
Completed	WitnessGeneratorNodeAggregation	1	fermah.wg.c4d	1.00s	0μs
Completed	WitnessGeneratorLeafAggregation	1	fermah.wg.c4d	3.00s	0μs
Completed	WitnessGeneratorNodeAggregation	1	fermah-2	1.00s	0μs
Completed	WitnessGeneratorLeafAggregation	1	fermah.wg.c4d	4.00s	0μs
Completed	WitnessGeneratorLeafAggregation	1	fermah-2	1m 57s	0μs
Completed	CircuitProver	1	p-ops	4.00s	1m 16s
Completed	WitnessGeneratorLeafAggregation	1	fermah.wg.c4d	2.00s	0μs
Completed	CircuitProver	1	fermah.cp.g4	4.00s	1m 43s
Completed	WitnessGeneratorNodeAggregation	1	fermah.wg.c4d	2.00s	0μs
Completed	CircuitProver	1	fermah.cp.g4	4.00s	3m 8s
Completed	WitnessGeneratorLeafAggregation	1	fermah.wg.c4d	2.00s	0μs
Completed	CircuitProver	1	fermah.cp.g4	4.00s	4m 30s
Completed	WitnessGeneratorLeafAggregation	1	fermah.wg.c4d	2.00s	0μs
Completed	CircuitProver	1	fermah.cp.g4	4.00s	5m 29s
Completed	WitnessGeneratorLeafAggregation	1	fermah.wg.c4d	1.00s	0μs
Completed	CircuitProver	1	fermah.cp.g4	4.00s	4.00s
Completed	WitnessGeneratorNodeAggregation	1	fermah.wg.c4d	1.00s	0μs
Completed	CircuitProver	1	fermah.cp.g4	3.00s	6m 3s
Completed	WitnessGeneratorNodeAggregation	1	fermah-2	2.00s	0μs
Completed	CircuitProver	×32	fermah.cp.g4	25.00s	23.00s
Completed	CircuitProver	1	fermah.cp.g4	4.00s	6m 15s
Completed	WitnessGeneratorLeafAggregation	1	fermah-2	2.00s	0μs
Completed	CircuitProver	1	moonli	5.00s	41.00s
Completed	WitnessGeneratorLeafAggregation	1	fermah-2	2.00s	0μs
Completed	CircuitProver	1	fermah.cp.g4	4.00s	1m 5s
Completed	CircuitProver	1	fermah.cp.g4	4.00s	41.00s
Completed	WitnessGeneratorLeafAggregation	1	fermah.wg.c4d	2.00s	0μs
Completed	WitnessGeneratorNodeAggregation	1	fermah-2	2.00s	0μs
Completed	CircuitProver	1	fermah.cp.g4	4.00s	6m 7s
Completed	WitnessGeneratorLeafAggregation	1	fermah.wg.c4d	2.00s	0μs
Completed	CircuitProver	1	fermah.cp.g4	4.00s	4m 6s
Completed	WitnessGeneratorLeafAggregation	1	fermah.wg.c4d	2.00s	0μs
Completed	CircuitProver	×32	moonli	23.00s	17m 57s
Completed	CircuitProver	×32	fermah.cp.g4	21.00s	18m 0s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	18m 38s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	19m 38s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	21m 20s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	23m 15s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	23m 45s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	2m 56s
Completed	CircuitProver	×32	p-ops	24.00s	4m 40s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	4m 47s
Completed	CircuitProver	×32	fermah.cp.g4	43.00s	4m 58s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	12m 41s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	15m 40s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	15m 48s
Completed	CircuitProver	×32	fermah.cp.g4	21.00s	16m 10s
Completed	CircuitProver	×28	fermah.cp.g4	21.00s	16m 19s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	16m 48s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	17m 28s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	20m 2s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	20m 2s
Completed	CircuitProver	×32	rubynodes	24.00s	23m 18s
Completed	CircuitProver	×32	p-ops	32.00s	1m 51s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	3m 9s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	4m 8s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	6m 19s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	8m 37s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	11m 1s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	11m 35s
Completed	CircuitProver	×32	p-ops	25.00s	11m 42s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	16m 2s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	16m 9s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	16m 55s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	17m 39s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	17m 54s
Completed	CircuitProver	×32	fermah.cp.g4	25.00s	19m 25s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	19m 37s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	19m 49s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	19m 49s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	23m 36s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	23m 52s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	24m 29s
Completed	CircuitProver	×32	p-ops	37.00s	53.00s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	2m 24s
Completed	CircuitProver	×32	rubynodes	25.00s	6m 41s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	9m 32s
Completed	CircuitProver	×32	cp0x	38.00s	9m 17s
Completed	CircuitProver	×32	blackblocks	40.00s	10m 12s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	11m 21s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	11m 39s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	16m 6s
Completed	CircuitProver	×32	fermah.cp.g7e	24.00s	16m 8s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	16m 40s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	17m 24s
Completed	CircuitProver	×32	fermah.cp.g4	25.00s	18m 50s
Completed	CircuitProver	×32	fermah.cp.g4	17.00s	20m 0s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	21m 36s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	23m 6s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	23m 45s
Completed	CircuitProver	×32	p-ops	25.00s	23m 44s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	1m 54s
Completed	CircuitProver	×32	p-ops	26.00s	2m 23s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	3m 2s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	5m 44s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	5m 55s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	11m 20s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	14m 50s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	15m 47s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	15m 56s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	16m 25s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	16m 41s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	16m 58s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	17m 25s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	17m 51s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	18m 18s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	23m 14s
Completed	CircuitProver	×32	blackblocks	44.00s	46.00s
Completed	CircuitProver	×32	fermah.cp.g4	26.00s	1m 4s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	6m 38s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	6m 40s
Completed	CircuitProver	×32	moonli	24.00s	11m 35s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	12m 16s
Completed	CircuitProver	×32	husonode	23.00s	12m 24s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	15m 9s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	15m 14s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	15m 59s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	16m 10s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	16m 18s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	16m 25s
Completed	CircuitProver	×32	moonli	23.00s	16m 47s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	17m 31s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	18m 17s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	22m 54s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	22m 55s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	3m 21s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	4m 26s
Completed	CircuitProver	×32	rubynodes	24.00s	6m 17s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	8m 23s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	9m 57s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	10m 36s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	11m 6s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	15m 15s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	16m 34s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	17m 0s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	17m 49s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	22m 22s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	22m 54s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	22m 55s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	22m 56s
Completed	CircuitProver	×32	husonode	29.00s	22m 50s
Completed	CircuitProver	×32	rubynodes	23.00s	23m 43s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	9m 59s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	10m 29s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	10m 57s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	14m 50s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	16m 4s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	17m 19s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	20m 16s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	22m 55s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	23m 16s
Completed	CircuitProver	×32	cp0x	43.00s	47.00s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	2m 24s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	11m 22s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	12m 15s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	15m 9s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	15m 31s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	15m 50s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	16m 36s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	17m 0s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	17m 8s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	17m 19s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	17m 20s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	17m 56s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	19m 39s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	23m 17s
Completed	CircuitProver	×32	p-ops	24.00s	23m 25s
Completed	CircuitProver	×32	rubynodes	25.00s	17.00s
Completed	CircuitProver	×32	fermah.cp.g4	21.00s	6m 9s
Completed	CircuitProver	×32	p-ops	26.00s	6m 8s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	8m 1s
Completed	CircuitProver	×32	blackblocks	42.00s	8m 3s
Completed	CircuitProver	×32	cp0x	39.00s	8m 38s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	12m 3s
Completed	CircuitProver	×32	fermah.cp.g4	15.00s	14m 50s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	15m 59s
Completed	CircuitProver	×32	p-ops	31.00s	15m 56s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	16m 43s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	16m 44s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	17m 9s
Completed	CircuitProver	×32	p-ops	24.00s	23m 1s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	23m 17s
Completed	CircuitProver	×32	blackblocks	42.00s	23m 26s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	24m 6s
Completed	CircuitProver	×32	fermah.cp.g4	23.00s	24m 26s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	3.00s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	1m 48s
Completed	CircuitProver	×32	p-ops	25.00s	2m 49s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	3m 9s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	11m 15s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	14m 50s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	15m 49s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	16m 14s
Completed	CircuitProver	×32	fermah.cp.g4	21.00s	16m 14s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	16m 51s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	16m 59s
Completed	CircuitProver	×32	moonli	22.00s	17m 10s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	17m 34s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	18m 52s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	19m 41s
Completed	CircuitProver	1	fermah.cp.g4	9.00s	23m 36s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	23m 48s
Completed	CircuitProver	×32	p-ops	29.00s	24m 37s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	13.00s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	41.00s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	2m 26s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	2m 59s
Completed	CircuitProver	×32	fermah.cp.g7e	25.00s	3m 35s
Completed	CircuitProver	×32	fermah.cp.g4	24.00s	10m 16s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	14m 50s
Completed	CircuitProver	×32	fermah.cp.g7e	22.00s	15m 0s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	15m 29s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	15m 45s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	16m 8s
Completed	CircuitProver	×32	fermah.cp.g4	21.00s	16m 8s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	16m 19s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	16m 54s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	21m 38s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	22m 26s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	22m 35s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	22m 54s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	23m 13s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	1m 43s
Completed	CircuitProver	×32	fermah.cp.g4	23.00s	1m 58s
Completed	CircuitProver	×32	p-ops	13.00s	5m 39s
Completed	CircuitProver	×32	blackblocks	45.00s	6m 0s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	11m 0s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	11m 3s
Completed	CircuitProver	×32	fermah.cp.g4	15.00s	15m 9s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	16m 6s
Completed	CircuitProver	×5	fermah.cp.g4	6.00s	17m 21s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	17m 37s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	18m 2s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	23m 34s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	23m 46s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	23m 57s
Completed	CircuitProver	×32	p-ops	26.00s	27.00s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	1m 43s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	4m 47s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	11m 35s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	11m 39s
Completed	CircuitProver	×32	fermah.cp.g4	41.00s	13m 19s
Completed	CircuitProver	×32	fermah.cp.g4	21.00s	17m 13s
Completed	CircuitProver	×32	fermah.cp.g4	21.00s	17m 57s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	19m 42s
Completed	CircuitProver	×32	p2p	44.00s	23m 35s
Completed	CircuitProver	×32	blackblocks	40.00s	24m 31s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	2m 35s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	3m 19s
Completed	CircuitProver	×32	p-ops	24.00s	3m 46s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	4m 38s
Completed	CircuitProver	×32	fermah.cp.g4	21.00s	5m 43s
Completed	CircuitProver	×32	fermah.cp.g4	25.00s	15m 10s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	15m 46s
Completed	CircuitProver	×32	moonli	19.00s	18m 20s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	23m 37s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	23m 52s
Completed	CircuitProver	×32	fermah.cp.g4	23.00s	4m 8s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	8m 41s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	9m 0s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	11m 58s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	16m 5s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	16m 23s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	16m 43s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	17m 29s
Completed	CircuitProver	×32	fermah.cp.g4	24.00s	17m 26s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	18m 1s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	19m 34s
Completed	CircuitProver	×32	fermah.cp.g4	17.00s	22m 38s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	23m 53s
Completed	CircuitProver	×32	husonode	26.00s	23m 46s
Completed	CircuitProver	×32	p-ops	25.00s	7m 24s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	7m 52s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	11m 37s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	16m 43s
Completed	CircuitProver	1	fermah.cp.g4	10.00s	17m 21s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	17m 21s
Completed	CircuitProver	×3	fermah.cp.g4	8.00s	18m 21s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	19m 53s
Completed	CircuitProver	×32	blackblocks	40.00s	19m 45s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	23m 28s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	6m 55s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	14.00s
Completed	CircuitProver	×32	p-ops	24.00s	3m 22s
Completed	CircuitProver	×32	fermah.cp.g4	21.00s	4m 0s
Completed	CircuitProver	×32	p-ops	23.00s	6m 20s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	10m 39s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	13m 11s
Completed	CircuitProver	×32	rubynodes	52.00s	13m 8s
Completed	CircuitProver	×32	fermah.cp.g4	22.00s	15m 51s
Failed	CircuitProver	×32	rubynodes	10.00s	18m 24s
Completed	CircuitProver	×32	fermah.cp.g4	24.00s	18m 14s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	23m 34s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	36.00s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	5m 53s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	16m 23s
Completed	CircuitProver	×32	fermah.cp.g7e	21.00s	16m 53s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	16m 59s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	17m 2s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	17m 24s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	17m 59s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	23m 53s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	24m 5s
Completed	CircuitProver	×32	fermah.cp.g4	21.00s	11m 14s
Completed	CircuitProver	×32	fermah.cp.g4	16.00s	16m 6s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	23m 36s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	23m 43s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	23m 46s
Completed	CircuitProver	×32	fermah.cp.g4	17.00s	24m 12s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	24m 26s
Completed	CircuitProver	×32	fermah.cp.g4	24.00s	24m 42s
Completed	CircuitProver	1	fermah.cp.g4	6.00s	13m 13s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	18m 4s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	18m 9s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	18m 11s
Completed	CircuitProver	×32	fermah.cp.g4	23.00s	18m 40s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	18m 48s
Completed	CircuitProver	×17	fermah.cp.g4	13.00s	19m 15s
Completed	CircuitProver	×32	fermah.cp.g4	25.00s	24m 46s
Completed	CircuitProver	×32	fermah.cp.g4	17.00s	24.00s
Completed	CircuitProver	×32	fermah.cp.g4	17.00s	5m 39s
Completed	CircuitProver	×32	fermah.cp.g4	25.00s	6m 45s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	7m 3s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	17m 2s
Completed	CircuitProver	×32	fermah.cp.g4	24.00s	18m 24s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	23m 47s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	55.00s
Completed	CircuitProver	×27	fermah.cp.g4	22.00s	3m 25s
Completed	CircuitProver	×32	fermah.cp.g4	22.00s	7m 42s
Completed	CircuitProver	×32	fermah.cp.g4	34.00s	13m 27s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	16m 45s
Completed	CircuitProver	×32	fermah.cp.g4	15.00s	17m 2s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	17m 22s
Completed	CircuitProver	×6	fermah.cp.g4	21.00s	18m 54s
Completed	CircuitProver	×32	fermah.cp.g4	17.00s	10m 36s
Completed	CircuitProver	×32	rubynodes	24.00s	11m 17s
Completed	CircuitProver	×32	fermah.cp.g4	17.00s	17m 19s
Completed	CircuitProver	×32	fermah.cp.g4	23.00s	24m 6s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	24m 26s
Completed	CircuitProver	×32	cp0x	31.00s	9m 55s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	15m 11s
Completed	CircuitProver	×32	fermah.cp.g7e	21.00s	16m 32s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	18m 28s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	24m 29s
Completed	CircuitProver	×32	fermah.cp.g4	0μs	5m 41s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	17m 3s
Completed	CircuitProver	×32	fermah.cp.g4	21.00s	17m 53s
Completed	CircuitProver	×32	fermah.cp.g4	25.00s	17m 54s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	7m 49s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	3m 10s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	7m 51s
Completed	CircuitProver	×32	fermah.cp.g4	26.00s	7m 23s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	11m 28s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	12m 22s
Completed	CircuitProver	×32	fermah.cp.g4	16.00s	13m 10s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	16m 23s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	10m 28s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	16m 27s
Completed	CircuitProver	×32	p-ops	25.00s	9m 34s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	12m 20s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	16m 22s
Completed	CircuitProver	×32	p-ops	23.00s	11m 42s
Completed	CircuitProver	×32	fermah.cp.g7e	24.00s	14m 36s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	15m 9s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	15m 27s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	15m 28s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	12m 25s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	16m 44s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	17m 0s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	18m 53s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	12m 24s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	15m 9s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	15m 28s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	17m 20s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	17m 36s
Completed	CircuitProver	×32	fermah.cp.g4	17.00s	17m 2s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	17m 17s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	17m 22s
Completed	CircuitProver	1	fermah.cp.g4	7.00s	18m 52s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	20m 3s
Completed	CircuitProver	×32	fermah.cp.g4	22.00s	16m 59s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	18m 18s
Completed	CircuitProver	×32	fermah.cp.g4	24.00s	17m 18s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	17m 43s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	17m 39s
Completed	CircuitProver	1	fermah.cp.g4	11.00s	18m 8s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	17m 6s
Completed	CircuitProver	×32	fermah.cp.g4	21.00s	18m 49s
Completed	CircuitProver	×27	fermah.cp.g4	28.00s	19m 47s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	21m 6s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	23m 14s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	23m 36s
Completed	CircuitProver	×27	fermah.cp.g4	15.00s	21m 25s
Completed	CircuitProver	×32	blackblocks	44.00s	23m 0s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	23m 36s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	23m 17s
Completed	CircuitProver	×32	fermah.cp.g4	25.00s	24m 33s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	24m 15s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	23m 38s
Completed	CircuitProver	×32	rubynodes	24.00s	24m 31s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	24m 11s
Completed	CircuitProver	×32	blackblocks	40.00s	24m 27s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	10m 19s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	11m 14s
Completed	CircuitProver	×32	fermah.cp.g4	21.00s	11m 34s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	11m 43s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	12m 34s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	15m 9s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	16m 6s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	16m 6s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	16m 25s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	16m 53s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	19m 27s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	23m 28s
Completed	CircuitProver	×32	blackblocks	42.00s	23m 45s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	9m 31s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	11m 6s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	15m 26s
Completed	CircuitProver	×32	rubynodes	24.00s	15m 27s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	15m 47s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	16m 29s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	17m 11s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	23m 7s
Completed	CircuitProver	×32	p-ops	24.00s	23m 16s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	8m 1s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	15m 8s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	16m 31s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	17m 2s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	19m 35s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	22m 57s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	31.00s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	5m 56s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	8m 2s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	8m 44s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	9m 58s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	11m 16s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	14m 50s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	16m 5s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	16m 45s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	18m 22s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	18m 39s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	19m 15s
Completed	CircuitProver	×32	husonode	27.00s	23m 19s
Completed	CircuitProver	×32	blackblocks	41.00s	1m 12s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	3m 53s
Completed	CircuitProver	×32	fermah.cp.g4	1m 5s	4m 34s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	10m 42s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	11m 43s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	11m 57s
Completed	CircuitProver	×32	fermah.cp.g4	21.00s	14m 56s
Completed	CircuitProver	×32	fermah.cp.g7e	23.00s	15m 45s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	16m 39s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	16m 42s
Completed	CircuitProver	×32	blackblocks	43.00s	16m 42s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	17m 14s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	20m 31s
Completed	CircuitProver	×32	rubynodes	24.00s	22m 53s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	23m 26s
Completed	CircuitProver	×32	fermah.cp.g4	21.00s	1m 51s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	8m 8s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	10m 47s
Completed	CircuitProver	×32	fermah.cp.g7e	23.00s	15m 22s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	16m 4s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	16m 25s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	18m 29s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	22m 54s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	22m 57s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	23m 9s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	11.00s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	9m 34s
Completed	CircuitProver	×32	husonode	24.00s	10m 4s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	11m 51s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	12m 39s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	15m 32s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	16m 21s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	16m 24s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	16m 29s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	17m 13s
Completed	CircuitProver	×32	fermah.cp.g4	17.00s	17m 20s
Completed	WitnessGeneratorBasicCircuits	1	fermah-2	3m 43s	0μs