redstone-verifyOverviewLayoutsbalalaika.ai

Layouts

All 92 layouts of the benchmark: the seed layout of each circuit, agent and search candidates, and shipped mutants that must be rejected. Images are renders of the layout in the viewer (3D, steady state).

render of not__seed

not / seed

verdict
ACCEPT
first failing stage
none
blocks
9
proof size
3.8 KB
cake_lpr verified
yes
vanilla oracle
2 vectors, 0 mismatches
Open viewer
render of not__cand_lever_on_block

not / candidate lever_on_block

verdict
ACCEPT
first failing stage
none
blocks
4
proof size
3.8 KB
cake_lpr verified
yes
vanilla oracle
2 vectors, 0 mismatches
Open viewer
render of and2__seed

and2 / seed

verdict
ACCEPT
first failing stage
none
blocks
25
proof size
22.3 KB
cake_lpr verified
yes
vanilla oracle
4 vectors, 0 mismatches
Open viewer
render of and2__cand_comparator

and2 / candidate comparator

verdict
ACCEPT
first failing stage
none
blocks
17
proof size
10.5 KB
cake_lpr verified
yes
vanilla oracle
4 vectors, 0 mismatches
Open viewer
render of and2__cand_hillclimb

and2 / candidate hillclimb

verdict
ACCEPT
first failing stage
none
blocks
16
proof size
10.5 KB
cake_lpr verified
yes
vanilla oracle
4 vectors, 0 mismatches
Open viewer
render of and2__mutants__long_side_wire

and2 / mutant long_side_wire

verdict
REJECT
first failing stage
prove
blocks
19
proof size
-
cake_lpr verified
no
vanilla oracle
4 vectors, 1 mismatch
rejected at prove, counterexample a=1, b=0
Open viewer
render of nand2__seed

nand2 / seed

verdict
ACCEPT
first failing stage
none
blocks
21
proof size
22.8 KB
cake_lpr verified
yes
vanilla oracle
4 vectors, 0 mismatches
Open viewer
render of nand2__cand_levers_on_blocks

nand2 / candidate levers_on_blocks

verdict
ACCEPT
first failing stage
none
blocks
7
proof size
8.6 KB
cake_lpr verified
yes
vanilla oracle
4 vectors, 0 mismatches
Open viewer
render of xor2__seed

xor2 / seed

verdict
ACCEPT
first failing stage
none
blocks
51
proof size
65.8 KB
cake_lpr verified
yes
vanilla oracle
4 vectors, 0 mismatches
Open viewer
render of xor2__cand_agent

xor2 / candidate agent

verdict
ACCEPT
first failing stage
none
blocks
35
proof size
40.6 KB
cake_lpr verified
yes
vanilla oracle
4 vectors, 0 mismatches
Open viewer
render of xor2__cand_comparators

xor2 / candidate comparators

verdict
ACCEPT
first failing stage
none
blocks
33
proof size
37.1 KB
cake_lpr verified
yes
vanilla oracle
4 vectors, 0 mismatches
Open viewer
render of xor2__cand_hillclimb

xor2 / candidate hillclimb

verdict
ACCEPT
first failing stage
none
blocks
31
proof size
37.3 KB
cake_lpr verified
yes
vanilla oracle
4 vectors, 0 mismatches
Open viewer
render of xnor2__seed

xnor2 / seed

verdict
ACCEPT
first failing stage
none
blocks
53
proof size
66.9 KB
cake_lpr verified
yes
vanilla oracle
4 vectors, 0 mismatches
Open viewer
render of xnor2__cand_comparators

xnor2 / candidate comparators

verdict
ACCEPT
first failing stage
none
blocks
34
proof size
39.0 KB
cake_lpr verified
yes
vanilla oracle
4 vectors, 0 mismatches
Open viewer
render of xnor2__cand_hillclimb

xnor2 / candidate hillclimb

verdict
ACCEPT
first failing stage
none
blocks
32
proof size
39.1 KB
cake_lpr verified
yes
vanilla oracle
4 vectors, 0 mismatches
Open viewer
render of imply2__seed

imply2 / seed

verdict
ACCEPT
first failing stage
none
blocks
23
proof size
21.2 KB
cake_lpr verified
yes
vanilla oracle
4 vectors, 0 mismatches
Open viewer
render of imply2__cand_levers_on_blocks

imply2 / candidate levers_on_blocks

