The current version of pack scasp does not contain a file examples/benchmark_EventCalculus/lopstr19/sCASP-clingo/vessel/vessel_01.clingo
scasp
examples/benchmark_EventCalculus/lopstr19/sCASP-clingo/vessel/vessel_01.clingo