and32__mutants__no_repeater_3
REJECT325 blocks, 32 inputs, 1 outputs, 36 components, critical path 2 rt, settle 4 ticks. Layout file
circuits/and32/mutants/no_repeater_3.rsl.Mutant, rejected at stage prove. The prover found the counterexample
i0=0, i1=0, i10=0, i11=0, i12=0, i13=0, i14=0, i15=0, i16=0, i17=0, i18=0, i19=0, i2=0, i20=0, i21=0, i22=0, i23=0, i24=0, i25=1, i26=1, i27=1, i28=1, i29=1, i3=0, i30=1, i31=1, i4=0, i5=0, i6=0, i7=0, i8=0, i9=0. It is preloaded: the outputs table shows where the layout and the spec differ. Use the counterexample button to come back to it.Other layouts of this circuit: seed mutants__no_repeater_0 mutants__no_repeater_1 mutants__no_repeater_2
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).