verdict
ACCEPT
first failing stage
none
blocks
5
proof size
7.3 KB
cake_lpr verified
yes
vanilla oracle
4 vectors, 0 mismatches
Open viewer
render of mux2__seed

mux2 / seed

verdict
ACCEPT
first failing stage
none
blocks
43
proof size
56.1 KB
cake_lpr verified
yes
vanilla oracle
8 vectors, 0 mismatches
Open viewer
render of mux2__cand_comparators

mux2 / candidate comparators

verdict
ACCEPT
first failing stage
none
blocks
18
proof size
25.0 KB
cake_lpr verified
yes
vanilla oracle
8 vectors, 0 mismatches
Open viewer
render of maj3__seed

maj3 / seed

verdict
ACCEPT
first failing stage
none
blocks
89
proof size
64.8 KB
cake_lpr verified
yes
vanilla oracle
8 vectors, 0 mismatches
Open viewer
render of maj3__cand_comparators

maj3 / candidate comparators

verdict
ACCEPT
first failing stage
none
blocks
30
proof size
47.9 KB
cake_lpr verified
yes
vanilla oracle
8 vectors, 0 mismatches
Open viewer
render of maj3__cand_hillclimb

maj3 / candidate hillclimb

verdict
ACCEPT
first failing stage
none
blocks
29
proof size
47.8 KB
cake_lpr verified
yes
vanilla oracle
8 vectors, 0 mismatches
Open viewer
render of half_adder__seed

half_adder / seed

verdict
ACCEPT
first failing stage
none
blocks
96
proof size
105.3 KB
cake_lpr verified
yes
vanilla oracle
4 vectors, 0 mismatches
Open viewer
render of half_adder__cand_comparators

half_adder / candidate comparators

verdict
ACCEPT
first failing stage
none
blocks
34
proof size
49.7 KB
cake_lpr verified
yes
vanilla oracle
4 vectors, 0 mismatches
Open viewer
render of full_adder__seed

full_adder / seed

verdict
ACCEPT
first failing stage
none
blocks
236
proof size
284.9 KB
cake_lpr verified
yes
vanilla oracle
8 vectors, 0 mismatches
Open viewer
render of full_adder__cand_comparators

full_adder / candidate comparators

verdict
ACCEPT
first failing stage
none
blocks
71
proof size
94.8 KB
cake_lpr verified
yes
vanilla oracle
8 vectors, 0 mismatches
Open viewer
render of dec2to4__seed

dec2to4 / seed

verdict
ACCEPT
first failing stage
none
blocks
124
proof size
96.5 KB
cake_lpr verified
yes
vanilla oracle
4 vectors, 0 mismatches
Open viewer
render of dec2to4__cand_comparators

dec2to4 / candidate comparators

verdict
ACCEPT
first failing stage
none
blocks
27
proof size
46.6 KB
cake_lpr verified
yes
vanilla oracle
4 vectors, 0 mismatches
Open viewer
render of c17__seed

c17 / seed

verdict
ACCEPT
first failing stage
none
blocks
162
proof size
181.3 KB
cake_lpr verified
yes
vanilla oracle
32 vectors, 0 mismatches
Open viewer
render of c17__cand_comparators

c17 / candidate comparators

verdict
ACCEPT
first failing stage
none
blocks
41
proof size
60.1 KB
cake_lpr verified
yes
vanilla oracle
32 vectors, 0 mismatches
Open viewer
render of mul2__seed

mul2 / seed

verdict
ACCEPT
first failing stage
none
blocks
504
proof size
565.6 KB
cake_lpr verified
yes
vanilla oracle
16 vectors, 0 mismatches
Open viewer
render of mul2__mutants__and_compare_mode

mul2 / mutant and_compare_mode

verdict
REJECT
first failing stage
prove
blocks
504
proof size
-
cake_lpr verified
no
vanilla oracle
not run
rejected at prove, counterexample a0=1, a1=1, b0=0, b1=1
Open viewer
render of mul2__mutants__no_and_side_repeater

mul2 / mutant no_and_side_repeater

verdict
REJECT
first failing stage
prove
blocks
504
proof size
-
cake_lpr verified
no
vanilla oracle
not run
rejected at prove, counterexample a0=1, a1=1, b0=1, b1=0
Open viewer
render of mul2__mutants__no_carry_repeater

mul2 / mutant no_carry_repeater

