[next] [prev] [prev-tail] [tail] [up]

2.2.3 Integrals 201 to 300

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 7 7 7 6 6 3 6 6

N.S.

1 0.54 0.54 0.54 0.46 0.46 0.23 0.46 0.46

time (sec)

N/A 0.128 0.001 0.029 0.177 0.245 0.027 0.244 0.028

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 24 24 24 23 23 24 23 23

N.S.

1 1.26 1.26 1.26 1.21 1.21 1.26 1.21 1.21

time (sec)

N/A 0.496 1.097 0.092 0.177 0.249 0.078 0.250 8.219

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

N/A N/A Yes Yes TBD TBD TBD TBD TBD

size

26 0 24 21 22 22 19 27 28

N.S.

1 0.00 0.92 0.81 0.85 0.85 0.73 1.04 1.08

time (sec)

N/A 0.000 0.219 0.110 0.220 0.243 0.099 0.250 8.316

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 37 38 35 34 31 32 37 31

N.S.

1 1.32 1.36 1.25 1.21 1.11 1.14 1.32 1.11

time (sec)

N/A 0.491 0.040 0.082 0.173 0.238 0.961 0.255 7.811

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B B B B B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 64 41 59 172 77 61 0 28

N.S.

1 3.37 2.16 3.11 9.05 4.05 3.21 0.00 1.47

time (sec)

N/A 0.762 0.077 0.111 0.230 0.258 0.127 0.000 8.222

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 12 13 15 12 15 12 13

N.S.

1 1.00 0.92 1.00 1.15 0.92 1.15 0.92 1.00

time (sec)

N/A 0.137 0.004 0.236 0.177 0.245 0.061 0.255 0.095

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A B C B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 186 42 82 165 82 83 112 74

N.S.

1 8.45 1.91 3.73 7.50 3.73 3.77 5.09 3.36

time (sec)

N/A 1.127 2.077 0.111 0.254 0.246 0.062 0.264 8.080

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 18 19 13 16 15 10 16 16

N.S.

1 0.82 0.86 0.59 0.73 0.68 0.45 0.73 0.73

time (sec)

N/A 0.166 0.009 0.373 0.178 0.242 0.028 0.256 0.042

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 26 26 24 23 29 20 39 37

N.S.

1 0.93 0.93 0.86 0.82 1.04 0.71 1.39 1.32

time (sec)

N/A 0.554 0.208 0.117 0.249 0.251 0.093 0.270 0.290

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 23 23 22 23 23 24 23 26

N.S.

1 1.21 1.21 1.16 1.21 1.21 1.26 1.21 1.37

time (sec)

N/A 0.197 0.010 0.039 0.190 0.251 0.053 0.245 0.231

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F(-2) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 34 53 37 45 34 0 51 0

N.S.

1 1.31 2.04 1.42 1.73 1.31 0.00 1.96 0.00

time (sec)

N/A 1.881 0.083 1.429 0.242 0.269 0.000 0.339 0.000

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

N/A N/A Yes Yes TBD TBD TBD TBD TBD

size

21 0 24 21 24 24 20 26 34

N.S.

1 0.00 1.14 1.00 1.14 1.14 0.95 1.24 1.62

time (sec)

N/A 0.000 0.276 0.509 0.217 0.249 0.098 0.295 8.421

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 29 20 20 19 23 17 25 23

N.S.

1 1.38 0.95 0.95 0.90 1.10 0.81 1.19 1.10

time (sec)

N/A 0.506 0.137 0.088 0.238 0.259 0.080 0.261 8.453

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 36 31 29 28 28 31 0 32

N.S.

1 1.20 1.03 0.97 0.93 0.93 1.03 0.00 1.07

time (sec)

N/A 1.889 0.153 3.132 0.319 0.270 0.584 0.000 8.416

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

N/A N/A Yes Yes TBD TBD TBD TBD TBD

size

25 0 23 22 22 21 20 21 24

N.S.

1 0.00 0.92 0.88 0.88 0.84 0.80 0.84 0.96

time (sec)

N/A 0.000 0.373 0.896 0.275 0.277 0.108 0.275 7.770

Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 19 19 10 11 11 8 13 8

N.S.

