gnieark
/
Hanoi-towers
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
master
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'master'
${ noResults }
Hanoi-towers/result6discs.txt

483 lines
9.6 KiB
Plaintext
Raw Permalink Blame History

a winning suite was found:
[[5,4,3,2,1,0],[],[]]
[[5,4,3,2,1],[0],[]]
[[5,4,3,2],[0],[1]]
[[5,4,3,2,0],[],[1]]
[[5,4,3,2],[],[1,0]]
[[5,4,3],[2],[1,0]]
[[5,4,3],[2,0],[1]]
[[5,4,3,0],[2],[1]]
[[5,4,3,0],[2,1],[]]
[[5,4,3],[2,1,0],[]]
[[5,4],[2,1,0],[3]]
[[5,4,0],[2,1],[3]]
[[5,4],[2,1],[3,0]]
[[5,4,1],[2],[3,0]]
[[5,4,1],[2,0],[3]]
[[5,4],[2,0],[3,1]]
[[5,4,0],[2],[3,1]]
[[5,4],[2],[3,1,0]]
[[5,4,2],[],[3,1,0]]
[[5,4,2],[0],[3,1]]
[[5,4,2,0],[],[3,1]]
[[5,4,2,0],[1],[3]]
[[5,4,2],[1,0],[3]]
[[5,4],[1,0],[3,2]]
[[5,4,0],[1],[3,2]]
[[5,4],[1],[3,2,0]]
[[5,4,1],[],[3,2,0]]
[[5,4,1],[0],[3,2]]
[[5,4],[0],[3,2,1]]
[[5,4,0],[],[3,2,1]]
[[5,4],[],[3,2,1,0]]
[[5],[4],[3,2,1,0]]
[[5],[4,0],[3,2,1]]
[[5,0],[4],[3,2,1]]
[[5,0],[4,1],[3,2]]
[[5],[4,1,0],[3,2]]
[[5],[4,1],[3,2,0]]
[[5,1],[4],[3,2,0]]
[[5,1],[4,0],[3,2]]
[[5,1,0],[4],[3,2]]
[[5,1,0],[4,2],[3]]
[[5,1],[4,2,0],[3]]
[[5],[4,2,0],[3,1]]
[[5,0],[4,2],[3,1]]
[[5],[4,2],[3,1,0]]
[[5,2],[4],[3,1,0]]
[[5,2],[4,0],[3,1]]
[[5,2,0],[4],[3,1]]
[[5,2,0],[4,1],[3]]
[[5,2],[4,1,0],[3]]
[[5,2],[4,1],[3,0]]
[[5,2,1],[4],[3,0]]
[[5,2,1],[4,0],[3]]
[[5,2,1,0],[4],[3]]
[[5,2,1,0],[4,3],[]]
[[5,2,1],[4,3,0],[]]
[[5,2],[4,3,0],[1]]
[[5,2,0],[4,3],[1]]
[[5,2],[4,3],[1,0]]
[[5],[4,3,2],[1,0]]
[[5],[4,3,2,0],[1]]
[[5,0],[4,3,2],[1]]
[[5,0],[4,3,2,1],[]]
[[5],[4,3,2,1,0],[]]
[[],[4,3,2,1,0],[5]]
[[0],[4,3,2,1],[5]]
[[],[4,3,2,1],[5,0]]
[[1],[4,3,2],[5,0]]
[[1],[4,3,2,0],[5]]
[[],[4,3,2,0],[5,1]]
[[0],[4,3,2],[5,1]]
[[],[4,3,2],[5,1,0]]
[[2],[4,3],[5,1,0]]
[[2],[4,3,0],[5,1]]
[[2,0],[4,3],[5,1]]
[[2,0],[4,3,1],[5]]
[[2],[4,3,1,0],[5]]
[[],[4,3,1,0],[5,2]]
[[0],[4,3,1],[5,2]]
[[],[4,3,1],[5,2,0]]
[[1],[4,3],[5,2,0]]
[[1],[4,3,0],[5,2]]
[[],[4,3,0],[5,2,1]]
[[0],[4,3],[5,2,1]]
[[],[4,3],[5,2,1,0]]
[[3],[4],[5,2,1,0]]
[[3],[4,0],[5,2,1]]
[[3,0],[4],[5,2,1]]
[[3,0],[4,1],[5,2]]
[[3],[4,1,0],[5,2]]
[[3],[4,1],[5,2,0]]
[[3,1],[4],[5,2,0]]
[[3,1],[4,0],[5,2]]
[[3,1,0],[4],[5,2]]
[[3,1,0],[4,2],[5]]
[[3,1],[4,2,0],[5]]
[[3],[4,2,0],[5,1]]
[[3,0],[4,2],[5,1]]
[[3],[4,2],[5,1,0]]
[[3,2],[4],[5,1,0]]
[[3,2],[4,0],[5,1]]
[[3,2,0],[4],[5,1]]
[[3,2,0],[4,1],[5]]
[[3,2],[4,1,0],[5]]
[[3,2],[4,1],[5,0]]
[[3,2,1],[4],[5,0]]
[[3,2,1],[4,0],[5]]
[[3,2,1,0],[4],[5]]
[[3,2,1,0],[],[5,4]]
[[3,2,1],[0],[5,4]]
[[3,2],[0],[5,4,1]]
[[3,2,0],[],[5,4,1]]
[[3,2],[],[5,4,1,0]]
[[3],[2],[5,4,1,0]]
[[3],[2,0],[5,4,1]]
[[3,0],[2],[5,4,1]]
[[3,0],[2,1],[5,4]]
[[3],[2,1,0],[5,4]]
[[],[2,1,0],[5,4,3]]
[[0],[2,1],[5,4,3]]
[[],[2,1],[5,4,3,0]]
[[1],[2],[5,4,3,0]]
[[1],[2,0],[5,4,3]]
[[],[2,0],[5,4,3,1]]
[[0],[2],[5,4,3,1]]
[[],[2],[5,4,3,1,0]]
[[2],[],[5,4,3,1,0]]
[[2],[0],[5,4,3,1]]
[[2,0],[],[5,4,3,1]]
[[2,0],[1],[5,4,3]]
[[2],[1,0],[5,4,3]]
[[],[1,0],[5,4,3,2]]
[[0],[1],[5,4,3,2]]
[[],[1],[5,4,3,2,0]]
[[1],[],[5,4,3,2,0]]
[[1],[0],[5,4,3,2]]
[[],[0],[5,4,3,2,1]]
[[0],[],[5,4,3,2,1]]
[[],[],[5,4,3,2,1,0]]
a winning suite was found:
[[5,4,3,2,1,0],[],[]]
[[5,4,3,2,1],[0],[]]
[[5,4,3,2],[0],[1]]
[[5,4,3,2,0],[],[1]]
[[5,4,3,2],[],[1,0]]
[[5,4,3],[2],[1,0]]
[[5,4,3],[2,0],[1]]
[[5,4,3,0],[2],[1]]
[[5,4,3,0],[2,1],[]]
[[5,4,3],[2,1,0],[]]
[[5,4],[2,1,0],[3]]
[[5,4,0],[2,1],[3]]
[[5,4],[2,1],[3,0]]
[[5,4,1],[2],[3,0]]
[[5,4,1],[2,0],[3]]
[[5,4],[2,0],[3,1]]
[[5,4,0],[2],[3,1]]
[[5,4],[2],[3,1,0]]
[[5,4,2],[],[3,1,0]]
[[5,4,2],[0],[3,1]]
[[5,4,2,0],[],[3,1]]
[[5,4,2,0],[1],[3]]
[[5,4,2],[1,0],[3]]
[[5,4],[1,0],[3,2]]
[[5,4,0],[1],[3,2]]
[[5,4],[1],[3,2,0]]
[[5,4,1],[],[3,2,0]]
[[5,4,1],[0],[3,2]]
[[5,4],[0],[3,2,1]]
[[5,4,0],[],[3,2,1]]
[[5,4],[],[3,2,1,0]]
[[5],[4],[3,2,1,0]]
[[5],[4,0],[3,2,1]]
[[5,0],[4],[3,2,1]]
[[5,0],[4,1],[3,2]]
[[5],[4,1,0],[3,2]]
[[5],[4,1],[3,2,0]]
[[5,1],[4],[3,2,0]]
[[5,1],[4,0],[3,2]]
[[5,1,0],[4],[3,2]]
[[5,1,0],[4,2],[3]]
[[5,1],[4,2,0],[3]]
[[5],[4,2,0],[3,1]]
[[5,0],[4,2],[3,1]]
[[5],[4,2],[3,1,0]]
[[5,2],[4],[3,1,0]]
[[5,2],[4,0],[3,1]]
[[5,2,0],[4],[3,1]]
[[5,2,0],[4,1],[3]]
[[5,2],[4,1,0],[3]]
[[5,2],[4,1],[3,0]]
[[5,2,1],[4],[3,0]]
[[5,2,1],[4,0],[3]]
[[5,2,1,0],[4],[3]]
[[5,2,1,0],[4,3],[]]
[[5,2,1],[4,3,0],[]]
[[5,2],[4,3,0],[1]]
[[5,2,0],[4,3],[1]]
[[5,2],[4,3],[1,0]]
[[5],[4,3,2],[1,0]]
[[5],[4,3,2,0],[1]]
[[5,0],[4,3,2],[1]]
[[5,0],[4,3,2,1],[]]
[[5],[4,3,2,1,0],[]]
[[],[4,3,2,1,0],[5]]
[[0],[4,3,2,1],[5]]
[[],[4,3,2,1],[5,0]]
[[1],[4,3,2],[5,0]]
[[1],[4,3,2,0],[5]]
[[],[4,3,2,0],[5,1]]
[[0],[4,3,2],[5,1]]
[[],[4,3,2],[5,1,0]]
[[2],[4,3],[5,1,0]]
[[2],[4,3,0],[5,1]]
[[2,0],[4,3],[5,1]]
[[2,0],[4,3,1],[5]]
[[2],[4,3,1,0],[5]]
[[],[4,3,1,0],[5,2]]
[[0],[4,3,1],[5,2]]
[[],[4,3,1],[5,2,0]]
[[1],[4,3],[5,2,0]]
[[1],[4,3,0],[5,2]]
[[],[4,3,0],[5,2,1]]
[[0],[4,3],[5,2,1]]
[[],[4,3],[5,2,1,0]]
[[3],[4],[5,2,1,0]]
[[3],[4,0],[5,2,1]]
[[3,0],[4],[5,2,1]]
[[3,0],[4,1],[5,2]]
[[3],[4,1,0],[5,2]]
[[3],[4,1],[5,2,0]]
[[3,1],[4],[5,2,0]]
[[3,1],[4,0],[5,2]]
[[3,1,0],[4],[5,2]]
[[3,1,0],[4,2],[5]]
[[3,1],[4,2,0],[5]]
[[3],[4,2,0],[5,1]]
[[3,0],[4,2],[5,1]]
[[3],[4,2],[5,1,0]]
[[3,2],[4],[5,1,0]]
[[3,2],[4,0],[5,1]]
[[3,2,0],[4],[5,1]]
[[3,2,0],[4,1],[5]]
[[3,2],[4,1,0],[5]]
[[3,2],[4,1],[5,0]]
[[3,2,1],[4],[5,0]]
[[3,2,1],[4,0],[5]]
[[3,2,1,0],[4],[5]]
[[3,2,1,0],[],[5,4]]
[[3,2,1],[0],[5,4]]
[[3,2],[0],[5,4,1]]
[[3,2,0],[],[5,4,1]]
[[3,2],[],[5,4,1,0]]
[[3],[2],[5,4,1,0]]
[[3],[2,0],[5,4,1]]
[[3,0],[2],[5,4,1]]
[[3,0],[2,1],[5,4]]
[[3],[2,1,0],[5,4]]
[[],[2,1,0],[5,4,3]]
[[0],[2,1],[5,4,3]]
[[],[2,1],[5,4,3,0]]
[[1],[2],[5,4,3,0]]
[[1],[2,0],[5,4,3]]
[[],[2,0],[5,4,3,1]]
[[0],[2],[5,4,3,1]]
[[],[2],[5,4,3,1,0]]
[[2],[],[5,4,3,1,0]]
[[2],[0],[5,4,3,1]]
[[2,0],[],[5,4,3,1]]
[[2,0],[1],[5,4,3]]
[[2],[1,0],[5,4,3]]
[[],[1,0],[5,4,3,2]]
[[0],[1],[5,4,3,2]]
[[],[1],[5,4,3,2,0]]
[[1],[],[5,4,3,2,0]]
[[1],[0],[5,4,3,2]]
[[],[0],[5,4,3,2,1]]
[[0],[],[5,4,3,2,1]]
[[],[],[5,4,3,2,1,0]]
[[1,0],[],[5,4,3,2]]
[[1,0],[2],[5,4,3]]
[[2],[1],[5,4,3,0]]
[[2,1],[],[5,4,3,0]]
[[2,1],[0],[5,4,3]]
[[2,1,0],[],[5,4,3]]
[[2,1,0],[3],[5,4]]
[[2,1],[3,0],[5,4]]
[[2],[3,0],[5,4,1]]
[[2,0],[3],[5,4,1]]
[[2],[3],[5,4,1,0]]
[[],[3,2],[5,4,1,0]]
[[],[3,2,0],[5,4,1]]
[[0],[3,2],[5,4,1]]
[[0],[3,2,1],[5,4]]
[[],[3,2,1,0],[5,4]]
[[],[3,2,1],[5,4,0]]
[[1],[3,2],[5,4,0]]
[[1],[3,2,0],[5,4]]
[[1,0],[3,2],[5,4]]
[[1,0],[3],[5,4,2]]
[[1],[3,0],[5,4,2]]
[[],[3,0],[5,4,2,1]]
[[0],[3],[5,4,2,1]]
[[],[3],[5,4,2,1,0]]
[[3],[],[5,4,2,1,0]]
[[3],[0],[5,4,2,1]]
[[3,0],[],[5,4,2,1]]
[[3,0],[1],[5,4,2]]
[[3],[1,0],[5,4,2]]
[[3],[1],[5,4,2,0]]
[[3,1],[],[5,4,2,0]]
[[3,1],[0],[5,4,2]]
[[3,1,0],[],[5,4,2]]
[[3,1,0],[2],[5,4]]
[[3,1],[2,0],[5,4]]
[[3,1],[2],[5,4,0]]
[[3],[2,1],[5,4,0]]
[[0],[3,1],[5,4,2]]
[[],[3,1,0],[5,4,2]]
[[],[3,1],[5,4,2,0]]
[[1],[3],[5,4,2,0]]
[[2,0],[3,1],[5,4]]
[[2],[3,1,0],[5,4]]
[[2],[3,1],[5,4,0]]
[[2,1],[3],[5,4,0]]
[[3,2,0],[1],[5,4]]
[[3,2],[1,0],[5,4]]
[[3,2],[1],[5,4,0]]
[[3,2,1],[],[5,4,0]]
[[3,0],[4,2,1],[5]]
[[3],[4,2,1,0],[5]]
[[],[4,2,1,0],[5,3]]
[[0],[4,2,1],[5,3]]
[[],[4,2,1],[5,3,0]]
[[1],[4,2],[5,3,0]]
[[1],[4,2,0],[5,3]]
[[],[4,2,0],[5,3,1]]
[[0],[4,2],[5,3,1]]
[[],[4,2],[5,3,1,0]]
[[2],[4],[5,3,1,0]]
[[2],[4,0],[5,3,1]]
[[2,0],[4],[5,3,1]]
[[2,0],[4,1],[5,3]]
[[2],[4,1,0],[5,3]]
[[],[4,1,0],[5,3,2]]
[[0],[4,1],[5,3,2]]
[[],[4,1],[5,3,2,0]]
[[1],[4],[5,3,2,0]]
[[1],[4,0],[5,3,2]]
[[],[4,0],[5,3,2,1]]
[[0],[4],[5,3,2,1]]
[[],[4],[5,3,2,1,0]]
[[4],[],[5,3,2,1,0]]
[[4],[0],[5,3,2,1]]
[[4,0],[],[5,3,2,1]]
[[4,0],[1],[5,3,2]]
[[4],[1,0],[5,3,2]]
[[4],[1],[5,3,2,0]]
[[4,1],[],[5,3,2,0]]
[[4,1],[0],[5,3,2]]
[[4,1,0],[],[5,3,2]]
[[4,1,0],[2],[5,3]]
[[4,1],[2,0],[5,3]]
[[4],[2,0],[5,3,1]]
[[4,0],[2],[5,3,1]]
[[4],[2],[5,3,1,0]]
[[4,2],[],[5,3,1,0]]
[[4,2],[0],[5,3,1]]
[[4,2,0],[],[5,3,1]]
[[4,2,0],[1],[5,3]]
[[4,2],[1,0],[5,3]]
[[4,2],[1],[5,3,0]]
[[4,2,1],[],[5,3,0]]
[[4,2,1],[0],[5,3]]
[[4,2,1,0],[],[5,3]]
[[4,2,1,0],[3],[5]]
[[4,2,1],[3,0],[5]]
[[4,2],[3,0],[5,1]]
[[4,2,0],[3],[5,1]]
[[4,2],[3],[5,1,0]]
[[4],[3,2],[5,1,0]]
[[4],[3,2,0],[5,1]]
[[4,0],[3,2],[5,1]]
[[4,0],[3,2,1],[5]]
[[4],[3,2,1,0],[5]]
[[4],[3,2,1],[5,0]]
[[4,1],[3,2],[5,0]]
[[4,1],[3,2,0],[5]]
[[4,1,0],[3,2],[5]]
[[4,1,0],[3],[5,2]]
[[4,1],[3,0],[5,2]]
[[4],[3,0],[5,2,1]]
[[4,0],[3],[5,2,1]]
[[4],[3],[5,2,1,0]]
[[4,3],[],[5,2,1,0]]
[[4,3],[0],[5,2,1]]
[[4,3,0],[],[5,2,1]]
[[4,3,0],[1],[5,2]]
[[4,3],[1,0],[5,2]]
[[4,3],[1],[5,2,0]]
[[4,3,1],[],[5,2,0]]
[[4,3,1],[0],[5,2]]
[[4,3,1,0],[],[5,2]]
[[4,3,1,0],[2],[5]]
[[4,3,1],[2,0],[5]]
[[4,3],[2,0],[5,1]]
[[4,3,0],[2],[5,1]]
[[4,3],[2],[5,1,0]]
[[4,3,2],[],[5,1,0]]
[[4,3,2],[0],[5,1]]
[[4,3,2,0],[],[5,1]]
[[4,3,2,0],[1],[5]]
[[4,3,2],[1,0],[5]]
[[4,3,2],[1],[5,0]]
[[4,3,2,1],[],[5,0]]
[[4,3,2,1],[0],[5]]
[[4,3,2,1,0],[],[5]]
[[4,3,2,1,0],[5],[]]
[[4,3,2,1],[5,0],[]]
[[4,3,2],[5,0],[1]]
[[4,3,2,0],[5],[1]]
[[4,3,2],[5],[1,0]]
[[4,3],[5,2],[1,0]]
[[4,3],[5,2,0],[1]]
[[4,3,0],[5,2],[1]]
[[4,3,0],[5,2,1],[]]
[[4,3],[5,2,1,0],[]]
[[4],[5,2,1,0],[3]]
[[4,0],[5,2,1],[3]]
[[4],[5,2,1],[3,0]]
[[4,1],[5,2],[3,0]]
[[4,1],[5,2,0],[3]]
[[4],[5,2,0],[3,1]]
[[4,0],[5,2],[3,1]]
[[4],[5,2],[3,1,0]]
[[4,2],[5],[3,1,0]]
[[4,2],[5,0],[3,1]]
[[4,2,0],[5],[3,1]]
[[4,2,0],[5,1],[3]]
[[4,2],[5,1,0],[3]]
[[4],[5,1,0],[3,2]]
[[4,0],[5,1],[3,2]]
[[4],[5,1],[3,2,0]]
[[4,1],[5],[3,2,0]]
[[4,1],[5,0],[3,2]]
[[4],[5,0],[3,2,1]]
[[4,0],[5],[3,2,1]]
[[4],[5],[3,2,1,0]]
[[],[5,4],[3,2,1,0]]
[[],[5,4,0],[3,2,1]]
[[0],[5,4],[3,2,1]]
[[0],[5,4,1],[3,2]]
[[],[5,4,1,0],[3,2]]
[[],[5,4,1],[3,2,0]]
[[1],[5,4],[3,2,0]]
[[1],[5,4,0],[3,2]]
[[1,0],[5,4],[3,2]]
[[1,0],[5,4,2],[3]]
[[1],[5,4,2,0],[3]]
[[],[5,4,2,0],[3,1]]
[[0],[5,4,2],[3,1]]
[[],[5,4,2],[3,1,0]]
[[2],[5,4],[3,1,0]]
[[2],[5,4,0],[3,1]]
[[2,0],[5,4],[3,1]]
[[2,0],[5,4,1],[3]]
[[2],[5,4,1,0],[3]]
[[2],[5,4,1],[3,0]]
[[2,1],[5,4],[3,0]]
[[2,1],[5,4,0],[3]]
[[2,1,0],[5,4],[3]]
[[2,1,0],[5,4,3],[]]
[[2,1],[5,4,3,0],[]]
[[2],[5,4,3,0],[1]]
[[2,0],[5,4,3],[1]]
[[2],[5,4,3],[1,0]]
[[],[5,4,3,2],[1,0]]
[[],[5,4,3,2,0],[1]]
[[0],[5,4,3,2],[1]]
[[0],[5,4,3,2,1],[]]
[[],[5,4,3,2,1,0],[]]
Reference in New Issue View Git Blame Copy Permalink