Tool
YES
TIMEOUT
AProVE Induction
16 [16.39]
3
Example
AProVE Induction
KILLED
60
YES
16.34
YES
30.0
KILLED
60
YES
22.63
KILLED
60
YES
10.96
YES
7.75
YES
10.47
YES
16.33
YES
6.44
YES
13.9
YES
5.35
YES
10.27
YES
6.32
YES
18.14
YES
58.82
YES
25.77
YES
2.77