2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by 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 just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA and IntegrateAlgebraic to I.A.












Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A C F A A A B F

verified

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

size

77 77 143 43 0 76 60 55 51 0

N.S.

1 1.00 1.86 0.56 0.00 0.99 0.78 0.71 0.66 0.00

time (sec)

N/A 0.134 0.074 0.054 0.000 0.719 0.334 0.221 0.196 0.001






















Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A F B B F

verified

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

size

30 30 23 46 25 43 0 73 52 0

N.S.

1 1.00 0.77 1.53 0.83 1.43 0.00 2.43 1.73 0.00

time (sec)

N/A 0.018 0.105 0.012 0.489 1.030 0.000 0.196 2.132 0.076






















Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A B B B B B B F

verified

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

size

14 14 14 98 216 97 107 97 97 0

N.S.

1 1.00 1.00 7.00 15.43 6.93 7.64 6.93 6.93 0.00

time (sec)

N/A 0.007 0.001 0.003 0.686 1.289 0.088 0.254 2.073 0.000






















Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A B B B B B B F

verified

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

size

14 14 14 65 99 64 66 64 64 0

N.S.

1 1.00 1.00 4.64 7.07 4.57 4.71 4.57 4.57 0.00

time (sec)

N/A 0.007 0.001 0.001 0.657 0.750 0.079 0.375 0.028 0.000






















Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

35 35 35 32 31 31 32 31 31 0

N.S.

1 1.00 1.00 0.91 0.89 0.89 0.91 0.89 0.89 0.00

time (sec)

N/A 0.007 0.000 0.001 0.735 0.513 0.066 0.283 0.037 0.000






















Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A B A B F

verified

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

size

14 14 14 13 24 24 26 12 26 0

N.S.

1 1.00 1.00 0.93 1.71 1.71 1.86 0.86 1.86 0.00

time (sec)

N/A 0.009 0.005 0.023 0.649 0.795 0.183 0.264 0.034 0.001






















Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A B B B A B F

verified

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

size

14 14 14 13 57 57 61 12 59 0

N.S.

1 1.00 1.00 0.93 4.07 4.07 4.36 0.86 4.21 0.00

time (sec)

N/A 0.009 0.004 0.003 0.714 0.926 0.349 0.295 2.048 0.001






















Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A B B B A B F

verified

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

size

14 14 14 13 90 90 97 12 92 0

N.S.

1 1.00 1.00 0.93 6.43 6.43 6.93 0.86 6.57 0.00

time (sec)

N/A 0.008 0.003 0.005 0.538 1.110 0.543 0.392 2.069 0.001






















Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A B B B B B B F

verified

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

size

84 84 159 295 204 166 175 166 149 0

N.S.

1 1.00 1.89 3.51 2.43 1.98 2.08 1.98 1.77 0.00

time (sec)

N/A 0.125 0.025 0.002 0.676 0.951 0.101 0.273 2.077 0.000






















Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

56 56 82 84 93 83 87 83 79 0

N.S.

1 1.00 1.46 1.50 1.66 1.48 1.55 1.48 1.41 0.00

time (sec)

N/A 0.068 0.010 0.002 0.636 0.626 0.083 0.344 0.039 0.000






















Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

32 32 32 29 28 28 31 28 28 0

N.S.

1 1.00 1.00 0.91 0.88 0.88 0.97 0.88 0.88 0.00

time (sec)

N/A 0.006 0.000 0.001 0.550 0.760 0.064 0.270 0.038 0.000






















Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A C C F B A A B F

verified

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

size

188 188 63 57 0 387 53 212 174 0

N.S.

1 1.00 0.34 0.30 0.00 2.06 0.28 1.13 0.93 0.00

time (sec)

N/A 0.312 0.021 0.005 0.000 1.108 0.406 0.358 0.494 0.001






















Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A C C F B A A B F

verified

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

size

245 245 112 136 0 704 192 289 247 0

N.S.

1 1.00 0.46 0.56 0.00 2.87 0.78 1.18 1.01 0.00

time (sec)

N/A 0.249 0.066 0.020 0.000 1.104 1.225 0.357 2.645 0.001






















Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A C C F B A A B F

verified

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

size

305 305 149 276 0 1268 474 366 483 0

N.S.

1 1.00 0.49 0.90 0.00 4.16 1.55 1.20 1.58 0.00

time (sec)

N/A 0.302 0.090 0.018 0.000 1.173 2.542 0.397 2.983 0.001






















Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A B A B B B B F

verified

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

size

361 361 653 861 461 987 1018 971 787 0

N.S.

1 1.00 1.81 2.39 1.28 2.73 2.82 2.69 2.18 0.00

time (sec)

N/A 0.658 0.224 0.002 0.680 0.865 0.246 0.268 2.226 0.000






















Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

193 193 241 188 180 346 345 346 270 0

N.S.

1 1.00 1.25 0.97 0.93 1.79 1.79 1.79 1.40 0.00

time (sec)

N/A 0.231 0.086 0.002 0.625 0.832 0.135 0.415 0.084 0.000






















Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

56 56 76 51 50 62 63 54 54 0

N.S.

1 1.00 1.36 0.91 0.89 1.11 1.12 0.96 0.96 0.00

time (sec)

N/A 0.016 0.000 0.000 0.827 0.951 0.073 0.232 0.045 0.000






















Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A F(-1) A B F

verified

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

size

86 86 80 87 112 112 0 137 106 0

N.S.

1 1.00 0.93 1.01 1.30 1.30 0.00 1.59 1.23 0.00

time (sec)

N/A 0.073 0.057 0.011 0.647 12.865 0.000 0.307 2.335 0.002






















Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A B F(-1) F(-1) B B F

verified

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

size

234 234 232 398 2096 0 0 1414 1940 0

N.S.

1 1.00 0.99 1.70 8.96 0.00 0.00 6.04 8.29 0.00

time (sec)

N/A 0.405 0.552 0.026 1.539 0.000 0.000 0.392 8.176 0.001






















Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A B B F(-1) F(-1) B B F

verified

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

size

495 495 490 1076 11005 0 0 6908 82532 0

N.S.

1 1.00 0.99 2.17 22.23 0.00 0.00 13.96 166.73 0.00

time (sec)

N/A 1.462 1.192 0.034 5.723 0.000 0.000 1.103 20.456 0.001






















Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

25 25 25 20 19 19 19 20 25 0

N.S.

1 1.00 1.00 0.80 0.76 0.76 0.76 0.80 1.00 0.00

time (sec)

N/A 0.015 0.009 0.013 1.453 1.116 0.131 0.305 2.201 0.000






















Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

31 31 31 26 25 25 24 26 25 0

N.S.

1 1.00 1.00 0.84 0.81 0.81 0.77 0.84 0.81 0.00

time (sec)

N/A 0.020 0.007 0.007 1.280 1.245 0.146 0.352 0.053 0.000






















Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

10 10 10 9 8 8 8 8 8 0

N.S.

1 1.00 1.00 0.90 0.80 0.80 0.80 0.80 0.80 0.00

time (sec)

N/A 0.001 0.000 0.001 0.626 0.815 0.064 0.274 0.034 0.000






















Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

28 28 28 29 28 26 19 30 25 0

N.S.

1 1.00 1.00 1.04 1.00 0.93 0.68 1.07 0.89 0.00

time (sec)

N/A 0.015 0.006 0.009 0.587 0.569 0.180 0.362 0.060 0.001






















Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

22 22 22 21 20 18 15 24 18 0

N.S.

1 1.00 1.00 0.95 0.91 0.82 0.68 1.09 0.82 0.00

time (sec)

N/A 0.012 0.007 0.005 0.793 0.869 0.205 0.296 2.134 0.000






















Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A F(-2) A B A B F

verified

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

size

62 62 61 62 0 211 564 62 213 0

N.S.

1 1.00 0.98 1.00 0.00 3.40 9.10 1.00 3.44 0.00

time (sec)

N/A 0.055 0.082 0.009 0.000 1.126 4.193 0.294 0.465 0.000






















Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

115 115 89 91 98 299 20 112 99 0

N.S.

1 1.00 0.77 0.79 0.85 2.60 0.17 0.97 0.86 0.00

time (sec)

N/A 0.063 0.036 0.008 1.281 0.544 0.157 0.264 0.233 0.000






















Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A F A B F

verified

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

size

16 16 16 17 17 16 0 16 16 0

N.S.

1 1.00 1.00 1.06 1.06 1.00 0.00 1.00 1.00 0.00

time (sec)

N/A 0.004 0.002 0.002 0.574 1.168 0.000 0.309 2.500 0.052






















Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

270 270 285 392 372 277 299 277 261 0

N.S.

1 1.00 1.06 1.45 1.38 1.03 1.11 1.03 0.97 0.00

time (sec)

N/A 0.539 0.040 0.002 0.628 0.760 0.127 0.235 2.298 0.000






















Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

171 171 171 231 205 166 180 166 160 0

N.S.

1 1.00 1.00 1.35 1.20 0.97 1.05 0.97 0.94 0.00

time (sec)

N/A 0.092 0.028 0.002 0.802 0.744 0.102 0.243 2.160 0.000






















Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

92 92 92 84 94 83 95 83 82 0

N.S.

1 1.00 1.00 0.91 1.02 0.90 1.03 0.90 0.89 0.00

time (sec)

N/A 0.043 0.021 0.001 0.570 0.537 0.085 0.252 0.036 0.000






















Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

32 32 32 29 28 28 31 28 28 0

N.S.

1 1.00 1.00 0.91 0.88 0.88 0.97 0.88 0.88 0.00

time (sec)

N/A 0.006 0.000 0.002 0.651 0.463 0.067 0.268 0.037 0.000






















Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A C C F B A A B F

verified

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

size

529 529 71 64 0 905 88 603 1551 0

N.S.

1 1.00 0.13 0.12 0.00 1.71 0.17 1.14 2.93 0.00

time (sec)

N/A 0.896 0.027 0.059 0.000 0.735 1.149 0.336 4.541 0.001






















Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A C C F B A A B F

verified

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

size

746 746 182 232 0 3222 427 1057 5844 0

N.S.

1 1.00 0.24 0.31 0.00 4.32 0.57 1.42 7.83 0.00

time (sec)

N/A 1.328 0.116 0.018 0.000 1.088 109.971 0.367 4.304 0.001






















Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

295 295 345 500 383 353 366 323 331 0

N.S.

1 1.00 1.17 1.69 1.30 1.20 1.24 1.09 1.12 0.00

time (sec)

N/A 0.532 0.055 0.002 0.745 0.659 0.137 0.308 0.268 0.000






















Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

203 203 207 288 214 205 218 187 201 0

N.S.

1 1.00 1.02 1.42 1.05 1.01 1.07 0.92 0.99 0.00

time (sec)

N/A 0.123 0.029 0.001 0.598 0.703 0.109 0.238 2.243 0.000






















Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

107 107 109 100 101 99 112 90 98 0

N.S.

1 1.00 1.02 0.93 0.94 0.93 1.05 0.84 0.92 0.00

time (sec)

N/A 0.051 0.015 0.000 0.607 0.638 0.087 0.293 0.044 0.000






















Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

37 37 37 34 33 33 36 30 33 0

N.S.

1 1.00 1.00 0.92 0.89 0.89 0.97 0.81 0.89 0.00

time (sec)

N/A 0.007 0.000 0.000 0.667 0.560 0.068 0.380 0.043 0.000






















Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A C C F B A F B F

verified

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

size

153 153 71 67 0 1115 122 0 1264 0

N.S.

1 1.00 0.46 0.44 0.00 7.29 0.80 0.00 8.26 0.00

time (sec)

N/A 0.254 0.033 0.066 0.000 0.888 1.835 0.000 3.731 0.001






















Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

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

verified

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

size

342 342 234 288 0 4285 0 0 10351 0

N.S.

1 1.00 0.68 0.84 0.00 12.53 0.00 0.00 30.27 0.00

time (sec)

N/A 0.532 0.193 0.023 0.000 1.294 0.000 0.000 7.109 0.001






















Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

96 96 96 85 84 84 94 84 84 0

N.S.

1 1.00 1.00 0.89 0.88 0.88 0.98 0.88 0.88 0.00

time (sec)

N/A 0.030 0.003 0.002 1.248 0.681 0.075 0.307 0.185 0.000






















Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

74 74 74 65 64 64 71 64 64 0

N.S.

1 1.00 1.00 0.88 0.86 0.86 0.96 0.86 0.86 0.00

time (sec)

N/A 0.023 0.001 0.001 0.939 0.479 0.070 0.334 0.076 0.000






















Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

54 54 54 45 44 44 49 44 44 0

N.S.

1 1.00 1.00 0.83 0.81 0.81 0.91 0.81 0.81 0.00

time (sec)

N/A 0.017 0.001 0.000 0.884 0.758 0.062 0.332 0.032 0.000






















Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

23 23 23 20 19 19 19 19 19 0

N.S.

1 1.00 1.00 0.87 0.83 0.83 0.83 0.83 0.83 0.00

time (sec)

N/A 0.003 0.000 0.000 0.911 0.731 0.057 0.315 0.031 0.000






















Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A C C F C A F B F

verified

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

size

268 268 45 41 0 1015 41 0 123 0

N.S.

1 1.00 0.17 0.15 0.00 3.79 0.15 0.00 0.46 0.00

time (sec)

N/A 0.396 0.010 0.015 0.000 3.625 0.955 0.000 2.445 0.000






















Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A C C F C B F B F

verified

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

size

357 357 113 83 0 1201 3834 0 176 0

N.S.

1 1.00 0.32 0.23 0.00 3.36 10.74 0.00 0.49 0.00

time (sec)

N/A 0.397 0.018 0.013 0.000 5.199 3.224 0.000 0.207 0.004






















Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

97 97 97 78 77 77 94 77 77 0

N.S.

1 1.00 1.00 0.80 0.79 0.79 0.97 0.79 0.79 0.00

time (sec)

N/A 0.028 0.002 0.003 0.570 0.721 0.071 0.364 0.150 0.000






















Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

69 69 69 58 57 57 66 57 57 0

N.S.

1 1.00 1.00 0.84 0.83 0.83 0.96 0.83 0.83 0.00

time (sec)

N/A 0.020 0.001 0.001 0.455 0.710 0.066 0.362 0.063 0.000






















Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

45 45 45 38 37 37 42 37 37 0

N.S.

1 1.00 1.00 0.84 0.82 0.82 0.93 0.82 0.82 0.00

time (sec)

N/A 0.015 0.001 0.001 0.568 0.736 0.062 0.255 0.026 0.000






















Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

21 21 21 18 17 17 19 17 17 0

N.S.

1 1.00 1.00 0.86 0.81 0.81 0.90 0.81 0.81 0.00

time (sec)

N/A 0.003 0.000 0.000 0.569 1.184 0.056 0.361 0.028 0.000






















Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A C C F C B C B F

verified

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

size

234 234 47 41 0 499 3432 265 87 0

N.S.

1 1.00 0.20 0.18 0.00 2.13 14.67 1.13 0.37 0.00

time (sec)

N/A 0.315 0.016 0.007 0.000 4.088 2.572 0.520 2.359 0.000






















Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A C C F C B C B F

verified

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

size

317 317 108 79 0 704 3834 315 174 0

N.S.

1 1.00 0.34 0.25 0.00 2.22 12.09 0.99 0.55 0.00

time (sec)

N/A 0.335 0.024 0.013 0.000 3.888 3.665 0.724 2.207 0.000






















Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

104 104 104 85 84 84 100 84 84 0

N.S.

1 1.00 1.00 0.82 0.81 0.81 0.96 0.81 0.81 0.00

time (sec)

N/A 0.034 0.002 0.002 0.661 0.614 0.081 0.364 2.230 0.000






















Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

76 76 76 65 64 64 73 64 64 0

N.S.

1 1.00 1.00 0.86 0.84 0.84 0.96 0.84 0.84 0.00

time (sec)

N/A 0.024 0.001 0.000 0.646 0.393 0.076 0.384 0.078 0.000






















Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

52 52 52 45 44 44 49 44 44 0

N.S.

1 1.00 1.00 0.87 0.85 0.85 0.94 0.85 0.85 0.00

time (sec)

N/A 0.016 0.001 0.002 0.610 0.857 0.066 0.357 0.033 0.000






















Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

30 30 30 25 24 24 27 24 24 0

N.S.

1 1.00 1.00 0.83 0.80 0.80 0.90 0.80 0.80 0.00

time (sec)

N/A 0.004 0.000 0.001 0.462 0.732 0.058 0.300 0.019 0.000






















Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

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

verified

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

size

263 263 55 49 0 0 41 0 123 0

N.S.

1 1.00 0.21 0.19 0.00 0.00 0.16 0.00 0.47 0.00

time (sec)

N/A 0.493 0.015 0.008 0.000 0.000 2.372 0.000 0.411 0.000






















Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

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

verified

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

size

366 366 128 96 0 0 3839 0 181 0

N.S.

1 1.00 0.35 0.26 0.00 0.00 10.49 0.00 0.49 0.00

time (sec)

N/A 0.508 0.029 0.011 0.000 0.000 3.946 0.000 0.205 0.000






















Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A B B B B B B F

verified

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

size

14 14 14 164 592 163 185 163 163 0

N.S.

1 1.00 1.00 11.71 42.29 11.64 13.21 11.64 11.64 0.00

time (sec)

N/A 0.017 0.002 0.003 0.683 0.923 0.114 0.283 0.167 0.000






















Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A B B B B B B F

verified

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

size

14 14 14 109 228 108 114 108 108 0

N.S.

1 1.00 1.00 7.79 16.29 7.71 8.14 7.71 7.71 0.00

time (sec)

N/A 0.018 0.001 0.002 0.491 1.015 0.101 0.242 0.061 0.000






















Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A B B B B B B B B F

verified

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

size

14 61 61 54 53 53 60 53 53 0

N.S.

1 4.36 4.36 3.86 3.79 3.79 4.29 3.79 3.79 0.00

time (sec)

N/A 0.014 0.000 0.001 0.458 0.845 0.074 0.292 0.024 0.000






















Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A B B B A B F

verified

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

size

14 14 14 13 46 46 49 12 48 0

N.S.

1 1.00 1.00 0.93 3.29 3.29 3.50 0.86 3.43 0.00

time (sec)

N/A 0.018 0.004 0.006 0.690 0.773 0.288 0.354 0.047 0.001






















Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A B B B A B F

verified

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

size

