python3 repeated_solver.py example_specs/sampling_revised.sk example_alus/pair.stateful_alu 3 3 parallel serial cex_mode

gistfile1.txt

Total number of hole bits is 510
Sketch file is  parallel_codegen.sk
failed for larger size and need repeated testing by sketch
Bit: 2
[]    2
[]   2
Bit: 3
[]    3
[]   3
Bit: 4
[]    4
[]   4
Bit: 5
[]    5
[]   5
Bit: 6
[]    6
[]   6
Bit: 7
[]    7
[]   7
Bit: 8
[]    8
[]   8
Bit: 9
[]    9
[]   9
Iteration #0
ret_code1:  0
Bit: 2
Bit: 3
Bit: 4
[('pkt_0', '0')]    4
[('state_group_0_state_1', '15'), ('state_group_0_state_0', '13')]   4
Bit: 5
[('pkt_0', '0')]    5
[('state_group_0_state_1', '0'), ('state_group_0_state_0', '12')]   5
Bit: 6
[('pkt_0', '3')]    6
[('state_group_0_state_1', '0'), ('state_group_0_state_0', '15')]   6
Bit: 7
[('pkt_0', '0')]    7
[('state_group_0_state_1', '2'), ('state_group_0_state_0', '12')]   7
Bit: 8
[('pkt_0', '3')]    8
[('state_group_0_state_1', '12'), ('state_group_0_state_0', '15')]   8
Bit: 9
[('pkt_0', '0')]    9
[('state_group_0_state_1', '5'), ('state_group_0_state_0', '14')]   9