Problem with Using the SLTP Docker image

[Src2Yuan]

Description

I encountered an issue while trying to run the command docker run -it --mount src=pwd/workspace,target=/root/projects/workspace,type=bind gfrancesm/sltp sltp xxx --workspace /root/projects/workspace. When I replace "xxx" with tasks other than gripper:aaai_prob01, the program does not produce the expected output.

Problem

Run docker run -it --mount src=pwd/workspace,target=/root/projects/workspace,type=bind gfrancesm/sltp sltp xxx --workspace /root/projects/workspace where "xxx" is one of the following tasks:
gripper:aaai_prob01_no_marking # Theory T,
blocks:aaai_clear_x_no_marking # Theory T,
there are errors like:

...
2024-10-01 13:37:26 ERROR    The computed abstraction is not sound & complete
================================================================================
END OF STEP #7: Testing of the computed abstraction. 0.21 CPU sec - 32.33 MB
================================================================================
2024-10-01 13:37:26 ERROR    (<sltp.driver.AbstractionTestingStep object at 0x7f719409e320>, 'Critical error processing step "Testing of the computed abstraction". Error message: Critical error processing step "Testing of the computed abstraction". Error message: ExitCode.AbstractionFailsOnTestInstances')

where The computed abstraction is sound & complete in all test instances! should be expected.