14 14 14 13 101 101 109 12 103 0

N.S.

1 1.00 1.00 0.93 7.21 7.21 7.79 0.86 7.36 0.00

time (sec)

N/A 0.017 0.004 0.005 0.602 1.169 0.593 0.276 2.105 0.001






















Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A B B B A B F

verified

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

size

14 14 14 13 156 156 168 12 158 0

N.S.

1 1.00 1.00 0.93 11.14 11.14 12.00 0.86 11.29 0.00

time (sec)

N/A 0.018 0.005 0.005 0.544 1.128 0.936 0.355 3.033 0.001






















Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

38 38 38 31 30 30 29 31 36 0

N.S.

1 1.00 1.00 0.82 0.79 0.79 0.76 0.82 0.95 0.00

time (sec)

N/A 0.025 0.008 0.009 1.113 1.004 0.154 0.295 2.165 0.000






















Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

84 84 84 65 64 64 80 64 64 0

N.S.

1 1.00 1.00 0.77 0.76 0.76 0.95 0.76 0.76 0.00

time (sec)

N/A 0.086 0.002 0.000 0.488 1.068 0.077 0.380 2.166 0.000






















Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

63 63 63 50 49 49 60 49 49 0

N.S.

1 1.00 1.00 0.79 0.78 0.78 0.95 0.78 0.78 0.00

time (sec)

N/A 0.076 0.002 0.002 0.727 1.102 0.070 0.365 0.053 0.000






















Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

44 44 44 35 34 34 41 34 34 0

N.S.

1 1.00 1.00 0.80 0.77 0.77 0.93 0.77 0.77 0.00

time (sec)

N/A 0.069 0.001 0.003 0.749 0.995 0.064 0.362 0.024 0.000






















Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

25 25 25 20 19 19 22 19 19 0

N.S.

1 1.00 1.00 0.80 0.76 0.76 0.88 0.76 0.76 0.00

time (sec)

N/A 0.003 0.000 0.002 0.639 1.003 0.057 0.279 0.032 0.000






















Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A B B B B B F

verified

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

size

31 31 62 42 54 56 63 62 27 0

N.S.

1 1.00 2.00 1.35 1.74 1.81 2.03 2.00 0.87 0.00

time (sec)

N/A 0.023 0.018 0.011 1.055 1.251 0.154 0.282 0.066 0.000






















Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A B A A B F

verified

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

size

89 89 103 84 89 177 104 97 64 0

N.S.

1 1.00 1.16 0.94 1.00 1.99 1.17 1.09 0.72 0.00

time (sec)

N/A 0.061 0.063 0.023 1.289 1.190 1.359 0.278 0.084 0.000






















Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A B A A B F

verified

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

size

161 161 137 126 119 282 134 112 93 0

N.S.

1 1.00 0.85 0.78 0.74 1.75 0.83 0.70 0.58 0.00

time (sec)

N/A 0.119 0.092 0.023 1.320 1.301 1.453 0.308 0.089 0.001






















Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A B A A A B B A B F

verified

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

size

91 205 132 116 114 223 296 134 126 0

N.S.

1 2.25 1.45 1.27 1.25 2.45 3.25 1.47 1.38 0.00

time (sec)

N/A 0.130 0.103 0.022 1.271 1.316 1.426 0.435 2.184 0.000






















Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A B A B F

verified

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

size

78 78 73 127 81 198 209 77 87 0

N.S.

1 1.00 0.94 1.63 1.04 2.54 2.68 0.99 1.12 0.00

time (sec)

N/A 0.063 0.067 0.012 1.458 1.199 0.694 0.341 2.269 0.001






















Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A B A B F

verified

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

size

50 50 54 89 61 157 153 54 206 0

N.S.

1 1.00 1.08 1.78 1.22 3.14 3.06 1.08 4.12 0.00

time (sec)

N/A 0.039 0.033 0.007 1.648 1.226 0.462 0.308 0.090 0.001






















Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A B A B F

verified

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

size

41 41 38 54 50 136 124 43 46 0

N.S.

1 1.00 0.93 1.32 1.22 3.32 3.02 1.05 1.12 0.00

time (sec)

N/A 0.021 0.016 0.003 1.362 1.155 0.250 0.356 2.076 0.000






















Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A B A B F

verified

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

size

21 21 21 28 24 83 54 17 17 0

N.S.

1 1.00 1.00 1.33 1.14 3.95 2.57 0.81 0.81 0.00

time (sec)

N/A 0.008 0.004 0.003 1.520 0.881 0.186 0.377 0.043 0.000






















Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A B A B F

verified

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

size

59 59 48 72 68 154 738 62 173 0

N.S.

1 1.00 0.81 1.22 1.15 2.61 12.51 1.05 2.93 0.00

time (sec)

N/A 0.035 0.041 0.007 1.518 1.244 3.403 0.377 2.588 0.001






















Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A B A B F

verified

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

size

79 79 81 123 123 229 1620 117 425 0

N.S.

1 1.00 1.03 1.56 1.56 2.90 20.51 1.48 5.38 0.00

time (sec)

N/A 0.086 0.053 0.011 1.591 1.138 11.116 0.367 2.583 0.001






















Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A B A B F

verified

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

size

121 121 106 198 197 371 3284 195 573 0

N.S.

1 1.00 0.88 1.64 1.63 3.07 27.14 1.61 4.74 0.00

time (sec)

N/A 0.125 0.166 0.010 1.612 1.438 38.258 0.415 2.771 0.001






















Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A B A B F

verified

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

size

31 31 31 34 30 109 61 24 27 0

N.S.

1 1.00 1.00 1.10 0.97 3.52 1.97 0.77 0.87 0.00

time (sec)

N/A 0.024 0.012 0.006 1.561 1.273 0.207 0.453 0.057 0.000






















Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A B A B F

verified

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

size

63 63 60 86 75 253 117 65 76 0

N.S.

1 1.00 0.95 1.37 1.19 4.02 1.86 1.03 1.21 0.00

time (sec)

N/A 0.033 0.035 0.004 1.560 1.118 0.580 0.359 0.098 0.001






















Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A B B B A B F

verified

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

size

91 91 75 147 184 595 257 103 181 0

N.S.

1 1.00 0.82 1.62 2.02 6.54 2.82 1.13 1.99 0.00

time (sec)

N/A 0.048 0.071 0.005 1.585 1.257 1.248 0.409 2.221 0.001






















Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A B A B A B F

verified

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

size

35 35 35 42 66 279 92 30 31 0

N.S.

1 1.00 1.00 1.20 1.89 7.97 2.63 0.86 0.89 0.00

time (sec)

N/A 0.035 0.019 0.010 1.404 1.464 0.218 0.446 0.103 0.001






















Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A C A B F

verified

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

size

10 10 10 11 18 10 24 10 10 0

N.S.

1 1.00 1.00 1.10 1.80 1.00 2.40 1.00 1.00 0.00

time (sec)

N/A 0.003 0.005 0.003 1.569 1.447 0.168 0.318 0.040 0.001






















Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A C A B F

verified

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

size

37 37 31 59 51 55 56 41 42 0

N.S.

1 1.00 0.84 1.59 1.38 1.49 1.51 1.11 1.14 0.00

time (sec)

N/A 0.010 0.014 0.006 1.315 1.148 0.437 0.377 2.066 0.000






















Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A B B C A B F

verified

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

size

60 60 52 94 115 153 146 73 111 0

N.S.

1 1.00 0.87 1.57 1.92 2.55 2.43 1.22 1.85 0.00

time (sec)

N/A 0.016 0.020 0.006 1.505 0.900 0.931 0.304 0.121 0.000






















Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A B B B B B B B F

verified

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

size

10 10 32 26 25 22 22 27 10 0

N.S.

1 1.00 3.20 2.60 2.50 2.20 2.20 2.70 1.00 0.00

time (sec)

N/A 0.003 0.006 0.010 0.490 0.798 0.177 0.384 2.050 0.001






















Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A B A A B F

verified

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

size

39 39 45 52 56 85 54 56 43 0

N.S.

1 1.00 1.15 1.33 1.44 2.18 1.38 1.44 1.10 0.00

time (sec)

N/A 0.013 0.026 0.010 0.624 0.929 0.469 0.351 2.064 0.000






















Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A B B B A B F

verified

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

size

64 64 65 78 122 220 141 88 114 0

N.S.

1 1.00 1.02 1.22 1.91 3.44 2.20 1.38 1.78 0.00

time (sec)

N/A 0.022 0.032 0.010 0.641 1.212 1.030 0.357 2.118 0.001






















Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A B B B B B B B F

verified

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

size

4 4 15 12 11 11 10 13 4 0

N.S.

1 1.00 3.75 3.00 2.75 2.75 2.50 3.25 1.00 0.00

time (sec)

N/A 0.002 0.002 0.005 0.571 1.282 0.099 0.355 0.149 0.000






















Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

27 27 26 24 25 39 24 27 23 0

N.S.

1 1.00 0.96 0.89 0.93 1.44 0.89 1.00 0.85 0.00

time (sec)

N/A 0.007 0.018 0.008 0.649 1.082 0.117 0.325 0.066 0.000






















Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A B A A B F

verified

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

size

45 45 37 36 44 71 44 39 36 0

N.S.

1 1.00 0.82 0.80 0.98 1.58 0.98 0.87 0.80 0.00

time (sec)

N/A 0.012 0.018 0.010 0.644 0.822 0.144 0.339 2.090 0.000






















Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

59 59 64 64 54 54 58 62 55 0

N.S.

1 1.00 1.08 1.08 0.92 0.92 0.98 1.05 0.93 0.00

time (sec)

N/A 0.055 0.028 0.004 0.542 1.196 0.171 0.310 0.050 0.000






















Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

10 10 11 12 11 11 10 11 11 0

N.S.

1 1.00 1.10 1.20 1.10 1.10 1.00 1.10 1.10 0.00

time (sec)

N/A 0.011 0.007 0.001 0.678 1.221 0.086 0.353 0.032 0.000






















Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A F A F A

verified

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

size

44 44 51 35 36 35 0 23 -1 45

N.S.

1 1.00 1.16 0.80 0.82 0.80 0.00 0.52 -0.02 1.02

time (sec)

N/A 0.026 0.032 0.006 1.289 1.259 0.000 0.386 0.000 0.132






















Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A B B A F A F B

verified

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

size

67 67 55 152 139 92 0 55 -1 171

N.S.

1 1.00 0.82 2.27 2.07 1.37 0.00 0.82 -0.01 2.55

time (sec)

N/A 0.049 0.086 0.020 1.462 0.933 0.000 0.486 0.000 0.454






















Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A B B A F A F B

verified

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

size

63 63 51 146 135 70 0 70 -1 176

N.S.

1 1.00 0.81 2.32 2.14 1.11 0.00 1.11 -0.02 2.79

time (sec)

N/A 0.040 0.088 0.011 0.587 1.883 0.000 0.417 0.000 0.547






















Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A C C F C A F B F

verified

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

size

234 234 132 108 0 6315 238 0 374 0

N.S.

1 1.00 0.56 0.46 0.00 26.99 1.02 0.00 1.60 0.00

time (sec)

N/A 0.372 0.055 0.006 0.000 47.200 2.901 0.000 2.460 0.001






















Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A C C F C A F B F

verified

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

size

210 210 81 74 0 4759 158 0 437 0

N.S.

1 1.00 0.39 0.35 0.00 22.66 0.75 0.00 2.08 0.00

time (sec)

N/A 0.228 0.035 0.004 0.000 4.037 0.992 0.000 2.300 0.001






















Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A C C F C A F B F

verified

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

size

180 180 79 72 0 1950 83 0 145 0

N.S.

1 1.00 0.44 0.40 0.00 10.83 0.46 0.00 0.81 0.00

time (sec)

N/A 0.156 0.022 0.003 0.000 3.828 0.700 0.000 0.257 0.001






















Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A C F A A A B F

verified

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

size

140 140 116 71 0 442 26 160 144 0

N.S.

1 1.00 0.83 0.51 0.00 3.16 0.19 1.14 1.03 0.00

time (sec)

N/A 0.107 0.033 0.002 0.000 1.576 0.261 0.452 2.311 0.001






















Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

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

verified

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

size

224 238 119 105 0 4370 0 0 553 0

N.S.

1 1.06 0.53 0.47 0.00 19.51 0.00 0.00 2.47 0.00

time (sec)

N/A 0.482 0.055 0.010 0.000 3.965 0.000 0.000 0.123 0.001






















Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

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

verified

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

size

314 312 173 144 0 8919 0 0 1588 0

N.S.

1 0.99 0.55 0.46 0.00 28.40 0.00 0.00 5.06 0.00

time (sec)

N/A 0.545 0.105 0.010 0.000 3.925 0.000 0.000 2.329 0.001






















Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

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

verified

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

size

393 393 244 217 0 14765 0 0 1328 0

N.S.

1 1.00 0.62 0.55 0.00 37.57 0.00 0.00 3.38 0.00

time (sec)

N/A 0.604 0.170 0.012 0.000 12.243 0.000 0.000 2.489 0.001






















Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

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

verified

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

size

356 356 106 97 0 0 374 0 1003 0

N.S.

1 1.00 0.30 0.27 0.00 0.00 1.05 0.00 2.82 0.00

time (sec)

N/A 0.426 0.055 0.016 0.000 0.000 3.736 0.000 2.692 0.001






















Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

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

verified

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

size

318 318 106 97 0 0 274 0 625 0

N.S.

1 1.00 0.33 0.31 0.00 0.00 0.86 0.00 1.97 0.00

time (sec)

N/A 0.312 0.036 0.005 0.000 0.000 2.671 0.000 2.588 0.001






















Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

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

verified

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

size

261 261 104 95 0 0 131 0 205 0

N.S.

1 1.00 0.40 0.36 0.00 0.00 0.50 0.00 0.79 0.00

time (sec)

N/A 0.264 0.034 0.007 0.000 0.000 0.879 0.000 2.357 0.001






















Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A C F A A A B F

verified

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

size

221 221 161 94 0 189 26 103 60 0

N.S.

1 1.00 0.73 0.43 0.00 0.86 0.12 0.47 0.27 0.00

time (sec)

N/A 0.185 0.099 0.005 0.000 1.000 0.301 0.501 0.116 0.001






















Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

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

verified

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

size

393 393 163 139 0 0 0 0 882 0

N.S.

1 1.00 0.41 0.35 0.00 0.00 0.00 0.00 2.24 0.00

time (sec)

N/A 0.466 0.073 0.008 0.000 0.000 0.000 0.000 2.183 0.001






















Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

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

verified

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

size

496 496 238 188 0 0 0 0 2440 0

N.S.

1 1.00 0.48 0.38 0.00 0.00 0.00 0.00 4.92 0.00

time (sec)

N/A 0.894 0.132 0.013 0.000 0.000 0.000 0.000 2.479 0.001






















Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A B A B A B B F

verified

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

size

123 123 195 264 192 219 199 219 175 0

N.S.

1 1.00 1.59 2.15 1.56 1.78 1.62 1.78 1.42 0.00

time (sec)

N/A 0.240 0.037 0.003 0.692 1.033 0.118 0.328 0.215 0.000






















Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

120 120 114 138 119 128 114 128 108 0

N.S.

1 1.00 0.95 1.15 0.99 1.07 0.95 1.07 0.90 0.00

time (sec)

N/A 0.063 0.020 0.000 0.667 1.075 0.090 0.296 0.095 0.000






















Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

72 72 66 63 65 65 65 65 61 0

N.S.

1 1.00 0.92 0.88 0.90 0.90 0.90 0.90 0.85 0.00

time (sec)

N/A 0.030 0.008 0.000 0.707 1.097 0.076 0.313 0.039 0.000






















Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

26 26 26 23 22 22 22 22 22 0

N.S.

1 1.00 1.00 0.88 0.85 0.85 0.85 0.85 0.85 0.00

time (sec)

N/A 0.004 0.000 0.000 0.627 0.675 0.061 0.303 0.018 0.000






















Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A C C F B A F(-2) B F

verified

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

size

89 89 57 49 0 457 66 0 571 0

N.S.

1 1.00 0.64 0.55 0.00 5.13 0.74 0.00 6.42 0.00

time (sec)

N/A 0.087 0.023 0.016 0.000 0.883 0.933 0.000 2.576 0.001






















Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A C C F B B F(-2) B F

verified

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

size

169 169 150 158 0 1948 294 0 4591 0

N.S.

1 1.00 0.89 0.93 0.00 11.53 1.74 0.00 27.17 0.00

time (sec)

N/A 0.291 0.075 0.013 0.000 0.863 6.317 0.000 5.352 0.000






















Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A C C F B B F(-2) B F

verified

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

size

252 252 254 398 0 3971 697 0 8242 0

N.S.

1 1.00 1.01 1.58 0.00 15.76 2.77 0.00 32.71 0.00

time (sec)

N/A 0.532 0.150 0.023 0.000 1.667 15.616 0.000 6.405 0.001






















Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

210 210 204 267 182 222 212 222 178 0

N.S.

1 1.00 0.97 1.27 0.87 1.06 1.01 1.06 0.85 0.00

time (sec)

N/A 0.226 0.035 0.003 0.621 0.783 0.123 0.390 0.217 0.000






















Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

134 134 130 143 113 133 128 133 113 0

N.S.

1 1.00 0.97 1.07 0.84 0.99 0.96 0.99 0.84 0.00

time (sec)

N/A 0.140 0.020 0.002 0.624 0.982 0.098 0.351 2.120 0.000






















Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

79 79 75 66 59 68 70 68 64 0

N.S.

1 1.00 0.95 0.84 0.75 0.86 0.89 0.86 0.81 0.00

time (sec)

N/A 0.076 0.008 0.000 0.616 0.861 0.077 0.348 0.038 0.000






















Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

35 35 35 28 27 27 29 27 27 0

N.S.

1 1.00 1.00 0.80 0.77 0.77 0.83 0.77 0.77 0.00

time (sec)

N/A 0.010 0.002 0.000 0.611 1.019 0.061 0.360 0.022 0.000






















Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

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

verified

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

size

116 116 59 50 0 0 155 0 275 0

N.S.

1 1.00 0.51 0.43 0.00 0.00 1.34 0.00 2.37 0.00

time (sec)

N/A 0.083 0.017 0.004 0.000 0.000 4.430 0.000 2.582 0.001






















Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

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

verified

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

size

231 231 166 162 0 0 539 0 1167 0

N.S.