1 1.36 1.36 0.71 0.79 0.79 0.57 0.93 0.57

time (sec)

N/A 0.152 0.005 0.367 0.192 0.242 0.044 0.256 0.135

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 12 13 14 16 13 12 16 11

N.S.

1 0.41 0.45 0.48 0.55 0.45 0.41 0.55 0.38

time (sec)

N/A 0.143 0.010 0.051 0.194 0.241 0.039 0.278 0.073

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

N/A N/A Yes Yes TBD TBD TBD TBD TBD

size

26 0 19 20 19 19 15 19 18

N.S.

1 0.00 0.73 0.77 0.73 0.73 0.58 0.73 0.69

time (sec)

N/A 0.000 0.787 0.888 0.228 0.237 0.072 0.275 7.481

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 23 23 21 18 19 22 18 19

N.S.

1 0.82 0.82 0.75 0.64 0.68 0.79 0.64 0.68

time (sec)

N/A 0.179 0.008 0.047 0.181 0.236 0.045 0.258 0.051

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A C B A F(-1) F B

verified

N/A N/A Yes No TBD TBD TBD TBD TBD

size

28 0 51 281 52 50 0 0 50

N.S.

1 0.00 1.82 10.04 1.86 1.79 0.00 0.00 1.79

time (sec)

N/A 0.000 0.324 0.128 0.680 0.249 0.000 0.000 8.427

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A B B A B F B

verified

N/A N/A Yes Yes TBD TBD TBD TBD TBD

size

30 0 54 54 62 54 56 0 57

N.S.

1 0.00 1.80 1.80 2.07 1.80 1.87 0.00 1.90

time (sec)

N/A 0.000 0.133 1.052 0.343 0.249 0.179 0.000 8.157

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A F(-2) A B

verified

N/A N/A Yes Yes TBD TBD TBD TBD TBD

size

22 0 20 21 21 21 0 28 20

N.S.

1 0.00 0.91 0.95 0.95 0.95 0.00 1.27 0.91

time (sec)

N/A 0.000 0.250 2.087 0.301 0.257 0.000 0.339 8.371

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 39 35 35 30 47 32 33 32

N.S.

1 1.22 1.09 1.09 0.94 1.47 1.00 1.03 1.00

time (sec)

N/A 0.354 0.024 0.058 0.183 0.227 0.080 0.256 0.103

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 12 12 13 19 19 8 12 12

N.S.

1 0.80 0.80 0.87 1.27 1.27 0.53 0.80 0.80

time (sec)

N/A 0.512 0.081 0.119 0.212 0.243 0.040 0.280 8.244

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 20 20 16 22 20 17 20 18

N.S.

1 0.74 0.74 0.59 0.81 0.74 0.63 0.74 0.67

time (sec)

N/A 0.192 0.126 0.063 0.213 0.249 0.061 0.256 0.089

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

N/A N/A Yes Yes TBD TBD TBD TBD TBD

size

27 0 34 32 42 33 29 34 37

N.S.

1 0.00 1.26 1.19 1.56 1.22 1.07 1.26 1.37

time (sec)

N/A 0.000 0.397 0.364 0.305 0.245 0.223 0.262 8.338

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 6 6 5 4 4 3 5 4

N.S.

1 0.33 0.33 0.28 0.22 0.22 0.17 0.28 0.22

time (sec)

N/A 0.122 0.000 0.016 0.180 0.235 0.023 0.260 7.685

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 22 16 15 14 18 14 14 14

N.S.

1 0.92 0.67 0.62 0.58 0.75 0.58 0.58 0.58

time (sec)

N/A 0.198 0.013 0.091 0.234 0.241 0.068 0.260 0.115

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 21 21 14 9 14 7 16 11

N.S.

1 1.75 1.75 1.17 0.75 1.17 0.58 1.33 0.92

time (sec)

N/A 0.155 0.016 0.028 0.217 0.262 0.034 0.262 0.071

Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 34 33 27 27 27 26 30 24

N.S.

1 1.36 1.32 1.08 1.08 1.08 1.04 1.20 0.96

time (sec)

N/A 0.258 0.015 0.056 0.192 0.229 0.141 0.267 0.131

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 193 33 41 395 40 32 36 43

N.S.

