ToolYESNOMAYBETIMEOUT
Induction Technique & Loop Detection0 90 [1.57]751 [4.83]58
Induction Technique & Loop Detection & Improvements0 90 [1.56]752 [5.05]57
TCT2191 [49.09]0 500 [179.95]208
TCT3204 [68.11]0 665 [256.11]30

ExampleInduction Technique & Loop DetectionInduction Technique & Loop Detection & ImprovementsTCT2TCT3
Ω(n^1),INF6.07Ω(n^1),INF6.02MAYBE221.97MAYBE292.45
Ω(n^3),INF3.16Ω(n^3),INF3.38Ω(1),O(n^3)32.71Ω(1),O(n^3)32.12
Ω(n^1),INF3.05Ω(n^1),INF3.19MAYBE120.72MAYBE292.31
Ω(n^1),INF1.68Ω(n^1),INF1.79Ω(1),O(n^1)5.18Ω(1),O(n^1)7.11
Ω(n^2),INF2.58Ω(n^2),INF2.66TIMEOUT300MAYBE295.13
Ω(n^1),INF8.78Ω(n^1),INF8.56TIMEOUT300MAYBE292.77
Ω(n^1),INF2.46Ω(n^1),INF2.4TIMEOUT300MAYBE292.33
Ω(n^1),INF2.56Ω(n^1),INF2.49MAYBE50.15MAYBE292.54
Ω(n^1),INF3.35Ω(n^1),INF2.58MAYBE77.41MAYBE292.37
Ω(n^1),INF1.77Ω(n^1),INF1.77Ω(1),O(n^1)1.04Ω(1),O(n^1)1.0
Ω(n^2),INF2.54Ω(n^2),INF2.52TIMEOUT300MAYBE292.36
Ω(n^1),INF1.55Ω(n^1),INF1.47Ω(1),O(n^1)0.7Ω(1),O(n^1)0.29
Ω(n^1),INF1.54Ω(n^1),INF1.58INF,O(n^1)1.72Ω(1),O(n^1)0.84
Ω(n^1),INF1.42Ω(n^1),INF1.77MAYBE299.24MAYBE292.24
MAYBE1.4MAYBE1.42Ω(1),O(n^1)0.15Ω(1),O(1)0.93
Ω(n^1),INF2.41Ω(n^1),INF2.6MAYBE26.98MAYBE220.57
Ω(2^n),INF2.2Ω(2^n),INF2.65MAYBE299.24MAYBE292.63
MAYBE1.38MAYBE1.34Ω(1),O(1)0.69Ω(1),O(1)0.78
Ω(n^1),INF1.69Ω(n^1),INF1.82INF,O(n^1)0.22Ω(1),O(n^1)0.33
Ω(n^1),INF4.38Ω(n^1),INF7.75MAYBE299.31MAYBE293.93
Ω(n^1),INF1.67Ω(n^1),INF1.72Ω(1),O(n^1)1.66Ω(1),O(n^1)0.83
Ω(2^n),INF2.06Ω(2^n),INF2.13TIMEOUT300TIMEOUT300
Ω(n^1),INF2.54Ω(n^1),INF2.74Ω(1),O(n^1)31.51Ω(1),O(n^1)9.84
Ω(n^1),INF2.36Ω(n^1),INF2.47MAYBE80.5MAYBE292.27
Ω(n^1),INF3.73Ω(n^1),INF15.08Ω(1),O(n^1)7.96Ω(1),O(n^2)3.56
Ω(n^1),INF2.11Ω(n^1),INF1.97MAYBE29.98MAYBE126.32
Ω(n^1),INF2.17Ω(n^1),INF2.36Ω(1),O(n^2)14.7MAYBE299.98
Ω(n^1),INF1.72Ω(n^1),INF1.79MAYBE36.93MAYBE170.06
Ω(n^1),INF1.42Ω(n^1),INF1.44TIMEOUT300MAYBE292.33
Ω(n^1),INF2.16Ω(n^1),INF2.43MAYBE43.61MAYBE292.62
Ω(n^1),INF1.35Ω(n^1),INF1.31INF,O(n^1)3.89Ω(1),O(n^1)2.92
Ω(n^1),INF1.49Ω(n^1),INF1.69Ω(1),O(n^1)1.1Ω(1),O(n^1)0.67
MAYBE1.4MAYBE1.36Ω(1),O(1)0.66Ω(1),O(1)0.36
Ω(n^1),INF1.63Ω(n^1),INF1.83Ω(1),O(n^1)1.01Ω(1),O(n^1)1.26
Ω(n^3),INF4.42Ω(n^3),INF4.49MAYBE136.32MAYBE292.35
Ω(n^1),INF1.6Ω(n^1),INF1.88MAYBE299.25MAYBE292.16
Ω(n^2),INF4.58Ω(n^2),INF4.52MAYBE190.15MAYBE292.31
Ω(n^1),INF1.38Ω(n^1),INF1.39INF,O(n^1)3.18Ω(1),O(n^1)1.13
Ω(n^1),INF2.67Ω(n^1),INF2.91MAYBE208.67MAYBE292.3
Ω(n^1),INF3.54Ω(n^1),INF4.08MAYBE56.67MAYBE292.43
Ω(n^1),INF3.05Ω(n^1),INF2.92MAYBE34.6MAYBE292.44
Ω(n^1),INF2.79Ω(n^1),INF2.53Ω(1),O(n^2)32.4Ω(1),O(n^2)292.59
Ω(n^1),INF3.58Ω(n^1),INF3.41Ω(1),O(n^2)57.28Ω(1),O(n^2)292.41
Ω(n^1),INF3.11Ω(n^1),INF3.36MAYBE51.31MAYBE292.35
Ω(n^1),INF4.22Ω(n^1),INF4.78MAYBE90.54MAYBE292.41
Ω(n^1),INF4.32Ω(n^1),INF4.53Ω(1),O(n^1)5.12Ω(1),O(n^1)7.07
Ω(n^1),INF3.24Ω(n^1),INF3.29MAYBE41.08MAYBE252.39
Ω(n^1),INF3.08Ω(n^1),INF3.23TIMEOUT300MAYBE295.47
Ω(n^1),INF3.92Ω(n^1),INF4.78MAYBE88.95MAYBE292.83
Ω(n^1),INF20.12Ω(n^1),INF9.02MAYBE122.68MAYBE292.36
Ω(n^1),INF5.8Ω(n^1),INF5.26MAYBE76.56MAYBE292.47
Ω(n^2),INF2.72Ω(n^2),INF4.43MAYBE41.37MAYBE292.44
Ω(n^2),INF3.16Ω(n^2),INF3.18MAYBE81.67MAYBE292.36
Ω(n^2),INF4.69Ω(n^2),INF4.66MAYBE81.33MAYBE292.71
Ω(n^1),INF3.84Ω(n^1),INF4.1Ω(1),O(n^1)8.28MAYBE50.35
Ω(n^3),INF4.64Ω(n^3),INF4.15MAYBE159.08MAYBE292.97
Ω(n^3),INF4.18Ω(n^3),INF4.14MAYBE160.58MAYBE293.08
Ω(n^1),INF1.84Ω(n^1),INF2.16MAYBE299.24MAYBE292.38
Ω(2^n),INF4.66Ω(2^n),INF4.95TIMEOUT300MAYBE294.14
Ω(n^1),INF1.89Ω(n^1),INF2.15MAYBE31.07MAYBE163.01
Ω(n^1),INF1.61Ω(n^1),INF1.86MAYBE299.15Ω(1),O(n^2)220.68
Ω(n^1),INF47.34Ω(n^1),INF44.08INF,O(n^1)37.06Ω(1),O(n^1)292.37
Ω(n^1),INF2.26Ω(n^1),INF2.39MAYBE32.45MAYBE143.08
Ω(n^1),INF2.62Ω(n^1),INF2.83INF,O(n^1)57.19Ω(1),O(n^1)292.31
Ω(n^1),INF1.46Ω(n^1),INF1.68INF,O(n^1)299.1Ω(1),O(n^1)292.66
Ω(n^1),INF300Ω(n^1),INF300MAYBE299.14MAYBE293.01
Ω(2^n),INF3.46Ω(2^n),INF3.42TIMEOUT300MAYBE292.67
Ω(n^1),INF1.38Ω(n^1),INF1.72MAYBE23.97MAYBE3.03
Ω(n^1),INF2.27Ω(n^1),INF2.72TIMEOUT300MAYBE294.14
Ω(n^1),INF4.67Ω(n^1),INF4.27MAYBE33.09MAYBE94.97
Ω(n^1),INF4.14Ω(n^1),INF4.58MAYBE53.64MAYBE137.88
Ω(n^3),INF3.79Ω(n^4),INF3.98MAYBE59.33MAYBE292.94
Ω(n^2),INF4.39Ω(n^2),INF300TIMEOUT300MAYBE299.3
Ω(n^1),INF8.31Ω(n^1),INF8.63MAYBE299.91MAYBE293.08
Ω(n^1),INF2.65Ω(n^1),INF2.7MAYBE60.19MAYBE292.24
Ω(n^1),INF2.0Ω(n^1),INF2.11MAYBE42.57MAYBE292.42
INF,INF1.27INF,INF1.32TIMEOUT300MAYBE293.73
Ω(n^2),INF4.0Ω(n^2),INF4.18MAYBE260.87MAYBE292.96
Ω(n^1),INF1.83Ω(n^1),INF1.98MAYBE33.39MAYBE178.54
Ω(n^1),INF2.69Ω(n^1),INF2.61TIMEOUT300MAYBE47.79
Ω(n^1),INF5.13Ω(n^1),INF5.85TIMEOUT300MAYBE292.88
Ω(2^n),INF4.69Ω(2^n),INF5.12MAYBE68.32MAYBE294.25
Ω(n^1),INF3.56Ω(n^1),INF3.84TIMEOUT300MAYBE292.91
Ω(n^3),INF4.81Ω(n^3),INF5.0MAYBE299.32MAYBE293.56
MAYBE1.27MAYBE1.32TIMEOUT300Ω(1),O(1)292.79
Ω(n^1),INF2.8Ω(n^1),INF3.48MAYBE84.46MAYBE292.9
Ω(n^1),INF3.01Ω(n^1),INF3.62MAYBE239.54MAYBE292.77
Ω(n^1),INF3.08Ω(n^1),INF2.85MAYBE96.21MAYBE292.22
Ω(n^1),INF4.41Ω(n^1),INF4.15MAYBE103.43MAYBE294.93
Ω(n^1),INF4.01Ω(n^1),INF3.94MAYBE25.94MAYBE137.32
Ω(2^n),INF3.61Ω(2^n),INF3.72MAYBE63.73MAYBE292.2
Ω(n^1),INF3.78Ω(n^1),INF3.81MAYBE35.38MAYBE292.38
Ω(n^1),INF3.05Ω(n^1),INF3.42MAYBE134.47MAYBE295.09
Ω(n^1),INF3.85Ω(n^1),INF3.51MAYBE299.21TIMEOUT300
Ω(n^1),INF2.75Ω(n^1),INF2.66MAYBE73.62MAYBE293.55
Ω(n^1),INF2.61Ω(n^1),INF2.53MAYBE33.24MAYBE77.52
Ω(n^1),INF2.83Ω(n^1),INF2.88MAYBE69.53MAYBE292.44
Ω(n^1),INF3.77Ω(n^1),INF3.7MAYBE71.95MAYBE292.33
Ω(2^n),INF4.07Ω(2^n),INF4.01MAYBE61.95MAYBE292.26
Ω(n^1),INF3.76Ω(n^1),INF3.76MAYBE50.53MAYBE292.37
Ω(n^1),INF2.29Ω(n^1),INF2.44TIMEOUT300MAYBE293.18
Ω(n^1),INF6.42Ω(n^1),INF6.41MAYBE299.81MAYBE293.64
Ω(n^2),INF4.01Ω(n^3),INF4.44TIMEOUT300MAYBE293.64
Ω(n^1),INF3.8Ω(n^1),INF3.45MAYBE299.91MAYBE292.61
Ω(n^1),INF2.62Ω(n^1),INF2.71MAYBE80.96MAYBE292.37
Ω(n^1),INF2.47Ω(n^1),INF3.14MAYBE56.01MAYBE292.31
Ω(n^2),INF4.03Ω(n^2),INF3.85MAYBE211.44MAYBE292.16
Ω(2^n),INF4.13Ω(2^n),INF2.14TIMEOUT300MAYBE294.84
Ω(n^1),INF3.61Ω(n^1),INF3.59TIMEOUT300MAYBE292.61
Ω(n^1),INF2.64Ω(n^1),INF2.37MAYBE30.77MAYBE279.64
Ω(n^1),INF2.46Ω(n^1),INF2.51MAYBE57.41MAYBE292.31
Ω(n^1),INF2.34Ω(n^1),INF2.44MAYBE40.66MAYBE268.22
Ω(n^1),INF3.08Ω(n^1),INF3.2MAYBE67.37MAYBE292.26
Ω(n^2),INF5.96Ω(n^2),INF5.95MAYBE84.99MAYBE293.77
Ω(n^1),INF2.23Ω(n^1),INF2.26MAYBE28.58MAYBE269.13
Ω(n^1),INF2.96Ω(n^1),INF3.25MAYBE96.03MAYBE292.21
Ω(n^2),INF2.49Ω(n^2),INF2.48MAYBE299.69MAYBE292.83
Ω(n^1),INF5.31Ω(n^1),INF6.14MAYBE299.57MAYBE292.39
Ω(n^1),INF3.0Ω(n^1),INF2.91MAYBE36.58MAYBE208.28
Ω(n^1),INF2.83Ω(n^1),INF2.78MAYBE55.78MAYBE292.36
Ω(n^1),INF4.71Ω(n^1),INF4.61MAYBE299.17MAYBE292.24
Ω(n^1),INF2.89Ω(n^1),INF2.94MAYBE38.64MAYBE255.07
Ω(n^1),INF2.1Ω(n^1),INF2.37MAYBE40.36MAYBE292.92
Ω(n^2),INF4.37Ω(n^2),INF4.07MAYBE60.9MAYBE292.55
Ω(n^1),INF3.49Ω(n^1),INF3.64MAYBE48.24MAYBE292.39
Ω(n^1),INF2.17Ω(n^1),INF2.29MAYBE95.45MAYBE292.36
Ω(n^1),INF3.5Ω(n^1),INF3.39MAYBE21.89MAYBE92.32
Ω(n^1),INF2.09Ω(n^1),INF2.11MAYBE62.36MAYBE293.46
Ω(n^2),INF3.13Ω(n^2),INF4.01MAYBE74.38MAYBE293.46
Ω(n^1),INF7.04Ω(n^1),INF7.24MAYBE299.21MAYBE292.35
Ω(n^1),INF3.34Ω(n^1),INF3.18MAYBE57.28MAYBE292.59
Ω(n^2),INF4.9Ω(n^2),INF5.08MAYBE113.19MAYBE295.16
Ω(n^1),INF3.33Ω(n^1),INF3.64MAYBE67.42MAYBE292.56
Ω(n^1),INF7.43Ω(n^1),INF7.5MAYBE31.41MAYBE149.29
Ω(n^1),INF3.25Ω(n^1),INF3.46MAYBE61.11MAYBE292.38
Ω(n^1),INF3.91Ω(n^1),INF4.3MAYBE68.11MAYBE294.64
Ω(n^1),INF2.53Ω(n^1),INF2.47MAYBE66.85MAYBE292.55
Ω(n^1),INF2.34Ω(n^1),INF1.93MAYBE299.35MAYBE292.13
Ω(n^1),INF2.83Ω(n^1),INF2.81MAYBE51.65MAYBE172.18
Ω(n^1),INF5.47Ω(n^1),INF5.52MAYBE157.63MAYBE292.2
Ω(n^1),INF3.23Ω(n^1),INF3.06MAYBE299.21MAYBE292.22
Ω(n^1),INF9.51Ω(n^1),INF9.06MAYBE299.2MAYBE292.2
Ω(n^1),INF3.25Ω(n^1),INF2.89MAYBE169.61MAYBE292.2
Ω(n^1),INF2.38Ω(n^1),INF2.69MAYBE187.42MAYBE292.27
Ω(n^1),INF5.66Ω(n^1),INF5.64MAYBE191.32MAYBE292.21
Ω(n^1),INF3.17Ω(n^1),INF3.09MAYBE171.99MAYBE292.33
Ω(n^1),INF2.63Ω(n^1),INF3.14MAYBE201.28MAYBE292.24
Ω(n^1),INF3.52Ω(n^1),INF3.81MAYBE299.58MAYBE292.13
Ω(n^1),INF4.41Ω(n^1),INF5.04MAYBE299.25MAYBE292.19
Ω(n^1),INF2.1Ω(n^1),INF2.14TIMEOUT300MAYBE295.45
Ω(n^1),INF2.02Ω(n^1),INF2.5MAYBE50.88TIMEOUT300
Ω(n^2),INF2.98Ω(n^2),INF2.61MAYBE78.27MAYBE296.18
Ω(n^1),INF2.96Ω(n^1),INF2.99MAYBE66.92TIMEOUT300
Ω(n^2),INF3.87Ω(n^2),INF3.75MAYBE107.06MAYBE293.43
Ω(n^2),INF3.78Ω(n^2),INF3.93MAYBE140.61MAYBE292.63
Ω(n^2),INF3.55Ω(n^2),INF3.47MAYBE104.85MAYBE292.32
INF,INF1.78INF,INF1.76TIMEOUT300MAYBE292.28
Ω(n^1),INF2.22Ω(n^1),INF2.26TIMEOUT300MAYBE292.16
Ω(n^2),INF2.25Ω(n^2),INF2.25MAYBE45.13TIMEOUT300
Ω(n^1),INF3.37Ω(n^1),INF3.32MAYBE25.07MAYBE213.97
Ω(n^1),INF3.07Ω(n^1),INF3.38TIMEOUT300MAYBE293.76
Ω(n^1),INF3.37Ω(n^1),INF3.39MAYBE72.03MAYBE292.48
Ω(n^1),INF2.33Ω(n^1),INF2.21MAYBE106.69MAYBE292.28
Ω(n^1),INF3.2Ω(n^1),INF3.4MAYBE48.1MAYBE292.39
Ω(n^1),INF2.21Ω(n^1),INF2.52MAYBE35.74MAYBE49.21
Ω(n^2),INF3.68Ω(n^2),INF4.11MAYBE97.93MAYBE292.2
Ω(n^2),INF3.73Ω(n^2),INF3.65MAYBE104.67MAYBE292.31
Ω(n^1),INF3.52Ω(n^1),INF3.65MAYBE93.14MAYBE292.65
Ω(n^1),INF3.35Ω(n^1),INF3.0MAYBE42.3MAYBE236.84
Ω(n^1),INF3.38Ω(n^1),INF3.56MAYBE145.79MAYBE292.88
Ω(n^1),INF4.88Ω(n^1),INF4.91MAYBE203.25MAYBE293.29
Ω(n^1),INF3.29Ω(n^1),INF3.88MAYBE98.2MAYBE292.76
Ω(n^1),INF2.37Ω(n^1),INF2.29MAYBE48.26TIMEOUT300
Ω(n^1),INF3.05Ω(n^1),INF2.9MAYBE23.57MAYBE47.56
Ω(n^1),INF3.13Ω(n^1),INF3.47MAYBE21.26MAYBE45.75
Ω(n^1),INF4.08Ω(n^1),INF4.19MAYBE16.49MAYBE47.72
Ω(n^1),INF2.98Ω(n^1),INF3.41MAYBE20.36MAYBE43.73
Ω(n^1),INF4.43Ω(n^1),INF4.66MAYBE21.82MAYBE41.91
Ω(n^1),INF3.45Ω(n^1),INF3.5MAYBE41.42TIMEOUT300
Ω(n^1),INF3.01Ω(n^1),INF2.62MAYBE41.6MAYBE109.15
Ω(n^1),INF3.3Ω(n^1),INF3.4MAYBE41.47TIMEOUT300
Ω(n^1),INF2.55Ω(n^1),INF2.4MAYBE32.61MAYBE47.46
Ω(n^1),INF1.97Ω(n^1),INF2.16MAYBE31.71MAYBE49.35
Ω(n^1),INF1.74Ω(n^1),INF1.65MAYBE15.04MAYBE43.44
Ω(n^1),INF3.22Ω(n^1),INF3.32MAYBE30.86MAYBE51.03
Ω(n^1),INF3.01Ω(n^1),INF3.31MAYBE30.49MAYBE55.71
Ω(n^1),INF1.83Ω(n^1),INF1.86MAYBE16.92MAYBE42.15
Ω(n^1),INF2.03Ω(n^1),INF1.92MAYBE20.47MAYBE45.04
Ω(n^1),INF3.45Ω(n^1),INF3.35MAYBE32.35MAYBE296.52
Ω(n^1),INF2.01Ω(n^1),INF1.83MAYBE15.43MAYBE43.21
Ω(n^1),INF2.23Ω(n^1),INF2.22MAYBE18.21MAYBE71.11
Ω(n^1),INF1.85Ω(n^1),INF1.92TIMEOUT300MAYBE294.99
Ω(n^1),INF2.11Ω(n^1),INF2.4MAYBE30.08MAYBE50.24
Ω(n^1),INF2.55Ω(n^1),INF2.71MAYBE11.95MAYBE41.41
Ω(n^1),INF1.79Ω(n^1),INF1.76MAYBE30.07MAYBE46.08
Ω(n^1),INF1.73Ω(n^1),INF1.68MAYBE30.55MAYBE299.67
Ω(n^1),INF1.72Ω(n^1),INF1.7MAYBE30.09MAYBE49.23
Ω(n^1),INF3.57Ω(n^1),INF4.01TIMEOUT300MAYBE292.14
Ω(n^1),INF2.04Ω(n^1),INF2.08MAYBE299.87MAYBE294.43
INF,INF1.62INF,INF1.53TIMEOUT300MAYBE294.47
Ω(n^1),INF1.83Ω(n^1),INF1.78Ω(1),O(n^1)1.69Ω(1),O(n^1)1.28
Ω(2^n),INF7.27Ω(2^n),INF7.69MAYBE299.18MAYBE293.72
MAYBE1.29MAYBE1.35INF,O(n^1)2.83Ω(1),O(1)1.65
Ω(n^2),INF3.34Ω(n^2),INF3.21MAYBE65.98MAYBE292.26
Ω(n^1),INF2.8Ω(n^1),INF2.65TIMEOUT300MAYBE292.45
Ω(n^1),INF2.98Ω(n^1),INF2.88TIMEOUT300MAYBE293.56
Ω(n^1),INF2.07Ω(n^1),INF1.92TIMEOUT300MAYBE296.19
Ω(n^1),INF3.48Ω(n^1),INF3.29Ω(1),O(n^2)248.93MAYBE292.85
Ω(n^1),INF6.07Ω(n^2),INF5.86TIMEOUT300MAYBE294.63
Ω(n^1),INF5.4Ω(n^2),INF5.73TIMEOUT300MAYBE292.93
Ω(2^n),INF3.89Ω(2^n),INF4.24MAYBE278.78MAYBE292.87
Ω(2^n),INF3.42Ω(2^n),INF3.6MAYBE117.85MAYBE293.2
Ω(2^n),INF3.23Ω(2^n),INF3.43MAYBE80.23MAYBE293.1
Ω(n^1),INF5.53Ω(n^2),INF5.84TIMEOUT300MAYBE296.26
Ω(n^1),INF3.66Ω(n^1),INF3.88MAYBE210.35MAYBE292.81
Ω(n^2),INF4.3Ω(n^2),INF3.95MAYBE299.24MAYBE298.38
Ω(n^1),INF9.98Ω(n^1),INF10.27MAYBE222.85MAYBE293.54
Ω(n^1),INF300Ω(n^1),INF300MAYBE299.27MAYBE293.15
Ω(n^1),INF17.85Ω(n^1),INF18.05MAYBE299.21MAYBE292.17
Ω(n^1),INF16.99Ω(n^1),INF17.12MAYBE285.32MAYBE293.28
Ω(n^1),INF4.85Ω(n^1),INF4.56MAYBE299.19MAYBE292.6
Ω(n^1),INF1.3Ω(n^1),INF1.7INF,O(n^1)0.25Ω(1),O(n^1)0.61
Ω(n^1),INF1.39Ω(n^1),INF1.75INF,O(n^1)0.79Ω(1),O(n^1)0.44
Ω(n^1),INF2.5Ω(n^1),INF2.59Ω(1),O(n^1)1.47Ω(1),O(n^1)1.17
Ω(n^1),INF3.43Ω(n^1),INF3.54Ω(1),O(n^1)38.32Ω(1),O(n^1)15.1
Ω(n^1),INF1.94Ω(n^1),INF2.42MAYBE299.99MAYBE295.95
Ω(n^1),INF1.56Ω(n^1),INF1.83Ω(1),O(n^1)1.09Ω(1),O(n^1)0.18
Ω(n^1),INF2.01Ω(n^1),INF2.12TIMEOUT300MAYBE294.05
Ω(2^n),INF3.21Ω(2^n),INF3.47TIMEOUT300MAYBE293.28
Ω(n^1),INF1.38Ω(n^1),INF1.9INF,O(n^1)1.25Ω(1),O(n^1)0.27
Ω(n^1),INF1.37Ω(n^1),INF1.75Ω(1),O(n^2)299.71Ω(1),O(n^2)2.29
Ω(n^1),INF3.7Ω(n^1),INF3.69MAYBE299.36MAYBE292.1
Ω(n^1),INF1.58Ω(n^1),INF1.89MAYBE299.59MAYBE292.31
Ω(n^1),INF1.6Ω(n^1),INF1.91INF,O(n^1)6.97Ω(1),O(n^1)4.88
Ω(n^1),INF2.23Ω(n^1),INF2.2MAYBE299.58MAYBE293.55
Ω(n^1),INF2.2Ω(n^1),INF2.29TIMEOUT300MAYBE292.79
Ω(n^1),INF2.59Ω(n^1),INF2.61TIMEOUT300MAYBE292.44
Ω(n^1),INF2.28Ω(n^1),INF2.33TIMEOUT300MAYBE293.22
Ω(n^1),INF2.71Ω(n^1),INF2.51MAYBE34.19MAYBE71.0
Ω(n^1),INF2.32Ω(n^1),INF2.31MAYBE299.24MAYBE293.64
Ω(n^1),INF1.72Ω(n^1),INF1.76MAYBE30.11MAYBE46.35
Ω(n^1),INF2.2Ω(n^1),INF2.12TIMEOUT300MAYBE293.45
Ω(n^1),INF2.08Ω(n^1),INF2.11TIMEOUT300MAYBE293.28
Ω(n^1),INF2.02Ω(n^1),INF2.07TIMEOUT300MAYBE296.03
Ω(n^1),INF2.52Ω(n^1),INF2.59MAYBE42.19TIMEOUT300
Ω(n^1),INF2.68Ω(n^1),INF2.63MAYBE44.32MAYBE240.04
Ω(n^1),INF4.45Ω(n^1),INF4.06MAYBE299.56MAYBE292.39
Ω(2^n),INF3.7Ω(2^n),INF3.49MAYBE134.4MAYBE292.25
Ω(n^1),INF2.36Ω(n^1),INF2.17MAYBE45.09MAYBE269.23
Ω(n^2),INF3.01Ω(n^2),INF3.06MAYBE55.29TIMEOUT300
INF,INF1.22INF,INF1.22MAYBE7.63MAYBE14.42
INF,INF1.17INF,INF1.13MAYBE8.24MAYBE14.06
INF,INF1.17INF,INF1.16MAYBE8.2MAYBE14.04
INF,INF1.16INF,INF1.17TIMEOUT300MAYBE294.26
INF,INF1.13INF,INF1.13MAYBE11.17MAYBE15.11
INF,INF1.19INF,INF1.23MAYBE7.2MAYBE1.54
Ω(n^1),INF6.22Ω(n^1),INF4.17MAYBE122.3MAYBE293.15
Ω(n^1),INF1.76Ω(n^1),INF1.79MAYBE64.32MAYBE294.68
Ω(n^1),INF3.36Ω(n^1),INF3.24MAYBE84.68MAYBE293.44
Ω(2^n),INF1.85Ω(2^n),INF1.81TIMEOUT300MAYBE86.61
Ω(n^1),INF300Ω(n^1),INF300MAYBE299.96MAYBE293.57
Ω(n^1),INF1.29Ω(n^1),INF1.78Ω(1),O(n^1)5.08Ω(1),O(n^1)7.03
Ω(n^1),INF1.95Ω(n^1),INF2.13TIMEOUT300MAYBE293.04
Ω(n^1),INF4.48Ω(n^1),INF7.84TIMEOUT300MAYBE293.96
Ω(n^1),INF1.96Ω(n^1),INF2.04MAYBE61.25MAYBE296.99
Ω(n^1),INF6.24Ω(n^1),INF5.46MAYBE299.24MAYBE292.79
Ω(n^1),INF1.76Ω(n^1),INF2.05TIMEOUT300MAYBE293.3
Ω(n^1),INF2.41Ω(n^1),INF2.79MAYBE120.4TIMEOUT300
Ω(n^1),INF2.89Ω(n^1),INF2.91MAYBE244.87MAYBE292.49
Ω(n^1),INF2.43Ω(n^1),INF2.79MAYBE117.42MAYBE293.05
Ω(n^1),INF300Ω(n^1),INF300TIMEOUT300Ω(1),O(n^2)2.47
Ω(n^1),INF1.55Ω(n^1),INF1.91TIMEOUT300MAYBE292.17
Ω(n^1),INF2.19Ω(n^1),INF2.08INF,O(n^1)2.07Ω(1),O(n^1)0.16
Ω(n^1),INF4.12Ω(n^1),INF3.01Ω(1),O(n^1)0.98Ω(1),O(n^1)0.5
Ω(n^1),INF1.73Ω(n^1),INF1.8INF,O(n^1)0.42Ω(1),O(n^1)0.24
Ω(n^1),INF1.97Ω(n^1),INF1.93MAYBE264.27MAYBE2.95
Ω(n^1),INF2.27Ω(n^1),INF2.14INF,O(n^1)1.01Ω(1),O(n^1)0.46
Ω(2^n),INF1.92Ω(2^n),INF1.85MAYBE78.26MAYBE293.03
Ω(2^n),INF3.65Ω(2^n),INF3.65MAYBE89.71MAYBE293.92
Ω(n^1),INF300Ω(n^1),INF300Ω(1),O(n^1)2.08Ω(1),O(n^1)0.89
Ω(n^1),INF1.37Ω(n^1),INF1.7MAYBE274.84MAYBE1.5
Ω(n^1),INF1.94Ω(n^1),INF2.08MAYBE299.26MAYBE293.03
Ω(n^1),INF2.18Ω(n^1),INF2.08INF,O(n^1)2.85Ω(1),O(n^1)2.97
Ω(n^1),INF1.89Ω(n^1),INF2.07Ω(1),O(n^1)1.1Ω(1),O(n^1)0.81
Ω(n^1),INF2.57Ω(n^1),INF2.64MAYBE299.34MAYBE294.31
Ω(n^1),INF2.48Ω(n^1),INF2.57Ω(1),O(n^2)42.59TIMEOUT300
Ω(n^1),INF3.59Ω(n^1),INF3.87MAYBE280.61MAYBE292.94
Ω(n^1),INF4.76Ω(n^1),INF5.56MAYBE66.72MAYBE163.07
Ω(n^1),INF1.35Ω(n^1),INF1.62Ω(1),O(n^1)1.47Ω(1),O(n^1)0.99
Ω(n^1),INF2.88Ω(n^1),INF3.09Ω(1),O(n^1)18.89Ω(1),O(n^1)0.44
MAYBE1.37MAYBE1.39Ω(1),O(n^1)0.37Ω(1),O(1)0.47
Ω(n^1),INF2.13Ω(n^1),INF2.07MAYBE37.85MAYBE106.91
Ω(2^n),INF6.4Ω(2^n),INF6.4MAYBE225.35MAYBE292.72
MAYBE1.36MAYBE1.34INF,O(n^1)0.14Ω(1),O(1)0.13
Ω(n^1),INF1.48Ω(2^n),INF1.98MAYBE299.24MAYBE291.72
MAYBE1.21MAYBE1.21INF,O(n^1)2.6Ω(1),O(1)0.5
Ω(n^1),INF3.08Ω(n^1),INF3.24Ω(1),O(n^1)38.47Ω(1),O(n^1)7.18
Ω(n^1),INF1.47Ω(n^1),INF1.82Ω(1),O(n^1)0.42Ω(1),O(n^1)0.3
Ω(n^2),INF3.75Ω(n^2),INF3.78MAYBE143.38MAYBE294.22
Ω(n^1),INF2.14Ω(n^1),INF2.32MAYBE46.05TIMEOUT300
Ω(2^n),INF2.63Ω(2^n),INF2.92TIMEOUT300MAYBE292.58
Ω(n^2),INF5.3Ω(n^2),INF5.23MAYBE232.03MAYBE292.27
Ω(n^1),INF2.38Ω(n^1),INF2.56INF,O(n^1)3.02Ω(1),O(n^1)2.36
Ω(n^1),INF1.34Ω(n^1),INF1.24INF,O(n^1)0.51Ω(1),O(n^1)0.29
Ω(n^1),INF3.08Ω(n^1),INF2.98TIMEOUT300MAYBE295.2
Ω(n^1),INF2.72Ω(n^1),INF2.62MAYBE34.51MAYBE226.6
Ω(n^1),INF1.85Ω(n^1),INF1.9MAYBE56.22MAYBE292.25
Ω(n^1),INF1.86Ω(n^1),INF1.89MAYBE29.06MAYBE97.84
Ω(n^1),INF2.17Ω(n^1),INF3.9TIMEOUT300MAYBE296.41
Ω(n^1),INF2.14Ω(n^1),INF2.21TIMEOUT300MAYBE296.43
Ω(2^n),INF91.55Ω(2^n),INF90.25MAYBE299.85MAYBE292.26
MAYBE1.26MAYBE1.22Ω(1),O(n^1)5.58Ω(1),O(n^1)3.56
Ω(n^1),INF3.7Ω(n^1),INF4.21TIMEOUT300MAYBE292.94
Ω(n^1),INF2.56Ω(n^1),INF2.44MAYBE60.22TIMEOUT300
Ω(n^1),INF1.71Ω(n^1),INF1.79TIMEOUT300MAYBE292.58
Ω(n^2),INF2.56Ω(n^2),INF2.62TIMEOUT300MAYBE293.07
Ω(n^2),INF2.69Ω(n^2),INF2.8TIMEOUT300MAYBE292.31
Ω(n^1),INF2.66Ω(n^1),INF2.58MAYBE34.63MAYBE75.05
MAYBE1.26MAYBE1.24TIMEOUT300Ω(1),O(1)8.65
INF,INF1.15INF,INF1.14MAYBE57.26MAYBE24.07
MAYBE1.3MAYBE1.34TIMEOUT300Ω(1),O(n^1)292.08
MAYBE1.31MAYBE1.24TIMEOUT300Ω(1),O(n^1)292.09
MAYBE1.44MAYBE1.6INF,O(n^1)17.83Ω(1),O(n^1)4.42
Ω(n^1),INF300Ω(n^1),INF300MAYBE164.64MAYBE294.88
Ω(n^1),INF2.31Ω(n^1),INF2.5MAYBE54.13MAYBE296.96
Ω(n^1),INF2.16Ω(n^1),INF2.39MAYBE51.88MAYBE292.58
Ω(n^1),INF2.98Ω(n^1),INF3.69MAYBE183.66MAYBE292.23
MAYBE1.28MAYBE1.28TIMEOUT300Ω(1),O(1)11.88
MAYBE1.37MAYBE1.46Ω(1),O(n^1)17.76Ω(1),O(n^1)292.11
MAYBE1.54MAYBE1.58TIMEOUT300MAYBE293.3
Ω(n^1),INF2.61Ω(n^1),INF2.61MAYBE46.57MAYBE292.4
Ω(n^2),INF3.05Ω(n^2),INF2.95MAYBE83.53MAYBE292.3
Ω(n^2),INF3.42Ω(n^2),INF3.09TIMEOUT300MAYBE292.67
Ω(n^2),INF2.98Ω(n^2),INF2.98MAYBE84.93MAYBE292.7
Ω(n^1),INF2.76Ω(n^1),INF2.9MAYBE103.5MAYBE292.21
Ω(n^1),INF2.12Ω(n^1),INF2.37TIMEOUT300MAYBE293.85
Ω(n^1),INF3.07Ω(n^1),INF2.85MAYBE77.67TIMEOUT300
Ω(n^2),INF2.94Ω(n^2),INF2.91MAYBE54.09MAYBE218.05
Ω(n^1),INF4.04Ω(n^1),INF4.65MAYBE115.53MAYBE292.68
Ω(n^2),INF2.76Ω(n^2),INF2.6MAYBE299.4MAYBE292.32
Ω(n^2),INF2.49Ω(n^2),INF2.54TIMEOUT300MAYBE292.25
Ω(n^2),INF3.67Ω(n^2),INF3.84MAYBE101.93MAYBE293.06
Ω(n^2),INF3.57Ω(n^2),INF3.24MAYBE130.56MAYBE293.21
MAYBE1.87MAYBE2.0TIMEOUT300MAYBE292.7
Ω(n^1),INF4.66Ω(n^1),INF4.8MAYBE167.32MAYBE292.78
Ω(n^1),INF2.82Ω(n^1),INF3.4MAYBE153.82MAYBE292.16
Ω(n^1),INF5.19Ω(n^1),INF5.18MAYBE299.17MAYBE292.18
Ω(n^1),INF5.82Ω(n^1),INF5.6MAYBE256.46MAYBE292.16
Ω(n^1),INF3.35Ω(n^1),INF3.2MAYBE192.86MAYBE292.19
Ω(n^1),INF4.26Ω(n^1),INF4.36MAYBE157.8MAYBE292.15
Ω(n^1),INF3.75Ω(n^1),INF3.92MAYBE125.76MAYBE292.24
Ω(n^1),INF2.89Ω(n^1),INF2.72TIMEOUT300MAYBE292.21
Ω(n^1),INF3.84Ω(n^1),INF3.93MAYBE121.0MAYBE292.21
Ω(n^1),INF3.37Ω(n^1),INF3.4MAYBE114.99MAYBE292.28
Ω(n^1),INF1.92Ω(n^1),INF2.23TIMEOUT300MAYBE295.62
Ω(2^n),INF3.46Ω(2^n),INF3.75TIMEOUT300MAYBE294.44
Ω(n^1),INF4.61Ω(n^1),INF4.42MAYBE299.23MAYBE294.09
Ω(2^n),INF1.7Ω(2^n),INF1.67TIMEOUT300MAYBE292.86
Ω(n^1),INF1.52Ω(n^1),INF1.89Ω(1),O(n^1)300Ω(1),O(n^1)292.2
Ω(n^1),INF1.46Ω(n^1),INF1.69Ω(1),O(n^1)0.4Ω(1),O(n^1)0.37
Ω(n^1),INF300Ω(n^1),INF300Ω(1),O(n^2)299.26Ω(1),O(n^2)6.36
Ω(n^1),INF1.98Ω(n^1),INF2.02Ω(1),O(n^1)0.29Ω(1),O(n^1)0.21
Ω(n^1),INF2.22Ω(n^1),INF2.13Ω(1),O(n^1)0.47Ω(1),O(n^1)0.31
Ω(n^3),INF4.3Ω(n^3),INF4.17MAYBE47.26MAYBE292.38
Ω(n^1),INF2.52Ω(n^1),INF2.64Ω(1),O(n^1)1.45Ω(1),O(n^1)0.51
Ω(n^1),INF2.26Ω(n^1),INF2.21Ω(1),O(n^1)42.28Ω(1),O(n^1)0.96
Ω(2^n),INF7.81Ω(2^n),INF7.98MAYBE299.28MAYBE297.03
Ω(n^1),INF3.87Ω(n^2),INF4.03Ω(1),O(n^2)299.24Ω(1),O(n^2)3.55
Ω(n^1),INF15.99Ω(n^1),INF4.69Ω(1),O(n^1)0.67Ω(1),O(n^1)0.22
Ω(n^1),INF2.92Ω(n^1),INF2.89Ω(1),O(n^2)9.41Ω(1),O(n^2)1.32
Ω(n^2),INF3.42Ω(n^2),INF3.35MAYBE33.13MAYBE258.95
Ω(n^1),INF6.4Ω(n^1),INF2.09Ω(1),O(n^1)0.83Ω(1),O(n^1)0.39
Ω(2^n),INF2.25Ω(2^n),INF2.51MAYBE24.18MAYBE1.82
Ω(2^n),INF4.74Ω(2^n),INF3.71MAYBE299.3MAYBE294.11
Ω(n^2),INF5.52Ω(n^2),INF300MAYBE47.62MAYBE293.7
Ω(2^n),INF1.91Ω(2^n),INF2.13MAYBE13.64MAYBE1.67
Ω(2^n),INF2.51Ω(2^n),INF2.54TIMEOUT300MAYBE295.13
Ω(2^n),INF3.01Ω(3^n),INF3.33TIMEOUT300MAYBE293.6
Ω(n^1),INF3.37Ω(n^1),INF3.43TIMEOUT300MAYBE296.28
Ω(n^1),INF2.5Ω(n^1),INF2.82MAYBE299.22MAYBE295.6
Ω(n^1),INF300Ω(n^1),INF3.57Ω(1),O(n^1)12.7Ω(1),O(n^1)0.99
MAYBE1.21MAYBE1.24Ω(1),O(n^1)0.38Ω(1),O(1)0.28
Ω(n^1),INF2.6Ω(n^1),INF2.53Ω(1),O(n^1)0.91Ω(1),O(n^1)0.12
Ω(n^1),INF1.56Ω(n^1),INF1.83Ω(1),O(n^1)5.09Ω(1),O(n^1)7.03
MAYBE1.46MAYBE1.34Ω(1),O(n^1)0.2Ω(1),O(1)0.09
Ω(n^1),INF2.04Ω(n^1),INF2.1Ω(1),O(n^1)0.84Ω(1),O(n^1)0.17
Ω(n^2),INF3.25Ω(n^2),INF2.85Ω(1),O(n^2)16.7Ω(1),O(n^2)7.02
Ω(n^1),INF1.5Ω(n^1),INF1.54Ω(1),O(n^1)0.63Ω(1),O(n^1)0.21
Ω(n^1),INF1.97Ω(n^1),INF1.95Ω(1),O(n^1)0.58Ω(1),O(n^1)0.27
Ω(n^1),INF1.51Ω(n^1),INF1.48TIMEOUT300Ω(1),O(n^1)4.12
Ω(2^n),INF5.74Ω(2^n),INF5.06TIMEOUT300MAYBE295.26
Ω(n^1),INF2.0Ω(n^1),INF2.5Ω(1),O(n^1)3.07Ω(1),O(n^1)1.39
Ω(n^1),INF300Ω(n^1),INF8.48Ω(1),O(n^1)2.71Ω(1),O(n^1)0.29
Ω(n^1),INF1.3Ω(n^1),INF1.63Ω(1),O(n^1)0.16Ω(1),O(n^1)0.08
MAYBE1.23MAYBE1.17Ω(1),O(1)0.34Ω(1),O(1)0.14
MAYBE1.23MAYBE1.22Ω(1),O(n^1)2.65Ω(1),O(1)0.5
Ω(n^1),INF1.24Ω(n^1),INF1.7Ω(1),O(n^1)0.07Ω(1),O(n^1)0.06
Ω(n^1),INF2.02Ω(n^1),INF2.26TIMEOUT300MAYBE297.61
Ω(n^1),INF3.65Ω(n^1),INF3.55TIMEOUT300MAYBE296.5
Ω(n^1),INF1.62Ω(n^1),INF2.2Ω(1),O(n^1)1.24Ω(1),O(n^1)0.46
Ω(n^1),INF2.03Ω(n^1),INF1.97Ω(1),O(n^1)0.22Ω(1),O(n^1)0.11
Ω(n^1),INF1.38Ω(n^1),INF1.7Ω(1),O(n^1)0.19Ω(1),O(n^1)0.13
MAYBE1.47MAYBE1.42Ω(1),O(n^1)0.11Ω(1),O(n^1)0.07
MAYBE1.73MAYBE1.73Ω(1),O(n^1)75.83MAYBE113.53
Ω(n^1),INF300Ω(n^1),INF300Ω(1),O(n^2)6.45Ω(1),O(n^2)2.66
INF,INF1.29INF,INF1.36TIMEOUT300MAYBE294.81
MAYBE1.23MAYBE1.19Ω(1),O(n^1)1.53Ω(1),O(1)0.51
MAYBE1.25MAYBE1.23Ω(1),O(n^2)300Ω(1),O(1)1.12
Ω(n^1),INF2.17Ω(n^1),INF2.62Ω(1),O(n^2)21.22Ω(1),O(n^2)3.3
Ω(n^1),INF3.66Ω(n^1),INF3.77Ω(1),O(n^1)5.09Ω(1),O(n^1)7.05
Ω(n^1),INF24.98Ω(n^1),INF2.51Ω(1),O(n^1)30.07Ω(1),O(n^2)1.95
Ω(n^1),INF1.7Ω(n^1),INF1.68Ω(1),O(n^1)1.34Ω(1),O(n^1)0.24
Ω(n^1),INF1.93Ω(n^2),INF3.13MAYBE28.81MAYBE61.81
MAYBE1.27MAYBE1.32Ω(1),O(n^1)0.73Ω(1),O(1)0.26
Ω(n^1),INF1.71Ω(n^1),INF2.3TIMEOUT300MAYBE292.77
Ω(2^n),INF2.43Ω(2^n),INF3.21TIMEOUT300MAYBE293.71
Ω(n^1),INF2.37Ω(n^1),INF2.42Ω(1),O(n^1)1.04Ω(1),O(n^1)0.57
Ω(n^1),INF2.09Ω(n^1),INF1.99TIMEOUT300Ω(1),O(n^1)2.16
Ω(n^1),INF300Ω(n^1),INF2.28TIMEOUT300MAYBE292.44
Ω(n^1),INF300Ω(n^1),INF300Ω(1),O(n^1)229.17Ω(1),O(n^1)2.04
Ω(n^1),INF1.35Ω(n^1),INF1.35Ω(1),O(n^1)0.89Ω(1),O(n^1)0.14
Ω(n^1),INF2.71Ω(n^1),INF2.8Ω(1),O(n^1)13.66Ω(1),O(n^1)2.83
Ω(2^n),INF3.31Ω(2^n),INF3.12MAYBE299.27MAYBE294.27
INF,INF1.18INF,INF1.19MAYBE299.59MAYBE291.91
MAYBE1.25MAYBE1.25Ω(1),O(1)0.23Ω(1),O(1)0.05
Ω(n^1),INF1.52Ω(n^1),INF1.76Ω(1),O(n^1)1.01Ω(1),O(n^1)0.35
Ω(n^1),INF2.44Ω(n^1),INF2.44MAYBE299.46MAYBE293.07
Ω(n^1),INF2.33Ω(n^1),INF2.27MAYBE69.69TIMEOUT300
Ω(n^1),INF1.35Ω(n^1),INF1.6Ω(1),O(n^1)0.22Ω(1),O(n^1)0.23
MAYBE1.26MAYBE1.35Ω(1),O(1)1.85Ω(1),O(1)0.15
MAYBE1.22MAYBE1.24Ω(1),O(n^1)1.49Ω(1),O(1)0.14
MAYBE1.29MAYBE1.35Ω(1),O(n^1)1.28Ω(1),O(n^1)0.37
Ω(n^1),INF5.8Ω(n^1),INF6.21Ω(1),O(n^2)299.47Ω(1),O(n^2)4.37
Ω(2^n),INF2.47Ω(2^n),INF2.74TIMEOUT300MAYBE293.81
MAYBE1.46MAYBE1.57MAYBE44.49TIMEOUT300
Ω(2^n),INF5.77Ω(2^n),INF3.06MAYBE299.38MAYBE294.47
Ω(2^n),INF106.27Ω(2^n),INF29.84MAYBE299.64MAYBE293.41
Ω(2^n),INF6.1Ω(2^n),INF2.77TIMEOUT300MAYBE293.25
Ω(n^1),INF1.59Ω(n^1),INF1.61Ω(1),O(n^1)30.15Ω(1),O(n^1)41.0
Ω(n^1),INF1.3Ω(n^1),INF1.64Ω(1),O(n^1)4.44Ω(1),O(n^1)3.18
Ω(n^1),INF1.68Ω(n^1),INF1.62Ω(1),O(n^1)30.04Ω(1),O(n^1)292.05
Ω(n^1),INF3.41Ω(n^1),INF3.41TIMEOUT300MAYBE294.7
Ω(n^1),INF1.38Ω(n^1),INF1.67Ω(1),O(n^1)1.74Ω(1),O(n^1)0.86
Ω(n^1),INF2.11Ω(n^1),INF2.05Ω(1),O(n^1)13.71Ω(1),O(n^1)2.11
Ω(n^1),INF2.36Ω(n^1),INF2.31MAYBE53.31MAYBE143.64
MAYBE1.37MAYBE1.41TIMEOUT300MAYBE0.82
Ω(n^1),INF2.04Ω(n^1),INF2.06MAYBE23.52MAYBE99.17
Ω(n^1),INF3.13Ω(n^1),INF3.26MAYBE72.13Ω(1),O(n^3)292.35
Ω(n^1),INF1.82Ω(n^1),INF1.9Ω(1),O(n^1)7.51Ω(1),O(n^1)7.03
Ω(n^1),INF2.74Ω(n^1),INF2.96MAYBE57.01MAYBE294.48
Ω(n^1),INF1.66Ω(n^1),INF1.63Ω(1),O(n^1)30.04Ω(1),O(n^1)292.54
Ω(n^1),INF1.9Ω(n^1),INF1.95MAYBE167.03MAYBE105.72
Ω(n^1),INF2.37Ω(n^1),INF2.36MAYBE48.49MAYBE292.31
Ω(n^1),INF4.04Ω(n^1),INF3.42MAYBE85.21MAYBE292.33
Ω(n^1),INF2.01Ω(n^1),INF2.26MAYBE37.13MAYBE189.5
Ω(n^1),INF2.36Ω(n^1),INF2.6Ω(1),O(n^2)30.53MAYBE294.67
Ω(n^2),INF1.87Ω(n^2),INF1.97TIMEOUT300MAYBE292.71
Ω(n^1),INF1.96Ω(n^1),INF1.88Ω(1),O(n^1)6.08MAYBE271.95
Ω(2^n),INF6.34Ω(2^n),INF6.22TIMEOUT300MAYBE292.88
Ω(n^1),INF4.91Ω(n^2),INF5.25MAYBE163.92MAYBE297.01
Ω(n^1),INF1.34Ω(n^1),INF1.34Ω(1),O(n^1)1.73Ω(1),O(n^1)0.87
Ω(n^1),INF1.27Ω(n^1),INF1.29Ω(1),O(n^1)0.8Ω(1),O(n^1)0.33
MAYBE1.24MAYBE1.28Ω(1),O(1)30.09Ω(1),O(n^1)292.19
INF,INF2.27INF,INF2.32TIMEOUT300MAYBE295.05
INF,INF1.23INF,INF1.31MAYBE14.56MAYBE1.64
INF,INF1.38INF,INF1.34MAYBE11.18MAYBE1.35
INF,INF1.46INF,INF1.44MAYBE55.97MAYBE4.23
INF,INF1.43INF,INF1.45MAYBE29.84MAYBE3.13
INF,INF1.4INF,INF1.38MAYBE57.87MAYBE274.87
INF,INF1.39INF,INF1.38MAYBE21.72MAYBE2.28
INF,INF1.16INF,INF1.2MAYBE10.32MAYBE22.38
INF,INF1.51INF,INF1.55MAYBE54.58MAYBE292.4
INF,INF1.43INF,INF1.49MAYBE21.25MAYBE3.73
INF,INF1.3INF,INF1.33MAYBE18.23MAYBE2.04
INF,INF1.68INF,INF1.62MAYBE56.87MAYBE138.92
INF,INF1.74INF,INF1.67MAYBE299.4MAYBE292.82
INF,INF1.17INF,INF1.13TIMEOUT300MAYBE293.97
INF,INF1.22INF,INF1.2TIMEOUT300MAYBE14.13
INF,INF2.06INF,INF1.69MAYBE37.99MAYBE196.7
INF,INF1.3INF,INF1.24MAYBE18.91MAYBE1.82
INF,INF1.15INF,INF1.15MAYBE7.8MAYBE14.06
Ω(n^1),INF1.92Ω(n^1),INF1.9Ω(1),O(n^1)48.05MAYBE295.38
INF,INF1.3INF,INF1.34MAYBE30.0MAYBE113.33
INF,INF2.76INF,INF2.77MAYBE118.4MAYBE296.41
INF,INF1.52INF,INF1.44MAYBE9.38MAYBE292.28
INF,INF2.01INF,INF1.93MAYBE256.24MAYBE292.28
INF,INF1.34INF,INF1.29MAYBE30.07MAYBE1.98
INF,INF1.3INF,INF1.34MAYBE7.08MAYBE292.94
INF,INF1.32INF,INF1.31MAYBE15.46MAYBE2.13
INF,INF1.42INF,INF1.4MAYBE26.27MAYBE2.63
INF,INF1.38INF,INF1.41TIMEOUT300MAYBE293.06
INF,INF3.52INF,INF3.9TIMEOUT300MAYBE293.81
INF,INF2.97INF,INF2.96TIMEOUT300MAYBE295.69
INF,INF1.24INF,INF1.22MAYBE9.61MAYBE14.46
INF,INF1.76INF,INF2.19MAYBE16.74MAYBE296.22
INF,INF1.73INF,INF1.79MAYBE14.74MAYBE295.7
INF,INF3.6INF,INF3.67TIMEOUT300MAYBE294.15
INF,INF1.36INF,INF1.29TIMEOUT300MAYBE293.11
INF,INF1.35INF,INF1.27MAYBE299.38MAYBE297.19
INF,INF1.41INF,INF1.45TIMEOUT300MAYBE294.77
INF,INF1.41INF,INF1.36TIMEOUT300MAYBE295.36
INF,INF1.21INF,INF1.15MAYBE299.43MAYBE7.56
INF,INF1.27INF,INF1.24MAYBE299.25MAYBE292.62
MAYBE1.44MAYBE1.53MAYBE299.72MAYBE3.26
INF,INF1.65INF,INF1.59MAYBE78.8MAYBE292.35
INF,INF1.2INF,INF1.21TIMEOUT300MAYBE24.47
Ω(n^1),INF1.66Ω(n^1),INF1.85TIMEOUT300MAYBE4.08
Ω(n^1),INF2.25Ω(n^1),INF2.17MAYBE299.3MAYBE294.98
Ω(n^1),INF2.25Ω(n^1),INF2.22MAYBE299.81MAYBE292.41
Ω(n^1),INF1.26Ω(n^1),INF1.6Ω(1),O(n^1)1.94Ω(1),O(n^1)0.29
MAYBE1.27MAYBE1.29Ω(1),O(1)30.25Ω(1),O(1)292.15
Ω(n^1),INF11.58Ω(n^1),INF11.58MAYBE299.34TIMEOUT300
Ω(n^1),INF3.24Ω(n^1),INF3.65TIMEOUT300MAYBE6.54
Ω(n^1),INF4.84Ω(n^1),INF4.89Ω(1),O(n^10)99.24Ω(1),O(n^10)28.62
Ω(n^1),INF2.9Ω(n^1),INF3.16Ω(1),O(n^5)36.07Ω(1),O(n^5)11.06
Ω(n^1),INF3.28Ω(n^1),INF4.2MAYBE234.73MAYBE292.45
Ω(n^1),INF198.85Ω(n^1),INF218.52TIMEOUT300MAYBE296.32
Ω(2^n),INF1.45Ω(2^n),INF1.93TIMEOUT300MAYBE295.63
Ω(2^n),INF8.87Ω(2^n),INF8.84TIMEOUT300MAYBE295.28
Ω(n^2),INF2.79Ω(n^2),INF3.05MAYBE299.76Ω(1),O(n^3)38.08
Ω(n^1),INF2.68Ω(n^1),INF3.18MAYBE299.4MAYBE295.1
Ω(2^n),INF1.38Ω(2^n),INF1.76MAYBE299.24MAYBE294.67
Ω(2^n),INF1.6Ω(2^n),INF1.87MAYBE299.22MAYBE293.63
MAYBE1.21MAYBE1.17Ω(1),O(n^1)1.97Ω(1),O(1)0.41
Ω(n^1),INF2.76Ω(n^1),INF3.28MAYBE299.19MAYBE293.21
Ω(2^n),INF10.34Ω(2^n),INF14.06MAYBE152.53MAYBE292.62
Ω(2^n),INF2.03Ω(2^n),INF2.1TIMEOUT300MAYBE292.83
INF,INF1.16INF,INF1.25MAYBE8.84MAYBE14.46
INF,INF1.5INF,INF1.36MAYBE69.46MAYBE7.41
Ω(n^1),INF2.6Ω(n^1),INF3.17MAYBE299.18MAYBE292.09
INF,INF1.4INF,INF1.42MAYBE169.23MAYBE292.21
Ω(n^1),INF1.89Ω(n^1),INF2.12Ω(1),O(n^1)299.79Ω(1),O(n^1)292.1
Ω(n^1),INF1.4Ω(n^1),INF1.39Ω(1),O(n^1)2.38Ω(1),O(n^1)0.37
Ω(n^1),INF1.44Ω(n^1),INF1.43Ω(1),O(n^1)2.13Ω(1),O(n^1)0.28
INF,INF1.15INF,INF1.12MAYBE7.99MAYBE14.04
MAYBE1.35MAYBE1.37Ω(1),O(n^1)2.28Ω(1),O(1)0.31
Ω(n^1),INF4.28Ω(n^1),INF4.9MAYBE299.23MAYBE292.67
Ω(2^n),INF1.75Ω(2^n),INF2.07MAYBE299.6MAYBE293.0
Ω(n^1),INF2.65Ω(n^1),INF3.11TIMEOUT300TIMEOUT300
Ω(2^n),INF2.17Ω(2^n),INF2.17TIMEOUT300MAYBE293.79
Ω(n^1),INF1.69Ω(n^1),INF2.03MAYBE299.44MAYBE292.45
Ω(n^1),INF86.59Ω(n^1),INF84.88Ω(1),O(n^1)8.73Ω(1),O(n^1)7.09
INF,INF1.14INF,INF1.11MAYBE8.43MAYBE14.06
Ω(n^1),INF1.94Ω(n^1),INF2.24Ω(1),O(n^1)134.05Ω(1),O(n^1)292.03
Ω(n^1),INF1.64Ω(n^1),INF1.6Ω(1),O(n^1)1.91Ω(1),O(n^1)0.36
Ω(n^1),INF1.9Ω(n^1),INF1.82Ω(1),O(n^1)0.81Ω(1),O(n^1)0.1
MAYBE1.21MAYBE1.21Ω(1),O(n^1)1.06Ω(1),O(n^1)0.25
Ω(n^1),INF3.52Ω(n^1),INF3.89MAYBE299.35MAYBE292.79
Ω(2^n),INF1.85Ω(2^n),INF1.86MAYBE299.22MAYBE292.66
Ω(2^n),INF1.93Ω(2^n),INF1.86TIMEOUT300MAYBE296.77
INF,INF1.16INF,INF1.21MAYBE7.04MAYBE14.46
Ω(n^1),INF1.99Ω(n^1),INF1.96MAYBE299.58MAYBE292.21
Ω(n^1),INF4.32Ω(n^1),INF5.12MAYBE299.32MAYBE292.17
Ω(2^n),INF1.94Ω(2^n),INF1.98MAYBE248.4MAYBE292.18
Ω(2^n),INF2.49Ω(2^n),INF2.49TIMEOUT300MAYBE294.49
INF,INF1.28INF,INF1.27MAYBE73.95MAYBE292.24
Ω(n^1),INF1.75Ω(n^1),INF2.21MAYBE299.2MAYBE292.06
Ω(2^n),INF1.7Ω(2^n),INF1.61MAYBE34.52MAYBE216.97
INF,INF1.14INF,INF1.16MAYBE8.92MAYBE14.08
Ω(n^1),INF3.7Ω(n^1),INF4.66MAYBE299.24MAYBE292.18
Ω(2^n),INF1.41Ω(2^n),INF1.41MAYBE299.25MAYBE293.01
Ω(2^n),INF2.03Ω(2^n),INF2.05MAYBE299.39MAYBE295.22
Ω(n^1),INF2.33Ω(n^1),INF2.45Ω(1),O(n^4)151.58Ω(1),O(n^1)292.2
Ω(n^1),INF3.68Ω(n^1),INF4.09Ω(1),O(n^1)299.23Ω(1),O(n^1)293.92
INF,INF2.28INF,INF2.21MAYBE299.22MAYBE292.46
Ω(n^1),INF5.36Ω(n^1),INF5.14MAYBE299.22MAYBE292.29
INF,INF2.26INF,INF1.85MAYBE33.85MAYBE292.25
Ω(n^1),INF1.69Ω(n^1),INF1.61Ω(1),O(n^1)36.53Ω(1),O(n^1)292.14
INF,INF1.23INF,INF1.17MAYBE299.13MAYBE292.31
MAYBE1.28MAYBE1.39Ω(1),O(n^1)0.67Ω(1),O(1)0.32
INF,INF1.2INF,INF1.13MAYBE7.11MAYBE14.05
Ω(n^1),INF2.03Ω(n^1),INF2.6Ω(1),O(n^1)300Ω(1),O(n^1)292.12
Ω(n^1),INF1.6Ω(n^1),INF1.58Ω(1),O(n^1)1.94Ω(1),O(n^1)0.42
Ω(n^1),INF1.94Ω(n^1),INF1.96Ω(1),O(n^1)0.79Ω(1),O(n^1)0.26
MAYBE1.24MAYBE1.23Ω(1),O(n^1)0.51Ω(1),O(n^1)0.23
Ω(n^1),INF1.78Ω(n^1),INF2.15MAYBE299.2MAYBE292.12
Ω(n^1),INF1.47Ω(n^1),INF1.77TIMEOUT300MAYBE295.86
Ω(n^1),INF1.84Ω(n^1),INF1.96MAYBE65.24MAYBE292.95
INF,INF1.13INF,INF1.11MAYBE7.5MAYBE7.13
MAYBE1.57MAYBE1.55TIMEOUT300MAYBE292.41
Ω(n^1),INF1.89Ω(n^1),INF2.09TIMEOUT300MAYBE292.47
Ω(2^n),INF1.53Ω(2^n),INF1.5MAYBE31.06MAYBE188.97
INF,INF1.12INF,INF1.11MAYBE8.53MAYBE14.08
Ω(n^1),INF2.33Ω(n^1),INF2.6Ω(1),O(n^1)67.19Ω(1),O(n^1)51.73
Ω(n^1),INF1.47Ω(n^1),INF2.05Ω(1),O(n^1)10.88Ω(1),O(n^1)2.16
Ω(n^1),INF1.45Ω(n^1),INF1.96Ω(1),O(n^1)1.59Ω(1),O(n^1)0.48
MAYBE1.39MAYBE1.51Ω(1),O(n^1)3.88Ω(1),O(n^1)0.83
Ω(n^1),INF5.92Ω(n^1),INF6.9TIMEOUT300MAYBE292.53
Ω(2^n),INF1.78Ω(2^n),INF1.69TIMEOUT300MAYBE295.79
Ω(2^n),INF2.43Ω(2^n),INF2.37TIMEOUT300MAYBE295.49
MAYBE1.18MAYBE1.21Ω(1),O(1)0.47Ω(1),O(1)0.7
MAYBE1.74MAYBE1.78TIMEOUT300MAYBE295.43
Ω(n^1),INF7.66Ω(n^1),INF8.52MAYBE299.96MAYBE292.66
Ω(2^n),INF1.5Ω(2^n),INF1.7TIMEOUT300MAYBE294.5
Ω(2^n),INF5.17Ω(2^n),INF4.89TIMEOUT300MAYBE293.41
Ω(n^3),INF2.8Ω(n^3),INF2.77MAYBE48.36MAYBE253.0
Ω(n^3),INF3.29Ω(n^3),INF3.3MAYBE299.19MAYBE292.25
Ω(n^1),INF4.17Ω(n^1),INF4.91TIMEOUT300MAYBE292.4
Ω(2^n),INF1.62Ω(2^n),INF1.61TIMEOUT300MAYBE293.56
Ω(2^n),INF2.06Ω(2^n),INF6.1MAYBE299.99MAYBE293.99
MAYBE1.22MAYBE1.2Ω(1),O(1)0.41Ω(1),O(1)0.59
Ω(n^1),INF2.26Ω(n^1),INF1.87TIMEOUT300TIMEOUT300
Ω(n^1),INF3.19Ω(n^1),INF3.96TIMEOUT300MAYBE292.88
Ω(2^n),INF1.37Ω(2^n),INF1.39TIMEOUT300MAYBE294.28
Ω(2^n),INF1.56Ω(2^n),INF1.71MAYBE299.77MAYBE295.4
Ω(n^1),INF2.13Ω(n^1),INF2.35Ω(1),O(n^1)30.07Ω(1),O(n^1)292.26
Ω(n^1),INF4.34Ω(n^1),INF4.72MAYBE299.21MAYBE293.02
Ω(2^n),INF2.16Ω(2^n),INF2.21TIMEOUT300MAYBE297.36
Ω(n^1),INF1.8Ω(n^1),INF1.97TIMEOUT300MAYBE299.21
Ω(2^n),INF2.17Ω(2^n),INF1.98TIMEOUT300TIMEOUT300
Ω(n^1),INF4.51Ω(n^1),INF4.84TIMEOUT300MAYBE292.59
Ω(2^n),INF1.82Ω(2^n),INF2.08MAYBE299.35MAYBE292.21
Ω(2^n),INF2.41Ω(2^n),INF2.37MAYBE299.69MAYBE293.37
MAYBE1.25MAYBE1.2Ω(1),O(1)0.71Ω(1),O(1)0.59
INF,INF2.31INF,INF2.29MAYBE299.49TIMEOUT300
Ω(n^1),INF2.02Ω(n^1),INF2.27MAYBE299.59MAYBE292.67
Ω(2^n),INF1.49Ω(2^n),INF1.74MAYBE299.8MAYBE294.27
Ω(2^n),INF1.48Ω(2^n),INF1.75TIMEOUT300MAYBE294.47
Ω(n^1),INF1.28Ω(n^1),INF1.65Ω(1),O(n^1)0.84Ω(1),O(n^1)0.46
INF,INF1.36INF,INF1.32TIMEOUT300MAYBE295.24
Ω(n^1),INF2.85Ω(n^1),INF3.35Ω(1),O(n^1)299.82Ω(1),O(n^1)292.47
Ω(n^1),INF1.69Ω(n^1),INF1.64Ω(1),O(n^1)7.63Ω(1),O(n^1)292.34
Ω(n^1),INF1.85Ω(n^1),INF1.68Ω(1),O(n^1)10.98Ω(1),O(n^1)1.8
MAYBE1.23MAYBE1.33Ω(1),O(n^1)0.44Ω(1),O(1)0.11
MAYBE1.33MAYBE1.32Ω(1),O(n^1)0.78Ω(1),O(1)0.19
Ω(n^1),INF7.68Ω(n^1),INF8.47MAYBE299.34MAYBE292.13
Ω(2^n),INF1.5Ω(2^n),INF1.47MAYBE299.27MAYBE293.38
Ω(2^n),INF2.04Ω(2^n),INF2.03TIMEOUT300MAYBE295.54
Ω(n^1),INF2.55Ω(n^1),INF2.7MAYBE289.87MAYBE292.26
Ω(n^1),INF3.29Ω(n^1),INF3.79MAYBE299.23MAYBE292.19
Ω(2^n),INF1.33Ω(2^n),INF1.32MAYBE299.22MAYBE294.37
Ω(2^n),INF1.6Ω(2^n),INF1.68TIMEOUT300MAYBE297.25
Ω(n^1),INF2.36Ω(n^1),INF1.68Ω(1),O(n^1)2.74Ω(1),O(n^1)0.84
Ω(n^1),INF2.16Ω(n^1),INF2.59Ω(1),O(n^1)299.17Ω(1),O(n^1)292.84
MAYBE1.19MAYBE1.26Ω(1),O(1)0.21Ω(1),O(1)0.46
Ω(n^1),INF1.8Ω(n^1),INF1.96Ω(1),O(n^1)3.77Ω(1),O(n^1)2.11
Ω(n^1),INF3.54Ω(n^1),INF4.05TIMEOUT300MAYBE292.19
Ω(2^n),INF2.75Ω(2^n),INF2.6TIMEOUT300MAYBE292.15
Ω(2^n),INF4.73Ω(2^n),INF4.69TIMEOUT300MAYBE295.26
Ω(n^1),INF2.14Ω(n^1),INF2.25MAYBE76.61Ω(1),O(n^1)292.23
Ω(n^1),INF300Ω(n^1),INF300MAYBE299.76MAYBE293.58
Ω(2^n),INF2.67Ω(2^n),INF3.04MAYBE299.15MAYBE293.62
Ω(n^1),INF7.89Ω(n^1),INF12.44MAYBE299.12MAYBE292.65
Ω(n^1),INF2.62Ω(n^1),INF2.56MAYBE299.26MAYBE293.65
Ω(n^1),INF3.92Ω(n^1),INF4.43MAYBE299.24MAYBE292.57
Ω(2^n),INF1.48Ω(2^n),INF1.58MAYBE299.27MAYBE295.51
Ω(2^n),INF1.77Ω(2^n),INF1.82MAYBE299.27MAYBE293.56
Ω(n^1),INF2.42Ω(n^1),INF2.58MAYBE79.35MAYBE294.9
Ω(n^1),INF236.85Ω(n^1),INF243.46MAYBE299.23MAYBE292.29
Ω(2^n),INF2.03Ω(2^n),INF2.33MAYBE299.13MAYBE295.85
Ω(n^1),INF45.42Ω(n^1),INF70.86TIMEOUT300MAYBE295.53
Ω(2^n),INF2.49Ω(2^n),INF2.21MAYBE299.15MAYBE295.65
Ω(n^1),INF23.82Ω(n^1),INF25.04MAYBE299.24MAYBE292.51
INF,INF2.37INF,INF2.81TIMEOUT300MAYBE295.53
Ω(2^n),INF8.67Ω(2^n),INF8.49MAYBE299.15MAYBE292.57
INF,INF1.85INF,INF1.98TIMEOUT300MAYBE295.21
Ω(n^1),INF2.17Ω(n^1),INF2.56Ω(1),O(n^1)299.19Ω(1),O(n^1)292.41
Ω(n^1),INF2.45Ω(n^1),INF2.56Ω(1),O(n^1)47.75Ω(1),O(n^1)292.39
Ω(n^1),INF2.36Ω(n^1),INF2.73MAYBE299.43MAYBE292.57
MAYBE1.32MAYBE1.31Ω(1),O(n^1)1.1Ω(1),O(n^1)0.23
Ω(n^1),INF300Ω(n^1),INF300TIMEOUT300MAYBE292.2
Ω(2^n),INF2.86Ω(2^n),INF3.2TIMEOUT300MAYBE292.21
Ω(2^n),INF54.44Ω(2^n),INF101.5TIMEOUT300MAYBE293.97
Ω(n^1),INF2.53Ω(n^1),INF2.86MAYBE299.22MAYBE292.24
Ω(n^1),INF3.31Ω(n^1),INF3.85MAYBE299.31MAYBE294.95
Ω(2^n),INF1.51Ω(2^n),INF1.57MAYBE299.28MAYBE294.63
Ω(2^n),INF2.53Ω(2^n),INF3.02TIMEOUT300MAYBE295.69
MAYBE1.25MAYBE1.38Ω(1),O(n^1)5.22Ω(1),O(n^1)1.2
Ω(n^1),INF2.06Ω(n^1),INF1.61Ω(1),O(n^1)299.1Ω(1),O(n^1)292.13
INF,INF1.71INF,INF1.73MAYBE42.93MAYBE292.18
MAYBE1.24MAYBE1.26Ω(1),O(1)0.41Ω(1),O(1)0.07
Ω(n^1),INF3.28Ω(n^1),INF3.82TIMEOUT300MAYBE292.61
Ω(2^n),INF1.41Ω(2^n),INF1.49TIMEOUT300MAYBE293.33
Ω(2^n),INF4.43Ω(2^n),INF5.35TIMEOUT300MAYBE294.28
MAYBE1.23MAYBE1.16Ω(1),O(1)0.8Ω(1),O(1)0.37
Ω(n^1),INF1.58Ω(n^1),INF1.53Ω(1),O(n^1)2.73Ω(1),O(n^1)2.03
Ω(n^1),INF5.11Ω(n^1),INF5.94MAYBE299.34MAYBE292.07
Ω(2^n),INF1.46Ω(2^n),INF1.42MAYBE299.24MAYBE296.03
Ω(2^n),INF2.39Ω(2^n),INF2.45MAYBE299.6MAYBE294.01
Ω(n^1),INF2.59Ω(n^1),INF2.71TIMEOUT300TIMEOUT300
Ω(n^1),INF5.16Ω(n^1),INF6.13TIMEOUT300MAYBE292.97
Ω(2^n),INF2.43Ω(2^n),INF2.49TIMEOUT300MAYBE293.65
Ω(2^n),INF2.88Ω(2^n),INF2.96TIMEOUT300MAYBE296.29
Ω(n^1),INF2.37Ω(n^1),INF2.53TIMEOUT300MAYBE293.04
Ω(n^1),INF3.65Ω(n^1),INF4.24MAYBE299.82MAYBE292.48
Ω(2^n),INF1.85Ω(2^n),INF1.95TIMEOUT300MAYBE292.79
Ω(2^n),INF2.77Ω(2^n),INF2.72TIMEOUT300MAYBE294.24
MAYBE1.16MAYBE1.25Ω(1),O(1)1.35Ω(1),O(1)0.73
Ω(n^1),INF2.29Ω(n^1),INF2.31MAYBE299.96MAYBE292.13
Ω(n^1),INF2.41Ω(n^1),INF2.26MAYBE299.22MAYBE292.11
Ω(2^n),INF1.72Ω(2^n),INF1.74MAYBE45.79MAYBE259.75
INF,INF1.17INF,INF1.13MAYBE6.63MAYBE0.37
Ω(n^1),INF1.81Ω(n^1),INF2.22MAYBE299.95MAYBE292.14
INF,INF1.33INF,INF1.25MAYBE299.13MAYBE292.34
Ω(n^1),INF300Ω(n^1),INF300Ω(1),O(n^1)5.09Ω(1),O(n^1)7.06
Ω(n^1),INF300Ω(n^1),INF300TIMEOUT300MAYBE295.37
Ω(2^n),INF1.81Ω(2^n),INF1.7TIMEOUT300MAYBE293.15
Ω(2^n),INF15.76Ω(2^n),INF24.72TIMEOUT300MAYBE296.18
Ω(n^2),INF4.77Ω(n^2),INF4.43MAYBE299.92MAYBE292.19
Ω(n^1),INF2.04Ω(n^1),INF2.39Ω(1),O(n^1)53.31Ω(1),O(n^1)22.11
Ω(n^1),INF1.48Ω(n^1),INF1.75Ω(1),O(n^1)0.81Ω(1),O(n^1)0.16
Ω(n^1),INF1.41Ω(n^1),INF1.6Ω(1),O(n^1)0.68Ω(1),O(n^1)0.29
INF,INF1.24INF,INF1.27MAYBE10.38MAYBE14.03
Ω(n^1),INF4.6Ω(n^1),INF4.87Ω(1),O(n^1)299.33Ω(1),O(n^1)293.3
Ω(n^1),INF2.4Ω(n^1),INF2.06TIMEOUT300MAYBE292.64
Ω(n^1),INF2.55Ω(n^1),INF2.58MAYBE299.36TIMEOUT300
INF,INF1.86INF,INF1.65TIMEOUT300MAYBE292.22
Ω(n^1),INF3.61Ω(n^1),INF3.93Ω(1),O(n^1)300Ω(1),O(n^1)294.2
Ω(n^1),INF2.17Ω(n^1),INF2.04MAYBE299.38MAYBE292.66
Ω(n^1),INF1.72Ω(n^1),INF1.83MAYBE299.23Ω(1),O(n^3)14.0
Ω(n^1),INF2.2Ω(n^1),INF2.32TIMEOUT300MAYBE291.65
Ω(n^1),INF16.93Ω(n^1),INF18.56MAYBE299.51MAYBE292.25
Ω(2^n),INF2.4Ω(2^n),INF2.89TIMEOUT300MAYBE295.12
Ω(2^n),INF4.05Ω(2^n),INF4.35TIMEOUT300MAYBE295.67
MAYBE3.42MAYBE4.04TIMEOUT300MAYBE292.15
Ω(n^1),INF7.02Ω(n^1),INF6.88TIMEOUT300MAYBE292.95
Ω(2^n),INF2.17Ω(2^n),INF2.01MAYBE299.21MAYBE292.56
Ω(2^n),INF3.92Ω(2^n),INF69.0TIMEOUT300MAYBE293.73
INF,INF1.62INF,INF1.74TIMEOUT300MAYBE293.42
Ω(n^1),INF2.9Ω(n^1),INF3.51Ω(1),O(n^1)299.75Ω(1),O(n^1)292.44
Ω(n^1),INF1.62Ω(n^1),INF1.72Ω(1),O(n^1)57.41Ω(1),O(n^1)292.36
Ω(n^1),INF2.29Ω(n^1),INF1.76TIMEOUT300MAYBE292.25
MAYBE1.27MAYBE1.32Ω(1),O(n^1)3.73Ω(1),O(n^1)0.32
MAYBE1.34MAYBE1.33Ω(1),O(n^1)3.37Ω(1),O(n^1)0.52
Ω(n^1),INF53.76Ω(n^1),INF58.0MAYBE299.42MAYBE292.36
Ω(2^n),INF1.54Ω(2^n),INF1.61TIMEOUT300MAYBE295.77
Ω(2^n),INF5.98Ω(2^n),INF5.72TIMEOUT300MAYBE295.11
Ω(n^3),INF3.08Ω(n^3),INF2.95MAYBE75.45MAYBE294.32
Ω(n^3),INF3.55Ω(n^3),INF3.69MAYBE299.23MAYBE292.42
Ω(n^1),INF300Ω(n^1),INF300MAYBE299.76MAYBE292.19
Ω(2^n),INF1.69Ω(2^n),INF1.59MAYBE299.35MAYBE298.82
Ω(2^n),INF6.69Ω(2^n),INF6.76TIMEOUT300MAYBE293.61
Ω(n^1),INF1.62Ω(n^1),INF1.64MAYBE299.33MAYBE295.56
Ω(n^1),INF300Ω(n^1),INF300TIMEOUT300MAYBE292.43
Ω(2^n),INF9.91Ω(2^n),INF9.64MAYBE299.97MAYBE292.18
Ω(2^n),INF300Ω(2^n),INF300MAYBE299.24MAYBE292.17
Ω(n^1),INF300Ω(n^1),INF300MAYBE299.37MAYBE293.39
Ω(2^n),INF4.55Ω(2^n),INF5.65MAYBE299.27MAYBE293.45
Ω(n^1),INF300Ω(n^1),INF300MAYBE299.2MAYBE292.54
Ω(n^1),INF3.52Ω(n^1),INF3.62MAYBE299.33MAYBE293.68
Ω(n^1),INF3.88Ω(n^1),INF3.64MAYBE299.89MAYBE292.68
Ω(n^1),INF11.92Ω(n^1),INF12.52MAYBE299.36MAYBE293.01
Ω(2^n),INF4.71Ω(2^n),INF4.56MAYBE299.52MAYBE292.53
Ω(n^1),INF3.32Ω(n^1),INF3.47MAYBE299.15MAYBE292.18
Ω(n^1),INF300Ω(n^1),INF300TIMEOUT300MAYBE292.95
Ω(2^n),INF2.99Ω(2^n),INF3.36MAYBE217.43MAYBE292.54
Ω(n^1),INF83.57Ω(n^1),INF84.53MAYBE299.19MAYBE292.19
Ω(n^1),INF2.23Ω(n^1),INF2.36MAYBE254.57MAYBE292.2
Ω(n^1),INF2.49Ω(n^1),INF2.56MAYBE299.23MAYBE292.2
Ω(n^1),INF3.21Ω(n^1),INF3.59Ω(1),O(n^1)299.21Ω(1),O(n^1)293.91
INF,INF1.32INF,INF1.4MAYBE299.17MAYBE292.67
INF,INF1.39INF,INF1.32MAYBE299.16MAYBE292.43
Ω(n^1),INF3.58Ω(n^1),INF4.68Ω(1),O(n^1)299.24Ω(1),O(n^1)293.51
INF,INF1.53INF,INF1.58MAYBE299.22MAYBE145.5
INF,INF1.57INF,INF1.58MAYBE299.25MAYBE292.68
Ω(n^1),INF300Ω(n^1),INF300TIMEOUT300MAYBE292.91
Ω(2^n),INF300Ω(2^n),INF300MAYBE299.86MAYBE292.51
Ω(2^n),INF300Ω(2^n),INF300MAYBE299.32MAYBE292.17
TIMEOUT300TIMEOUT300TIMEOUT300MAYBE292.4
Ω(2^n),INF300Ω(2^n),INF300MAYBE299.49MAYBE293.41
TIMEOUT300TIMEOUT300TIMEOUT300MAYBE296.56
Ω(2^n),INF21.0Ω(2^n),INF20.73MAYBE299.5MAYBE293.38
Ω(2^n),INF39.87Ω(2^n),INF38.3MAYBE299.33MAYBE292.65
Ω(n^1),INF300Ω(n^1),INF300TIMEOUT300MAYBE292.71
Ω(2^n),INF184.84Ω(2^n),INF182.4MAYBE299.19MAYBE293.92
Ω(2^n),INF300Ω(2^n),INF300TIMEOUT300MAYBE293.56
Ω(n^1),INF300Ω(n^1),INF300TIMEOUT300MAYBE292.22
Ω(2^n),INF300Ω(2^n),INF300MAYBE299.27MAYBE293.75
Ω(2^n),INF300Ω(2^n),INF300MAYBE299.2MAYBE293.98
Ω(2^n),INF7.24Ω(2^n),INF7.35MAYBE299.25MAYBE293.55
Ω(n^1),INF8.52Ω(n^1),INF8.57MAYBE299.25MAYBE292.56
Ω(n^1),INF300Ω(n^1),INF300MAYBE299.44MAYBE292.06
Ω(2^n),INF2.04Ω(2^n),INF2.26TIMEOUT300MAYBE295.2
Ω(2^n),INF300Ω(2^n),INF300TIMEOUT300MAYBE293.47
Ω(n^1),INF300Ω(n^1),INF300MAYBE299.49MAYBE292.09
Ω(2^n),INF3.72Ω(2^n),INF3.34MAYBE299.4MAYBE293.62
Ω(2^n),INF300Ω(2^n),INF300TIMEOUT300MAYBE293.23
MAYBE3.22MAYBE3.12MAYBE299.17MAYBE293.98
Ω(n^1),INF2.39Ω(n^1),INF1.55Ω(1),O(n^1)93.57MAYBE295.26
Ω(n^1),INF300Ω(n^1),INF300MAYBE299.55MAYBE292.51
Ω(2^n),INF3.51Ω(2^n),INF3.92MAYBE299.18MAYBE292.19
Ω(2^n),INF300Ω(2^n),INF300TIMEOUT300MAYBE292.15
Ω(n^1),INF300Ω(n^1),INF300MAYBE299.43MAYBE293.17
Ω(2^n),INF5.07Ω(2^n),INF4.69MAYBE299.83MAYBE293.24
Ω(2^n),INF300Ω(2^n),INF300MAYBE299.35MAYBE294.0
Ω(n^1),INF4.22Ω(n^1),INF4.48MAYBE299.77MAYBE293.65
Ω(n^1),INF2.7Ω(n^1),INF3.93MAYBE299.23MAYBE292.51
Ω(n^1),INF35.14Ω(n^1),INF37.03MAYBE299.48MAYBE292.58
Ω(2^n),INF2.14Ω(2^n),INF2.38TIMEOUT300MAYBE293.98
Ω(2^n),INF3.0Ω(2^n),INF3.63TIMEOUT300MAYBE293.76
Ω(n^1),INF300Ω(n^1),INF300MAYBE299.22MAYBE293.43
Ω(2^n),INF2.59Ω(2^n),INF2.57MAYBE299.44MAYBE293.54
Ω(2^n),INF24.19Ω(2^n),INF23.33TIMEOUT300MAYBE293.48
Ω(n^1),INF2.59Ω(n^1),INF2.39MAYBE299.23MAYBE293.29
Ω(n^1),INF2.01Ω(n^1),INF2.95MAYBE299.17MAYBE294.05
Ω(n^1),INF3.76Ω(n^1),INF3.98MAYBE299.23MAYBE292.55
Ω(n^2),INF2.54Ω(n^2),INF2.42Ω(1),O(n^2)299.83Ω(1),O(n^2)1.51
Ω(2^n),INF2.35Ω(2^n),INF4.08TIMEOUT300MAYBE295.45
Ω(n^1),INF5.52Ω(n^1),INF6.82MAYBE299.29MAYBE294.99
Ω(n^2),INF2.97Ω(n^2),INF2.94MAYBE299.37MAYBE296.79
Ω(2^n),INF3.67Ω(2^n),INF6.6TIMEOUT300MAYBE295.2
Ω(n^1),INF300Ω(n^1),INF300TIMEOUT300MAYBE293.48
Ω(2^n),INF6.9Ω(2^n),INF7.31MAYBE299.85MAYBE292.53
Ω(2^n),INF300Ω(2^n),INF300MAYBE299.25MAYBE292.46
Ω(n^1),INF300Ω(n^1),INF300TIMEOUT300MAYBE292.23
Ω(2^n),INF5.78Ω(2^n),INF6.07MAYBE299.57MAYBE293.17
Ω(n^1),INF300Ω(n^1),INF300MAYBE72.33MAYBE292.52
Ω(n^1),INF6.2Ω(n^1),INF5.37MAYBE299.31MAYBE293.96
Ω(n^1),INF4.16Ω(n^1),INF4.24MAYBE299.21MAYBE294.03
Ω(n^1),INF300Ω(n^1),INF300MAYBE299.42TIMEOUT300
Ω(2^n),INF4.85Ω(2^n),INF4.53MAYBE299.16MAYBE292.36
Ω(n^1),INF7.73Ω(n^1),INF7.38MAYBE299.27MAYBE292.98
Ω(n^1),INF300Ω(n^1),INF300MAYBE299.7MAYBE292.4
Ω(2^n),INF3.66Ω(2^n),INF3.5MAYBE299.2MAYBE292.29
Ω(n^1),INF300Ω(n^1),INF300MAYBE299.23MAYBE292.15
Ω(n^1),INF3.08Ω(n^1),INF2.82MAYBE299.19MAYBE292.17
Ω(n^1),INF2.93Ω(n^1),INF2.92MAYBE299.16MAYBE292.2
Ω(n^1),INF4.92Ω(n^1),INF4.38Ω(1),O(n^1)299.26Ω(1),O(n^1)292.44
INF,INF1.8INF,INF1.33MAYBE299.16MAYBE292.26
INF,INF2.06INF,INF1.55MAYBE299.48MAYBE292.99
Ω(n^1),INF20.63Ω(n^1),INF21.48MAYBE299.14MAYBE292.89
Ω(n^1),INF2.11Ω(n^1),INF2.27MAYBE299.37MAYBE293.46
INF,INF1.86INF,INF1.71TIMEOUT300TIMEOUT300
Ω(n^1),INF2.77Ω(n^1),INF2.4MAYBE299.66MAYBE292.46
INF,INF1.6INF,INF1.56MAYBE299.14TIMEOUT300
Ω(n^1),INF300Ω(n^1),INF300MAYBE299.49MAYBE292.41
Ω(2^n),INF7.12Ω(2^n),INF8.07TIMEOUT300MAYBE292.19
Ω(n^1),INF300Ω(n^1),INF300TIMEOUT300MAYBE293.27
Ω(n^1),INF300Ω(n^1),INF300TIMEOUT300MAYBE292.22
Ω(n^2),INF4.82Ω(n^2),INF4.88MAYBE292.44MAYBE293.77
Ω(n^2),INF300Ω(n^2),INF300MAYBE299.27MAYBE293.83
INF,INF4.88INF,INF5.0MAYBE82.0MAYBE292.74
Ω(n^1),INF4.23Ω(n^1),INF4.36MAYBE269.48MAYBE293.54
Ω(n^1),INF3.9Ω(n^1),INF4.55MAYBE299.45MAYBE292.56
Ω(n^1),INF10.12Ω(n^1),INF10.09Ω(1),O(n^1)299.34Ω(1),O(n^1)292.19
Ω(n^2),INF7.31Ω(n^2),INF7.17MAYBE299.21MAYBE292.19
Ω(n^1),INF18.82Ω(n^1),INF19.29TIMEOUT300MAYBE296.63
Ω(n^1),INF300Ω(n^1),INF300Ω(1),O(n^1)299.23Ω(1),O(n^1)292.2
Ω(n^2),INF5.93Ω(n^2),INF6.3MAYBE182.68MAYBE292.2
Ω(n^1),INF300Ω(n^1),INF300TIMEOUT300TIMEOUT300
INF,INF1.83INF,INF1.75MAYBE50.87MAYBE134.68
Ω(n^1),INF3.55Ω(n^1),INF3.55MAYBE175.86Ω(1),O(n^1)292.3
Ω(n^1),INF3.56Ω(n^1),INF3.59Ω(1),O(n^1)299.22Ω(1),O(n^2)292.24
Ω(n^1),INF3.02Ω(n^1),INF3.6Ω(1),O(n^1)300Ω(1),O(n^1)292.17
Ω(n^1),INF1.73Ω(n^1),INF1.72MAYBE299.43MAYBE294.53
Ω(n^1),INF3.32Ω(n^1),INF3.93Ω(1),O(n^1)299.29Ω(1),O(n^1)292.24
Ω(n^1),INF1.79Ω(n^1),INF1.83MAYBE299.41MAYBE295.55
Ω(n^1),INF300Ω(n^1),INF300MAYBE299.61MAYBE292.46
Ω(2^n),INF2.46Ω(2^n),INF3.03MAYBE299.27MAYBE292.2
Ω(2^n),INF17.59Ω(2^n),INF20.37TIMEOUT300MAYBE292.16
Ω(n^1),INF300Ω(n^1),INF300MAYBE299.39MAYBE293.5
Ω(2^n),INF3.44Ω(2^n),INF3.9MAYBE299.24MAYBE294.26
Ω(2^n),INF300Ω(2^n),INF300TIMEOUT300MAYBE298.16
Ω(n^1),INF3.5Ω(n^1),INF3.61MAYBE299.3MAYBE293.75
Ω(n^1),INF2.52Ω(n^1),INF3.37MAYBE299.23MAYBE292.63
Ω(n^1),INF4.08Ω(n^1),INF5.06MAYBE299.42MAYBE293.12
Ω(2^n),INF2.32Ω(2^n),INF2.19MAYBE299.26MAYBE294.24
Ω(2^n),INF2.68Ω(2^n),INF2.91MAYBE299.52MAYBE295.1
Ω(n^1),INF12.19Ω(n^1),INF13.14MAYBE299.4MAYBE293.54
Ω(2^n),INF2.38Ω(2^n),INF2.41MAYBE193.63MAYBE294.51
Ω(2^n),INF3.06Ω(2^n),INF3.17TIMEOUT300MAYBE296.92
Ω(n^1),INF2.02Ω(n^1),INF2.18MAYBE196.12TIMEOUT300
Ω(n^1),INF1.87Ω(n^1),INF2.03MAYBE299.27MAYBE294.07
Ω(n^1),INF2.8Ω(n^1),INF3.17Ω(1),O(n^1)300Ω(1),O(n^1)292.41
Ω(n^1),INF2.07Ω(n^1),INF2.11Ω(1),O(n^1)0.46Ω(1),O(n^1)0.1
Ω(n^1),INF1.98Ω(n^2),INF2.58MAYBE299.26MAYBE295.98
Ω(n^1),INF3.34Ω(n^1),INF3.71Ω(1),O(n^1)299.26Ω(1),O(n^1)292.18
Ω(n^1),INF2.16Ω(n^1),INF2.3Ω(1),O(n^1)5.1Ω(1),O(n^1)7.08
Ω(n^1),INF2.18Ω(n^2),INF3.35TIMEOUT300MAYBE291.84
MAYBE1.35MAYBE1.3MAYBE299.25MAYBE228.78
MAYBE1.34MAYBE1.28MAYBE299.19MAYBE292.48
Ω(n^1),INF3.59Ω(n^1),INF3.54MAYBE263.88MAYBE292.38
MAYBE1.31MAYBE1.29MAYBE299.34MAYBE293.5
Ω(n^1),INF2.4Ω(n^1),INF2.5MAYBE71.88MAYBE294.3
Ω(n^1),INF2.7Ω(n^1),INF2.63MAYBE116.16TIMEOUT300
Ω(n^1),INF4.65Ω(n^1),INF4.11MAYBE299.23MAYBE293.4
Ω(n^1),INF1.55Ω(n^1),INF1.58Ω(1),O(n^1)30.06Ω(1),O(n^1)2.49
Ω(n^1),INF1.44Ω(n^1),INF1.8Ω(1),O(n^1)299.31Ω(1),O(n^1)292.15
Ω(n^1),INF1.78Ω(n^1),INF1.8MAYBE299.48MAYBE293.46
Ω(n^1),INF1.71Ω(n^1),INF2.05Ω(1),O(n^1)2.02Ω(1),O(n^1)0.52
Ω(n^1),INF1.68Ω(n^1),INF1.6TIMEOUT300Ω(1),O(n^2)7.51
Ω(n^1),INF1.58Ω(n^1),INF1.92Ω(1),O(n^1)5.79Ω(1),O(n^1)5.94
Ω(n^1),INF1.61Ω(n^1),INF1.95Ω(1),O(n^1)6.26Ω(1),O(n^1)6.08
INF,INF1.28INF,INF1.3TIMEOUT300MAYBE293.01
INF,INF1.25INF,INF1.27TIMEOUT300MAYBE293.6
INF,INF1.33INF,INF1.22TIMEOUT300MAYBE293.59
Ω(n^1),INF6.23Ω(n^1),INF6.34MAYBE299.48MAYBE297.87
Ω(n^1),INF1.78Ω(n^1),INF2.12MAYBE299.2MAYBE69.17
Ω(n^1),INF1.68Ω(n^1),INF1.98MAYBE160.72MAYBE109.44
Ω(n^1),INF1.58Ω(n^1),INF1.94MAYBE299.34MAYBE86.38
Ω(n^1),INF1.56Ω(n^1),INF1.76MAYBE299.16MAYBE292.12
Ω(n^1),INF1.55Ω(n^1),INF1.99TIMEOUT300MAYBE100.02
Ω(n^1),INF1.45Ω(n^1),INF1.88MAYBE299.17MAYBE292.24
Ω(n^1),INF1.5Ω(n^1),INF1.87MAYBE299.16MAYBE291.55
Ω(n^1),INF1.69Ω(n^1),INF2.02MAYBE299.15MAYBE292.16
Ω(n^1),INF1.67Ω(n^1),INF1.95MAYBE299.15MAYBE292.39
Ω(n^1),INF1.5Ω(n^1),INF1.83Ω(1),O(n^1)300Ω(1),O(n^1)1.26
Ω(n^1),INF1.5Ω(n^1),INF1.79TIMEOUT300MAYBE2.04
Ω(n^1),INF1.44Ω(n^1),INF1.74MAYBE299.63MAYBE293.27