Skip to content

Commit 1604f9b

Browse files
AndreasKaratzasAndreasKaratzas
committed
Version 3.1.2 released
1 parent 29f4b05 commit 1604f9b

File tree

8 files changed

+208
-208
lines changed

8 files changed

+208
-208
lines changed

‎archive/data/output/c17.results

+16-16
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
************************************************************************************************************************************
2-
* @Version - 3.1.1 *
2+
* @Version - 3.1.2 *
33
* *
44
* @Copyright - Andreas Karatzas *
55
* *
@@ -32,37 +32,37 @@
3232

3333

3434
2/1:
35-
0: 00022 02 11 (Fault detected)
36-
1: 21022 11 11 (Fault NOT detected)
37-
2: 12122 12 12 (Fault NOT detected)
35+
0: 000xx 0x 11 (Fault detected)
36+
1: x10xx 11 11 (Fault NOT detected)
37+
2: 1x1xx 1x 1x (Fault NOT detected)
3838
3: 11001 11 11 (Fault NOT detected)
3939
4: 00111 00 00 (Fault NOT detected)
4040
5: 11111 10 10 (Fault NOT detected)
4141
11/0:
42-
0: 00022 02 00 (Fault NOT detected)
43-
1: 21022 11 00 (Fault detected)
44-
2: 12122 12 10 (Fault NOT detected)
42+
0: 000xx 0x 00 (Fault NOT detected)
43+
1: x10xx 11 00 (Fault detected)
44+
2: 1x1xx 1x 10 (Fault NOT detected)
4545
3: 11001 11 00 (Fault detected)
4646
4: 00111 00 00 (Fault NOT detected)
4747
5: 11111 10 10 (Fault NOT detected)
4848
22/0:
49-
0: 00022 02 02 (Fault NOT detected)
50-
1: 21022 11 01 (Fault detected)
51-
2: 12122 12 02 (Fault detected)
49+
0: 000xx 0x 0x (Fault NOT detected)
50+
1: x10xx 11 01 (Fault detected)
51+
2: 1x1xx 1x 0x (Fault detected)
5252
3: 11001 11 01 (Fault detected)
5353
4: 00111 00 00 (Fault NOT detected)
5454
5: 11111 10 00 (Fault detected)
5555
16/1:
56-
0: 00022 02 02 (Fault NOT detected)
57-
1: 21022 11 02 (Fault detected)
58-
2: 12122 12 12 (Fault NOT detected)
56+
0: 000xx 0x 0x (Fault NOT detected)
57+
1: x10xx 11 0x (Fault detected)
58+
2: 1x1xx 1x 1x (Fault NOT detected)
5959
3: 11001 11 01 (Fault detected)
6060
4: 00111 00 00 (Fault NOT detected)
6161
5: 11111 10 10 (Fault NOT detected)
6262
6/1:
63-
0: 00022 02 02 (Fault NOT detected)
64-
1: 21022 11 11 (Fault NOT detected)
65-
2: 12122 12 10 (Fault NOT detected)
63+
0: 000xx 0x 0x (Fault NOT detected)
64+
1: x10xx 11 11 (Fault NOT detected)
65+
2: 1x1xx 1x 10 (Fault NOT detected)
6666
3: 11001 11 11 (Fault NOT detected)
6767
4: 00111 00 00 (Fault NOT detected)
6868
5: 11111 10 10 (Fault NOT detected)

‎archive/data/output/c1908.results

+36-36
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
************************************************************************************************************************************
2-
* @Version - 3.1.1 *
2+
* @Version - 3.1.2 *
33
* *
44
* @Copyright - Andreas Karatzas *
55
* *
@@ -32,44 +32,44 @@
3232

3333