verdict
REJECT
first failing stage
prove
blocks
504
proof size
-
cake_lpr verified
no
vanilla oracle
not run
rejected at prove, counterexample a0=1, a1=1, b0=1, b1=1
Open viewer
render of mul2__mutants__no_crossing_landing

mul2 / mutant no_crossing_landing

verdict
REJECT
first failing stage
prove
blocks
503
proof size
-
cake_lpr verified
no
vanilla oracle
not run
rejected at prove, counterexample a0=1, a1=0, b0=0, b1=1
Open viewer
render of add4__seed

add4 / seed

verdict
ACCEPT
first failing stage
none
blocks
699
proof size
811.9 KB
cake_lpr verified
yes
vanilla oracle
35 vectors, 0 mismatches
Open viewer
render of add4__mutants__c4_rotated_2

add4 / mutant c4_rotated_2

verdict
REJECT
first failing stage
prove
blocks
699
proof size
-
cake_lpr verified
no
vanilla oracle
not run
rejected at prove, counterexample a0=0, a1=1, a2=0, a3=0, b0=1, b1=1, b2=0, b3=0, cin=1
Open viewer
render of add4__mutants__no_carry_repeater_2

add4 / mutant no_carry_repeater_2

verdict
REJECT
first failing stage
prove
blocks
699
proof size
-
cake_lpr verified
no
vanilla oracle
not run
rejected at prove, counterexample a0=0, a1=0, a2=1, a3=0, b0=1, b1=1, b2=1, b3=0, cin=0
Open viewer
render of add4__mutants__no_generate_repeater_2

add4 / mutant no_generate_repeater_2

verdict
REJECT
first failing stage
prove
blocks
699
proof size
-
cake_lpr verified
no
vanilla oracle
not run
rejected at prove, counterexample a0=1, a1=0, a2=1, a3=0, b0=0, b1=1, b2=1, b3=0, cin=1
Open viewer
render of add4__mutants__no_side_repeater_2

add4 / mutant no_side_repeater_2

verdict
REJECT
first failing stage
prove
blocks
699
proof size
-
cake_lpr verified
no
vanilla oracle
not run
rejected at prove, counterexample a0=1, a1=1, a2=0, a3=0, b0=0, b1=1, b2=1, b3=1, cin=0
Open viewer
render of add4__mutants__xor_compare_mode_2

add4 / mutant xor_compare_mode_2

verdict
REJECT
first failing stage
prove
blocks
699
proof size
-
cake_lpr verified
no
vanilla oracle
not run
rejected at prove, counterexample a0=1, a1=1, a2=1, a3=0, b0=0, b1=1, b2=1, b3=0, cin=1
Open viewer
render of add8__seed

add8 / seed

verdict
ACCEPT
first failing stage
none
blocks
1,399
proof size
1.8 MB
cake_lpr verified
yes
vanilla oracle
53 vectors, 0 mismatches
Open viewer
render of add8__mutants__c4_rotated_4

add8 / mutant c4_rotated_4

verdict
REJECT
first failing stage
prove
blocks
1,399
proof size
-
cake_lpr verified
no
vanilla oracle
not run
rejected at prove, counterexample a0=1, a1=0, a2=1, a3=1, a4=0, a5=0, a6=0, a7=1, b0=1, b1=0, b2=0, b3=1, b4=0, b5=0, b6=1, b7=1, cin=1
Open viewer
render of add8__mutants__no_carry_repeater_4

add8 / mutant no_carry_repeater_4

verdict
REJECT
first failing stage
prove
blocks
1,399
proof size
-
cake_lpr verified
no
vanilla oracle
not run
rejected at prove, counterexample a0=0, a1=0, a2=0, a3=1, a4=1, a5=0, a6=0, a7=0, b0=0, b1=0, b2=0, b3=1, b4=1, b5=1, b6=1, b7=0, cin=0
Open viewer
render of add8__mutants__no_generate_repeater_4

add8 / mutant no_generate_repeater_4

verdict
REJECT
first failing stage
prove
blocks
1,399
proof size
-
cake_lpr verified
no
vanilla oracle
not run
rejected at prove, counterexample a0=0, a1=0, a2=0, a3=0, a4=1, a5=0, a6=1, a7=1, b0=0, b1=0, b2=0, b3=0, b4=1, b5=0, b6=1, b7=0, cin=0
Open viewer
render of add8__mutants__no_side_repeater_4