1 6.89 1.18 1.46 14.11 1.43 1.14 1.29 1.54

time (sec)

N/A 1.112 0.037 0.119 0.202 0.240 0.101 0.291 7.872

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A C A A F(-1) F F(-1)

verified

N/A N/A Yes No TBD TBD TBD TBD TBD

size

25 0 24 627 33 24 0 0 0

N.S.

1 0.00 0.96 25.08 1.32 0.96 0.00 0.00 0.00

time (sec)

N/A 0.000 5.126 0.090 0.326 0.245 0.000 0.000 0.000

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 22 18 22 27 19 17 21 16

N.S.

1 0.88 0.72 0.88 1.08 0.76 0.68 0.84 0.64

time (sec)

N/A 0.230 0.042 0.052 0.221 0.247 0.065 0.274 0.078

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 13 11 9 8 8 7 8 8

N.S.

1 0.72 0.61 0.50 0.44 0.44 0.39 0.44 0.44

time (sec)

N/A 0.138 0.002 0.031 0.187 0.245 0.031 0.262 7.539

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A F(-1) A A A A B

verified

N/A N/A Yes N/A TBD TBD TBD TBD TBD

size

25 0 24 0 21 21 20 21 21

N.S.

1 0.00 0.96 0.00 0.84 0.84 0.80 0.84 0.84

time (sec)

N/A 0.000 0.478 180.000 0.261 0.251 0.436 0.334 7.817

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 25 25 23 25 22 22 24 21

N.S.

1 1.14 1.14 1.05 1.14 1.00 1.00 1.09 0.95

time (sec)

N/A 1.369 0.312 0.212 0.269 0.261 0.097 0.260 8.672

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

7 5 5 5 4 4 3 4 4

N.S.

1 0.71 0.71 0.71 0.57 0.57 0.43 0.57 0.57

time (sec)

N/A 0.139 0.015 0.064 0.213 0.233 0.040 0.255 0.019

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 69 81 28 60 60 71 60 67

N.S.

1 3.14 3.68 1.27 2.73 2.73 3.23 2.73 3.05

time (sec)

N/A 0.208 0.018 0.085 0.215 0.242 0.036 0.245 7.868

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F F A A A A A B

verified

N/A N/A N/A Yes TBD TBD TBD TBD TBD

size

20 0 0 21 28 28 26 20 78

N.S.

1 0.00 0.00 1.05 1.40 1.40 1.30 1.00 3.90

time (sec)

N/A 0.000 0.000 0.269 0.361 0.249 0.345 0.265 8.513

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A F A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 223 27 28 0 39 37 0 49

N.S.

1 7.43 0.90 0.93 0.00 1.30 1.23 0.00 1.63

time (sec)

N/A 7.408 0.309 0.494 0.000 0.245 2.304 0.000 7.978

Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B B B F B

verified

N/A N/A Yes Yes TBD TBD TBD TBD TBD

size

30 0 29 49 76 51 63 0 39

N.S.

1 0.00 0.97 1.63 2.53 1.70 2.10 0.00 1.30

time (sec)

N/A 0.000 5.047 0.049 0.370 0.244 0.105 0.000 8.296

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A B B A A B B

verified

N/A N/A Yes Yes TBD TBD TBD TBD TBD

size

24 0 24 60 125 27 22 129 29

N.S.

1 0.00 1.00 2.50 5.21 1.12 0.92 5.38 1.21

time (sec)

N/A 0.000 0.367 1.092 0.339 0.255 0.268 0.323 9.443

Problem 243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 21 21 14 16 16 17 16 18

N.S.

1 0.95 0.95 0.64 0.73 0.73 0.77 0.73 0.82

time (sec)

N/A 0.146 0.006 0.010 0.207 0.235 0.020 0.252 0.109

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 17 17 18 23 26 14 17 17

N.S.

1 0.85 0.85 0.90 1.15 1.30 0.70 0.85 0.85

time (sec)

N/A 0.339 0.090 0.027 0.251 0.236 0.045 0.252 7.782

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C C A B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 505 917 35 1585 32 37 1159 20

N.S.

1 21.96 39.87 1.52 68.91 1.39 1.61 50.39 0.87

time (sec)

