Spaces:
Sleeping
Sleeping
File size: 2,333 Bytes
72cfe15 |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 |
Received the following input and output examples:
[(['h', 'i'], ['h', 'h'])]
Running synthesizer with
Vocab: {'h', 'i'}
Max sequence length: 2
Max weight: 15
- Searching level 2 with 4 primitives.
- Searching level 3 with 4 primitives.
(select(tokens, tokens, ==))
[[[True, False], [False, True]]]
(select(tokens, tokens, true))
[[[True, True], [True, True]]]
- Searching level 4 with 6 primitives.
(select_width((select(tokens, tokens, ==))))
[[1, 1]]
(select_width((select(tokens, tokens, true))))
[[2, 2]]
- Searching level 5 with 8 primitives.
- Searching level 6 with 8 primitives.
- Searching level 7 with 8 primitives.
- Searching level 8 with 8 primitives.
- Searching level 9 with 8 primitives.
(aggregate((select(tokens, tokens, ==)), (select_width((select(tokens, tokens, ==))))))
[[1.0, 1.0]]
(aggregate((select(tokens, tokens, ==)), (select_width((select(tokens, tokens, true))))))
[[2.0, 2.0]]
(aggregate((select(tokens, tokens, true)), (select_width((select(tokens, tokens, ==))))))
[[1.0, 1.0]]
(aggregate((select(tokens, tokens, true)), (select_width((select(tokens, tokens, true))))))
[[2.0, 2.0]]
- Searching level 10 with 12 primitives.
- Searching level 11 with 12 primitives.
- Searching level 12 with 12 primitives.
- Searching level 13 with 12 primitives.
- Searching level 14 with 12 primitives.
(aggregate((select(tokens, tokens, ==)), (aggregate((select(tokens, tokens, ==)), (select_width((select(tokens, tokens, ==))))))))
[[1.0, 1.0]]
(aggregate((select(tokens, tokens, ==)), (aggregate((select(tokens, tokens, ==)), (select_width((select(tokens, tokens, true))))))))
[[2.0, 2.0]]
(aggregate((select(tokens, tokens, ==)), (aggregate((select(tokens, tokens, true)), (select_width((select(tokens, tokens, ==))))))))
[[1.0, 1.0]]
(aggregate((select(tokens, tokens, ==)), (aggregate((select(tokens, tokens, true)), (select_width((select(tokens, tokens, true))))))))
[[2.0, 2.0]]
> c:\users\18084\desktop\cs252r\final_project\tracr-synthesis\rasp_synthesizer.py(94)check_obs_equivalence()
-> return a_output == b_output
(Pdb) --KeyboardInterrupt--
(Pdb) --KeyboardInterrupt--
(Pdb) --KeyboardInterrupt--
(Pdb) *** SyntaxError: invalid syntax
(Pdb) --KeyboardInterrupt--
(Pdb) *** SyntaxError: invalid syntax
(Pdb) --KeyboardInterrupt--
(Pdb) --KeyboardInterrupt--
(Pdb) *** SyntaxError: invalid syntax
(Pdb) |