redstone-verifyOverviewLayoutsbalalaika.ai

xnor2__cand_comparators

ACCEPT
34 blocks, 2 inputs, 1 outputs, 5 components, critical path 3 rt, settle 4 ticks. Layout file circuits/xnor2/cand_comparators.rsl.
ACCEPT. Proved equal to the spec for all 4 inputs; proof 39.0 KB, checked by cake_lpr, lrat-check, rup_check.

Other layouts of this circuit: seed cand_hillclimb

Drag to rotate, right-drag to pan, scroll to zoom, click a block to inspect it. Block textures: Pixel Perfection by XSSheep, CC BY-SA 4.0. The strengths shown are the model's (0 to 15).