add8 / mutant no_side_repeater_4

verdict
REJECT
first failing stage
prove
blocks
1,399
proof size
-
cake_lpr verified
no
vanilla oracle
not run
rejected at prove, counterexample a0=0, a1=0, a2=0, a3=1, a4=0, a5=0, a6=1, a7=0, b0=0, b1=0, b2=0, b3=1, b4=1, b5=1, b6=0, b7=0, cin=0
Open viewer
render of add8__mutants__xor_compare_mode_4

add8 / mutant xor_compare_mode_4

verdict
REJECT
first failing stage
prove
blocks
1,399
proof size
-
cake_lpr verified
no
vanilla oracle
not run
rejected at prove, counterexample a0=0, a1=0, a2=1, a3=1, a4=1, a5=1, a6=0, a7=0, b0=1, b1=0, b2=1, b3=1, b4=1, b5=0, b6=0, b7=0, cin=1
Open viewer
render of add12__seed

add12 / seed

verdict
ACCEPT
first failing stage
none
blocks
2,099
proof size
3.1 MB
cake_lpr verified
yes
vanilla oracle
69 vectors, 0 mismatches
Open viewer
render of add12__mutants__c4_rotated_6

add12 / mutant c4_rotated_6

verdict
REJECT
first failing stage
prove
blocks
2,099
proof size
-
cake_lpr verified
no
vanilla oracle
not run
rejected at prove, counterexample a0=1, a1=0, a10=0, a11=1, a2=0, a3=0, a4=1, a5=1, a6=1, a7=1, a8=1, a9=1, b0=0, b1=0, b10=0, b11=1, b2=0, b3=0, b4=1, b5=0, b6=1, b7=1, b8=0, b9=0, cin=0
Open viewer
render of add12__mutants__no_carry_repeater_6

add12 / mutant no_carry_repeater_6

verdict
REJECT
first failing stage
prove
blocks
2,099
proof size
-
cake_lpr verified
no
vanilla oracle
not run
rejected at prove, counterexample a0=1, a1=0, a10=1, a11=1, a2=0, a3=0, a4=1, a5=1, a6=1, a7=0, a8=0, a9=1, b0=0, b1=0, b10=0, b11=0, b2=0, b3=0, b4=1, b5=1, b6=1, b7=0, b8=1, b9=0, cin=1
Open viewer
render of add12__mutants__no_generate_repeater_6

add12 / mutant no_generate_repeater_6

verdict
REJECT
first failing stage
prove
blocks
2,099
proof size
-
cake_lpr verified
no
vanilla oracle
not run
rejected at prove, counterexample a0=1, a1=1, a10=1, a11=1, a2=0, a3=1, a4=1, a5=1, a6=1, a7=1, a8=0, a9=1, b0=1, b1=0, b10=0, b11=1, b2=1, b3=0, b4=0, b5=1, b6=1, b7=1, b8=0, b9=0, cin=0
Open viewer
render of add12__mutants__no_side_repeater_6

add12 / mutant no_side_repeater_6

verdict
REJECT
first failing stage
prove
blocks
2,099
proof size
-
cake_lpr verified
no
vanilla oracle
not run
rejected at prove, counterexample a0=1, a1=1, a10=1, a11=0, a2=1, a3=0, a4=0, a5=1, a6=0, a7=0, a8=1, a9=1, b0=1, b1=1, b10=1, b11=1, b2=0, b3=0, b4=1, b5=1, b6=1, b7=0, b8=1, b9=0, cin=0
Open viewer
render of add12__mutants__xor_compare_mode_6

add12 / mutant xor_compare_mode_6

verdict
REJECT
first failing stage
prove
blocks
2,099
proof size
-
cake_lpr verified
no
vanilla oracle
not run
rejected at prove, counterexample a0=0, a1=0, a10=0, a11=0, a2=1, a3=1, a4=0, a5=0, a6=1, a7=0, a8=0, a9=1, b0=1, b1=0, b10=0, b11=1, b2=1, b3=0, b4=1, b5=0, b6=1, b7=0, b8=1, b9=0, cin=1
Open viewer
render of add15__seed

add15 / seed

verdict
ACCEPT
first failing stage
none
blocks
2,624
proof size
4.3 MB
cake_lpr verified
yes
vanilla oracle
81 vectors, 0 mismatches
Open viewer
render of add15__mutants__c4_rotated_7

