cubing / twsearch

🔍 Twizzle Search — a program to find algs and scrambles for twisty puzzles
GNU General Public License v3.0
24 stars 8 forks source link

`free(): invalid pointer` when running the 4x4x4 edge flip example from the README #11

Closed benwh1 closed 1 year ago

benwh1 commented 1 year ago
ben@Z820:~/software/twsearch$ ./build/bin/twsearch -c 20 --moves 2L,2R,U,F samples/main/4x4x4.tws samples/main/flip.scr
# This is twsearch v0.4.3-8-geed997a (C) 2022 Tomas Rokicki.
# ./build/bin/twsearch -c 20 --moves 2L,2R,U,F samples/main/4x4x4.tws samples/main/flip.scr
Created new moves F2 F' 2F2 2F' 2B2 2B' B2 B' D2 D' 2D2 2D' 2U2 2U' U2 U' L2 L' 2L2 2L' 2R2 2R' R2 R'
State size is about 1.77629 x 10^47 log2 156.959
Requiring 219 bits 28 bytes per entry; 36 from identity.
Found 5 canonical move states.
Calculated canonical states in 0.00101185
For memsize 8589934592 bytesize 8589934592 subshift 42 memshift 29 shardshift 29
Initializing memory in 0.000368118
Filling table at depth 0 with val 0 saw 1 (1) in 0.000751972
Filling table at depth 1 with val 0 saw 12 (13) in 0.000888109
Filling table at depth 2 with val 0 saw 99 (112) in 0.00327778
Filling table at depth 3 with val 0 saw 810 (922) in 0.0152471
Solving DEDGE
Filling table at depth 4 with val 0 saw 6642 (7543) in 0.0295498
Filling table at depth 5 with val 0 saw 54362 (61643) in 0.148408
Filling table at depth 6 with val 0 saw 443813 (504313) in 1.13324
Filling table at depth 7 with val 0 saw 3620170 (4156212) in 4.44876
 F2 2L2 F2 U2 2L' U2 2L U2 2L2 F2 2R' F2 2R U2 2L'
 F2 2L2 F2 U2 2R' F2 2L F2 2R2 U2 2R' U2 2L U2 2L'
 F2 2R2 F2 U2 2L F2 2R' F2 2L2 U2 2L U2 2R' U2 2R
 F2 2R2 F2 U2 2R U2 2R' U2 2R2 F2 2L F2 2L' U2 2R
 U2 2L2 U2 F2 2L F2 2L' F2 2L2 U2 2R U2 2R' F2 2L
 U2 2L2 U2 F2 2R U2 2L' U2 2R2 F2 2R F2 2L' F2 2L
 U2 2R2 U2 F2 2L' U2 2R U2 2L2 F2 2L' F2 2R F2 2R'
 U2 2R2 U2 F2 2R' F2 2R F2 2R2 U2 2L' U2 2L F2 2R'
 2L U2 2L' U2 2R U2 2R2 F2 2L' F2 2R U2 F2 2L2 F2
 2L U2 2R' F2 2R F2 2L2 U2 2L' U2 2L U2 F2 2L2 F2
 2L' F2 2L F2 2R' F2 2R2 U2 2L U2 2R' F2 U2 2L2 U2
 2L' F2 2R U2 2R' U2 2L2 F2 2L F2 2L' F2 U2 2L2 U2
 2R F2 2L' U2 2L U2 2R2 F2 2R' F2 2R F2 U2 2R2 U2
 2R F2 2R' F2 2L F2 2L2 U2 2R' U2 2L F2 U2 2R2 U2
 2R' U2 2L F2 2L' F2 2R2 U2 2R U2 2R' U2 F2 2R2 F2
 2R' U2 2R U2 2L' U2 2L2 F2 2R F2 2L' U2 F2 2R2 F2
Depth 15 finished in 2.5109
Filling table at depth 8 with val 0 saw 29495870 (34082503) in 2.66084
 F2 2L2 F2 U2 2L' U2 2L U2 2R 2L U2 2R' U2 2L U2 2L'
 F2 2L2 F2 U2 2L' U2 2L' F2 2R' 2L' F2 2R U2 2L U2 2L'
 F2 2L2 F2 U2 2L' U2 2R 2L2 U2 2R2 F2 2L F2 2R U2 2L'
 F2 2L2 F2 U2 2R' F2 2L F2 2R 2L F2 2R' F2 2R U2 2L'
Found 20 solutions at maximum depth 16 lookups 48181611 in 11.8908 rate 4.05199e+06
free(): invalid pointer
Aborted

OS: Ubuntu 20.04.6 LTS on Windows 10 x86_64 Kernel: 5.10.16.3-microsoft-standard-WSL2

Introduced in 1acc00aeb3d5b22a4ea9b9a8c1ed5d4ddc709c9d according to git bisect

rokicki commented 1 year ago

Fixed in 450bcede7b0ff7ba3d2eec5faa2724e6ff68f8b9 . Thanks for the report!