1 1.00 0.72 0.70 0.00 0.00 2.33 0.00 5.05 0.00

time (sec)

N/A 0.241 0.072 0.012 0.000 0.000 31.420 0.000 2.817 0.001






















Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

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

verified

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

size

349 349 284 405 0 0 1102 0 2200 0

N.S.

1 1.00 0.81 1.16 0.00 0.00 3.16 0.00 6.30 0.00

time (sec)

N/A 0.369 0.164 0.023 0.000 0.000 88.090 0.000 3.394 0.001






















Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

210 210 204 267 182 222 219 222 178 0

N.S.

1 1.00 0.97 1.27 0.87 1.06 1.04 1.06 0.85 0.00

time (sec)

N/A 0.164 0.036 0.001 0.639 1.246 0.145 0.243 2.294 0.000






















Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

138 138 132 143 113 133 134 133 113 0

N.S.

1 1.00 0.96 1.04 0.82 0.96 0.97 0.96 0.82 0.00

time (sec)

N/A 0.121 0.019 0.003 0.563 0.913 0.097 0.285 0.092 0.001






















Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

79 79 73 66 59 68 73 68 64 0

N.S.

1 1.00 0.92 0.84 0.75 0.86 0.92 0.86 0.81 0.00

time (sec)

N/A 0.077 0.010 0.001 0.546 0.935 0.077 0.287 0.042 0.000






















Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

35 35 35 28 27 27 29 27 27 0

N.S.

1 1.00 1.00 0.80 0.77 0.77 0.83 0.77 0.77 0.00

time (sec)

N/A 0.009 0.004 0.000 0.609 1.060 0.062 0.313 0.021 0.000






















Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

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

verified

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

size

99 99 61 52 0 0 172 0 878 0

N.S.

1 1.00 0.62 0.53 0.00 0.00 1.74 0.00 8.87 0.00

time (sec)

N/A 0.087 0.016 0.004 0.000 0.000 7.607 0.000 2.783 0.001






















Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

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

verified

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

size

225 225 182 160 0 0 561 0 1218 0

N.S.

1 1.00 0.81 0.71 0.00 0.00 2.49 0.00 5.41 0.00

time (sec)

N/A 0.213 0.076 0.014 0.000 0.000 43.733 0.000 2.846 0.001






















Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

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

verified

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

size

545 545 99 93 0 0 0 0 1563 0

N.S.

1 1.00 0.18 0.17 0.00 0.00 0.00 0.00 2.87 0.00

time (sec)

N/A 1.476 0.069 0.015 0.000 0.000 0.000 0.000 3.175 0.001






















Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

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

verified

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

size

487 487 99 93 0 0 0 0 1354 0

N.S.

1 1.00 0.20 0.19 0.00 0.00 0.00 0.00 2.78 0.00

time (sec)

N/A 0.756 0.049 0.003 0.000 0.000 0.000 0.000 3.104 0.001






















Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

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

verified

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

size

334 334 97 93 0 0 0 0 825 0

N.S.

1 1.00 0.29 0.28 0.00 0.00 0.00 0.00 2.47 0.00

time (sec)

N/A 0.470 0.059 0.005 0.000 0.000 0.000 0.000 3.342 0.001






















Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

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

verified

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

size

469 469 95 91 0 0 0 0 1057 0

N.S.

1 1.00 0.20 0.19 0.00 0.00 0.00 0.00 2.25 0.00

time (sec)

N/A 0.684 0.047 0.005 0.000 0.000 0.000 0.000 2.903 0.001






















Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

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

verified

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

size

522 522 99 90 0 0 0 0 1394 0

N.S.

1 1.00 0.19 0.17 0.00 0.00 0.00 0.00 2.67 0.00

time (sec)

N/A 0.861 0.066 0.005 0.000 0.000 0.000 0.000 0.711 0.001






















Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

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

verified

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

size

563 563 157 134 0 0 0 0 4002 0

N.S.

1 1.00 0.28 0.24 0.00 0.00 0.00 0.00 7.11 0.00

time (sec)

N/A 1.157 0.115 0.009 0.000 0.000 0.000 0.000 2.546 0.001






















Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

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

verified

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

size

645 640 163 133 0 0 0 0 2663 0

N.S.

1 0.99 0.25 0.21 0.00 0.00 0.00 0.00 4.13 0.00

time (sec)

N/A 1.380 0.139 0.008 0.000 0.000 0.000 0.000 2.721 0.001






















Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

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

verified

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

size

395 395 61 56 0 0 70 0 427 0

N.S.

1 1.00 0.15 0.14 0.00 0.00 0.18 0.00 1.08 0.00

time (sec)

N/A 1.438 0.023 0.008 0.000 0.000 0.257 0.000 0.651 0.001






















Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

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

verified

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

size

377 377 61 56 0 0 65 0 390 0

N.S.

1 1.00 0.16 0.15 0.00 0.00 0.17 0.00 1.03 0.00

time (sec)

N/A 0.910 0.014 0.009 0.000 0.000 0.275 0.000 2.704 0.001






















Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

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

verified

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

size

361 361 61 56 0 0 61 0 276 0

N.S.

1 1.00 0.17 0.16 0.00 0.00 0.17 0.00 0.76 0.00

time (sec)

N/A 0.515 0.015 0.009 0.000 0.000 0.247 0.000 0.522 0.001






















Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A C C F B A F B F

verified

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

size

248 248 59 56 0 1277 48 0 247 0

N.S.

1 1.00 0.24 0.23 0.00 5.15 0.19 0.00 1.00 0.00

time (sec)

N/A 0.323 0.013 0.008 0.000 4.126 0.205 0.000 2.679 0.001






















Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

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

verified

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

size

361 361 57 54 0 0 61 0 176 0

N.S.

1 1.00 0.16 0.15 0.00 0.00 0.17 0.00 0.49 0.00

time (sec)

N/A 0.548 0.016 0.008 0.000 0.000 0.257 0.000 2.423 0.001






















Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

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

verified

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

size

377 377 62 53 0 0 65 0 306 0

N.S.

1 1.00 0.16 0.14 0.00 0.00 0.17 0.00 0.81 0.00

time (sec)

N/A 0.721 0.013 0.007 0.000 0.000 0.274 0.000 2.675 0.001






















Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

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

verified

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

size

415 415 103 75 0 0 82 0 432 0

N.S.

1 1.00 0.25 0.18 0.00 0.00 0.20 0.00 1.04 0.00

time (sec)

N/A 0.902 0.019 0.013 0.000 0.000 0.417 0.000 2.328 0.001






















Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

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

verified

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

size

448 448 109 74 0 0 70 0 340 0

N.S.

1 1.00 0.24 0.17 0.00 0.00 0.16 0.00 0.76 0.00

time (sec)

N/A 1.102 0.021 0.011 0.000 0.000 0.319 0.000 0.292 0.001






















Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

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

verified

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

size

1064 1064 167 122 0 0 112 0 388 0

N.S.

1 1.00 0.16 0.11 0.00 0.00 0.11 0.00 0.36 0.00

time (sec)

N/A 2.504 0.040 0.015 0.000 0.000 0.397 0.000 2.341 0.001






















Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

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

verified

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

size

1005 1005 167 122 0 0 112 0 387 0

N.S.

1 1.00 0.17 0.12 0.00 0.00 0.11 0.00 0.39 0.00

time (sec)

N/A 2.403 0.030 0.016 0.000 0.000 0.403 0.000 2.304 0.001






















Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

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

verified

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

size

677 677 167 122 0 0 112 0 388 0

N.S.

1 1.00 0.25 0.18 0.00 0.00 0.17 0.00 0.57 0.00

time (sec)

N/A 1.553 0.045 0.015 0.000 0.000 0.378 0.000 2.328 0.001






















Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A C C F B A F B F

verified

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

size

682 682 167 122 0 1445 104 0 299 0

N.S.

1 1.00 0.24 0.18 0.00 2.12 0.15 0.00 0.44 0.00

time (sec)

N/A 1.235 0.026 0.012 0.000 3.889 0.307 0.000 0.314 0.001






















Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

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

verified

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

size

850 850 167 122 0 0 112 0 388 0

N.S.

1 1.00 0.20 0.14 0.00 0.00 0.13 0.00 0.46 0.00

time (sec)

N/A 1.470 0.036 0.013 0.000 0.000 0.388 0.000 2.420 0.001






















Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

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

verified

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

size

873 873 167 122 0 0 112 0 387 0

N.S.

1 1.00 0.19 0.14 0.00 0.00 0.13 0.00 0.44 0.00

time (sec)

N/A 1.916 0.028 0.013 0.000 0.000 0.397 0.000 2.416 0.001






















Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

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

verified

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

size

986 986 167 122 0 0 112 0 388 0

N.S.

1 1.00 0.17 0.12 0.00 0.00 0.11 0.00 0.39 0.00

time (sec)

N/A 1.927 0.035 0.014 0.000 0.000 0.387 0.000 2.478 0.001






















Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B A

verified

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

size

25 25 25 22 21 21 22 21 21 26

N.S.

1 1.00 1.00 0.88 0.84 0.84 0.88 0.84 0.84 1.04

time (sec)

N/A 0.055 0.002 0.000 0.443 0.794 0.094 0.370 0.037 0.030






















Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A B B F

verified

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

size

94 94 79 114 105 105 88 365 106 0

N.S.

1 1.00 0.84 1.21 1.12 1.12 0.94 3.88 1.13 0.00

time (sec)

N/A 0.127 0.037 0.005 0.439 0.935 0.308 0.263 0.059 0.001






















Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A B B A B B A B F

verified

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

size

15 15 172 155 13 154 175 13 154 0

N.S.

1 1.00 11.47 10.33 0.87 10.27 11.67 0.87 10.27 0.00

time (sec)

N/A 0.018 0.006 0.003 0.436 0.714 0.131 0.300 2.224 0.000






















Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A B B B B B B B F

verified

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

size

16 16 182 157 156 156 182 156 156 0

N.S.

1 1.00 11.38 9.81 9.75 9.75 11.38 9.75 9.75 0.00

time (sec)

N/A 0.055 0.006 0.002 0.608 1.241 0.136 0.313 0.143 0.000






















Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A B B B B B B B F

verified

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

size

16 16 186 157 156 156 185 156 156 0

N.S.

1 1.00 11.62 9.81 9.75 9.75 11.56 9.75 9.75 0.00

time (sec)

N/A 0.050 0.006 0.002 0.552 1.173 0.139 0.332 2.171 0.000






















Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A B B B F(-1) B B A

verified

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

size

21 21 21 230 229 262 0 189 229 21

N.S.

1 1.00 1.00 10.95 10.90 12.48 0.00 9.00 10.90 1.00

time (sec)

N/A 0.031 0.118 0.052 0.645 0.979 0.000 1.857 4.019 0.051






















Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

10 10 9 9 10 10 8 11 8 0

N.S.

1 1.00 0.90 0.90 1.00 1.00 0.80 1.10 0.80 0.00

time (sec)

N/A 0.004 0.004 0.000 0.555 0.726 0.127 0.230 0.050 0.000






















Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

15 15 15 14 13 13 12 18 13 0

N.S.

1 1.00 1.00 0.93 0.87 0.87 0.80 1.20 0.87 0.00

time (sec)

N/A 0.026 0.006 0.004 0.644 0.767 0.179 0.334 2.081 0.001






















Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

15 15 15 14 13 13 12 15 13 0

N.S.

1 1.00 1.00 0.93 0.87 0.87 0.80 1.00 0.87 0.00

time (sec)

N/A 0.027 0.005 0.006 0.525 0.956 0.197 0.314 0.060 0.001






















Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A B A A F F A

verified

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

size

15 15 15 18 47 23 29 0 -1 24

N.S.

1 1.00 1.00 1.20 3.13 1.53 1.93 0.00 -0.07 1.60

time (sec)

N/A 0.025 0.011 0.018 0.577 0.889 1.483 0.000 0.000 0.042






















Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A B A B B A B F

verified

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

size

15 15 14 177 13 81 87 13 12 0

N.S.

1 1.00 0.93 11.80 0.87 5.40 5.80 0.87 0.80 0.00

time (sec)

N/A 0.004 0.021 0.018 0.528 0.943 0.933 0.270 4.377 0.001






















Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A B B B B A B F

verified

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

size

16 16 16 197 81 81 87 15 14 0

N.S.

1 1.00 1.00 12.31 5.06 5.06 5.44 0.94 0.88 0.00

time (sec)

N/A 0.023 0.029 0.019 0.670 0.911 1.428 0.406 2.225 0.001






















Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A B B B B A B F

verified

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

size

16 16 16 197 81 81 87 15 14 0

N.S.

1 1.00 1.00 12.31 5.06 5.06 5.44 0.94 0.88 0.00

time (sec)

N/A 0.023 0.036 0.016 0.800 1.125 2.061 0.304 7.220 0.001






















Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A B B B F(-1) F F A

verified

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

size

21 21 21 203 612 143 0 0 -1 21

N.S.

1 1.00 1.00 9.67 29.14 6.81 0.00 0.00 -0.05 1.00

time (sec)

N/A 0.032 0.178 0.064 1.034 1.732 0.000 0.000 0.000 0.115






















Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

19 19 17 24 19 26 46 19 23 0

N.S.

1 1.00 0.89 1.26 1.00 1.37 2.42 1.00 1.21 0.00

time (sec)

N/A 0.005 0.009 0.005 0.559 1.067 0.710 0.374 2.095 0.001






















Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

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

verified

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

size

27 27 97 31 35 32 0 54 45 0

N.S.

1 1.00 3.59 1.15 1.30 1.19 0.00 2.00 1.67 0.00

time (sec)

N/A 0.023 0.075 0.004 0.990 1.231 0.000 0.334 2.213 0.073






















Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

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

verified

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

size

27 116 97 142 35 33 0 54 -1 0

N.S.

1 4.30 3.59 5.26 1.30 1.22 0.00 2.00 -0.04 0.00

time (sec)

N/A 0.102 0.027 0.259 1.073 0.827 0.000 0.494 0.000 0.265






















Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

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

verified

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

size

29 29 99 33 35 34 0 58 49 0

N.S.

1 1.00 3.41 1.14 1.21 1.17 0.00 2.00 1.69 0.00

time (sec)

N/A 0.024 0.077 0.005 1.013 1.078 0.000 0.346 2.205 0.077






















Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A C F A A F(-1) F F F

verified

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

size

36 36 108 0 39 42 0 0 -1 0

N.S.

1 1.00 3.00 0.00 1.08 1.17 0.00 0.00 -0.03 0.00

time (sec)

N/A 0.086 0.166 0.135 1.072 0.850 0.000 0.000 0.000 0.178






















Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B A

verified

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

size

32 32 32 27 26 26 29 26 26 29

N.S.

1 1.00 1.00 0.84 0.81 0.81 0.91 0.81 0.81 0.91

time (sec)

N/A 0.034 0.002 0.001 0.781 0.934 0.095 0.313 2.142 0.041






















Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B A

verified

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

size

12 12 12 11 10 10 8 10 10 14

N.S.

1 1.00 1.00 0.92 0.83 0.83 0.67 0.83 0.83 1.17

time (sec)

N/A 0.049 0.001 0.001 0.472 0.928 0.095 0.396 0.019 0.041






















Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A B A B F

verified

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

size

42 42 42 32 31 98 124 31 32 0

N.S.

1 1.00 1.00 0.76 0.74 2.33 2.95 0.74 0.76 0.00

time (sec)

N/A 0.057 0.015 0.005 1.489 0.807 0.297 0.404 2.130 0.001






















Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A F(-1) A B F

verified

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

size

25 25 23 26 25 38 0 25 54 0

N.S.

1 1.00 0.92 1.04 1.00 1.52 0.00 1.00 2.16 0.00

time (sec)

N/A 0.024 0.015 0.003 0.672 1.018 0.000 0.294 2.191 0.032






















Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A F(-1) A B F

verified

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

size

24 24 21 34 24 36 0 24 46 0

N.S.

1 1.00 0.88 1.42 1.00 1.50 0.00 1.00 1.92 0.00

time (sec)

N/A 0.018 0.047 0.005 0.629 0.859 0.000 0.307 2.124 0.088






















Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A F(-1) B B F

verified

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

size

25 25 24 26 39 35 0 65 51 0

N.S.

1 1.00 0.96 1.04 1.56 1.40 0.00 2.60 2.04 0.00

time (sec)

N/A 0.021 0.022 0.006 0.862 1.018 0.000 0.395 2.155 0.001






















Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A F(-1) A B F

verified

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

size

20 20 20 21 20 28 0 20 39 0

N.S.

1 1.00 1.00 1.05 1.00 1.40 0.00 1.00 1.95 0.00

time (sec)

N/A 0.010 0.008 0.004 0.651 0.954 0.000 0.282 2.143 0.027






















Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A C A A A B A B F

verified

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

size

19 19 106 26 19 26 73 19 25 0

N.S.

1 1.00 5.58 1.37 1.00 1.37 3.84 1.00 1.32 0.00

time (sec)

N/A 0.009 0.066 0.005 0.534 1.379 11.344 0.341 2.127 0.069






















Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A C A A A B A B F

verified

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

size

22 22 108 23 31 27 76 39 26 0

N.S.

1 1.00 4.91 1.05 1.41 1.23 3.45 1.77 1.18 0.00

time (sec)

N/A 0.008 0.036 0.003 1.209 1.030 52.838 0.338 2.161 0.001






















Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A F(-1) A B F

verified

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

size

22 22 21 23 22 32 0 22 43 0

N.S.

1 1.00 0.95 1.05 1.00 1.45 0.00 1.00 1.95 0.00

time (sec)

N/A 0.018 0.012 0.004 0.661 0.987 0.000 0.345 2.138 0.030






















Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

21 21 19 28 21 30 53 21 27 0

N.S.

1 1.00 0.90 1.33 1.00 1.43 2.52 1.00 1.29 0.00

time (sec)

N/A 0.012 0.011 0.004 0.594 0.912 1.160 0.310 2.162 0.084






















Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A B B F

verified

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

size

24 24 22 28 32 31 56 51 28 0

N.S.

1 1.00 0.92 1.17 1.33 1.29 2.33 2.12 1.17 0.00

time (sec)

N/A 0.023 0.014 0.003 0.826 0.792 6.170 0.460 2.199 0.098






















Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

22 22 22 23 32 29 53 41 26 0

N.S.

1 1.00 1.00 1.05 1.45 1.32 2.41 1.86 1.18 0.00