add15 / mutant c4_rotated_7

verdict
REJECT
first failing stage
prove
blocks
2,624
proof size
-
cake_lpr verified
no
vanilla oracle
not run
rejected at prove, counterexample a0=1, a1=0, a10=1, a11=1, a12=0, a13=1, a14=0, a2=0, a3=0, a4=1, a5=0, a6=1, a7=0, a8=0, a9=0, b0=1, b1=0, b10=1, b11=1, b12=0, b13=1, b14=0, b2=0, b3=0, b4=1, b5=0, b6=1, b7=0, b8=0, b9=0, cin=1
Open viewer
render of add15__mutants__no_carry_repeater_7

add15 / mutant no_carry_repeater_7

verdict
REJECT
first failing stage
prove
blocks
2,624
proof size
-
cake_lpr verified
no
vanilla oracle
not run
rejected at prove, counterexample a0=1, a1=0, a10=1, a11=0, a12=0, a13=1, a14=0, a2=0, a3=0, a4=0, a5=1, a6=1, a7=0, a8=1, a9=0, b0=0, b1=1, b10=1, b11=0, b12=0, b13=1, b14=0, b2=0, b3=0, b4=1, b5=1, b6=0, b7=1, b8=1, b9=0, cin=1
Open viewer
render of add15__mutants__no_generate_repeater_7

add15 / mutant no_generate_repeater_7

verdict
REJECT
first failing stage
prove
blocks
2,624
proof size
-
cake_lpr verified
no
vanilla oracle
not run
rejected at prove, counterexample a0=0, a1=0, a10=1, a11=0, a12=1, a13=1, a14=1, a2=1, a3=1, a4=1, a5=0, a6=1, a7=1, a8=0, a9=0, b0=1, b1=0, b10=0, b11=1, b12=1, b13=0, b14=0, b2=1, b3=1, b4=1, b5=0, b6=1, b7=1, b8=0, b9=0, cin=0
Open viewer
render of add15__mutants__no_side_repeater_7

add15 / mutant no_side_repeater_7

verdict
REJECT
first failing stage
prove
blocks
2,624
proof size
-
cake_lpr verified
no
vanilla oracle
not run
rejected at prove, counterexample a0=0, a1=1, a10=0, a11=0, a12=1, a13=0, a14=0, a2=1, a3=0, a4=0, a5=0, a6=1, a7=1, a8=1, a9=0, b0=1, b1=1, b10=0, b11=1, b12=1, b13=0, b14=1, b2=1, b3=0, b4=0, b5=0, b6=1, b7=0, b8=1, b9=1, cin=1
Open viewer
render of add15__mutants__xor_compare_mode_7

add15 / mutant xor_compare_mode_7

verdict
REJECT
first failing stage
prove
blocks
2,624
proof size
-
cake_lpr verified
no
vanilla oracle
not run
rejected at prove, counterexample a0=0, a1=0, a10=1, a11=1, a12=0, a13=1, a14=1, a2=0, a3=0, a4=1, a5=0, a6=1, a7=1, a8=0, a9=0, b0=1, b1=1, b10=0, b11=1, b12=0, b13=0, b14=1, b2=0, b3=1, b4=0, b5=1, b6=0, b7=1, b8=0, b9=1, cin=0
Open viewer
render of eq8__seed

eq8 / seed

verdict
ACCEPT
first failing stage
none
blocks
481
proof size
497.1 KB
cake_lpr verified
yes
vanilla oracle
50 vectors, 0 mismatches
Open viewer
render of eq8__mutants__no_bus_repeater_0

eq8 / mutant no_bus_repeater_0

verdict
REJECT
first failing stage
prove
blocks
481
proof size
-
cake_lpr verified
no
vanilla oracle
not run
rejected at prove, counterexample a0=1, a1=1, a2=0, a3=0, a4=0, a5=0, a6=0, a7=0, b0=0, b1=0, b2=0, b3=0, b4=0, b5=0, b6=0, b7=0
Open viewer
render of eq8__mutants__no_output_torch

eq8 / mutant no_output_torch

verdict
REJECT
first failing stage
prove
blocks
480
proof size
-
cake_lpr verified
no
vanilla oracle
not run
rejected at prove, counterexample a0=0, a1=0, a2=0, a3=0, a4=0, a5=0, a6=0, a7=0, b0=0, b1=0, b2=0, b3=0, b4=0, b5=0, b6=0, b7=0
Open viewer
render of eq8__mutants__no_side_repeater_5

