Version 3.1.2 released

AndreasKaratzas · May 1, 2022 · 1604f9b · 1604f9b
1 parent 29f4b05
commit 1604f9b
Show file tree

Hide file tree

Showing 8 changed files with 208 additions and 208 deletions.
diff --git a/archive/data/output/c17.results b/archive/data/output/c17.results
@@ -1,5 +1,5 @@
 ************************************************************************************************************************************
-* @Version - 3.1.1                                                                                                                 *
+* @Version - 3.1.2                                                                                                                 *
 *                                                                                                                                  *
 * @Copyright - Andreas Karatzas                                                                                                    *
 *                                                                                                                                  *
@@ -32,37 +32,37 @@
 
 
 2/1:
-	0: 00022 02 11 (Fault detected)
-	1: 21022 11 11 (Fault NOT detected)
-	2: 12122 12 12 (Fault NOT detected)
+	0: 000xx 0x 11 (Fault detected)
+	1: x10xx 11 11 (Fault NOT detected)
+	2: 1x1xx 1x 1x (Fault NOT detected)
 	3: 11001 11 11 (Fault NOT detected)
 	4: 00111 00 00 (Fault NOT detected)
 	5: 11111 10 10 (Fault NOT detected)
 11/0:
-	0: 00022 02 00 (Fault NOT detected)
-	1: 21022 11 00 (Fault detected)
-	2: 12122 12 10 (Fault NOT detected)
+	0: 000xx 0x 00 (Fault NOT detected)
+	1: x10xx 11 00 (Fault detected)
+	2: 1x1xx 1x 10 (Fault NOT detected)
 	3: 11001 11 00 (Fault detected)
 	4: 00111 00 00 (Fault NOT detected)
 	5: 11111 10 10 (Fault NOT detected)
 22/0:
-	0: 00022 02 02 (Fault NOT detected)
-	1: 21022 11 01 (Fault detected)
-	2: 12122 12 02 (Fault detected)
+	0: 000xx 0x 0x (Fault NOT detected)
+	1: x10xx 11 01 (Fault detected)
+	2: 1x1xx 1x 0x (Fault detected)
 	3: 11001 11 01 (Fault detected)
 	4: 00111 00 00 (Fault NOT detected)
 	5: 11111 10 00 (Fault detected)
 16/1:
-	0: 00022 02 02 (Fault NOT detected)
-	1: 21022 11 02 (Fault detected)
-	2: 12122 12 12 (Fault NOT detected)
+	0: 000xx 0x 0x (Fault NOT detected)
+	1: x10xx 11 0x (Fault detected)
+	2: 1x1xx 1x 1x (Fault NOT detected)
 	3: 11001 11 01 (Fault detected)
 	4: 00111 00 00 (Fault NOT detected)
 	5: 11111 10 10 (Fault NOT detected)
 6/1:
-	0: 00022 02 02 (Fault NOT detected)
-	1: 21022 11 11 (Fault NOT detected)
-	2: 12122 12 10 (Fault NOT detected)
+	0: 000xx 0x 0x (Fault NOT detected)
+	1: x10xx 11 11 (Fault NOT detected)
+	2: 1x1xx 1x 10 (Fault NOT detected)
 	3: 11001 11 11 (Fault NOT detected)
 	4: 00111 00 00 (Fault NOT detected)
 	5: 11111 10 10 (Fault NOT detected)
diff --git a/archive/data/output/c1908.results b/archive/data/output/c1908.results
@@ -1,5 +1,5 @@
 ************************************************************************************************************************************
-* @Version - 3.1.1                                                                                                                 *
+* @Version - 3.1.2                                                                                                                 *
 *                                                                                                                                  *
 * @Copyright - Andreas Karatzas                                                                                                    *
 *                                                                                                                                  *
@@ -32,44 +32,44 @@
 
 
 1231/1:
-	0: 122200122000120110002220110022110 0222001001220012122222220 0222001001220012122222221 (Fault detected)
-	1: 122210122000120102222222202222212 2222222222222222222222221 2222222222222222222222221 (Fault NOT detected)
-	2: 122200122100120110002201110002111 0222101001220012122222120 0222101001220012122222120 (Fault NOT detected)
-	3: 122200122110120110002201110002111 0222101001221012122222121 0222101001221012122222121 (Fault NOT detected)
-	4: 222222222202222200002220112120121 2222222222220222122222212 2222222222220222122222212 (Fault NOT detected)
+	0: 1xxx001xx0001x011000xxx01100xx110 0xxx001001xx001x1xxxxxxx0 0xxx001001xx001x1xxxxxxx1 (Fault detected)
+	1: 1xxx101xx0001x010xxxxxxxx0xxxxx1x xxxxxxxxxxxxxxxxxxxxxxxx1 xxxxxxxxxxxxxxxxxxxxxxxx1 (Fault NOT detected)
+	2: 1xxx001xx1001x011000xx0111000x111 0xxx101001xx001x1xxxxx1x0 0xxx101001xx001x1xxxxx1x0 (Fault NOT detected)
+	3: 1xxx001xx1101x011000xx0111000x111 0xxx101001xx101x1xxxxx1x1 0xxx101001xx101x1xxxxx1x1 (Fault NOT detected)
+	4: xxxxxxxxxx0xxxxx0000xxx011x1x01x1 xxxxxxxxxxxx0xxx1xxxxxx1x xxxxxxxxxxxx0xxx1xxxxxx1x (Fault NOT detected)
 346/0:
