While implementing sagemath/sage#37014 I noticed that Khoca does not terminate for the knot 13a_5 when using its braid_notation {-1,2,-3,-4,5,-4,-6,3,7,-2,-4,1,3,5,-2,5,4,-3,4,5,6,5,-4,3,5,2,-6,-7,6,5,-4,-3,5,-4,5} taken from KnotInfo.
root@6d452c5640de:/khoca# ./khoca.py 0 0.0 0 braidAbCDeDFcgBDaceBedCdefeDcebFGfeDCeDe calc0
Frobenius algebra: Z[X] / (1*X^2).
^Z
Using pd_notation for the same knot doesn't show any problem.