N/A 1.936 1.463 0.569 0.441 0.262 0.546 0.297 9.671

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 31 30 26 24 24 27 25 30

N.S.

1 0.89 0.86 0.74 0.69 0.69 0.77 0.71 0.86

time (sec)

N/A 0.306 0.058 0.034 0.185 0.258 0.065 0.291 0.142

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 31 22 32 25 31 29 25 29

N.S.

1 1.19 0.85 1.23 0.96 1.19 1.12 0.96 1.12

time (sec)

N/A 0.418 0.104 0.026 0.321 0.235 0.069 0.267 7.727

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 26 33 18 17 26 17 26 17

N.S.

1 1.08 1.38 0.75 0.71 1.08 0.71 1.08 0.71

time (sec)

N/A 0.554 1.209 0.157 0.215 0.239 0.076 0.262 8.178

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 19 17 16 23 19 15 15 15

N.S.

1 0.83 0.74 0.70 1.00 0.83 0.65 0.65 0.65

time (sec)

N/A 0.288 0.091 0.022 0.216 0.232 0.040 0.256 8.024

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 32 25 18 34 17 20 21 21

N.S.

1 1.28 1.00 0.72 1.36 0.68 0.80 0.84 0.84

time (sec)

N/A 0.252 0.178 0.058 0.237 0.234 0.123 0.261 8.342

Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 27 27 24 23 27 27 24 23

N.S.

1 0.96 0.96 0.86 0.82 0.96 0.96 0.86 0.82

time (sec)

N/A 0.179 0.005 0.012 0.194 0.226 0.035 0.256 0.032

Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 19 18 18 14 18 18

N.S.

1 1.00 1.00 1.12 1.06 1.06 0.82 1.06 1.06

time (sec)

N/A 0.406 0.031 0.059 0.340 0.237 0.086 0.327 0.488

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B B B B B B F(-1)

verified

N/A N/A Yes Yes TBD TBD TBD TBD TBD

size

31 0 69 60 726 253 316 552 0

N.S.

1 0.00 2.23 1.94 23.42 8.16 10.19 17.81 0.00

time (sec)

N/A 0.000 0.687 64.350 1.818 0.258 0.676 0.899 0.000

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B F A A A B A B

verified

N/A Yes N/A Yes TBD TBD TBD TBD TBD

size

29 63 0 49 52 48 60 50 59

N.S.

1 2.17 0.00 1.69 1.79 1.66 2.07 1.72 2.03

time (sec)

N/A 0.513 0.000 14.444 0.435 0.237 1.732 0.397 8.784

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F(-2) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 32 32 68 40 67 0 85 68

N.S.

1 1.45 1.45 3.09 1.82 3.05 0.00 3.86 3.09

time (sec)

N/A 6.004 0.143 39.349 0.356 0.238 0.000 39.478 9.017

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F F A B B F(-2) B F(-1)

verified

N/A N/A N/A Yes TBD TBD TBD TBD TBD

size

30 0 0 49 62 69 0 96 0

N.S.

1 0.00 0.00 1.63 2.07 2.30 0.00 3.20 0.00

time (sec)

N/A 0.000 0.000 0.227 0.355 0.235 0.000 0.273 0.000

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 84 43 64 170 59 71 91 61

N.S.

1 3.82 1.95 2.91 7.73 2.68 3.23 4.14 2.77

time (sec)

N/A 0.549 2.032 0.034 0.208 0.230 0.101 0.261 7.953

Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 22 19 20 55 19 19 19 15

N.S.

1 1.16 1.00 1.05 2.89 1.00 1.00 1.00 0.79

time (sec)

N/A 0.675 2.260 0.813 0.290 0.229 0.250 0.287 8.657

Problem 259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 31 31 33 40 30 32 52 22

N.S.

1 1.41 1.41 1.50 1.82 1.36 1.45 2.36 1.00

time (sec)

N/A 0.172 0.006 0.037 0.213 0.253 0.080 0.283 7.554

Problem 260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A B B B B B F(-1)

verified

N/A N/A Yes Yes TBD TBD TBD TBD TBD

size

26 0 43 64 100 100 48 121 0

N.S.

1 0.00 1.65 2.46 3.85 3.85 1.85 4.65 0.00

