eq16mutantsxor_compare_mode_8

REJECT

961 blocks, 32 inputs, 1 outputs, 73 components, critical path 11 rt, settle 12 ticks. Layout file circuits/eq16/mutants/xor_compare_mode_8.rsl.

Mutant, rejected at stage prove. The prover found the counterexample

a0=1, a1=1, a10=0, a11=1, a12=1, a13=0, a14=0, a15=0, a2=1, a3=1, a4=1, a5=1, a6=1, a7=0, a8=1, a9=1, b0=1, b1=1, b10=0, b11=1, b12=1, b13=0, b14=0, b15=0, b2=1, b3=1, b4=1, b5=1, b6=1, b7=0, b8=1, b9=1

. It is preloaded: the outputs table shows where the layout and the spec differ. Use the counterexample button to come back to it.

Layer

Inputs

Tick playback is recorded for layouts with at most 6 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 mutants__no_bus_repeater_0 mutants__no_output_torch mutants__no_side_repeater_9

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

eq16__mutants__xor_compare_mode_8

eq16mutantsxor_compare_mode_8