21345 data/secret/28-twospeeds.in data/secret/28-twospeeds.ans 21345 data/secret/23-random.in data/secret/23-random.ans 21345 data/secret/20-random.in data/secret/20-random.ans 21345 data/secret/12-kill-n4-c.in data/secret/12-kill-n4-c.ans 21345 data/secret/21-random.in data/secret/21-random.ans 21345 data/secret/08-small.in data/secret/08-small.ans 21345 data/secret/22-random.in data/secret/22-random.ans 21345 data/secret/03-n3.in data/secret/03-n3.ans 21345 data/secret/18-random.in data/secret/18-random.ans 21345 data/secret/07-small.in data/secret/07-small.ans 21345 data/secret/09-small.in data/secret/09-small.ans 21345 data/secret/13-kill-n4-heuristic-a.in data/secret/13-kill-n4-heuristic-a.ans 21345 data/secret/14-kill-n4-heuristic-b.in data/secret/14-kill-n4-heuristic-b.ans 21345 data/secret/02-n2.in data/secret/02-n2.ans 21345 data/secret/40-randomized.in data/secret/40-randomized.ans 21345 data/secret/25-twospeeds.in data/secret/25-twospeeds.ans 21345 data/secret/26-twospeeds.in data/secret/26-twospeeds.ans 21345 data/secret/01-n1.in data/secret/01-n1.ans 21345 data/secret/31-almost-constant.in data/secret/31-almost-constant.ans 21345 data/secret/17-random.in data/secret/17-random.ans 21345 data/secret/16-random.in data/secret/16-random.ans 21345 data/secret/29-twospeeds.in data/secret/29-twospeeds.ans 21345 data/secret/27-twospeeds.in data/secret/27-twospeeds.ans 21345 data/secret/43-randomized.in data/secret/43-randomized.ans 21345 data/secret/32-almost-constant.in data/secret/32-almost-constant.ans 21345 data/secret/19-random.in data/secret/19-random.ans 21345 data/secret/06-small.in data/secret/06-small.ans 21345 data/secret/44-randomized.in data/secret/44-randomized.ans 21345 data/secret/38-randomized.in data/secret/38-randomized.ans 21345 data/secret/15-kill-n4-heuristic-c.in data/secret/15-kill-n4-heuristic-c.ans 21345 data/secret/05-small.in data/secret/05-small.ans 21345 data/secret/10-kill-n4-a.in data/secret/10-kill-n4-a.ans 21345 data/secret/39-randomized.in data/secret/39-randomized.ans 21345 data/secret/33-almost-constant.in data/secret/33-almost-constant.ans 21345 data/secret/37-randomized.in data/secret/37-randomized.ans 21345 data/secret/30-almost-constant.in data/secret/30-almost-constant.ans 21345 data/secret/42-randomized.in data/secret/42-randomized.ans 21345 data/secret/34-almost-constant.in data/secret/34-almost-constant.ans 21345 data/secret/11-kill-n4-b.in data/secret/11-kill-n4-b.ans 21345 data/secret/41-randomized.in data/secret/41-randomized.ans 21345 data/secret/36-allsame.in data/secret/36-allsame.ans 21345 data/secret/35-almost-constant.in data/secret/35-almost-constant.ans 21345 data/secret/04-small.in data/secret/04-small.ans 21345 data/secret/24-random.in data/secret/24-random.ans