ToolYESTIMEOUT
AProVE Induction16 [16.39]3

ExampleAProVE Induction
KILLED60
YES16.34
YES30.0
KILLED60
YES22.63
KILLED60
YES10.96
YES7.75
YES10.47
YES16.33
YES6.44
YES13.9
YES5.35
YES10.27
YES6.32
YES18.14
YES58.82
YES25.77
YES2.77