help with ksolve+

[Deleted member 36445]

I'm trying to use ksolve+ to generate algs for 4x4.

But it is giving me this error:

Apparently it is not managing to generate pruning tables for the puzzle.

Is it even capable of doing so?

I got ksolve+ here: https://mzrg.com/rubik/ksolve+/
And I generated the puzzle definition with twizzle explorer. twizzle explorer

This is my puzzle definition:

Spoiler: 4x4x4.def

# PuzzleGeometry 0.1 Copyright 2018 Tomas Rokicki.
#
Name TwizzlePuzzle

Set CORNERS 8 3
# 1 F U L
# 2 F U R
# 3 F D L
# 4 B U R
# 5 F D R
# 6 B D R
# 7 B U L
# 8 B D L
Set EDGES 24 2
# 1 F U 2L
# 2 F 2U R
# 3 2F U R
# 4 F D 2L
# 5 B 2U R
# 6 2F D R
# 7 2F U L
# 8 F 2D R
# 9 B D 2R
# 10 2F D L
# 11 F U 2R
# 12 B 2D R
# 13 2B D R
# 14 B 2U L
# 15 F D 2R
# 16 B U 2L
# 17 2B D L
# 18 B 2D L
# 19 B U 2R
# 20 B D 2L
# 21 F 2U L
# 22 2B U R
# 23 2B U L
# 24 F 2D L
Set CENTERS 24 1
# 1 F 2U 2R
# 2 F 2D 2R
# 3 2B 2U R
# 4 2F D 2R
# 5 2B 2D R
# 6 2B D 2R
# 7 2B U 2L
# 8 2F 2U R
# 9 2B D 2L
# 10 2B 2D L
# 11 2F U 2L
# 12 B 2U 2R
# 13 2F 2D R
# 14 B 2D 2L
# 15 F 2D 2L
# 16 2B U 2R
# 17 2F D 2L
# 18 2B 2U L
# 19 B 2U 2L
# 20 B 2D 2R
# 21 2F 2D L
# 22 2F U 2R
# 23 2F 2U L
# 24 F 2U 2L

Solved
CORNERS
1 2 3 4 5 6 7 8
EDGES
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
CENTERS
1 1 2 3 2 3 4 2 3 5 4 6 2 6 1 4 3 5 6 6 5 4 5 1
End

Move F
CORNERS
3 1 5 4 2 6 7 8
1 2 2 0 1 0 0 0
EDGES
24 1 3 8 5 6 7 11 9 10 21 12 13 14 2 16 17 18 19 20 4 22 23 15
1 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1
CENTERS
24 1 3 4 5 6 7 8 9 10 11 12 13 14 2 16 17 18 19 20 21 22 23 15
End

Move 2F
EDGES
1 2 7 4 5 3 10 8 9 6 11 12 13 14 15 16 17 18 19 20 21 22 23 24
0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0
CENTERS
1 2 3 8 5 6 7 11 9 10 21 12 22 14 15 16 13 18 19 20 4 23 17 24
End

Move 2B
EDGES
1 2 3 4 5 6 7 8 9 10 11 12 17 14 15 16 23 18 19 20 21 13 22 24
0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 0
CENTERS
1 2 6 4 9 10 3 8 18 7 11 12 13 14 15 5 17 16 19 20 21 22 23 24
End

Move B
CORNERS
1 2 3 6 5 8 4 7
0 0 0 1 0 2 2 1
EDGES
1 2 3 4 9 6 7 8 18 10 11 20 13 19 15 5 17 16 12 14 21 22 23 24
0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 1 0 1 1 1 0 0 0 0
CENTERS
1 2 3 4 5 6 7 8 9 10 11 20 13 19 15 16 17 18 12 14 21 22 23 24
End

Move z
CORNERS
3 1 5 7 2 4 8 6
1 2 2 1 1 2 2 1
EDGES
24 1 7 8 16 3 10 11 5 6 21 19 22 20 2 18 13 9 14 12 4 23 17 15
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
CENTERS
24 1 7 8 16 3 10 11 5 6 21 19 22 20 2 18 13 9 14 12 4 23 17 15
End

Move D
CORNERS
1 2 8 4 3 5 7 6
EDGES
1 2 3 17 5 4 7 8 6 20 11 12 15 14 10 16 9 18 19 13 21 22 23 24
CENTERS
1 2 3 17 5 4 7 8 6 10 11 12 13 14 15 16 9 18 19 20 21 22 23 24
End

