Update C++ benchmark files

benchmarks/model_checking_opreuse/C++/CAN_BUS_tlc.cpp

..._checking_opreuse/C++/Cruise_finite1_deterministic_MC.cpp

benchmarks/model_checking_opreuse/C++/LandingGear_R6.cpp

benchmarks/model_checking_opreuse/C++/Lift_MC_Large.cpp

benchmarks/model_checking_opreuse/C++/QueensWithEvents_4.cpp

...g_opreuse/C++/Train_1_beebook_deterministic_MC_POR_v3.cpp

benchmarks/model_checking_opreuse/C++/nota_v2.cpp

benchmarks/model_checking_opreuse/C++/obsw_M001_1.cpp

benchmarks/model_checking_opreuse/C++/obsw_M001_2.cpp

benchmarks/model_checking_opreuse/C++/prob_oneway8seq.cpp

benchmarks/model_checking_opreuse/C++/rether.cpp

...hmarks/model_checking_opreuse/C++/sort_m2_data1000_MC.cpp