time (sec)

N/A 0.000 10.150 0.106 0.474 0.243 0.313 0.555 0.000

Problem 261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A B F(-1)

verified

N/A N/A Yes Yes TBD TBD TBD TBD TBD

size

28 0 27 30 26 28 17 67 0

N.S.

1 0.00 0.96 1.07 0.93 1.00 0.61 2.39 0.00

time (sec)

N/A 0.000 5.096 165.606 0.396 0.248 0.200 0.278 0.000

Problem 262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 15 17 15 14 21 12 14 14

N.S.

1 0.75 0.85 0.75 0.70 1.05 0.60 0.70 0.70

time (sec)

N/A 0.207 0.013 0.047 0.182 0.234 0.060 0.264 8.580

Problem 263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 25 25 24 23 23 20 23 23

N.S.

1 1.09 1.09 1.04 1.00 1.00 0.87 1.00 1.00

time (sec)

N/A 0.671 0.177 0.095 0.223 0.254 0.137 0.283 8.277

Problem 264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F F A B A A A B

verified

N/A N/A N/A Yes TBD TBD TBD TBD TBD

size

18 0 0 20 76 19 19 19 19

N.S.

1 0.00 0.00 1.11 4.22 1.06 1.06 1.06 1.06

time (sec)

N/A 0.000 0.000 0.690 0.327 0.240 0.156 0.807 8.103

Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 24 22 19 28 22 20 22 19

N.S.

1 0.89 0.81 0.70 1.04 0.81 0.74 0.81 0.70

time (sec)

N/A 0.210 0.067 0.044 0.232 0.238 0.055 0.260 7.895

Problem 266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 19 20 19 19 15 17 19 19

N.S.

1 1.12 1.18 1.12 1.12 0.88 1.00 1.12 1.12

time (sec)

N/A 0.169 0.002 0.020 0.183 0.238 0.074 0.262 7.996

Problem 267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 37 23 28 63 19 44 19 20

N.S.

1 1.37 0.85 1.04 2.33 0.70 1.63 0.70 0.74

time (sec)

N/A 0.713 0.712 0.102 0.318 0.229 0.179 0.272 0.261

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

N/A N/A Yes Yes TBD TBD TBD TBD TBD

size

21 0 22 24 35 28 19 29 28

N.S.

1 0.00 1.05 1.14 1.67 1.33 0.90 1.38 1.33

time (sec)

N/A 0.000 0.291 0.070 0.229 0.235 0.071 0.265 8.494

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 21 21 20 0 29 17 35 19

N.S.

1 0.72 0.72 0.69 0.00 1.00 0.59 1.21 0.66

time (sec)

N/A 0.343 0.253 0.069 0.000 0.247 0.085 0.261 0.146

Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 304 34 32 443 34 26 41 29

N.S.

1 10.86 1.21 1.14 15.82 1.21 0.93 1.46 1.04

time (sec)

N/A 1.351 0.118 0.131 0.331 0.244 0.467 0.273 8.710

Problem 271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A F B

verified

N/A N/A Yes Yes TBD TBD TBD TBD TBD

size

31 0 28 31 30 30 26 0 30

N.S.

1 0.00 0.90 1.00 0.97 0.97 0.84 0.00 0.97

time (sec)

N/A 0.000 0.191 20.550 0.315 0.251 0.203 0.000 11.086

Problem 272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B A A A B

verified

N/A N/A Yes Yes TBD TBD TBD TBD TBD

size

21 0 27 21 42 36 17 36 37

N.S.

1 0.00 1.29 1.00 2.00 1.71 0.81 1.71 1.76

time (sec)

N/A 0.000 0.090 3.383 0.326 0.249 0.129 0.283 7.907

Problem 273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 10 10 10 9 9 8 9 11

N.S.

1 0.71 0.71 0.71 0.64 0.64 0.57 0.64 0.79

time (sec)

N/A 0.195 0.026 0.022 0.212 0.237 0.035 0.257 0.050

Problem 274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B A A A A A B

verified

N/A N/A Yes Yes TBD TBD TBD TBD TBD

size

32 0 69 33 45 32 27 51 34

N.S.

1 0.00 2.16 1.03 1.41 1.00 0.84 1.59 1.06