time (sec)

N/A 0.009 0.010 0.005 0.895 0.970 6.154 0.314 2.188 0.064






















Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A F(-1) A B F

verified

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

size

22 22 21 23 32 32 0 22 43 0

N.S.

1 1.00 0.95 1.05 1.45 1.45 0.00 1.00 1.95 0.00

time (sec)

N/A 0.013 0.006 0.004 0.751 1.072 0.000 0.323 2.142 0.036






















Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

21 21 19 28 32 30 53 21 27 0

N.S.

1 1.00 0.90 1.33 1.52 1.43 2.52 1.00 1.29 0.00

time (sec)

N/A 0.012 0.005 0.003 0.930 0.663 1.142 0.398 2.148 0.041






















Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A B B A B B B B F

verified

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

size

21 21 143 25686 19 1956 1771 160 1576 0

N.S.

1 1.00 6.81 1223.14 0.90 93.14 84.33 7.62 75.05 0.00

time (sec)

N/A 0.125 0.151 0.004 0.740 0.570 0.420 0.299 2.979 0.000






















Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A B A B B A B F

verified

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

size

20 20 18 5596 18 496 469 18 418 0

N.S.

1 1.00 0.90 279.80 0.90 24.80 23.45 0.90 20.90 0.00

time (sec)

N/A 0.052 0.036 0.002 0.633 0.618 0.182 0.314 2.320 0.000






















Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A B B B B A B F

verified

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

size

19 19 18 5596 441 496 469 18 418 0

N.S.

1 1.00 0.95 294.53 23.21 26.11 24.68 0.95 22.00 0.00

time (sec)

N/A 0.069 0.017 0.002 0.601 0.802 0.170 0.297 2.267 0.000






















Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A B B A B B B B F

verified

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

size

16 16 127 2185 14 486 483 120 438 0

N.S.

1 1.00 7.94 136.56 0.88 30.38 30.19 7.50 27.38 0.00

time (sec)

N/A 0.024 0.056 0.001 0.549 0.944 0.170 0.413 2.628 0.000






















Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A B B A B B A B F

verified

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

size

15 15 98 89 13 88 97 13 88 0

N.S.

1 1.00 6.53 5.93 0.87 5.87 6.47 0.87 5.87 0.00

time (sec)

N/A 0.013 0.003 0.000 0.511 0.713 0.096 0.301 0.050 0.000






















Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A B B B B B A B F

verified

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

size

16 16 98 89 88 88 97 13 88 0

N.S.

1 1.00 6.12 5.56 5.50 5.50 6.06 0.81 5.50 0.00

time (sec)

N/A 0.028 0.003 0.000 0.645 0.801 0.088 0.268 0.040 0.000






















Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A B B A B B B B F

verified

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

size

18 18 115 2205 16 488 484 136 440 0

N.S.

1 1.00 6.39 122.50 0.89 27.11 26.89 7.56 24.44 0.00

time (sec)

N/A 0.044 0.053 0.003 0.623 0.639 0.173 0.430 2.632 0.000






















Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A B B A B B A B F

verified

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

size

17 17 98 89 15 88 97 15 88 0

N.S.

1 1.00 5.76 5.24 0.88 5.18 5.71 0.88 5.18 0.00

time (sec)

N/A 0.025 0.003 0.001 0.661 0.946 0.098 0.373 2.072 0.000






















Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A B B B B B A B F

verified

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

size

14 14 98 89 88 88 97 15 88 0

N.S.

1 1.00 7.00 6.36 6.29 6.29 6.93 1.07 6.29 0.00

time (sec)

N/A 0.227 0.003 0.001 0.525 0.545 0.095 0.234 0.047 0.000






















Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A B B B B B A B F

verified

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

size

14 14 98 89 88 88 97 15 88 0

N.S.

1 1.00 7.00 6.36 6.29 6.29 6.93 1.07 6.29 0.00

time (sec)

N/A 0.011 0.003 0.002 0.659 0.731 0.088 0.256 0.041 0.000






















Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A B B B B B B B F

verified

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

size

18 18 115 2205 458 488 484 488 440 0

N.S.

1 1.00 6.39 122.50 25.44 27.11 26.89 27.11 24.44 0.00

time (sec)

N/A 0.060 0.011 0.002 0.595 0.628 0.169 0.317 0.568 0.000






















Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A B B B B B B B F

verified

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

size

14 14 98 89 88 88 97 88 88 0

N.S.

1 1.00 7.00 6.36 6.29 6.29 6.93 6.29 6.29 0.00

time (sec)

N/A 0.022 0.003 0.001 0.598 1.037 0.094 0.306 0.040 0.000






















Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A B B B B B B B F

verified

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

size

18 18 98 89 88 88 97 88 88 0

N.S.

1 1.00 5.44 4.94 4.89 4.89 5.39 4.89 4.89 0.00

time (sec)

N/A 0.019 0.003 0.002 0.570 1.011 0.096 0.294 0.040 0.000






















Problem 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A B B B B B B B F

verified

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

size

14 14 98 89 88 88 97 88 88 0

N.S.

1 1.00 7.00 6.36 6.29 6.29 6.93 6.29 6.29 0.00

time (sec)

N/A 0.002 0.002 0.000 0.670 1.071 0.088 0.243 0.039 0.000






















Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A B B B B B A B F

verified

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

size

28 28 80 67 66 66 70 24 66 0

N.S.

1 1.00 2.86 2.39 2.36 2.36 2.50 0.86 2.36 0.00

time (sec)

N/A 0.027 0.005 0.002 0.610 1.523 0.086 0.366 0.051 0.000






















Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A B B B B B B B F

verified

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

size

31 31 108 325 187 208 194 88 180 0

N.S.

1 1.00 3.48 10.48 6.03 6.71 6.26 2.84 5.81 0.00

time (sec)

N/A 0.031 0.035 0.001 0.438 0.946 0.114 0.366 0.105 0.000






















Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

34 34 34 31 52 48 230 30 31 0

N.S.

1 1.00 1.00 0.91 1.53 1.41 6.76 0.88 0.91 0.00

time (sec)

N/A 0.008 0.059 0.004 1.133 0.633 50.746 0.403 2.121 0.283






















Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A F(-1) A B F

verified

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

size

35 35 35 33 54 52 0 32 58 0

N.S.

1 1.00 1.00 0.94 1.54 1.49 0.00 0.91 1.66 0.00

time (sec)

N/A 0.009 0.056 0.003 1.159 1.048 0.000 0.251 2.110 0.296






















Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A B B B B B A B F

verified

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

size

30 30 93 78 77 77 87 24 77 0

N.S.

1 1.00 3.10 2.60 2.57 2.57 2.90 0.80 2.57 0.00

time (sec)

N/A 0.020 0.006 0.002 0.438 0.967 0.095 0.220 0.055 0.000






















Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A B B B B B B B F

verified

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

size

31 31 140 618 280 291 314 105 266 0

N.S.

1 1.00 4.52 19.94 9.03 9.39 10.13 3.39 8.58 0.00

time (sec)

N/A 0.038 0.046 0.002 0.455 0.822 0.143 0.336 2.266 0.000






















Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A B B B B B A B F

verified

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

size

34 34 98 81 80 80 90 30 80 0

N.S.

1 1.00 2.88 2.38 2.35 2.35 2.65 0.88 2.35 0.00

time (sec)

N/A 0.033 0.008 0.002 0.439 0.644 0.098 0.294 0.065 0.000






















Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A B B B B B B B F

verified

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

size

41 41 146 646 289 298 321 126 273 0

N.S.

1 1.00 3.56 15.76 7.05 7.27 7.83 3.07 6.66 0.00

time (sec)

N/A 0.045 0.051 0.001 0.446 0.922 0.150 0.312 2.283 0.000






















Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A B B B B B A B F

verified

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

size

46 46 244 1523 289 309 323 37 270 0

N.S.

1 1.00 5.30 33.11 6.28 6.72 7.02 0.80 5.87 0.00

time (sec)

N/A 0.047 0.063 0.002 0.453 0.934 0.157 0.307 2.237 0.000






















Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A B B B B B B B F

verified

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

size

47 47 248 4284 773 928 930 153 753 0

N.S.

1 1.00 5.28 91.15 16.45 19.74 19.79 3.26 16.02 0.00

time (sec)

N/A 0.091 0.123 0.002 0.480 0.956 0.269 0.442 2.450 0.000






















Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A B A B F

verified

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

size

34 34 36 31 54 48 201 30 33 0

N.S.

1 1.00 1.06 0.91 1.59 1.41 5.91 0.88 0.97 0.00

time (sec)

N/A 0.009 0.068 0.004 1.143 1.030 112.002 0.417 2.111 0.299






















Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A F(-1) A B F

verified

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

size

44 44 42 37 71 57 0 36 37 0

N.S.

1 1.00 0.95 0.84 1.61 1.30 0.00 0.82 0.84 0.00

time (sec)

N/A 0.010 0.086 0.003 1.173 1.053 0.000 0.392 2.210 0.347






















Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A F(-1) A B F

verified

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

size

50 50 49 43 83 72 0 42 73 0

N.S.

1 1.00 0.98 0.86 1.66 1.44 0.00 0.84 1.46 0.00

time (sec)

N/A 0.009 0.193 0.003 1.218 1.161 0.000 0.391 2.170 0.375






















Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

19 19 33 30 17 29 29 30 29 0

N.S.

1 1.00 1.74 1.58 0.89 1.53 1.53 1.58 1.53 0.00

time (sec)

N/A 0.009 0.002 0.001 0.434 0.744 0.061 0.346 0.025 0.000






















Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

16 16 21 18 14 17 17 22 17 0

N.S.

1 1.00 1.31 1.12 0.88 1.06 1.06 1.38 1.06 0.00

time (sec)

N/A 0.007 0.002 0.000 0.439 0.936 0.057 0.233 0.034 0.000






















Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A B B B B B B A B F

verified

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

size

33 96 96 87 86 86 94 28 86 0

N.S.

1 2.91 2.91 2.64 2.61 2.61 2.85 0.85 2.61 0.00

time (sec)

N/A 0.198 0.006 0.001 0.437 0.728 0.082 0.288 0.218 0.000






















Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A B B B B B B A B F

verified

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

size

33 96 96 87 86 86 94 28 86 0

N.S.

1 2.91 2.91 2.64 2.61 2.61 2.85 0.85 2.61 0.00

time (sec)

N/A 0.154 0.005 0.001 0.449 0.662 0.091 0.360 0.191 0.000






















Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A B B A B F

verified

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

size

14 14 14 13 12 57 56 12 12 0

N.S.

1 1.00 1.00 0.93 0.86 4.07 4.00 0.86 0.86 0.00

time (sec)

N/A 0.008 0.006 0.001 0.436 0.837 0.189 0.316 2.100 0.001






















Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

15 15 15 14 13 13 12 14 13 0

N.S.

1 1.00 1.00 0.93 0.87 0.87 0.80 0.93 0.87 0.00

time (sec)

N/A 0.009 0.004 0.002 0.442 1.020 0.089 0.371 0.049 0.001






















Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

17 17 20 14 15 15 14 18 13 0

N.S.

1 1.00 1.18 0.82 0.88 0.88 0.82 1.06 0.76 0.00

time (sec)

N/A 0.010 0.006 0.003 0.448 0.770 0.099 0.270 0.066 0.000






















Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

40 40 23 28 23 23 22 24 23 0

N.S.

1 1.00 0.58 0.70 0.58 0.58 0.55 0.60 0.58 0.00

time (sec)

N/A 0.097 0.059 0.013 0.503 0.997 32.564 0.536 0.108 0.001






















Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A C B F F(-1) F(-1) F(-2) F F

verified

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

size

605 605 98 2105 0 0 0 0 -1 0

N.S.

1 1.00 0.16 3.48 0.00 0.00 0.00 0.00 -0.00 0.00

time (sec)

N/A 4.535 0.069 0.088 0.000 0.000 0.000 0.000 0.000 0.001






















Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A F A A A B F

verified

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

size

63 63 55 82 0 83 58 58 75 0

N.S.

1 1.00 0.87 1.30 0.00 1.32 0.92 0.92 1.19 0.00

time (sec)

N/A 0.066 0.029 0.049 0.000 1.870 0.126 0.274 0.185 0.001






















Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A B A A B F

verified

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

size

14 14 14 13 22 38 20 13 12 0

N.S.

1 1.00 1.00 0.93 1.57 2.71 1.43 0.93 0.86 0.00

time (sec)

N/A 0.050 0.008 0.007 0.436 1.166 0.096 0.289 0.040 0.001






















Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

28 28 24 27 32 46 29 23 21 0

N.S.

1 1.00 0.86 0.96 1.14 1.64 1.04 0.82 0.75 0.00

time (sec)

N/A 0.028 0.013 0.006 0.446 1.104 0.109 0.392 0.037 0.001






















Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

59 59 28 30 38 38 36 28 28 0

N.S.

1 1.00 0.47 0.51 0.64 0.64 0.61 0.47 0.47 0.00

time (sec)

N/A 0.091 0.012 0.006 0.463 1.867 0.181 1.436 0.054 0.001






















Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A B A A A A B F

verified

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

size

11 11 11 41 11 11 8 11 11 0

N.S.

1 1.00 1.00 3.73 1.00 1.00 0.73 1.00 1.00 0.00

time (sec)

N/A 0.007 0.007 0.009 0.438 1.221 0.117 0.331 2.301 0.001






















Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A B A A A B B A B F

verified

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

size

91 205 132 116 114 223 272 134 124 0

N.S.

1 2.25 1.45 1.27 1.25 2.45 2.99 1.47 1.36 0.00

time (sec)

N/A 0.149 0.090 0.019 0.987 2.227 1.362 0.372 2.369 0.001






















Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A F(-1) B B F

verified

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

size

25 25 23 26 44 40 0 99 49 0

N.S.

1 1.00 0.92 1.04 1.76 1.60 0.00 3.96 1.96 0.00

time (sec)

N/A 0.025 0.375 0.010 0.699 2.024 0.000 2.090 2.656 1.127






















Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A F(-1) B B F

verified

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

size

23 23 21 24 39 39 0 89 39 0

N.S.

1 1.00 0.91 1.04 1.70 1.70 0.00 3.87 1.70 0.00

time (sec)

N/A 0.082 0.233 0.010 0.656 1.806 0.000 1.887 2.549 0.959






















Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A F(-1) B B F

verified

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

size

23 23 21 24 39 39 0 89 39 0

N.S.

1 1.00 0.91 1.04 1.70 1.70 0.00 3.87 1.70 0.00

time (sec)

N/A 0.059 0.177 0.008 0.629 0.803 0.000 0.728 2.319 0.738






















Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A F(-1) B B F

verified

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

size

21 21 19 22 37 37 0 87 37 0

N.S.

1 1.00 0.90 1.05 1.76 1.76 0.00 4.14 1.76 0.00

time (sec)

N/A 0.044 0.122 0.005 0.608 1.255 0.000 1.083 2.273 0.557






















Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A F(-1) B B F

verified

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

size

19 19 17 20 33 33 0 52 19 0

N.S.

1 1.00 0.89 1.05 1.74 1.74 0.00 2.74 1.00 0.00

time (sec)

N/A 0.043 0.010 0.006 0.621 0.816 0.000 0.296 2.193 0.077






















Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A F(-1) F B F

verified

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

size

23 23 21 24 36 36 0 0 23 0

N.S.

1 1.00 0.91 1.04 1.57 1.57 0.00 0.00 1.00 0.00

time (sec)

N/A 0.034 0.176 0.009 0.619 1.277 0.000 0.000 3.202 0.464






















Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A F(-1) F B F

verified

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

size

23 23 21 24 36 36 0 0 23 0

N.S.

1 1.00 0.91 1.04 1.57 1.57 0.00 0.00 1.00 0.00

time (sec)

N/A 0.035 0.199 0.008 0.636 1.083 0.000 0.000 3.319 0.532






















Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A F(-1) F B F

verified

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

size

23 23 21 24 36 36 0 0 23 0

N.S.

1 1.00 0.91 1.04 1.57 1.57 0.00 0.00 1.00 0.00

time (sec)

N/A 0.036 0.188 0.008 0.642 1.502 0.000 0.000 3.355 0.663






















Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

97 97 83 74 73 79 97 73 97 0

N.S.

1 1.00 0.86 0.76 0.75 0.81 1.00 0.75 1.00 0.00

time (sec)

N/A 0.138 0.036 0.007 1.520 1.341 0.245 0.309 0.194 0.001






















Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

90 90 78 69 68 74 92 68 92 0

N.S.

1 1.00 0.87 0.77 0.76 0.82 1.02 0.76 1.02 0.00

time (sec)

N/A 0.123 0.023 0.006 1.880 1.225 0.247 0.378 0.178 0.001






















Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

77 77 72 62 61 67 78 61 85 0

N.S.

1 1.00 0.94 0.81 0.79 0.87 1.01 0.79 1.10 0.00

time (sec)

N/A 0.121 0.031 0.005 1.441 0.828 0.232 0.391 2.290 0.001






















Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

72 72 69 57 56 62 75 56 80 0

N.S.

1 1.00 0.96 0.79 0.78 0.86 1.04 0.78 1.11 0.00

time (sec)

N/A 0.093 0.023 0.005 1.586 1.290 0.232 0.307 2.292 0.001






















Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

71 71 65 56 55 61 75 55 79 0

N.S.

1 1.00 0.92 0.79 0.77 0.86 1.06 0.77 1.11 0.00

time (sec)

N/A 0.078 0.017 0.006 1.316 1.331 0.225 0.287 0.147 0.000






















Problem 243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

75 75 69 60 59 65 78 60 83 0

N.S.

1 1.00 0.92 0.80 0.79 0.87 1.04 0.80 1.11 0.00

time (sec)

N/A 0.135 0.019 0.007 1.571 1.164 0.288 0.307 0.149 0.001






















Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

84 84 78 65 64 76 87 65 88 0

N.S.

1 1.00 0.93 0.77 0.76 0.90 1.04 0.77 1.05 0.00

time (sec)

N/A 0.152 0.033 0.009 1.441 1.160 0.315 0.257 2.280 0.001






















Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

91 91 82 70 69 89 94 70 92 0

N.S.

1 1.00 0.90 0.77 0.76 0.98 1.03 0.77 1.01 0.00

time (sec)

N/A 0.157 0.055 0.010 1.264 1.130 0.321 0.286 0.152 0.001






















Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A C C F B A F B F

