>>>>>GPL<<<<<

=====Data for Figure 4(a)=====
Number of tests: 25
Number of all reachable configurations = 1268
Number of all reachable consistent configurations = 137
Number of reachable failing confs: 497
Number of reachable failing consistent confs: 49

=====Data for Figure 4(b)=====
14 configurations fail in 1 tests
35 configurations fail in 2 tests

=====Data for Figure 4(c)=====
Ti 	| Fi 	| Pi 	| FC1
18 	| 4 	| 4 	| 0
19 	| 4 	| 4 	| 0
20 	| 33 	| 78 	| 0
21 	| 192 	| 64 	| 0
22 	| 7 	| 1 	| 1
23 	| 26 	| 26 	| 2
24 	| 248 	| 8 	| 35
25 	| 256 	| 256 	| 46

=====Data for Figure 5=====
R 	| Fi 	| S 
1 	| 24 	| 0,97 graycolor
2 	| 22 	| 0,88 graycolor
3 	| 21 	| 0,75
4 	| 18 	| 0,50
5 	| 19 	| 0,50
6 	| 25 	| 0,50 graycolor
7 	| 23 	| 0,50 graycolor
8 	| 20 	| 0,30