Skip to content

Instantly share code, notes, and snippets.

@mateon1

mateon1/36909813-N17-hs-trace.txt

Created July 20, 2022 23:08
Show Gist options
  • Save mateon1/af43bc49977c261a547e736e4ef564d8 to your computer and use it in GitHub Desktop.
Save mateon1/af43bc49977c261a547e736e4ef564d8 to your computer and use it in GitHub Desktop.
Download ZIP
https://bbchallenge.org/36909813 - Halting Segment SAT implementation, halting trace for centered N=17 cell tape
Raw
36909813-N17-hs-trace.txt
== RULES ==
00001: ##.#.....#.#....
00017: #...#....##.....
00033: #....#.....#....
00049: ......#.##.....#
00065: ##....#.#..#....
1RB 0RB 1LC 0RA 1LD 0LB 0LE 1R! 1RE 1LB
== EVOLUTION ==
................. - FOUND!
^ : A.....
..............#..
^ : .B....
..............##.
^ : ..C...
...............#.
^ : .B....
.............#.#.
^ : ..C...
............##.#.
^ : ...D..
............##.#.
^ : ....E.
..........#.##.#.
^ : ....E.
..........####.#.
^ : ....E.
..........####.#.
^ : .B....
..........#.##.#.
^ : A.....
..........#..#.#.
^ : .B....
..........#....#.
^ : A.....
..........#...##.
^ : .B....
..........#...#..
^ : A.....
..........#...#.#
^ : .B.... -> ...D..
..........#...#.#
^ : ....E.
..........#...#.#
^ : .B....
..........#...###
^ : ..C...
..........#....##
^ : .B....
..........#..#.##
^ : ..C...
..........#.##.##
^ : ...D..
..........#.##.##
^ : ....E.
..........#.##.##
^ : .B....
.........##.##.##
^ : ..C...
........###.##.##
^ : ...D..
........###.##.##
^ : ....E.
......#.###.##.##
^ : ....E.
......#####.##.##
^ : ....E.
......#####.##.##
^ : .B....
......#.###.##.##
^ : A.....
......#..##.##.##
^ : .B....
......#...#.##.##
^ : A.....
......#.....##.##
^ : .B....
......#....###.##
^ : ..C...
......#...####.##
^ : ...D..
......#...####.##
^ : ....E.
......#.#.####.##
^ : ....E.
......#.######.##
^ : ....E.
......#.######.##
^ : .B....
......#.#.####.##
^ : A.....
......#.#..###.##
^ : .B....
......#.#...##.##
^ : A.....
......#.#....#.##
^ : .B....
......#.#......##
^ : A.....
......#.#.....###
^ : .B....
......#.#.....#.#
^ : A.....
......#.#.....#..
^ : .B.... -> ..C...
......#.#.....#..
^ : ...D..
......#.#.....#..
^ : ....E.
......#.#.....##.
^ : ....E.
......#.#.....###
^ : ....E. -> ..c.e.
......#.#.....###
^ : .B....
......#.#.....##.
^ : A..... -> ..c.e.
......#.#.....##.
^ : .B....
......#.#.....###
^ : ..C...
......#.#.....#.#
^ : .B....
......#.#.......#
^ : A.....
......#.#......##
^ : .B....
......#.#......#.
^ : A..... -> ..c.e.
......#.#......#.
^ : .B....
......#.#......##
^ : ..C...
......#.#.......#
^ : .B....
......#.#.....#.#
^ : ..C...
......#.#....##.#
^ : ...D..
......#.#....##.#
^ : ....E.
......#.#..#.##.#
^ : ....E.
......#.#..####.#
^ : ....E.
......#.#..####.#
^ : .B....
......#.#..#.##.#
^ : A.....
......#.#..#..#.#
^ : .B....
......#.#..#....#
^ : A.....
......#.#..#...##
^ : .B....
......#.#..#...#.
^ : A..... -> ..c.e.
......#.#..#...#.
^ : .b.d..
......#.#..#...#/
^ : ..c.e.
......#.#..#...//
^ : .B....
......#.#..#..#//
^ : ..C...
......#.#..#.##//
^ : ...D..
......#.#..#.##//
^ : ....E.
......#.#..#.##//
^ : .B....
......#.#.##.##//
^ : ..C...
......#.####.##//
^ : ...D..
......#.####.##??
^ : .....H
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment