redstone-verifyOverviewLayoutsbalalaika.ai

mul2__seed

ACCEPT
504 blocks, 4 inputs, 4 outputs, 44 components, critical path 13 rt, settle 15 ticks. Layout file circuits/mul2/seed.rsl.
ACCEPT. Proved equal to the spec for all 16 inputs; proof 565.6 KB, checked by cake_lpr, lrat-check, rup_check.

Other layouts of this circuit: mutants__and_compare_mode mutants__no_and_side_repeater mutants__no_carry_repeater mutants__no_crossing_landing

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).