eq8 / mutant no_side_repeater_5

verdict
REJECT
first failing stage
prove
blocks
481
proof size
-
cake_lpr verified
no
vanilla oracle
not run
rejected at prove, counterexample a0=0, a1=1, a2=1, a3=1, a4=0, a5=1, a6=1, a7=1, b0=0, b1=1, b2=1, b3=1, b4=0, b5=1, b6=1, b7=1
Open viewer
render of eq8__mutants__xor_compare_mode_4

eq8 / mutant xor_compare_mode_4

verdict
REJECT
first failing stage
prove
blocks
481
proof size
-
cake_lpr verified
no
vanilla oracle
not run
rejected at prove, counterexample a0=0, a1=1, a2=0, a3=0, a4=1, a5=0, a6=1, a7=0, b0=0, b1=1, b2=0, b3=0, b4=1, b5=0, b6=1, b7=0
Open viewer
render of eq12__seed

eq12 / seed

verdict
ACCEPT
first failing stage
none
blocks
721
proof size
779.3 KB
cake_lpr verified
yes
vanilla oracle
67 vectors, 0 mismatches
Open viewer
render of eq12__mutants__no_bus_repeater_0

eq12 / mutant no_bus_repeater_0

verdict
REJECT
first failing stage
prove
blocks
721
proof size
-
cake_lpr verified
no
vanilla oracle
not run
rejected at prove, counterexample a0=1, a1=0, a10=0, a11=1, a2=0, a3=1, a4=1, a5=0, a6=1, a7=0, a8=0, a9=1, b0=1, b1=1, b10=0, b11=1, b2=0, b3=1, b4=1, b5=0, b6=1, b7=0, b8=0, b9=1
Open viewer
render of eq12__mutants__no_output_torch

eq12 / mutant no_output_torch

verdict
REJECT
first failing stage
prove
blocks
720
proof size
-
cake_lpr verified
no
vanilla oracle
not run
rejected at prove, counterexample a0=0, a1=0, a10=0, a11=0, a2=0, a3=0, a4=0, a5=0, a6=0, a7=0, a8=0, a9=0, b0=0, b1=0, b10=0, b11=0, b2=0, b3=0, b4=0, b5=0, b6=0, b7=0, b8=0, b9=0
Open viewer
render of eq12__mutants__no_side_repeater_7

eq12 / mutant no_side_repeater_7

verdict
REJECT
first failing stage
prove
blocks
721
proof size
-
cake_lpr verified
no
vanilla oracle
not run
rejected at prove, counterexample a0=1, a1=0, a10=0, a11=0, a2=0, a3=0, a4=0, a5=0, a6=1, a7=1, a8=0, a9=0, b0=1, b1=0, b10=0, b11=0, b2=0, b3=0, b4=0, b5=0, b6=1, b7=1, b8=0, b9=0
Open viewer
render of eq12__mutants__xor_compare_mode_6

eq12 / mutant xor_compare_mode_6

verdict
REJECT
first failing stage
prove
blocks
721
proof size
-
cake_lpr verified
no
vanilla oracle
not run
rejected at prove, counterexample a0=1, a1=1, a10=0, a11=0, a2=1, a3=0, a4=0, a5=1, a6=1, a7=0, a8=1, a9=1, b0=1, b1=1, b10=0, b11=0, b2=1, b3=0, b4=0, b5=1, b6=1, b7=0, b8=1, b9=1
Open viewer
render of eq16__seed

eq16 / seed

verdict
ACCEPT
first failing stage
none
blocks
961
proof size
1.1 MB
cake_lpr verified
yes
vanilla oracle
83 vectors, 0 mismatches
Open viewer
render of eq16__mutants__no_bus_repeater_0

eq16 / mutant no_bus_repeater_0

verdict
REJECT
first failing stage
prove
blocks
961
proof size
-
cake_lpr verified
no
vanilla oracle
83 vectors, 8 mismatches
rejected at prove, counterexample a0=1, a1=1, a10=1, a11=1, a12=1, a13=1, a14=1, a15=0, a2=0, a3=0, a4=0, a5=0, a6=0, a7=0, a8=0, a9=1, b0=0, b1=1, b10=1, b11=1, b12=1, b13=1, b14=1, b15=0, b2=0, b3=0, b4=0, b5=0, b6=0, b7=0, b8=0, b9=1
Open viewer
render of eq16__mutants__no_output_torch

