Update timeout in makefiles + missing cases

benchmarks/ProB/Makefile

@@ -2,13 +2,13 @@
 
 .PHONY: all clean
 
-all: Counter10000 CAN_BUS_tlc_exec LiftExec scheduler_deterministic_exec Sieve Train_1_beebook_deterministic_exec
+all: Counter10000 CAN_BUS_tlc_exec Cruise_finite1_deterministic_exec LiftExec scheduler_deterministic_exec Sieve Train_1_beebook_deterministic_exec TrafficLightExec sort_m2_data1000_exec
 
 PROBCLI=./probcli.sh
 OUTPUT ?= runtimes.txt
 
 % :
-	gtime -f "%C %E %M" -ao $(OUTPUT) $(PROBCLI) $@.mch -init -execute 1 -noass -noinv -nogoal -p COMPRESSION TRUE
+	timeout 20m /usr/bin/time -f "%C %E %M" -ao $(OUTPUT) $(PROBCLI) $@.mch -init -execute 1 -noass -noinv -nogoal -p COMPRESSION TRUE
 
 clean:
 	rm *.prob

benchmarks/Python_Primitives/Makefile

@@ -9,4 +9,4 @@ OUTPUT ?= runtimes.txt
 
 % : export PYTHONPATH = $(BTYPESPYTHON)
 % :
-	/usr/bin/time -f "%C %E %M" -ao $(OUTPUT) pypy3 $@.py
+	timeout 20m /usr/bin/time -f "%C %E %M" -ao $(OUTPUT) pypy3 $@.py