small cleanups

.gitignore

@@ -170,3 +170,5 @@ benchmarks/execution/ProB/stdlib
 btypes_primitives/**/*.js
 benchmarks/model_checking/ProB/lib
 benchmarks/model_checking/ProB/stdlib
+btypes_primitives/src/main/rust/bmachine/src/**
+btypes_big_integer/src/main/rust/bmachine/src/**

benchmarks/model_checking/ProB/QueensWithEvents_8.mch

-MACHINE QueensWithEvents
+MACHINE QueensWithEvents_8
 // rewritten for B2Program by inlining DEFINITIONS
 // v2: rewrote perm(1..n) for B2Program
 CONSTANTS n, interval, allFields

benchmarks/model_checking/Rust/Makefile

@@ -2,7 +2,7 @@
 
 .PHONY: all clean
 
-all: CAN_BUS_tlc Cruise_finite1_deterministic_MC LandingGear_R6 Lift_MC_Large sort_m2_data1000_MC QueensWithEvents_4 Train1_Lukas_POR_v3 Train_1_beebook_deterministic_MC_POR_v2 nota_v2 QueensWithEvents_8
+all: CAN_BUS_tlc Cruise_finite1_deterministic_MC LandingGear_R6 Lift_MC_Large sort_m2_data1000_MC QueensWithEvents_4 Train1_Lukas_POR_v3 Train_1_beebook_deterministic_MC_POR_v2 nota_v2 #QueensWithEvents_8
 
 OUTPUT ?= runtimes.txt