problem(BW-P1-Esra-a)
description(P1 with Esra's bw_domain_a program)
options(-n=1 -N=4)
files(bw_domain_a P1)

problem(BW-P2-Esra-a)
options(-n=1 -N=6)
files(bw_domain_a P2)

problem(BW-P3-Esra-a)
options(-n=1 -N=8)
files(bw_domain_a P3)

problem(BW-P4-Esra-a)
options(-n=1 -N=9)
files(bw_domain_a P4)

problem(BW-P4-Esra-a-R)
options(-n=1 -N=9)
files(P4 bw_domain_a)

problem(BW-P5-Esra-a)
options(-n=1 -N=11)
files(bw_domain_a P5)

problem(BW-P5-Esra-a-R)
options(-n=1 -N=11)
files(P5 bw_domain_a)

problem(BW-P6-Esra-a)
options(-n=1 -N=12)
files(bw_domain_a P6)

problem(BW-P6-Esra-a-R)
options(-n=1 -N=12)
files(P6 bw_domain_a)


problem(BW-P1)
description(P1 with our encoding (nopush))
options(-n=1 -N=4)
files(bw_nopush P1)

problem(BW-P2)
options(-n=1 -N=6)
files(bw_nopush P2)

problem(BW-P3)
options(-n=1 -N=8)
files(bw_nopush P3)

problem(BW-P4)
options(-n=1 -N=9)
files(bw_nopush P4)

problem(BW-P4-R)
options(-n=1 -N=9)
files(P4 bw_nopush)

problem(BW-P5)
options(-n=1 -N=11)
files(bw_nopush P5)

problem(BW-P5-R)
options(-n=1 -N=11)
files(P5 bw_nopush)

problem(BW-P6)
options(-n=1 -N=12)
files(bw_nopush P6)

problem(BW-P6-R)
options(-n=1 -N=12)
files(P6 bw_nopush)


problem(BW-P1-push)
description(P1 with our encoding (push))
options(-n=1 -N=4)
files(bw_push P1)

problem(BW-P2-push)
options(-n=1 -N=6)
files(bw_push P2)

problem(BW-P3-push)
options(-n=1 -N=8)
files(bw_push P3)

problem(BW-P4-push)
options(-n=1 -N=9)
files(bw_push P4)

problem(BW-P4-push-R)
options(-n=1 -N=9)
files(P4 bw_push)

problem(BW-P5-push)
options(-n=1 -N=11)
files(bw_push P5)

problem(BW-P5-push-R)
options(-n=1 -N=11)
files(P5 bw_push)

problem(BW-P6-push)
options(-n=1 -N=12)
files(bw_push P6)

problem(BW-P6-push-R)
options(-n=1 -N=12)
files(P6 bw_push)


problem(BW-P1-push-bin)
description(P1 with our encoding (push,binary))
options(-n=1 -N=4)
files(bw_push_binary P1)

problem(BW-P2-push-bin)
options(-n=1 -N=6)
files(bw_push_binary P2)

problem(BW-P3-push-bin)
options(-n=1 -N=8)
files(bw_push_binary P3)

problem(BW-P4-push-bin)
options(-n=1 -N=9)
files(bw_push_binary P4)

problem(BW-P4-push-bin-R)
options(-n=1 -N=9)
files(P4 bw_push_binary)

problem(BW-P5-push-bin)
options(-n=1 -N=11)
files(bw_push_binary P5)

problem(BW-P5-push-bin-R)
options(-n=1 -N=11)
files(P5 bw_push_binary)

problem(BW-P6-push-bin)
options(-n=1 -N=12)
files(bw_push_binary P6)

problem(BW-P6-push-bin-R)
options(-n=1 -N=12)
files(bw_push_binary P6)
