ExampleAProVE
Ω(1),O(n^1)5.23
MAYBE28.43
Ω(1),O(n^2)8.27
TIMEOUT60
Ω(1),O(n^3)10.64
Ω(1),O(n^1)4.7
Ω(1),O(n^1)5.82
Ω(1),O(n^1)4.07
Ω(1),O(n^1)6.36
Ω(1),O(n^1)3.78
Ω(1),O(n^1)9.83
TIMEOUT60
MAYBE52.77
Ω(1),O(n^2)6.1
Ω(1),O(n^1)4.61
Ω(1),O(n^1)3.93
Ω(1),O(n^1)4.03
Ω(1),O(n^2)6.01
TIMEOUT60
Ω(1),O(n^2)6.72
Ω(1),O(n^1)5.01
Ω(1),O(n^4)8.21
Ω(1),O(n^1)5.0
Ω(1),O(n^1)4.18
Ω(1),O(n^1)4.17
Ω(1),O(n^1)4.09
Ω(1),O(n^1)3.97
MAYBE26.51
Ω(1),O(1)3.92
Ω(1),O(n^1)3.91
Ω(1),O(n^1)3.96
Ω(1),O(n^2)4.72
Ω(1),O(n^1)8.51
Ω(1),O(n^1)4.0
Ω(1),O(1)3.5
Ω(1),O(n^1)4.04
Ω(1),O(n^2)3.92
Ω(1),O(n^1)3.85
Ω(1),O(n^1)3.7
Ω(1),O(n^1)4.22
Ω(1),O(n^1)4.13
Ω(1),O(n^1)3.67
Ω(1),O(n^1)4.86
Ω(1),O(n^1)4.21
Ω(1),O(n^1)4.17
Ω(1),O(n^1)4.13
Ω(1),O(n^1)4.88
Ω(1),O(n^1)4.13
Ω(1),O(n^1)4.32
Ω(1),O(n^1)5.06
Ω(1),O(n^1)4.19
Ω(1),O(n^1)4.16
Ω(1),O(n^1)3.76
Ω(1),O(n^1)3.75
Ω(1),O(1)3.9
Ω(1),O(1)2.81
Ω(1),O(n^1)3.47
Ω(1),O(n^1)4.02
Ω(1),O(n^1)4.05
Ω(1),O(n^1)3.84
Ω(1),O(n^1)6.1
Ω(1),O(n^2)4.67
Ω(1),O(n^2)3.9
Ω(1),O(n^2)3.86
Ω(1),O(n^1)4.55
Ω(1),O(n^1)4.03
Ω(1),O(n^1)4.02
Ω(1),O(n^2)4.95
Ω(1),O(n^1)4.68
Ω(1),O(1)5.57
Ω(1),O(n^1)4.5
TIMEOUT60
TIMEOUT60
Ω(1),O(n^4)11.51
Ω(1),O(1)3.28
Ω(1),O(n^1)5.25
Ω(1),O(n^1)3.84
Ω(1),O(1)2.33
Ω(1),O(n^1)4.93
Ω(1),O(1)2.18
Ω(1),O(1)2.23
Ω(1),O(n^1)13.01
TIMEOUT60
Ω(1),O(1)2.15
Ω(1),O(1)2.45
Ω(1),O(n^1)4.2
Ω(1),O(n^2)9.27
Ω(1),O(1)2.28
Ω(1),O(1)2.29
Ω(1),O(1)2.16
Ω(1),O(n^1)8.48
Ω(1),O(n^1)8.06
Ω(1),O(1)2.47
Ω(1),O(1)2.61
Ω(1),O(1)3.92
Ω(1),O(n^1)6.46
Ω(1),O(1)2.33
Ω(1),O(n^1)5.63
MAYBE50.02
TIMEOUT60
MAYBE17.79
Ω(1),O(n^1)5.24
MAYBE23.66
Ω(1),O(n^1)4.13
MAYBE15.65
MAYBE17.27
Ω(1),O(1)2.32
Ω(1),O(1)5.01
Ω(1),O(1)2.72
Ω(1),O(1)4.82
Ω(1),O(n^1)3.66
Ω(1),O(1)2.53
Ω(1),O(1)2.46
Ω(1),O(1)3.29
Ω(1),O(1)3.35
Ω(1),O(1)3.22
Ω(1),O(1)2.36
TIMEOUT60
MAYBE29.08
Ω(1),O(n^1)3.66
Ω(1),O(n^1)3.47
Ω(1),O(1)3.45
Ω(1),O(1)2.19
MAYBE58.71
MAYBE34.06
TIMEOUT60
TIMEOUT60
MAYBE14.29
TIMEOUT60
Ω(1),O(n^1)4.28
TIMEOUT60
TIMEOUT60
TIMEOUT60
TIMEOUT60
TIMEOUT60
TIMEOUT60
TIMEOUT60
TIMEOUT60
TIMEOUT60
TIMEOUT60
TIMEOUT60
TIMEOUT60
TIMEOUT60
TIMEOUT60
TIMEOUT60
TIMEOUT60
TIMEOUT60
Ω(1),O(n^1)17.51
Ω(1),O(n^1)11.89
Ω(1),O(n^1)11.74
Ω(1),O(n^1)12.16
TIMEOUT60
TIMEOUT60
TIMEOUT60
Ω(1),O(n^1)21.83
Ω(1),O(n^1)10.1
TIMEOUT60
Ω(1),O(n^1)10.8
Ω(1),O(n^1)10.75
Ω(1),O(n^1)12.23
Ω(1),O(n^1)37.54
TIMEOUT60
Ω(1),O(n^1)12.05
Ω(1),O(n^1)18.54
Ω(1),O(n^1)9.69
TIMEOUT60
Ω(1),O(n^1)18.96
Ω(1),O(n^1)14.03
Ω(1),O(n^1)11.88
Ω(1),O(n^1)12.28
Ω(1),O(n^1)10.45
Ω(1),O(n^1)12.24
Ω(1),O(n^1)10.47
Ω(1),O(n^1)11.3
Ω(1),O(n^1)11.36
Ω(1),O(n^1)13.97
Ω(1),O(n^1)11.18
Ω(1),O(n^1)13.95
MAYBE51.34
Ω(1),O(n^1)17.33
TIMEOUT60
Ω(1),O(n^1)11.37
TIMEOUT60
Ω(1),O(n^1)16.68
Ω(1),O(n^1)14.1
TIMEOUT60
TIMEOUT60
MAYBE55.21
Ω(1),O(n^1)13.87
Ω(1),O(n^1)8.05
Ω(1),O(n^1)11.73
Ω(1),O(n^1)26.4
Ω(1),O(n^2)7.54
TIMEOUT60
TIMEOUT60
Ω(1),O(n^2)28.61
Ω(1),O(n^5)9.01
Ω(1),O(1)2.32
TIMEOUT60
Ω(1),O(n^1)5.48
Ω(1),O(n^1)5.6
Ω(1),O(n^4)18.79
Ω(1),O(n^2)32.16
TIMEOUT60
Ω(1),O(n^2)7.76
Ω(1),O(n^4)26.33
MAYBE13.5
Ω(1),O(n^1)6.45
MAYBE13.43
Ω(1),O(n^1)7.62
Ω(1),O(n^1)7.04
Ω(1),O(n^1)7.78