Table 13: Slicing results in Alloy for Coach example.

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

2 0.007 s 0.010 s 0.017 s 0.003 s 0.005 s 0.008 s 53%
3 0.014 s 0.019 s 0.033 s 0.005 s 0.008 s 0.013 s 61%
4 0.028 s 0.020 s 0.048 s 0.007 s 0.010 s 0.017 s 62%
5 0.036 s 0.031 s 0.067 s 0.012 s 0.015 s 0.027 s 65%
6 0.045 s 0.050 s 0.095 s 0.017 s 0.015 s 0.032 s 67%
7 0.081 s 0.077 s 0.158 s 0.034 s 0.017 s 0.051 s 68%

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