summaryrefslogtreecommitdiff
path: root/report/prune_results/space.2pass-hdt0
blob: 7beccb037ae200d223bc2da4402c81ae2cb2b52c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
0.0221153941406
0.04510728694754
0.11049838877232
0.23648305700335
0.4020261202009
0.61663757265625
0.71281294006697
0.83940257511161
0.9465962484375
0.98112857600446
0.9926947912946
0.9992315530134
1792
1792
1792
1792
1792
1792
1792
1792
1792
1792
1792
1792
1792
1792
1792
1792
1792
1792
1792
1792
1792
1792
1792	10.19
1792	13.87
1792	16.76
1792	19.52
1792	19.91
1792	20.37
1792	20.39
1792	20.41
1792	20.46
1792	4.58
1792	6.68
3584
3584
3584
3584
3584
3584	20.39
3584	20.47