Evaluation – Microbenchmark
DS1,1
1 - H
DS1,1
2 - NP
DS1,2
DS1,1
DS1,1
4 - NH
DS1,2
DS1,2
5 - NP
DS1,1
DS2,1
8 - NP
DS1,1
DS1,1
6 - H
DS2,1
DS1,1
7 - NP
DS2,1 DS2,1
DS1,1
11 - NP
DS2,2
DS1,1
15 - NP
DS2,2
DS2,1
DS1,1
DS2,1
12 - NH
DS2,2
DS1,1
13 - NP
DS2,2
DS2,1
DS2,2
DS1,1
14 - NP
DS2,1
DS2,1
DS2,2
DS1,2
DS1,1
DS2,2
19 - NP
DS2,1
DS1,2
DS1,1
17 - NP
DS2,1
DS2,2
DS1,2
DS1,1
DS1,1
18 - NP
DS2,2
DS2,1
DS1,2
DS2,1
22 - NP
DS2,2
DS1,2
DS1,1
DS2,2
DS2,1
DS1,2
DS1,1
DS1,1
24 - NH
DS2,2
DS2,1
DS1,2
DS1,2
DS1,1
DS2,1
DS2,2
DS1,1
21 - NH
DS2,1
DS2,2
DS1,2
DS1,1
10 - H
DS2,2
DS2,1
DS1,1
DS2,2
9 - NP
3 - H
16 - H
20 - NP 23 - NH
• 25 Test Cases
# of dynamic values ≤ 2
# of Definition Spots (DS) ≤ 2