Table 1
Initial states and time condition used for test examples