ToolYESMAYBETIMEOUT
AProVE Algorithm 2232 [6.3]57 [19.1]7
AProVE Algorithm 1212 [5.6]74 [17.8]0

ExampleAProVE Algorithm 2AProVE Algorithm 1
MAYBE17.63MAYBE15.42
YES3.38YES4.21
YES4.56YES3.89
YES4.95YES4.30
MAYBE17.39MAYBE17.23
YES5.61YES5.33
MAYBE15.51MAYBE20.17
YES5.69YES4.98
KILLED60.00ERROR-1.00
MAYBE21.05ERROR-1.00
YES10.84YES10.05
YES15.28YES18.23
MAYBE32.44ERROR-1.00
KILLED60.00ERROR-1.00
MAYBE8.41ERROR-1.00
YES3.42YES3.18
YES3.99YES4.78
YES4.91YES4.66
YES4.04YES3.83
YES4.50YES4.68
YES4.56YES4.22
YES4.50YES4.06
YES21.89YES16.35
YES26.99YES15.12
MAYBE16.69MAYBE15.74
YES4.94YES3.79
YES4.87YES4.38
YES4.62YES4.67
YES5.06YES5.27
KILLED60.00MAYBE21.52
YES13.10YES10.03
YES4.53YES3.80
YES4.46YES4.27
YES5.00YES4.78
MAYBE18.18MAYBE17.58
YES4.61YES4.01
MAYBE15.42MAYBE15.25
YES4.67YES4.87
YES4.18YES4.05
YES5.76YES5.53
YES4.52YES3.32
YES5.12YES4.44
YES4.84YES3.96
YES4.40YES4.09
YES7.59YES6.64
YES5.24YES4.90
YES4.52YES4.13
YES4.59YES4.15
YES3.49YES3.93
YES3.93YES4.24
YES5.54YES4.90
YES12.97YES8.26
YES5.54YES6.11
YES4.23YES4.17
YES7.30YES5.61
YES4.29YES4.22
YES4.97YES4.17
YES21.91YES18.12
MAYBE13.55MAYBE14.24
YES5.62YES4.56
YES6.83YES6.53
YES5.01YES4.02
MAYBE15.55MAYBE15.77
MAYBE15.78MAYBE14.66
YES4.07YES4.84
MAYBE14.77MAYBE14.93
YES4.56YES4.09
YES7.18YES8.15
YES4.09YES4.06
MAYBE24.80MAYBE21.24
MAYBE14.24MAYBE14.81
MAYBE14.78MAYBE15.04
MAYBE14.70MAYBE14.49
MAYBE57.73MAYBE57.26
YES11.03YES9.89
YES4.12YES3.83
MAYBE24.34MAYBE22.73
MAYBE50.34ERROR-1.00
YES8.62YES6.57
YES12.37YES14.30
YES14.07YES20.38
KILLED60.00ERROR-1.00
YES13.16YES12.22
YES4.50YES3.87
YES6.18YES5.97
MAYBE15.21MAYBE14.23
YES18.00YES15.01
YES5.94YES4.79
YES12.04YES8.69
YES4.69YES3.24
YES6.40YES4.45
YES3.59YES4.70
YES4.33YES4.58
YES4.82YES4.73
YES8.15YES7.59
YES6.17YES7.42
YES10.90YES6.32
MAYBE21.72MAYBE19.54
YES6.76YES6.09
YES5.33YES6.68
YES4.38YES3.05
MAYBE14.31MAYBE14.72
YES4.13YES4.23
YES4.84YES6.12
YES8.26YES9.18
YES5.96YES4.84
YES5.16YES5.01
YES4.56YES3.86
YES5.18YES5.23
YES4.95YES5.12
YES11.81YES11.29
YES12.33MAYBE17.79
YES7.68YES8.43
YES4.50YES3.77
MAYBE17.12MAYBE16.08
YES5.27YES6.17
YES5.01YES4.06
YES52.86YES13.79
YES4.31YES4.04
YES3.46YES4.71
YES4.47YES4.62
YES4.57YES3.89
YES4.49YES4.60
YES4.56YES4.89
YES3.74YES3.72
YES4.60YES3.62
YES4.07YES3.89
YES27.09MAYBE35.87
YES12.83YES15.71
YES4.43YES4.34
YES4.41YES4.11
YES5.01YES4.96
YES4.90YES4.92
YES5.30YES5.64
MAYBE16.35MAYBE16.55
YES4.29YES4.13
YES3.18YES4.13
YES4.78MAYBE16.81
YES5.05YES4.58
YES6.89YES6.96
YES4.92MAYBE14.13
YES5.35YES4.62
YES4.56YES4.86
YES3.54YES4.56
MAYBE15.70MAYBE14.83
MAYBE17.04MAYBE16.87
YES5.07YES3.90
YES6.69YES5.57
YES4.34YES3.76
YES5.29YES4.55
YES3.35YES4.39
YES3.37YES4.47
YES4.15YES3.10
YES4.40YES2.99
YES4.72YES4.63
YES5.47YES5.23
MAYBE21.42MAYBE17.68
YES5.94MAYBE15.58
YES6.32MAYBE16.74
YES3.33YES4.22
YES5.00YES4.98
YES14.71YES8.19
MAYBE28.77MAYBE20.18
YES6.80YES6.17
YES4.96YES4.28
MAYBE14.59MAYBE14.70
YES4.88YES3.48
YES4.67YES4.45
YES4.52YES4.74
MAYBE20.80MAYBE17.98
MAYBE14.94MAYBE15.07
YES4.62YES3.49
MAYBE17.89MAYBE17.08
MAYBE16.30MAYBE15.73
MAYBE21.24MAYBE16.22
YES5.41MAYBE15.28
YES4.94YES3.56
MAYBE18.34MAYBE16.72
YES4.52YES5.15
YES5.96YES5.63
MAYBE20.37MAYBE16.20
YES6.02MAYBE14.92
YES6.29MAYBE15.26
YES3.63YES4.33
YES3.66YES3.96
YES4.56YES4.27
YES4.48YES4.76
YES4.85YES4.18
YES4.74YES4.67
YES4.40MAYBE14.69
YES4.63MAYBE14.37
YES3.27YES4.10
MAYBE14.69MAYBE15.39
YES3.20YES4.05
MAYBE21.68MAYBE18.86
YES3.83YES3.45
MAYBE15.20MAYBE14.37
YES4.56YES4.58
YES4.59YES4.36
MAYBE16.42MAYBE14.95
YES4.21YES4.75
YES4.34YES4.26
YES8.76YES6.59
YES12.58YES8.49
YES4.60YES3.92
YES7.12MAYBE19.22
YES4.51MAYBE15.82
MAYBE15.22MAYBE15.39
YES5.46YES4.11
YES4.35YES4.18
YES4.32YES3.82
YES11.31YES12.54
MAYBE26.76MAYBE17.66
YES4.35YES4.77
MAYBE15.64MAYBE13.89
YES5.49YES4.44
MAYBE14.49MAYBE14.62
YES4.55YES4.09
YES4.31YES3.77
YES6.49MAYBE15.85
YES6.12MAYBE17.91
MAYBE17.62MAYBE15.94
MAYBE15.09MAYBE14.17
YES4.49YES4.07
MAYBE13.99MAYBE15.13
MAYBE17.93MAYBE17.15
MAYBE14.65MAYBE14.35
MAYBE15.27MAYBE14.81
YES4.67YES3.67
YES4.14YES4.03
YES4.63MAYBE35.85
YES5.18YES4.96
YES5.18YES4.95
YES8.13YES6.36
YES4.60YES4.03
MAYBE15.45MAYBE14.65
YES4.55YES4.01
YES4.73YES4.70
YES5.18YES3.69
YES5.64YES4.21
YES4.25YES4.85
YES4.79YES3.95
YES5.06YES4.57
KILLED60.00ERROR-1.00
YES4.79YES4.51
YES4.26YES4.56
YES5.64YES5.33
YES6.13YES5.35
YES4.98YES4.48
YES5.82MAYBE20.36
YES10.50YES13.10
YES5.18MAYBE26.27
YES5.60YES5.40
YES4.58YES4.03
MAYBE19.48MAYBE24.17
YES16.17YES11.19
KILLED60.00ERROR-1.00
YES5.16YES4.74
YES7.29YES5.72
YES4.98YES4.28
YES6.88YES6.04
YES5.35YES5.13
YES4.94YES5.21
YES10.57YES8.49
MAYBE32.31MAYBE29.61
YES5.36YES5.44
MAYBE15.37MAYBE16.08
YES4.96YES5.67
YES4.40YES4.58
YES4.73YES4.04
YES5.80YES5.08
YES5.12YES5.11
KILLED60.00ERROR-1.00
YES13.01YES6.20
YES11.89YES13.21
YES6.08YES6.14
YES5.24YES4.45
YES4.95YES4.35
YES6.38MAYBE17.95
YES4.93YES5.26
YES5.06YES5.25
YES4.91YES4.58
YES5.29YES4.21
YES4.73YES4.76
YES9.76YES7.61
YES4.57YES4.21
YES7.21YES8.74
YES5.36YES5.00
YES5.91YES6.07
MAYBE19.71MAYBE18.32
YES4.73YES3.95
YES6.38YES6.30
YES4.63MAYBE14.95
YES7.58YES6.99
MAYBE15.06MAYBE15.14
YES5.25YES4.75