Table 14: Slicing results in Alloy for Tracking System.

Before slicingAfter slicing
Scope TT ST TT + ST STT SST STT + SST Speedup %

2 0.020 s 0.046 s 0.066 s 0.005 s 0.008 s 0.013 s 81%
3 0.083 s 0.091 s 0.174 s 0.009 s 0.011 s 0.020 s 89%
4 0.096 s 0.185 s 0.254 s 0.013 s 0.011 s 0.024 s 90%
5 0.158 s 0.173 s 0.332 s 0.020 s 0.012 s 0.032 s 90%
6 0.233 s 0.367 s 0.600 s 0.025 s 0.023 s 0.048 s 92%
7 0.325 s 0.495 s 0.820 s 0.030 s 0.028 s 0.058 s 93%

TT: Translation Time. ST: Solving Time. STT: Sliced Translation Time. SST: Sliced Solving Time.