eq16 / mutant no_output_torch

verdict
REJECT
first failing stage
prove
blocks
960
proof size
-
cake_lpr verified
no
vanilla oracle
not run
rejected at prove, counterexample a0=0, a1=0, a10=0, a11=0, a12=0, a13=0, a14=0, a15=0, a2=0, a3=0, a4=0, a5=0, a6=0, a7=0, a8=0, a9=0, b0=0, b1=0, b10=0, b11=0, b12=0, b13=0, b14=0, b15=0, b2=0, b3=0, b4=0, b5=0, b6=0, b7=0, b8=0, b9=0
Open viewer
render of eq16__mutants__no_side_repeater_9

eq16 / mutant no_side_repeater_9

verdict
REJECT
first failing stage
prove
blocks
961
proof size
-
cake_lpr verified
no
vanilla oracle
not run
rejected at prove, counterexample a0=0, a1=0, a10=1, a11=1, a12=0, a13=0, a14=1, a15=1, a2=0, a3=0, a4=0, a5=0, a6=0, a7=0, a8=1, a9=1, b0=0, b1=0, b10=1, b11=1, b12=0, b13=0, b14=1, b15=1, b2=0, b3=0, b4=0, b5=0, b6=0, b7=0, b8=1, b9=1
Open viewer
render of eq16__mutants__xor_compare_mode_8

eq16 / mutant xor_compare_mode_8

verdict
REJECT
first failing stage
prove
blocks
961
proof size
-
cake_lpr verified
no
vanilla oracle
not run
rejected at prove, 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
Open viewer
render of or17__seed

or17 / seed

verdict
ACCEPT
first failing stage
none
blocks
73
proof size
190.4 KB
cake_lpr verified
yes
vanilla oracle
52 vectors, 0 mismatches
Open viewer
render of or17__cand_folded

or17 / candidate folded

verdict
ACCEPT
first failing stage
none
blocks
57
proof size
208.6 KB
cake_lpr verified
yes
vanilla oracle
53 vectors, 0 mismatches
Open viewer
render of or17__cand_hillclimb

or17 / candidate hillclimb

verdict
ACCEPT
first failing stage
none
blocks
56
proof size
208.4 KB
cake_lpr verified
yes
vanilla oracle
53 vectors, 0 mismatches
Open viewer
render of or17__mutants__no_repeater

or17 / mutant no_repeater

verdict
REJECT
first failing stage
prove
blocks
73
proof size
-
cake_lpr verified
no
vanilla oracle
52 vectors, 4 mismatches
rejected at prove, counterexample i0=0, i1=0, i10=0, i11=0, i12=0, i13=0, i14=0, i15=0, i16=0, i2=0, i3=1, i4=0, i5=0, i6=0, i7=0, i8=0, i9=0
Open viewer
render of or24__seed

or24 / seed

verdict
ACCEPT
first failing stage
none
blocks
99
proof size
253.4 KB
cake_lpr verified
yes
vanilla oracle
67 vectors, 0 mismatches
Open viewer
render of or24__mutants__no_repeater_0

or24 / mutant no_repeater_0

verdict
REJECT
first failing stage
prove
blocks
99
proof size
-
cake_lpr verified
no
vanilla oracle
not run
rejected at prove, 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, i3=0, i4=0, i5=0, i6=0, i7=0, i8=0, i9=1
Open viewer
render of or32__seed

or32 / seed

verdict
ACCEPT
first failing stage
none
blocks
131
proof size
393.1 KB
cake_lpr verified
yes
vanilla oracle
83 vectors, 0 mismatches
Open viewer
render of or32__mutants__no_repeater_0

or32 / mutant no_repeater_0

verdict
REJECT
first failing stage
prove
blocks
131
proof size
-
cake_lpr verified
no
vanilla oracle
not run
rejected at prove, counterexample i0=0, i1=0, i10=0, i11=1, 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=0, i26=0, i27=0, i28=0, i29=0, i3=0, i30=0, i31=0, i4=0, i5=0, i6=0, i7=0, i8=0, i9=0
Open viewer
render of or32__mutants__no_repeater_1

or32 / mutant no_repeater_1

