-
Notifications
You must be signed in to change notification settings - Fork 1
/
result-star-0
108 lines (104 loc) · 3.01 KB
/
result-star-0
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
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
Cobia:~/Papers/2000/aquv/code> java GoodPlan
java GoodPlan
nView nDiView Prob nGMRs tGMRs VTs gVTs
1 1 0 0 0 0 0
6 5 0 0 0 0 0
11 11 0.05 1 111 6 6
16 15 0 0 0 0 0
21 18 0 0 0 0 0
26 21 0 0 0 0 0
31 27 0.05 1 107 6 6
36 29 0 0 0 0 0
41 33 0 0 0 0 0
46 34 0 0 0 0 0
51 36 0.35 1 120 12 6
61 39 0.1 1 111 14 6
66 44 0.3 1 127 11 6
81 49 0.2 1 139 12 6
86 50 1.0 1 144 17 6
101 50 0.45 1 129 13 6
106 52 1.0 1 145 14 6
116 56 1.0 1 147 16 6
126 58 1.0 1 150 17 7
131 58 1.0 1 150 19 7
141 61 1.0 1 153 16 7
201 62 1.0 1 154 26 7
206 62 0.8 1 148 29 6
211 62 1.0 1 152 27 7
216 62 1.0 1 153 23 7
221 62 0.5 1 144 18 6
231 63 1.0 1 153 33 7
236 63 1.0 1 153 27 7
246 63 1.0 1 153 29 7
251 63 1.0 1 157 28 7
256 64 1.0 1 154 32 7
271 64 1.0 1 153 40 7
286 64 1.0 1 153 37 7
291 64 1.0 1 153 34 7
296 64 1.0 1 157 34 7
306 64 1.0 1 153 42 7
311 64 1.0 1 153 38 7
331 64 1.0 1 152 35 7
336 64 1.0 1 152 44 7
341 64 1.0 1 155 39 7
346 64 1.0 1 153 48 7
351 64 1.0 1 153 45 7
356 64 1.0 1 153 49 7
366 64 1.0 1 154 45 7
371 64 1.0 1 154 45 7
381 64 1.0 1 152 54 7
386 64 1.0 1 153 46 7
391 64 1.0 1 152 56 7
396 64 1.0 1 154 51 7
401 64 1.0 1 154 46 7
406 64 1.0 1 153 43 7
411 64 1.0 1 153 59 7
421 64 1.0 1 152 49 7
431 64 1.0 1 153 55 7
436 64 1.0 1 152 54 7
441 64 1.0 1 157 56 7
451 64 1.0 1 152 47 7
456 64 1.0 1 153 42 7
461 64 1.0 1 152 63 7
466 64 1.0 1 157 58 7
471 64 1.0 1 152 54 7
476 64 1.0 1 152 49 7
481 64 1.0 1 155 51 7
486 64 1.0 1 153 70 7
491 64 1.0 1 154 56 7
496 64 1.0 1 154 54 7
501 64 1.0 1 153 65 7
506 64 1.0 1 152 65 7
511 64 1.0 1 151 60 7
516 64 1.0 1 151 70 7
521 64 1.0 1 154 61 7
526 64 1.0 1 152 71 7
531 64 1.0 1 152 69 7
536 64 1.0 1 152 69 7
541 64 1.0 1 152 58 7
546 64 1.0 1 152 67 7
551 64 1.0 1 152 60 7
556 64 1.0 1 152 83 7
561 64 1.0 1 153 68 7
566 64 1.0 1 153 76 7
571 64 1.0 1 153 68 7
576 64 1.0 1 153 57 7
581 64 1.0 1 151 72 7
586 64 1.0 1 152 73 7
591 64 1.0 1 152 82 7
601 64 1.0 1 152 70 7
606 64 1.0 1 153 63 7
611 64 1.0 1 152 83 7
616 64 1.0 1 152 83 7
621 64 1.0 1 153 81 7
626 64 1.0 1 153 76 7
631 64 1.0 1 152 84 7
636 64 1.0 1 152 78 7
641 64 1.0 1 152 74 7
646 64 1.0 1 151 88 7
651 64 1.0 1 153 85 7
656 64 1.0 1 152 81 7
661 64 1.0 1 153 73 7
666 64 1.0 1 154 87 7
671 64 1.0 1 151 81 7
676 64 1.0 1 152 83 7