ExampleTCTAProVE RNTSAProVE 2016AProVE 2017
MAYBE295.38O(n^4)110.28TIMEOUT300O(n^4)300
O(n^3)295.26O(n^3)5.84O(n^3)6.45O(n^3)8.73
MAYBE295.35MAYBE216.26TIMEOUT300TIMEOUT300
O(n^1)7.15O(n^1)4.48O(n^1)6.26O(n^1)6.85
O(n^3)9.72O(n^3)5.31O(n^3)3.72O(n^3)5.02
O(n^2)295.19O(n^2)6.59O(n^2)6.29O(n^2)9.11
O(n^2)295.35O(n^2)5.95O(n^2)6.31O(n^2)8.89
MAYBE295.23O(n^1)7.59TIMEOUT300O(n^1)299.93
MAYBE19.31O(n^1)7.14MAYBE234.4O(n^1)263.83
O(n^1)0.44O(n^1)4.79O(n^2)2.22O(n^1)4.86
O(n^2)2.5O(n^2)4.33O(n^2)2.32O(n^2)4.46
O(n^1)0.16MAYBE2.05O(n^1)2.13O(n^1)2.15
O(n^1)0.42MAYBE2.12O(n^1)2.08O(n^1)2.2
MAYBE295.17MAYBE2.09TIMEOUT300MAYBE299.81
O(1)0.09O(1)2.13O(1)1.71O(1)1.88
O(n^2)12.99O(n^1)5.19O(n^2)2.29O(n^1)5.66
MAYBE4.23MAYBE2.03MAYBE3.79MAYBE3.94
O(1)0.41MAYBE13.82O(1)1.8O(1)1.98
O(n^1)0.22O(n^1)3.51O(n^1)1.91O(n^1)3.63
MAYBE36.07MAYBE2.25TIMEOUT300TIMEOUT300
O(n^1)0.37O(n^1)4.24O(n^1)2.19O(n^1)4.55
MAYBE295.15MAYBE2.39TIMEOUT300TIMEOUT300
O(n^1)5.77O(n^1)5.71O(n^2)2.31O(n^1)6.01
O(n^2)43.05O(n^1)5.72O(n^2)2.32O(n^1)6.08
O(n^2)2.05O(n^1)3.7O(n^1)1.99O(n^1)3.74
O(n^2)40.46O(n^1)4.71O(n^2)2.48O(n^1)5.01
O(n^2)2.05MAYBE2.16O(n^1)2.49O(n^1)30.33
O(n^2)294.29MAYBE2.65O(n^2)2.07O(n^2)2.65
MAYBE295.17MAYBE69.83TIMEOUT300MAYBE299.92
MAYBE14.97MAYBE1.86TIMEOUT300TIMEOUT300
O(n^1)1.13MAYBE8.76O(n^1)1.89O(n^1)4.43
O(n^1)0.44O(n^1)3.03O(n^1)2.03O(n^1)3.16
O(1)0.1O(1)2.19O(1)1.7O(1)1.87
O(n^1)0.64O(n^1)3.75O(n^1)1.97O(n^1)3.78
O(n^3)295.21O(n^3)11.13O(n^3)5.83O(n^3)13.03
MAYBE295.15MAYBE2.12TIMEOUT300MAYBE299.96
MAYBE295.29MAYBE77.2TIMEOUT300TIMEOUT300
O(n^1)1.08MAYBE11.88O(n^1)2.13O(n^1)5.51
MAYBE295.07MAYBE1.94TIMEOUT300MAYBE300.0
O(n^2)20.93O(n^1)8.61O(n^2)2.71O(n^1)8.9
O(n^3)95.96O(n^3)8.21O(n^3)6.54O(n^3)9.93
O(n^2)6.69O(n^1)7.53O(n^2)2.86O(n^1)8.17
O(n^2)8.6O(n^1)10.62O(n^2)2.95O(n^1)11.26
O(n^3)83.46O(n^3)9.99O(n^3)6.72O(n^3)11.94
O(n^2)24.96O(n^1)9.52O(n^2)3.01O(n^1)10.3
O(n^1)7.05O(n^1)3.72O(n^2)5.42O(n^1)7.01
O(n^2)25.94O(n^1)6.27O(n^2)3.49O(n^1)7.74
O(n^4)211.08O(n^3)7.33TIMEOUT300TIMEOUT300
MAYBE295.04O(n^1)60.9TIMEOUT300O(n^1)299.95
MAYBE295.19TIMEOUT300TIMEOUT300TIMEOUT300
MAYBE295.17O(n^2)205.31TIMEOUT300O(n^2)299.96
MAYBE103.07MAYBE19.4TIMEOUT300TIMEOUT300
O(n^2)11.07O(n^2)7.53O(n^2)2.59O(n^2)8.55
TIMEOUT300O(n^3)11.78TIMEOUT300O(n^3)300
O(n^1)294.26O(n^1)4.71O(n^1)2.01O(n^1)5.04
TIMEOUT300O(n^4)16.34TIMEOUT300TIMEOUT300
MAYBE298.72O(n^4)16.18TIMEOUT300TIMEOUT300
MAYBE295.1MAYBE9.85O(n^1)2.6O(n^1)6.03
O(n^1)44.88MAYBE3.12TIMEOUT300TIMEOUT300
MAYBE295.15MAYBE1.95TIMEOUT300TIMEOUT300
O(n^2)102.81MAYBE1.88TIMEOUT300TIMEOUT300
O(n^1)5.63O(n^1)4.62O(n^1)2.11O(n^1)4.75
MAYBE295.37MAYBE2.11TIMEOUT300TIMEOUT300
O(n^1)295.22MAYBE1.94O(n^1)68.89O(n^1)74.74
O(n^1)296.89MAYBE2.01O(n^1)3.87O(n^1)4.59
MAYBE295.74MAYBE65.59TIMEOUT300TIMEOUT300
MAYBE295.33MAYBE2.73TIMEOUT300TIMEOUT300
MAYBE3.72MAYBE37.29MAYBE4.26MAYBE9.43
MAYBE7.66MAYBE2.36TIMEOUT300TIMEOUT300
MAYBE295.08O(n^2)145.89TIMEOUT300O(n^2)299.88
MAYBE295.3O(n^2)145.67TIMEOUT300O(n^2)299.91
MAYBE295.25MAYBE29.04TIMEOUT300TIMEOUT300
MAYBE31.01MAYBE64.56TIMEOUT300TIMEOUT300
MAYBE295.3MAYBE69.43TIMEOUT300TIMEOUT300
MAYBE295.04O(n^2)81.0TIMEOUT300O(n^2)300
MAYBE36.01O(n^1)26.77TIMEOUT300O(n^1)299.99
MAYBE295.1MAYBE30.29TIMEOUT300MAYBE299.92
MAYBE295.11MAYBE123.92TIMEOUT300TIMEOUT300
MAYBE79.72O(n^1)35.43TIMEOUT300O(n^1)299.88
MAYBE41.79MAYBE47.21O(n^2)3.4O(n^2)17.26
MAYBE295.08MAYBE11.83TIMEOUT300TIMEOUT300
MAYBE295.4MAYBE29.47TIMEOUT300TIMEOUT300
MAYBE295.2MAYBE8.66O(n^1)3.09O(n^1)6.31
TIMEOUT300O(n^4)17.77TIMEOUT300TIMEOUT300
O(1)0.43O(1)2.17O(1)1.8O(1)1.96
MAYBE295.51MAYBE58.99TIMEOUT300TIMEOUT300
MAYBE295.15O(n^2)81.16TIMEOUT300O(n^2)300
MAYBE295.34TIMEOUT300TIMEOUT300O(n^1)300
MAYBE300O(n^2)98.61TIMEOUT300O(n^2)300
MAYBE30.96O(n^2)47.44TIMEOUT300O(n^2)299.81
MAYBE61.01TIMEOUT300TIMEOUT300TIMEOUT300
MAYBE295.34O(n^1)10.27O(n^2)6.7O(n^1)11.11
TIMEOUT300O(n^2)138.41TIMEOUT300O(n^2)300.0
MAYBE43.02O(n^2)46.82TIMEOUT300O(n^2)299.86
MAYBE41.49MAYBE99.36TIMEOUT300TIMEOUT300
MAYBE85.56MAYBE84.35TIMEOUT300TIMEOUT300
MAYBE172.21MAYBE111.52TIMEOUT300TIMEOUT300
MAYBE50.97MAYBE48.59TIMEOUT300TIMEOUT300
MAYBE48.79MAYBE23.18TIMEOUT300MAYBE299.98
MAYBE181.39O(n^2)84.77TIMEOUT300O(n^2)299.86
MAYBE101.22O(n^2)13.35TIMEOUT300O(n^2)300
MAYBE295.15TIMEOUT300TIMEOUT300TIMEOUT300
MAYBE295.32O(n^3)10.53TIMEOUT300O(n^3)300
MAYBE295.49TIMEOUT300TIMEOUT300TIMEOUT300
MAYBE151.77O(n^2)27.04TIMEOUT300O(n^2)300
MAYBE111.99O(n^1)51.36TIMEOUT300O(n^1)300
MAYBE295.2MAYBE64.15TIMEOUT300TIMEOUT300
MAYBE52.5MAYBE2.41TIMEOUT300TIMEOUT300
MAYBE295.14MAYBE2.0TIMEOUT300TIMEOUT300
MAYBE295.16O(n^1)7.78O(n^2)93.27O(n^1)48.01
MAYBE295.06O(n^2)13.83TIMEOUT300O(n^2)300
MAYBE295.14O(n^2)8.89TIMEOUT300O(n^2)299.84
MAYBE295.11O(n^2)113.85TIMEOUT300O(n^2)299.93
TIMEOUT300MAYBE49.97TIMEOUT300TIMEOUT300
MAYBE295.17O(n^2)10.28TIMEOUT300O(n^2)299.87
MAYBE295.32TIMEOUT300TIMEOUT300TIMEOUT300
MAYBE295.17MAYBE72.76TIMEOUT300TIMEOUT300
MAYBE295.18O(n^3)35.73TIMEOUT300O(n^3)300
MAYBE295.13MAYBE47.41TIMEOUT300TIMEOUT300
MAYBE295.12O(n^2)55.57TIMEOUT300O(n^2)299.85
MAYBE295.07MAYBE94.29TIMEOUT300TIMEOUT300
MAYBE295.2MAYBE89.4TIMEOUT300TIMEOUT300
MAYBE295.47O(n^1)27.07TIMEOUT300O(n^1)299.98
MAYBE32.08MAYBE72.05TIMEOUT300TIMEOUT300
MAYBE23.35MAYBE97.63TIMEOUT300TIMEOUT300
MAYBE47.1O(n^1)13.39O(n^2)80.03O(n^1)105.31
MAYBE21.26O(n^2)48.47TIMEOUT300O(n^2)299.81
MAYBE295.14O(n^1)9.19O(n^2)113.32O(n^1)136.28
MAYBE295.27MAYBE97.23TIMEOUT300TIMEOUT300
MAYBE295.32MAYBE71.55TIMEOUT300TIMEOUT300
MAYBE295.07O(n^2)118.72TIMEOUT300O(n^2)300
MAYBE134.25MAYBE86.11TIMEOUT300TIMEOUT300
MAYBE76.3MAYBE2.4TIMEOUT300TIMEOUT300
MAYBE151.65O(n^2)73.37TIMEOUT300O(n^2)299.88
MAYBE295.34O(n^2)124.33TIMEOUT300O(n^2)299.86
MAYBE295.31TIMEOUT300TIMEOUT300TIMEOUT300
MAYBE69.2O(n^2)71.77TIMEOUT300O(n^2)299.93
MAYBE12.3O(n^1)9.27O(n^1)3.01O(n^1)10.17
MAYBE295.12MAYBE60.47TIMEOUT300TIMEOUT300
MAYBE295.28MAYBE123.25TIMEOUT300TIMEOUT300
MAYBE295.2TIMEOUT300TIMEOUT300TIMEOUT300
MAYBE295.27TIMEOUT300TIMEOUT300TIMEOUT300
MAYBE295.18MAYBE118.33TIMEOUT300TIMEOUT300
MAYBE295.18TIMEOUT300TIMEOUT300TIMEOUT300
MAYBE295.21MAYBE122.7TIMEOUT300TIMEOUT300
MAYBE295.18MAYBE118.45TIMEOUT300TIMEOUT300
MAYBE295.19MAYBE2.0TIMEOUT300TIMEOUT300
MAYBE295.23MAYBE2.03TIMEOUT300TIMEOUT300
MAYBE295.18TIMEOUT300TIMEOUT300TIMEOUT300
MAYBE178.67MAYBE43.81TIMEOUT300TIMEOUT300
MAYBE298.21MAYBE99.44TIMEOUT300TIMEOUT300
MAYBE295.36MAYBE75.62TIMEOUT300TIMEOUT300
MAYBE295.43MAYBE28.07TIMEOUT300TIMEOUT300
MAYBE299.36MAYBE69.24TIMEOUT300TIMEOUT300
MAYBE295.19MAYBE114.69TIMEOUT300TIMEOUT300
MAYBE295.38MAYBE89.25TIMEOUT300TIMEOUT300
MAYBE295.13MAYBE16.3TIMEOUT300MAYBE299.87
MAYBE277.69O(n^1)16.97TIMEOUT300O(n^1)299.73
MAYBE295.12O(n^2)80.35TIMEOUT300O(n^2)299.79
MAYBE295.55O(n^3)71.63TIMEOUT300O(n^3)299.91
MAYBE295.09O(n^3)67.51TIMEOUT300O(n^3)299.99
MAYBE295.54O(n^3)132.48TIMEOUT300O(n^3)300
MAYBE295.07O(n^1)33.29TIMEOUT300O(n^1)299.97
MAYBE65.78O(n^3)95.91TIMEOUT300O(n^3)299.9
MAYBE295.28O(n^1)13.76TIMEOUT300O(n^1)299.87
MAYBE87.95MAYBE60.06TIMEOUT300TIMEOUT300
MAYBE295.41MAYBE84.58TIMEOUT300TIMEOUT300
MAYBE295.36MAYBE98.09TIMEOUT300TIMEOUT300
MAYBE295.08O(n^3)53.44TIMEOUT300O(n^3)300
MAYBE295.17TIMEOUT300TIMEOUT300TIMEOUT300
MAYBE295.21TIMEOUT300TIMEOUT300TIMEOUT300
MAYBE295.15MAYBE51.52TIMEOUT300TIMEOUT300
MAYBE41.33O(n^2)35.91TIMEOUT300O(n^2)299.9
MAYBE295.08O(n^2)14.65O(n^2)63.61O(n^2)65.06
MAYBE206.42O(n^2)58.42TIMEOUT300O(n^2)299.78
MAYBE294.8O(n^2)57.73TIMEOUT300O(n^2)299.82
MAYBE295.14O(n^2)56.67TIMEOUT300O(n^2)299.89
MAYBE30.26O(n^2)61.36TIMEOUT300O(n^2)299.79
MAYBE295.35O(n^2)27.91O(n^2)201.98O(n^2)240.08
MAYBE295.23O(n^2)56.57TIMEOUT300O(n^2)300
MAYBE295.21O(n^2)53.29TIMEOUT300O(n^2)299.91
MAYBE295.2O(n^1)13.64TIMEOUT300O(n^1)300
MAYBE295.12O(n^2)16.91TIMEOUT300O(n^2)300
MAYBE28.41O(n^2)5.08O(n^2)76.2O(n^2)95.06
MAYBE295.19O(n^1)10.17O(n^1)184.07O(n^1)186.85
MAYBE295.17O(n^2)106.12TIMEOUT300O(n^2)300
MAYBE295.06O(n^1)6.84O(n^2)60.55O(n^1)60.89
MAYBE166.53O(n^2)11.71O(n^2)265.73O(n^2)254.7
MAYBE295.18O(n^1)12.93O(n^2)163.54O(n^1)176.48
MAYBE71.04O(n^2)5.37O(n^2)57.25O(n^2)56.46
MAYBE55.52O(n^1)64.33TIMEOUT300O(n^1)299.82
MAYBE21.42O(n^1)17.57TIMEOUT300O(n^1)299.72
MAYBE115.09O(n^2)14.96TIMEOUT300O(n^2)300
MAYBE28.37O(n^2)4.44O(n^2)47.6O(n^2)60.5
MAYBE295.46O(n^2)5.39O(n^2)132.4O(n^2)119.55
MAYBE298.79O(n^1)6.63TIMEOUT300O(n^1)299.94
MAYBE295.16O(n^2)11.22TIMEOUT300O(n^2)299.98
MAYBE89.52MAYBE2.49TIMEOUT300TIMEOUT300
MAYBE10.33O(n^1)7.55O(n^1)2.27O(n^1)7.91
MAYBE295.13MAYBE22.83MAYBE7.22MAYBE9.43
O(n^1)0.46O(n^1)5.68O(n^1)1.94O(n^1)5.92
MAYBE295.3MAYBE2.26TIMEOUT300TIMEOUT300
O(1)1.24MAYBE7.9O(1)1.75O(1)2.0
MAYBE295.16MAYBE19.01TIMEOUT300TIMEOUT300
MAYBE57.46MAYBE3.0TIMEOUT300TIMEOUT300
MAYBE67.94MAYBE3.17TIMEOUT300TIMEOUT300
MAYBE185.45MAYBE2.96TIMEOUT300TIMEOUT300
O(n^4)51.48O(n^2)14.2O(n^2)3.68O(n^2)15.36
MAYBE30.12MAYBE2.01TIMEOUT300TIMEOUT300
MAYBE22.64MAYBE1.97TIMEOUT300TIMEOUT300
MAYBE295.32MAYBE1.94TIMEOUT300TIMEOUT300
MAYBE295.15MAYBE2.04TIMEOUT300TIMEOUT300
MAYBE295.26MAYBE1.93TIMEOUT300TIMEOUT300
MAYBE20.28MAYBE69.56TIMEOUT300TIMEOUT300
MAYBE300MAYBE2.1TIMEOUT300TIMEOUT300
O(n^2)252.74O(n^2)28.51O(n^2)4.17O(n^2)30.06
MAYBE295.09O(n^2)62.37TIMEOUT300O(n^2)300
MAYBE295.48TIMEOUT300O(n^1)10.85O(n^1)300
TIMEOUT300MAYBE2.12TIMEOUT300TIMEOUT300
MAYBE298.11MAYBE2.07TIMEOUT300TIMEOUT300
O(n^4)295.58MAYBE2.03TIMEOUT300TIMEOUT300
O(n^1)0.2O(n^1)2.86O(n^1)1.84O(n^1)3.02
O(n^1)0.4O(n^1)3.27O(n^1)1.98O(n^1)3.47
O(n^1)1.99O(n^1)3.41O(n^2)1.96O(n^1)3.61
O(n^1)28.26O(n^1)8.3O(n^1)2.27O(n^1)8.37
MAYBE14.17MAYBE13.01O(n^2)2.31O(n^2)8.02
O(n^1)0.14O(n^1)2.94O(n^1)1.87O(n^1)2.93
MAYBE26.5MAYBE1.9TIMEOUT300TIMEOUT300
MAYBE70.9MAYBE13.5TIMEOUT300MAYBE299.93
O(n^1)0.39O(n^1)3.35O(n^1)1.94O(n^1)3.65
O(n^1)3.65EXP20.98O(n^1)1.99O(n^1)21.27
O(n^2)56.52O(n^3)7.98O(n^2)2.78O(n^2)8.39
MAYBE295.26MAYBE28.44O(n^1)1.94O(n^2)8.14
O(n^1)8.3MAYBE58.91O(n^1)300O(n^1)300
MAYBE294.83MAYBE2.23TIMEOUT300MAYBE299.96
O(n^1)0.42O(n^1)4.9O(n^1)2.07O(n^1)5.24
O(n^1)0.46O(n^1)4.26O(n^1)1.99O(n^1)4.47
O(n^1)0.31O(n^1)3.68O(n^1)1.97O(n^1)3.9
O(n^1)0.13O(n^1)3.75O(n^1)1.88O(n^1)3.77
MAYBE28.82MAYBE3.01MAYBE88.62MAYBE2.89
MAYBE7.7MAYBE2.18TIMEOUT300MAYBE299.89
MAYBE64.53MAYBE123.97TIMEOUT300TIMEOUT300
O(n^1)99.12O(n^1)4.07O(n^1)1.95O(n^1)4.31
O(n^1)2.68O(n^1)9.23O(n^1)2.55O(n^1)9.44
MAYBE14.76MAYBE196.83TIMEOUT300MAYBE11.52
O(n^1)0.2O(n^1)3.55O(n^1)1.96O(n^1)3.51
MAYBE96.48MAYBE12.33MAYBE5.25MAYBE9.42
O(n^1)0.29O(n^1)4.66O(n^1)1.97O(n^1)4.53
O(n^1)0.39O(n^1)7.29O(n^1)2.05O(n^1)7.16
O(n^1)1.28O(n^1)6.28O(n^1)2.41O(n^1)6.57
MAYBE295.17O(n^3)127.34TIMEOUT300O(n^3)126.38
MAYBE295.23TIMEOUT300TIMEOUT300TIMEOUT300
MAYBE102.96MAYBE12.29TIMEOUT300MAYBE299.86
MAYBE8.51MAYBE43.67MAYBE3.98MAYBE6.11
MAYBE296.06TIMEOUT300TIMEOUT300TIMEOUT300
MAYBE175.55MAYBE227.71TIMEOUT300MAYBE228.17
MAYBE7.05MAYBE16.11TIMEOUT300MAYBE299.8
O(n^1)0.29O(n^1)3.85O(n^1)1.86O(n^1)4.07
O(n^1)0.91O(n^1)6.98O(n^1)2.0O(n^1)6.91
O(n^1)0.48O(n^1)8.32O(n^1)2.06O(n^1)8.16
O(n^1)1.07O(n^1)7.53O(n^2)2.33O(n^1)7.45
O(n^1)1.61O(n^1)13.08O(n^2)2.59O(n^1)13.0
MAYBE110.68MAYBE64.1TIMEOUT300MAYBE25.52
MAYBE54.22MAYBE109.01TIMEOUT300MAYBE26.13
O(n^3)7.27O(n^3)6.76O(n^3)2.65O(n^3)7.13
O(n^3)6.56O(n^3)5.47O(n^3)2.52O(n^3)5.74
O(n^2)294.89O(n^2)5.27O(n^2)5.45O(n^2)8.72
O(n^1)55.58O(n^1)6.42O(n^1)2.39O(n^1)6.48
MAYBE51.54MAYBE12.87MAYBE6.61MAYBE9.92
MAYBE96.28MAYBE14.29TIMEOUT300MAYBE299.8
MAYBE50.39MAYBE14.27TIMEOUT300MAYBE299.87
O(n^1)7.19O(n^1)22.33O(n^2)3.29O(n^1)22.3
O(n^1)2.16O(n^1)7.54O(n^2)2.35O(n^1)7.67
O(n^1)1.42O(n^1)7.63O(n^2)2.37O(n^1)7.57
O(n^2)8.32O(n^2)10.54O(n^3)4.49O(n^2)10.71
MAYBE49.2MAYBE80.86TIMEOUT300MAYBE28.01
MAYBE295.21MAYBE39.71TIMEOUT300TIMEOUT300
MAYBE39.61MAYBE15.71TIMEOUT300MAYBE299.98
MAYBE249.84MAYBE192.45TIMEOUT300MAYBE50.69
O(n^1)7.04O(n^1)3.79O(n^1)1.95O(n^1)3.93
O(n^2)3.44O(n^2)6.17O(n^2)2.29O(n^2)6.4
O(n^3)295.06O(n^3)5.73O(n^3)5.74O(n^3)9.15
MAYBE7.03MAYBE23.12MAYBE6.39MAYBE8.95
MAYBE56.02MAYBE22.37TIMEOUT300MAYBE6.89
MAYBE295.38MAYBE57.22TIMEOUT300MAYBE15.42
MAYBE92.46MAYBE175.95TIMEOUT300MAYBE57.91
MAYBE297.97MAYBE48.68TIMEOUT300MAYBE20.68
O(n^1)0.13O(n^1)4.41O(n^1)2.0O(n^1)4.54
MAYBE27.06MAYBE5.91MAYBE78.66MAYBE5.88
O(n^1)6.75O(n^1)20.73O(n^1)2.57O(n^1)21.53
O(n^2)295.2O(n^2)15.9O(n^3)4.92O(n^2)15.69
MAYBE7.03MAYBE7.36MAYBE5.01MAYBE5.91
O(n^1)0.42O(n^1)11.07O(n^1)2.24O(n^1)11.39
O(n^1)0.17O(n^1)4.29O(n^1)1.97O(n^1)4.45
O(n^1)0.53O(n^1)10.91O(n^2)2.06O(n^1)11.01
O(n^1)0.52O(n^1)10.96O(n^1)2.17O(n^1)11.16
O(n^1)0.33O(n^1)3.17O(n^1)1.97O(n^1)3.23
O(n^1)0.66O(n^1)4.0O(n^1)2.16O(n^1)4.24
MAYBE17.52MAYBE76.38TIMEOUT300TIMEOUT300
MAYBE19.74MAYBE86.18TIMEOUT300TIMEOUT300
MAYBE138.17MAYBE100.69O(n^2)14.16MAYBE18.85
O(n^1)26.73O(n^1)46.65O(n^2)7.95O(n^1)46.52
TIMEOUT300TIMEOUT300TIMEOUT300TIMEOUT300
MAYBE295.88TIMEOUT300TIMEOUT300TIMEOUT300
MAYBE296.47TIMEOUT300TIMEOUT300TIMEOUT300
MAYBE296.03TIMEOUT300TIMEOUT300MAYBE244.91
O(n^2)295.16O(n^2)8.14O(n^2)3.1O(n^2)8.34
O(n^2)295.17O(n^2)8.29O(n^2)3.31O(n^2)8.41
O(n^2)6.25O(n^2)21.23O(n^3)4.13O(n^2)21.36
MAYBE41.38MAYBE108.67TIMEOUT300MAYBE26.06
O(n^1)0.23O(n^1)3.88O(n^1)1.92O(n^1)3.88
O(n^1)0.22O(n^1)3.5O(n^1)1.92O(n^1)3.62
O(n^1)0.28O(n^1)3.45O(n^1)1.94O(n^1)3.6
O(n^1)0.15O(n^1)2.89O(n^1)1.85O(n^1)2.95
MAYBE45.36MAYBE17.65TIMEOUT300MAYBE6.74
O(n^2)50.13O(n^2)20.28TIMEOUT300O(n^2)20.35
MAYBE295.28MAYBE145.87TIMEOUT300MAYBE25.12
MAYBE295.25MAYBE7.78TIMEOUT300MAYBE7.91
MAYBE295.85O(n^4)216.61TIMEOUT300O(n^4)216.62
O(n^2)19.99O(n^2)28.66O(n^2)4.66O(n^2)28.87
O(n^1)3.3O(n^1)14.45O(n^1)2.95O(n^1)13.91
MAYBE38.18O(n^2)50.22TIMEOUT300O(n^2)299.75
MAYBE148.1O(n^2)49.46TIMEOUT300O(n^2)299.88
MAYBE15.02O(n^2)51.58TIMEOUT300O(n^2)299.82
MAYBE295.2O(n^2)58.45TIMEOUT300TIMEOUT300
MAYBE295.42O(n^2)92.84TIMEOUT300O(n^2)300
MAYBE295.13O(n^2)102.15TIMEOUT300O(n^2)299.9
MAYBE295.12O(n^2)107.02TIMEOUT300O(n^2)300
MAYBE295.15O(n^2)72.91TIMEOUT300O(n^2)300
MAYBE295.14O(n^2)76.94TIMEOUT300O(n^2)300
MAYBE88.77O(n^2)54.82TIMEOUT300O(n^2)299.9
MAYBE295.25O(n^2)58.82TIMEOUT300O(n^2)299.93
MAYBE20.72MAYBE83.55TIMEOUT300TIMEOUT300
MAYBE47.01O(n^2)85.51TIMEOUT300O(n^2)299.89
MAYBE173.92TIMEOUT300TIMEOUT300TIMEOUT300
MAYBE62.33O(n^2)25.94TIMEOUT300O(n^2)299.89
MAYBE300MAYBE68.51TIMEOUT300TIMEOUT300
MAYBE7.03MAYBE7.41MAYBE5.02MAYBE6.05
MAYBE7.04MAYBE5.05MAYBE5.01MAYBE5.9
MAYBE7.05MAYBE3.97MAYBE5.08MAYBE5.89
MAYBE7.04MAYBE2.04TIMEOUT300MAYBE299.82
MAYBE7.03MAYBE8.64MAYBE63.38MAYBE64.62
MAYBE2.29MAYBE28.28MAYBE2.02MAYBE5.45
MAYBE295.23MAYBE72.11TIMEOUT300TIMEOUT300
MAYBE295.2O(n^2)7.92O(n^2)4.04O(n^2)8.73
MAYBE295.22MAYBE152.15TIMEOUT300TIMEOUT300
MAYBE47.25MAYBE2.13TIMEOUT300MAYBE299.88
MAYBE295.21TIMEOUT300TIMEOUT300TIMEOUT300
O(n^1)7.04O(n^1)3.45O(n^1)1.93O(n^1)3.52
MAYBE295.04MAYBE1.89TIMEOUT300TIMEOUT300
MAYBE56.57MAYBE2.31TIMEOUT300TIMEOUT300
O(n^2)4.78O(n^1)6.6O(n^2)2.37O(n^1)6.97
O(n^1)0.69O(n^1)2.27O(n^1)2.37O(n^1)2.65
MAYBE295.16MAYBE5.83TIMEOUT300TIMEOUT300
O(n^1)1.89O(n^1)3.8O(n^1)2.65O(n^1)4.89
O(n^1)4.24O(n^1)8.56O(n^1)3.51O(n^1)10.37
O(n^1)1.0O(n^1)4.47O(n^1)2.16O(n^1)4.73
O(n^2)63.72O(n^2)9.79O(n^2)3.45O(n^2)10.34
O(n^2)88.58O(n^2)8.93O(n^2)2.74O(n^2)9.8
O(n^2)2.46O(n^2)5.31O(n^2)2.01O(n^2)5.58
MAYBE298.09MAYBE106.53TIMEOUT300TIMEOUT300
MAYBE17.79MAYBE36.34TIMEOUT300TIMEOUT300
O(n^1)0.78O(n^1)5.26O(n^1)2.43O(n^1)5.49
O(n^1)1.07O(n^1)6.14O(n^1)2.48O(n^1)6.31
O(n^1)0.23O(n^1)3.72O(n^1)1.96O(n^1)3.94
MAYBE144.45TIMEOUT300TIMEOUT300TIMEOUT300
MAYBE38.63MAYBE14.49TIMEOUT300TIMEOUT300
O(n^1)0.46O(n^1)4.62O(n^1)2.16O(n^1)4.94
MAYBE295.1MAYBE2.38TIMEOUT300TIMEOUT300
MAYBE76.18MAYBE21.07TIMEOUT300TIMEOUT300
MAYBE295.3O(n^2)74.91TIMEOUT300O(n^2)300
MAYBE295.25MAYBE168.85TIMEOUT300TIMEOUT300
MAYBE295.28O(n^2)69.73TIMEOUT300O(n^2)300
O(n^1)0.89MAYBE1.83O(n^1)2.06O(n^1)2.21
MAYBE295.18MAYBE28.3O(n^1)1.97O(n^1)8.11
O(n^1)0.2O(n^1)3.88O(n^1)1.91O(n^1)3.67
O(n^1)0.66O(n^1)3.87O(n^2)1.94O(n^1)3.99
O(n^1)0.41O(n^1)3.57O(n^1)1.98O(n^1)3.87
MAYBE4.7MAYBE12.43TIMEOUT300MAYBE299.78
O(n^1)0.44O(n^1)4.22O(n^1)2.01O(n^1)4.29
TIMEOUT300MAYBE104.8TIMEOUT300TIMEOUT300
MAYBE295.22MAYBE184.15TIMEOUT300TIMEOUT300
O(n^1)1.54MAYBE25.02O(n^1)2.07O(n^1)8.38
MAYBE2.67MAYBE37.65MAYBE14.17MAYBE16.99
MAYBE50.06O(n^2)27.52TIMEOUT300O(n^2)299.79
O(n^1)2.7O(n^1)7.89O(n^1)5.93O(n^1)12.08
O(n^3)295.9MAYBE299.85TIMEOUT300MAYBE299.9
O(n^3)295.66MAYBE113.53TIMEOUT300MAYBE58.94
O(n^2)295.88O(n^5)300TIMEOUT300O(n^5)300
O(n^2)26.45O(n^2)32.03O(n^2)11.49O(n^2)31.83
O(n^2)63.96O(n^2)18.16O(n^2)9.18O(n^2)13.93
O(n^2)4.38O(n^2)19.7O(n^2)5.22O(n^2)19.72
O(n^2)294.43O(n^2)28.9TIMEOUT300O(n^2)27.84
O(n^2)298.06O(n^2)16.26O(n^2)11.0O(n^2)15.98
MAYBE296.02O(n^2)21.64TIMEOUT300O(n^2)21.14
O(n^2)295.33O(n^2)42.17TIMEOUT300O(n^2)43.89
O(n^2)295.34O(n^2)47.52TIMEOUT300O(n^2)45.98
O(n^5)169.03MAYBE72.88TIMEOUT300MAYBE72.38
O(n^2)295.29MAYBE45.57TIMEOUT300MAYBE24.96
O(n^2)53.16O(n^2)12.08O(n^3)8.16O(n^2)11.87
MAYBE295.16MAYBE25.94TIMEOUT300TIMEOUT300
MAYBE295.16O(n^2)55.46TIMEOUT300O(n^2)55.34
O(n^1)2.17O(n^1)11.73O(n^1)2.42O(n^1)12.07
O(n^5)157.02O(n^3)71.94TIMEOUT300O(n^3)72.34
O(n^2)10.39MAYBE2.32O(n^2)2.68O(n^2)2.99
O(n^1)3.98O(n^2)4.53O(n^1)2.47O(n^1)5.01
O(n^1)0.86O(n^1)3.06O(n^1)1.84O(n^1)2.91
O(n^3)128.49O(n^3)6.66O(n^3)5.09O(n^3)7.7
O(n^2)63.83O(n^3)6.06O(n^2)3.03O(n^2)6.82
O(n^2)295.18MAYBE71.62O(n^2)7.91O(n^2)24.39
O(n^2)21.66O(n^1)11.81O(n^2)2.94O(n^1)12.6
O(n^1)1.01MAYBE9.95O(n^1)1.88O(n^1)5.45
O(n^1)0.47O(n^1)5.19O(n^2)2.26O(n^1)5.9
O(1)0.13MAYBE28.49O(1)1.76O(1)1.85
O(n^2)7.21O(n^1)5.71O(n^2)3.31O(n^1)6.76
MAYBE299.21MAYBE3.47TIMEOUT300TIMEOUT300
O(1)0.08MAYBE17.24O(1)1.75O(1)1.91
MAYBE295.06MAYBE2.11TIMEOUT300MAYBE299.81
O(1)0.6O(1)2.09O(1)1.74O(1)2.03
O(n^1)16.43O(n^1)8.18O(n^1)2.38O(n^1)8.35
O(n^1)0.54O(n^1)2.17O(n^1)2.29O(n^1)2.32
MAYBE295.31MAYBE49.35TIMEOUT300TIMEOUT300
MAYBE17.69MAYBE1.91TIMEOUT300MAYBE299.98
MAYBE295.15MAYBE4.97TIMEOUT300TIMEOUT300
O(n^2)295.29O(n^3)12.01TIMEOUT300O(n^3)300
O(n^1)3.45O(n^1)3.36O(n^1)2.32O(n^1)3.64
O(n^1)0.42MAYBE11.85O(n^1)1.95O(n^1)5.52
O(n^2)26.9MAYBE2.51O(n^2)4.74O(n^2)5.23
MAYBE295.14O(n^1)9.0O(n^2)43.54O(n^1)44.94
MAYBE32.77MAYBE2.73TIMEOUT300TIMEOUT300
MAYBE41.44MAYBE1.88O(n^2)4.4O(n^2)4.61
MAYBE39.49O(n^3)73.51TIMEOUT300O(n^3)299.91
O(n^1)4.66O(n^1)5.76O(n^1)2.08O(n^1)5.96
MAYBE45.57MAYBE299.88TIMEOUT300TIMEOUT300
O(1)6.06O(1)2.28O(1)1.75O(1)1.83
MAYBE295.93MAYBE3.85TIMEOUT300TIMEOUT300
MAYBE295.67O(n^2)55.36TIMEOUT300O(n^2)300
MAYBE295.14O(n^2)7.72O(n^2)81.0O(n^2)87.71
MAYBE295.15MAYBE19.87TIMEOUT300TIMEOUT300
MAYBE295.15MAYBE32.15TIMEOUT300TIMEOUT300
MAYBE296.57TIMEOUT300TIMEOUT300TIMEOUT300
O(1)12.8O(1)2.26O(1)1.8O(1)1.88
MAYBE15.36MAYBE11.06MAYBE5.59MAYBE7.35
O(1)0.21MAYBE2.12O(n^1)2.35O(n^1)2.4
O(n^1)294.8MAYBE1.89O(n^1)10.31O(n^1)9.67
O(1)0.11O(1)2.17O(1)1.79O(1)1.94
TIMEOUT300TIMEOUT300TIMEOUT300TIMEOUT300
MAYBE295.13O(n^3)6.73TIMEOUT300O(n^3)300
MAYBE295.04O(n^2)11.14TIMEOUT300O(n^2)300
MAYBE65.15MAYBE2.97TIMEOUT300TIMEOUT300
O(1)18.42O(1)2.15O(1)1.71O(1)2.05
O(1)0.09O(1)2.13O(1)1.76O(1)1.93
O(n^2)29.18O(1)2.08O(1)1.76O(1)1.93
MAYBE295.11O(n^2)41.27TIMEOUT300O(n^2)299.97
MAYBE85.33MAYBE91.93TIMEOUT300TIMEOUT300
MAYBE295.11MAYBE120.06TIMEOUT300TIMEOUT300
MAYBE92.1MAYBE149.78TIMEOUT300TIMEOUT300
MAYBE34.96O(n^3)11.11TIMEOUT300O(n^3)300
MAYBE199.67TIMEOUT300TIMEOUT300TIMEOUT300
MAYBE295.18MAYBE55.72TIMEOUT300TIMEOUT300
MAYBE295.05MAYBE31.32TIMEOUT300TIMEOUT300
TIMEOUT300O(n^2)85.91TIMEOUT300TIMEOUT300
MAYBE295.18MAYBE49.99TIMEOUT300TIMEOUT300
MAYBE295.17MAYBE44.97TIMEOUT300TIMEOUT300
MAYBE295.15MAYBE46.99TIMEOUT300TIMEOUT300
MAYBE295.18MAYBE74.19TIMEOUT300TIMEOUT300
O(n^1)295.2MAYBE10.54O(1)1.82O(1)1.98
MAYBE77.16MAYBE109.67TIMEOUT300TIMEOUT300
MAYBE66.12O(n^5)124.9TIMEOUT300O(n^5)300
MAYBE295.93TIMEOUT300TIMEOUT300TIMEOUT300
MAYBE295.16MAYBE143.75TIMEOUT300TIMEOUT300
MAYBE118.26MAYBE111.28TIMEOUT300TIMEOUT300
MAYBE295.14MAYBE97.26TIMEOUT300TIMEOUT300
MAYBE87.0MAYBE68.32TIMEOUT300TIMEOUT300
MAYBE232.6O(n^2)37.74TIMEOUT300O(n^2)300
MAYBE173.7O(n^3)69.18TIMEOUT300O(n^3)300
MAYBE295.14O(n^3)116.55TIMEOUT300O(n^3)300
MAYBE129.08MAYBE1.96O(n^1)2.79O(n^1)2.92
MAYBE52.24MAYBE2.57TIMEOUT300TIMEOUT300
MAYBE300MAYBE1.99O(n^2)2.92O(n^2)3.22
O(n^1)0.88O(n^1)12.94O(n^1)2.19O(n^1)13.11
O(n^1)90.98O(n^1)2.78O(n^1)1.96O(n^1)3.04
O(n^1)0.43O(n^1)2.93O(n^1)2.08O(n^1)3.05
O(n^1)1.97O(n^1)4.0O(n^1)1.97O(n^1)4.12
O(n^1)0.29O(n^1)3.24O(n^1)1.96O(n^1)3.47
O(n^1)0.41O(n^1)4.08O(n^1)2.04O(n^1)4.28
O(n^3)20.31O(n^3)6.88O(n^3)3.67O(n^3)7.78
O(n^1)0.71O(n^1)4.07O(n^1)2.07O(n^1)4.3
O(n^1)0.71O(n^1)5.55O(n^1)2.1O(n^1)5.69
MAYBE4.3EXP6.6MAYBE12.21EXP14.5
O(n^2)4.02O(n^2)6.51O(n^2)2.44O(n^2)6.9
O(n^1)0.25O(n^1)3.66O(n^2)1.89O(n^1)3.79
O(n^2)1.75O(n^2)4.13O(n^2)2.18O(n^2)4.4
O(n^2)4.3O(n^2)5.98O(n^2)2.76O(n^2)6.38
O(n^1)0.26O(n^1)3.8O(n^2)1.91O(n^1)3.84
MAYBE5.03EXP4.72MAYBE12.77EXP13.67
O(n^2)3.07O(n^2)6.55O(n^2)2.31O(n^2)6.9
MAYBE25.61MAYBE13.95TIMEOUT300MAYBE299.97
MAYBE4.96EXP4.12MAYBE37.34EXP38.05
MAYBE18.69MAYBE72.73TIMEOUT300TIMEOUT300
MAYBE92.15TIMEOUT300TIMEOUT300TIMEOUT300
MAYBE295.08MAYBE28.19TIMEOUT300MAYBE299.95
MAYBE5.07MAYBE2.13TIMEOUT300TIMEOUT300
O(n^1)0.61O(n^1)5.18O(n^1)1.85O(n^1)5.43
O(1)0.22O(1)2.1O(1)1.73O(1)1.89
O(n^1)0.23O(n^1)4.58O(n^1)2.16O(n^1)4.72
O(n^1)7.04O(n^1)3.46O(n^1)2.08O(n^1)3.64
O(1)0.18MAYBE57.35O(n^1)1.95O(n^1)19.94
O(n^1)0.64O(n^1)3.25O(n^1)1.93O(n^1)3.34
O(n^2)74.32O(n^2)5.74O(n^2)5.4O(n^2)9.19
O(n^1)0.28O(n^1)5.82O(n^1)2.0O(n^1)5.88
O(n^1)0.54O(n^1)4.83O(n^1)2.07O(n^1)5.26
O(n^1)12.99O(n^1)3.94O(n^1)1.95O(n^1)4.19
MAYBE83.51EXP7.86MAYBE12.31EXP13.27
O(n^1)1.46O(n^1)6.2O(n^1)2.2O(n^1)6.38
O(n^1)0.45O(n^1)4.46O(n^1)2.06O(n^1)4.76
O(n^1)0.12O(n^1)2.9O(n^1)1.82O(n^1)2.86
O(1)0.15O(1)2.16O(1)1.78O(1)1.88
O(1)0.32O(1)2.1O(1)1.74O(1)1.86
O(n^1)0.09O(n^1)2.56O(n^1)1.83O(n^1)2.66
MAYBE214.48MAYBE2.16TIMEOUT300MAYBE299.91
MAYBE190.25MAYBE3.25TIMEOUT300TIMEOUT300
O(n^1)0.4O(n^1)3.76O(n^1)2.02O(n^1)3.96
O(n^1)0.17O(n^1)2.93O(n^1)1.92O(n^1)3.08
O(n^1)0.15O(n^1)3.03O(n^1)1.89O(n^1)3.05
O(n^1)0.17O(n^1)2.85O(n^1)1.89O(n^1)2.89
O(n^1)1.59MAYBE1.9O(n^2)3.57O(n^2)4.09
O(n^2)4.21EXP6.73O(n^2)2.01O(n^3)6.79
MAYBE17.02MAYBE58.58MAYBE59.03MAYBE64.64
O(1)0.09O(1)2.19O(1)1.73O(1)1.85
O(1)1.84O(1)2.18O(1)1.74O(1)1.89
O(n^2)4.07EXP6.43O(n^2)2.04O(n^2)6.66
O(n^1)7.04O(n^1)3.31O(n^1)2.15O(n^1)3.61
O(n^2)6.33O(n^1)4.38O(n^1)2.04O(n^1)4.69
O(n^1)0.78O(n^1)3.42O(n^1)2.08O(n^1)3.57
O(n^2)75.0O(n^2)20.22TIMEOUT300O(n^2)300
O(1)0.15MAYBE12.58O(1)1.73O(1)1.88
MAYBE34.2O(n^1)4.41O(n^1)2.16O(n^1)4.61
MAYBE295.13MAYBE3.06TIMEOUT300TIMEOUT300
O(n^1)0.44O(n^1)3.24O(n^1)2.01O(n^1)3.4
O(n^1)16.52O(n^1)4.26O(n^1)1.89O(n^1)4.4
MAYBE295.15MAYBE39.81TIMEOUT300MAYBE299.94
O(n^1)1.18O(n^1)6.84O(n^1)2.22O(n^1)7.05
O(n^1)0.23O(n^1)3.54O(n^1)1.94O(n^1)3.61
O(n^1)45.77MAYBE8.08O(n^1)39.19O(n^1)41.05
MAYBE12.39MAYBE48.44MAYBE4.61MAYBE6.71
MAYBE295.64MAYBE2.09MAYBE85.84MAYBE86.49
O(1)0.07MAYBE9.0O(1)1.75O(1)1.77
O(n^1)0.88O(n^1)3.53O(n^1)2.13O(n^1)3.88
MAYBE13.39MAYBE2.32TIMEOUT300MAYBE299.98
O(n^3)20.78MAYBE1.86MAYBE35.9MAYBE36.15
O(n^1)0.13O(n^1)2.87O(n^1)1.82O(n^1)3.17
O(1)0.24O(1)2.14O(1)1.84O(1)1.94
O(1)0.12O(1)2.26O(1)1.78O(1)1.93
O(n^1)1.05MAYBE2.1O(n^1)1.94O(n^1)2.22
O(n^1)2.18O(n^1)8.04O(n^1)1.94O(n^1)7.83
MAYBE5.69MAYBE2.17MAYBE191.19MAYBE196.09
O(1)295.14O(1)2.81O(1)1.75O(1)1.9
MAYBE36.08MAYBE72.06MAYBE12.66MAYBE13.98
MAYBE297.89MAYBE107.65TIMEOUT300TIMEOUT300
MAYBE295.2MAYBE164.27TIMEOUT300TIMEOUT300
O(n^1)168.86O(n^1)2.91O(n^1)1.88O(n^1)2.92
O(n^1)3.49O(n^1)2.59O(n^1)1.86O(n^1)2.69
O(n^1)295.13O(n^1)2.82O(n^1)1.85O(n^1)2.79
MAYBE14.35MAYBE2.26O(n^1)42.04O(n^1)24.97
O(n^1)0.97O(n^1)3.22O(n^1)2.09O(n^1)3.47
O(n^1)9.47O(n^1)6.34O(n^1)1.87O(n^1)6.43
MAYBE98.03O(n^2)7.5MAYBE104.85O(n^2)104.61
MAYBE1.91O(1)2.13O(1)1.86O(1)2.18
MAYBE38.93O(n^2)7.08O(n^2)8.74O(n^2)8.94
O(n^3)11.37O(n^2)5.71O(n^2)2.27O(n^2)6.03
O(n^1)39.02O(n^1)3.74O(n^2)5.76O(n^1)7.18
MAYBE295.35MAYBE120.05TIMEOUT300TIMEOUT300
O(n^1)295.05O(n^1)2.82O(n^1)1.86O(n^1)2.83
MAYBE22.66O(n^1)5.36O(n^2)4.17O(n^1)5.98
MAYBE295.14O(n^1)7.54O(n^2)13.63O(n^1)13.91
MAYBE294.97O(n^1)8.66O(n^2)17.47O(n^1)17.9
MAYBE132.86O(n^1)6.95O(n^2)10.4O(n^1)10.92
O(n^2)4.35MAYBE2.14O(n^2)2.52O(n^1)2.61
O(n^3)103.44MAYBE53.48TIMEOUT300TIMEOUT300
O(n^1)3.04MAYBE2.38O(n^2)62.35O(n^3)64.76
MAYBE300MAYBE3.32TIMEOUT300TIMEOUT300
O(n^2)295.38O(n^3)12.95TIMEOUT300O(n^3)300
O(n^1)0.6MAYBE11.84O(n^1)2.09O(n^1)5.5
O(n^1)0.47MAYBE11.86O(n^1)2.05O(n^1)5.43
O(1)0.1MAYBE12.42O(1)1.82O(1)1.95
MAYBE14.91MAYBE13.02TIMEOUT300MAYBE299.96
MAYBE2.26MAYBE12.88MAYBE60.57MAYBE61.36
MAYBE2.73MAYBE13.01MAYBE117.96MAYBE119.14
MAYBE8.43MAYBE13.02MAYBE161.72MAYBE162.75
MAYBE7.81MAYBE13.03MAYBE164.28MAYBE165.78
MAYBE44.13MAYBE24.42MAYBE3.51MAYBE6.58
MAYBE7.47MAYBE14.97MAYBE123.76MAYBE125.33
MAYBE28.8MAYBE7.87MAYBE6.7MAYBE6.87
MAYBE34.22MAYBE32.29TIMEOUT300TIMEOUT300
MAYBE10.57MAYBE13.56MAYBE128.92MAYBE129.82
MAYBE3.59MAYBE13.95MAYBE110.2MAYBE111.93
MAYBE7.46MAYBE12.85TIMEOUT300MAYBE299.86
MAYBE66.17MAYBE13.05TIMEOUT300MAYBE299.93
MAYBE4.51MAYBE2.14TIMEOUT300MAYBE299.86
MAYBE8.44MAYBE5.95MAYBE93.79MAYBE95.07
MAYBE8.48MAYBE14.11TIMEOUT300TIMEOUT300
MAYBE2.71MAYBE13.04MAYBE109.59MAYBE110.57
MAYBE7.04MAYBE4.04MAYBE5.48MAYBE5.98
O(n^1)1.37O(n^1)6.76O(n^1)2.16O(n^1)6.98
MAYBE75.74MAYBE34.84MAYBE4.8MAYBE12.63
MAYBE12.06MAYBE13.78TIMEOUT300TIMEOUT300
MAYBE7.03MAYBE6.27MAYBE5.18MAYBE6.84
MAYBE17.17MAYBE13.29TIMEOUT300TIMEOUT300
MAYBE5.24MAYBE12.92MAYBE61.17MAYBE63.41
MAYBE7.05MAYBE4.47MAYBE5.0MAYBE6.41
MAYBE3.66MAYBE12.97MAYBE110.74MAYBE110.15
MAYBE10.07MAYBE14.19MAYBE123.83MAYBE126.43
MAYBE11.28MAYBE21.52TIMEOUT300MAYBE299.99
MAYBE53.69MAYBE14.33TIMEOUT300TIMEOUT300
MAYBE18.01MAYBE13.02TIMEOUT300TIMEOUT300
MAYBE7.05MAYBE7.84MAYBE5.02MAYBE6.08
MAYBE19.4MAYBE5.33TIMEOUT300MAYBE299.97
MAYBE16.16MAYBE4.8TIMEOUT300MAYBE299.97
MAYBE59.26MAYBE2.47TIMEOUT300TIMEOUT300
MAYBE295.39MAYBE15.5TIMEOUT300TIMEOUT300
MAYBE7.04MAYBE1.85MAYBE5.16MAYBE5.14
MAYBE2.44MAYBE12.96MAYBE61.61MAYBE61.38
MAYBE7.04MAYBE1.91MAYBE5.13MAYBE5.34
MAYBE23.14MAYBE8.81MAYBE5.27MAYBE6.7
MAYBE7.04MAYBE5.29MAYBE5.15MAYBE6.24
MAYBE8.21MAYBE12.55TIMEOUT300MAYBE299.79
MAYBE52.37MAYBE32.83TIMEOUT300TIMEOUT300
MAYBE44.1MAYBE14.16MAYBE21.19MAYBE21.96
O(n^1)8.19O(n^1)3.42O(n^1)1.87O(n^1)3.44
MAYBE13.08O(n^1)4.75O(n^1)2.2O(n^1)5.06
MAYBE13.69O(n^1)5.04O(n^1)2.4O(n^1)5.51
O(n^1)0.77O(n^1)4.01O(n^1)2.34O(n^1)4.5
O(1)1.62O(1)2.04O(1)1.74O(1)1.87
MAYBE69.13MAYBE299.85TIMEOUT300TIMEOUT300
MAYBE19.64O(n^5)11.88TIMEOUT300O(n^5)299.98
O(n^10)256.68O(n^10)14.11TIMEOUT300O(n^10)300
O(n^5)36.79O(n^5)8.4TIMEOUT300O(n^5)299.95
O(n^2)10.57O(n^2)17.79O(n^2)2.92O(n^2)19.05
TIMEOUT300MAYBE10.96O(n^1)5.08O(n^1)9.91
O(n^1)0.89O(n^1)12.54O(n^1)2.11O(n^1)12.63
MAYBE300MAYBE299.88TIMEOUT300TIMEOUT300
O(n^2)2.71O(n^2)9.66O(n^2)2.41O(n^2)10.15
MAYBE295.3MAYBE9.69O(n^1)2.39O(n^1)4.57
O(n^1)0.35O(n^1)8.92O(n^1)2.0O(n^1)9.16
MAYBE26.94MAYBE2.23TIMEOUT300TIMEOUT300
O(1)0.17O(1)2.19O(1)1.72O(1)2.03
MAYBE295.07MAYBE7.31O(n^1)2.68O(n^1)5.33
MAYBE295.1TIMEOUT300TIMEOUT300TIMEOUT300
O(n^3)295.18MAYBE2.32TIMEOUT300TIMEOUT300
MAYBE7.03MAYBE8.62MAYBE5.12MAYBE8.02
MAYBE295.11MAYBE24.79TIMEOUT300TIMEOUT300
MAYBE295.05MAYBE9.25O(n^1)2.74O(n^1)6.62
MAYBE294.94MAYBE2.51TIMEOUT300TIMEOUT300
O(n^1)295.32MAYBE6.34O(n^1)2.19O(n^1)4.45
O(n^1)1.76O(n^1)4.71O(n^1)1.84O(n^1)4.79
O(n^1)0.55O(n^1)3.53O(n^1)1.85O(n^1)3.66
MAYBE7.07MAYBE3.55MAYBE4.93MAYBE5.68
O(1)0.58O(1)4.44O(1)1.71O(1)1.9
MAYBE295.23MAYBE8.24O(n^1)3.23O(n^1)5.98
MAYBE11.34MAYBE2.56TIMEOUT300TIMEOUT300
O(n^1)6.1O(n^1)2.69O(n^1)3.48O(n^1)3.85
MAYBE9.21MAYBE19.44TIMEOUT300MAYBE299.81
MAYBE295.15MAYBE7.88O(n^1)2.35O(n^1)4.98
O(n^1)7.04O(n^1)4.4O(n^1)1.84O(n^1)4.34
MAYBE7.05MAYBE4.99MAYBE5.37MAYBE6.01
O(n^1)248.76MAYBE6.62O(n^1)2.19O(n^1)4.25
O(n^1)0.16O(n^1)3.89O(n^1)1.98O(n^1)4.06
O(n^1)0.18O(n^1)4.04O(n^1)1.87O(n^1)3.91
O(1)0.08O(1)2.09O(1)1.79O(1)1.92
MAYBE295.19MAYBE8.82O(n^1)3.1O(n^1)6.46
MAYBE295.07MAYBE2.45TIMEOUT300TIMEOUT300
O(n^1)1.74O(n^1)14.94O(n^1)2.11O(n^1)15.03
MAYBE7.04MAYBE5.87MAYBE5.0MAYBE7.46
MAYBE295.14MAYBE13.25TIMEOUT300TIMEOUT300
MAYBE295.18MAYBE8.69O(n^1)3.17O(n^1)6.52
O(n^1)5.78O(n^1)2.42O(n^1)2.03O(n^1)2.43
TIMEOUT300MAYBE6.14TIMEOUT300TIMEOUT300
MAYBE30.78MAYBE20.8MAYBE59.87MAYBE60.94
MAYBE294.13MAYBE9.84O(n^1)2.55O(n^1)6.07
MAYBE295.14MAYBE2.41TIMEOUT300MAYBE299.97
MAYBE7.04MAYBE7.35MAYBE5.07MAYBE5.85
MAYBE295.34MAYBE9.54O(n^1)3.15O(n^1)7.86
O(n^1)0.56O(n^1)15.75O(n^1)2.04O(n^1)16.01
MAYBE44.35MAYBE2.6TIMEOUT300TIMEOUT300
O(n^1)295.06EXP6.36O(n^2)2.33O(n^2)6.71
O(n^1)295.25MAYBE2.05TIMEOUT300TIMEOUT300
MAYBE295.07MAYBE2.37TIMEOUT300TIMEOUT300
MAYBE295.05MAYBE2.51TIMEOUT300TIMEOUT300
MAYBE18.29MAYBE6.52TIMEOUT300TIMEOUT300
O(n^1)295.7MAYBE7.89O(n^1)2.33O(n^1)5.2
MAYBE295.04MAYBE8.62MAYBE6.03MAYBE9.24
O(1)0.4O(1)2.2O(n^1)1.96O(1)2.28
MAYBE7.03MAYBE4.71MAYBE5.02MAYBE6.44
O(n^1)292.76MAYBE6.41O(n^1)2.25O(n^1)4.51
O(n^1)0.35O(n^1)4.51O(n^1)2.0O(n^1)4.78
O(n^1)0.59O(n^1)4.49O(n^1)1.92O(n^1)4.51
O(1)0.08O(1)2.37O(1)1.76O(1)1.95
MAYBE295.17MAYBE8.34O(n^1)2.58O(n^1)5.53
MAYBE10.56O(n^1)88.03TIMEOUT300O(n^1)299.84
O(n^1)4.79O(n^1)5.14O(n^1)1.91O(n^1)5.47
MAYBE7.04MAYBE3.49MAYBE5.01MAYBE5.75
MAYBE3.42O(1)2.14MAYBE42.22O(1)2.32
MAYBE295.04MAYBE7.96O(n^1)2.5O(n^1)5.25
O(n^1)211.68O(n^1)5.66O(n^1)1.87O(n^1)5.7
MAYBE7.04MAYBE5.1MAYBE5.2MAYBE5.89
O(n^1)133.48MAYBE9.85O(n^1)2.31O(n^1)4.91
O(n^1)0.28O(n^1)5.91O(n^1)1.95O(n^1)6.14
O(n^1)0.9O(n^1)5.87O(n^1)1.95O(n^1)5.83
O(1)0.25O(1)2.11O(1)1.76O(1)1.86
TIMEOUT300MAYBE6.73O(n^1)3.28O(n^1)5.09
O(n^1)1.56O(n^1)14.86O(n^1)2.31O(n^1)15.27
O(n^2)164.69MAYBE2.92TIMEOUT300TIMEOUT300
O(1)0.22O(1)2.28O(1)1.76O(1)1.92
O(1)0.55O(1)2.28O(1)1.93O(1)1.97
MAYBE296.16MAYBE6.78O(n^1)3.62O(n^1)5.32
O(n^1)0.9O(n^1)12.45O(n^2)2.16O(n^1)12.93
MAYBE296.53MAYBE2.8TIMEOUT300TIMEOUT300
O(n^3)13.34O(n^3)6.44TIMEOUT300O(n^3)299.99
O(n^3)19.92O(n^3)10.09TIMEOUT300O(n^3)300
MAYBE295.48MAYBE8.05O(n^1)3.24O(n^1)6.19
O(n^2)20.67MAYBE2.64TIMEOUT300TIMEOUT300
O(n^2)56.12MAYBE2.57TIMEOUT300TIMEOUT300
O(1)0.17O(1)2.16O(1)1.78O(1)1.95
O(n^1)3.15O(n^1)11.25O(n^1)2.14O(n^1)11.61
MAYBE295.16MAYBE7.92O(n^1)2.72O(n^1)6.38
O(n^1)0.32O(n^1)7.7O(n^1)1.94O(n^1)8.06
MAYBE19.33MAYBE2.39TIMEOUT300TIMEOUT300
O(n^1)295.04O(n^1)4.75O(n^1)2.0O(n^1)4.99
MAYBE295.19MAYBE8.66O(n^1)3.05O(n^1)6.83
MAYBE25.29MAYBE2.78TIMEOUT300TIMEOUT300
MAYBE36.72MAYBE3.11TIMEOUT300TIMEOUT300
MAYBE23.05MAYBE63.34TIMEOUT300TIMEOUT300
MAYBE296.04MAYBE8.94O(n^1)3.26O(n^1)7.4
MAYBE17.42MAYBE2.72TIMEOUT300TIMEOUT300
O(n^2)74.16MAYBE2.93TIMEOUT300TIMEOUT300
O(1)0.13O(1)2.22O(1)1.86O(1)1.91
MAYBE11.15MAYBE13.38TIMEOUT300TIMEOUT300
O(n^2)100.51MAYBE9.75O(n^1)2.13O(n^1)4.4
O(n^1)0.22O(n^1)4.75O(n^1)2.0O(n^1)4.84
O(n^2)45.68MAYBE2.16TIMEOUT300TIMEOUT300
O(n^1)0.09O(n^1)2.68O(n^1)1.87O(n^1)2.72
MAYBE14.07MAYBE2.14MAYBE221.17MAYBE233.49
O(n^1)295.12MAYBE7.01O(n^1)2.86O(n^1)5.26
O(n^1)0.31O(n^1)4.68O(n^1)2.25O(n^1)4.93
O(n^1)4.03O(n^1)5.39O(n^1)4.78O(n^1)6.45
O(1)0.43O(1)2.17O(n^1)1.99O(1)2.26
O(1)0.4O(1)2.24O(n^1)2.18O(1)2.38
MAYBE296.44MAYBE9.84O(n^1)3.63O(n^1)8.17
MAYBE10.93MAYBE2.65TIMEOUT300TIMEOUT300
TIMEOUT300MAYBE3.15TIMEOUT300TIMEOUT300
MAYBE295.15MAYBE57.63TIMEOUT300TIMEOUT300
MAYBE295.24MAYBE7.99O(n^1)2.5O(n^1)6.57
O(n^1)0.36O(n^1)7.77O(n^1)1.96O(n^1)7.95
MAYBE18.02MAYBE2.38TIMEOUT300TIMEOUT300
O(n^1)0.34O(n^1)4.56O(n^1)2.01O(n^1)4.9
O(n^1)295.16MAYBE1.98TIMEOUT300O(n^1)300
O(1)0.15O(1)2.16O(1)1.79O(1)1.89
O(n^1)45.55MAYBE2.2O(n^1)300O(n^1)299.81
MAYBE295.18MAYBE9.17O(n^1)2.9O(n^1)6.84
O(n^2)18.43MAYBE2.54TIMEOUT300TIMEOUT300
O(n^2)55.44MAYBE3.19TIMEOUT300TIMEOUT300
O(n^1)1.15O(n^1)9.55O(n^1)2.81O(n^1)10.16
MAYBE295.95MAYBE2.2TIMEOUT300TIMEOUT300
MAYBE133.65MAYBE84.71TIMEOUT300TIMEOUT300
TIMEOUT300MAYBE299.94TIMEOUT300TIMEOUT300
MAYBE56.71MAYBE51.59TIMEOUT300TIMEOUT300
MAYBE296.4MAYBE8.72O(n^1)2.98O(n^1)7.08
MAYBE295.16MAYBE182.66TIMEOUT300TIMEOUT300
MAYBE215.47MAYBE2.52TIMEOUT300TIMEOUT300
MAYBE295.16EXP5.27TIMEOUT300EXP299.82
MAYBE296.08MAYBE11.09O(n^1)3.69O(n^1)9.52
MAYBE22.18MAYBE2.83TIMEOUT300TIMEOUT300
TIMEOUT300MAYBE4.27TIMEOUT300TIMEOUT300
MAYBE25.86MAYBE65.72TIMEOUT300TIMEOUT300
MAYBE295.93MAYBE2.29TIMEOUT300TIMEOUT300
O(n^1)1.19O(n^1)11.65O(n^1)2.3O(n^1)12.44
TIMEOUT300MAYBE3.02TIMEOUT300TIMEOUT300
MAYBE14.41MAYBE8.27MAYBE5.3MAYBE10.45
O(n^1)295.16MAYBE8.14O(n^1)2.59O(n^1)6.13
O(n^1)5.76MAYBE2.23O(n^1)2.59O(n^1)2.69
MAYBE19.83MAYBE2.58TIMEOUT300TIMEOUT300
O(n^1)0.5O(1)2.32O(n^1)2.04O(1)2.62
MAYBE296.22MAYBE11.39O(n^1)5.56O(n^1)9.51
MAYBE295.27MAYBE39.65TIMEOUT300TIMEOUT300
TIMEOUT300MAYBE7.73TIMEOUT300TIMEOUT300
MAYBE295.21MAYBE30.05TIMEOUT300TIMEOUT300
MAYBE295.63MAYBE9.67O(n^1)2.7O(n^1)5.11
O(n^1)9.81MAYBE141.56O(n^2)1.94O(n^1)10.19
MAYBE25.52MAYBE2.45TIMEOUT300TIMEOUT300
O(1)1.5MAYBE11.97O(1)1.74O(1)1.88
O(n^1)295.04MAYBE1.86O(n^1)300O(n^1)300
MAYBE294.92MAYBE12.39MAYBE5.66MAYBE9.23
O(1)0.14O(1)2.07O(1)1.71O(1)1.89
MAYBE295.15MAYBE8.73O(n^1)3.01O(n^1)6.75
O(n^1)0.58O(n^1)14.88O(n^1)2.01O(n^1)15.08
O(n^2)40.31MAYBE2.3TIMEOUT300TIMEOUT300
O(1)0.31O(1)2.17O(1)1.76O(1)2.03
O(n^1)0.5O(n^1)4.55O(n^2)1.99O(n^1)4.92
MAYBE295.15MAYBE11.22O(n^1)3.14O(n^1)6.97
O(n^1)9.39O(n^1)18.02O(n^2)2.09O(n^1)18.4
TIMEOUT300MAYBE2.95TIMEOUT300TIMEOUT300
O(n^1)295.15EXP7.77O(n^2)2.34O(n^2)8.32
MAYBE296.26MAYBE7.76O(n^1)3.17O(n^1)6.13
MAYBE20.4MAYBE299.94TIMEOUT300TIMEOUT300
TIMEOUT300MAYBE2.78TIMEOUT300TIMEOUT300
MAYBE113.54MAYBE10.62TIMEOUT300TIMEOUT300
MAYBE297.1MAYBE2.1TIMEOUT300TIMEOUT300
MAYBE12.73MAYBE2.59TIMEOUT300TIMEOUT300
O(n^2)52.76MAYBE2.7TIMEOUT300TIMEOUT300
O(1)0.31O(1)2.14O(1)1.8O(1)1.94
MAYBE295.05MAYBE2.67TIMEOUT300TIMEOUT300
MAYBE295.15MAYBE10.13O(n^1)2.69O(n^1)6.41
MAYBE32.74MAYBE2.99TIMEOUT300TIMEOUT300
MAYBE1.69MAYBE9.86MAYBE4.55MAYBE4.69
MAYBE295.15MAYBE7.77O(n^1)2.5O(n^1)5.21
MAYBE295.13MAYBE13.36MAYBE123.13MAYBE121.91
O(n^1)7.04MAYBE13.62O(n^1)2.22O(n^1)5.98
MAYBE298.0MAYBE11.27O(n^1)4.9O(n^1)9.86
O(n^1)0.74O(n^1)10.73O(n^1)2.08O(n^1)10.58
TIMEOUT300MAYBE8.54TIMEOUT300TIMEOUT300
O(n^2)21.35MAYBE44.62O(n^2)3.01O(n^2)16.71
O(n^1)161.51MAYBE10.16O(n^1)2.14O(n^1)4.94
O(n^1)0.4O(n^1)4.37O(n^1)2.0O(n^1)4.53
O(n^1)0.62O(n^1)3.8O(n^1)1.96O(n^1)4.06
MAYBE7.1MAYBE9.05MAYBE5.09MAYBE7.37
O(n^1)295.11MAYBE2.15TIMEOUT300TIMEOUT300
MAYBE187.34MAYBE2.5TIMEOUT300TIMEOUT300
TIMEOUT300MAYBE3.07TIMEOUT300TIMEOUT300
MAYBE295.1MAYBE2.34TIMEOUT300TIMEOUT300
O(n^1)295.24MAYBE2.11TIMEOUT300TIMEOUT300
MAYBE184.84MAYBE2.98TIMEOUT300TIMEOUT300
O(n^3)121.59MAYBE2.87TIMEOUT300TIMEOUT300
MAYBE295.9MAYBE2.78TIMEOUT300TIMEOUT300
MAYBE296.31MAYBE2.35TIMEOUT300TIMEOUT300
O(n^1)0.79O(n^1)16.97O(n^1)2.43O(n^1)17.21
TIMEOUT300MAYBE3.41TIMEOUT300TIMEOUT300
O(1)0.53O(1)2.32O(1)1.94O(1)2.08
MAYBE296.27MAYBE6.22O(n^1)3.41O(n^1)4.53
O(n^1)6.96O(n^1)2.46O(n^1)2.27O(n^1)2.56
TIMEOUT300MAYBE3.34TIMEOUT300TIMEOUT300
MAYBE6.54MAYBE20.43MAYBE60.57MAYBE61.66
O(n^1)295.14MAYBE6.73O(n^1)2.87O(n^1)5.36
O(n^1)0.51O(n^1)4.54O(n^1)2.2O(n^1)4.86
MAYBE295.14MAYBE2.32TIMEOUT300TIMEOUT300
O(n^1)0.69O(1)2.15O(1)2.2O(1)2.31
O(n^1)0.88O(1)2.21O(1)2.28O(1)2.38
MAYBE295.87MAYBE6.72O(n^1)3.77O(n^1)5.4
O(n^1)0.76O(n^1)13.36O(n^2)2.2O(n^1)13.28
TIMEOUT300MAYBE2.9TIMEOUT300TIMEOUT300
O(n^3)35.47O(n^3)7.66TIMEOUT300O(n^3)300
O(n^3)41.49O(n^3)11.41TIMEOUT300O(n^3)300
MAYBE295.54MAYBE10.6O(n^1)5.03O(n^1)10.05
O(n^1)8.07O(n^1)14.61O(n^1)2.04O(n^1)14.92
TIMEOUT300MAYBE238.55TIMEOUT300TIMEOUT300
O(n^1)23.9O(n^1)18.32O(n^1)2.11O(n^1)18.09
MAYBE295.85MAYBE2.74TIMEOUT300TIMEOUT300
MAYBE298.51TIMEOUT300TIMEOUT300TIMEOUT300
MAYBE296.3MAYBE2.97TIMEOUT300TIMEOUT300
MAYBE295.25MAYBE3.89TIMEOUT300TIMEOUT300
MAYBE295.11TIMEOUT300TIMEOUT300TIMEOUT300
MAYBE295.45TIMEOUT300TIMEOUT300TIMEOUT300
MAYBE295.23MAYBE299.99TIMEOUT300TIMEOUT300
MAYBE295.78MAYBE299.96TIMEOUT300TIMEOUT300
MAYBE295.25MAYBE2.16O(n^1)300TIMEOUT300
MAYBE159.93MAYBE3.29TIMEOUT300TIMEOUT300
TIMEOUT300MAYBE2.49TIMEOUT300TIMEOUT300
MAYBE295.63MAYBE2.37O(n^1)300TIMEOUT300
MAYBE295.1MAYBE299.86TIMEOUT300TIMEOUT300
MAYBE295.92MAYBE8.2TIMEOUT300TIMEOUT300
MAYBE295.19MAYBE14.86TIMEOUT300TIMEOUT300
MAYBE43.16MAYBE3.22TIMEOUT300TIMEOUT300
O(n^1)295.07MAYBE1.99TIMEOUT300TIMEOUT300
MAYBE295.07MAYBE9.73MAYBE68.08MAYBE71.98
MAYBE295.1MAYBE2.34TIMEOUT300TIMEOUT300
O(n^1)295.17MAYBE2.0O(n^1)300O(n^1)300
MAYBE295.14MAYBE27.39TIMEOUT300MAYBE299.87
MAYBE295.95MAYBE2.66TIMEOUT300TIMEOUT300
MAYBE295.4MAYBE15.87O(n^1)23.79O(n^1)27.3
MAYBE295.45TIMEOUT300TIMEOUT300TIMEOUT300
MAYBE296.45TIMEOUT300TIMEOUT300TIMEOUT300
MAYBE295.71MAYBE22.27O(n^1)107.82O(n^1)133.46
MAYBE295.22TIMEOUT300TIMEOUT300TIMEOUT300
MAYBE295.33TIMEOUT300TIMEOUT300TIMEOUT300
MAYBE295.19TIMEOUT300TIMEOUT300TIMEOUT300
MAYBE295.23TIMEOUT300TIMEOUT300TIMEOUT300
MAYBE295.17MAYBE10.37O(n^1)11.34O(n^1)12.39
MAYBE295.67TIMEOUT300TIMEOUT300TIMEOUT300
MAYBE299.84MAYBE35.34TIMEOUT300TIMEOUT300
MAYBE295.2MAYBE13.02O(n^1)22.39O(n^1)24.96
MAYBE295.19MAYBE299.98TIMEOUT300TIMEOUT300
MAYBE295.2TIMEOUT300TIMEOUT300TIMEOUT300
MAYBE295.2MAYBE299.97TIMEOUT300TIMEOUT300
TIMEOUT300TIMEOUT300TIMEOUT300TIMEOUT300
MAYBE296.66MAYBE11.44O(n^1)5.63O(n^1)11.65
TIMEOUT300MAYBE23.45O(n^1)2.46O(n^1)19.59
MAYBE295.89MAYBE299.95TIMEOUT300TIMEOUT300
MAYBE295.45MAYBE11.43O(n^1)15.24O(n^1)15.83
MAYBE298.46TIMEOUT300TIMEOUT300TIMEOUT300
TIMEOUT300MAYBE299.94TIMEOUT300TIMEOUT300
O(n^1)295.22MAYBE250.91O(n^1)2.51O(n^1)252.5
O(n^1)299.62MAYBE110.82O(n^1)2.2O(n^1)35.45
MAYBE296.4MAYBE9.69O(n^1)7.43O(n^1)9.52
MAYBE296.16MAYBE9.8TIMEOUT300TIMEOUT300
MAYBE295.84MAYBE11.52TIMEOUT300TIMEOUT300
MAYBE295.28MAYBE11.25O(n^1)12.34O(n^1)17.25
MAYBE295.82O(n^3)30.79TIMEOUT300O(n^3)300
MAYBE295.22MAYBE161.29TIMEOUT300TIMEOUT300
O(n^2)295.84O(n^2)10.12TIMEOUT300O(n^2)300
MAYBE295.57MAYBE299.95TIMEOUT300TIMEOUT300
MAYBE295.77MAYBE6.27O(n^1)3.92O(n^1)5.02
O(n^2)39.22MAYBE2.97TIMEOUT300TIMEOUT300
TIMEOUT300MAYBE3.11TIMEOUT300TIMEOUT300
MAYBE295.78MAYBE8.14O(n^1)6.21O(n^1)7.9
O(n^2)300O(n^2)2.9O(n^2)6.29O(n^2)8.71
MAYBE300MAYBE7.64TIMEOUT300TIMEOUT300
O(n^1)6.73O(n^1)4.82O(n^1)3.39O(n^1)8.64
O(n^1)8.67MAYBE6.98TIMEOUT300TIMEOUT300
MAYBE295.11MAYBE8.13O(n^1)2.76O(n^1)6.18
O(n^2)2.08O(n^2)5.65O(n^2)2.15O(n^2)6.02
MAYBE295.21MAYBE2.44TIMEOUT300TIMEOUT300
MAYBE295.17MAYBE6.01O(n^1)3.86O(n^1)4.91
O(n^2)298.11O(n^2)7.78O(n^2)3.78O(n^2)9.92
TIMEOUT300MAYBE28.37TIMEOUT300TIMEOUT300
MAYBE295.28MAYBE3.21TIMEOUT300TIMEOUT300
MAYBE297.26TIMEOUT300TIMEOUT300TIMEOUT300
MAYBE297.45MAYBE4.52TIMEOUT300TIMEOUT300
MAYBE295.18MAYBE4.8TIMEOUT300TIMEOUT300
MAYBE295.39TIMEOUT300TIMEOUT300TIMEOUT300
MAYBE295.28TIMEOUT300TIMEOUT300TIMEOUT300
MAYBE295.3TIMEOUT300TIMEOUT300TIMEOUT300
MAYBE296.33TIMEOUT300TIMEOUT300TIMEOUT300
MAYBE296.0MAYBE2.28TIMEOUT300TIMEOUT300
TIMEOUT300MAYBE5.7TIMEOUT300TIMEOUT300
TIMEOUT300MAYBE2.94TIMEOUT300TIMEOUT300
MAYBE295.86MAYBE2.89TIMEOUT300TIMEOUT300
MAYBE295.68TIMEOUT300TIMEOUT300TIMEOUT300
TIMEOUT300MAYBE26.18TIMEOUT300TIMEOUT300
MAYBE243.59MAYBE17.08TIMEOUT300TIMEOUT300
MAYBE69.29MAYBE5.27TIMEOUT300TIMEOUT300
O(n^1)295.54MAYBE2.0O(n^1)300O(n^1)299.89
MAYBE295.86MAYBE2.48TIMEOUT300TIMEOUT300
MAYBE294.69MAYBE2.52TIMEOUT300TIMEOUT300
MAYBE296.14MAYBE2.28TIMEOUT300TIMEOUT300
MAYBE202.91MAYBE299.88TIMEOUT300TIMEOUT300
MAYBE297.24MAYBE3.14TIMEOUT300TIMEOUT300
MAYBE272.27MAYBE299.92TIMEOUT300TIMEOUT300
MAYBE295.27MAYBE21.14TIMEOUT300TIMEOUT300
MAYBE295.2MAYBE13.01O(n^1)9.81O(n^1)13.59
MAYBE294.95MAYBE300.0TIMEOUT300TIMEOUT300
MAYBE298.44MAYBE299.86TIMEOUT300TIMEOUT300
MAYBE294.41MAYBE15.23O(n^1)15.9O(n^1)20.95
O(n^3)291.34TIMEOUT300TIMEOUT300TIMEOUT300
TIMEOUT300MAYBE300.0TIMEOUT300TIMEOUT300
MAYBE295.26MAYBE3.06TIMEOUT300TIMEOUT300
O(n^2)217.36MAYBE299.99TIMEOUT300TIMEOUT300
MAYBE295.21TIMEOUT300TIMEOUT300TIMEOUT300
O(n^1)297.18MAYBE10.98O(n^1)3.05O(n^1)7.42
O(n^2)98.98MAYBE13.71TIMEOUT300TIMEOUT300
MAYBE300MAYBE5.14TIMEOUT300TIMEOUT300
O(n^1)296.08MAYBE10.64O(n^1)5.6O(n^1)8.45
O(n^2)23.31MAYBE299.93O(n^2)8.14O(n^2)299.94
TIMEOUT300MAYBE86.92TIMEOUT300TIMEOUT300
MAYBE31.14MAYBE2.46TIMEOUT300TIMEOUT300
O(n^1)9.7MAYBE6.04O(n^1)3.65O(n^1)8.64
O(n^1)41.75MAYBE17.21TIMEOUT300TIMEOUT300
O(n^1)295.09MAYBE7.95O(n^1)2.49O(n^1)5.92
MAYBE300MAYBE2.51TIMEOUT300TIMEOUT300
O(n^1)295.58MAYBE7.64O(n^1)2.71O(n^1)5.61
MAYBE298.95MAYBE2.53TIMEOUT300TIMEOUT300
MAYBE296.67MAYBE6.96O(n^1)4.2O(n^1)6.01
MAYBE295.2MAYBE6.41TIMEOUT300TIMEOUT300
MAYBE296.7MAYBE2.98TIMEOUT300TIMEOUT300
MAYBE296.15MAYBE9.91O(n^1)9.32O(n^1)11.01
O(n^3)295.34O(n^3)22.65TIMEOUT300O(n^3)300
MAYBE297.68MAYBE299.95TIMEOUT300TIMEOUT300
O(n^2)299.63O(n^2)6.42TIMEOUT300O(n^2)300
MAYBE295.5MAYBE299.83TIMEOUT300TIMEOUT300
MAYBE295.37MAYBE9.21O(n^1)3.38O(n^1)7.18
O(n^2)23.05MAYBE2.65TIMEOUT300TIMEOUT300
MAYBE255.46MAYBE2.24TIMEOUT300TIMEOUT300
MAYBE296.26MAYBE5.78O(n^1)3.38O(n^1)4.44
O(n^2)12.55O(n^2)3.18O(n^2)4.45O(n^2)5.93
TIMEOUT300MAYBE5.22TIMEOUT300TIMEOUT300
O(n^1)1.56O(n^1)3.93O(n^1)2.85O(n^1)6.75
O(n^1)5.18MAYBE4.11TIMEOUT300TIMEOUT300
O(n^1)295.15MAYBE6.51O(n^1)2.54O(n^1)4.81
O(n^1)0.86O(n^1)4.3O(n^1)1.85O(n^1)4.33
MAYBE58.11MAYBE2.35TIMEOUT300TIMEOUT300
O(n^1)298.24MAYBE7.23O(n^1)3.13O(n^1)5.33
O(n^1)7.05O(n^1)5.18O(n^1)2.22O(n^1)5.51
MAYBE122.68MAYBE2.79TIMEOUT300TIMEOUT300
O(1)0.64O(1)2.74O(1)1.9O(1)2.25
O(1)58.36O(1)2.79O(1)1.91O(1)2.09
O(n^3)295.4O(n^2)10.58O(n^2)4.14O(n^2)13.34
MAYBE5.33MAYBE12.81O(1)3.13O(1)3.95
MAYBE295.14MAYBE1.95TIMEOUT300TIMEOUT300
MAYBE295.1MAYBE1.97TIMEOUT300TIMEOUT300
O(n^2)295.36MAYBE2.29O(n^2)8.51O(n^2)11.41
O(n^1)62.64O(n^1)3.48O(n^1)2.02O(n^1)3.65
O(n^1)118.57O(n^1)2.97O(n^1)1.99O(n^1)2.97
O(n^1)6.2MAYBE12.2O(n^1)2.27O(n^1)4.74
O(n^1)0.47MAYBE36.32O(n^1)2.03O(n^1)6.22
O(n^2)11.45MAYBE2.2O(n^1)300O(n^1)299.9
O(n^1)295.15MAYBE2.1O(n^1)72.5O(n^1)73.95
O(n^1)295.14MAYBE2.1O(n^1)258.32O(n^1)259.55
MAYBE7.06MAYBE2.17TIMEOUT300TIMEOUT300
MAYBE10.3MAYBE2.08MAYBE7.31MAYBE7.41
MAYBE8.87MAYBE2.05MAYBE7.25MAYBE7.38
MAYBE9.05MAYBE2.09MAYBE67.74MAYBE77.81
MAYBE295.13MAYBE41.78TIMEOUT300TIMEOUT300
MAYBE295.13MAYBE40.42TIMEOUT300TIMEOUT300
MAYBE295.04MAYBE41.32TIMEOUT300TIMEOUT300
MAYBE295.11MAYBE40.62TIMEOUT300TIMEOUT300
MAYBE295.06MAYBE41.21TIMEOUT300TIMEOUT300
MAYBE295.14MAYBE40.46TIMEOUT300TIMEOUT300
TIMEOUT300MAYBE41.81TIMEOUT300TIMEOUT300
MAYBE295.17MAYBE41.58O(n^1)300O(n^1)300
MAYBE295.2MAYBE40.48TIMEOUT300TIMEOUT300
O(n^1)2.07O(n^1)2.85O(n^1)2.03O(n^1)2.85
MAYBE6.3MAYBE16.4TIMEOUT300TIMEOUT300
MAYBE39.87O(n^1)2.82O(n^1)1.9O(n^1)2.92