Move 2D
EDGES
1 2 3 4 5 6 7 24 9 10 11 8 13 14 15 16 17 12 19 20 21 22 23 18
0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1
CENTERS
1 21 3 4 2 6 7 8 9 20 11 12 15 5 10 16 17 18 19 13 14 22 23 24
End

Move 2U
EDGES
1 5 3 4 14 6 7 8 9 10 11 12 13 21 15 16 17 18 19 20 2 22 23 24
0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0
CENTERS
3 2 19 4 5 6 7 12 9 10 11 18 13 14 15 16 17 24 23 20 21 22 1 8
End

Move U
CORNERS
2 4 3 7 5 6 1 8
EDGES
3 2 19 4 5 6 11 8 9 10 22 12 13 14 15 7 17 18 23 20 21 16 1 24
CENTERS
1 2 3 4 5 6 11 8 9 10 22 12 13 14 15 7 17 18 19 20 21 16 23 24
End

Move y
CORNERS
2 4 5 7 6 8 1 3
EDGES
3 5 19 6 14 9 11 12 17 15 22 18 20 21 13 7 4 24 23 10 2 16 1 8
0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1
CENTERS
3 5 19 6 14 9 11 12 17 15 22 18 20 21 13 7 4 24 23 10 2 16 1 8
End

Move L
CORNERS
7 2 1 4 5 6 8 3
2 0 1 0 0 0 1 2
EDGES
1 2 3 4 5 6 14 8 9 21 11 12 13 17 15 16 24 10 19 20 23 22 18 7
CENTERS
1 2 3 4 5 6 7 8 9 21 11 12 13 14 15 16 17 10 19 20 23 22 18 24
End

Move 2L
EDGES
16 2 3 1 5 6 7 8 9 10 11 12 13 14 15 20 17 18 19 4 21 22 23 24
1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0
CENTERS
1 2 3 4 5 6 14 8 15 10 19 12 13 17 11 16 24 18 9 20 21 22 23 7
End

Move 2R
EDGES
1 2 3 4 5 6 7 8 19 10 15 12 13 14 9 16 17 18 11 20 21 22 23 24
0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0
CENTERS
4 6 3 20 5 12 7 8 9 10 11 22 13 14 15 1 17 18 19 16 21 2 23 24
End

Move R
CORNERS
1 5 3 2 6 4 7 8
0 1 0 2 2 1 0 0
EDGES
1 6 8 4 3 12 7 13 9 10 11 22 5 14 15 16 17 18 19 20 21 2 23 24
CENTERS
1 2 8 4 3 6 7 13 9 10 11 12 5 14 15 16 17 18 19 20 21 22 23 24
End

Move x
CORNERS
3 5 8 2 6 4 1 7
2 1 1 2 2 1 1 2
EDGES
4 6 8 20 3 12 24 13 19 18 15 22 5 7 9 1 14 23 11 16 10 2 21 17
1 0 0 1 0 0 0 0 1 0 1 0 0 0 1 1 0 0 1 1 0 0 0 0
CENTERS
4 6 8 20 3 12 24 13 19 18 15 22 5 7 9 1 14 23 11 16 10 2 21 17
End

Move DRFv
CORNERS
8 3 6 1 5 2 7 4
1 2 2 1 1 2 2 1
EDGES
17 4 24 13 1 8 18 15 3 12 10 11 2 16 6 23 5 19 7 22 20 21 14 9
0 1 1 0 1 1 1 1 0 1 0 1 1 1 0 0 1 1 0 0 1 1 1 1
CENTERS
17 4 24 13 1 8 18 15 3 12 10 11 2 16 6 23 5 19 7 22 20 21 14 9
End

Move DFLv
CORNERS
8 7 3 4 1 2 6 5
2 1 1 2 2 1 1 2
EDGES
18 23 16 24 22 1 20 7 2 4 14 3 11 13 21 12 15 6 5 8 17 19 9 10
1 0 1 1 0 1 1 0 1 1 1 0 1 0 1 1 1 0 1 1 0 1 1 0
CENTERS
18 23 16 24 22 1 20 7 2 4 14 3 11 13 21 12 15 6 5 8 17 19 9 10
End

Move DBRv
CORNERS
1 3 7 5 8 6 2 4
2 1 1 2 2 1 1 2
EDGES
21 10 4 14 6 20 1 17 12 16 24 13 9 3 18 2 19 22 8 5 7 15 11 23
1 0 1 1 0 1 1 0 1 1 1 0 1 0 1 1 1 0 1 1 0 1 1 0
CENTERS
21 10 4 14 6 20 1 17 12 16 24 13 9 3 18 2 19 22 8 5 7 15 11 23
End

