annotate data/train/IxVBHQTlzePZHljYiBdZLwKh.json @ 58:c50f0fb9a717

solver uses allWithMaxSize if no ops provided.
author William Morgan <bill@mrgn.org>
date Sun, 11 Aug 2013 14:24:41 -0700
parents c94beafc8d1e
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
37
c94beafc8d1e Added a small training set
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1 {
c94beafc8d1e Added a small training set
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
2 "id": "IxVBHQTlzePZHljYiBdZLwKh",
c94beafc8d1e Added a small training set
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
3 "size": 6,
c94beafc8d1e Added a small training set
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
4 "operators": [
c94beafc8d1e Added a small training set
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
5 "not",
c94beafc8d1e Added a small training set
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
6 "shr4",
c94beafc8d1e Added a small training set
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
7 "xor"
c94beafc8d1e Added a small training set
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
8 ],
c94beafc8d1e Added a small training set
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
9 "challenge": "(lambda (x_4565) (xor (shr4 x_4565) (not 1)))"
c94beafc8d1e Added a small training set
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
10 }