verdict
REJECT
first failing stage
prove
blocks
131
proof size
-
cake_lpr verified
no
vanilla oracle
not run
rejected at prove, counterexample i0=0, i1=0, i10=0, i11=0, i12=0, i13=0, i14=0, i15=0, i16=0, i17=1, i18=0, i19=0, i2=0, i20=0, i21=0, i22=0, i23=0, i24=0, i25=0, i26=0, i27=0, i28=0, i29=0, i3=0, i30=0, i31=0, i4=0, i5=0, i6=0, i7=0, i8=0, i9=0
Open viewer
render of and24__seed

and24 / seed

verdict
ACCEPT
first failing stage
none
blocks
245
proof size
282.7 KB
cake_lpr verified
yes
vanilla oracle
67 vectors, 0 mismatches
Open viewer
render of and24__mutants__no_repeater_0

and24 / mutant no_repeater_0

verdict
REJECT
first failing stage
prove
blocks
245
proof size
-
cake_lpr verified
no
vanilla oracle
not run
rejected at prove, counterexample i0=1, i1=1, i10=1, i11=1, i12=1, i13=1, i14=1, i15=1, i16=1, i17=1, i18=1, i19=1, i2=1, i20=1, i21=1, i22=1, i23=1, i3=1, i4=0, i5=1, i6=1, i7=1, i8=1, i9=1
Open viewer
render of and24__mutants__no_repeater_1

and24 / mutant no_repeater_1

verdict
REJECT
first failing stage
prove
blocks
245
proof size
-
cake_lpr verified
no
vanilla oracle
not run
rejected at prove, counterexample i0=1, i1=1, i10=1, i11=1, i12=1, i13=1, i14=1, i15=1, i16=1, i17=1, i18=1, i19=1, i2=1, i20=1, i21=1, i22=1, i23=1, i3=1, i4=1, i5=1, i6=1, i7=1, i8=0, i9=1
Open viewer
render of and24__mutants__no_repeater_2

and24 / mutant no_repeater_2

verdict
REJECT
first failing stage
prove
blocks
245
proof size
-
cake_lpr verified
no
vanilla oracle
not run
rejected at prove, counterexample i0=0, i1=0, i10=0, i11=0, i12=0, i13=0, i14=0, i15=0, i16=0, i17=1, i18=1, i19=1, i2=0, i20=1, i21=1, i22=1, i23=1, i3=0, i4=0, i5=0, i6=0, i7=0, i8=0, i9=0
Open viewer
render of and32__seed

and32 / seed

verdict
ACCEPT
first failing stage
none
blocks
325
proof size
382.6 KB
cake_lpr verified
yes
vanilla oracle
83 vectors, 0 mismatches
Open viewer
render of and32__mutants__no_repeater_0

and32 / mutant no_repeater_0

verdict
REJECT
first failing stage
prove
blocks
325
proof size
-
cake_lpr verified
no
vanilla oracle
not run
rejected at prove, counterexample i0=0, i1=0, i10=1, i11=1, i12=1, i13=1, i14=1, i15=1, i16=1, i17=1, i18=1, i19=1, i2=0, i20=1, i21=1, i22=1, i23=1, i24=1, i25=1, i26=1, i27=1, i28=1, i29=1, i3=0, i30=1, i31=1, i4=0, i5=0, i6=1, i7=1, i8=1, i9=1
Open viewer
render of and32__mutants__no_repeater_1

and32 / mutant no_repeater_1

verdict
REJECT
first failing stage
prove
blocks
325
proof size
-
cake_lpr verified
no
vanilla oracle
not run
rejected at prove, counterexample i0=0, i1=0, i10=0, i11=0, i12=0, i13=1, i14=1, i15=1, i16=1, i17=1, i18=1, i19=1, i2=0, i20=1, i21=1, i22=1, i23=1, i24=1, 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
Open viewer
render of and32__mutants__no_repeater_2

and32 / mutant no_repeater_2

verdict
REJECT
first failing stage
prove
blocks
325
proof size
-
cake_lpr verified
no
vanilla oracle
not run
rejected at prove, 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=1, i21=1, i22=1, i23=1, i24=1, 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
Open viewer
render of and32__mutants__no_repeater_3

and32 / mutant no_repeater_3

verdict
REJECT
first failing stage
prove
blocks
325
proof size
-
cake_lpr verified
no
vanilla oracle
not run
rejected at prove, 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
Open viewer