time (sec)

N/A 0.000 0.127 5.184 0.356 0.237 0.128 0.337 9.248

Problem 275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B A F(-2) B B

verified

N/A N/A Yes Yes TBD TBD TBD TBD TBD

size

28 0 55 30 45 41 0 79 93

N.S.

1 0.00 1.96 1.07 1.61 1.46 0.00 2.82 3.32

time (sec)

N/A 0.000 5.272 0.180 0.273 0.239 0.000 0.280 8.545

Problem 276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 17 12 13 15 11 8 11 13

N.S.

1 1.42 1.00 1.08 1.25 0.92 0.67 0.92 1.08

time (sec)

N/A 0.156 0.057 0.010 0.200 0.238 0.036 0.252 7.963

Problem 277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A B B

verified

N/A N/A Yes Yes TBD TBD TBD TBD TBD

size

25 0 20 20 19 19 17 231 17

N.S.

1 0.00 0.80 0.80 0.76 0.76 0.68 9.24 0.68

time (sec)

N/A 0.000 0.099 1.993 0.208 0.245 0.084 0.510 8.590

Problem 278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 14 10 10 12 10 10

N.S.

1 1.00 1.00 1.08 0.77 0.77 0.92 0.77 0.77

time (sec)

N/A 0.283 0.031 0.046 0.194 0.229 0.085 0.259 8.365

Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 103 27 31 589 32 49 33 54

N.S.

1 4.29 1.12 1.29 24.54 1.33 2.04 1.38 2.25

time (sec)

N/A 1.036 0.157 0.198 0.347 0.240 0.202 0.262 9.219

Problem 280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B B B B F(-2) B F(-1)

verified

N/A N/A Yes Yes TBD TBD TBD TBD TBD

size

22 0 67 68 80 62 0 92 0

N.S.

1 0.00 3.05 3.09 3.64 2.82 0.00 4.18 0.00

time (sec)

N/A 0.000 0.144 18.311 0.243 0.248 0.000 0.871 0.000

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 40 29 29 28 28 58 28 29

N.S.

1 1.82 1.32 1.32 1.27 1.27 2.64 1.27 1.32

time (sec)

N/A 0.173 0.026 0.023 0.196 0.247 0.071 0.253 0.088

Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 16 16 14 31 47 31 31 31

N.S.

1 0.89 0.89 0.78 1.72 2.61 1.72 1.72 1.72

time (sec)

N/A 4.248 0.239 0.516 0.238 0.237 0.088 0.258 9.056

Problem 283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A C A A F(-1) A B

verified

N/A N/A Yes No TBD TBD TBD TBD TBD

size

23 0 23 67 23 31 0 31 54

N.S.

1 0.00 1.00 2.91 1.00 1.35 0.00 1.35 2.35

time (sec)

N/A 0.000 0.233 0.089 0.431 0.255 0.000 1.580 10.780

Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F(-2) A F(-2) A B

verified

N/A N/A Yes Yes TBD TBD TBD TBD TBD

size

29 0 26 24 0 26 0 26 26

N.S.

1 0.00 0.90 0.83 0.00 0.90 0.00 0.90 0.90

time (sec)

N/A 0.000 2.944 1.010 0.000 0.245 0.000 0.328 10.211

Problem 285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A B A A A A B

verified

N/A N/A Yes Yes TBD TBD TBD TBD TBD

size

25 0 26 57 32 47 39 39 39

N.S.

1 0.00 1.04 2.28 1.28 1.88 1.56 1.56 1.56

time (sec)

N/A 0.000 0.323 0.896 0.244 0.254 0.254 0.330 9.395

Problem 286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F(-1) F(-2) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 49 45 62 55 60 0 0 59

N.S.

1 1.40 1.29 1.77 1.57 1.71 0.00 0.00 1.69

time (sec)

N/A 16.962 0.376 3.199 0.538 0.238 0.000 0.000 9.731

Problem 287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A F B

verified

N/A N/A Yes Yes TBD TBD TBD TBD TBD

size

28 0 28 35 38 38 34 0 41

N.S.

1 0.00 1.00 1.25 1.36 1.36 1.21 0.00 1.46

time (sec)

