********Inverse Method Result********
    17 < 18KNIGHT
& 17 < 3KNIGHT+3KING
& 17 < 3KNIGHT+KING+QUEEN
& 17 < 4LADY+2KING
& 17 < 4LADY+QUEEN
& 17 < 8KNIGHT+QUEEN
& 17 < 9LADY
& 17 < KNIGHT+LADY+3KING
& 17 < KNIGHT+LADY+KING+QUEEN
& 2KNIGHT+3KING <= 17
& 2KNIGHT+KING+QUEEN <= 17
& 6LADY+KING <= 17
& 7KNIGHT+QUEEN <= 17
& KNIGHT+3LADY+QUEEN <= 17
& KNIGHT+8LADY <= 17
& KNIGHT <= 1
& LADY+3KING <= 17
& LADY+KING+QUEEN <= 17
2799 states reachable.
5682 states visited.
The analysis has been fully deterministic.
Number of transitions: 5459
Maximal number of clocks: 2
Inequalities:
1)     17 < 2QUEEN
2)     17 < 2KING+QUEEN
3)     17 < 2LADY+KING+QUEEN
4)     17 < KNIGHT+LADY+KING+QUEEN
5)     17 < 4KING
6)     17 < 4LADY+QUEEN
7)     17 < 2LADY+3KING
8)     17 < KNIGHT+LADY+3KING
9)     17 < 3KNIGHT+KING+QUEEN
10)     17 < 4LADY+2KING
11)     17 < 2KNIGHT+3LADY+QUEEN
12)     17 < 3KNIGHT+3KING
13)     17 < 2KNIGHT+3LADY+2KING
14)     17 < 4KNIGHT+2LADY+QUEEN
15)     17 < KNIGHT+6LADY+KING
16)     17 < 7LADY+KING
17)     17 < 4KNIGHT+2LADY+2KING
18)     17 < 6KNIGHT+LADY+QUEEN
19)     17 < 9LADY
20)     17 < 3KNIGHT+5LADY+KING
21)     17 < 6KNIGHT+LADY+2KING
22)     17 < 8KNIGHT+QUEEN
23)     17 < 2KNIGHT+8LADY
24)     17 < 5KNIGHT+4LADY+KING
25)     17 < 8KNIGHT+2KING
26)     17 < 4KNIGHT+7LADY
27)     17 < 7KNIGHT+3LADY+KING
28)     17 < 6KNIGHT+6LADY
29)     17 < 9KNIGHT+2LADY+KING
30)     17 < 8KNIGHT+5LADY
31)     17 < 11KNIGHT+LADY+KING
32)     17 < 10KNIGHT+4LADY
33)     17 < 13KNIGHT+KING
34)     17 < 12KNIGHT+3LADY
35)     17 < 14KNIGHT+2LADY
36)     17 < 16KNIGHT+LADY
37)     17 < 18KNIGHT
********Verification Statistics********
Visited States:0
Total Transitions:0
Time Used:253,0780081s
Estimated Memory Used:6838,476KB