verified

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

size

307 307 109 74 0 1202 61 0 128 0

N.S.

1 1.00 0.36 0.24 0.00 3.92 0.20 0.00 0.42 0.00

time (sec)

N/A 0.578 0.021 0.008 0.000 3.804 0.985 0.000 2.169 0.001






















Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A C C F B B F B F

verified

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

size

269 269 101 67 0 1145 3662 0 188 0

N.S.

1 1.00 0.38 0.25 0.00 4.26 13.61 0.00 0.70 0.00

time (sec)

N/A 0.392 0.016 0.007 0.000 4.347 2.732 0.000 0.134 0.001






















Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A C C F B A F B F

verified

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

size

230 230 94 62 0 1190 48 0 183 0

N.S.

1 1.00 0.41 0.27 0.00 5.17 0.21 0.00 0.80 0.00

time (sec)

N/A 0.357 0.015 0.008 0.000 3.808 0.950 0.000 0.193 0.001






















Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A C C F B A F B F

verified

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

size

198 198 90 58 0 1189 46 0 181 0

N.S.

1 1.00 0.45 0.29 0.00 6.01 0.23 0.00 0.91 0.00

time (sec)

N/A 0.194 0.013 0.007 0.000 5.343 0.914 0.000 2.342 0.001






















Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A C C F B A F B F

verified

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

size

245 245 101 67 0 1143 60 0 237 0

N.S.

1 1.00 0.41 0.27 0.00 4.67 0.24 0.00 0.97 0.00

time (sec)

N/A 0.473 0.020 0.011 0.000 6.124 12.657 0.000 2.342 0.001






















Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

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

verified

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

size

281 281 109 72 0 1245 0 0 242 0

N.S.

1 1.00 0.39 0.26 0.00 4.43 0.00 0.00 0.86 0.00

time (sec)

N/A 0.467 0.018 0.013 0.000 6.702 0.000 0.000 2.302 0.001






















Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A C C F B A F B F

verified

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

size

317 317 116 77 0 1274 70 0 246 0

N.S.

1 1.00 0.37 0.24 0.00 4.02 0.22 0.00 0.78 0.00

time (sec)

N/A 0.539 0.019 0.012 0.000 5.633 2.705 0.000 2.248 0.001






















Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A C C F B C B B F

verified

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

size

19 19 87 75 0 83 44 87 252 0

N.S.

1 1.00 4.58 3.95 0.00 4.37 2.32 4.58 13.26 0.00

time (sec)

N/A 0.105 0.047 0.095 0.000 2.113 1.045 4.080 2.270 0.001






















Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

43 43 57 34 33 47 37 34 38 0

N.S.

1 1.00 1.33 0.79 0.77 1.09 0.86 0.79 0.88 0.00

time (sec)

N/A 0.067 0.023 0.009 2.104 0.878 0.170 0.254 0.052 0.001






















Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

17 17 17 16 15 15 14 18 21 0

N.S.

1 1.00 1.00 0.94 0.88 0.88 0.82 1.06 1.24 0.00

time (sec)

N/A 0.037 0.005 0.008 1.116 1.152 0.131 0.311 2.200 0.000






















Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

25 25 25 22 21 21 20 24 30 0

N.S.

1 1.00 1.00 0.88 0.84 0.84 0.80 0.96 1.20 0.00

time (sec)

N/A 0.037 0.006 0.006 1.147 1.376 0.132 0.254 0.054 0.001






















Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

22 22 20 19 18 24 14 28 18 0

N.S.

1 1.00 0.91 0.86 0.82 1.09 0.64 1.27 0.82 0.00

time (sec)

N/A 0.013 0.010 0.007 1.095 1.427 0.111 0.366 0.036 0.001






















Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

27 27 38 22 21 21 26 22 25 0

N.S.

1 1.00 1.41 0.81 0.78 0.78 0.96 0.81 0.93 0.00

time (sec)

N/A 0.039 0.011 0.007 2.309 1.516 0.144 0.286 2.260 0.001






















Problem 259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

21 21 21 18 17 17 15 17 17 0

N.S.

1 1.00 1.00 0.86 0.81 0.81 0.71 0.81 0.81 0.00

time (sec)

N/A 0.015 0.004 0.001 2.281 1.489 0.082 0.270 0.031 0.001






















Problem 260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

27 27 27 24 23 23 22 23 23 0

N.S.

1 1.00 1.00 0.89 0.85 0.85 0.81 0.85 0.85 0.00

time (sec)

N/A 0.026 0.007 0.005 2.077 1.445 0.109 0.278 2.140 0.000






















Problem 261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

39 39 39 26 25 25 26 29 25 0

N.S.

1 1.00 1.00 0.67 0.64 0.64 0.67 0.74 0.64 0.00

time (sec)

N/A 0.020 0.018 0.009 1.273 1.128 0.241 0.317 2.141 0.000






















Problem 262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

22 22 23 19 18 18 17 19 18 0

N.S.

1 1.00 1.05 0.86 0.82 0.82 0.77 0.86 0.82 0.00

time (sec)

N/A 0.015 0.004 0.002 1.133 1.015 0.075 0.281 0.027 0.000






















Problem 263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

15 15 15 14 13 13 14 13 13 0

N.S.

1 1.00 1.00 0.93 0.87 0.87 0.93 0.87 0.87 0.00

time (sec)

N/A 0.029 0.005 0.003 2.301 0.998 0.091 0.341 2.131 0.001






















Problem 264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A B B B B F

verified

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

size

12 12 24 21 20 26 17 22 10 0

N.S.

1 1.00 2.00 1.75 1.67 2.17 1.42 1.83 0.83 0.00

time (sec)

N/A 0.021 0.011 0.008 1.078 1.078 0.098 0.297 0.072 0.001






















Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

25 25 25 22 21 22 19 23 19 0

N.S.

1 1.00 1.00 0.88 0.84 0.88 0.76 0.92 0.76 0.00

time (sec)

N/A 0.036 0.006 0.007 1.129 1.193 0.102 0.269 2.139 0.001






















Problem 266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

13 13 13 12 11 11 10 11 11 0

N.S.

1 1.00 1.00 0.92 0.85 0.85 0.77 0.85 0.85 0.00

time (sec)

N/A 0.028 0.006 0.005 2.157 1.216 0.114 0.309 0.038 0.000






















Problem 267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

35 35 35 31 35 55 36 30 35 0

N.S.

1 1.00 1.00 0.89 1.00 1.57 1.03 0.86 1.00 0.00

time (sec)

N/A 0.034 0.017 0.007 2.223 1.613 0.147 0.329 2.125 0.001






















Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

23 23 23 18 17 17 17 20 17 0

N.S.

1 1.00 1.00 0.78 0.74 0.74 0.74 0.87 0.74 0.00

time (sec)

N/A 0.037 0.005 0.009 1.405 2.088 0.138 0.239 2.188 0.000






















Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

23 23 23 20 19 19 19 20 19 0

N.S.

1 1.00 1.00 0.87 0.83 0.83 0.83 0.87 0.83 0.00

time (sec)

N/A 0.054 0.007 0.006 1.115 1.490 0.109 0.295 0.055 0.000






















Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

29 29 25 24 23 32 20 23 25 0

N.S.

1 1.00 0.86 0.83 0.79 1.10 0.69 0.79 0.86 0.00

time (sec)

N/A 0.014 0.010 0.006 2.335 1.160 0.119 0.374 2.125 0.000






















Problem 271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

44 44 44 42 41 58 49 43 55 0

N.S.

1 1.00 1.00 0.95 0.93 1.32 1.11 0.98 1.25 0.00

time (sec)

N/A 0.243 0.024 0.010 2.248 1.413 0.212 0.363 0.129 0.001






















Problem 272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

46 46 46 41 38 38 51 38 88 0

N.S.

1 1.00 1.00 0.89 0.83 0.83 1.11 0.83 1.91 0.00

time (sec)

N/A 0.133 0.020 0.005 2.287 1.702 0.213 0.304 0.160 0.001






















Problem 273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A B A A B F

verified

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

size

33 33 33 34 44 72 41 44 56 0

N.S.

1 1.00 1.00 1.03 1.33 2.18 1.24 1.33 1.70 0.00

time (sec)

N/A 0.166 0.022 0.012 1.156 2.043 0.186 0.301 2.162 0.001






















Problem 274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

17 17 17 12 11 11 10 11 11 0

N.S.

1 1.00 1.00 0.71 0.65 0.65 0.59 0.65 0.65 0.00

time (sec)

N/A 0.007 0.006 0.007 2.200 1.770 0.141 0.288 0.032 0.000






















Problem 275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A C A B F

verified

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

size

24 24 22 21 20 20 34 20 20 0

N.S.

1 1.00 0.92 0.88 0.83 0.83 1.42 0.83 0.83 0.00

time (sec)

N/A 0.018 0.009 0.003 2.255 1.296 0.166 0.288 2.134 0.001






















Problem 276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

15 15 23 18 17 17 17 20 19 0

N.S.

1 1.00 1.53 1.20 1.13 1.13 1.13 1.33 1.27 0.00

time (sec)

N/A 0.060 0.006 0.008 2.313 1.415 0.137 0.319 0.056 0.001






















Problem 277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

20 20 20 18 17 17 19 17 17 0

N.S.

1 1.00 1.00 0.90 0.85 0.85 0.95 0.85 0.85 0.00

time (sec)

N/A 0.012 0.009 0.007 2.398 1.819 0.148 0.375 0.050 0.000






















Problem 278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A B B F

verified

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

size

37 37 33 28 27 44 29 60 35 0

N.S.

1 1.00 0.89 0.76 0.73 1.19 0.78 1.62 0.95 0.00

time (sec)

N/A 0.040 0.023 0.007 2.224 1.390 0.164 0.287 2.144 0.001






















Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

26 26 26 22 21 21 26 21 21 0

N.S.

1 1.00 1.00 0.85 0.81 0.81 1.00 0.81 0.81 0.00

time (sec)

N/A 0.011 0.008 0.002 2.216 1.494 0.094 0.309 0.030 0.000






















Problem 280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

12 12 12 11 10 16 10 11 10 0

N.S.

1 1.00 1.00 0.92 0.83 1.33 0.83 0.92 0.83 0.00

time (sec)

N/A 0.032 0.004 0.006 1.105 1.643 0.095 0.287 2.125 0.000






















Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

21 21 21 18 17 17 15 20 21 0

N.S.

1 1.00 1.00 0.86 0.81 0.81 0.71 0.95 1.00 0.00

time (sec)

N/A 0.030 0.007 0.008 1.092 1.418 0.132 0.282 2.144 0.000






















Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

22 22 22 21 20 34 17 20 20 0

N.S.

1 1.00 1.00 0.95 0.91 1.55 0.77 0.91 0.91 0.00

time (sec)

N/A 0.015 0.008 0.005 2.231 1.671 0.112 0.282 2.124 0.000






















Problem 283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

24 24 24 21 20 32 19 20 22 0

N.S.

1 1.00 1.00 0.88 0.83 1.33 0.79 0.83 0.92 0.00

time (sec)

N/A 0.016 0.011 0.007 2.176 1.436 0.116 0.405 0.029 0.000






















Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

36 36 36 34 33 33 39 33 56 0

N.S.

1 1.00 1.00 0.94 0.92 0.92 1.08 0.92 1.56 0.00

time (sec)

N/A 0.026 0.015 0.005 2.057 1.427 0.188 0.245 0.103 0.000






















Problem 285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

37 37 37 28 27 27 29 27 37 0

N.S.

1 1.00 1.00 0.76 0.73 0.73 0.78 0.73 1.00 0.00

time (sec)

N/A 0.024 0.008 0.003 2.003 1.033 0.174 0.285 2.136 0.001






















Problem 286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

29 29 29 22 21 21 22 23 21 0

N.S.

1 1.00 1.00 0.76 0.72 0.72 0.76 0.79 0.72 0.00

time (sec)

N/A 0.017 0.006 0.006 1.083 1.190 0.109 0.367 2.214 0.000






















Problem 287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

19 19 19 16 15 15 14 16 15 0

N.S.

1 1.00 1.00 0.84 0.79 0.79 0.74 0.84 0.79 0.00

time (sec)

N/A 0.013 0.004 0.002 1.066 1.232 0.081 0.266 0.034 0.000






















Problem 288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

41 41 41 35 34 34 46 34 36 0

N.S.

1 1.00 1.00 0.85 0.83 0.83 1.12 0.83 0.88 0.00

time (sec)

N/A 0.028 0.014 0.005 2.178 1.527 0.118 0.288 0.043 0.000






















Problem 289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

41 41 39 32 31 31 34 31 31 0

N.S.

1 1.00 0.95 0.78 0.76 0.76 0.83 0.76 0.76 0.00

time (sec)

N/A 0.028 0.007 0.004 2.074 1.759 0.118 0.278 2.116 0.001






















Problem 290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

30 30 24 21 20 20 24 23 20 0

N.S.

1 1.00 0.80 0.70 0.67 0.67 0.80 0.77 0.67 0.00

time (sec)

N/A 0.058 0.011 0.007 1.038 0.690 0.152 0.250 2.125 0.001






















Problem 291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

35 35 35 28 27 27 31 30 27 0

N.S.

1 1.00 1.00 0.80 0.77 0.77 0.89 0.86 0.77 0.00

time (sec)

N/A 0.040 0.008 0.008 1.118 1.243 0.149 0.324 0.044 0.001






















Problem 292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

34 34 32 25 24 34 27 34 26 0

N.S.

1 1.00 0.94 0.74 0.71 1.00 0.79 1.00 0.76 0.00

time (sec)

N/A 0.057 0.014 0.008 1.133 1.573 0.145 0.387 2.109 0.001






















Problem 293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

42 42 42 35 33 44 36 33 39 0

N.S.

1 1.00 1.00 0.83 0.79 1.05 0.86 0.79 0.93 0.00

time (sec)

N/A 0.021 0.021 0.006 2.355 0.915 0.131 0.297 2.187 0.001






















Problem 294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

49 49 49 38 37 37 46 37 41 0

N.S.

1 1.00 1.00 0.78 0.76 0.76 0.94 0.76 0.84 0.00

time (sec)

N/A 0.157 0.013 0.006 2.803 1.424 0.227 0.315 0.072 0.001






















Problem 295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

29 29 29 20 19 19 24 22 19 0

N.S.

1 1.00 1.00 0.69 0.66 0.66 0.83 0.76 0.66 0.00

time (sec)

N/A 0.053 0.007 0.008 1.166 1.608 0.142 0.275 2.182 0.001






















Problem 296

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

46 46 43 34 33 33 41 34 50 0

N.S.

1 1.00 0.93 0.74 0.72 0.72 0.89 0.74 1.09 0.00

time (sec)

N/A 0.044 0.016 0.006 2.161 1.557 0.144 0.317 0.086 0.000






















Problem 297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

16 16 14 15 14 17 10 15 14 0

N.S.

1 1.00 0.88 0.94 0.88 1.06 0.62 0.94 0.88 0.00

time (sec)

N/A 0.025 0.007 0.004 1.085 0.800 0.093 0.397 0.043 0.001






















Problem 298

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

21 21 14 16 17 17 14 12 12 0

N.S.

1 1.00 0.67 0.76 0.81 0.81 0.67 0.57 0.57 0.00

time (sec)

N/A 0.019 0.003 0.004 1.088 1.289 0.087 0.301 2.085 0.000






















Problem 299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

15 15 15 16 23 23 17 30 15 0

N.S.

1 1.00 1.00 1.07 1.53 1.53 1.13 2.00 1.00 0.00

time (sec)

N/A 0.027 0.011 0.005 1.268 1.298 0.114 0.262 2.089 0.001






















Problem 300

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

31 31 31 29 28 28 3 29 57 0

N.S.

1 1.00 1.00 0.94 0.90 0.90 0.10 0.94 1.84 0.00

time (sec)

N/A 0.042 0.012 0.005 2.357 1.257 0.130 0.278 0.112 0.001






















Problem 301

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

25 25 25 20 19 19 19 22 19 0

N.S.

1 1.00 1.00 0.80 0.76 0.76 0.76 0.88 0.76 0.00

time (sec)

N/A 0.042 0.006 0.007 1.088 1.071 0.141 0.287 0.060 0.000






















Problem 302

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

30 30 29 25 24 36 20 26 22 0

N.S.

1 1.00 0.97 0.83 0.80 1.20 0.67 0.87 0.73 0.00

time (sec)

N/A 0.030 0.015 0.006 1.212 1.138 0.098 0.276 2.108 0.001






















Problem 303

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

23 23 23 18 17 17 17 18 21 0

N.S.

1 1.00 1.00 0.78 0.74 0.74 0.74 0.78 0.91 0.00

time (sec)

N/A 0.038 0.005 0.005 2.075 1.037 0.137 0.331 2.121 0.000






















Problem 304

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

103 103 93 73 77 136 88 74 96 0

N.S.

1 1.00 0.90 0.71 0.75 1.32 0.85 0.72 0.93 0.00

time (sec)

N/A 0.476 0.043 0.013 2.248 0.979 0.515 0.344 2.200 0.001






















Problem 305

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

33 33 30 28 25 36 24 25 32 0

N.S.

1 1.00 0.91 0.85 0.76 1.09 0.73 0.76 0.97 0.00

time (sec)

N/A 0.017 0.011 0.005 2.149 1.682 0.127 0.317 0.035 0.001






















Problem 306

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

33 33 33 28 29 44 27 30 33 0

N.S.

1 1.00 1.00 0.85 0.88 1.33 0.82 0.91 1.00 0.00

time (sec)

N/A 0.041 0.019 0.008 2.254 1.541 0.149 0.379 2.113 0.001






















Problem 307

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

25 25 25 24 23 19 17 26 19 0

N.S.

1 1.00 1.00 0.96 0.92 0.76 0.68 1.04 0.76 0.00

time (sec)

N/A 0.041 0.005 0.007 1.046 1.278 0.096 0.291 0.043 0.000






















Problem 308

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

36 36 36 32 31 31 36 31 56 0

N.S.

1 1.00 1.00 0.89 0.86 0.86 1.00 0.86 1.56 0.00

time (sec)

N/A 0.115 0.015 0.004 2.096 1.585 0.202 0.336 0.106 0.001






















Problem 309

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

29 29 29 22 21 33 22 21 23 0

N.S.

1 1.00 1.00 0.76 0.72 1.14 0.76 0.72 0.79 0.00

time (sec)

N/A 0.107 0.017 0.009 2.089 1.057 0.174 0.227 0.042 0.001






















Problem 310

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

46 46 46 36 35 39 46 36 49 0

N.S.

1 1.00 1.00 0.78 0.76 0.85 1.00 0.78 1.07 0.00

time (sec)

N/A 0.058 0.026 0.008 2.093 1.520 0.162 0.296 2.169 0.001






















Problem 311

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

22 26 26 19 18 18 17 20 14 0

N.S.

1 1.18 1.18 0.86 0.82 0.82 0.77 0.91 0.64 0.00

time (sec)

N/A 0.015 0.006 0.005 0.974 1.608 0.098 0.284 0.039 0.000






















Problem 312

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

17 17 17 16 15 15 15 18 15 0

N.S.

1 1.00 1.00 0.94 0.88 0.88 0.88 1.06 0.88 0.00

time (sec)

N/A 0.039 0.006 0.007 0.850 1.265 0.136 0.381 0.065 0.000






















Problem 313

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

14 14 14 15 14 18 14 16 14 0

N.S.

1 1.00 1.00 1.07 1.00 1.29 1.00 1.14 1.00 0.00

time (sec)

N/A 0.025 0.004 0.007 0.999 0.958 0.115 0.373 2.120 0.000






















Problem 314

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

19 19 25 18 17 17 17 20 17 0

N.S.

1 1.00 1.32 0.95 0.89 0.89 0.89 1.05 0.89 0.00

time (sec)

N/A 0.027 0.007 0.007 1.029 1.342 0.131 0.292 2.116 0.001






















Problem 315

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

23 23 23 18 17 17 19 17 33 0

N.S.

1 1.00 1.00 0.78 0.74 0.74 0.83 0.74 1.43 0.00

time (sec)

N/A 0.029 0.009 0.006 2.122 1.086 0.183 0.364 0.054 0.000






















Problem 316

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

63 63 57 51 50 50 68 53 58 0

N.S.

1 1.00 0.90 0.81 0.79 0.79 1.08 0.84 0.92 0.00

time (sec)

N/A 0.088 0.027 0.010 2.112 0.903 0.346 0.306 2.213 0.001






















Problem 317

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

69 86 67 54 59 103 65 59 71 0

N.S.

1 1.25 0.97 0.78 0.86 1.49 0.94 0.86 1.03 0.00

time (sec)

N/A 0.099 0.047 0.014 2.070 1.242 0.213 0.236 2.177 0.001






















Problem 318

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

17 17 17 14 13 19 12 13 13 0

N.S.

1 1.00 1.00 0.82 0.76 1.12 0.71 0.76 0.76 0.00

time (sec)

N/A 0.013 0.006 0.006 2.043 1.624 0.106 0.302 0.033 0.000






















Problem 319

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

19 19 19 18 17 17 15 17 17 0

N.S.

1 1.00 1.00 0.95 0.89 0.89 0.79 0.89 0.89 0.00

time (sec)

N/A 0.027 0.005 0.004 2.030 0.809 0.101 0.269 2.098 0.000






















Problem 320

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A B B F

verified

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

size

9 9 9 8 7 7 7 28 19 0

N.S.

1 1.00 1.00 0.89 0.78 0.78 0.78 3.11 2.11 0.00

time (sec)

N/A 0.075 0.006 0.005 2.166 0.971 0.138 0.292 2.104 0.000






















Problem 321

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

12 12 12 13 12 12 12 12 12 0

N.S.

1 1.00 1.00 1.08 1.00 1.00 1.00 1.00 1.00 0.00

time (sec)

N/A 0.016 0.005 0.002 1.375 1.055 0.087 0.295 0.028 0.001






















Problem 322

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

65 65 58 41 51 66 99 55 48 0

N.S.

1 1.00 0.89 0.63 0.78 1.02 1.52 0.85 0.74 0.00

time (sec)

N/A 0.062 0.036 0.008 1.771 1.513 0.448 0.295 0.099 0.001






















Problem 323

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

28 28 28 29 28 46 24 28 28 0

N.S.

1 1.00 1.00 1.04 1.00 1.64 0.86 1.00 1.00 0.00

time (sec)

N/A 0.022 0.011 0.006 1.656 0.994 0.131 0.285 0.038 0.001






















Problem 324

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

32 32 32 27 26 26 29 26 26 0

N.S.

1 1.00 1.00 0.84 0.81 0.81 0.91 0.81 0.81 0.00

time (sec)

N/A 0.040 0.023 0.004 1.515 0.613 0.103 0.374 0.025 0.000






















Problem 325

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

31 41 39 24 23 23 26 27 23 0

N.S.

1 1.32 1.26 0.77 0.74 0.74 0.84 0.87 0.74 0.00

time (sec)

N/A 0.049 0.007 0.008 0.797 1.403 0.194 0.308 0.050 0.000






















Problem 326

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

24 24 24 23 22 26 19 23 30 0

N.S.

1 1.00 1.00 0.96 0.92 1.08 0.79 0.96 1.25 0.00

time (sec)

N/A 0.167 0.009 0.006 1.223 1.266 0.155 0.292 2.129 0.001






















Problem 327

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

23 23 23 19 24 35 20 19 23 0

N.S.

1 1.00 1.00 0.83 1.04 1.52 0.87 0.83 1.00 0.00

time (sec)

N/A 0.025 0.011 0.006 1.431 1.095 0.130 0.391 0.033 0.001






















Problem 328

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

23 23 23 19 24 35 20 19 23 0

N.S.

1 1.00 1.00 0.83 1.04 1.52 0.87 0.83 1.00 0.00

time (sec)

N/A 0.039 0.006 0.005 1.416 1.877 0.127 0.274 0.030 0.001






















Problem 329

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

13 13 13 14 13 15 10 13 13 0

N.S.

1 1.00 1.00 1.08 1.00 1.15 0.77 1.00 1.00 0.00

time (sec)

N/A 0.049 0.005 0.005 0.708 2.057 0.100 0.283 2.144 0.000






















Problem 330

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A C A A B F

verified

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

size

206 206 193 236 199 4545 138 208 357 0

N.S.

1 1.00 0.94 1.15 0.97 22.06 0.67 1.01 1.73 0.00

time (sec)

N/A 0.274 0.107 0.008 1.652 5.144 1.238 0.442 0.231 0.001






















Problem 331

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A F A A A B F

verified

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

size

45 45 45 41 0 47 44 38 42 0

N.S.

1 1.00 1.00 0.91 0.00 1.04 0.98 0.84 0.93 0.00

time (sec)

N/A 0.067 0.025 0.009 0.000 1.121 0.154 1.109 2.191 0.001






















Problem 332

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A F A A A B F

verified

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

size

59 59 44 41 0 75 46 42 47 0

N.S.

1 1.00 0.75 0.69 0.00 1.27 0.78 0.71 0.80 0.00

time (sec)

N/A 0.064 0.021 0.010 0.000 0.892 0.184 1.803 0.049 0.001






















Problem 333

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A B F F(-1) F(-1) B B F

verified

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

size

209 209 234 616 0 0 0 1587 3942 0

N.S.

1 1.00 1.12 2.95 0.00 0.00 0.00 7.59 18.86 0.00

time (sec)

N/A 0.371 0.255 0.061 0.000 0.000 0.000 4.697 3.437 0.001






















Problem 334

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A B F F(-1) F(-1) B B F

verified

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

size

224 224 245 633 0 0 0 1625 3046 0

N.S.

1 1.00 1.09 2.83 0.00 0.00 0.00 7.25 13.60 0.00

time (sec)

N/A 0.389 0.248 0.060 0.000 0.000 0.000 4.563 3.220 0.001






















Problem 335

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A B A B F

verified

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

size

56 56 56 57 60 65 190 62 61 0

N.S.

1 1.00 1.00 1.02 1.07 1.16 3.39 1.11 1.09 0.00

time (sec)

N/A 0.047 0.027 0.007 0.685 1.196 1.065 0.313 0.213 0.001






















Problem 336

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A F(-1) A B F

verified

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

size

96 96 73 87 84 162 0 85 347 0

N.S.

1 1.00 0.76 0.91 0.88 1.69 0.00 0.89 3.61 0.00

time (sec)

N/A 0.108 0.035 0.008 1.222 1.231 0.000 0.257 1.131 0.001






















Problem 337

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

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

verified

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

size

264 264 228 336 279 5975 0 320 570 0

N.S.

1 1.00 0.86 1.27 1.06 22.63 0.00 1.21 2.16 0.00

time (sec)

N/A 0.472 0.090 0.007 1.706 4.868 0.000 0.302 2.496 0.001






















Problem 338

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A F(-1) F(-1) A B F

verified

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

size

417 417 370 422 349 0 0 401 823 0

N.S.

1 1.00 0.89 1.01 0.84 0.00 0.00 0.96 1.97 0.00

time (sec)

N/A 0.547 0.230 0.014 1.481 0.000 0.000 0.567 2.449 0.001






















Problem 339

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A B A A B F

verified

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

size

16 16 24 21 20 26 19 21 12 0

N.S.

1 1.00 1.50 1.31 1.25 1.62 1.19 1.31 0.75 0.00

time (sec)

N/A 0.008 0.009 0.007 0.753 1.298 0.105 0.239 0.039 0.000






















Problem 340

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A B A A B F

verified

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

size

19 19 27 24 23 34 20 30 17 0

N.S.

1 1.00 1.42 1.26 1.21 1.79 1.05 1.58 0.89 0.00

time (sec)

N/A 0.013 0.011 0.009 0.651 0.652 0.118 0.303 2.138 0.000






















Problem 341

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

97 97 85 90 75 106 92 77 103 0

N.S.

1 1.00 0.88 0.93 0.77 1.09 0.95 0.79 1.06 0.00

time (sec)

N/A 0.071 0.050 0.012 1.934 1.189 0.361 0.314 0.177 0.000






















Problem 342

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

15 15 15 14 13 13 12 13 13 0

N.S.

1 1.00 1.00 0.93 0.87 0.87 0.80 0.87 0.87 0.00

time (sec)

N/A 0.106 0.008 0.005 1.400 1.063 0.120 0.289 2.120 0.001






















Problem 343

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

13 13 13 12 11 11 10 11 11 0

N.S.

1 1.00 1.00 0.92 0.85 0.85 0.77 0.85 0.85 0.00

time (sec)

N/A 0.094 0.007 0.004 1.327 1.053 0.117 0.298 0.035 0.001






















Problem 344

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

29 29 29 25 24 24 29 24 51 0

N.S.

1 1.00 1.00 0.86 0.83 0.83 1.00 0.83 1.76 0.00

time (sec)

N/A 0.118 0.014 0.004 1.479 1.234 0.193 0.259 2.153 0.001






















Problem 345

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

14 14 14 15 14 17 10 14 14 0

N.S.

1 1.00 1.00 1.07 1.00 1.21 0.71 1.00 1.00 0.00

time (sec)

N/A 0.011 0.008 0.004 2.074 1.148 0.138 0.253 0.042 0.000






















Problem 346

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

12 12 12 11 10 12 7 11 10 0

N.S.

1 1.00 1.00 0.92 0.83 1.00 0.58 0.92 0.83 0.00

time (sec)

N/A 0.011 0.003 0.004 0.752 1.226 0.091 0.418 0.037 0.000






















Problem 347

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

11 11 11 10 9 9 8 10 17 0

N.S.

1 1.00 1.00 0.91 0.82 0.82 0.73 0.91 1.55 0.00

time (sec)

N/A 0.034 0.005 0.006 1.608 1.130 0.131 0.292 2.166 0.001






















Problem 348

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

12 12 12 11 10 13 8 11 10 0

N.S.

1 1.00 1.00 0.92 0.83 1.08 0.67 0.92 0.83 0.00

time (sec)

N/A 0.021 0.003 0.005 0.714 1.136 0.091 0.384 0.039 0.000






















Problem 349

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

12 12 12 13 12 12 12 14 12 0

N.S.

1 1.00 1.00 1.08 1.00 1.00 1.00 1.17 1.00 0.00

time (sec)

N/A 0.018 0.003 0.005 0.596 0.932 0.105 0.229 0.047 0.000






















Problem 350

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

17 17 17 16 15 15 15 16 23 0

N.S.

1 1.00 1.00 0.94 0.88 0.88 0.88 0.94 1.35 0.00

time (sec)

N/A 0.037 0.005 0.005 1.532 1.257 0.133 0.243 2.284 0.000






















Problem 351

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

13 13 13 14 13 13 10 14 19 0

N.S.

1 1.00 1.00 1.08 1.00 1.00 0.77 1.08 1.46 0.00

time (sec)

N/A 0.035 0.008 0.006 1.410 1.177 0.132 0.343 0.060 0.000






















Problem 352

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

28 28 22 21 20 26 20 22 20 0

N.S.

1 1.00 0.79 0.75 0.71 0.93 0.71 0.79 0.71 0.00

time (sec)

N/A 0.011 0.015 0.007 0.662 1.102 0.112 0.297 0.069 0.000






















Problem 353

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

32 32 32 27 26 37 26 43 22 0

N.S.

1 1.00 1.00 0.84 0.81 1.16 0.81 1.34 0.69 0.00

time (sec)

N/A 0.026 0.017 0.009 0.746 1.157 0.134 0.298 2.226 0.001






















Problem 354

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

23 23 28 20 19 19 19 20 25 0

N.S.

1 1.00 1.22 0.87 0.83 0.83 0.83 0.87 1.09 0.00

time (sec)

N/A 0.034 0.008 0.005 1.558 1.191 0.136 0.310 0.049 0.000






















Problem 355

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A B B F

verified

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

size

24 24 22 21 20 36 20 47 28 0

N.S.

1 1.00 0.92 0.88 0.83 1.50 0.83 1.96 1.17 0.00

time (sec)

N/A 0.035 0.014 0.007 1.600 1.352 0.141 0.303 2.111 0.001






















Problem 356

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

49 49 49 40 39 37 44 39 41 0

N.S.

1 1.00 1.00 0.82 0.80 0.76 0.90 0.80 0.84 0.00

time (sec)

N/A 0.142 0.014 0.007 1.708 1.303 0.224 0.283 2.156 0.001






















Problem 357

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

25 25 19 20 19 19 19 22 19 0

N.S.

1 1.00 0.76 0.80 0.76 0.76 0.76 0.88 0.76 0.00

time (sec)

N/A 0.055 0.008 0.006 1.067 1.135 0.145 0.392 2.135 0.001






















Problem 358

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

60 60 54 48 47 60 63 60 61 0

N.S.

1 1.00 0.90 0.80 0.78 1.00 1.05 1.00 1.02 0.00

time (sec)

N/A 0.246 0.053 0.009 2.798 1.599 0.252 0.343 0.130 0.001






















Problem 359

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B A

verified

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

size

11 11 11 10 9 9 5 9 6 9

N.S.

1 1.00 1.00 0.91 0.82 0.82 0.45 0.82 0.55 0.82

time (sec)

N/A 0.007 0.000 0.000 0.845 1.165 0.060 0.227 0.016 0.018






















Problem 360

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

29 29 29 22 21 21 22 23 21 0

N.S.

1 1.00 1.00 0.76 0.72 0.72 0.76 0.79 0.72 0.00

time (sec)

N/A 0.016 0.005 0.005 1.096 1.136 0.108 0.355 2.124 0.000






















Problem 361

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

45 45 45 37 37 52 37 37 49 0

N.S.

1 1.00 1.00 0.82 0.82 1.16 0.82 0.82 1.09 0.00

time (sec)

N/A 0.025 0.013 0.007 1.839 0.745 0.137 0.299 0.041 0.000






















Problem 362

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

32 32 32 29 28 52 29 29 44 0

N.S.

1 1.00 1.00 0.91 0.88 1.62 0.91 0.91 1.38 0.00

time (sec)

N/A 0.254 0.019 0.010 2.025 1.220 0.263 0.325 0.069 0.001






















Problem 363

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

148 148 159 110 132 178 146 122 124 0

N.S.

1 1.00 1.07 0.74 0.89 1.20 0.99 0.82 0.84 0.00

time (sec)

N/A 0.136 0.068 0.011 2.009 1.287 0.429 0.388 2.189 0.001






















Problem 364

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A C A A B F

verified

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

size

112 112 101 79 99 515 61 92 170 0

N.S.

1 1.00 0.90 0.71 0.88 4.60 0.54 0.82 1.52 0.00

time (sec)

N/A 0.114 0.049 0.007 2.058 4.324 0.965 0.390 2.228 0.000






















Problem 365

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

14 14 14 13 12 12 10 14 12 0

N.S.

1 1.00 1.00 0.93 0.86 0.86 0.71 1.00 0.86 0.00

time (sec)

N/A 0.016 0.003 0.005 0.907 1.348 0.103 0.262 0.044 0.001






















Problem 366

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

12 12 12 11 10 10 8 12 10 0

N.S.

1 1.00 1.00 0.92 0.83 0.83 0.67 1.00 0.83 0.00

time (sec)

N/A 0.029 0.005 0.004 1.005 1.563 0.098 0.372 2.138 0.000






















Problem 367

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

17 17 17 16 15 21 14 17 15 0

N.S.

1 1.00 1.00 0.94 0.88 1.24 0.82 1.00 0.88 0.00

time (sec)

N/A 0.030 0.004 0.007 0.892 1.183 0.108 0.319 0.027 0.001






















Problem 368

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

17 17 17 16 15 15 14 17 15 0

N.S.

1 1.00 1.00 0.94 0.88 0.88 0.82 1.00 0.88 0.00

time (sec)

N/A 0.029 0.004 0.005 0.900 1.005 0.100 0.260 0.033 0.000






















Problem 369

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

18 18 18 17 16 25 15 23 16 0

N.S.

1 1.00 1.00 0.94 0.89 1.39 0.83 1.28 0.89 0.00

time (sec)

N/A 0.030 0.004 0.006 1.921 1.017 0.105 0.267 0.050 0.000






















Problem 370

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

10 10 10 11 10 14 7 11 10 0

N.S.

1 1.00 1.00 1.10 1.00 1.40 0.70 1.10 1.00 0.00

time (sec)

