Feature map ist not preserved when counting interactions.

[h3ssto]

I generated a 2-wise "sample" using YASA as follows:
java -jar featjar.jar yasa --input automotive01.dimacs --output test.csv --t 2 --i 0

And, subsequentially, wanted to compute the number of 2-wise interactions with:
java -jar featjar.jar t-wise-coverage --input test.csv --count-only --fm automotive01.dimacs

But I got the following exception and no result:

[24/02/2025, 23:25] [INFO] time needed for computation: 5.035s
[24/02/2025, 23:25] [ERROR] java.lang.IllegalArgumentException: Variable map of reference sample is different from given sample. (java.util.concurrent.ExecutionException @ net.tascalate.concurrent.SharedFunctions:62)
	Variable map of reference sample is different from given sample. (java.lang.IllegalArgumentException @ de.featjar.analysis.sat4j.twise.RelativeTWiseCoverageComputation:57)
[24/02/2025, 23:25] [ERROR] Could not compute result.

which reads to me that the import of DIMACS is not deterministic in FeatJar / YASA? I attached the culprit model.
example.zip