Move DLBv
CORNERS
4 2 7 5 1 3 6 8
1 2 2 1 1 2 2 1
EDGES
22 11 2 23 15 21 5 1 10 14 3 4 24 9 7 13 18 20 6 17 19 8 12 16
0 1 1 0 1 1 1 1 0 1 0 1 1 1 0 0 1 1 0 0 1 1 1 1
CENTERS
22 11 2 23 15 21 5 1 10 14 3 4 24 9 7 13 18 20 6 17 19 8 12 16
End

Move DFv
CORNERS
6 8 5 7 3 1 4 2
2 1 1 2 2 1 1 2
EDGES
9 17 18 15 23 24 12 10 1 8 20 7 21 22 4 19 2 3 16 11 13 14 5 6
1 0 0 1 0 0 0 0 1 0 1 0 0 0 1 1 0 0 1 1 0 0 0 0
CENTERS
9 17 18 15 23 24 12 10 1 8 20 7 21 22 4 19 2 3 16 11 13 14 5 6
End

Move FLv
CORNERS
3 8 1 6 7 4 5 2
EDGES
10 18 20 7 12 16 4 14 22 1 17 5 19 8 23 6 11 2 13 3 24 9 15 21
0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1
CENTERS
10 18 20 7 12 16 4 14 22 1 17 5 19 8 23 6 11 2 13 3 24 9 15 21
End

Move DBv
CORNERS
2 1 4 3 7 8 5 6
2 1 1 2 2 1 1 2
EDGES
11 7 21 19 10 14 2 23 20 5 1 17 18 6 16 15 12 13 4 9 3 24 8 22
1 0 0 1 0 0 0 0 1 0 1 0 0 0 1 1 0 0 1 1 0 0 0 0
CENTERS
11 7 21 19 10 14 2 23 20 5 1 17 18 6 16 15 12 13 4 9 3 24 8 22
End

Move DLv
CORNERS
6 4 8 2 7 1 5 3
1 2 2 1 1 2 2 1
EDGES
12 19 22 18 11 23 13 16 21 17 5 1 7 15 14 8 10 4 2 24 9 3 6 20
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
CENTERS
12 19 22 18 11 23 13 16 21 17 5 1 7 15 14 8 10 4 2 24 9 3 6 20
End

Move BLv
CORNERS
6 5 4 3 2 1 8 7
EDGES
13 8 15 22 24 11 9 2 7 19 6 21 1 18 3 17 16 14 10 23 12 4 20 5
0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1
CENTERS
13 8 15 22 24 11 9 2 7 19 6 21 1 18 3 17 16 14 10 23 12 4 20 5
End

Move ULv
CORNERS
7 8 4 3 6 5 1 2
1 2 2 1 1 2 2 1
EDGES
14 20 17 5 4 13 23 9 8 22 18 15 6 1 12 21 3 11 24 2 16 10 7 19
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
CENTERS
14 20 17 5 4 13 23 9 8 22 18 15 6 1 12 21 3 11 24 2 16 10 7 19
End

this is the scrambles file, just for test

Spoiler: 4x4x4-scrambles.txt

ScrambleAlg test
2R
End

this is the command to use the program with those arguments:

ksolve.exe 4x4x4.def 4x4x4-scrambles.txt

if anyone can help, I apreciate it.

 

[Lucas Garron]

It sounds like the puzzle/moveset might be too large for prune tables? @rokicki might know more.

For simpler searches, https://experiments.cubing.net/cubing.js/twsearch/text-ui.html might work for you.

 

[rokicki]

I recommend using twsearch. Failing that, try using the ksolve in my github; that's got a lot of bug fixes and speed improvements for ksolve1.3. But absolutely twsearch is much better than even that version of ksolve. For example, for the def file and scramble you provide, twsearch takes a total of 0.02s to solve.

I don't need to tell you that the state space of the 4x4x4 is so huge that it can be challenging to generate algs. But there are some tricks you can use:

1. Use --rotations when generating the .tws/.ksolve file so the search can take advantage of symmetry.
2. Use -M (memory) and -t (threads) options to twsearch to match your hardware. (To start, use -M of about half your physical RAM, so say 16000 on a 32GB machine).
3. The main thing: limit the move set if possible. This applies in general but limiting the move set can *really* help.

I'm happy to discuss 4x4x4 searching at any point; I've done quite a bit of 4x4x4 searching (on my 256GB 32-thread machine).

 

[Deleted member 36445]

Thanks I'm gonna try tomorrow when I come back home