and2__cand_hillclimb

16 blocks, 2 inputs, 1 outputs, 2 components, critical path 2 rt, settle 2 ticks. Layout file circuits/and2/cand_hillclimb.rsl.

ACCEPT. Proved equal to the spec for all 4 inputs; proof 10.5 KB, checked by cake_lpr, lrat-check, rup_check.

Layer

Inputs

Outputs

output	layout	spec

Spec = the accepted seed layout of this circuit, which is proved equal to the spec file.

Block

Legend

solid blockwire, strength 15 wire, unpoweredtorch, lit lamp, litrepeater or comparator lever, onwhite dot: wire climbs a block

Other layouts of this circuit: seed cand_comparator mutants__long_side_wire

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