Update information on used models

benchmarks/code_gen/QueensWithEvents_4.mch

+/*
+From ProB examples
+*/
 MACHINE QueensWithEvents_4
 // rewritten for B2Program by inlining DEFINITIONS
 // v2: rewrote perm(1..n) for B2Program

benchmarks/model_checking/ProB/QueensWithEvents_4.mch

+/*
+From ProB examples
+*/
 MACHINE QueensWithEvents_4
 // rewritten for B2Program by inlining DEFINITIONS
 // v2: rewrote perm(1..n) for B2Program

benchmarks/model_checking/ProB/QueensWithEvents_8.mch

+/*
+From ProB examples
+*/
 MACHINE QueensWithEvents_8
 // rewritten for B2Program by inlining DEFINITIONS
 // v2: rewrote perm(1..n) for B2Program

benchmarks/model_checking/ProB/QueensWithEvents_Original_4.mch

+/*
+From ProB examples
+*/
 MACHINE QueensWithEvents_Original_4 // close to the original
 // rewritten for B2Program by inlining DEFINITIONS
 // but not rewriting perm

benchmarks/model_checking/ProB/QueensWithEvents_Original_8.mch

+/*
+From ProB examples
+*/
 MACHINE QueensWithEvents_Original_8 // close to the original
 // rewritten for B2Program by inlining DEFINITIONS
 // but not rewriting perm

benchmarks/model_checking/TLC/QueensWithEvents_4.mch

+/*
+From ProB examples
+*/
 MACHINE QueensWithEvents_4
 // rewritten for B2Program by inlining DEFINITIONS
 // v2: rewrote perm(1..n) for B2Program

benchmarks/model_checking/TLC/QueensWithEvents_8.mch

+/*
+From ProB examples
+*/
 MACHINE QueensWithEvents
 // rewritten for B2Program by inlining DEFINITIONS
 // v2: rewrote perm(1..n) for B2Program

benchmarks/model_checking/TLC/QueensWithEvents_Original_4.mch

+/*
+From ProB examples
+*/
 MACHINE QueensWithEvents_Original_4 // close to the original
 // rewritten for B2Program by inlining DEFINITIONS
 // but not rewriting perm

benchmarks/model_checking/TLC/QueensWithEvents_Original_8.mch

+/*
+From ProB examples
+*/
 MACHINE QueensWithEvents_Original_8 // close to the original
 // rewritten for B2Program by inlining DEFINITIONS
 // but not rewriting perm

benchmarks/model_checking_opreuse/ProB/QueensWithEvents_Original_4.mch

+/*
+From ProB examples
+*/
 MACHINE QueensWithEvents_Original_4 // close to the original
 // rewritten for B2Program by inlining DEFINITIONS
 // but not rewriting perm

benchmarks/model_checking_opreuse/ProB/QueensWithEvents_Original_8.mch

+/*
+From ProB examples
+*/
 MACHINE QueensWithEvents_Original_8 // close to the original
 // rewritten for B2Program by inlining DEFINITIONS
 // but not rewriting perm

benchmarks/model_checking_opreuse/TLC/QueensWithEvents_Original_4.mch

+/*
+From ProB examples
+*/
 MACHINE QueensWithEvents_Original_4 // close to the original
 // rewritten for B2Program by inlining DEFINITIONS
 // but not rewriting perm

benchmarks/model_checking_opreuse/TLC/QueensWithEvents_Original_8.mch

+/*
+From ProB examples
+*/
 MACHINE QueensWithEvents_Original_8 // close to the original
 // rewritten for B2Program by inlining DEFINITIONS
 // but not rewriting perm

src/test/resources/de/hhu/stups/codegenerator/QueensWithEvents_4.mch

+/*
+From ProB examples
+*/
 MACHINE QueensWithEvents_4
 // rewritten for B2Program by inlining DEFINITIONS
 // v2: rewrote perm(1..n) for B2Program

src/test/resources/de/hhu/stups/codegenerator/QueensWithEvents_8.mch

+/*
+From ProB examples
+*/
 MACHINE QueensWithEvents_8
 // rewritten for B2Program by inlining DEFINITIONS
 // v2: rewrote perm(1..n) for B2Program