N/A 0.019 0.005 0.005 0.892 1.029 0.086 0.361 0.034 0.000






















Problem 371

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

42 42 42 31 30 30 36 33 30 0

N.S.

1 1.00 1.00 0.74 0.71 0.71 0.86 0.79 0.71 0.00

time (sec)

N/A 0.040 0.007 0.008 0.878 0.928 0.151 0.287 0.053 0.000






















Problem 372

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

46 46 46 41 38 38 51 38 88 0

N.S.

1 1.00 1.00 0.89 0.83 0.83 1.11 0.83 1.91 0.00

time (sec)

N/A 0.125 0.017 0.002 1.972 1.154 0.212 0.355 0.002 0.001






















Problem 373

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

19 19 19 16 15 15 14 17 8 0

N.S.

1 1.00 1.00 0.84 0.79 0.79 0.74 0.89 0.42 0.00

time (sec)

N/A 0.062 0.003 0.007 1.026 1.083 0.109 0.281 0.084 0.000






















Problem 374

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

40 40 40 31 30 30 34 32 26 0

N.S.

1 1.00 1.00 0.78 0.75 0.75 0.85 0.80 0.65 0.00

time (sec)

N/A 0.021 0.005 0.007 0.995 1.087 0.119 0.284 2.093 0.001






















Problem 375

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

33 33 33 26 25 25 27 27 21 0

N.S.

1 1.00 1.00 0.79 0.76 0.76 0.82 0.82 0.64 0.00

time (sec)

N/A 0.020 0.004 0.006 1.020 0.929 0.117 0.343 0.033 0.000






















Problem 376

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

26 26 26 21 20 20 20 22 16 0

N.S.

1 1.00 1.00 0.81 0.77 0.77 0.77 0.85 0.62 0.00

time (sec)

N/A 0.015 0.005 0.006 1.027 1.465 0.117 0.270 2.117 0.000






















Problem 377

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

21 21 21 18 17 17 17 19 13 0

N.S.

1 1.00 1.00 0.86 0.81 0.81 0.81 0.90 0.62 0.00

time (sec)

N/A 0.007 0.003 0.003 1.173 0.935 0.109 0.286 2.110 0.000






















Problem 378

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

21 21 21 18 17 17 15 19 8 0

N.S.

1 1.00 1.00 0.86 0.81 0.81 0.71 0.90 0.38 0.00

time (sec)

N/A 0.010 0.003 0.005 0.926 1.104 0.110 0.275 0.078 0.000






















Problem 379

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

27 27 27 22 21 21 24 24 17 0

N.S.

1 1.00 1.00 0.81 0.78 0.78 0.89 0.89 0.63 0.00

time (sec)

N/A 0.016 0.004 0.008 0.916 0.826 0.148 0.373 0.095 0.001






















Problem 380

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

34 34 34 27 26 30 31 29 22 0

N.S.

1 1.00 1.00 0.79 0.76 0.88 0.91 0.85 0.65 0.00

time (sec)

N/A 0.030 0.004 0.008 1.062 0.967 0.162 0.266 0.035 0.001






















Problem 381

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

41 41 41 32 31 39 36 34 26 0

N.S.

1 1.00 1.00 0.78 0.76 0.95 0.88 0.83 0.63 0.00

time (sec)

N/A 0.034 0.005 0.008 1.015 1.124 0.170 0.276 0.036 0.001






















Problem 382

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

48 48 48 37 36 44 41 39 32 0

N.S.

1 1.00 1.00 0.77 0.75 0.92 0.85 0.81 0.67 0.00

time (sec)

N/A 0.041 0.005 0.009 1.071 1.018 0.182 0.238 0.037 0.000






















Problem 383

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A C C F B A F B F

verified

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

size

157 157 61 54 0 1506 41 0 144 0

N.S.

1 1.00 0.39 0.34 0.00 9.59 0.26 0.00 0.92 0.00

time (sec)

N/A 0.168 0.016 0.014 0.000 3.453 0.225 0.000 2.745 0.001






















Problem 384

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A C C F B A F B F

verified

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

size

157 157 61 56 0 1546 41 0 142 0

N.S.

1 1.00 0.39 0.36 0.00 9.85 0.26 0.00 0.90 0.00

time (sec)

N/A 0.112 0.017 0.015 0.000 4.054 0.227 0.000 2.805 0.001






















Problem 385

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A C C F B A F B F

verified

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

size

188 188 61 54 0 2271 39 0 142 0

N.S.

1 1.00 0.32 0.29 0.00 12.08 0.21 0.00 0.76 0.00

time (sec)

N/A 0.276 0.013 0.008 0.000 4.129 0.211 0.000 2.780 0.000






















Problem 386

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A C C F B A F B F

verified

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

size

188 188 61 56 0 2259 39 0 142 0

N.S.

1 1.00 0.32 0.30 0.00 12.02 0.21 0.00 0.76 0.00

time (sec)

N/A 0.156 0.013 0.010 0.000 4.000 0.212 0.000 2.740 0.000






















Problem 387

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

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

verified

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

size

663 663 63 69 0 0 133 0 328 0

N.S.

1 1.00 0.10 0.10 0.00 0.00 0.20 0.00 0.49 0.00

time (sec)

N/A 1.108 0.037 0.074 0.000 0.000 3.924 0.000 2.699 0.001






















Problem 388

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

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

verified

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

size

663 663 63 69 0 0 133 0 328 0

N.S.

1 1.00 0.10 0.10 0.00 0.00 0.20 0.00 0.49 0.00

time (sec)

N/A 0.648 0.031 0.002 0.000 0.000 3.920 0.000 0.002 0.001






















Problem 389

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A F C C F C A F B F

verified

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

size

168 0 95 67 0 5653 42 0 504 0

N.S.

1 0.00 0.57 0.40 0.00 33.65 0.25 0.00 3.00 0.00

time (sec)

N/A 0.380 0.061 0.278 0.000 4.553 1.866 0.000 3.082 0.001






















Problem 390

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A F(-1) A A B F

verified

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

size

320 320 322 314 310 0 384 311 894 0

N.S.

1 1.00 1.01 0.98 0.97 0.00 1.20 0.97 2.79 0.00

time (sec)

N/A 0.256 0.249 0.011 1.956 0.000 5.289 0.361 2.843 0.001






















Problem 391

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A F(-1) A A B F

verified

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

size

291 291 243 292 275 0 277 285 556 0

N.S.

1 1.00 0.84 1.00 0.95 0.00 0.95 0.98 1.91 0.00

time (sec)

N/A 0.198 0.100 0.003 2.047 0.000 2.678 0.336 2.657 0.001






















Problem 392

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A F(-1) A A B F

verified

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

size

219 219 184 151 207 0 124 215 160 0

N.S.

1 1.00 0.84 0.69 0.95 0.00 0.57 0.98 0.73 0.00

time (sec)

N/A 0.174 0.059 0.002 2.666 0.000 0.823 0.316 2.323 0.000






















Problem 393

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

185 185 134 128 169 121 20 179 33 0

N.S.

1 1.00 0.72 0.69 0.91 0.65 0.11 0.97 0.18 0.00

time (sec)

N/A 0.098 0.018 0.003 2.367 1.073 0.161 0.325 0.083 0.000






















Problem 394

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A F(-1) F(-1) A B F

verified

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

size

416 416 404 433 345 0 0 371 874 0

N.S.

1 1.00 0.97 1.04 0.83 0.00 0.00 0.89 2.10 0.00

time (sec)

N/A 0.428 0.149 0.007 2.727 0.000 0.000 0.422 0.418 0.001






















Problem 395

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A F(-1) F(-1) A B F

verified

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

size

552 552 524 866 561 0 0 646 2436 0

N.S.

1 1.00 0.95 1.57 1.02 0.00 0.00 1.17 4.41 0.00

time (sec)

N/A 0.808 0.606 0.010 2.109 0.000 0.000 2.780 2.779 0.001






















Problem 396

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A B A F(-1) F(-1) A B F

verified

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

size

680 680 738 1201 817 0 0 901 1955 0

N.S.

1 1.00 1.09 1.77 1.20 0.00 0.00 1.32 2.88 0.00

time (sec)

N/A 0.950 0.929 0.012 2.342 0.000 0.000 0.892 3.674 0.001






















Problem 397

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A F(-1) A A B F

verified

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

size

349 349 347 390 332 0 350 342 670 0

N.S.

1 1.00 0.99 1.12 0.95 0.00 1.00 0.98 1.92 0.00

time (sec)

N/A 0.298 0.374 0.004 2.200 0.000 8.334 0.342 0.433 0.001






















Problem 398

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A F(-1) A A B F

verified

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

size

322 322 321 362 318 0 318 323 391 0

N.S.

1 1.00 1.00 1.12 0.99 0.00 0.99 1.00 1.21 0.00

time (sec)

N/A 0.269 0.316 0.007 2.630 0.000 3.521 0.364 2.483 0.001






















Problem 399

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A F(-1) A A B F

verified

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

size

241 241 224 188 238 0 155 241 282 0

N.S.

1 1.00 0.93 0.78 0.99 0.00 0.64 1.00 1.17 0.00

time (sec)

N/A 0.189 0.189 0.005 2.433 0.000 1.092 0.339 0.274 0.001






















Problem 400

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

202 202 183 143 189 173 39 194 58 0

N.S.

1 1.00 0.91 0.71 0.94 0.86 0.19 0.96 0.29 0.00

time (sec)

N/A 0.116 0.107 0.005 2.108 1.162 0.297 0.246 0.089 0.000






















Problem 401

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A F(-1) F(-1) A B F

verified

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

size

855 855 558 1122 601 0 0 771 1591 0

N.S.

1 1.00 0.65 1.31 0.70 0.00 0.00 0.90 1.86 0.00

time (sec)

N/A 0.849 0.391 0.019 2.291 0.000 0.000 0.504 2.995 0.001






















Problem 402

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A F(-1) F(-1) A B F

verified

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

size

1141 1141 807 1636 961 0 0 1104 2246 0

N.S.

1 1.00 0.71 1.43 0.84 0.00 0.00 0.97 1.97 0.00

time (sec)

N/A 1.659 0.865 0.023 2.541 0.000 0.000 103.636 4.104 0.001






















Problem 403

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A F(-1) F(-1) A B F

verified

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

size

1384 1384 996 2121 1394 0 0 1488 3256 0

N.S.

1 1.00 0.72 1.53 1.01 0.00 0.00 1.08 2.35 0.00

time (sec)

N/A 1.963 1.357 0.026 2.602 0.000 0.000 1.148 5.038 0.001






















Problem 404

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A F(-1) A A B F

verified

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

size

394 394 388 470 392 0 413 389 721 0

N.S.

1 1.00 0.98 1.19 0.99 0.00 1.05 0.99 1.83 0.00

time (sec)

N/A 0.346 0.351 0.007 2.373 0.000 8.013 0.354 0.478 0.001






















Problem 405

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A F(-1) A A B F

verified

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

size

360 360 358 419 364 0 374 356 676 0

N.S.

1 1.00 0.99 1.16 1.01 0.00 1.04 0.99 1.88 0.00

time (sec)

N/A 0.326 0.294 0.007 2.181 0.000 4.878 0.433 0.471 0.001






















Problem 406

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A F(-1) A A B F

verified

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

size

266 266 249 222 269 0 192 260 315 0

N.S.

1 1.00 0.94 0.83 1.01 0.00 0.72 0.98 1.18 0.00

time (sec)

N/A 0.249 0.206 0.007 2.204 0.000 1.483 0.320 0.303 0.000






















Problem 407

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

219 219 200 158 212 232 63 204 80 0

N.S.

1 1.00 0.91 0.72 0.97 1.06 0.29 0.93 0.37 0.00

time (sec)

N/A 0.142 0.083 0.005 2.704 1.459 0.461 0.358 0.096 0.000






















Problem 408

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A F(-1) F(-1) A B F

verified

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

size

1352 1352 835 2098 1015 0 0 1259 2720 0

N.S.

1 1.00 0.62 1.55 0.75 0.00 0.00 0.93 2.01 0.00

time (sec)

N/A 1.412 0.738 0.025 2.408 0.000 0.000 0.910 4.406 0.001






















Problem 409

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A F(-1) F(-1) F(-1) B F

verified

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

size

1830 1830 1115 2769 1564 0 0 0 3572 0

N.S.

1 1.00 0.61 1.51 0.85 0.00 0.00 0.00 1.95 0.00

time (sec)

N/A 2.781 1.551 0.033 3.097 0.000 0.000 0.000 5.754 0.001






















Problem 410

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A F(-1) F(-1) A B F

verified

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

size

2204 2204 1338 3334 2198 0 0 2119 6280 0

N.S.

1 1.00 0.61 1.51 1.00 0.00 0.00 0.96 2.85 0.00

time (sec)

N/A 3.165 2.873 0.038 3.988 0.000 0.000 1.534 7.785 0.001






















Problem 411

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

32 32 33 29 28 28 34 28 30 0

N.S.

1 1.00 1.03 0.91 0.88 0.88 1.06 0.88 0.94 0.00

time (sec)

N/A 0.019 0.010 0.002 2.532 1.534 0.112 0.295 0.041 0.000






















Problem 412

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

32 32 33 29 28 28 34 28 30 0

N.S.

1 1.00 1.03 0.91 0.88 0.88 1.06 0.88 0.94 0.00

time (sec)

N/A 0.029 0.006 0.002 2.530 1.387 0.115 0.380 0.035 0.001






















Problem 413

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

32 32 31 29 26 26 36 26 30 0

N.S.

1 1.00 0.97 0.91 0.81 0.81 1.12 0.81 0.94 0.00

time (sec)

N/A 0.017 0.009 0.003 2.156 1.652 0.116 0.388 0.043 0.001






















Problem 414

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

32 32 31 29 26 26 36 26 30 0

N.S.

1 1.00 0.97 0.91 0.81 0.81 1.12 0.81 0.94 0.00

time (sec)

N/A 0.035 0.005 0.003 2.329 1.658 0.120 0.335 0.032 0.000






















Problem 415

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

45 45 42 29 35 45 39 44 34 0

N.S.

1 1.00 0.93 0.64 0.78 1.00 0.87 0.98 0.76 0.00

time (sec)

N/A 0.012 0.022 0.003 2.621 1.613 0.111 0.415 2.319 0.000






















Problem 416

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

45 45 42 29 35 45 39 44 34 0

N.S.

1 1.00 0.93 0.64 0.78 1.00 0.87 0.98 0.76 0.00

time (sec)

N/A 0.021 0.005 0.003 2.332 1.406 0.118 0.315 0.047 0.000






















Problem 417

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A B B B B B B B F

verified

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

size

6 6 23 18 17 17 15 15 6 0

N.S.

1 1.00 3.83 3.00 2.83 2.83 2.50 2.50 1.00 0.00

time (sec)

N/A 0.002 0.003 0.005 1.061 1.393 0.094 0.310 2.270 0.000






















Problem 418

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

21 21 23 18 17 17 15 19 6 0

N.S.

1 1.00 1.10 0.86 0.81 0.81 0.71 0.90 0.29 0.00

time (sec)

N/A 0.004 0.003 0.002 0.942 1.162 0.098 0.416 0.146 0.000






















Problem 419

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A B B A B F

verified

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

size

13 13 11 10 9 24 22 9 9 0

N.S.

1 1.00 0.85 0.77 0.69 1.85 1.69 0.69 0.69 0.00

time (sec)

N/A 0.002 0.003 0.001 0.882 1.346 0.125 0.335 2.319 0.000






















Problem 420

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A B A B B B B B B F

verified

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

size

13 81 11 58 57 24 22 57 9 0

N.S.

1 6.23 0.85 4.46 4.38 1.85 1.69 4.38 0.69 0.00

time (sec)

N/A 0.012 0.002 0.002 0.937 1.104 0.314 0.312 0.025 0.001






















Problem 421

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

69 69 78 67 66 66 85 68 94 0

N.S.

1 1.00 1.13 0.97 0.96 0.96 1.23 0.99 1.36 0.00

time (sec)

N/A 0.111 0.014 0.009 2.014 1.257 0.250 0.293 0.102 0.000






















Problem 422

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

69 69 78 67 66 66 85 68 94 0

N.S.

1 1.00 1.13 0.97 0.96 0.96 1.23 0.99 1.36 0.00

time (sec)

N/A 0.124 0.006 0.003 1.990 1.359 0.254 0.307 0.039 0.001






















Problem 423

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

24 24 31 21 20 20 20 21 20 0

N.S.

1 1.00 1.29 0.88 0.83 0.83 0.83 0.88 0.83 0.00

time (sec)

N/A 0.019 0.006 0.003 0.631 1.482 0.078 0.307 0.037 0.000






















Problem 424

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

26 26 25 21 20 20 19 21 20 0

N.S.

1 1.00 0.96 0.81 0.77 0.77 0.73 0.81 0.77 0.00

time (sec)

N/A 0.016 0.004 0.002 0.686 1.351 0.073 0.295 0.033 0.000






















Problem 425

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

17 17 22 16 15 18 15 15 17 0

N.S.

1 1.00 1.29 0.94 0.88 1.06 0.88 0.88 1.00 0.00

time (sec)

N/A 0.006 0.000 0.000 0.664 0.992 0.057 0.388 0.024 0.000






















Problem 426

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

24 24 22 20 20 18 15 20 17 0

N.S.

1 1.00 0.92 0.83 0.83 0.75 0.62 0.83 0.71 0.00

time (sec)

N/A 0.005 0.001 0.001 0.568 1.000 0.058 0.368 0.021 0.000






















Problem 427

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

22 22 24 23 22 25 20 23 28 0

N.S.

1 1.00 1.09 1.05 1.00 1.14 0.91 1.05 1.27 0.00

time (sec)

N/A 0.019 0.006 0.007 1.378 0.958 0.132 0.393 0.045 0.001






















Problem 428

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

17 17 27 16 15 15 15 18 15 0

N.S.

1 1.00 1.59 0.94 0.88 0.88 0.88 1.06 0.88 0.00

time (sec)

N/A 0.013 0.004 0.007 0.755 1.408 0.130 0.327 0.057 0.001






















Problem 429

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

19 19 19 14 13 13 12 16 13 0

N.S.

1 1.00 1.00 0.74 0.68 0.68 0.63 0.84 0.68 0.00