3434
1231/1:
35-
0: 122200122000120110002220110022110 0222001001220012122222220 0222001001220012122222221 (Fault detected)
36-
1: 122210122000120102222222202222212 2222222222222222222222221 2222222222222222222222221 (Fault NOT detected)
37-
2: 122200122100120110002201110002111 0222101001220012122222120 0222101001220012122222120 (Fault NOT detected)
38-
3: 122200122110120110002201110002111 0222101001221012122222121 0222101001221012122222121 (Fault NOT detected)
39-
4: 222222222202222200002220112120121 2222222222220222122222212 2222222222220222122222212 (Fault NOT detected)
35+
0: 1xxx001xx0001x011000xxx01100xx110 0xxx001001xx001x1xxxxxxx0 0xxx001001xx001x1xxxxxxx1 (Fault detected)
36+
1: 1xxx101xx0001x010xxxxxxxx0xxxxx1x xxxxxxxxxxxxxxxxxxxxxxxx1 xxxxxxxxxxxxxxxxxxxxxxxx1 (Fault NOT detected)
37+
2: 1xxx001xx1001x011000xx0111000x111 0xxx101001xx001x1xxxxx1x0 0xxx101001xx001x1xxxxx1x0 (Fault NOT detected)
38+
3: 1xxx001xx1101x011000xx0111000x111 0xxx101001xx101x1xxxxx1x1 0xxx101001xx101x1xxxxx1x1 (Fault NOT detected)
39+
4: xxxxxxxxxx0xxxxx0000xxx011x1x01x1 xxxxxxxxxxxx0xxx1xxxxxx1x xxxxxxxxxxxx0xxx1xxxxxx1x (Fault NOT detected)
4040
346/0:
41-
0: 122200122000120110002220110022110 0222001001220012122222220 0022001001220012122222220 (Fault NOT detected)
42-
1: 122210122000120102222222202222212 2222222222222222222222221 2222222222222222222222221 (Fault NOT detected)
43-
2: 122200122100120110002201110002111 0222101001220012122222120 0022101001220012122222120 (Fault NOT detected)
44-
3: 122200122110120110002201110002111 0222101001221012122222121 0022101001221012122222121 (Fault NOT detected)
45-
4: 222222222202222200002220112120121 2222222222220222122222212 2022222222220222122222212 (Fault NOT detected)
41+
0: 1xxx001xx0001x011000xxx01100xx110 0xxx001001xx001x1xxxxxxx0 00xx001001xx001x1xxxxxxx0 (Fault NOT detected)
42+
1: 1xxx101xx0001x010xxxxxxxx0xxxxx1x xxxxxxxxxxxxxxxxxxxxxxxx1 xxxxxxxxxxxxxxxxxxxxxxxx1 (Fault NOT detected)
43+
2: 1xxx001xx1001x011000xx0111000x111 0xxx101001xx001x1xxxxx1x0 00xx101001xx001x1xxxxx1x0 (Fault NOT detected)
44+
3: 1xxx001xx1101x011000xx0111000x111 0xxx101001xx101x1xxxxx1x1 00xx101001xx101x1xxxxx1x1 (Fault NOT detected)
45+
4: xxxxxxxxxx0xxxxx0000xxx011x1x01x1 xxxxxxxxxxxx0xxx1xxxxxx1x x0xxxxxxxxxx0xxx1xxxxxx1x (Fault NOT detected)
4646
2829/1:
47-
0: 122200122000120110002220110022110 0222001001220012122222220 0222001001220012122222220 (Fault NOT detected)
48-
1: 122210122000120102222222202222212 2222222222222222222222221 2222222222222222222222220 (Fault detected)
49-
2: 122200122100120110002201110002111 0222101001220012122222120 0222101001220012122222120 (Fault NOT detected)
50-
3: 122200122110120110002201110002111 0222101001221012122222121 0222101001221012122222121 (Fault NOT detected)
51-
4: 222222222202222200002220112120121 2222222222220222122222212 2222222222220222122222212 (Fault NOT detected)
47+
0: 1xxx001xx0001x011000xxx01100xx110 0xxx001001xx001x1xxxxxxx0 0xxx001001xx001x1xxxxxxx0 (Fault NOT detected)
48+
1: 1xxx101xx0001x010xxxxxxxx0xxxxx1x xxxxxxxxxxxxxxxxxxxxxxxx1 xxxxxxxxxxxxxxxxxxxxxxxx0 (Fault detected)
49+
2: 1xxx001xx1001x011000xx0111000x111 0xxx101001xx001x1xxxxx1x0 0xxx101001xx001x1xxxxx1x0 (Fault NOT detected)
50+
3: 1xxx001xx1101x011000xx0111000x111 0xxx101001xx101x1xxxxx1x1 0xxx101001xx101x1xxxxx1x1 (Fault NOT detected)
51+
4: xxxxxxxxxx0xxxxx0000xxx011x1x01x1 xxxxxxxxxxxx0xxx1xxxxxx1x xxxxxxxxxxxx0xxx1xxxxxx1x (Fault NOT detected)
5252
1697/0:
53-
0: 122200122000120110002220110022110 0222001001220012122222220 0222001001220012122222220 (Fault NOT detected)
54-
1: 122210122000120102222222202222212 2222222222222222222222221 2222222222222222222222221 (Fault NOT detected)
55-
2: 122200122100120110002201110002111 0222101001220012122222120 0222101001220012122222121 (Fault detected)
56-
3: 122200122110120110002201110002111 0222101001221012122222121 0222101001221012122222120 (Fault detected)
57-
4: 222222222202222200002220112120121 2222222222220222122222212 2222222222220222122222212 (Fault NOT detected)
53+
0: 1xxx001xx0001x011000xxx01100xx110 0xxx001001xx001x1xxxxxxx0 0xxx001001xx001x1xxxxxxx0 (Fault NOT detected)
54+
1: 1xxx101xx0001x010xxxxxxxx0xxxxx1x xxxxxxxxxxxxxxxxxxxxxxxx1 xxxxxxxxxxxxxxxxxxxxxxxx1 (Fault NOT detected)
55+
2: 1xxx001xx1001x011000xx0111000x111 0xxx101001xx001x1xxxxx1x0 0xxx101001xx001x1xxxxx1x1 (Fault detected)
56+
3: 1xxx001xx1101x011000xx0111000x111 0xxx101001xx101x1xxxxx1x1 0xxx101001xx101x1xxxxx1x0 (Fault detected)
57+
4: xxxxxxxxxx0xxxxx0000xxx011x1x01x1 xxxxxxxxxxxx0xxx1xxxxxx1x xxxxxxxxxxxx0xxx1xxxxxx1x (Fault NOT detected)
5858
1661/1:
59-
0: 122200122000120110002220110022110 0222001001220012122222220 0222001001220012122222220 (Fault NOT detected)
60-
1: 122210122000120102222222202222212 2222222222222222222222221 2222222222222222222222221 (Fault NOT detected)
61-
2: 122200122100120110002201110002111 0222101001220012122222120 0222101001220012122222120 (Fault NOT detected)
62-
3: 122200122110120110002201110002111 0222101001221012122222121 0222101001221012122222120 (Fault detected)
63-
4: 222222222202222200002220112120121 2222222222220222122222212 2222222222220222122222212 (Fault NOT detected)
59+
0: 1xxx001xx0001x011000xxx01100xx110 0xxx001001xx001x1xxxxxxx0 0xxx001001xx001x1xxxxxxx0 (Fault NOT detected)
60+
1: 1xxx101xx0001x010xxxxxxxx0xxxxx1x xxxxxxxxxxxxxxxxxxxxxxxx1 xxxxxxxxxxxxxxxxxxxxxxxx1 (Fault NOT detected)
61+
2: 1xxx001xx1001x011000xx0111000x111 0xxx101001xx001x1xxxxx1x0 0xxx101001xx001x1xxxxx1x0 (Fault NOT detected)
62+
3: 1xxx001xx1101x011000xx0111000x111 0xxx101001xx101x1xxxxx1x1 0xxx101001xx101x1xxxxx1x0 (Fault detected)
63+
4: xxxxxxxxxx0xxxxx0000xxx011x1x01x1 xxxxxxxxxxxx0xxx1xxxxxx1x xxxxxxxxxxxx0xxx1xxxxxx1x (Fault NOT detected)
6464
2129/1:
65-
0: 122200122000120110002220110022110 0222001001220012122222220 0222001001220012122222220 (Fault NOT detected)
66-
1: 122210122000120102222222202222212 2222222222222222222222221 2222222222222222222222221 (Fault NOT detected)
67-
2: 122200122100120110002201110002111 0222101001220012122222120 0222101001220012122222120 (Fault NOT detected)
68-
3: 122200122110120110002201110002111 0222101001221012122222121 0222101001221012122222121 (Fault NOT detected)
69-
4: 222222222202222200002220112120121 2222222222220222122222212 2222222222221222122222212 (Fault detected)
65+
0: 1xxx001xx0001x011000xxx01100xx110 0xxx001001xx001x1xxxxxxx0 0xxx001001xx001x1xxxxxxx0 (Fault NOT detected)
66+
1: 1xxx101xx0001x010xxxxxxxx0xxxxx1x xxxxxxxxxxxxxxxxxxxxxxxx1 xxxxxxxxxxxxxxxxxxxxxxxx1 (Fault NOT detected)
67+
2: 1xxx001xx1001x011000xx0111000x111 0xxx101001xx001x1xxxxx1x0 0xxx101001xx001x1xxxxx1x0 (Fault NOT detected)
68+
3: 1xxx001xx1101x011000xx0111000x111 0xxx101001xx101x1xxxxx1x1 0xxx101001xx101x1xxxxx1x1 (Fault NOT detected)
69+
4: xxxxxxxxxx0xxxxx0000xxx011x1x01x1 xxxxxxxxxxxx0xxx1xxxxxx1x xxxxxxxxxxxx1xxx1xxxxxx1x (Fault detected)
7070
2071/1:
71-
0: 122200122000120110002220110022110 0222001001220012122222220 0222001001220012122222220 (Fault NOT detected)
72-
1: 122210122000120102222222202222212 2222222222222222222222221 2222222222222222222222221 (Fault NOT detected)
73-
2: 122200122100120110002201110002111 0222101001220012122222120 0222101001220012122222120 (Fault NOT detected)
74-
3: 122200122110120110002201110002111 0222101001221012122222121 0222101001221012122222121 (Fault NOT detected)
75-
4: 222222222202222200002220112120121 2222222222220222122222212 2222222222220222122222212 (Fault NOT detected)
71+
0: 1xxx001xx0001x011000xxx01100xx110 0xxx001001xx001x1xxxxxxx0 0xxx001001xx001x1xxxxxxx0 (Fault NOT detected)
72+
1: 1xxx101xx0001x010xxxxxxxx0xxxxx1x xxxxxxxxxxxxxxxxxxxxxxxx1 xxxxxxxxxxxxxxxxxxxxxxxx1 (Fault NOT detected)
73+
2: 1xxx001xx1001x011000xx0111000x111 0xxx101001xx001x1xxxxx1x0 0xxx101001xx001x1xxxxx1x0 (Fault NOT detected)
74+
3: 1xxx001xx1101x011000xx0111000x111 0xxx101001xx101x1xxxxx1x1 0xxx101001xx101x1xxxxx1x1 (Fault NOT detected)
75+
4: xxxxxxxxxx0xxxxx0000xxx011x1x01x1 xxxxxxxxxxxx0xxx1xxxxxx1x xxxxxxxxxxxx0xxx1xxxxxx1x (Fault NOT detected)

0 commit comments

Comments
 (0)