diff --git a/benchmarks/model_checking_opreuse/Java/Makefile b/benchmarks/model_checking_opreuse/Java/Makefile
index d671ea3ea98f3cfca294c194b33ac97cbee646fb..449e039d5c0466b9e070ee3677065e14897a3e01 100644
--- a/benchmarks/model_checking_opreuse/Java/Makefile
+++ b/benchmarks/model_checking_opreuse/Java/Makefile
@@ -2,7 +2,7 @@
 
 .PHONY: build all clean
 
-all: Lift_MC_Large CAN_BUS_tlc Cruise_finite1_deterministic_MC LandingGear_R6 Train1_Lukas_POR_v3 Train_1_beebook_deterministic_MC_POR_v2 sort_m2_data1000_MC QueensWithEvents_4 QueensWithEvents_8 nota_v2
+all: Lift_MC_Large Cruise_finite1_deterministic_MC CAN_BUS_tlc LandingGear_R6 nota_v2 rether obsw_M001_1 obsw_M001_2 prob_oneway8seq Train_1_beebook_deterministic_MC_POR_v2 sort_m2_data1000_MC QueensWithEvents_4
 
 build:
 	cd ../../../btypes_primitives ; ./gradlew -q fatJar ; cp build/libs/btypes_primitives-all.jar ../benchmarks/model_checking/Java/btypes.jar ; cd ../benchmarks/model_checking/Java
@@ -10,7 +10,7 @@ build:
 OUTPUT ?= runtimes.txt
 DEPENDENCIES ?= :btypes.jar
 STRATEGY=mixed
-THREADS=1
+THREADS=8
 CACHING=false
 
 %.class : %.java