time (sec)

N/A 0.021 0.004 0.006 0.659 1.279 0.096 0.305 2.336 0.001






















Problem 430

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

12 12 17 11 10 10 8 13 10 0

N.S.

1 1.00 1.42 0.92 0.83 0.83 0.67 1.08 0.83 0.00

time (sec)

N/A 0.006 0.004 0.001 0.621 1.396 0.089 0.398 2.269 0.001






















Problem 431

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

10 10 11 11 10 10 8 11 10 0

N.S.

1 1.00 1.10 1.10 1.00 1.00 0.80 1.10 1.00 0.00

time (sec)

N/A 0.009 0.006 0.002 0.610 1.160 0.132 0.332 0.056 0.001






















Problem 432

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

17 17 17 16 15 15 15 18 15 0

N.S.

1 1.00 1.00 0.94 0.88 0.88 0.88 1.06 0.88 0.00

time (sec)

N/A 0.018 0.006 0.005 0.614 0.994 0.125 0.356 0.056 0.000






















Problem 433

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

23 23 23 18 17 17 17 18 21 0

N.S.

1 1.00 1.00 0.78 0.74 0.74 0.74 0.78 0.91 0.00

time (sec)

N/A 0.021 0.004 0.005 1.640 1.391 0.128 0.376 0.049 0.000






















Problem 434

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

15 15 15 14 13 13 10 13 13 0

N.S.

1 1.00 1.00 0.93 0.87 0.87 0.67 0.87 0.87 0.00

time (sec)

N/A 0.009 0.004 0.000 0.655 1.272 0.092 0.278 0.042 0.000






















Problem 435

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

21 21 21 18 17 17 20 20 17 0

N.S.

1 1.00 1.00 0.86 0.81 0.81 0.95 0.95 0.81 0.00

time (sec)

N/A 0.021 0.005 0.006 0.586 1.534 0.131 0.369 0.067 0.000






















Problem 436

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

10 10 9 14 9 9 7 9 10 0

N.S.

1 1.00 0.90 1.40 0.90 0.90 0.70 0.90 1.00 0.00

time (sec)

N/A 0.010 0.005 0.003 0.781 1.190 0.083 0.261 2.204 0.001






















Problem 437

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

25 25 25 18 17 17 20 20 17 0

N.S.

1 1.00 1.00 0.72 0.68 0.68 0.80 0.80 0.68 0.00

time (sec)

N/A 0.021 0.005 0.006 0.646 1.421 0.132 0.362 0.107 0.000






















Problem 438

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

14 14 14 15 14 14 12 14 14 0

N.S.

1 1.00 1.00 1.07 1.00 1.00 0.86 1.00 1.00 0.00

time (sec)

N/A 0.025 0.004 0.001 1.557 1.728 0.105 0.252 2.219 0.000






















Problem 439

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A B A A A A B F

verified

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

size

13 13 14 30 11 16 17 11 20 0

N.S.

1 1.00 1.08 2.31 0.85 1.23 1.31 0.85 1.54 0.00

time (sec)

N/A 0.007 0.007 0.010 0.582 1.448 0.130 0.371 2.245 0.001






















Problem 440

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

26 26 25 32 26 25 20 27 25 0

N.S.

1 1.00 0.96 1.23 1.00 0.96 0.77 1.04 0.96 0.00

time (sec)

N/A 0.045 0.008 0.003 0.717 1.513 0.154 0.283 2.234 0.001






















Problem 441

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

6 6 4 5 4 4 3 5 4 0

N.S.

1 1.00 0.67 0.83 0.67 0.67 0.50 0.83 0.67 0.00

time (sec)

N/A 0.008 0.001 0.001 0.570 1.491 0.064 0.280 0.018 0.000






















Problem 442

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

20 20 20 19 20 25 19 27 18 0

N.S.

1 1.00 1.00 0.95 1.00 1.25 0.95 1.35 0.90 0.00

time (sec)

N/A 0.015 0.005 0.007 0.718 1.653 0.105 0.381 0.039 0.001






















Problem 443

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

38 38 40 28 27 27 31 28 44 0

N.S.

1 1.00 1.05 0.74 0.71 0.71 0.82 0.74 1.16 0.00

time (sec)

N/A 0.025 0.010 0.005 1.973 1.270 0.141 0.389 0.158 0.000






















Problem 444

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

17 17 18 16 15 15 14 16 15 0

N.S.

1 1.00 1.06 0.94 0.88 0.88 0.82 0.94 0.88 0.00

time (sec)

N/A 0.008 0.004 0.002 0.440 1.158 0.073 0.367 0.031 0.000






















Problem 445

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

31 31 36 22 21 21 22 22 25 0

N.S.

1 1.00 1.16 0.71 0.68 0.68 0.71 0.71 0.81 0.00

time (sec)

N/A 0.012 0.005 0.005 0.995 1.455 0.141 0.274 0.053 0.000






















Problem 446

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

19 19 19 16 17 15 17 17 13 0

N.S.

1 1.00 1.00 0.84 0.89 0.79 0.89 0.89 0.68 0.00

time (sec)

N/A 0.017 0.006 0.006 0.474 1.301 0.114 0.408 0.090 0.001






















Problem 447

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

11 11 9 9 9 9 8 11 9 0

N.S.

1 1.00 0.82 0.82 0.82 0.82 0.73 1.00 0.82 0.00

time (sec)

N/A 0.005 0.004 0.000 0.447 1.330 0.088 0.287 2.217 0.001






















Problem 448

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

18 18 18 13 12 12 14 12 12 0

N.S.

1 1.00 1.00 0.72 0.67 0.67 0.78 0.67 0.67 0.00

time (sec)

N/A 0.014 0.009 0.006 1.008 1.476 0.143 0.371 2.216 0.000






















Problem 449

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A B A A B F

verified

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

size

46 46 44 39 46 83 46 52 45 0

N.S.

1 1.00 0.96 0.85 1.00 1.80 1.00 1.13 0.98 0.00

time (sec)

N/A 0.023 0.019 0.010 0.448 1.321 0.195 0.363 0.042 0.000






















Problem 450

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

12 12 10 14 8 8 7 9 8 0

N.S.

1 1.00 0.83 1.17 0.67 0.67 0.58 0.75 0.67 0.00

time (sec)

N/A 0.002 0.001 0.002 0.438 1.394 0.076 0.275 0.042 0.000






















Problem 451

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A B A A B F

verified

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

size

21 21 27 28 23 34 20 25 17 0

N.S.

1 1.00 1.29 1.33 1.10 1.62 0.95 1.19 0.81 0.00

time (sec)

N/A 0.003 0.008 0.008 0.451 1.292 0.108 0.271 2.216 0.000






















Problem 452

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

19 19 19 16 15 21 12 15 17 0

N.S.

1 1.00 1.00 0.84 0.79 1.11 0.63 0.79 0.89 0.00

time (sec)

N/A 0.004 0.008 0.006 0.996 1.045 0.101 0.290 0.027 0.000






















Problem 453

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

10 10 10 9 8 8 7 9 6 0

N.S.

1 1.00 1.00 0.90 0.80 0.80 0.70 0.90 0.60 0.00

time (sec)

N/A 0.001 0.001 0.001 0.453 1.393 0.058 0.382 0.068 0.000






















Problem 454

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A C A B F

verified

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

size

10 10 10 11 10 10 20 10 10 0

N.S.

1 1.00 1.00 1.10 1.00 1.00 2.00 1.00 1.00 0.00

time (sec)

N/A 0.003 0.002 0.003 0.995 1.350 0.112 0.261 2.245 0.000






















Problem 455

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A B A B F

verified

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

size

24 24 24 16 15 67 53 15 16 0

N.S.

1 1.00 1.00 0.67 0.62 2.79 2.21 0.62 0.67 0.00

time (sec)

N/A 0.007 0.004 0.002 0.982 1.205 0.134 0.379 2.243 0.000






















Problem 456

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

19 19 19 17 16 16 26 16 16 0

N.S.

1 1.00 1.00 0.89 0.84 0.84 1.37 0.84 0.84 0.00

time (sec)

N/A 0.011 0.006 0.002 0.955 1.440 0.108 0.380 0.032 0.000






















Problem 457

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

22 22 22 17 16 16 17 16 17 0

N.S.

1 1.00 1.00 0.77 0.73 0.73 0.77 0.73 0.77 0.00

time (sec)

N/A 0.007 0.001 0.000 0.460 1.130 0.057 0.310 0.024 0.000






















Problem 458

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

22 22 22 17 16 16 15 16 17 0

N.S.

1 1.00 1.00 0.77 0.73 0.73 0.68 0.73 0.77 0.00

time (sec)

N/A 0.005 0.001 0.000 0.456 1.119 0.056 0.287 0.029 0.000






















Problem 459

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

16 16 16 15 14 15 10 14 15 0

N.S.

1 1.00 1.00 0.94 0.88 0.94 0.62 0.88 0.94 0.00

time (sec)

N/A 0.005 0.001 0.003 0.456 1.303 0.069 0.306 0.028 0.000






















Problem 460

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

37 37 37 31 30 30 39 30 30 0

N.S.

1 1.00 1.00 0.84 0.81 0.81 1.05 0.81 0.81 0.00

time (sec)

N/A 0.021 0.010 0.005 0.976 1.259 0.118 0.266 2.219 0.001






















Problem 461

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

14 14 14 13 12 12 10 12 13 0

N.S.

1 1.00 1.00 0.93 0.86 0.86 0.71 0.86 0.93 0.00

time (sec)

N/A 0.004 0.000 0.001 0.466 0.969 0.054 0.364 0.024 0.000






















Problem 462

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B A

verified

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

size

11 11 11 10 9 9 7 9 6 9

N.S.

1 1.00 1.00 0.91 0.82 0.82 0.64 0.82 0.55 0.82

time (sec)

N/A 0.004 0.000 0.001 0.450 1.281 0.058 0.286 0.016 0.014






















Problem 463

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

25 25 25 20 19 19 20 20 25 0

N.S.

1 1.00 1.00 0.80 0.76 0.76 0.80 0.80 1.00 0.00

time (sec)

N/A 0.010 0.006 0.005 0.994 1.444 0.136 0.365 0.049 0.000






















Problem 464

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

25 25 25 20 19 19 19 20 25 0

N.S.

1 1.00 1.00 0.80 0.76 0.76 0.76 0.80 1.00 0.00

time (sec)

N/A 0.010 0.005 0.003 1.359 2.123 0.129 0.292 2.228 0.000






















Problem 465

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

25 25 25 20 19 19 19 20 25 0

N.S.

1 1.00 1.00 0.80 0.76 0.76 0.76 0.80 1.00 0.00

time (sec)

N/A 0.017 0.006 0.005 1.432 1.268 0.123 0.249 2.209 0.000






















Problem 466

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

9 7 7 8 7 12 5 8 7 0

N.S.

1 0.78 0.78 0.89 0.78 1.33 0.56 0.89 0.78 0.00

time (sec)

N/A 0.006 0.003 0.003 0.951 1.179 0.073 0.298 0.023 0.000






















Problem 467

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

22 22 22 17 16 16 20 16 16 0

N.S.

1 1.00 1.00 0.77 0.73 0.73 0.91 0.73 0.73 0.00

time (sec)

N/A 0.011 0.013 0.007 1.579 1.192 0.149 0.292 0.055 0.001






















Problem 468

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

37 37 37 31 30 30 44 30 30 0

N.S.

1 1.00 1.00 0.84 0.81 0.81 1.19 0.81 0.81 0.00

time (sec)

N/A 0.022 0.013 0.003 1.393 1.169 0.122 0.384 0.045 0.000






















Problem 469

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

15 15 15 14 15 19 14 16 13 0

N.S.

1 1.00 1.00 0.93 1.00 1.27 0.93 1.07 0.87 0.00

time (sec)

N/A 0.004 0.002 0.004 0.969 1.342 0.086 0.269 0.026 0.000






















Problem 470

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

15 15 15 14 13 15 10 14 13 0

N.S.

1 1.00 1.00 0.93 0.87 1.00 0.67 0.93 0.87 0.00

time (sec)

N/A 0.004 0.001 0.005 0.948 0.903 0.076 0.280 0.023 0.000






















Problem 471

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

11 11 11 12 13 11 8 13 11 0

N.S.

1 1.00 1.00 1.09 1.18 1.00 0.73 1.18 1.00 0.00

time (sec)

N/A 0.011 0.003 0.005 0.692 1.303 0.095 0.287 0.056 0.001






















Problem 472

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

22 22 19 18 17 17 17 17 17 0

N.S.

1 1.00 0.86 0.82 0.77 0.77 0.77 0.77 0.77 0.00

time (sec)

N/A 0.004 0.001 0.000 0.876 0.524 0.056 0.356 0.030 0.000






















Problem 473

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A B B B A B F

verified

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

size

11 11 11 10 19 19 19 9 9 0

N.S.

1 1.00 1.00 0.91 1.73 1.73 1.73 0.82 0.82 0.00

time (sec)

N/A 0.001 0.001 0.000 0.862 1.463 0.057 0.216 0.142 0.000






















Problem 474

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

13 13 16 14 13 13 12 14 11 0

N.S.

1 1.00 1.23 1.08 1.00 1.00 0.92 1.08 0.85 0.00

time (sec)

N/A 0.010 0.004 0.002 0.643 1.003 0.076 0.361 2.211 0.000






















Problem 475

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

16 16 16 15 14 18 14 16 12 0

N.S.

1 1.00 1.00 0.94 0.88 1.12 0.88 1.00 0.75 0.00

time (sec)

N/A 0.006 0.003 0.007 0.588 1.316 0.100 0.360 0.034 0.000






















Problem 476

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

27 27 26 24 25 39 24 27 23 0

N.S.

1 1.00 0.96 0.89 0.93 1.44 0.89 1.00 0.85 0.00

time (sec)

N/A 0.011 0.016 0.008 0.815 1.210 0.111 0.379 2.228 0.001






















Problem 477

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

17 17 18 16 15 15 12 16 15 0

N.S.

1 1.00 1.06 0.94 0.88 0.88 0.71 0.94 0.88 0.00

time (sec)

N/A 0.008 0.003 0.002 0.740 1.578 0.073 0.357 0.026 0.000






















Problem 478

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

18 18 18 17 16 20 15 17 16 0

N.S.

1 1.00 1.00 0.94 0.89 1.11 0.83 0.94 0.89 0.00

time (sec)

N/A 0.006 0.001 0.005 0.728 1.031 0.078 0.371 0.029 0.000






















Problem 479

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A F(-2) A A B F

verified

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

size

18 18 18 28 14 0 14 14 13 0

N.S.

1 1.00 1.00 1.56 0.78 0.00 0.78 0.78 0.72 0.00

time (sec)

N/A 0.010 0.001 0.001 1.708 0.000 0.057 0.351 0.024 0.000






















Problem 480

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A B A A B F

verified

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

size

23 23 23 22 34 46 31 25 23 0

N.S.

1 1.00 1.00 0.96 1.48 2.00 1.35 1.09 1.00 0.00

time (sec)

N/A 0.018 0.010 0.006 0.738 1.137 0.109 0.369 0.032 0.000






















Problem 481

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A B B F

verified

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

size

16 16 12 13 12 15 10 32 12 0

N.S.

1 1.00 0.75 0.81 0.75 0.94 0.62 2.00 0.75 0.00

time (sec)

N/A 0.012 0.006 0.004 1.789 0.870 0.107 0.262 2.219 0.001






















Problem 482

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

29 29 30 26 25 25 24 26 25 0

N.S.

1 1.00 1.03 0.90 0.86 0.86 0.83 0.90 0.86 0.00

time (sec)

N/A 0.020 0.008 0.001 0.765 1.409 0.080 0.283 0.026 0.001






















Problem 483

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B A

verified

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

size

16 16 16 13 12 12 10 12 13 21

N.S.

1 1.00 1.00 0.81 0.75 0.75 0.62 0.75 0.81 1.31

time (sec)

N/A 0.006 0.000 0.000 0.891 1.242 0.059 0.348 0.021 0.021






















Problem 484

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

17 17 17 16 17 25 14 12 17 0

N.S.

1 1.00 1.00 0.94 1.00 1.47 0.82 0.71 1.00 0.00

time (sec)

N/A 0.015 0.012 0.006 1.745 1.241 0.124 0.237 0.031 0.000






















Problem 485

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A B A B F

verified

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

size

47 47 47 43 68 190 151 48 42 0

N.S.

1 1.00 1.00 0.91 1.45 4.04 3.21 1.02 0.89 0.00

time (sec)

N/A 0.066 0.025 0.006 1.021 1.325 0.296 0.281 0.097 0.001






















Problem 486

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A F(-2) A B A B F

verified

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

size

57 57 61 61 0 240 294 60 82 0

N.S.

1 1.00 1.07 1.07 0.00 4.21 5.16 1.05 1.44 0.00

time (sec)

N/A 0.082 0.027 0.004 0.000 0.773 0.350 0.358 2.227 0.001






















Problem 487

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A C B F A A A B F

verified

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

size

188 188 39 308 0 247 24 147 101 0

N.S.

1 1.00 0.21 1.64 0.00 1.31 0.13 0.78 0.54 0.00

time (sec)

N/A 0.189 0.031 0.102 0.000 1.509 0.517 1.488 2.300 0.001






















Problem 488

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A A A A A A A A B F

verified

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

size

60 60 27 28 65 65 60 30 27 0

N.S.

1 1.00 0.45 0.47 1.08 1.08 1.00 0.50 0.45 0.00

time (sec)

N/A 0.136 0.015 0.007 1.249 1.287 0.229 0.397 2.337 0.001






















Problem 489

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A F A C B B B B B F

verified

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

size

27 0 27 250 65 65 60 197 27 0

N.S.

1 0.00 1.00 9.26 2.41 2.41 2.22 7.30 1.00 0.00

time (sec)

N/A 0.311 0.010 0.030 1.199 1.293 0.324 0.397 0.045 0.003






















Problem 490

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.











grade

A F A B B B B B B F

verified

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

size

27 0 27 112 65 65 60 111 27 0

N.S.

1 0.00 1.00 4.15 2.41 2.41 2.22 4.11 1.00 0.00

time (sec)

N/A 0.433 0.010 0.019 0.975 1.357 0.288 0.447 0.043 0.002