temp.txt

~ ./treerexx instances/PANDA/UM-Translog/domains/UMTranslog.hddl instances/PANDA/UM-Translog/problems/16-A-RegularTruck-4Locations.hddl

treerexx: src/sat/encoding.cpp:362: void Encoding::encode(int, int): Assertion `pos+1 == newLayer.size() || fail("No operations to encode at (" + std::to_string(layerIdx) + "," + std::to_string(pos) + ")!\n")' failed.
aborted (core dumped)