iteration replace radius straightness coverage filter on minimum cumulative coverage minimum coverage delta abstraction level maximum replace straightest path
1 1.2 0.005 #t 0.5 0.7 4.0 #f
2 1.7 0.005 #t 0.5 0.7 4.0 #f
3 2.5 0.005 #t 0.5 0.7 4.0 #f
4 4.0 0.005 #t 0.5 0.7 4.0 #f
5 6.0 0.005 #t 0.5 0.7 4.0 #f
6 10.0 0.005 #t 0.6 0.8 4.0 #f
7 16.0 0.005 #t 0.6 0.8 4.0 #f
8 24.0 0.005 #t 0.6 0.8 4.0 #f
9 36.0 0.005 #t 0.6 0.8 4.0 #f
10 54.0 0.005 #t 0.6 0.8 4.0 #f
11 81.0 0.005 #t 0.6 0.8 4.0 #f
12 120.0 0.005 #t 0.7 0.9 4.0 #f
13 180.0 0.005 #t 0.7 0.9 4.0 #f
14 270.0 0.005 #t 0.7 0.9 4.0 #f
15 270.0 0.005 #t 0.7 0.9 4.0 #f
16 270.0 0.005 #t 0.7 0.9 4.0 #f
17 270.0 0.005 #t 0.7 0.9 4.0 #f
18 270.0 0.005 #t 0.7 0.9 4.0 #f