N/A 0.000 0.232 3.755 0.258 0.251 0.166 0.000 9.748

Problem 288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 21 21 20 21 21 20 23 19

N.S.

1 0.91 0.91 0.87 0.91 0.91 0.87 1.00 0.83

time (sec)

N/A 0.329 0.011 0.017 0.184 0.229 0.050 0.282 8.589

Problem 289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 29 29 26 25 26 26 26 24

N.S.

1 1.21 1.21 1.08 1.04 1.08 1.08 1.08 1.00

time (sec)

N/A 0.205 0.008 0.021 0.197 0.233 0.072 0.263 8.664

Problem 290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A F B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 48 39 41 0 40 49 45 45

N.S.

1 2.18 1.77 1.86 0.00 1.82 2.23 2.05 2.05

time (sec)

N/A 0.305 0.112 0.070 0.000 0.252 0.177 0.264 7.801

Problem 291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B B F(-1) F F(-1)

verified

N/A N/A Yes Yes TBD TBD TBD TBD TBD

size

24 0 35 42 94 90 0 0 0

N.S.

1 0.00 1.46 1.75 3.92 3.75 0.00 0.00 0.00

time (sec)

N/A 0.000 0.189 2.270 2.439 0.272 0.000 0.000 0.000

Problem 292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 16 17 0 13 19 30 15

N.S.

1 1.00 0.94 1.00 0.00 0.76 1.12 1.76 0.88

time (sec)

N/A 0.167 0.024 0.057 0.000 0.239 0.090 0.260 0.075

Problem 293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

N/A N/A Yes Yes TBD TBD TBD TBD TBD

size

21 0 32 17 14 14 14 14 15

N.S.

1 0.00 1.52 0.81 0.67 0.67 0.67 0.67 0.71

time (sec)

N/A 0.000 0.123 0.128 0.241 0.230 0.083 0.267 7.931

Problem 294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B F A A A A A F(-1)

verified

N/A Yes N/A Yes TBD TBD TBD TBD TBD

size

31 75 0 28 26 28 22 31 0

N.S.

1 2.42 0.00 0.90 0.84 0.90 0.71 1.00 0.00

time (sec)

N/A 2.218 0.000 0.575 0.301 0.245 0.169 0.294 0.000

Problem 295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B A B B B

verified

N/A N/A Yes Yes TBD TBD TBD TBD TBD

size

23 0 25 22 62 41 39 108 58

N.S.

1 0.00 1.09 0.96 2.70 1.78 1.70 4.70 2.52

time (sec)

N/A 0.000 5.046 0.654 0.311 0.231 0.114 0.289 8.043

Problem 296

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 6 4 5 4 4 3 5 4

N.S.

1 0.35 0.24 0.29 0.24 0.24 0.18 0.29 0.24

time (sec)

N/A 0.126 0.001 0.035 0.183 0.234 0.025 0.270 0.020

Problem 297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 31 31 23 22 22 20 22 21

N.S.

1 1.19 1.19 0.88 0.85 0.85 0.77 0.85 0.81

time (sec)

N/A 1.056 0.180 0.060 0.243 0.250 0.107 0.263 7.821

Problem 298

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B A A B B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 87 87 24 35 41 48 0 27

N.S.

1 4.83 4.83 1.33 1.94 2.28 2.67 0.00 1.50

time (sec)

N/A 1.728 0.613 0.390 0.348 0.258 0.159 0.000 8.031

Problem 299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A B A A B A F(-1)

verified

N/A N/A Yes Yes TBD TBD TBD TBD TBD

size

32 0 43 81 44 43 49 47 0

N.S.

1 0.00 1.34 2.53 1.38 1.34 1.53 1.47 0.00

time (sec)

N/A 0.000 5.174 1.349 0.307 0.249 0.271 0.849 0.000

Problem 300

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F F(-1) A A B A B B

verified

N/A N/A N/A Yes TBD TBD TBD TBD TBD

size

27 0 0 30 27 50 27 564 93

N.S.

1 0.00 0.00 1.11 1.00 1.85 1.00 20.89 3.44

time (sec)

N/A 0.000 0.000 28.827 0.353 0.247 0.253 1.059 7.758

[next] [prev] [prev-tail] [front] [up]