Mercurial > repos > icfp2013
annotate data/train/wdThP1AgVrS2rp7q6qt9mLqp.json @ 9:0ccebdbc3e80
Add support for generating programs that contain fold. Make the desired program size a command line argument.
author | Mike Pavone <pavone@retrodev.com> |
---|---|
date | Fri, 09 Aug 2013 01:17:14 -0700 |
parents | 59daef77c189 |
children |
rev | line source |
---|---|
4
59daef77c189
This is a training request I generated so we can test the evaluator.
William Morgan <bill@mrgn.org>
parents:
diff
changeset
|
1 { |
59daef77c189
This is a training request I generated so we can test the evaluator.
William Morgan <bill@mrgn.org>
parents:
diff
changeset
|
2 "id": "wdThP1AgVrS2rp7q6qt9mLqp", |
59daef77c189
This is a training request I generated so we can test the evaluator.
William Morgan <bill@mrgn.org>
parents:
diff
changeset
|
3 "size": 30, |
59daef77c189
This is a training request I generated so we can test the evaluator.
William Morgan <bill@mrgn.org>
parents:
diff
changeset
|
4 "operators": [ |
59daef77c189
This is a training request I generated so we can test the evaluator.
William Morgan <bill@mrgn.org>
parents:
diff
changeset
|
5 "and", |
59daef77c189
This is a training request I generated so we can test the evaluator.
William Morgan <bill@mrgn.org>
parents:
diff
changeset
|
6 "fold", |
59daef77c189
This is a training request I generated so we can test the evaluator.
William Morgan <bill@mrgn.org>
parents:
diff
changeset
|
7 "if0", |
59daef77c189
This is a training request I generated so we can test the evaluator.
William Morgan <bill@mrgn.org>
parents:
diff
changeset
|
8 "not", |
59daef77c189
This is a training request I generated so we can test the evaluator.
William Morgan <bill@mrgn.org>
parents:
diff
changeset
|
9 "or", |
59daef77c189
This is a training request I generated so we can test the evaluator.
William Morgan <bill@mrgn.org>
parents:
diff
changeset
|
10 "plus", |
59daef77c189
This is a training request I generated so we can test the evaluator.
William Morgan <bill@mrgn.org>
parents:
diff
changeset
|
11 "shl1", |
59daef77c189
This is a training request I generated so we can test the evaluator.
William Morgan <bill@mrgn.org>
parents:
diff
changeset
|
12 "shr1", |
59daef77c189
This is a training request I generated so we can test the evaluator.
William Morgan <bill@mrgn.org>
parents:
diff
changeset
|
13 "shr16", |
59daef77c189
This is a training request I generated so we can test the evaluator.
William Morgan <bill@mrgn.org>
parents:
diff
changeset
|
14 "shr4", |
59daef77c189
This is a training request I generated so we can test the evaluator.
William Morgan <bill@mrgn.org>
parents:
diff
changeset
|
15 "xor" |
59daef77c189
This is a training request I generated so we can test the evaluator.
William Morgan <bill@mrgn.org>
parents:
diff
changeset
|
16 ], |
59daef77c189
This is a training request I generated so we can test the evaluator.
William Morgan <bill@mrgn.org>
parents:
diff
changeset
|
17 "challenge": "(lambda (x_79346) (fold x_79346 x_79346 (lambda (x_79347 x_79348) (xor (shr1 (or (plus (not (shr16 (shl1 (and (shr4 (not (shr4 x_79347))) (if0 (and (xor (shr1 (not x_79348)) x_79347) x_79348) x_79347 x_79348))))) x_79347) x_79348)) x_79348))))" |
59daef77c189
This is a training request I generated so we can test the evaluator.
William Morgan <bill@mrgn.org>
parents:
diff
changeset
|
18 } |