subprocess.CalledProcessError: Command 'echo "& G F base1 & G F base2 & G F base3 G ! obstacle" | /home/figo/P_MDP_TG/MDP_TG/ltl2dstar --ltl2nba=spin:/home/figo/P_MDP_TG/MDP_TG/ltl2ba --stutter=no - -' returned non-zero exit status 126.

[SJTUGuofei]

-------Motion MDP Initialized-------
-------Motion MDP Constructed-------
100 states and 816 edges
Unify MDP Done
MDP done, time: 0.0062754154205322266
/home/figo/P_MDP_TG/MDP_TG/ltl2dstar
/bin/sh: 1: /home/figo/P_MDP_TG/MDP_TG/ltl2dstar: Exec format error
Traceback (most recent call last):
File "/home/figo/P_MDP_TG/case_study.py", line 162, in
dra = Dra(all_base)
File "/home/figo/P_MDP_TG/MDP_TG/dra.py", line 20, in init
ltl2dra_output = run_ltl2dra(formula)
File "/home/figo/P_MDP_TG/MDP_TG/ltl2dra.py", line 27, in run_ltl2dra
raw_output = check_output(cmd, shell=True)
File "/home/figo/anaconda3/lib/python3.9/subprocess.py", line 424, in check_output
return run(*popenargs, stdout=PIPE, timeout=timeout, check=True,
File "/home/figo/anaconda3/lib/python3.9/subprocess.py", line 528, in run
raise CalledProcessError(retcode, process.args,
subprocess.CalledProcessError: Command 'echo "& G F base1 & G F base2 & G F base3 G ! obstacle" | /home/figo/P_MDP_TG/MDP_TG/ltl2dstar --ltl2nba=spin:/home/figo/P_MDP_TG/MDP_TG/ltl2ba --stutter=no - -' returned non-zero exit status 126.

Hi, prof. guo, how can i deal with this issue?
Thank you so much!