diff --git a/safekeeper/spec/modelcheck.sh b/safekeeper/spec/modelcheck.sh
index b0cdbb24ac..21ead7dad8 100755
--- a/safekeeper/spec/modelcheck.sh
+++ b/safekeeper/spec/modelcheck.sh
@@ -9,7 +9,8 @@ MEM=7G
 TOOLSPATH="/opt/TLA+Toolbox/tla2tools.jar"
 
 mkdir -p "tlc-results"
-outfilename="$SPEC-$CONFIG-$(date --utc +%Y-%m-%d--%H-%M-%S)".log
+CONFIG_FILE=$(basename -- "$CONFIG")
+outfilename="$SPEC-${CONFIG_FILE}-$(date --utc +%Y-%m-%d--%H-%M-%S)".log
 outfile="tlc-results/$outfilename"
 touch $outfile