ToolYESNOMAYBETIMEOUT
Induction Technique & Loop Detection0 100 [1.55]908 [5.40]74
Induction Technique & Loop Detection & Improvements0 100 [1.50]913 [5.26]69
TCT2373 [35.75]0 549 [229.68]160
TCT3386 [52.19]0 675 [157.82]21
AProVE411 [20.33]0 137 [30.12]534

ExampleInduction Technique & Loop DetectionInduction Technique & Loop Detection & ImprovementsTCT2TCT3AProVE
Ω(n^1),INF5.58Ω(n^1),INF5.63MAYBE299.32MAYBE292.26TIMEOUT300
Ω(n^3),INF2.43Ω(n^3),INF2.55Ω(1),O(n^3)33.29Ω(1),O(n^3)23.92Ω(1),O(n^3)12.88
Ω(n^1),INF3.31Ω(n^1),INF3.47TIMEOUT300MAYBE292.09TIMEOUT300
Ω(n^1),INF1.51Ω(n^1),INF1.79Ω(1),O(n^1)5.12Ω(1),O(n^1)7.09Ω(1),O(n^1)12.27
Ω(n^2),INF2.44Ω(n^2),INF2.61Ω(1),O(n^3)21.27Ω(1),O(n^3)9.27Ω(1),O(n^3)2.57
Ω(n^1),INF8.78Ω(n^1),INF8.51Ω(1),O(n^2)30.25Ω(1),O(n^2)292.22Ω(1),O(n^2)12.57
Ω(n^1),INF2.56Ω(n^1),INF2.54Ω(1),O(n^2)30.26Ω(1),O(n^2)292.34Ω(1),O(n^2)12.62
Ω(n^1),INF2.52Ω(n^1),INF2.48MAYBE49.25MAYBE14.32MAYBE296.85
Ω(n^1),INF2.43Ω(n^1),INF2.42MAYBE56.68MAYBE20.32TIMEOUT300
Ω(n^1),INF1.79Ω(n^1),INF1.84Ω(1),O(n^1)0.88Ω(1),O(n^1)0.44Ω(1),O(n^2)2.22
Ω(n^2),INF2.5Ω(n^2),INF2.55Ω(1),O(n^2)4.21Ω(1),O(n^2)2.18Ω(1),O(n^2)2.17
Ω(n^1),INF1.49Ω(n^1),INF1.54Ω(1),O(n^1)0.42Ω(1),O(n^1)0.17Ω(1),O(n^2)2.12
Ω(n^1),INF1.6Ω(n^1),INF1.49Ω(1),O(n^1)2.19Ω(1),O(n^1)0.41Ω(1),O(n^1)2.16
Ω(n^1),INF1.41Ω(n^1),INF1.93TIMEOUT300MAYBE20.64TIMEOUT300
MAYBE1.39MAYBE1.4Ω(1),O(1)0.24Ω(1),O(1)0.06Ω(1),O(1)1.72
Ω(n^1),INF2.84Ω(n^1),INF2.59Ω(1),O(n^2)18.54Ω(1),O(n^2)4.56Ω(1),O(n^2)2.25
Ω(2^n),INF2.25Ω(2^n),INF2.79MAYBE299.4MAYBE11.33MAYBE3.83
MAYBE1.37MAYBE1.34Ω(1),O(1)1.25Ω(1),O(1)0.45Ω(1),O(1)1.75
Ω(n^1),INF1.66Ω(n^1),INF1.72Ω(1),O(n^1)0.42Ω(1),O(n^1)0.31Ω(1),O(n^1)1.93
Ω(n^1),INF4.41Ω(n^1),INF7.41MAYBE299.27MAYBE39.78TIMEOUT300
Ω(n^1),INF1.69Ω(n^1),INF1.7Ω(1),O(n^1)2.7Ω(1),O(n^1)0.44Ω(1),O(n^1)2.27
Ω(2^n),INF2.13Ω(2^n),INF2.06TIMEOUT300MAYBE35.29TIMEOUT300
Ω(n^1),INF2.3Ω(n^1),INF2.48Ω(1),O(n^1)30.25Ω(1),O(n^1)8.26Ω(1),O(n^2)3.41
Ω(n^1),INF2.37Ω(n^1),INF2.48Ω(1),O(n^2)35.01Ω(1),O(n^2)41.72Ω(1),O(n^2)3.89
Ω(n^1),INF3.68Ω(n^1),INF15.11Ω(1),O(n^1)15.38Ω(1),O(n^2)2.74Ω(1),O(n^1)2.06
Ω(n^1),INF1.92Ω(n^1),INF2.0Ω(1),O(n^1)19.41Ω(1),O(n^2)11.14Ω(1),O(n^3)2.61
Ω(n^1),INF2.81Ω(n^1),INF2.93Ω(1),O(n^1)5.96Ω(1),O(n^2)2.11Ω(1),O(n^1)2.54
Ω(n^1),INF1.61Ω(n^1),INF1.69Ω(1),O(n^2)30.33Ω(1),O(n^2)140.22Ω(1),O(n^2)2.05
Ω(n^1),INF1.52Ω(n^1),INF1.45MAYBE299.27MAYBE292.08TIMEOUT300
Ω(n^1),INF2.21Ω(n^1),INF2.41MAYBE50.7MAYBE16.28MAYBE291.98
Ω(n^1),INF1.33Ω(n^1),INF1.29Ω(1),O(n^1)4.49Ω(1),O(n^1)1.75Ω(1),O(n^1)1.92
Ω(n^1),INF1.41Ω(n^1),INF1.65Ω(1),O(n^1)1.55Ω(1),O(n^1)0.76Ω(1),O(n^1)1.96
MAYBE1.38MAYBE1.42Ω(1),O(1)0.29Ω(1),O(1)0.11Ω(1),O(1)1.75
Ω(n^1),INF1.49Ω(n^1),INF1.71Ω(1),O(n^1)1.72Ω(1),O(n^1)0.65Ω(1),O(n^1)2.07
Ω(n^3),INF3.81Ω(n^3),INF3.7Ω(1),O(n^3)43.24Ω(1),O(n^3)30.9Ω(1),O(n^3)5.88
Ω(n^1),INF1.59Ω(n^1),INF1.78MAYBE299.27MAYBE174.6TIMEOUT300
Ω(n^2),INF4.11Ω(n^2),INF4.09MAYBE299.17MAYBE292.18TIMEOUT300
Ω(n^1),INF1.29Ω(n^1),INF1.34Ω(1),O(n^1)2.91Ω(1),O(n^1)1.05Ω(1),O(n^1)2.06
Ω(n^1),INF2.82Ω(n^1),INF2.71MAYBE66.04MAYBE292.16MAYBE184.89
Ω(n^1),INF3.33Ω(n^1),INF4.02Ω(1),O(n^2)28.25Ω(1),O(n^2)18.72Ω(1),O(n^2)3.13
Ω(n^1),INF3.42Ω(n^1),INF3.4Ω(1),O(n^3)41.75Ω(1),O(n^3)60.53Ω(1),O(n^3)6.65
Ω(n^1),INF2.85Ω(n^1),INF2.83Ω(1),O(n^2)5.68Ω(1),O(n^2)19.04Ω(1),O(n^2)2.92
Ω(n^1),INF4.05Ω(n^1),INF3.87Ω(1),O(n^2)6.98Ω(1),O(n^2)28.36Ω(1),O(n^2)2.92
Ω(n^1),INF4.21Ω(n^1),INF4.28Ω(1),O(n^3)42.54Ω(1),O(n^3)55.43Ω(1),O(n^3)7.65
Ω(n^1),INF3.8Ω(n^1),INF4.75Ω(1),O(n^2)29.11Ω(1),O(n^2)17.13Ω(1),O(n^2)3.16
Ω(n^1),INF4.29Ω(n^1),INF4.37Ω(1),O(n^1)5.11Ω(1),O(n^1)7.04Ω(1),O(n^2)12.41
Ω(n^1),INF2.66Ω(n^1),INF3.0Ω(1),O(n^3)39.34Ω(1),O(n^2)11.61Ω(1),O(n^2)3.9
Ω(n^1),INF2.91Ω(n^1),INF3.03Ω(1),O(n^4)59.26Ω(1),O(n^4)90.77TIMEOUT300
Ω(n^1),INF4.07Ω(n^1),INF4.61MAYBE299.24MAYBE261.67TIMEOUT300
Ω(n^1),INF26.95Ω(n^1),INF15.2TIMEOUT300MAYBE292.19TIMEOUT300
Ω(n^1),INF8.89Ω(n^1),INF8.28MAYBE299.26MAYBE292.2TIMEOUT300
Ω(n^2),INF3.54Ω(n^2),INF5.1TIMEOUT300MAYBE112.31TIMEOUT300
Ω(n^2),INF2.94Ω(n^2),INF3.09Ω(1),O(n^2)16.01Ω(1),O(n^2)6.62Ω(1),O(n^2)2.35
Ω(n^2),INF4.7Ω(n^2),INF4.37MAYBE299.39MAYBE292.42TIMEOUT300
Ω(n^1),INF3.91Ω(n^1),INF4.02Ω(1),O(n^1)11.86Ω(1),O(n^1)24.42Ω(1),O(n^1)2.03
Ω(n^3),INF4.92Ω(n^3),INF5.0MAYBE299.35MAYBE292.27TIMEOUT300
Ω(n^3),INF4.68Ω(n^3),INF4.72MAYBE299.38MAYBE292.5TIMEOUT300
Ω(n^1),INF1.62Ω(n^1),INF2.04MAYBE299.21MAYBE292.14Ω(1),O(n^3)29.07
Ω(n^1),INF3.67Ω(n^1),INF3.7Ω(1),O(n^1)77.1Ω(1),O(n^2)67.07TIMEOUT300
Ω(n^1),INF2.0Ω(n^1),INF2.29MAYBE299.18MAYBE292.15TIMEOUT300
Ω(n^1),INF1.6Ω(n^1),INF1.9MAYBE299.18Ω(1),O(n^2)292.24TIMEOUT300
Ω(n^1),INF43.18Ω(n^1),INF45.05Ω(1),O(n^1)2.7Ω(1),O(n^1)6.0Ω(1),O(n^1)3.28
Ω(n^1),INF2.39Ω(n^1),INF2.51MAYBE299.28MAYBE292.3TIMEOUT300
Ω(n^1),INF2.03Ω(n^1),INF2.38Ω(1),O(n^1)61.24Ω(1),O(n^1)292.32Ω(1),O(n^1)156.2
Ω(n^1),INF1.44Ω(n^1),INF1.73Ω(1),O(n^1)299.36Ω(1),O(n^1)293.47Ω(1),O(n^1)21.56
Ω(n^1),INF300Ω(n^1),INF300MAYBE299.15MAYBE292.14TIMEOUT300
Ω(n^1),INF3.95Ω(n^1),INF4.08TIMEOUT300MAYBE292.11TIMEOUT300
Ω(n^1),INF1.38Ω(n^1),INF1.71MAYBE30.92MAYBE3.55MAYBE3.99
Ω(n^1),INF2.06Ω(n^1),INF2.81MAYBE299.39MAYBE8.84TIMEOUT300
Ω(n^1),INF4.36Ω(n^1),INF4.59MAYBE299.16MAYBE292.22TIMEOUT300
Ω(n^1),INF4.4Ω(n^1),INF4.35MAYBE299.34MAYBE291.96TIMEOUT300
Ω(n^3),INF4.76Ω(n^4),INF4.88MAYBE299.44MAYBE292.13TIMEOUT300
Ω(n^2),INF4.55Ω(n^2),INF300MAYBE299.43MAYBE34.97TIMEOUT300
Ω(n^1),INF8.55Ω(n^1),INF8.36MAYBE299.17MAYBE292.14TIMEOUT300
Ω(n^1),INF2.93Ω(n^1),INF2.96TIMEOUT300MAYBE234.0TIMEOUT300
Ω(n^1),INF1.89Ω(n^1),INF2.07MAYBE299.16MAYBE31.9TIMEOUT300
INF,INF1.29INF,INF1.25MAYBE299.39MAYBE292.4TIMEOUT300
Ω(n^2),INF4.05Ω(n^2),INF3.95MAYBE299.44MAYBE292.24TIMEOUT300
Ω(n^1),INF1.92Ω(n^1),INF1.92MAYBE299.33MAYBE28.79TIMEOUT300
Ω(n^1),INF2.56Ω(n^1),INF2.63MAYBE299.69MAYBE46.69Ω(1),O(n^2)3.94
Ω(n^1),INF4.96Ω(n^1),INF5.41MAYBE299.36MAYBE227.36TIMEOUT300
Ω(n^3),INF5.29Ω(n^3),INF5.77MAYBE299.35MAYBE292.61TIMEOUT300
Ω(n^1),INF2.28Ω(n^1),INF2.81MAYBE299.18MAYBE292.28Ω(1),O(n^2)18.83
Ω(n^3),INF5.41Ω(n^3),INF5.79MAYBE299.68MAYBE292.75TIMEOUT300
MAYBE1.27MAYBE1.32Ω(1),O(1)0.13Ω(1),O(1)0.2Ω(1),O(1)1.81
Ω(n^1),INF2.98Ω(n^1),INF4.08MAYBE299.32MAYBE292.23TIMEOUT300
Ω(n^1),INF2.96Ω(n^1),INF3.66MAYBE299.35MAYBE292.12TIMEOUT300
Ω(n^1),INF2.75Ω(n^1),INF2.65MAYBE299.32MAYBE292.69TIMEOUT300
Ω(n^1),INF4.04Ω(n^1),INF4.03MAYBE299.4MAYBE292.27TIMEOUT300
Ω(n^1),INF3.88Ω(n^1),INF3.75MAYBE299.38MAYBE14.73TIMEOUT300
Ω(2^n),INF3.61Ω(2^n),INF3.86MAYBE299.5MAYBE73.02TIMEOUT300
Ω(n^1),INF4.52Ω(n^1),INF4.59MAYBE299.18MAYBE205.99Ω(1),O(n^2)9.91
Ω(n^1),INF2.87Ω(n^1),INF3.34TIMEOUT300MAYBE292.1TIMEOUT300
Ω(n^1),INF3.55Ω(n^1),INF3.47MAYBE299.21MAYBE18.02TIMEOUT300
Ω(n^1),INF3.67Ω(n^1),INF3.6MAYBE299.21MAYBE30.66TIMEOUT300
Ω(n^1),INF3.71Ω(n^1),INF3.61MAYBE299.21MAYBE39.35TIMEOUT300
Ω(n^1),INF2.69Ω(n^1),INF2.84MAYBE299.44MAYBE164.02TIMEOUT300
Ω(n^1),INF4.46Ω(n^1),INF3.99MAYBE299.47MAYBE43.63TIMEOUT300
Ω(n^2),INF5.63Ω(n^2),INF5.73MAYBE299.32MAYBE64.75TIMEOUT300
Ω(n^1),INF4.09Ω(n^1),INF3.88MAYBE299.38MAYBE224.67TIMEOUT300
Ω(n^1),INF2.91Ω(n^1),INF3.17MAYBE299.29MAYBE33.13TIMEOUT300
Ω(n^1),INF6.4Ω(n^1),INF6.07MAYBE299.44MAYBE292.61TIMEOUT300
Ω(n^2),INF4.36Ω(n^3),INF4.39MAYBE299.54MAYBE292.15TIMEOUT300
Ω(n^1),INF3.73Ω(n^1),INF3.11TIMEOUT300MAYBE292.47TIMEOUT300
Ω(n^1),INF2.71Ω(n^1),INF2.52TIMEOUT300MAYBE187.42TIMEOUT300
Ω(n^1),INF3.22Ω(n^1),INF3.35TIMEOUT300MAYBE109.05TIMEOUT300
Ω(n^2),INF4.27Ω(n^2),INF4.09TIMEOUT300MAYBE111.61TIMEOUT300
Ω(n^1),INF3.99Ω(2^n),INF2.49MAYBE299.48MAYBE35.04TIMEOUT300
Ω(n^1),INF4.07Ω(n^1),INF3.92MAYBE299.52MAYBE292.21TIMEOUT300
Ω(n^1),INF2.52Ω(n^1),INF2.4MAYBE299.44MAYBE292.2Ω(1),O(n^2)50.14
Ω(n^1),INF2.37Ω(n^1),INF2.55MAYBE299.17MAYBE292.16TIMEOUT300
Ω(n^1),INF2.51Ω(n^1),INF2.99MAYBE299.29MAYBE292.08TIMEOUT300
Ω(n^1),INF3.51Ω(n^1),INF2.98MAYBE299.17MAYBE292.23TIMEOUT300
Ω(n^2),INF6.04Ω(n^2),INF6.54MAYBE299.22MAYBE297.96TIMEOUT300
Ω(n^1),INF2.5Ω(n^1),INF2.49MAYBE299.17MAYBE292.17TIMEOUT300
Ω(n^1),INF3.34Ω(n^1),INF3.35MAYBE299.48MAYBE292.17TIMEOUT300
Ω(n^2),INF2.4Ω(n^2),INF2.48TIMEOUT300MAYBE292.32TIMEOUT300
Ω(n^1),INF5.1Ω(n^1),INF6.2TIMEOUT300MAYBE213.47TIMEOUT300
Ω(n^1),INF2.62Ω(n^1),INF2.59TIMEOUT300MAYBE65.33TIMEOUT300
Ω(n^1),INF3.64Ω(n^1),INF3.59TIMEOUT300MAYBE100.68TIMEOUT300
Ω(n^1),INF6.36Ω(n^1),INF5.7MAYBE299.32MAYBE292.6TIMEOUT300
Ω(n^1),INF3.13Ω(n^1),INF3.32MAYBE299.15MAYBE292.24TIMEOUT300
Ω(n^1),INF2.06Ω(n^1),INF2.18TIMEOUT300MAYBE292.1TIMEOUT300
Ω(n^2),INF5.29Ω(n^2),INF5.29MAYBE299.24MAYBE36.77TIMEOUT300
Ω(n^1),INF3.98Ω(n^1),INF3.92MAYBE299.22MAYBE21.6TIMEOUT300
Ω(n^1),INF2.48Ω(n^1),INF2.24MAYBE299.58MAYBE66.18Ω(1),O(n^2)88.35
Ω(n^1),INF3.39Ω(n^1),INF3.82MAYBE299.24MAYBE12.95TIMEOUT300
Ω(n^1),INF2.26Ω(n^1),INF2.26MAYBE299.4MAYBE292.08Ω(1),O(n^2)116.97
Ω(n^2),INF5.79Ω(n^2),INF6.0TIMEOUT300MAYBE292.28TIMEOUT300
Ω(n^1),INF7.24Ω(n^1),INF7.39MAYBE299.46MAYBE292.3TIMEOUT300
Ω(n^1),INF3.25Ω(n^1),INF3.31MAYBE299.18MAYBE200.82TIMEOUT300
Ω(n^2),INF6.0Ω(n^2),INF5.75MAYBE299.32MAYBE296.49TIMEOUT300
Ω(n^1),INF3.22Ω(n^1),INF3.37TIMEOUT300MAYBE105.96TIMEOUT300
Ω(n^1),INF7.62Ω(n^1),INF7.44MAYBE299.22MAYBE73.98TIMEOUT300
Ω(n^1),INF4.03Ω(n^1),INF4.01MAYBE299.38MAYBE253.7TIMEOUT300
Ω(n^1),INF4.41Ω(n^1),INF4.31TIMEOUT300MAYBE293.79TIMEOUT300
Ω(n^1),INF3.33Ω(n^1),INF3.08MAYBE299.35MAYBE112.98TIMEOUT300
Ω(n^1),INF1.94Ω(n^1),INF1.75TIMEOUT300MAYBE8.77Ω(1),O(n^2)4.04
Ω(n^1),INF2.59Ω(n^1),INF2.95MAYBE299.35MAYBE63.04TIMEOUT300
Ω(n^1),INF5.47Ω(n^1),INF5.54TIMEOUT300MAYBE292.2TIMEOUT300
Ω(n^1),INF3.02Ω(n^1),INF3.11MAYBE299.33MAYBE292.18TIMEOUT300
Ω(n^1),INF9.15Ω(n^1),INF9.24MAYBE299.34MAYBE292.33TIMEOUT300
Ω(n^1),INF2.61Ω(n^1),INF2.78MAYBE299.36MAYBE292.15TIMEOUT300
Ω(n^1),INF2.19Ω(n^1),INF2.39MAYBE299.66MAYBE292.59TIMEOUT300
Ω(n^1),INF5.56Ω(n^1),INF6.08MAYBE299.33MAYBE292.18TIMEOUT300
Ω(n^1),INF3.04Ω(n^1),INF3.21MAYBE299.55MAYBE292.35TIMEOUT300
Ω(n^1),INF2.33Ω(n^1),INF3.06TIMEOUT300MAYBE292.15TIMEOUT300
Ω(n^1),INF3.68Ω(n^1),INF3.99MAYBE299.3MAYBE292.82TIMEOUT300
Ω(n^1),INF4.2Ω(n^1),INF4.21TIMEOUT300MAYBE292.41TIMEOUT300
Ω(n^1),INF2.12Ω(n^1),INF2.03MAYBE299.49MAYBE38.9TIMEOUT300
Ω(n^1),INF1.96Ω(n^1),INF1.95TIMEOUT300MAYBE292.29TIMEOUT300
Ω(n^2),INF2.91Ω(n^2),INF2.66MAYBE299.43MAYBE292.25TIMEOUT300
Ω(n^1),INF3.01Ω(n^1),INF3.04MAYBE299.67MAYBE292.34TIMEOUT300
Ω(n^2),INF3.97Ω(n^2),INF3.38TIMEOUT300MAYBE292.41TIMEOUT300
Ω(n^2),INF3.9Ω(n^2),INF3.71TIMEOUT300MAYBE292.24TIMEOUT300
Ω(n^2),INF3.45Ω(n^2),INF3.44TIMEOUT300MAYBE292.23TIMEOUT300
INF,INF1.8INF,INF1.79TIMEOUT300MAYBE292.18TIMEOUT300
Ω(n^1),INF2.08Ω(n^1),INF2.19TIMEOUT300MAYBE34.74TIMEOUT300
Ω(n^2),INF3.1Ω(n^2),INF2.9MAYBE299.16MAYBE292.17TIMEOUT300
Ω(n^1),INF4.03Ω(n^1),INF3.95MAYBE299.23MAYBE36.74TIMEOUT300
Ω(n^1),INF3.89Ω(n^1),INF3.76MAYBE299.24MAYBE47.16TIMEOUT300
Ω(n^1),INF4.91Ω(n^1),INF5.13MAYBE299.35MAYBE87.88TIMEOUT300
Ω(n^1),INF2.88Ω(n^1),INF3.05TIMEOUT300MAYBE62.67TIMEOUT300
Ω(n^1),INF4.25Ω(n^1),INF4.55MAYBE299.22MAYBE61.1TIMEOUT300
Ω(n^1),INF1.7Ω(n^1),INF1.7MAYBE299.32MAYBE292.1TIMEOUT300
Ω(n^2),INF3.78Ω(n^2),INF3.84MAYBE299.36MAYBE87.11TIMEOUT300
Ω(n^2),INF3.8Ω(n^2),INF3.66TIMEOUT300MAYBE292.4TIMEOUT300
Ω(n^1),INF3.72Ω(n^1),INF3.71MAYBE299.4MAYBE292.29TIMEOUT300
Ω(n^1),INF3.61Ω(n^1),INF3.51TIMEOUT300MAYBE233.49TIMEOUT300
Ω(n^1),INF3.21Ω(n^1),INF3.34MAYBE299.51MAYBE292.48TIMEOUT300
Ω(n^1),INF4.54Ω(n^1),INF4.83TIMEOUT300MAYBE292.29TIMEOUT300
Ω(n^1),INF3.31Ω(n^1),INF3.51MAYBE299.36MAYBE292.16TIMEOUT300
Ω(n^1),INF2.41Ω(n^1),INF2.29MAYBE299.18MAYBE28.33TIMEOUT300
Ω(n^1),INF3.74Ω(n^1),INF3.75MAYBE299.13MAYBE128.2Ω(1),O(n^2)60.82
Ω(n^1),INF3.59Ω(n^1),INF3.52MAYBE299.18MAYBE123.85TIMEOUT300
Ω(n^1),INF4.34Ω(n^1),INF4.44TIMEOUT300MAYBE91.27TIMEOUT300
Ω(n^1),INF3.12Ω(n^1),INF2.93MAYBE299.2MAYBE154.63TIMEOUT300
Ω(n^1),INF4.41Ω(n^1),INF4.7MAYBE299.35MAYBE31.4TIMEOUT300
Ω(n^1),INF3.97Ω(n^1),INF3.93MAYBE299.16MAYBE292.09Ω(1),O(n^2)213.17
Ω(n^1),INF3.3Ω(n^1),INF3.4MAYBE299.3MAYBE292.25TIMEOUT300
Ω(n^1),INF4.74Ω(n^1),INF4.59MAYBE299.17MAYBE292.49TIMEOUT300
Ω(n^1),INF2.61Ω(n^1),INF3.0MAYBE299.61MAYBE292.16TIMEOUT300
Ω(n^1),INF2.37Ω(n^1),INF2.02TIMEOUT300MAYBE292.22TIMEOUT300
Ω(n^1),INF1.77Ω(n^1),INF1.83MAYBE299.23MAYBE14.9Ω(1),O(n^2)76.08
Ω(n^1),INF3.41Ω(n^1),INF3.08MAYBE299.17MAYBE292.05Ω(1),O(n^1)187.81
Ω(n^1),INF3.37Ω(n^1),INF2.97MAYBE299.17MAYBE292.14TIMEOUT300
Ω(n^1),INF1.95Ω(n^1),INF1.97MAYBE299.48MAYBE292.06Ω(1),O(n^3)66.09
Ω(n^1),INF2.0Ω(n^1),INF2.34MAYBE299.23MAYBE142.85Ω(1),O(n^2)284.56
Ω(n^1),INF3.89Ω(n^1),INF3.65MAYBE299.33MAYBE292.29Ω(1),O(n^2)167.0
Ω(n^1),INF1.87Ω(n^1),INF2.0MAYBE299.24MAYBE19.94Ω(1),O(n^2)71.56
Ω(n^1),INF2.37Ω(n^1),INF2.3MAYBE299.27MAYBE32.27TIMEOUT300
Ω(n^1),INF1.75Ω(n^1),INF2.12TIMEOUT300MAYBE21.41TIMEOUT300
Ω(n^1),INF2.1Ω(n^1),INF2.09MAYBE299.52MAYBE107.24TIMEOUT300
Ω(n^1),INF2.27Ω(n^1),INF2.36MAYBE299.27MAYBE13.26Ω(1),O(n^3)69.99
Ω(n^1),INF1.63Ω(n^1),INF1.78MAYBE299.27MAYBE292.2Ω(1),O(n^2)115.77
Ω(n^1),INF1.67Ω(n^1),INF1.66TIMEOUT300MAYBE294.43TIMEOUT300
Ω(n^1),INF1.72Ω(n^1),INF2.04MAYBE299.94MAYBE292.17TIMEOUT300
Ω(n^1),INF3.3Ω(n^1),INF3.91MAYBE299.39MAYBE22.21TIMEOUT300
Ω(n^1),INF2.2Ω(n^1),INF2.15TIMEOUT300MAYBE10.16Ω(1),O(n^1)2.64
INF,INF1.39INF,INF1.39MAYBE299.14MAYBE292.23MAYBE7.95
Ω(n^1),INF1.88Ω(n^1),INF1.79Ω(1),O(n^1)0.96Ω(1),O(n^1)0.81Ω(1),O(n^1)2.0
Ω(n^1),INF7.36Ω(n^1),INF8.2MAYBE299.65MAYBE292.14TIMEOUT300
MAYBE1.24MAYBE1.26Ω(1),O(1)3.0Ω(1),O(1)1.14Ω(1),O(1)1.82
Ω(n^2),INF3.59Ω(n^2),INF3.44MAYBE299.43MAYBE196.4TIMEOUT300
Ω(n^1),INF3.65Ω(n^1),INF3.55TIMEOUT300MAYBE97.65TIMEOUT300
Ω(n^1),INF3.95Ω(n^1),INF3.88MAYBE299.3MAYBE71.79TIMEOUT300
Ω(n^1),INF2.76Ω(n^1),INF2.29MAYBE299.53MAYBE54.41TIMEOUT300
Ω(n^1),INF3.78Ω(n^1),INF3.71Ω(1),O(n^2)299.38Ω(1),O(n^4)69.75Ω(1),O(n^2)9.87
Ω(n^1),INF6.28Ω(n^2),INF6.03MAYBE299.4MAYBE50.73TIMEOUT300
Ω(n^1),INF5.48Ω(n^2),INF5.72MAYBE299.22MAYBE20.71TIMEOUT300
Ω(n^1),INF3.95Ω(n^1),INF4.02MAYBE299.4MAYBE292.4TIMEOUT300
Ω(n^1),INF3.53Ω(n^1),INF3.61MAYBE299.37MAYBE292.42TIMEOUT300
Ω(n^1),INF3.38Ω(n^1),INF3.39MAYBE299.36MAYBE292.12TIMEOUT300
Ω(n^1),INF5.75Ω(n^2),INF5.29MAYBE67.88MAYBE31.42TIMEOUT300
Ω(n^1),INF4.33Ω(n^1),INF4.25MAYBE299.66MAYBE292.38TIMEOUT300
Ω(n^2),INF3.8Ω(n^2),INF3.98MAYBE299.47Ω(1),O(n^2)293.41Ω(1),O(n^2)5.63
Ω(n^1),INF10.91Ω(n^1),INF11.07TIMEOUT300MAYBE292.83TIMEOUT300
Ω(n^1),INF300Ω(n^1),INF300MAYBE299.26MAYBE292.34Ω(1),O(n^1)8.53
Ω(n^1),INF17.15Ω(n^1),INF17.3TIMEOUT300MAYBE292.9TIMEOUT300
Ω(n^1),INF16.82Ω(n^1),INF17.07MAYBE299.27TIMEOUT300TIMEOUT300
Ω(n^1),INF3.92Ω(n^1),INF4.24MAYBE299.4Ω(1),O(n^4)292.43TIMEOUT300
Ω(n^1),INF1.29Ω(n^1),INF1.69Ω(1),O(n^1)0.23Ω(1),O(n^1)0.32Ω(1),O(n^1)1.92
Ω(n^1),INF1.35Ω(n^1),INF1.82Ω(1),O(n^1)0.66Ω(1),O(n^1)0.81Ω(1),O(n^1)2.24
Ω(n^1),INF2.54Ω(n^1),INF2.66Ω(1),O(n^1)2.48Ω(1),O(n^1)1.91Ω(1),O(n^1)2.02
Ω(n^1),INF3.36Ω(n^1),INF3.6Ω(1),O(n^1)45.38Ω(1),O(n^1)34.43Ω(1),O(n^2)2.22
Ω(n^1),INF1.85Ω(n^1),INF2.2MAYBE37.91MAYBE13.93TIMEOUT300
Ω(n^1),INF1.57Ω(n^1),INF1.85Ω(1),O(n^1)0.22Ω(1),O(n^1)0.4Ω(1),O(n^1)1.97
Ω(n^1),INF1.68Ω(n^1),INF2.01MAYBE299.18MAYBE42.78TIMEOUT300
Ω(n^2),INF3.72Ω(n^2),INF3.75TIMEOUT300MAYBE66.09TIMEOUT300
Ω(n^1),INF1.38Ω(n^1),INF1.92Ω(1),O(n^1)0.5Ω(1),O(n^1)0.51Ω(1),O(n^1)1.98
Ω(n^1),INF1.47Ω(n^1),INF1.67Ω(1),O(n^1)3.85Ω(1),O(n^1)4.38Ω(1),O(n^1)2.21
Ω(n^1),INF3.7Ω(n^1),INF3.66Ω(1),O(n^2)24.21Ω(1),O(n^2)14.86Ω(1),O(n^2)2.89
Ω(n^1),INF1.61Ω(n^1),INF1.82MAYBE299.27MAYBE292.39Ω(1),O(n^1)8.52
Ω(n^1),INF1.74Ω(n^1),INF2.04Ω(1),O(n^1)9.02Ω(1),O(n^1)7.9Ω(1),O(n^1)300
Ω(n^1),INF3.34Ω(n^1),INF3.24TIMEOUT300MAYBE28.82TIMEOUT300
Ω(n^1),INF1.81Ω(n^1),INF1.77Ω(1),O(n^1)1.38Ω(1),O(n^1)0.59Ω(1),O(n^1)2.11
Ω(n^1),INF300Ω(n^1),INF2.36Ω(1),O(n^1)0.75Ω(1),O(n^1)0.71Ω(1),O(n^1)2.01
Ω(n^1),INF300Ω(n^1),INF2.24Ω(1),O(n^1)0.78Ω(1),O(n^1)0.59Ω(1),O(n^1)2.06
Ω(n^1),INF1.99Ω(n^1),INF2.0Ω(1),O(n^1)0.49Ω(1),O(n^1)0.26Ω(1),O(n^1)1.92
Ω(n^1),INF8.97Ω(n^1),INF8.8MAYBE299.34MAYBE49.21MAYBE43.49
INF,INF1.77INF,INF1.94MAYBE299.86MAYBE8.52TIMEOUT300
Ω(2^n),INF2.47Ω(2^n),INF2.76MAYBE299.69MAYBE69.24TIMEOUT300
Ω(n^1),INF2.81Ω(n^1),INF3.01Ω(1),O(n^1)1.56Ω(1),O(n^1)292.45Ω(1),O(n^1)1.99
Ω(n^1),INF4.17Ω(n^1),INF3.88Ω(1),O(n^1)3.72Ω(1),O(n^1)2.35Ω(1),O(n^1)2.46
Ω(2^n),INF2.86Ω(2^n),INF3.32MAYBE39.5MAYBE12.69TIMEOUT300
Ω(n^1),INF1.76Ω(n^1),INF1.7Ω(1),O(n^1)0.45Ω(1),O(n^1)0.31Ω(1),O(n^1)1.9
INF,INF1.23INF,INF1.22MAYBE37.36MAYBE292.53MAYBE12.41
Ω(n^1),INF1.4Ω(n^1),INF1.55Ω(1),O(n^1)0.67Ω(1),O(n^1)0.46Ω(1),O(n^1)2.0
Ω(n^1),INF2.98Ω(n^1),INF2.55Ω(1),O(n^1)1.56Ω(1),O(n^1)0.56Ω(1),O(n^1)2.02
Ω(n^1),INF12.51Ω(n^1),INF12.2Ω(1),O(n^1)2.6Ω(1),O(n^1)1.06Ω(1),O(n^1)2.43
Ω(n^1),INF4.34Ω(n^1),INF4.16MAYBE299.17MAYBE292.14TIMEOUT300
Ω(n^1),INF4.46Ω(n^1),INF4.05MAYBE299.18MAYBE292.21TIMEOUT300
INF,INF1.29INF,INF1.28TIMEOUT300MAYBE292.47TIMEOUT300
INF,INF1.63INF,INF1.61MAYBE299.2MAYBE8.36MAYBE3.95
Ω(n^1),INF300Ω(n^1),INF300TIMEOUT300MAYBE293.01TIMEOUT300
Ω(n^1),INF7.02Ω(n^1),INF6.57MAYBE299.29MAYBE292.25TIMEOUT300
INF,INF1.29INF,INF1.26MAYBE299.62MAYBE7.08TIMEOUT300
Ω(n^1),INF1.45Ω(n^1),INF1.49Ω(1),O(n^1)0.48Ω(1),O(n^1)0.39Ω(1),O(n^1)1.99
Ω(n^1),INF1.84Ω(n^1),INF1.93Ω(1),O(n^1)1.22Ω(1),O(n^1)1.03Ω(1),O(n^1)2.11
Ω(n^1),INF5.59Ω(n^1),INF4.28Ω(1),O(n^1)1.72Ω(1),O(n^1)1.2Ω(1),O(n^2)2.18
Ω(n^1),INF2.68Ω(n^1),INF2.15Ω(1),O(n^1)2.73Ω(1),O(n^1)1.43Ω(1),O(n^1)2.39
Ω(n^1),INF2.28Ω(n^1),INF2.34Ω(1),O(n^1)3.16Ω(1),O(n^1)3.0Ω(1),O(n^2)2.41
Ω(n^1),INF4.02Ω(n^1),INF3.76TIMEOUT300MAYBE92.16TIMEOUT300
Ω(n^1),INF5.08Ω(n^1),INF4.65MAYBE299.57MAYBE32.25TIMEOUT300
Ω(n^3),INF4.18Ω(n^3),INF3.99Ω(1),O(n^3)26.34Ω(1),O(n^3)8.22Ω(1),O(n^3)2.6
Ω(n^3),INF3.74Ω(n^3),INF3.59Ω(1),O(n^3)25.81Ω(1),O(n^3)8.76Ω(1),O(n^3)2.56
Ω(n^2),INF2.34Ω(n^2),INF2.45Ω(1),O(n^2)18.76Ω(1),O(n^2)25.88Ω(1),O(n^2)12.57
Ω(n^1),INF1.88Ω(n^1),INF1.99Ω(1),O(n^1)30.24Ω(1),O(n^1)292.44Ω(1),O(n^1)2.58
INF,INF1.23INF,INF1.22TIMEOUT300MAYBE292.48MAYBE13.27
INF,INF1.54INF,INF1.96TIMEOUT300MAYBE292.76TIMEOUT300
INF,INF1.73INF,INF2.02MAYBE299.39MAYBE292.49TIMEOUT300
MAYBE2.88MAYBE2.9Ω(1),O(n^1)30.66Ω(1),O(n^1)292.7Ω(1),O(n^1)2.61
MAYBE2.35MAYBE2.38Ω(1),O(n^1)2.85Ω(1),O(n^1)2.41Ω(1),O(n^1)2.22
Ω(n^1),INF1.94Ω(n^1),INF1.93Ω(1),O(n^1)2.82Ω(1),O(n^1)2.13Ω(1),O(n^1)2.3
Ω(n^1),INF2.55Ω(n^1),INF2.96Ω(1),O(n^2)24.07Ω(1),O(n^2)12.82Ω(1),O(n^2)3.22
INF,INF4.45INF,INF4.12TIMEOUT300MAYBE53.6TIMEOUT300
Ω(2^n),INF263.88Ω(2^n),INF3.59TIMEOUT300MAYBE292.49TIMEOUT300
Ω(n^1),INF300Ω(n^3),INF6.72MAYBE299.21MAYBE29.96TIMEOUT300
Ω(n^1),INF3.79Ω(n^1),INF3.93MAYBE299.44MAYBE110.44TIMEOUT300
Ω(n^1),INF2.16Ω(n^1),INF2.14Ω(1),O(n^1)0.55Ω(1),O(n^1)7.1Ω(1),O(n^1)2.02
Ω(n^1),INF300Ω(n^1),INF300Ω(1),O(n^2)17.35Ω(1),O(n^2)4.04Ω(1),O(n^2)2.48
Ω(n^3),INF2.57Ω(n^3),INF2.44Ω(1),O(n^3)34.05Ω(1),O(n^3)28.51Ω(1),O(n^3)12.76
INF,INF1.23INF,INF1.27MAYBE299.65MAYBE7.04MAYBE13.58
Ω(n^1),INF300Ω(n^1),INF4.57MAYBE51.85MAYBE15.5TIMEOUT300
INF,INF2.73INF,INF2.76TIMEOUT300MAYBE293.36TIMEOUT300
INF,INF2.58INF,INF2.35MAYBE299.23MAYBE142.94TIMEOUT300
Ω(n^1),INF300Ω(n^1),INF300MAYBE299.27MAYBE196.38TIMEOUT300
Ω(n^1),INF2.15Ω(n^1),INF2.24Ω(1),O(n^1)0.78Ω(1),O(n^1)0.24Ω(1),O(n^1)2.01
Ω(n^1),INF2.68Ω(n^1),INF2.79MAYBE299.39MAYBE22.13MAYBE30.89
Ω(n^1),INF9.24Ω(n^1),INF10.23Ω(1),O(n^1)8.95Ω(1),O(n^1)7.32Ω(1),O(n^1)3.04
Ω(n^1),INF300Ω(n^1),INF300Ω(1),O(n^2)30.28Ω(1),O(n^2)96.95Ω(1),O(n^2)3.75
INF,INF1.12INF,INF1.16MAYBE7.76MAYBE7.05MAYBE12.14
Ω(n^1),INF2.01Ω(n^1),INF2.03Ω(1),O(n^1)2.65Ω(1),O(n^1)0.48Ω(1),O(n^1)2.0
Ω(n^1),INF2.0Ω(n^1),INF1.98Ω(1),O(n^1)0.69Ω(1),O(n^1)0.29Ω(1),O(n^1)1.93
Ω(n^1),INF3.56Ω(n^1),INF2.1Ω(1),O(n^1)2.12Ω(1),O(n^1)0.79Ω(1),O(n^2)2.01
Ω(n^1),INF2.11Ω(n^1),INF1.96Ω(1),O(n^1)2.38Ω(1),O(n^1)0.57Ω(1),O(n^1)2.04
Ω(n^1),INF1.69Ω(n^1),INF1.67Ω(1),O(n^1)0.37Ω(1),O(n^1)0.27Ω(1),O(n^1)2.02
Ω(n^1),INF2.28Ω(n^1),INF2.37Ω(1),O(n^1)1.27Ω(1),O(n^1)0.76Ω(1),O(n^1)2.05
Ω(2^n),INF2.73Ω(2^n),INF3.62MAYBE299.5MAYBE18.52TIMEOUT300
Ω(2^n),INF2.64Ω(2^n),INF3.8MAYBE299.5MAYBE20.14TIMEOUT300
Ω(n^1),INF3.86Ω(n^1),INF4.15MAYBE299.25MAYBE29.3Ω(1),O(n^2)7.2
Ω(n^1),INF21.38Ω(n^1),INF22.21Ω(1),O(n^2)95.72Ω(1),O(n^1)19.51Ω(1),O(n^1)5.93
Ω(n^1),INF22.67Ω(n^1),INF23.57TIMEOUT300TIMEOUT300TIMEOUT300
Ω(n^1),INF22.25Ω(n^1),INF24.0MAYBE299.75MAYBE293.24TIMEOUT300
Ω(n^1),INF24.15Ω(n^1),INF23.75MAYBE299.73MAYBE292.35TIMEOUT300
Ω(n^1),INF22.23Ω(n^1),INF22.35TIMEOUT300MAYBE292.87TIMEOUT300
Ω(n^1),INF300Ω(n^1),INF300Ω(1),O(n^2)30.07Ω(1),O(n^2)18.39Ω(1),O(n^2)2.99
Ω(n^1),INF5.25Ω(n^1),INF5.79Ω(1),O(n^2)30.12Ω(1),O(n^2)93.18Ω(1),O(n^2)4.0
Ω(n^1),INF2.22Ω(n^1),INF2.21Ω(1),O(n^2)21.72Ω(1),O(n^2)9.44Ω(1),O(n^2)2.68
Ω(n^1),INF3.51Ω(n^1),INF3.79TIMEOUT300MAYBE32.61TIMEOUT300
Ω(n^1),INF1.55Ω(n^1),INF1.51Ω(1),O(n^1)0.62Ω(1),O(n^1)0.33Ω(1),O(n^1)1.93
Ω(n^1),INF1.52Ω(n^1),INF1.51Ω(1),O(n^1)0.7Ω(1),O(n^1)0.35Ω(1),O(n^1)1.96
Ω(n^1),INF1.46Ω(n^1),INF1.65Ω(1),O(n^1)0.33Ω(1),O(n^1)0.48Ω(1),O(n^1)1.93
Ω(n^1),INF2.61Ω(n^1),INF2.65Ω(1),O(n^1)0.23Ω(1),O(n^1)0.32Ω(1),O(n^1)1.98
Ω(n^2),INF3.65Ω(n^2),INF3.56MAYBE299.21MAYBE42.22TIMEOUT300
Ω(n^1),INF4.06Ω(n^1),INF4.03Ω(1),O(n^2)35.19Ω(1),O(n^2)46.77TIMEOUT300
Ω(n^1),INF3.59Ω(n^1),INF4.0MAYBE299.33MAYBE292.21TIMEOUT300
Ω(n^1),INF3.36Ω(n^1),INF3.53MAYBE299.41MAYBE292.47TIMEOUT300
TIMEOUT300TIMEOUT300TIMEOUT300MAYBE294.79TIMEOUT300
Ω(n^1),INF125.01Ω(n^1),INF125.78Ω(1),O(n^2)50.79Ω(1),O(n^2)13.66Ω(1),O(n^2)4.01
Ω(n^1),INF2.67Ω(n^1),INF2.39Ω(1),O(n^1)30.63Ω(1),O(n^1)6.09Ω(1),O(n^1)4.14
Ω(n^1),INF2.08Ω(n^1),INF2.19MAYBE299.23MAYBE12.58TIMEOUT300
Ω(n^1),INF2.1Ω(n^1),INF2.6MAYBE299.35MAYBE23.65TIMEOUT300
Ω(n^1),INF2.53Ω(n^1),INF2.53MAYBE299.38MAYBE14.03TIMEOUT300
Ω(n^1),INF3.24Ω(n^1),INF3.03MAYBE299.28MAYBE292.17TIMEOUT300
Ω(n^1),INF3.43Ω(n^1),INF3.15MAYBE299.53MAYBE292.25TIMEOUT300
Ω(n^1),INF2.42Ω(n^1),INF2.37TIMEOUT300MAYBE96.31TIMEOUT300
Ω(n^1),INF1.85Ω(n^1),INF1.94MAYBE299.89MAYBE292.17TIMEOUT300
Ω(n^1),INF2.06Ω(n^1),INF2.09MAYBE299.36MAYBE292.17TIMEOUT300
Ω(n^1),INF2.01Ω(n^1),INF2.02MAYBE299.17MAYBE291.98TIMEOUT300
Ω(n^1),INF2.09Ω(n^1),INF1.97MAYBE299.24MAYBE70.74TIMEOUT300
Ω(n^1),INF2.66Ω(n^1),INF2.57MAYBE299.19MAYBE292.24TIMEOUT300
Ω(n^1),INF3.64Ω(n^1),INF3.78MAYBE299.35MAYBE31.04TIMEOUT300
Ω(n^1),INF4.43Ω(n^1),INF4.46MAYBE299.78MAYBE43.98TIMEOUT300
Ω(2^n),INF3.11Ω(2^n),INF3.36MAYBE299.35MAYBE173.47TIMEOUT300
Ω(n^1),INF3.39Ω(n^1),INF3.14MAYBE299.33MAYBE59.8TIMEOUT300
Ω(n^2),INF3.18Ω(n^2),INF3.33MAYBE299.55MAYBE292.2TIMEOUT300
INF,INF1.18INF,INF1.16MAYBE7.92MAYBE7.04MAYBE12.11
INF,INF1.21INF,INF1.19MAYBE8.6MAYBE7.05MAYBE12.42
INF,INF1.12INF,INF1.14MAYBE8.73MAYBE7.04MAYBE12.21
INF,INF1.23INF,INF1.21TIMEOUT300MAYBE7.04TIMEOUT300
INF,INF1.16INF,INF1.2MAYBE13.24MAYBE7.03MAYBE71.6
INF,INF1.28INF,INF1.2MAYBE10.01MAYBE2.08MAYBE2.06
Ω(n^1),INF5.6Ω(n^1),INF3.88MAYBE299.56MAYBE291.96TIMEOUT300
Ω(n^1),INF1.82Ω(n^1),INF2.03MAYBE299.37MAYBE292.14Ω(1),O(n^2)4.25
Ω(n^1),INF3.01Ω(n^1),INF3.11MAYBE299.29MAYBE291.95TIMEOUT300
Ω(2^n),INF1.73Ω(2^n),INF1.77MAYBE299.74MAYBE51.26TIMEOUT300
Ω(n^1),INF300Ω(n^1),INF300MAYBE299.17MAYBE293.04TIMEOUT300
Ω(n^1),INF1.32Ω(n^1),INF1.86Ω(1),O(n^1)5.11Ω(1),O(n^1)7.05Ω(1),O(n^1)2.02
Ω(n^1),INF1.72Ω(n^1),INF1.96MAYBE299.92MAYBE292.08TIMEOUT300
Ω(n^1),INF4.22Ω(n^1),INF7.75MAYBE299.26MAYBE55.05TIMEOUT300
Ω(n^1),INF1.81Ω(n^1),INF1.81Ω(1),O(n^2)19.81Ω(1),O(n^2)5.78Ω(1),O(n^2)2.31
Ω(n^1),INF2.57Ω(n^1),INF2.33Ω(1),O(n^1)1.6Ω(1),O(n^1)0.89Ω(1),O(n^1)2.56
Ω(n^1),INF4.94Ω(n^1),INF5.49MAYBE299.17MAYBE292.46TIMEOUT300
Ω(n^1),INF2.8Ω(n^1),INF2.75Ω(1),O(n^1)2.84Ω(1),O(n^1)2.04Ω(1),O(n^1)2.93
Ω(n^1),INF300Ω(n^1),INF300Ω(1),O(n^1)5.24Ω(1),O(n^1)5.38Ω(1),O(n^1)3.67
Ω(n^1),INF2.17Ω(n^1),INF2.32Ω(1),O(n^1)1.27Ω(1),O(n^1)1.24Ω(1),O(n^1)2.14
Ω(n^1),INF3.39Ω(n^1),INF3.23Ω(1),O(n^2)30.23Ω(1),O(n^2)19.91Ω(1),O(n^2)4.36
Ω(n^1),INF3.2Ω(n^1),INF3.2Ω(1),O(n^2)25.18Ω(1),O(n^2)15.73Ω(1),O(n^2)2.94
Ω(n^1),INF2.13Ω(n^1),INF2.21Ω(1),O(n^2)4.38Ω(1),O(n^2)2.74Ω(1),O(n^2)2.13
Ω(n^1),INF8.8Ω(n^1),INF8.94MAYBE299.43MAYBE292.31TIMEOUT300
Ω(n^1),INF3.26Ω(n^1),INF3.31Ω(1),POLY43.08MAYBE19.79TIMEOUT300
Ω(n^1),INF2.68Ω(n^1),INF2.85Ω(1),O(n^1)1.66Ω(1),O(n^1)0.77Ω(1),O(n^1)2.36
Ω(n^1),INF2.67Ω(n^1),INF2.6Ω(1),O(n^1)2.28Ω(1),O(n^1)1.3Ω(1),O(n^1)2.26
Ω(n^1),INF2.16Ω(n^1),INF2.13Ω(1),O(n^1)0.64Ω(1),O(n^1)0.28Ω(1),O(n^1)1.99
Ω(n^1),INF300Ω(n^1),INF300MAYBE299.44MAYBE148.94TIMEOUT300
Ω(n^2),INF300Ω(n^2),INF300Ω(1),POLY80.92MAYBE47.13TIMEOUT300
Ω(n^1),INF2.13Ω(n^1),INF2.21Ω(1),O(n^1)0.85Ω(1),O(n^1)0.87Ω(1),O(n^1)2.09
Ω(n^1),INF5.32Ω(n^1),INF5.39MAYBE299.35MAYBE65.8TIMEOUT300
Ω(n^1),INF1.82Ω(n^1),INF2.06MAYBE299.42MAYBE80.61TIMEOUT300
Ω(n^1),INF2.56Ω(n^1),INF3.17MAYBE299.49MAYBE292.15TIMEOUT300
Ω(n^1),INF3.25Ω(n^1),INF2.68TIMEOUT300MAYBE292.32TIMEOUT300
Ω(n^1),INF3.03Ω(n^1),INF2.31TIMEOUT300MAYBE292.21TIMEOUT300
Ω(n^1),INF300Ω(n^1),INF300Ω(1),O(n^1)0.61Ω(1),O(n^1)0.89Ω(1),O(n^2)2.07
Ω(n^1),INF1.58Ω(n^1),INF1.99MAYBE299.34MAYBE292.17Ω(1),O(n^1)8.1
Ω(n^1),INF2.07Ω(n^1),INF2.03Ω(1),O(n^1)0.57Ω(1),O(n^1)0.23Ω(1),O(n^1)1.97
Ω(n^1),INF4.05Ω(n^1),INF3.19Ω(1),O(n^1)1.63Ω(1),O(n^1)0.56Ω(1),O(n^1)1.99
Ω(n^1),INF1.69Ω(n^1),INF1.93Ω(1),O(n^1)0.54Ω(1),O(n^1)0.22Ω(1),O(n^1)2.03
Ω(n^1),INF1.89Ω(n^1),INF2.0MAYBE299.24MAYBE3.28TIMEOUT300
Ω(n^1),INF2.3Ω(n^1),INF2.31Ω(1),O(n^1)1.44Ω(1),O(n^1)0.59Ω(1),O(n^1)2.07
Ω(2^n),INF1.82Ω(2^n),INF1.84TIMEOUT300MAYBE293.03TIMEOUT300
Ω(2^n),INF3.41Ω(2^n),INF3.63MAYBE299.31MAYBE292.19TIMEOUT300
Ω(n^1),INF300Ω(n^1),INF300Ω(1),O(n^1)3.9Ω(1),O(n^1)1.36Ω(1),O(n^1)2.03
Ω(n^1),INF1.35Ω(n^1),INF1.72MAYBE299.22MAYBE3.49MAYBE14.59
Ω(n^1),INF1.87Ω(n^1),INF1.9MAYBE299.4MAYBE19.38TIMEOUT300
Ω(n^1),INF2.4Ω(n^1),INF2.64Ω(1),O(n^1)5.35Ω(1),O(n^1)5.14Ω(1),O(n^1)13.15
Ω(n^1),INF300Ω(n^1),INF300Ω(1),O(n^2)70.34MAYBE292.86TIMEOUT300
Ω(n^1),INF33.55Ω(n^1),INF45.28Ω(1),O(n^3)64.25Ω(1),O(n^3)291.99TIMEOUT300
Ω(n^1),INF300Ω(n^1),INF300Ω(1),O(n^2)60.17MAYBE292.45TIMEOUT300
Ω(n^1),INF29.79Ω(n^1),INF42.84Ω(1),O(n^2)31.14Ω(1),O(n^2)22.73Ω(1),O(n^2)5.51
Ω(n^1),INF20.87Ω(n^1),INF20.64Ω(1),O(n^2)31.61Ω(1),O(n^2)18.63Ω(1),O(n^2)5.67
Ω(n^1),INF14.58Ω(n^1),INF20.53Ω(1),O(n^2)30.3Ω(1),O(n^2)4.17Ω(1),O(n^2)3.24
Ω(n^1),INF59.32Ω(n^1),INF61.43Ω(1),O(n^2)35.25Ω(1),O(n^2)292.43TIMEOUT300
Ω(n^1),INF5.1Ω(n^1),INF5.26Ω(1),O(n^2)31.84Ω(1),O(n^2)33.46Ω(1),O(n^2)7.26
Ω(n^1),INF7.19Ω(n^1),INF8.41TIMEOUT300MAYBE292.34TIMEOUT300
Ω(n^1),INF127.88Ω(n^1),INF185.48Ω(1),O(n^2)34.21Ω(1),O(n^2)292.33TIMEOUT300
Ω(n^1),INF19.45Ω(n^1),INF19.39Ω(1),O(n^2)49.74Ω(1),O(n^2)292.84TIMEOUT300
Ω(n^1),INF12.94Ω(n^1),INF11.95TIMEOUT300MAYBE292.83TIMEOUT300
Ω(n^1),INF4.86Ω(n^1),INF4.79MAYBE299.18Ω(1),O(n^2)292.36TIMEOUT300
Ω(n^1),INF4.44Ω(n^1),INF4.88Ω(1),O(n^2)27.39Ω(1),O(n^2)59.15Ω(1),O(n^2)3.39
Ω(n^1),INF3.32Ω(n^1),INF2.92MAYBE299.17MAYBE292.66TIMEOUT300
Ω(n^2),INF7.53Ω(n^2),INF7.05TIMEOUT300MAYBE292.5TIMEOUT300
Ω(n^1),INF172.52Ω(n^1),INF2.67Ω(1),O(n^1)4.5Ω(1),O(n^1)2.57Ω(1),O(n^1)2.45
Ω(n^1),INF300Ω(n^1),INF300Ω(1),O(n^6)155.08Ω(1),O(n^6)274.5TIMEOUT300
Ω(n^1),INF4.47Ω(n^1),INF3.52Ω(1),O(n^2)19.58Ω(1),O(n^2)9.48Ω(1),O(n^2)2.7
Ω(n^1),INF2.45Ω(n^1),INF2.3Ω(1),O(n^1)3.17Ω(1),O(n^1)5.04Ω(1),O(n^1)3.39
Ω(n^1),INF1.98Ω(n^1),INF1.97Ω(1),O(n^1)1.64Ω(1),O(n^1)0.68Ω(1),O(n^2)2.41
Ω(n^1),INF3.23Ω(n^1),INF3.33Ω(1),O(n^3)42.45Ω(1),O(n^3)58.44Ω(1),O(n^3)5.23
Ω(n^1),INF2.81Ω(n^1),INF2.45Ω(1),O(n^2)23.26Ω(1),O(n^2)35.89Ω(1),O(n^2)3.05
Ω(n^1),INF3.98Ω(n^1),INF3.51Ω(1),O(n^2)30.3Ω(1),O(n^2)292.19Ω(1),O(n^2)14.06
Ω(n^1),INF4.63Ω(n^1),INF5.6Ω(1),O(n^2)28.58Ω(1),O(n^2)12.92Ω(1),O(n^2)3.11
Ω(n^1),INF1.75Ω(n^1),INF1.61Ω(1),O(n^1)2.16Ω(1),O(n^1)1.32Ω(1),O(n^1)1.97
Ω(n^1),INF3.06Ω(n^1),INF2.74Ω(1),O(n^1)1.22Ω(1),O(n^1)0.49Ω(1),O(n^2)2.15
MAYBE1.74MAYBE1.42Ω(1),O(1)0.52Ω(1),O(1)0.14Ω(1),O(1)1.77
Ω(n^1),INF2.29Ω(n^1),INF1.91Ω(1),O(n^3)39.6Ω(1),O(n^2)4.34Ω(1),O(n^2)3.75
Ω(n^1),INF6.8Ω(n^1),INF6.36MAYBE299.81MAYBE293.23TIMEOUT300
MAYBE1.75MAYBE1.36Ω(1),O(n^1)0.2Ω(1),O(1)0.15Ω(1),O(1)1.74
Ω(n^1),INF1.83Ω(2^n),INF1.99TIMEOUT300MAYBE181.97TIMEOUT300
MAYBE1.68MAYBE1.25Ω(1),O(n^1)3.19Ω(1),O(1)0.61Ω(1),O(1)1.83
Ω(n^1),INF3.47Ω(n^1),INF3.15Ω(1),O(n^1)49.9Ω(1),O(n^1)28.48Ω(1),O(n^1)2.21
Ω(n^1),INF1.94Ω(n^1),INF1.77Ω(1),O(n^1)0.73Ω(1),O(n^1)0.71Ω(1),O(n^1)2.28
Ω(n^2),INF4.2Ω(n^2),INF3.86MAYBE299.31MAYBE292.25TIMEOUT300
Ω(n^1),INF2.76Ω(n^1),INF2.29MAYBE53.43MAYBE17.59TIMEOUT300
Ω(n^1),INF2.97Ω(n^1),INF3.21MAYBE299.38MAYBE292.24TIMEOUT300
Ω(n^2),INF5.38Ω(n^2),INF4.98Ω(1),O(n^3)61.17Ω(1),O(n^2)292.34TIMEOUT300
Ω(n^1),INF2.8Ω(n^1),INF2.55Ω(1),O(n^1)3.89Ω(1),O(n^1)3.31Ω(1),O(n^1)2.79
Ω(n^1),INF1.8Ω(n^1),INF1.3Ω(1),O(n^1)0.77Ω(1),O(n^1)0.38Ω(1),O(n^1)2.02
Ω(n^1),INF3.69Ω(n^1),INF2.71MAYBE299.45Ω(1),O(n^2)22.36Ω(1),O(n^2)4.98
Ω(n^1),INF3.29Ω(n^1),INF2.83MAYBE299.12MAYBE76.59Ω(1),O(n^2)54.02
Ω(n^1),INF2.85Ω(n^1),INF2.27TIMEOUT300MAYBE36.44TIMEOUT300
Ω(n^1),INF2.25Ω(n^1),INF2.17MAYBE299.23MAYBE33.47Ω(1),O(n^2)8.72
Ω(n^1),INF1.89Ω(n^1),INF3.28MAYBE299.28MAYBE50.52TIMEOUT300
Ω(n^1),INF2.59Ω(n^1),INF2.13Ω(1),O(n^1)17.97Ω(1),O(n^1)4.92Ω(1),O(n^1)2.57
Ω(n^1),INF92.89Ω(n^1),INF90.94MAYBE299.51MAYBE37.27TIMEOUT300
MAYBE1.59MAYBE1.29Ω(1),O(1)13.1Ω(1),O(1)4.87Ω(1),O(1)1.75
Ω(n^1),INF3.47Ω(n^1),INF4.07TIMEOUT300MAYBE292.87TIMEOUT300
Ω(n^1),INF2.66Ω(n^1),INF2.27MAYBE299.5MAYBE292.82TIMEOUT300
Ω(n^1),INF1.77Ω(n^1),INF1.71MAYBE299.47MAYBE292.18Ω(1),O(n^2)87.89
Ω(n^2),INF3.69Ω(n^2),INF3.55MAYBE299.52MAYBE292.68TIMEOUT300
Ω(n^2),INF3.43Ω(n^2),INF3.48MAYBE299.32MAYBE292.15TIMEOUT300
Ω(n^1),INF2.38Ω(n^1),INF2.26MAYBE299.35MAYBE292.34TIMEOUT300
MAYBE1.35MAYBE1.32Ω(1),O(1)30.13Ω(1),O(1)13.85Ω(1),O(1)1.77
INF,INF1.14INF,INF1.17MAYBE103.23MAYBE15.1MAYBE13.07
MAYBE1.26MAYBE1.36Ω(1),O(n^1)1.04Ω(1),O(1)0.27Ω(1),O(n^1)2.99
MAYBE1.33MAYBE1.34Ω(1),O(n^1)300Ω(1),O(n^1)19.59Ω(1),O(n^1)9.39
MAYBE1.34MAYBE1.54Ω(1),O(1)0.44Ω(1),O(1)0.12Ω(1),O(1)1.78
Ω(n^1),INF300Ω(n^1),INF300MAYBE299.6TIMEOUT300TIMEOUT300
Ω(n^1),INF2.67Ω(n^1),INF2.19MAYBE299.48MAYBE292.29TIMEOUT300
Ω(n^1),INF2.79Ω(n^1),INF2.54MAYBE299.36MAYBE62.32TIMEOUT300
Ω(n^1),INF12.28Ω(n^1),INF12.83MAYBE299.42MAYBE76.54TIMEOUT300
MAYBE1.45MAYBE1.22Ω(1),O(1)30.42Ω(1),O(1)17.89Ω(1),O(1)1.81
MAYBE1.66MAYBE1.42Ω(1),O(1)0.2Ω(1),O(1)0.1Ω(1),O(1)1.77
MAYBE1.82MAYBE1.53MAYBE299.32MAYBE19.81Ω(1),O(1)33.2
Ω(n^1),INF2.92Ω(n^1),INF2.55MAYBE299.5MAYBE292.16TIMEOUT300
Ω(n^2),INF3.42Ω(n^2),INF2.75TIMEOUT300MAYBE108.24TIMEOUT300
Ω(n^2),INF3.35Ω(n^2),INF3.1MAYBE299.32MAYBE292.07TIMEOUT300
Ω(n^2),INF2.93Ω(n^2),INF2.57MAYBE299.51MAYBE115.7TIMEOUT300
Ω(n^1),INF3.74Ω(n^1),INF3.89MAYBE299.42MAYBE62.13TIMEOUT300
Ω(n^1),INF2.77Ω(n^1),INF2.08MAYBE299.48MAYBE251.55TIMEOUT300
Ω(n^1),INF3.19Ω(n^1),INF3.03MAYBE299.54MAYBE292.35TIMEOUT300
Ω(n^2),INF4.43Ω(n^2),INF3.85TIMEOUT300MAYBE292.7TIMEOUT300
Ω(n^1),INF4.18Ω(n^1),INF4.07TIMEOUT300MAYBE299.94TIMEOUT300
Ω(n^2),INF4.01Ω(n^2),INF3.53TIMEOUT300MAYBE292.25TIMEOUT300
Ω(n^2),INF3.51Ω(n^2),INF3.99MAYBE299.33MAYBE292.11TIMEOUT300
Ω(n^2),INF4.55Ω(n^2),INF3.98MAYBE299.2MAYBE292.22TIMEOUT300
Ω(n^2),INF4.24Ω(n^2),INF4.22TIMEOUT300MAYBE292.16TIMEOUT300
MAYBE1.73MAYBE1.4TIMEOUT300Ω(1),O(n^1)292.55Ω(1),O(n^2)2.98
Ω(n^1),INF6.1Ω(n^1),INF6.06MAYBE299.38MAYBE70.52TIMEOUT300
Ω(n^1),INF3.1Ω(n^1),INF3.4MAYBE299.44MAYBE68.98TIMEOUT300
Ω(n^1),INF5.88Ω(n^1),INF5.77MAYBE299.32MAYBE292.8TIMEOUT300
Ω(n^1),INF6.17Ω(n^1),INF6.03TIMEOUT300MAYBE292.21TIMEOUT300
Ω(n^1),INF5.15Ω(n^1),INF4.98TIMEOUT300MAYBE149.06TIMEOUT300
Ω(n^1),INF4.28Ω(n^1),INF4.26MAYBE299.25MAYBE164.91TIMEOUT300
Ω(n^1),INF4.2Ω(n^1),INF4.21MAYBE299.33MAYBE102.08TIMEOUT300
Ω(n^1),INF2.95Ω(n^1),INF3.56MAYBE299.35MAYBE142.57TIMEOUT300
Ω(n^1),INF4.05Ω(n^1),INF4.05MAYBE299.47MAYBE62.91TIMEOUT300
Ω(n^1),INF3.34Ω(n^1),INF3.31TIMEOUT300MAYBE292.26TIMEOUT300
Ω(n^1),INF1.82Ω(n^1),INF2.2MAYBE299.43MAYBE174.31TIMEOUT300
Ω(n^1),INF5.34Ω(n^1),INF5.4MAYBE299.41MAYBE25.43TIMEOUT300
Ω(n^1),INF5.01Ω(n^1),INF5.03MAYBE299.65MAYBE292.26TIMEOUT300
Ω(n^1),INF1.65Ω(n^1),INF1.76Ω(1),O(n^1)2.11Ω(1),O(n^1)0.98Ω(1),O(n^2)2.0
Ω(n^1),INF1.36Ω(n^1),INF1.81Ω(1),O(n^1)299.26Ω(1),O(n^1)12.77Ω(1),O(n^1)13.91
Ω(n^1),INF1.53Ω(n^1),INF1.75Ω(1),O(n^1)0.66Ω(1),O(n^1)0.34Ω(1),O(n^1)1.97
Ω(n^1),INF300Ω(n^1),INF300Ω(1),O(n^1)3.94Ω(1),O(n^1)2.69Ω(1),O(n^1)2.97
Ω(n^1),INF2.18Ω(n^1),INF2.07Ω(1),O(n^1)0.42Ω(1),O(n^1)0.34Ω(1),O(n^1)2.0
Ω(n^1),INF2.3Ω(n^1),INF2.14Ω(1),O(n^1)0.63Ω(1),O(n^1)0.29Ω(1),O(n^1)1.96
Ω(n^3),INF4.04Ω(n^3),INF4.07Ω(1),O(n^3)31.54Ω(1),O(n^3)11.38Ω(1),O(n^3)3.68
Ω(n^1),INF2.47Ω(n^1),INF2.53Ω(1),O(n^1)1.96Ω(1),O(n^1)0.69Ω(1),O(n^1)2.04
Ω(n^1),INF2.09Ω(n^1),INF2.21Ω(1),O(n^1)0.89Ω(1),O(n^1)0.68Ω(1),O(n^1)2.09
Ω(2^n),INF7.8Ω(2^n),INF8.01MAYBE10.21MAYBE4.02MAYBE12.23
Ω(n^1),INF4.73Ω(n^2),INF5.1Ω(1),O(n^2)8.15Ω(1),O(n^2)3.94Ω(1),O(n^2)2.52
Ω(n^1),INF16.19Ω(n^1),INF4.61Ω(1),O(n^1)0.48Ω(1),O(n^1)0.27Ω(1),O(n^2)1.93
Ω(n^1),INF3.06Ω(n^1),INF3.16Ω(1),O(n^2)4.27Ω(1),O(n^2)1.53Ω(1),O(n^2)2.24
Ω(n^2),INF2.79Ω(n^2),INF2.83Ω(1),O(n^2)24.99Ω(1),O(n^2)5.09Ω(1),O(n^2)2.67
Ω(n^1),INF6.49Ω(n^1),INF2.1Ω(1),O(n^1)0.45Ω(1),O(n^1)0.4Ω(1),O(n^1)1.93
Ω(2^n),INF2.3Ω(2^n),INF2.46MAYBE32.65MAYBE4.26MAYBE13.16
Ω(n^1),INF5.52Ω(n^1),INF4.48Ω(1),O(n^2)5.62Ω(1),O(n^2)4.29Ω(1),O(n^2)2.45
Ω(n^2),INF6.89Ω(n^2),INF300MAYBE299.21MAYBE17.86TIMEOUT300
Ω(2^n),INF1.82Ω(2^n),INF1.99MAYBE17.72MAYBE3.5MAYBE37.47
Ω(2^n),INF2.56Ω(2^n),INF2.61MAYBE299.34MAYBE19.01TIMEOUT300
Ω(2^n),INF3.64Ω(3^n),INF3.2MAYBE299.35MAYBE102.66TIMEOUT300
Ω(n^1),INF2.92Ω(n^1),INF3.02MAYBE299.11MAYBE40.87TIMEOUT300
Ω(n^1),INF2.74Ω(n^1),INF2.81MAYBE299.22MAYBE3.56TIMEOUT300
Ω(n^1),INF300Ω(n^1),INF3.48Ω(1),O(n^1)2.45Ω(1),O(n^1)0.63Ω(1),O(n^1)1.83
MAYBE1.18MAYBE1.16Ω(1),O(1)0.48Ω(1),O(1)0.33Ω(1),O(1)1.72
Ω(n^1),INF2.22Ω(n^1),INF2.23Ω(1),O(n^1)1.48Ω(1),O(n^1)0.23Ω(1),O(n^1)1.98
Ω(n^1),INF1.53Ω(n^1),INF1.77Ω(1),O(n^1)5.24Ω(1),O(n^1)7.13Ω(1),O(n^1)1.99
MAYBE1.46MAYBE1.41Ω(1),O(1)0.77Ω(1),O(1)0.22Ω(1),O(n^1)2.07
Ω(n^1),INF2.07Ω(n^1),INF2.01Ω(1),O(n^1)2.14Ω(1),O(n^1)0.55Ω(1),O(n^1)3.41
Ω(n^2),INF2.42Ω(n^2),INF2.43Ω(1),O(n^2)25.87Ω(1),O(n^2)10.79Ω(1),O(n^2)12.53
Ω(n^1),INF1.55Ω(n^1),INF1.53Ω(1),O(n^1)2.15Ω(1),O(n^1)0.35Ω(1),O(n^1)1.98
Ω(n^1),INF1.99Ω(n^1),INF1.9Ω(1),O(n^1)1.47Ω(1),O(n^1)1.04Ω(1),O(n^1)2.04
Ω(n^1),INF1.56Ω(n^1),INF1.58Ω(1),O(n^1)30.3Ω(1),O(n^1)10.32Ω(1),O(n^1)2.57
Ω(2^n),INF5.4Ω(2^n),INF4.96MAYBE299.37MAYBE83.21MAYBE12.05
Ω(n^1),INF2.04Ω(n^1),INF2.49Ω(1),O(n^1)6.0Ω(1),O(n^1)2.62Ω(1),O(n^1)2.33
Ω(n^1),INF300Ω(n^1),INF8.58Ω(1),O(n^1)5.43Ω(1),O(n^1)1.09Ω(1),O(n^1)1.98
Ω(n^1),INF1.3Ω(n^1),INF1.62Ω(1),O(n^1)0.63Ω(1),O(n^1)0.3Ω(1),O(n^1)1.91
MAYBE1.39MAYBE1.17Ω(1),O(1)0.64Ω(1),O(1)0.52Ω(1),O(1)1.79
MAYBE1.31MAYBE1.25Ω(1),O(n^1)3.03Ω(1),O(1)0.71Ω(1),O(1)1.77
Ω(n^1),INF1.34Ω(n^1),INF1.66Ω(1),O(n^1)0.38Ω(1),O(n^1)0.23Ω(1),O(n^1)1.95
Ω(n^1),INF2.46Ω(n^1),INF2.36MAYBE299.52MAYBE41.95TIMEOUT300
Ω(n^1),INF4.5Ω(n^1),INF4.48MAYBE299.39MAYBE214.38TIMEOUT300
Ω(n^1),INF1.58Ω(n^1),INF2.15Ω(1),O(n^1)0.66Ω(1),O(n^1)0.64Ω(1),O(n^1)1.98
Ω(n^1),INF2.23Ω(n^1),INF2.1Ω(1),O(n^1)0.32Ω(1),O(n^1)0.37Ω(1),O(n^1)1.93
Ω(n^1),INF1.44Ω(n^1),INF1.77Ω(1),O(n^1)0.33Ω(1),O(n^1)0.51Ω(1),O(n^2)1.99
MAYBE1.44MAYBE1.42Ω(1),O(n^1)0.2Ω(1),O(n^1)0.35Ω(1),O(n^1)1.9
MAYBE2.0MAYBE2.02Ω(1),O(n^1)4.01Ω(1),O(n^1)1.53Ω(1),O(n^2)3.66
Ω(n^1),INF300Ω(n^1),INF300Ω(1),O(n^2)4.63Ω(1),O(n^2)5.36Ω(1),O(n^3)2.02
INF,INF1.61INF,INF1.28TIMEOUT300MAYBE19.2TIMEOUT300
MAYBE1.6MAYBE1.27Ω(1),O(1)0.54Ω(1),O(1)0.11Ω(1),O(1)1.8
MAYBE1.54MAYBE1.27Ω(1),O(1)5.31Ω(1),O(1)2.53Ω(1),O(1)1.77
Ω(n^1),INF2.33Ω(n^1),INF2.5Ω(1),O(n^2)29.01Ω(1),O(n^2)7.77Ω(1),O(n^2)2.03
Ω(n^1),INF4.22Ω(n^1),INF3.77Ω(1),O(n^1)5.11Ω(1),O(n^1)7.13Ω(1),O(n^1)2.19
Ω(n^1),INF25.65Ω(n^1),INF2.45Ω(1),O(n^1)30.18Ω(1),O(n^2)5.64Ω(1),O(n^1)2.07
Ω(n^1),INF2.0Ω(n^1),INF1.66Ω(1),O(n^1)1.33Ω(1),O(n^1)0.86Ω(1),O(n^1)2.07
Ω(n^1),INF2.08Ω(n^2),INF3.25Ω(1),O(n^2)20.31Ω(1),O(n^2)43.95TIMEOUT300
MAYBE1.61MAYBE1.28Ω(1),O(1)0.73Ω(1),O(1)0.62Ω(1),O(1)1.79
Ω(n^1),INF2.08Ω(n^1),INF2.23MAYBE43.81MAYBE20.03TIMEOUT300
Ω(n^1),INF2.96Ω(n^1),INF3.04MAYBE299.37MAYBE292.68TIMEOUT300
Ω(n^1),INF2.41Ω(n^1),INF2.56Ω(1),O(n^1)0.59Ω(1),O(n^1)0.32Ω(1),O(n^1)1.9
Ω(n^1),INF2.25Ω(n^1),INF2.22Ω(1),O(n^1)299.98Ω(1),O(n^1)5.9Ω(1),O(n^1)3.84
Ω(n^1),INF300Ω(n^1),INF2.37MAYBE299.12MAYBE292.15TIMEOUT300
Ω(n^1),INF300Ω(n^1),INF300Ω(1),O(n^1)2.38Ω(1),O(n^1)1.76Ω(1),O(n^2)2.13
Ω(n^1),INF1.8Ω(n^1),INF1.34Ω(1),O(n^1)1.11Ω(1),O(n^1)0.44Ω(1),O(n^1)2.0
Ω(n^1),INF3.28Ω(n^1),INF2.83Ω(1),O(n^1)14.89Ω(1),O(n^1)8.18Ω(1),O(n^1)54.81
Ω(2^n),INF4.16Ω(2^n),INF3.1MAYBE299.26MAYBE12.62MAYBE4.59
INF,INF1.76INF,INF1.18MAYBE299.23MAYBE26.96MAYBE92.73
MAYBE1.81MAYBE1.23Ω(1),O(1)0.28Ω(1),O(1)0.11Ω(1),O(1)1.81
Ω(n^1),INF1.62Ω(n^1),INF1.79Ω(1),O(n^1)1.24Ω(1),O(n^1)1.14Ω(1),O(n^1)2.15
Ω(n^1),INF2.41Ω(n^1),INF2.35MAYBE299.36MAYBE16.94TIMEOUT300
Ω(n^1),INF2.19Ω(n^1),INF2.17MAYBE299.42Ω(1),O(n^3)24.96MAYBE56.28
Ω(n^1),INF1.28Ω(n^1),INF1.6Ω(1),O(n^1)0.21Ω(1),O(n^1)0.13Ω(1),O(n^1)2.02
MAYBE1.34MAYBE1.34Ω(1),O(1)2.03Ω(1),O(1)0.17Ω(1),O(1)1.92
MAYBE1.32MAYBE1.24Ω(1),O(1)0.82Ω(1),O(1)0.1Ω(1),O(1)1.77
MAYBE1.31MAYBE1.42Ω(1),O(n^1)2.03Ω(1),O(n^1)0.74Ω(1),O(n^1)2.02
Ω(n^1),INF5.8Ω(n^1),INF5.98Ω(1),O(n^1)3.06Ω(1),O(n^1)1.98Ω(1),O(n^1)1.97
Ω(2^n),INF2.37Ω(2^n),INF2.69TIMEOUT300MAYBE4.77MAYBE189.32
MAYBE1.51MAYBE1.49Ω(1),O(1)30.47Ω(1),O(1)294.24Ω(1),O(1)1.74
Ω(2^n),INF5.14Ω(2^n),INF3.05MAYBE30.17MAYBE25.06MAYBE12.43
Ω(2^n),INF108.3Ω(2^n),INF29.86TIMEOUT300MAYBE292.53TIMEOUT300
Ω(2^n),INF5.36Ω(2^n),INF2.82MAYBE299.46MAYBE292.33TIMEOUT300
Ω(n^1),INF1.68Ω(n^1),INF1.59Ω(1),O(n^1)30.08Ω(1),O(n^1)120.61Ω(1),O(n^1)1.95
Ω(n^1),INF1.34Ω(n^1),INF1.62Ω(1),O(n^1)4.31Ω(1),O(n^1)4.49Ω(1),O(n^1)1.94
Ω(n^1),INF1.62Ω(n^1),INF1.62Ω(1),O(n^1)2.43Ω(1),O(n^1)292.14Ω(1),O(n^1)1.95
Ω(n^1),INF4.72Ω(n^1),INF4.81MAYBE299.22MAYBE12.27Ω(1),O(n^1)23.87
Ω(n^1),INF1.45Ω(n^1),INF1.69Ω(1),O(n^1)2.13Ω(1),O(n^1)1.07Ω(1),O(n^1)2.89
Ω(n^1),INF1.92Ω(n^1),INF1.99Ω(1),O(n^1)11.58Ω(1),O(n^1)3.95Ω(1),O(n^1)1.97
Ω(n^1),INF2.41Ω(n^1),INF2.46TIMEOUT300MAYBE24.87MAYBE105.37
MAYBE1.35MAYBE1.36MAYBE299.33MAYBE2.56Ω(1),O(1)1.87
Ω(n^1),INF2.37Ω(n^1),INF2.07MAYBE299.23MAYBE24.86Ω(1),O(n^2)8.81
Ω(n^1),INF3.1Ω(n^1),INF3.3Ω(1),O(n^2)33.69Ω(1),O(n^3)12.16Ω(1),O(n^2)2.28
Ω(n^1),INF1.87Ω(n^1),INF1.91Ω(1),O(n^1)7.63Ω(1),O(n^1)7.09Ω(1),O(n^2)12.65
Ω(n^1),INF3.25Ω(n^1),INF3.27TIMEOUT300MAYBE292.32TIMEOUT300
Ω(n^1),INF1.66Ω(n^1),INF1.67Ω(1),O(n^1)0.64Ω(1),O(n^1)292.04Ω(1),O(n^1)1.93
Ω(n^1),INF2.09Ω(n^1),INF2.46MAYBE299.42MAYBE12.01Ω(1),O(n^2)4.74
Ω(n^1),INF2.44Ω(n^1),INF2.54MAYBE299.2MAYBE292.55Ω(1),O(n^2)15.23
Ω(n^1),INF3.42Ω(n^1),INF3.4MAYBE299.98MAYBE171.88Ω(1),O(n^2)22.18
Ω(n^1),INF2.29Ω(n^1),INF2.27MAYBE299.37MAYBE94.83Ω(1),O(n^2)13.53
Ω(n^1),INF2.92Ω(n^1),INF2.9Ω(1),O(n^1)8.76Ω(1),O(n^2)3.91Ω(1),O(n^1)2.49
Ω(n^2),INF2.0Ω(n^2),INF1.96Ω(1),O(n^5)74.39Ω(1),O(n^3)47.06TIMEOUT300
Ω(n^1),INF1.9Ω(n^1),INF1.92Ω(1),O(n^1)5.04Ω(1),O(n^1)4.0Ω(1),O(n^2)63.29
Ω(n^1),INF6.33Ω(n^1),INF6.24MAYBE299.38MAYBE293.98TIMEOUT300
Ω(n^1),INF5.04Ω(n^2),INF5.36Ω(1),O(n^3)58.71Ω(1),O(n^2)216.35TIMEOUT300
Ω(n^1),INF1.36Ω(n^1),INF1.32Ω(1),O(n^1)1.73Ω(1),O(n^1)1.08Ω(1),O(n^1)2.08
Ω(n^1),INF1.33Ω(n^1),INF1.28Ω(1),O(n^1)0.79Ω(1),O(n^1)1.02Ω(1),O(n^1)2.11
MAYBE1.29MAYBE1.27Ω(1),O(1)0.27Ω(1),O(1)0.21Ω(1),O(1)1.72
INF,INF3.08INF,INF3.21MAYBE30.16MAYBE9.74TIMEOUT300
INF,INF1.25INF,INF1.22MAYBE15.6MAYBE3.68MAYBE62.05
INF,INF1.34INF,INF1.3MAYBE15.64MAYBE3.42MAYBE118.71
INF,INF1.4INF,INF1.52MAYBE20.85MAYBE6.95MAYBE161.71
INF,INF1.48INF,INF1.37MAYBE21.25MAYBE4.58MAYBE164.05
INF,INF1.3INF,INF1.27MAYBE299.28MAYBE51.16MAYBE4.07
INF,INF1.35INF,INF1.33MAYBE20.6MAYBE3.94MAYBE125.98
INF,INF1.22INF,INF1.24MAYBE9.99MAYBE15.1MAYBE13.82
INF,INF1.39INF,INF1.41MAYBE299.38MAYBE33.77TIMEOUT300
INF,INF1.4INF,INF1.41MAYBE22.04MAYBE3.34MAYBE130.63
INF,INF1.3INF,INF1.22MAYBE16.32MAYBE2.57MAYBE110.42
INF,INF1.97INF,INF1.67MAYBE23.75MAYBE4.17TIMEOUT300
INF,INF1.5INF,INF1.47TIMEOUT300MAYBE18.58TIMEOUT300
INF,INF1.17INF,INF1.2MAYBE299.38MAYBE6.46TIMEOUT300
INF,INF1.2INF,INF1.16MAYBE299.18MAYBE10.85MAYBE101.26
INF,INF2.1INF,INF2.1MAYBE30.09MAYBE8.11TIMEOUT300
INF,INF1.24INF,INF1.2MAYBE16.78MAYBE2.78MAYBE111.34
INF,INF1.15INF,INF1.18MAYBE9.53MAYBE7.05MAYBE12.14
Ω(n^1),INF1.85Ω(n^1),INF1.88Ω(1),O(n^1)4.08Ω(1),O(n^1)1.49Ω(1),O(n^1)2.3
INF,INF1.89INF,INF1.87TIMEOUT300MAYBE17.58MAYBE4.8
INF,INF2.66INF,INF2.4MAYBE30.11MAYBE8.87TIMEOUT300
INF,INF1.21INF,INF1.24MAYBE9.57MAYBE7.07MAYBE12.32
INF,INF1.66INF,INF1.76MAYBE32.06MAYBE9.63TIMEOUT300
INF,INF1.36INF,INF1.25MAYBE17.83MAYBE3.94MAYBE62.58
INF,INF1.19INF,INF1.1MAYBE8.53MAYBE7.08MAYBE12.15
INF,INF1.33INF,INF1.26MAYBE15.58MAYBE3.64MAYBE111.62
INF,INF1.46INF,INF1.36MAYBE19.53MAYBE3.38MAYBE123.34
INF,INF1.99INF,INF1.99MAYBE299.54MAYBE11.94TIMEOUT300
INF,INF2.57INF,INF2.59MAYBE235.93MAYBE27.71TIMEOUT300
INF,INF3.5INF,INF3.6MAYBE30.2MAYBE12.24TIMEOUT300
INF,INF1.17INF,INF1.2MAYBE10.0MAYBE7.05MAYBE12.23
INF,INF1.82INF,INF1.39MAYBE18.17MAYBE18.74TIMEOUT300
INF,INF1.25INF,INF1.29MAYBE18.4MAYBE11.36TIMEOUT300
INF,INF1.74INF,INF1.58MAYBE299.5MAYBE88.15TIMEOUT300
INF,INF2.48INF,INF2.18MAYBE299.44MAYBE292.22TIMEOUT300
INF,INF1.21INF,INF1.2MAYBE8.28MAYBE7.04MAYBE12.42
INF,INF1.23INF,INF1.59MAYBE15.58MAYBE3.13MAYBE61.34
INF,INF1.16INF,INF1.16MAYBE8.27MAYBE7.07MAYBE12.48
INF,INF1.18INF,INF1.19MAYBE299.27MAYBE8.2MAYBE12.29
INF,INF1.18INF,INF1.1MAYBE9.03MAYBE7.05MAYBE12.3
MAYBE1.46MAYBE1.51TIMEOUT300MAYBE10.65TIMEOUT300
INF,INF1.84INF,INF1.67MAYBE299.27MAYBE24.43TIMEOUT300
INF,INF1.21INF,INF1.19MAYBE240.98MAYBE33.59MAYBE21.45
Ω(n^1),INF1.43Ω(n^1),INF1.7Ω(1),O(n^1)11.34Ω(1),O(n^1)8.32Ω(1),O(n^1)1.94
Ω(n^1),INF2.27Ω(n^1),INF2.29TIMEOUT300MAYBE12.95Ω(1),O(n^1)2.28
Ω(n^1),INF2.23Ω(n^1),INF2.25MAYBE299.4MAYBE19.17Ω(1),O(n^1)2.42
Ω(n^1),INF1.28Ω(n^1),INF1.71Ω(1),O(n^1)1.04Ω(1),O(n^1)0.67Ω(1),O(n^1)2.36
MAYBE1.31MAYBE1.33Ω(1),O(1)7.36Ω(1),O(1)1.42Ω(1),O(1)1.82
Ω(n^1),INF11.38Ω(n^1),INF11.92Ω(1),POLY211.69MAYBE74.54TIMEOUT300
Ω(n^1),INF3.23Ω(n^1),INF3.3Ω(1),POLY34.99MAYBE12.48TIMEOUT300
Ω(n^1),INF4.32Ω(n^1),INF4.48Ω(1),O(n^10)111.98MAYBE292.27TIMEOUT300
Ω(n^1),INF2.67Ω(n^1),INF3.14Ω(1),O(n^5)42.41Ω(1),O(n^5)64.32TIMEOUT300
Ω(n^1),INF3.48Ω(n^1),INF4.26Ω(1),O(n^2)27.74Ω(1),O(n^2)12.63Ω(1),O(n^2)2.88
Ω(n^1),INF193.01Ω(n^1),INF212.6MAYBE299.73MAYBE294.86Ω(1),O(n^1)178.81
Ω(n^1),INF1.6Ω(n^1),INF2.14Ω(1),O(n^1)2.48Ω(1),O(n^1)0.95Ω(1),O(n^1)2.03
Ω(n^1),INF9.43Ω(n^1),INF9.28MAYBE299.9TIMEOUT300TIMEOUT300
MAYBE0.23MAYBE0.24MAYBE0.05MAYBE0.41MAYBE0.36
Ω(n^2),INF4.92Ω(n^2),INF4.42Ω(1),O(n^2)6.14Ω(1),O(n^2)3.85Ω(1),O(n^2)2.15
Ω(n^1),INF1.87Ω(n^1),INF2.46MAYBE299.62MAYBE292.29Ω(1),O(n^1)64.89
Ω(n^1),INF1.47Ω(n^1),INF1.7Ω(1),O(n^1)1.46Ω(1),O(n^1)0.79Ω(1),O(n^1)2.04
Ω(n^1),INF1.67Ω(n^1),INF1.97MAYBE299.22MAYBE13.31TIMEOUT300
MAYBE0.24MAYBE0.23MAYBE0.03MAYBE0.05MAYBE0.34
MAYBE1.16MAYBE1.19Ω(1),O(1)0.63Ω(1),O(1)0.21Ω(1),O(1)1.81
Ω(n^1),INF1.94Ω(n^1),INF2.54MAYBE299.73MAYBE292.26Ω(1),O(n^3)69.39
Ω(n^1),INF10.92Ω(n^1),INF14.11MAYBE299.16MAYBE62.37TIMEOUT300
Ω(n^1),INF2.11Ω(n^1),INF2.02Ω(1),O(n^2)299.27Ω(1),O(n^3)54.25TIMEOUT300
INF,INF1.16INF,INF1.15MAYBE9.62MAYBE7.12MAYBE12.18
INF,INF1.35INF,INF1.41MAYBE299.17MAYBE14.42TIMEOUT300
Ω(n^1),INF1.84Ω(n^1),INF2.38MAYBE299.15MAYBE292.31Ω(1),O(n^2)52.5
Ω(n^1),INF2.42Ω(n^1),INF3.37MAYBE299.36MAYBE75.93TIMEOUT300
Ω(n^1),INF1.76Ω(n^1),INF2.06Ω(1),O(n^1)86.96Ω(1),O(n^1)292.16Ω(1),O(n^1)36.31
Ω(n^1),INF1.66Ω(n^1),INF1.87Ω(1),O(n^1)4.75Ω(1),O(n^1)1.18Ω(1),O(n^1)1.96
Ω(n^1),INF1.39Ω(n^1),INF1.44Ω(1),O(n^1)2.43Ω(1),O(n^1)0.79Ω(1),O(n^1)1.93
INF,INF1.25INF,INF1.19MAYBE8.69MAYBE7.06MAYBE12.14
MAYBE1.29MAYBE1.33Ω(1),O(n^1)2.36Ω(1),O(1)0.51Ω(1),O(1)1.75
Ω(n^1),INF2.91Ω(n^1),INF3.27TIMEOUT300MAYBE292.19Ω(1),O(n^1)84.56
Ω(2^n),INF1.69Ω(2^n),INF2.1MAYBE299.24MAYBE11.85TIMEOUT300
Ω(n^1),INF2.5Ω(n^1),INF2.97Ω(1),O(n^1)19.48Ω(1),O(n^1)11.24Ω(1),O(n^1)3.09
MAYBE0.24MAYBE0.23MAYBE0.15MAYBE0.13MAYBE0.35
Ω(2^n),INF1.62Ω(2^n),INF1.68MAYBE34.2MAYBE10.46TIMEOUT300
Ω(n^1),INF1.62Ω(n^1),INF1.85MAYBE299.17MAYBE292.67Ω(1),O(n^1)22.89
Ω(n^1),INF85.96Ω(n^1),INF86.36Ω(1),O(n^1)12.82Ω(1),O(n^1)7.05Ω(1),O(n^1)1.92
INF,INF1.15INF,INF1.15MAYBE10.58MAYBE7.12MAYBE12.46
Ω(n^1),INF1.74Ω(n^1),INF1.97Ω(1),O(n^1)52.91Ω(1),O(n^1)262.98Ω(1),O(n^1)37.18
Ω(n^1),INF1.7Ω(n^1),INF1.76Ω(1),O(n^1)0.44Ω(1),O(n^1)0.31Ω(1),O(n^1)1.87
Ω(n^1),INF2.04Ω(n^1),INF1.94Ω(1),O(n^1)0.87Ω(1),O(n^1)0.26Ω(1),O(n^1)1.9
MAYBE1.24MAYBE1.25Ω(1),O(1)0.47Ω(1),O(1)0.11Ω(1),O(1)1.76
Ω(n^1),INF2.34Ω(n^1),INF2.67MAYBE299.36MAYBE292.42Ω(1),O(n^3)73.64
Ω(n^1),INF1.81Ω(n^1),INF1.84MAYBE299.18MAYBE292.47TIMEOUT300
Ω(n^1),INF1.84Ω(n^1),INF1.81Ω(1),O(n^1)4.23Ω(1),O(n^1)3.71Ω(1),O(n^1)2.16
INF,INF1.16INF,INF1.19MAYBE8.3MAYBE7.28MAYBE12.14
Ω(n^1),INF1.95Ω(n^1),INF1.89MAYBE299.19MAYBE292.24TIMEOUT300
Ω(n^1),INF3.15Ω(n^1),INF3.81MAYBE299.27MAYBE292.22Ω(1),O(n^2)72.17
Ω(n^1),INF2.1Ω(n^1),INF2.31Ω(1),O(n^1)8.6Ω(1),O(n^1)5.64Ω(1),O(n^1)2.03
Ω(n^2),INF2.57Ω(n^2),INF2.59MAYBE299.44MAYBE295.5TIMEOUT300
MAYBE0.24MAYBE0.23MAYBE0.04MAYBE0.04MAYBE0.35
INF,INF1.28INF,INF1.34MAYBE299.24MAYBE32.83MAYBE60.32
Ω(n^1),INF1.63Ω(n^1),INF2.03MAYBE299.19MAYBE292.25Ω(1),O(n^2)28.12
Ω(n^1),INF1.96Ω(n^1),INF2.03MAYBE299.35MAYBE86.06TIMEOUT300
INF,INF1.15INF,INF1.17MAYBE8.47MAYBE7.05MAYBE12.2
Ω(n^1),INF2.62Ω(n^1),INF3.57MAYBE299.2MAYBE293.08Ω(1),O(n^2)67.8
Ω(n^1),INF1.66Ω(n^1),INF1.66Ω(1),O(n^1)1.29Ω(1),O(n^1)0.72Ω(1),O(n^2)2.04
Ω(n^1),INF1.83Ω(n^1),INF1.98MAYBE299.48MAYBE31.75TIMEOUT300
MAYBE0.24MAYBE0.24MAYBE0.03MAYBE0.03MAYBE0.35
Ω(n^1),INF2.37Ω(n^1),INF2.45Ω(1),O(n^2)30.06Ω(1),O(n^1)292.15Ω(1),O(n^2)2.33
Ω(n^1),INF2.5Ω(n^1),INF3.07Ω(1),O(n^1)299.2Ω(1),O(n^1)292.17TIMEOUT300
INF,INF1.87INF,INF1.77TIMEOUT300MAYBE35.21TIMEOUT300
Ω(n^1),INF4.88Ω(n^1),INF5.0MAYBE299.26MAYBE64.63TIMEOUT300
MAYBE0.24MAYBE0.24MAYBE0.06MAYBE0.03MAYBE0.35
INF,INF1.36INF,INF1.36MAYBE43.49MAYBE17.46TIMEOUT300
Ω(n^1),INF1.4Ω(n^1),INF1.53Ω(1),O(n^1)37.27Ω(1),O(n^1)292.15Ω(1),O(n^1)21.9
INF,INF1.18INF,INF1.18MAYBE299.16MAYBE292.53MAYBE14.14
MAYBE1.36MAYBE1.38Ω(1),O(n^1)0.72Ω(1),O(1)0.82Ω(1),O(n^1)1.89
INF,INF1.18INF,INF1.18MAYBE7.41MAYBE7.09MAYBE12.15
Ω(n^1),INF1.71Ω(n^1),INF2.14Ω(1),O(n^1)92.66Ω(1),O(n^1)292.44Ω(1),O(n^1)52.15
Ω(n^1),INF1.74Ω(n^1),INF1.78Ω(1),O(n^1)0.91Ω(1),O(n^1)0.37Ω(1),O(n^1)1.93
Ω(n^1),INF2.04Ω(n^1),INF2.02Ω(1),O(n^1)0.75Ω(1),O(n^1)0.64Ω(1),O(n^1)1.95
MAYBE1.3MAYBE1.26Ω(1),O(1)0.18Ω(1),O(1)0.16Ω(1),O(1)1.74
Ω(n^1),INF1.86Ω(n^1),INF2.08MAYBE299.2MAYBE292.15Ω(1),O(n^3)37.97
Ω(n^1),INF1.53Ω(n^1),INF1.85MAYBE299.35MAYBE12.98TIMEOUT300
Ω(n^1),INF2.1Ω(n^1),INF2.32Ω(1),O(n^1)9.52Ω(1),O(n^1)5.16Ω(1),O(n^1)2.0
INF,INF1.19INF,INF1.2MAYBE7.71MAYBE7.12MAYBE12.14
MAYBE1.59MAYBE1.61MAYBE299.45MAYBE5.23MAYBE56.64
Ω(n^1),INF1.65Ω(n^1),INF2.0Ω(1),O(n^2)167.84MAYBE292.27Ω(1),O(n^1)29.24
Ω(n^1),INF1.8Ω(n^1),INF1.66Ω(1),O(n^1)2.18Ω(1),O(n^1)59.43Ω(1),O(n^1)1.96
INF,INF1.21INF,INF1.17MAYBE11.03MAYBE7.09MAYBE12.46
Ω(n^1),INF1.69Ω(n^1),INF2.11Ω(1),O(n^1)123.03Ω(1),O(n^1)173.63Ω(1),O(n^1)69.02
Ω(n^1),INF2.03Ω(n^1),INF2.47Ω(1),O(n^1)1.27Ω(1),O(n^1)0.52Ω(1),O(n^1)1.96
Ω(n^1),INF1.45Ω(n^1),INF1.93Ω(1),O(n^1)2.25Ω(1),O(n^1)1.12Ω(1),O(n^1)1.96
MAYBE1.37MAYBE1.45Ω(1),O(1)0.81Ω(1),O(1)0.31Ω(1),O(1)1.79
Ω(n^1),INF3.93Ω(n^1),INF4.8TIMEOUT300TIMEOUT300Ω(1),O(n^2)103.3
Ω(n^1),INF1.68Ω(n^1),INF1.73Ω(1),O(n^1)2.74Ω(1),O(n^1)1.66Ω(1),O(n^1)2.14
Ω(n^1),INF2.89Ω(n^1),INF2.93MAYBE299.24Ω(1),O(n^2)166.17TIMEOUT300
MAYBE1.22MAYBE1.18Ω(1),O(1)0.67Ω(1),O(1)0.52Ω(1),O(1)1.81
MAYBE1.68MAYBE1.68Ω(1),O(1)1.39Ω(1),O(1)0.53Ω(1),O(1)1.85
Ω(n^1),INF5.11Ω(n^1),INF6.03MAYBE299.18TIMEOUT300Ω(1),O(n^1)107.65
Ω(n^1),INF1.65Ω(n^1),INF1.71Ω(1),O(n^1)4.04Ω(1),O(n^1)1.24Ω(1),O(n^1)1.96
Ω(n^1),INF5.33Ω(n^1),INF5.02TIMEOUT300TIMEOUT300TIMEOUT300
Ω(n^3),INF2.72Ω(n^3),INF2.72MAYBE69.46Ω(1),O(n^3)13.77TIMEOUT300
Ω(n^3),INF3.37Ω(n^3),INF3.62MAYBE52.47Ω(1),O(n^3)16.01TIMEOUT300
Ω(n^1),INF2.87Ω(n^1),INF3.13MAYBE299.83MAYBE294.42Ω(1),O(n^3)74.63
Ω(n^1),INF1.86Ω(n^1),INF1.67Ω(1),O(n^1)30.07Ω(1),O(n^3)14.06TIMEOUT300
Ω(n^1),INF1.98Ω(n^1),INF5.8Ω(1),O(n^2)299.66Ω(1),O(n^2)30.31TIMEOUT300
MAYBE1.14MAYBE1.19Ω(1),O(1)0.35Ω(1),O(1)0.24Ω(1),O(1)1.76
Ω(n^1),INF1.8Ω(n^1),INF1.72Ω(1),O(n^1)3.35Ω(1),O(n^1)2.71Ω(1),O(n^1)2.21
Ω(n^1),INF2.2Ω(n^1),INF2.54MAYBE299.23MAYBE292.38Ω(1),O(n^2)59.92
Ω(n^1),INF1.39Ω(n^1),INF1.37Ω(1),O(n^1)0.82Ω(1),O(n^1)0.49Ω(1),O(n^2)1.99
Ω(n^1),INF1.85Ω(n^1),INF1.9TIMEOUT300MAYBE26.29TIMEOUT300
MAYBE0.24MAYBE0.23MAYBE0.04MAYBE0.03MAYBE0.34
Ω(n^1),INF2.09Ω(n^1),INF2.2Ω(1),O(n^1)0.99Ω(1),O(n^1)292.12Ω(1),O(n^2)2.06
Ω(n^1),INF2.51Ω(n^1),INF3.42MAYBE299.16MAYBE292.17Ω(1),O(n^2)94.98
Ω(2^n),INF2.33Ω(2^n),INF2.17MAYBE299.4MAYBE20.91TIMEOUT300
Ω(n^1),INF1.59Ω(n^1),INF1.68MAYBE299.51MAYBE12.69TIMEOUT300
MAYBE0.24MAYBE0.24MAYBE1.06MAYBE0.03MAYBE0.35
Ω(2^n),INF1.82Ω(2^n),INF1.8MAYBE44.76MAYBE10.5TIMEOUT300
Ω(n^1),INF2.9Ω(n^1),INF3.47TIMEOUT300MAYBE298.47Ω(1),O(n^1)80.42
Ω(n^1),INF1.83Ω(n^1),INF1.76TIMEOUT300MAYBE12.72TIMEOUT300
Ω(n^1),INF2.26Ω(n^1),INF2.37MAYBE299.59Ω(1),O(n^2)105.09TIMEOUT300
MAYBE1.23MAYBE1.22Ω(1),O(1)0.82Ω(1),O(1)0.31Ω(1),O(1)1.83
INF,INF1.57INF,INF1.58MAYBE30.27MAYBE8.76TIMEOUT300
Ω(n^1),INF1.74Ω(n^1),INF2.04Ω(1),O(n^3)69.59Ω(1),O(n^2)79.95Ω(1),O(n^2)54.34
Ω(n^1),INF1.48Ω(n^1),INF1.81Ω(1),O(n^1)0.64Ω(1),O(n^1)0.51Ω(1),O(n^1)1.98
Ω(n^1),INF1.57Ω(n^1),INF1.85Ω(1),O(n^2)12.5Ω(1),O(n^2)46.09TIMEOUT300
Ω(n^1),INF1.28Ω(n^1),INF1.56Ω(1),O(n^1)0.4Ω(1),O(n^1)0.19Ω(1),O(n^1)1.89
INF,INF1.41INF,INF1.43MAYBE299.56MAYBE6.8MAYBE222.14
Ω(n^1),INF1.93Ω(n^1),INF2.44Ω(1),O(n^1)299.15Ω(1),O(n^1)292.4Ω(1),O(n^1)72.11
Ω(n^1),INF1.71Ω(n^1),INF1.66Ω(1),O(n^1)0.94Ω(1),O(n^1)0.84Ω(1),O(n^1)2.15
Ω(n^1),INF1.9Ω(n^1),INF1.91Ω(1),O(n^1)13.86Ω(1),O(n^1)6.7Ω(1),O(n^1)5.07
MAYBE1.27MAYBE1.29Ω(1),O(n^1)0.63Ω(1),O(1)0.69Ω(1),O(n^1)2.18
MAYBE1.39MAYBE1.31Ω(1),O(n^1)1.02Ω(1),O(1)1.21Ω(1),O(n^1)2.28
Ω(n^1),INF5.56Ω(n^1),INF6.79MAYBE299.23MAYBE293.1Ω(1),O(n^2)81.16
Ω(n^1),INF1.8Ω(n^1),INF1.78MAYBE299.41MAYBE9.56TIMEOUT300
Ω(n^1),INF2.52Ω(n^1),INF2.7MAYBE299.92TIMEOUT300TIMEOUT300
MAYBE0.25MAYBE0.24MAYBE0.04MAYBE0.03MAYBE0.35
Ω(n^1),INF2.61Ω(n^1),INF2.58MAYBE299.24MAYBE288.24TIMEOUT300
Ω(n^1),INF2.26Ω(n^1),INF2.75MAYBE299.5MAYBE292.35Ω(1),O(n^3)59.95
Ω(n^1),INF1.39Ω(n^1),INF1.34Ω(1),O(n^1)1.44Ω(1),O(n^1)0.49Ω(1),O(n^1)1.94
Ω(n^1),INF1.81Ω(n^1),INF1.91MAYBE299.46MAYBE15.9TIMEOUT300
MAYBE0.23MAYBE0.23MAYBE0.15MAYBE0.03MAYBE0.32
Ω(n^1),INF2.31Ω(n^1),INF1.59Ω(1),O(n^1)1.66Ω(1),O(n^1)0.55Ω(1),O(n^1)2.05
Ω(n^1),INF1.84Ω(n^1),INF2.11Ω(1),O(n^1)299.28Ω(1),O(n^1)292.4Ω(1),O(n^1)300
MAYBE1.16MAYBE1.16Ω(1),O(1)0.46Ω(1),O(1)0.14Ω(1),O(1)1.88
Ω(n^1),INF1.79Ω(n^1),INF1.7Ω(1),O(n^1)8.02Ω(1),O(n^1)4.42Ω(1),O(n^1)300
MAYBE0.23MAYBE0.23MAYBE0.16MAYBE0.02MAYBE0.64
Ω(n^1),INF2.26Ω(n^1),INF3.42TIMEOUT300MAYBE292.6Ω(1),O(n^1)81.03
Ω(n^2),INF2.62Ω(n^2),INF2.5Ω(1),O(n^2)299.56Ω(1),O(n^2)21.56TIMEOUT300
Ω(n^1),INF3.5Ω(n^1),INF3.26Ω(1),O(n^2)71.92Ω(1),O(n^2)64.39TIMEOUT300
MAYBE0.23MAYBE0.23MAYBE0.05MAYBE0.05MAYBE0.35
Ω(n^1),INF2.37Ω(n^1),INF2.21Ω(1),O(n^1)2.22Ω(1),O(n^1)1.92Ω(1),O(n^2)2.28
Ω(n^1),INF300Ω(n^1),INF300MAYBE299.36MAYBE293.28TIMEOUT300
Ω(n^2),INF2.51Ω(n^2),INF2.56TIMEOUT300MAYBE110.51TIMEOUT300
Ω(n^1),INF7.54Ω(n^1),INF12.51TIMEOUT300MAYBE292.97TIMEOUT300
MAYBE0.24MAYBE0.24MAYBE0.05MAYBE0.63MAYBE0.36
Ω(n^1),INF2.09Ω(n^1),INF2.32MAYBE299.23MAYBE55.54TIMEOUT300
Ω(n^1),INF2.32Ω(n^1),INF3.17MAYBE299.3MAYBE292.39Ω(1),O(n^2)76.69
Ω(n^1),INF2.31Ω(n^1),INF1.64MAYBE299.27MAYBE78.24TIMEOUT300
Ω(n^1),INF1.87Ω(n^1),INF1.79TIMEOUT300MAYBE16.54TIMEOUT300
MAYBE0.24MAYBE0.23MAYBE0.04MAYBE0.03MAYBE0.34
Ω(n^1),INF2.97Ω(n^1),INF3.13MAYBE299.16MAYBE15.1TIMEOUT300
Ω(n^1),INF238.93Ω(n^1),INF248.45TIMEOUT300MAYBE292.86Ω(1),O(n^1)146.89
Ω(2^n),INF2.24Ω(2^n),INF2.13MAYBE299.59MAYBE17.99TIMEOUT300
Ω(n^1),INF46.89Ω(n^1),INF70.39TIMEOUT300TIMEOUT300TIMEOUT300
MAYBE0.23MAYBE0.22MAYBE1.16MAYBE0.03MAYBE0.36
Ω(2^n),INF2.17Ω(2^n),INF2.22MAYBE41.0MAYBE10.49TIMEOUT300
Ω(n^1),INF21.49Ω(n^1),INF23.69MAYBE299.21MAYBE296.72TIMEOUT300
Ω(n^1),INF1.77Ω(n^1),INF2.3Ω(1),O(n^1)8.9Ω(1),O(n^1)2.08Ω(1),O(n^1)2.16
Ω(n^1),INF8.36Ω(n^1),INF8.51TIMEOUT300TIMEOUT300TIMEOUT300
MAYBE0.25MAYBE0.24MAYBE0.16MAYBE0.07MAYBE0.37
INF,INF1.94INF,INF1.43MAYBE30.51MAYBE7.78MAYBE2.09
Ω(n^1),INF1.82Ω(n^1),INF2.23Ω(1),O(n^1)299.47Ω(1),O(n^1)292.22Ω(1),O(n^1)38.22
Ω(n^1),INF2.56Ω(n^1),INF2.79Ω(1),O(n^1)20.46Ω(1),O(n^1)8.17Ω(1),O(n^1)2.41
Ω(n^1),INF2.59Ω(n^1),INF2.97MAYBE299.51MAYBE30.99TIMEOUT300
MAYBE0.25MAYBE0.24MAYBE0.16MAYBE0.08MAYBE0.34
MAYBE1.3MAYBE1.34Ω(1),O(n^1)3.14Ω(1),O(n^1)0.69Ω(1),O(n^1)2.11
Ω(n^1),INF300Ω(n^1),INF300TIMEOUT300MAYBE293.05Ω(1),O(n^2)253.55
Ω(n^1),INF2.97Ω(n^1),INF3.18MAYBE299.18MAYBE292.81TIMEOUT300
Ω(n^1),INF52.19Ω(n^1),INF102.37TIMEOUT300MAYBE292.81TIMEOUT300
MAYBE0.27MAYBE0.25MAYBE0.05MAYBE0.05MAYBE0.37
Ω(n^1),INF2.48Ω(n^1),INF2.95MAYBE299.19MAYBE194.3TIMEOUT300
Ω(n^1),INF2.13Ω(n^1),INF2.96TIMEOUT300MAYBE292.41Ω(1),O(n^3)74.28
Ω(n^1),INF1.4Ω(n^1),INF1.51Ω(1),O(n^1)30.07Ω(1),O(n^1)3.54Ω(1),O(n^1)1.97
Ω(n^1),INF2.64Ω(n^1),INF3.06MAYBE299.38MAYBE18.09TIMEOUT300
MAYBE0.23MAYBE0.23MAYBE1.3MAYBE0.03MAYBE0.35
MAYBE1.33MAYBE1.32Ω(1),O(n^1)2.44Ω(1),O(1)1.53Ω(1),O(1)1.72
Ω(n^1),INF1.43Ω(n^1),INF1.45Ω(1),O(n^1)45.38Ω(1),O(n^1)292.21Ω(1),O(n^1)300
INF,INF1.25INF,INF1.26MAYBE128.37MAYBE292.07MAYBE12.82
MAYBE1.21MAYBE1.21Ω(1),O(1)0.43Ω(1),O(1)0.15Ω(1),O(1)1.71
Ω(n^1),INF2.29Ω(n^1),INF2.93MAYBE299.59MAYBE292.22Ω(1),O(n^1)59.64
Ω(n^1),INF1.91Ω(n^1),INF1.69Ω(1),O(n^1)2.8Ω(1),O(n^1)1.29Ω(1),O(n^1)2.01
Ω(n^1),INF4.27Ω(n^1),INF5.45Ω(1),O(n^2)18.91Ω(1),O(n^2)44.8TIMEOUT300
MAYBE1.19MAYBE1.16Ω(1),O(1)0.43Ω(1),O(1)0.27Ω(1),O(1)1.8
Ω(n^1),INF1.44Ω(n^1),INF1.56Ω(1),O(n^1)1.82Ω(1),O(n^1)0.63Ω(1),O(n^1)2.07
Ω(n^1),INF3.04Ω(n^1),INF4.02MAYBE299.34MAYBE292.64Ω(1),O(n^3)102.33
Ω(n^1),INF1.71Ω(n^1),INF1.69Ω(1),O(n^1)30.49Ω(1),O(n^1)5.47Ω(1),O(n^2)2.03
Ω(n^1),INF2.72Ω(n^1),INF2.7TIMEOUT300MAYBE292.92TIMEOUT300
MAYBE0.27MAYBE0.24MAYBE0.05MAYBE0.06MAYBE0.36
Ω(n^1),INF2.64Ω(n^1),INF2.9Ω(1),O(n^2)30.1Ω(1),O(n^1)292.28Ω(1),O(n^2)3.68
Ω(n^1),INF2.77Ω(n^1),INF3.56MAYBE299.37MAYBE292.82Ω(1),O(n^1)79.42
Ω(n^1),INF2.9Ω(n^1),INF2.82MAYBE299.76MAYBE21.89TIMEOUT300
Ω(n^2),INF3.59Ω(n^2),INF3.21MAYBE299.26TIMEOUT300TIMEOUT300
MAYBE0.26MAYBE0.23MAYBE0.16MAYBE0.08MAYBE0.36
Ω(n^1),INF2.56Ω(n^1),INF2.54TIMEOUT300MAYBE20.71TIMEOUT300
Ω(n^1),INF2.34Ω(n^1),INF3.03TIMEOUT300MAYBE293.0TIMEOUT300
Ω(n^1),INF1.84Ω(n^1),INF1.85TIMEOUT300MAYBE12.24TIMEOUT300
Ω(n^1),INF2.67Ω(n^1),INF2.65MAYBE299.21Ω(1),O(n^2)60.74TIMEOUT300
MAYBE1.26MAYBE1.16Ω(1),O(1)2.15Ω(1),O(1)0.43Ω(1),O(1)1.91
Ω(n^1),INF2.38Ω(n^1),INF2.34TIMEOUT300MAYBE75.9TIMEOUT300
Ω(n^1),INF1.66Ω(n^1),INF1.94MAYBE299.35MAYBE292.26Ω(1),O(n^1)23.34
Ω(n^1),INF1.81Ω(n^1),INF1.73TIMEOUT300MAYBE20.44TIMEOUT300
INF,INF1.14INF,INF1.21MAYBE12.33MAYBE0.96MAYBE4.44
Ω(n^1),INF1.72Ω(n^1),INF1.99Ω(1),O(n^2)75.56MAYBE292.09Ω(1),O(n^2)27.88
INF,INF1.29INF,INF1.21MAYBE299.16MAYBE292.21MAYBE206.98
Ω(n^1),INF300Ω(n^1),INF300Ω(1),O(n^1)5.35Ω(1),O(n^1)7.08Ω(1),O(n^1)2.19
Ω(n^1),INF300Ω(n^1),INF300MAYBE299.88TIMEOUT300Ω(1),O(n^2)235.78
Ω(n^1),INF1.67Ω(n^1),INF1.67Ω(1),O(n^1)1.91Ω(1),O(n^1)0.92Ω(1),O(n^1)1.99
Ω(n^1),INF16.69Ω(n^1),INF24.15MAYBE299.92MAYBE292.74TIMEOUT300
MAYBE0.28MAYBE0.24MAYBE0.18MAYBE0.53MAYBE0.37
Ω(n^2),INF5.95Ω(n^2),INF5.91Ω(1),O(n^2)30.42Ω(1),O(n^2)8.11Ω(1),O(n^2)2.91
Ω(n^1),INF1.61Ω(n^1),INF2.14Ω(1),O(n^1)77.98Ω(1),O(n^1)55.65Ω(1),O(n^1)47.62
Ω(n^1),INF1.49Ω(n^1),INF1.76Ω(1),O(n^1)0.93Ω(1),O(n^1)0.48Ω(1),O(n^1)1.96
Ω(n^1),INF1.4Ω(n^1),INF1.55Ω(1),O(n^1)0.84Ω(1),O(n^1)0.73Ω(1),O(n^1)1.95
INF,INF1.2INF,INF1.14MAYBE11.77MAYBE7.04MAYBE12.22
Ω(n^1),INF2.79Ω(n^1),INF3.64Ω(1),O(n^1)299.21Ω(1),O(n^1)292.45TIMEOUT300
INF,INF1.79INF,INF1.6MAYBE299.23MAYBE18.87TIMEOUT300
Ω(n^1),INF2.27Ω(n^1),INF2.34MAYBE299.44MAYBE292.52TIMEOUT300
MAYBE0.24MAYBE0.23MAYBE0.17MAYBE0.15MAYBE0.35
INF,INF2.04INF,INF1.73MAYBE299.56MAYBE24.45TIMEOUT300
Ω(n^1),INF2.45Ω(n^1),INF2.77Ω(1),O(n^1)299.49Ω(1),O(n^1)292.84TIMEOUT300
Ω(n^1),INF2.12Ω(n^1),INF2.08MAYBE299.61MAYBE27.05TIMEOUT300
Ω(n^1),INF1.6Ω(n^1),INF1.63MAYBE299.39Ω(1),O(n^3)28.51TIMEOUT300
MAYBE0.23MAYBE0.23MAYBE0.17MAYBE0.05MAYBE0.35
Ω(n^1),INF1.91Ω(n^1),INF2.12MAYBE299.56MAYBE37.38TIMEOUT300
Ω(n^1),INF14.2Ω(n^1),INF15.21MAYBE299.45MAYBE293.26TIMEOUT300
Ω(n^1),INF1.68Ω(n^1),INF2.16Ω(1),O(n^1)5.99Ω(1),O(n^1)1.16Ω(1),O(n^1)2.18
Ω(n^1),INF3.83Ω(n^1),INF3.96TIMEOUT300TIMEOUT300TIMEOUT300
MAYBE0.25MAYBE0.26MAYBE0.08MAYBE0.41MAYBE0.35
MAYBE1.44MAYBE1.48Ω(1),O(1)1.58Ω(1),O(1)0.58Ω(1),O(1)1.83
Ω(n^1),INF4.47Ω(n^1),INF5.16MAYBE299.23TIMEOUT300Ω(1),O(n^2)100.73
Ω(n^1),INF1.94Ω(n^1),INF2.11Ω(1),O(n^1)30.17Ω(1),O(n^1)11.57Ω(1),O(n^2)2.12
Ω(n^5),INF4.96Ω(2^n),INF127.11TIMEOUT300MAYBE293.0TIMEOUT300
MAYBE0.23MAYBE0.23MAYBE0.16MAYBE0.05MAYBE0.36
INF,INF2.09INF,INF1.58MAYBE299.44MAYBE8.43MAYBE61.75
Ω(n^1),INF1.98Ω(n^1),INF2.56Ω(1),O(n^1)299.44Ω(1),O(n^1)292.36Ω(1),O(n^1)66.97
Ω(n^1),INF1.61Ω(n^1),INF1.64Ω(1),O(n^1)1.35Ω(1),O(n^1)0.61Ω(1),O(n^1)2.13
Ω(n^1),INF1.91Ω(n^1),INF2.08MAYBE299.64MAYBE242.71TIMEOUT300
MAYBE1.29MAYBE1.29Ω(1),O(n^1)5.73Ω(1),O(n^1)0.78Ω(1),O(1)2.32
MAYBE1.34MAYBE1.31Ω(1),O(n^1)6.11Ω(1),O(n^1)1.06Ω(1),O(1)2.31
Ω(n^1),INF48.4Ω(n^1),INF51.77MAYBE299.39MAYBE293.08Ω(1),O(n^1)126.63
Ω(n^1),INF1.77Ω(n^1),INF1.76Ω(1),O(n^1)4.48Ω(1),O(n^1)1.62Ω(1),O(n^1)2.05
Ω(n^1),INF5.8Ω(n^1),INF5.63TIMEOUT300MAYBE292.99TIMEOUT300
Ω(n^3),INF2.95Ω(n^3),INF3.0MAYBE52.21Ω(1),O(n^3)11.97TIMEOUT300
Ω(n^3),INF3.63Ω(n^3),INF3.87MAYBE58.02Ω(1),O(n^3)14.84TIMEOUT300
Ω(n^1),INF300Ω(n^1),INF300TIMEOUT300MAYBE297.96Ω(1),O(n^1)226.25
Ω(n^1),INF1.52Ω(n^1),INF1.57Ω(1),O(n^1)1.92Ω(1),O(n^1)4.73Ω(1),O(n^1)2.03
Ω(n^1),INF6.95Ω(n^1),INF7.02TIMEOUT300MAYBE293.02TIMEOUT300
MAYBE0.24MAYBE0.23MAYBE0.04MAYBE0.03MAYBE0.35
Ω(n^1),INF1.93Ω(n^1),INF1.9Ω(1),O(n^1)2.12Ω(1),O(n^1)25.77Ω(1),O(n^1)2.05
Ω(n^1),INF300Ω(n^1),INF300TIMEOUT300MAYBE291.72TIMEOUT300
Ω(2^n),INF8.91Ω(2^n),INF10.09TIMEOUT300MAYBE292.71TIMEOUT300
Ω(n^1),INF300Ω(n^1),INF300TIMEOUT300MAYBE296.19TIMEOUT300
MAYBE0.25MAYBE0.24MAYBE0.26MAYBE0.04MAYBE0.37
Ω(n^1),INF300Ω(n^1),INF300MAYBE299.74MAYBE292.26TIMEOUT300
Ω(n^1),INF4.54Ω(n^1),INF5.06TIMEOUT300MAYBE292.18TIMEOUT300
Ω(n^1),INF300Ω(n^1),INF300MAYBE299.35MAYBE292.09TIMEOUT300
MAYBE0.3MAYBE0.24MAYBE0.2MAYBE0.05MAYBE0.38
Ω(n^1),INF3.34Ω(n^1),INF3.32MAYBE299.64MAYBE292.14TIMEOUT300
Ω(n^1),INF3.56Ω(n^1),INF3.58MAYBE299.35MAYBE292.16TIMEOUT300
Ω(n^1),INF10.45Ω(n^1),INF11.36MAYBE299.55MAYBE292.49TIMEOUT300
Ω(n^1),INF4.17Ω(n^1),INF4.59MAYBE299.25MAYBE172.78TIMEOUT300
Ω(n^1),INF3.33Ω(n^1),INF3.79MAYBE299.48TIMEOUT300TIMEOUT300
MAYBE0.25MAYBE0.24MAYBE1.25MAYBE0.16MAYBE0.37
Ω(n^1),INF300Ω(n^1),INF300MAYBE299.49MAYBE292.58TIMEOUT300
Ω(n^1),INF3.0Ω(n^1),INF3.09MAYBE299.59MAYBE292.25TIMEOUT300
Ω(n^1),INF84.9Ω(n^1),INF83.2TIMEOUT300MAYBE297.78TIMEOUT300
MAYBE0.28MAYBE0.24MAYBE0.17MAYBE0.07MAYBE0.36
Ω(n^1),INF2.32Ω(n^1),INF2.04MAYBE299.31MAYBE292.48TIMEOUT300
Ω(n^1),INF2.23Ω(n^1),INF2.06TIMEOUT300MAYBE38.06TIMEOUT300
Ω(n^1),INF2.31Ω(n^1),INF3.12Ω(1),O(n^1)299.18Ω(1),O(n^1)292.17Ω(1),O(n^1)300
INF,INF1.35INF,INF1.23MAYBE299.15MAYBE292.24MAYBE75.01
INF,INF1.25INF,INF1.29MAYBE299.17MAYBE55.02TIMEOUT300
MAYBE0.5MAYBE0.23MAYBE0.16MAYBE0.06MAYBE0.35
Ω(n^1),INF2.77Ω(n^1),INF3.33Ω(1),O(n^1)299.32Ω(1),O(n^1)292.34Ω(1),O(n^1)300
INF,INF1.42INF,INF1.33MAYBE299.28MAYBE135.57TIMEOUT300
INF,INF1.42INF,INF1.46MAYBE299.61MAYBE81.73TIMEOUT300
MAYBE0.22MAYBE0.23MAYBE1.52MAYBE0.03MAYBE0.35
Ω(n^1),INF300Ω(n^1),INF300MAYBE299.46MAYBE292.27TIMEOUT300
Ω(2^n),INF300Ω(2^n),INF300MAYBE299.44MAYBE292.28TIMEOUT300
Ω(n^1),INF300Ω(n^1),INF300MAYBE299.87MAYBE293.01TIMEOUT300
MAYBE0.26MAYBE0.27MAYBE0.1MAYBE0.03MAYBE0.4
TIMEOUT300TIMEOUT300TIMEOUT300MAYBE292.56TIMEOUT300
Ω(n^1),INF300Ω(n^1),INF300MAYBE299.3MAYBE292.62TIMEOUT300
TIMEOUT300TIMEOUT300MAYBE299.3MAYBE292.4TIMEOUT300
MAYBE0.27MAYBE0.29MAYBE0.35MAYBE0.16MAYBE0.42
Ω(2^n),INF15.44Ω(2^n),INF15.4MAYBE99.64MAYBE292.37TIMEOUT300
Ω(2^n),INF38.07Ω(2^n),INF36.58MAYBE299.45MAYBE292.19TIMEOUT300
Ω(n^1),INF300Ω(n^1),INF300MAYBE299.67MAYBE292.32TIMEOUT300
Ω(n^1),INF192.06Ω(n^1),INF190.1TIMEOUT300MAYBE295.54TIMEOUT300
Ω(n^1),INF300Ω(n^1),INF300TIMEOUT300MAYBE294.85TIMEOUT300
MAYBE0.25MAYBE0.26MAYBE0.19MAYBE0.11MAYBE0.38
Ω(n^1),INF300Ω(n^1),INF300MAYBE299.47MAYBE292.59TIMEOUT300
Ω(n^1),INF300Ω(n^1),INF300MAYBE299.41MAYBE292.19TIMEOUT300
Ω(n^1),INF300Ω(n^1),INF300MAYBE299.27MAYBE292.43TIMEOUT300
MAYBE0.26MAYBE0.24MAYBE0.06MAYBE0.04MAYBE0.4
Ω(2^n),INF5.53Ω(2^n),INF5.53MAYBE299.21MAYBE292.17TIMEOUT300
Ω(n^1),INF7.77Ω(n^1),INF7.24TIMEOUT300MAYBE293.16TIMEOUT300
Ω(n^1),INF300Ω(n^1),INF300MAYBE299.65MAYBE292.76TIMEOUT300
Ω(n^1),INF1.64Ω(n^1),INF1.69Ω(1),O(n^1)30.53Ω(1),O(n^1)295.9Ω(1),O(n^1)3.96
Ω(n^1),INF300Ω(n^1),INF300TIMEOUT300MAYBE292.74TIMEOUT300
MAYBE0.23MAYBE0.23MAYBE0.23MAYBE0.03MAYBE0.37
Ω(n^1),INF300Ω(n^1),INF300MAYBE299.74MAYBE292.27TIMEOUT300
Ω(n^1),INF3.22Ω(n^1),INF3.15Ω(1),POLY39.8MAYBE292.15TIMEOUT300
Ω(n^1),INF300Ω(n^1),INF300TIMEOUT300MAYBE295.07TIMEOUT300
MAYBE0.23MAYBE0.23MAYBE0.18MAYBE0.09MAYBE0.38
MAYBE2.9MAYBE2.7Ω(1),O(n^1)30.41Ω(1),O(n^1)292.44Ω(1),O(n^1)2.63
Ω(n^1),INF1.8Ω(n^1),INF1.52Ω(1),O(n^1)30.51Ω(1),O(n^1)296.17Ω(1),O(n^1)2.27
Ω(n^1),INF300Ω(n^1),INF300MAYBE299.75MAYBE293.33TIMEOUT300
Ω(2^n),INF2.72Ω(2^n),INF3.56TIMEOUT300MAYBE292.94TIMEOUT300
Ω(2^n),INF300Ω(2^n),INF300TIMEOUT300MAYBE295.91TIMEOUT300
MAYBE0.24MAYBE0.23MAYBE0.05MAYBE0.13MAYBE0.37
Ω(n^1),INF300Ω(n^1),INF300MAYBE299.23MAYBE292.45TIMEOUT300
Ω(n^2),INF4.73Ω(n^2),INF4.86TIMEOUT300MAYBE292.18TIMEOUT300
Ω(2^n),INF300Ω(2^n),INF300MAYBE299.34MAYBE292.26TIMEOUT300
MAYBE0.24MAYBE0.24MAYBE0.31MAYBE0.49MAYBE0.38
Ω(n^1),INF4.04Ω(n^1),INF4.05MAYBE299.97Ω(1),O(n^2)292.61TIMEOUT300
Ω(n^1),INF2.31Ω(n^1),INF3.47TIMEOUT300MAYBE292.17TIMEOUT300
Ω(n^1),INF32.94Ω(n^1),INF33.9TIMEOUT300MAYBE293.02Ω(1),O(n^1)126.65
Ω(n^1),INF2.05Ω(n^1),INF2.4TIMEOUT300Ω(1),O(n^2)37.77TIMEOUT300
Ω(2^n),INF3.2Ω(2^n),INF3.63TIMEOUT300TIMEOUT300TIMEOUT300
MAYBE0.25MAYBE0.23MAYBE0.05MAYBE0.06MAYBE0.36
Ω(n^1),INF300Ω(n^1),INF300MAYBE299.27MAYBE293.33TIMEOUT300
Ω(n^2),INF3.0Ω(n^2),INF3.04Ω(1),O(n^5)123.84Ω(1),O(n^2)300Ω(1),O(n^2)6.67
Ω(2^n),INF23.11Ω(2^n),INF24.25TIMEOUT300MAYBE292.89TIMEOUT300
MAYBE0.25MAYBE0.24MAYBE0.18MAYBE0.04MAYBE0.37
Ω(n^1),INF2.43Ω(n^1),INF2.38Ω(1),O(n^1)33.45Ω(1),O(n^1)6.08Ω(1),O(n^1)2.99
Ω(n^1),INF1.98Ω(n^1),INF3.03Ω(1),O(n^1)52.06Ω(1),O(n^1)11.78TIMEOUT300
Ω(n^1),INF2.16Ω(n^1),INF3.58MAYBE299.25MAYBE292.4Ω(1),O(n^2)59.71
Ω(n^2),INF2.72Ω(n^2),INF2.71Ω(1),O(n^2)15.2Ω(1),O(n^2)2.89Ω(1),O(n^2)2.29
Ω(n^1),INF2.19Ω(n^2),INF3.94MAYBE299.4MAYBE292.21TIMEOUT300
MAYBE0.25MAYBE0.24MAYBE0.17MAYBE0.02MAYBE0.35
Ω(n^1),INF3.69Ω(n^1),INF4.47MAYBE299.52MAYBE292.1Ω(1),O(n^1)102.95
Ω(n^2),INF2.41Ω(n^2),INF2.39Ω(1),O(n^2)32.71MAYBE297.46Ω(1),O(n^2)4.0
Ω(2^n),INF3.34Ω(2^n),INF7.04TIMEOUT300MAYBE293.08TIMEOUT300
MAYBE0.24MAYBE0.23MAYBE0.16MAYBE0.05MAYBE0.36
Ω(n^1),INF300Ω(n^1),INF300TIMEOUT300MAYBE292.33TIMEOUT300
Ω(2^n),INF6.39Ω(2^n),INF6.74TIMEOUT300MAYBE298.08TIMEOUT300
Ω(n^1),INF300Ω(n^1),INF300TIMEOUT300MAYBE296.58TIMEOUT300
MAYBE0.27MAYBE0.25MAYBE0.06MAYBE0.15MAYBE0.39
Ω(n^1),INF300Ω(n^1),INF300MAYBE299.31MAYBE292.49TIMEOUT300
Ω(n^1),INF4.49Ω(n^1),INF4.66TIMEOUT300MAYBE292.26TIMEOUT300
Ω(n^1),INF300Ω(n^1),INF300MAYBE299.24MAYBE293.4TIMEOUT300
MAYBE0.27MAYBE0.25MAYBE0.08MAYBE0.08MAYBE0.41
Ω(n^1),INF4.06Ω(n^1),INF4.05MAYBE299.31MAYBE292.48TIMEOUT300
Ω(n^1),INF3.63Ω(n^1),INF3.36MAYBE299.82MAYBE292.18TIMEOUT300
Ω(n^1),INF300Ω(n^1),INF300MAYBE299.67MAYBE292.88TIMEOUT300
Ω(n^1),INF4.42Ω(n^1),INF4.77TIMEOUT300MAYBE292.89TIMEOUT300
Ω(n^1),INF7.26Ω(n^1),INF7.27TIMEOUT300MAYBE292.96TIMEOUT300
MAYBE0.24MAYBE0.24MAYBE1.34MAYBE0.06MAYBE0.36
Ω(n^1),INF300Ω(n^1),INF300MAYBE299.57MAYBE293.08TIMEOUT300
Ω(n^1),INF2.6Ω(n^1),INF3.31TIMEOUT300MAYBE291.97TIMEOUT300
Ω(n^1),INF300Ω(n^1),INF300TIMEOUT300MAYBE293.0TIMEOUT300
MAYBE0.25MAYBE0.23MAYBE0.04MAYBE0.04MAYBE0.37
Ω(n^1),INF2.64Ω(n^1),INF2.33MAYBE299.26MAYBE140.98TIMEOUT300
Ω(n^1),INF2.35Ω(n^1),INF2.47MAYBE299.35MAYBE58.33TIMEOUT300
Ω(n^1),INF2.83Ω(n^1),INF3.51Ω(1),O(n^1)299.47Ω(1),O(n^1)292.16Ω(1),O(n^1)300
INF,INF1.28INF,INF1.31MAYBE299.3MAYBE121.43TIMEOUT300
INF,INF1.65INF,INF1.62MAYBE299.52MAYBE38.92TIMEOUT300
MAYBE0.23MAYBE0.23MAYBE0.6MAYBE0.03MAYBE0.36
Ω(n^1),INF16.79Ω(n^1),INF17.94MAYBE299.33MAYBE294.1Ω(1),O(n^1)300
Ω(n^1),INF1.74Ω(n^1),INF2.09TIMEOUT300MAYBE49.03TIMEOUT300
INF,INF1.38INF,INF1.45TIMEOUT300MAYBE296.99TIMEOUT300
MAYBE0.23MAYBE0.24MAYBE1.58MAYBE0.06MAYBE0.36
INF,INF1.55INF,INF1.57MAYBE299.21MAYBE47.49TIMEOUT300
INF,INF2.09INF,INF1.6MAYBE299.15MAYBE55.47TIMEOUT300
Ω(n^1),INF300Ω(n^1),INF300MAYBE299.33MAYBE292.16TIMEOUT300
Ω(2^n),INF5.91Ω(2^n),INF7.46TIMEOUT300MAYBE293.12TIMEOUT300
Ω(n^1),INF300Ω(n^1),INF300TIMEOUT300MAYBE296.69TIMEOUT300
MAYBE0.23MAYBE0.26MAYBE0.17MAYBE0.1MAYBE0.38
Ω(n^1),INF300Ω(n^1),INF300MAYBE196.48MAYBE292.78TIMEOUT300
Ω(n^2),INF4.02Ω(n^2),INF4.18MAYBE299.4MAYBE292.13TIMEOUT300
Ω(n^2),INF300Ω(n^2),INF300MAYBE299.39MAYBE292.23TIMEOUT300
INF,INF2.61INF,INF2.38MAYBE207.6MAYBE292.47TIMEOUT300
Ω(n^1),INF3.88Ω(n^1),INF3.85MAYBE299.24Ω(1),O(n^2)236.1TIMEOUT300
Ω(n^1),INF3.49Ω(n^1),INF4.48MAYBE299.46MAYBE293.17TIMEOUT300
Ω(n^1),INF9.3Ω(n^1),INF10.07Ω(1),O(n^1)299.3Ω(1),O(n^1)292.65Ω(1),O(n^2)69.37
Ω(n^2),INF8.8Ω(n^2),INF8.95MAYBE299.76Ω(1),O(n^2)204.63TIMEOUT300
Ω(n^1),INF19.82Ω(n^1),INF19.73TIMEOUT300MAYBE295.27TIMEOUT300
MAYBE0.22MAYBE0.24MAYBE0.15MAYBE0.03MAYBE0.36
Ω(n^1),INF300Ω(n^1),INF300TIMEOUT300Ω(1),O(n^1)292.93Ω(1),O(n^1)288.33
Ω(n^2),INF6.61Ω(n^2),INF8.11Ω(1),O(n^2)37.5Ω(1),O(n^2)33.57Ω(1),O(n^2)7.33
Ω(n^1),INF300Ω(n^1),INF300TIMEOUT300TIMEOUT300TIMEOUT300
INF,INF1.45INF,INF1.38MAYBE34.24MAYBE26.64TIMEOUT300
Ω(n^1),INF3.44Ω(n^1),INF3.83Ω(1),O(n^1)25.34Ω(1),O(n^1)15.44Ω(1),O(n^1)3.56
Ω(n^1),INF3.89Ω(n^1),INF3.86Ω(1),O(n^1)299.5Ω(1),O(n^1)76.74TIMEOUT300
Ω(n^1),INF2.17Ω(n^1),INF2.56Ω(1),O(n^1)249.93Ω(1),O(n^1)292.31Ω(1),O(n^1)46.56
Ω(n^1),INF1.78Ω(n^1),INF1.79TIMEOUT300MAYBE292.21TIMEOUT300
MAYBE0.23MAYBE0.24MAYBE0.16MAYBE0.03MAYBE0.35
Ω(n^1),INF2.33Ω(n^1),INF2.68Ω(1),O(n^1)299.67Ω(1),O(n^1)292.45Ω(1),O(n^1)58.93
Ω(n^1),INF1.79Ω(n^1),INF1.82TIMEOUT300MAYBE292.19TIMEOUT300
Ω(n^1),INF300Ω(n^1),INF300MAYBE299.5TIMEOUT300Ω(1),O(n^1)226.96
Ω(2^n),INF2.18Ω(2^n),INF3.05MAYBE299.93MAYBE292.27TIMEOUT300
Ω(n^1),INF18.54Ω(n^1),INF19.93TIMEOUT300MAYBE297.47TIMEOUT300
MAYBE0.23MAYBE0.25MAYBE0.19MAYBE0.15MAYBE0.36
Ω(n^1),INF300Ω(n^1),INF300MAYBE299.49MAYBE292.45TIMEOUT300
Ω(n^2),INF3.65Ω(n^2),INF3.87MAYBE299.4Ω(1),O(n^3)187.56TIMEOUT300
Ω(n^1),INF300Ω(n^1),INF300TIMEOUT300TIMEOUT300TIMEOUT300
MAYBE0.23MAYBE0.24MAYBE0.04MAYBE0.06MAYBE0.37
Ω(n^1),INF3.18Ω(n^1),INF3.08MAYBE299.25Ω(1),O(n^2)293.04TIMEOUT300
Ω(n^1),INF2.34Ω(n^1),INF3.23MAYBE299.48MAYBE292.22TIMEOUT300
Ω(n^1),INF3.03Ω(n^1),INF3.38MAYBE299.12MAYBE292.24Ω(1),O(n^2)80.45
Ω(n^2),INF2.65Ω(n^2),INF2.47Ω(1),O(n^2)299.3Ω(1),O(n^2)34.29TIMEOUT300
Ω(n^1),INF2.58Ω(n^1),INF2.92MAYBE299.54MAYBE292.13TIMEOUT300
MAYBE0.23MAYBE0.23MAYBE0.15MAYBE0.12MAYBE0.36
Ω(n^1),INF9.7Ω(n^1),INF10.67MAYBE299.4MAYBE292.98Ω(1),O(n^1)131.72
Ω(n^2),INF2.41Ω(n^2),INF2.44Ω(1),O(n^2)35.18Ω(1),O(n^2)19.43Ω(1),O(n^2)4.55
Ω(n^1),INF3.1Ω(n^1),INF3.03TIMEOUT300TIMEOUT300TIMEOUT300
MAYBE0.24MAYBE0.25MAYBE0.15MAYBE0.05MAYBE0.36
Ω(n^1),INF1.98Ω(n^1),INF2.07Ω(1),O(n^1)8.88Ω(1),O(n^1)1.69Ω(1),O(n^1)2.8
Ω(n^1),INF2.03Ω(n^1),INF1.95Ω(1),O(n^1)42.43Ω(1),O(n^1)8.19TIMEOUT300
Ω(n^1),INF1.92Ω(n^1),INF2.78Ω(1),O(n^1)95.15Ω(1),O(n^1)292.16Ω(1),O(n^1)56.6
Ω(n^1),INF2.09Ω(n^1),INF1.99Ω(1),O(n^1)1.0Ω(1),O(n^1)0.29Ω(1),O(n^1)1.96
Ω(n^1),INF2.1Ω(n^2),INF2.81TIMEOUT300MAYBE18.56TIMEOUT300
MAYBE0.23MAYBE0.23MAYBE0.04MAYBE0.03MAYBE0.36
Ω(n^1),INF2.17Ω(n^1),INF2.98Ω(1),O(n^1)299.25Ω(1),O(n^1)292.09Ω(1),O(n^1)60.96
Ω(n^1),INF1.89Ω(n^1),INF1.86Ω(1),O(n^1)5.11Ω(1),O(n^1)7.04Ω(1),O(n^1)2.35
Ω(n^1),INF2.21Ω(n^2),INF3.46MAYBE299.72MAYBE21.5TIMEOUT300
MAYBE0.23MAYBE0.23MAYBE0.04MAYBE0.03MAYBE0.34
MAYBE1.36MAYBE1.35Ω(1),O(1)3.57Ω(1),O(1)0.65Ω(1),O(1)1.79
MAYBE1.34MAYBE1.34Ω(1),O(1)30.18Ω(1),O(1)44.17Ω(1),O(1)1.8
Ω(n^1),INF3.6Ω(n^1),INF3.31Ω(1),O(n^3)49.47Ω(1),O(n^3)292.33TIMEOUT300
MAYBE1.24MAYBE1.32TIMEOUT300MAYBE3.17Ω(1),O(1)3.28
Ω(n^1),INF2.79Ω(n^1),INF2.86MAYBE299.4MAYBE292.16TIMEOUT300
Ω(n^1),INF3.03Ω(n^1),INF2.91MAYBE299.51MAYBE292.33TIMEOUT300
Ω(n^1),INF4.28Ω(n^1),INF5.02MAYBE299.58Ω(1),O(n^2)292.49Ω(1),O(n^2)14.24
Ω(n^1),INF1.61Ω(n^1),INF1.57Ω(1),O(n^1)30.37Ω(1),O(n^1)5.51Ω(1),O(n^1)2.08
Ω(n^1),INF1.36Ω(n^1),INF1.87Ω(1),O(n^1)299.95Ω(1),O(n^1)20.9Ω(1),O(n^1)2.53
Ω(n^1),INF1.75Ω(n^1),INF1.72Ω(1),O(n^1)14.22Ω(1),O(n^1)5.2Ω(1),O(n^1)2.29
Ω(n^1),INF1.68Ω(n^1),INF2.19Ω(1),O(n^1)2.14Ω(1),O(n^1)0.55Ω(1),O(n^1)1.99
Ω(n^1),INF1.67Ω(n^1),INF1.62MAYBE299.23Ω(1),O(n^2)21.98Ω(1),O(n^1)300
Ω(n^1),INF1.47Ω(n^1),INF1.86Ω(1),O(n^1)10.57Ω(1),O(n^1)17.97Ω(1),O(n^1)72.43
Ω(n^1),INF1.48Ω(n^1),INF1.7Ω(1),O(n^1)17.12Ω(1),O(n^1)10.79Ω(1),O(n^1)256.51
Ω(n^1),INF1.41Ω(n^1),INF1.86TIMEOUT300MAYBE11.04TIMEOUT300
Ω(n^1),INF1.38Ω(n^1),INF1.66MAYBE299.38MAYBE8.81MAYBE14.23
Ω(n^1),INF1.33Ω(n^1),INF1.67MAYBE299.54MAYBE8.6MAYBE14.79
Ω(n^1),INF6.02Ω(n^1),INF6.24TIMEOUT300MAYBE13.59MAYBE67.98
Ω(n^1),INF1.79Ω(n^1),INF2.09MAYBE299.46MAYBE94.47TIMEOUT300
Ω(n^1),INF1.56Ω(n^1),INF1.87MAYBE299.6MAYBE151.58TIMEOUT300
Ω(n^1),INF1.6Ω(n^1),INF2.01MAYBE299.27MAYBE131.94TIMEOUT300
Ω(n^1),INF1.52Ω(n^1),INF1.91MAYBE299.34MAYBE292.12TIMEOUT300
Ω(n^1),INF1.61Ω(n^1),INF1.94MAYBE299.26MAYBE107.08TIMEOUT300
Ω(n^1),INF1.41Ω(n^1),INF1.82MAYBE299.35MAYBE292.05TIMEOUT300
Ω(n^1),INF1.45Ω(n^1),INF1.78MAYBE299.17MAYBE292.13TIMEOUT300
Ω(n^1),INF1.63Ω(n^1),INF1.92MAYBE299.32MAYBE292.18Ω(1),O(n^1)300
Ω(n^1),INF1.66Ω(n^1),INF2.02MAYBE299.17MAYBE292.21TIMEOUT300
Ω(n^1),INF1.34Ω(n^1),INF1.73Ω(1),O(n^1)299.4Ω(1),O(n^1)2.26Ω(1),O(n^1)300
Ω(n^1),INF1.62Ω(n^1),INF1.75TIMEOUT300MAYBE5.32TIMEOUT300
Ω(n^1),INF1.38Ω(n^1),INF1.82MAYBE299.29MAYBE7.25TIMEOUT300