>>>>>DESKTOPSEARCHER<<<<<

=====Data for Figure 4(a)=====
Number of tests: 44
Number of all reachable configurations = 254
Number of all reachable consistent configurations = 160
Number of reachable failing confs: 125
Number of reachable failing consistent confs: 83

=====Data for Figure 4(b)=====
66 configurations fail in 1 tests
9 configurations fail in 2 tests
7 configurations fail in 3 tests
1 configurations fail in 4 tests

=====Data for Figure 4(c)=====
Ti 	| Fi 	| Pi 	| FC1
10 	| 1 	| 4 	| 0
11 	| 1 	| 8 	| 0
12 	| 1 	| 8 	| 0
13 	| 1 	| 2 	| 0
14 	| 1 	| 8 	| 0
15 	| 1 	| 8 	| 0
16 	| 1 	| 8 	| 0
17 	| 1 	| 8 	| 0
18 	| 1 	| 32 	| 0
19 	| 1 	| 8 	| 0
20 	| 1 	| 32 	| 0
21 	| 1 	| 4 	| 0
22 	| 1 	| 8 	| 0
23 	| 1 	| 32 	| 0
24 	| 1 	| 0 	| 0
25 	| 1 	| 0 	| 0
26 	| 2 	| 8 	| 0
27 	| 3 	| 8 	| 0
28 	| 3 	| 8 	| 0
29 	| 3 	| 2 	| 0
30 	| 3 	| 8 	| 0
31 	| 1 	| 25 	| 1
32 	| 3 	| 1 	| 3
33 	| 3 	| 1 	| 3
34 	| 3 	| 1 	| 3
35 	| 4 	| 0 	| 3
36 	| 5 	| 0 	| 4
37 	| 7 	| 1 	| 7
38 	| 7 	| 1 	| 7
39 	| 14 	| 0 	| 8
40 	| 14 	| 1 	| 13
41 	| 15 	| 2 	| 14
42 	| 17 	| 1 	| 16
43 	| 28 	| 3 	| 27

=====Data for Figure 5=====
R 	| Fi 	| S 
1 	| 24 	| 1,00
2 	| 25 	| 1,00
3 	| 39 	| 1,00 graycolor
4 	| 35 	| 1,00 graycolor
5 	| 36 	| 1,00 graycolor
6 	| 42 	| 0,94 graycolor
7 	| 40 	| 0,93 graycolor
8 	| 43 	| 0,90 graycolor
9 	| 41 	| 0,88 graycolor
10 	| 37 	| 0,88 graycolor
11 	| 38 	| 0,88 graycolor
12 	| 32 	| 0,75 graycolor
13 	| 33 	| 0,75 graycolor
14 	| 34 	| 0,75 graycolor
15 	| 29 	| 0,60
16 	| 13 	| 0,33
17 	| 27 	| 0,27
18 	| 28 	| 0,27
19 	| 30 	| 0,27
20 	| 10 	| 0,20
21 	| 26 	| 0,20
22 	| 21 	| 0,20
23 	| 11 	| 0,11
24 	| 12 	| 0,11
25 	| 14 	| 0,11
26 	| 15 	| 0,11
27 	| 16 	| 0,11
28 	| 17 	| 0,11
29 	| 19 	| 0,11
30 	| 22 	| 0,11
31 	| 31 	| 0,04 graycolor
32 	| 18 	| 0,03
33 	| 20 	| 0,03
34 	| 23 	| 0,03