-	0: 122200122000120110002220110022110 0222001001220012122222220 0022001001220012122222220 (Fault NOT detected)
-	1: 122210122000120102222222202222212 2222222222222222222222221 2222222222222222222222221 (Fault NOT detected)
-	2: 122200122100120110002201110002111 0222101001220012122222120 0022101001220012122222120 (Fault NOT detected)
-	3: 122200122110120110002201110002111 0222101001221012122222121 0022101001221012122222121 (Fault NOT detected)
-	4: 222222222202222200002220112120121 2222222222220222122222212 2022222222220222122222212 (Fault NOT detected)
+	0: 1xxx001xx0001x011000xxx01100xx110 0xxx001001xx001x1xxxxxxx0 00xx001001xx001x1xxxxxxx0 (Fault NOT detected)
+	1: 1xxx101xx0001x010xxxxxxxx0xxxxx1x xxxxxxxxxxxxxxxxxxxxxxxx1 xxxxxxxxxxxxxxxxxxxxxxxx1 (Fault NOT detected)
+	2: 1xxx001xx1001x011000xx0111000x111 0xxx101001xx001x1xxxxx1x0 00xx101001xx001x1xxxxx1x0 (Fault NOT detected)
+	3: 1xxx001xx1101x011000xx0111000x111 0xxx101001xx101x1xxxxx1x1 00xx101001xx101x1xxxxx1x1 (Fault NOT detected)
+	4: xxxxxxxxxx0xxxxx0000xxx011x1x01x1 xxxxxxxxxxxx0xxx1xxxxxx1x x0xxxxxxxxxx0xxx1xxxxxx1x (Fault NOT detected)
 2829/1:
-	0: 122200122000120110002220110022110 0222001001220012122222220 0222001001220012122222220 (Fault NOT detected)
-	1: 122210122000120102222222202222212 2222222222222222222222221 2222222222222222222222220 (Fault detected)
-	2: 122200122100120110002201110002111 0222101001220012122222120 0222101001220012122222120 (Fault NOT detected)
-	3: 122200122110120110002201110002111 0222101001221012122222121 0222101001221012122222121 (Fault NOT detected)
-	4: 222222222202222200002220112120121 2222222222220222122222212 2222222222220222122222212 (Fault NOT detected)
+	0: 1xxx001xx0001x011000xxx01100xx110 0xxx001001xx001x1xxxxxxx0 0xxx001001xx001x1xxxxxxx0 (Fault NOT detected)
+	1: 1xxx101xx0001x010xxxxxxxx0xxxxx1x xxxxxxxxxxxxxxxxxxxxxxxx1 xxxxxxxxxxxxxxxxxxxxxxxx0 (Fault detected)
+	2: 1xxx001xx1001x011000xx0111000x111 0xxx101001xx001x1xxxxx1x0 0xxx101001xx001x1xxxxx1x0 (Fault NOT detected)
+	3: 1xxx001xx1101x011000xx0111000x111 0xxx101001xx101x1xxxxx1x1 0xxx101001xx101x1xxxxx1x1 (Fault NOT detected)
+	4: xxxxxxxxxx0xxxxx0000xxx011x1x01x1 xxxxxxxxxxxx0xxx1xxxxxx1x xxxxxxxxxxxx0xxx1xxxxxx1x (Fault NOT detected)
 1697/0:
-	0: 122200122000120110002220110022110 0222001001220012122222220 0222001001220012122222220 (Fault NOT detected)
-	1: 122210122000120102222222202222212 2222222222222222222222221 2222222222222222222222221 (Fault NOT detected)
-	2: 122200122100120110002201110002111 0222101001220012122222120 0222101001220012122222121 (Fault detected)
-	3: 122200122110120110002201110002111 0222101001221012122222121 0222101001221012122222120 (Fault detected)
-	4: 222222222202222200002220112120121 2222222222220222122222212 2222222222220222122222212 (Fault NOT detected)
+	0: 1xxx001xx0001x011000xxx01100xx110 0xxx001001xx001x1xxxxxxx0 0xxx001001xx001x1xxxxxxx0 (Fault NOT detected)
+	1: 1xxx101xx0001x010xxxxxxxx0xxxxx1x xxxxxxxxxxxxxxxxxxxxxxxx1 xxxxxxxxxxxxxxxxxxxxxxxx1 (Fault NOT detected)
+	2: 1xxx001xx1001x011000xx0111000x111 0xxx101001xx001x1xxxxx1x0 0xxx101001xx001x1xxxxx1x1 (Fault detected)
+	3: 1xxx001xx1101x011000xx0111000x111 0xxx101001xx101x1xxxxx1x1 0xxx101001xx101x1xxxxx1x0 (Fault detected)
+	4: xxxxxxxxxx0xxxxx0000xxx011x1x01x1 xxxxxxxxxxxx0xxx1xxxxxx1x xxxxxxxxxxxx0xxx1xxxxxx1x (Fault NOT detected)
 1661/1:
-	0: 122200122000120110002220110022110 0222001001220012122222220 0222001001220012122222220 (Fault NOT detected)
-	1: 122210122000120102222222202222212 2222222222222222222222221 2222222222222222222222221 (Fault NOT detected)
-	2: 122200122100120110002201110002111 0222101001220012122222120 0222101001220012122222120 (Fault NOT detected)
-	3: 122200122110120110002201110002111 0222101001221012122222121 0222101001221012122222120 (Fault detected)
-	4: 222222222202222200002220112120121 2222222222220222122222212 2222222222220222122222212 (Fault NOT detected)
+	0: 1xxx001xx0001x011000xxx01100xx110 0xxx001001xx001x1xxxxxxx0 0xxx001001xx001x1xxxxxxx0 (Fault NOT detected)
+	1: 1xxx101xx0001x010xxxxxxxx0xxxxx1x xxxxxxxxxxxxxxxxxxxxxxxx1 xxxxxxxxxxxxxxxxxxxxxxxx1 (Fault NOT detected)
+	2: 1xxx001xx1001x011000xx0111000x111 0xxx101001xx001x1xxxxx1x0 0xxx101001xx001x1xxxxx1x0 (Fault NOT detected)
+	3: 1xxx001xx1101x011000xx0111000x111 0xxx101001xx101x1xxxxx1x1 0xxx101001xx101x1xxxxx1x0 (Fault detected)
+	4: xxxxxxxxxx0xxxxx0000xxx011x1x01x1 xxxxxxxxxxxx0xxx1xxxxxx1x xxxxxxxxxxxx0xxx1xxxxxx1x (Fault NOT detected)
 2129/1:
-	0: 122200122000120110002220110022110 0222001001220012122222220 0222001001220012122222220 (Fault NOT detected)
-	1: 122210122000120102222222202222212 2222222222222222222222221 2222222222222222222222221 (Fault NOT detected)
-	2: 122200122100120110002201110002111 0222101001220012122222120 0222101001220012122222120 (Fault NOT detected)
-	3: 122200122110120110002201110002111 0222101001221012122222121 0222101001221012122222121 (Fault NOT detected)
-	4: 222222222202222200002220112120121 2222222222220222122222212 2222222222221222122222212 (Fault detected)
+	0: 1xxx001xx0001x011000xxx01100xx110 0xxx001001xx001x1xxxxxxx0 0xxx001001xx001x1xxxxxxx0 (Fault NOT detected)
+	1: 1xxx101xx0001x010xxxxxxxx0xxxxx1x xxxxxxxxxxxxxxxxxxxxxxxx1 xxxxxxxxxxxxxxxxxxxxxxxx1 (Fault NOT detected)
+	2: 1xxx001xx1001x011000xx0111000x111 0xxx101001xx001x1xxxxx1x0 0xxx101001xx001x1xxxxx1x0 (Fault NOT detected)
+	3: 1xxx001xx1101x011000xx0111000x111 0xxx101001xx101x1xxxxx1x1 0xxx101001xx101x1xxxxx1x1 (Fault NOT detected)
+	4: xxxxxxxxxx0xxxxx0000xxx011x1x01x1 xxxxxxxxxxxx0xxx1xxxxxx1x xxxxxxxxxxxx1xxx1xxxxxx1x (Fault detected)
 2071/1:
-	0: 122200122000120110002220110022110 0222001001220012122222220 0222001001220012122222220 (Fault NOT detected)
-	1: 122210122000120102222222202222212 2222222222222222222222221 2222222222222222222222221 (Fault NOT detected)
-	2: 122200122100120110002201110002111 0222101001220012122222120 0222101001220012122222120 (Fault NOT detected)
-	3: 122200122110120110002201110002111 0222101001221012122222121 0222101001221012122222121 (Fault NOT detected)
-	4: 222222222202222200002220112120121 2222222222220222122222212 2222222222220222122222212 (Fault NOT detected)
+	0: 1xxx001xx0001x011000xxx01100xx110 0xxx001001xx001x1xxxxxxx0 0xxx001001xx001x1xxxxxxx0 (Fault NOT detected)
+	1: 1xxx101xx0001x010xxxxxxxx0xxxxx1x xxxxxxxxxxxxxxxxxxxxxxxx1 xxxxxxxxxxxxxxxxxxxxxxxx1 (Fault NOT detected)
+	2: 1xxx001xx1001x011000xx0111000x111 0xxx101001xx001x1xxxxx1x0 0xxx101001xx001x1xxxxx1x0 (Fault NOT detected)
+	3: 1xxx001xx1101x011000xx0111000x111 0xxx101001xx101x1xxxxx1x1 0xxx101001xx101x1xxxxx1x1 (Fault NOT detected)
+	4: xxxxxxxxxx0xxxxx0000xxx011x1x01x1 xxxxxxxxxxxx0xxx1xxxxxx1x xxxxxxxxxxxx0xxx1xxxxxx1x (Fault NOT detected)