[next] [tail] [up]

Integrals 1 to 100

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

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

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B B B A B B

verified

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

size

30 25 25 22 54 103 828 21 59 36

N.S.

1 0.83 0.83 0.73 1.80 3.43 27.60 0.70 1.97 1.20

time (sec)

N/A 0.219 0.016 0.746 0.031 0.069 18.853 0.122 0.238 0.552

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B B B A B B

verified

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

size

28 25 25 22 54 67 366 21 35 36

N.S.

1 0.89 0.89 0.79 1.93 2.39 13.07 0.75 1.25 1.29

time (sec)

N/A 0.223 0.006 0.694 0.027 0.066 2.928 0.121 0.204 0.440

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A B A B B

verified

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

size

25 25 31 29 54 41 71 36 12 21

N.S.

1 1.00 1.24 1.16 2.16 1.64 2.84 1.44 0.48 0.84

time (sec)

N/A 0.218 0.010 0.689 0.032 0.065 0.655 0.116 0.200 0.755

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

28 28 28 27 15 42 26 34 15 29

N.S.

1 1.00 1.00 0.96 0.54 1.50 0.93 1.21 0.54 1.04

time (sec)

N/A 0.220 0.004 0.826 0.031 0.072 0.774 0.124 0.228 0.602

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 25 25 22 17 69 29 0 28 26

N.S.

1 0.83 0.83 0.73 0.57 2.30 0.97 0.00 0.93 0.87

time (sec)

N/A 0.219 0.005 0.845 0.039 0.064 2.359 0.000 0.246 0.476

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 25 25 22 17 97 29 0 50 26

N.S.

1 0.83 0.83 0.73 0.57 3.23 0.97 0.00 1.67 0.87

time (sec)

N/A 0.220 0.008 0.839 0.035 0.075 4.006 0.000 0.231 0.510

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A C A A A A B B

verified

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

size

20 20 25 16 30 9 19 26 8 13

N.S.

1 1.00 1.25 0.80 1.50 0.45 0.95 1.30 0.40 0.65

time (sec)

N/A 0.215 0.006 0.240 0.105 0.062 0.758 0.120 0.219 0.503

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

20 20 25 24 29 9 20 25 7 13

N.S.

1 1.00 1.25 1.20 1.45 0.45 1.00 1.25 0.35 0.65

time (sec)

N/A 0.219 0.004 0.086 0.112 0.063 0.674 0.117 0.199 0.097

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

26 26 26 23 6 8 22 15 8 14

N.S.

1 1.00 1.00 0.88 0.23 0.31 0.85 0.58 0.31 0.54

time (sec)

N/A 0.217 0.004 0.497 0.116 0.095 0.782 0.121 0.223 0.703

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

26 26 26 25 6 8 22 15 8 14

N.S.

1 1.00 1.00 0.96 0.23 0.31 0.85 0.58 0.31 0.54

time (sec)

N/A 0.225 0.004 0.507 0.114 0.072 0.609 0.123 0.234 0.532

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A C C C A C B B

verified

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

size

28 28 28 10 6 6 24 23 8 15

N.S.

1 1.00 1.00 0.36 0.21 0.21 0.86 0.82 0.29 0.54

time (sec)

N/A 0.223 0.004 0.686 0.107 0.076 0.572 0.123 0.209 0.621

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B B F B B B

verified

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

size

30 25 25 22 108 135 0 856 98 110

N.S.

1 0.83 0.83 0.73 3.60 4.50 0.00 28.53 3.27 3.67

time (sec)

N/A 0.232 0.019 0.177 0.045 0.078 0.000 0.135 0.245 0.658

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B B F B B B

verified

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

size

28 25 25 22 66 83 0 408 63 58

N.S.

1 0.89 0.89 0.79 2.36 2.96 0.00 14.57 2.25 2.07

time (sec)

N/A 0.231 0.007 0.138 0.051 0.087 0.000 0.131 0.231 0.479

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A B A B B B

verified

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

size

25 25 25 22 24 44 29 121 29 22

N.S.

1 1.00 1.00 0.88 0.96 1.76 1.16 4.84 1.16 0.88

time (sec)

N/A 0.225 0.003 0.130 0.051 0.081 0.913 0.120 0.224 0.384

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A B A A B B

verified

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

size

23 23 23 22 27 61 31 23 18 26

N.S.

1 1.00 1.00 0.96 1.17 2.65 1.35 1.00 0.78 1.13

time (sec)

N/A 0.229 0.005 0.146 0.041 0.088 1.228 0.124 0.195 0.409

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A B A A B B

verified

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

size

30 25 25 22 43 109 32 26 47 26

N.S.

1 0.83 0.83 0.73 1.43 3.63 1.07 0.87 1.57 0.87

time (sec)

N/A 0.226 0.006 0.145 0.046 0.067 3.206 0.130 0.265 0.522

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B B A A B B

verified

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

size

30 25 25 22 85 151 32 26 80 26

N.S.

1 0.83 0.83 0.73 2.83 5.03 1.07 0.87 2.67 0.87

time (sec)

N/A 0.229 0.009 0.148 0.051 0.076 5.456 0.129 0.218 0.560

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A B A B B

verified

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

size

21 21 21 22 17 27 41 24 25 17

N.S.

1 1.00 1.00 1.05 0.81 1.29 1.95 1.14 1.19 0.81

time (sec)

N/A 0.230 0.007 0.118 0.027 0.097 0.473 0.127 0.228 0.407

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A B A B B

verified

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

size

19 19 19 18 17 17 37 24 16 17

N.S.

1 1.00 1.00 0.95 0.89 0.89 1.95 1.26 0.84 0.89

time (sec)

N/A 0.220 0.003 0.104 0.031 0.065 0.288 0.123 0.223 0.388

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A B A B B

verified

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

size

19 19 19 22 17 21 36 21 13 22

N.S.

1 1.00 1.00 1.16 0.89 1.11 1.89 1.11 0.68 1.16

time (sec)

N/A 0.223 0.006 0.066 0.028 0.070 0.129 0.129 0.235 0.398

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A B B B B B

verified

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

size

21 21 21 22 17 35 39 62 21 40

N.S.

1 1.00 1.00 1.05 0.81 1.67 1.86 2.95 1.00 1.90

time (sec)

N/A 0.218 0.008 0.120 0.041 0.068 0.279 0.122 0.202 0.415

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A B B B B B

verified

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

size

21 21 21 22 17 46 39 114 32 54

N.S.

1 1.00 1.00 1.05 0.81 2.19 1.86 5.43 1.52 2.57

time (sec)

N/A 0.219 0.009 0.107 0.031 0.065 0.414 0.130 0.210 0.442

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A B B B B B

verified

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

size

21 21 21 22 17 57 39 186 43 26

N.S.

1 1.00 1.00 1.05 0.81 2.71 1.86 8.86 2.05 1.24

time (sec)

N/A 0.219 0.014 0.124 0.028 0.089 0.698 0.128 0.220 0.506

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A B A A B B

verified

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

size

30 25 25 22 49 60 29 21 50 26

N.S.

1 0.83 0.83 0.73 1.63 2.00 0.97 0.70 1.67 0.87

time (sec)

N/A 0.223 0.007 0.324 0.041 0.069 5.350 0.122 0.266 0.433

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

28 25 25 22 27 36 29 21 26 24

N.S.

1 0.89 0.89 0.79 0.96 1.29 1.04 0.75 0.93 0.86

time (sec)

N/A 0.220 0.005 0.119 0.039 0.074 1.437 0.121 0.210 0.397

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 28 28 27 13 37 32 20 12 0

N.S.

1 1.00 1.00 0.96 0.46 1.32 1.14 0.71 0.43 0.00

time (sec)

N/A 0.226 0.006 0.115 0.054 0.067 0.783 0.118 0.215 0.000

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 25 32 29 15 48 27 0 15 42

N.S.

1 1.00 1.28 1.16 0.60 1.92 1.08 0.00 0.60 1.68

time (sec)

N/A 0.226 0.009 0.133 0.037 0.068 0.783 0.000 0.217 0.424

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A B A A B B

verified

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

size

30 25 25 22 37 70 27 43 37 70

N.S.

1 0.83 0.83 0.73 1.23 2.33 0.90 1.43 1.23 2.33

time (sec)

N/A 0.225 0.010 0.136 0.040 0.086 1.221 0.119 0.206 0.503

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B B A B B B

verified

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

size

30 25 25 22 59 92 27 63 59 98

N.S.

1 0.83 0.83 0.73 1.97 3.07 0.90 2.10 1.97 3.27

time (sec)

N/A 0.222 0.011 0.151 0.040 0.076 3.040 0.124 0.236 0.596

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A B B A B B

verified

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

size

30 25 25 22 24 93 1243 52 80 55

N.S.

1 0.83 0.83 0.73 0.80 3.10 41.43 1.73 2.67 1.83

time (sec)

N/A 0.220 0.007 0.522 0.045 0.067 6.002 0.123 0.219 0.451

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A B B B B B

verified

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

size

28 25 25 22 24 58 333 52 45 24

N.S.

1 0.89 0.89 0.79 0.86 2.07 11.89 1.86 1.61 0.86

time (sec)

N/A 0.215 0.005 0.171 0.042 0.070 1.254 0.127 0.256 0.400

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A B B B B B

verified

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

size

23 23 23 22 24 43 87 50 15 52

N.S.

1 1.00 1.00 0.96 1.04 1.87 3.78 2.17 0.65 2.26

time (sec)

N/A 0.218 0.004 0.142 0.052 0.078 0.393 0.127 0.231 0.373

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A B A B B B

verified

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

size

25 25 25 22 27 79 31 144 32 26

N.S.

1 1.00 1.00 0.88 1.08 3.16 1.24 5.76 1.28 1.04

time (sec)

N/A 0.218 0.009 0.112 0.043 0.074 0.897 0.126 0.214 0.473

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A B A B B B

verified

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

size

30 25 25 22 27 112 31 412 65 110

N.S.

1 0.83 0.83 0.73 0.90 3.73 1.03 13.73 2.17 3.67

time (sec)

N/A 0.220 0.013 0.123 0.042 0.073 1.360 0.125 0.209 0.592

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A B A B B B

verified

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

size

30 25 25 22 27 145 31 840 98 152

N.S.

1 0.83 0.83 0.73 0.90 4.83 1.03 28.00 3.27 5.07

time (sec)

N/A 0.218 0.009 0.132 0.042 0.094 2.992 0.141 0.267 0.757

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 27 34 29 21 37 32 33 24 0

N.S.

1 1.00 1.26 1.07 0.78 1.37 1.19 1.22 0.89 0.00

time (sec)

N/A 0.217 0.013 0.200 0.028 0.164 3.257 0.130 0.221 0.000

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

32 27 34 22 15 17 58 15 13 0

N.S.

1 0.84 1.06 0.69 0.47 0.53 1.81 0.47 0.41 0.00

time (sec)

N/A 0.224 0.012 0.376 0.030 0.068 0.842 0.118 0.216 0.000

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A B A A B B

verified

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

size

27 27 34 29 21 51 32 1 24 31

N.S.

1 1.00 1.26 1.07 0.78 1.89 1.19 0.04 0.89 1.15

time (sec)

N/A 0.224 0.018 0.204 0.034 0.284 1.249 0.136 0.200 0.485

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A B A B B

verified

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

size

34 27 34 22 15 15 80 15 15 42

N.S.

1 0.79 1.00 0.65 0.44 0.44 2.35 0.44 0.44 1.24

time (sec)

N/A 0.220 0.015 0.352 0.037 0.062 0.551 0.128 0.236 0.497

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A B A B B B B B B

verified

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

size

31 29 77 41 86 86 99 86 94 86

N.S.

1 0.94 2.48 1.32 2.77 2.77 3.19 2.77 3.03 2.77

time (sec)

N/A 0.255 0.016 0.728 0.026 0.062 0.053 0.111 0.269 0.066

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A B A B B B B B B

verified

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

size

51 49 172 41 176 176 209 173 205 162

N.S.

1 0.96 3.37 0.80 3.45 3.45 4.10 3.39 4.02 3.18

time (sec)

N/A 0.297 0.020 1.450 0.031 0.066 0.062 0.117 0.269 0.451

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A B A B B B B B B

verified

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

size

48 49 249 41 284 284 357 288 350 237

N.S.

1 1.02 5.19 0.85 5.92 5.92 7.44 6.00 7.29 4.94

time (sec)

N/A 0.304 0.025 1.188 0.042 0.081 0.088 0.122 0.307 0.452

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

12 12 12 12 10 11 10 11 11 10

N.S.

1 1.00 1.00 1.00 0.83 0.92 0.83 0.92 0.92 0.83

time (sec)

N/A 0.227 0.003 1.879 0.033 0.067 0.053 0.121 0.243 0.067

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

13 13 13 13 11 12 12 12 14 13

N.S.

1 1.00 1.00 1.00 0.85 0.92 0.92 0.92 1.08 1.00

time (sec)

N/A 0.226 0.003 0.986 0.030 0.059 0.071 0.117 0.249 0.049

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

13 13 13 13 11 22 22 12 24 11

N.S.

1 1.00 1.00 1.00 0.85 1.69 1.69 0.92 1.85 0.85

time (sec)

N/A 0.225 0.003 0.981 0.034 0.066 0.068 0.122 0.244 0.045

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

93 85 73 289 300 438 0 264 496 401

N.S.

1 0.91 0.78 3.11 3.23 4.71 0.00 2.84 5.33 4.31

time (sec)

N/A 0.359 0.188 1.956 0.080 0.093 0.000 0.131 0.254 0.877

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

55 68 68 0 0 0 0 0 0 0

N.S.

1 1.24 1.24 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.281 0.171 0.000 0.000 0.000 0.000 0.000 0.267 0.000

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

62 58 51 91 140 183 0 99 183 168

N.S.

1 0.94 0.82 1.47 2.26 2.95 0.00 1.60 2.95 2.71

time (sec)

N/A 0.316 0.149 1.485 0.072 0.087 0.000 0.128 0.259 0.594

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

55 68 68 0 0 0 0 0 775 0

N.S.

1 1.24 1.24 0.00 0.00 0.00 0.00 0.00 14.09 0.00

time (sec)

N/A 0.289 0.125 0.000 0.000 0.000 0.000 0.000 0.277 0.000

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A B A B B

verified

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

size

30 30 30 29 28 56 252 38 57 55

N.S.

1 1.00 1.00 0.97 0.93 1.87 8.40 1.27 1.90 1.83

time (sec)

N/A 0.259 0.064 1.302 0.028 0.087 155.772 0.119 0.249 0.424

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

52 52 52 0 0 0 0 0 223 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 4.29 0.00

time (sec)

N/A 0.287 0.189 0.000 0.000 0.000 0.000 0.000 0.241 0.000

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A B B B B B B B B

verified

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

size

31 29 98 104 95 95 107 105 106 93

N.S.

1 0.94 3.16 3.35 3.06 3.06 3.45 3.39 3.42 3.00

time (sec)

N/A 0.270 0.010 0.661 0.032 0.067 0.039 0.117 0.235 0.391

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A B B B B B B B B

verified

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

size

51 46 203 234 210 210 252 248 246 191

N.S.

1 0.90 3.98 4.59 4.12 4.12 4.94 4.86 4.82 3.75

time (sec)

N/A 0.295 0.018 0.665 0.027 0.074 0.063 0.123 0.259 0.452

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A B B B B B B B B

verified

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

size

71 63 323 406 359 359 437 442 437 309

N.S.

1 0.89 4.55 5.72 5.06 5.06 6.15 6.23 6.15 4.35

time (sec)

N/A 0.315 0.034 0.679 0.037 0.096 0.104 0.129 0.245 0.530

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A B B B B B B B B

verified

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

size

37 32 102 110 116 116 144 138 109 113

N.S.

1 0.86 2.76 2.97 3.14 3.14 3.89 3.73 2.95 3.05

time (sec)

N/A 0.280 0.004 0.643 0.032 0.067 0.044 0.121 0.234 0.066

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A B B B B B B B B

verified

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

size

60 49 207 250 240 240 323 311 249 221

N.S.

1 0.82 3.45 4.17 4.00 4.00 5.38 5.18 4.15 3.68

time (sec)

N/A 0.304 0.007 0.654 0.035 0.070 0.059 0.114 0.235 0.423

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A B B B B B B B B

verified

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

size

83 66 327 441 398 398 552 544 440 348

N.S.

1 0.80 3.94 5.31 4.80 4.80 6.65 6.55 5.30 4.19

time (sec)

N/A 0.311 0.016 0.669 0.035 0.088 0.072 0.127 0.277 0.497

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A C F A A A B B

verified

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

size

156 157 159 92 0 164 46 160 139 169

N.S.

1 1.01 1.02 0.59 0.00 1.05 0.29 1.03 0.89 1.08

time (sec)

N/A 0.514 0.035 0.568 0.000 0.091 0.300 0.133 0.223 0.313

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A C F A A A B B

verified

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

size

144 147 142 78 0 135 27 180 123 158

N.S.

1 1.02 0.99 0.54 0.00 0.94 0.19 1.25 0.85 1.10

time (sec)

N/A 0.509 0.016 0.546 0.000 0.081 0.188 0.132 0.237 0.279

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A B B A B B

verified

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

size

22 22 22 21 20 42 42 21 74 42

N.S.

1 1.00 1.00 0.95 0.91 1.91 1.91 0.95 3.36 1.91

time (sec)

N/A 0.254 0.009 0.537 0.038 0.068 0.182 0.125 0.246 0.458

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A C F A A A B B

verified

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

size

140 136 114 76 0 452 29 141 109 150

N.S.

1 0.97 0.81 0.54 0.00 3.23 0.21 1.01 0.78 1.07

time (sec)

N/A 0.472 0.018 0.197 0.000 0.087 0.164 0.131 0.244 0.346

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A C F A A A B B

verified

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

size

140 131 116 71 0 442 26 160 111 144

N.S.

1 0.94 0.83 0.51 0.00 3.16 0.19 1.14 0.79 1.03

time (sec)

N/A 0.440 0.017 0.186 0.000 0.091 0.161 0.129 0.230 0.632

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

36 37 36 54 56 51 49 58 86 56

N.S.

1 1.03 1.00 1.50 1.56 1.42 1.36 1.61 2.39 1.56

time (sec)

N/A 0.263 0.013 0.716 0.027 0.068 0.289 0.127 0.232 0.133

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A C F A A A B B

verified

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

size

154 155 140 86 0 150 44 175 254 138

N.S.

1 1.01 0.91 0.56 0.00 0.97 0.29 1.14 1.65 0.90

time (sec)

N/A 0.493 0.056 0.766 0.000 0.082 0.411 0.130 0.227 0.435

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A C F A A A B B

verified

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

size

156 152 139 87 0 236 61 193 403 201

N.S.

1 0.97 0.89 0.56 0.00 1.51 0.39 1.24 2.58 1.29

time (sec)

N/A 0.489 0.044 0.740 0.000 0.099 0.584 0.141 0.261 0.712

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A B B A B B

verified

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

size

56 51 44 75 98 158 100 41 420 104

N.S.

1 0.91 0.79 1.34 1.75 2.82 1.79 0.73 7.50 1.86

time (sec)

N/A 0.319 0.021 0.734 0.040 0.078 1.188 0.119 0.230 0.618

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A C F B A A B B

verified

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

size

172 171 152 141 0 838 109 205 703 240

N.S.

1 0.99 0.88 0.82 0.00 4.87 0.63 1.19 4.09 1.40

time (sec)

N/A 0.514 0.064 0.567 0.000 0.098 0.846 0.138 0.230 0.421

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A C F B A A B B

verified

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

size

170 164 151 124 0 810 92 214 677 185

N.S.

1 0.96 0.89 0.73 0.00 4.76 0.54 1.26 3.98 1.09

time (sec)

N/A 0.505 0.043 0.558 0.000 0.093 0.772 0.139 0.262 0.710

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A B B A B B

verified

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

size

23 23 23 22 21 52 58 21 43 43

N.S.

1 1.00 1.00 0.96 0.91 2.26 2.52 0.91 1.87 1.87

time (sec)

N/A 0.250 0.008 0.556 0.029 0.068 0.724 0.131 0.221 0.487

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A C F B A A B B

verified

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

size

172 171 152 144 0 852 105 205 705 216

N.S.

1 0.99 0.88 0.84 0.00 4.95 0.61 1.19 4.10 1.26

time (sec)

N/A 0.513 0.055 0.246 0.000 0.098 0.714 0.141 0.218 0.340

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A C F B A A B B

verified

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

size

170 164 151 127 0 808 92 214 677 207

N.S.

1 0.96 0.89 0.75 0.00 4.75 0.54 1.26 3.98 1.22

time (sec)

N/A 0.481 0.038 0.227 0.000 0.119 0.640 0.123 0.282 0.692

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A B B A B B

verified

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

size

59 54 48 100 104 169 110 101 508 105

N.S.

1 0.92 0.81 1.69 1.76 2.86 1.86 1.71 8.61 1.78

time (sec)

N/A 0.325 0.018 0.786 0.040 0.079 0.973 0.129 0.238 0.585

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A C F B A A B B

verified

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

size

188 190 168 154 0 384 170 204 1009 231

N.S.

1 1.01 0.89 0.82 0.00 2.04 0.90 1.09 5.37 1.23

time (sec)

N/A 0.544 0.059 0.793 0.000 0.086 1.204 0.129 0.224 1.052

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A C F B A A B B

verified

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

size

188 187 166 140 0 509 199 244 1330 255

N.S.

1 0.99 0.88 0.74 0.00 2.71 1.06 1.30 7.07 1.36

time (sec)

N/A 0.536 0.050 0.806 0.000 0.120 1.607 0.141 0.232 1.238

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B B B A B B

verified

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

size

80 71 60 126 222 431 250 65 1293 211

N.S.

1 0.89 0.75 1.58 2.78 5.39 3.12 0.81 16.16 2.64

time (sec)

N/A 0.362 0.048 0.783 0.042 0.084 2.135 0.122 0.268 1.150

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A C F B A A B B

verified

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

size

205 206 182 214 0 1706 287 274 1825 399

N.S.

1 1.00 0.89 1.04 0.00 8.32 1.40 1.34 8.90 1.95

time (sec)

N/A 0.599 0.104 0.602 0.000 0.123 1.792 0.141 0.248 1.124

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A C F B A A B B

verified

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

size

201 197 179 186 0 1650 260 268 1793 347

N.S.

1 0.98 0.89 0.93 0.00 8.21 1.29 1.33 8.92 1.73

time (sec)

N/A 0.561 0.082 0.587 0.000 0.124 1.702 0.144 0.270 0.929

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A B B A B B

verified

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

size

23 23 23 22 21 133 153 21 132 131

N.S.

1 1.00 1.00 0.96 0.91 5.78 6.65 0.91 5.74 5.70

time (sec)

N/A 0.260 0.009 0.579 0.025 0.076 1.458 0.142 0.252 0.601

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A C F B A A B B

verified

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

size

202 206 180 214 0 1708 296 268 1828 403

N.S.

1 1.02 0.89 1.06 0.00 8.46 1.47 1.33 9.05 2.00

time (sec)

N/A 0.570 0.071 0.299 0.000 0.121 1.590 0.145 0.262 0.559

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A C F B A A B B

verified

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

size

198 197 176 185 0 1646 267 264 1793 354

N.S.

1 0.99 0.89 0.93 0.00 8.31 1.35 1.33 9.06 1.79

time (sec)

N/A 0.544 0.067 0.286 0.000 0.117 1.854 0.129 0.217 0.524

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B B B A B B

verified

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

size

82 74 63 143 245 467 269 144 1402 230

N.S.

1 0.90 0.77 1.74 2.99 5.70 3.28 1.76 17.10 2.80

time (sec)

N/A 0.365 0.034 0.788 0.044 0.102 2.200 0.142 0.222 1.191

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A C F B A A B B

verified

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

size

219 225 196 215 0 855 391 223 2307 431

N.S.

1 1.03 0.89 0.98 0.00 3.90 1.79 1.02 10.53 1.97

time (sec)

N/A 0.621 0.091 0.840 0.000 0.161 2.577 0.138 0.309 2.011

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A C F B B B B B

verified

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

size

217 222 192 188 0 1024 435 365 2802 520

N.S.

1 1.02 0.88 0.87 0.00 4.72 2.00 1.68 12.91 2.40

time (sec)

N/A 0.617 0.101 0.852 0.000 0.164 3.260 0.156 0.255 2.098

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B B B A B B

verified

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

size

101 92 80 161 438 889 500 80 2661 438

N.S.

1 0.91 0.79 1.59 4.34 8.80 4.95 0.79 26.35 4.34

time (sec)

N/A 0.396 0.076 0.869 0.067 0.124 3.649 0.140 0.258 2.451

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A C F A A A B B

verified

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

size

168 160 163 96 0 179 66 175 142 151

N.S.

1 0.95 0.97 0.57 0.00 1.07 0.39 1.04 0.85 0.90

time (sec)

N/A 0.540 0.018 0.663 0.000 0.122 0.270 0.134 0.242 0.331

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A C F A A A B B

verified

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

size

156 150 145 82 0 147 44 192 126 162

N.S.

1 0.96 0.93 0.53 0.00 0.94 0.28 1.23 0.81 1.04

time (sec)

N/A 0.545 0.008 0.661 0.000 0.080 0.228 0.142 0.216 0.380

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A B A B B

verified

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

size

25 25 25 46 45 45 46 46 77 45

N.S.

1 1.00 1.00 1.84 1.80 1.80 1.84 1.84 3.08 1.80

time (sec)

N/A 0.264 0.005 0.540 0.026 0.082 0.180 0.133 0.236 0.425

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A C F A A A B B

verified

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

size

143 137 115 77 0 458 41 150 110 127

N.S.

1 0.96 0.80 0.54 0.00 3.20 0.29 1.05 0.77 0.89

time (sec)

N/A 0.482 0.006 0.219 0.000 0.097 0.184 0.140 0.252 0.822

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

42 40 42 57 62 54 53 64 89 62

N.S.

1 0.95 1.00 1.36 1.48 1.29 1.26 1.52 2.12 1.48

time (sec)

N/A 0.283 0.012 0.715 0.034 0.082 0.331 0.127 0.259 0.139

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A C F A A A B B

verified

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

size

166 158 143 96 0 156 54 229 257 154

N.S.

1 0.95 0.86 0.58 0.00 0.94 0.33 1.38 1.55 0.93

time (sec)

N/A 0.528 0.032 0.769 0.000 0.141 0.553 0.131 0.207 0.804

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A C F A A A B B

verified

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

size

168 155 142 91 0 245 75 199 406 200

N.S.

1 0.92 0.85 0.54 0.00 1.46 0.45 1.18 2.42 1.19

time (sec)

N/A 0.510 0.031 0.785 0.000 0.088 0.694 0.138 0.209 0.501

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A B B A B B

verified

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

size

65 54 47 79 116 170 121 85 423 118

N.S.

1 0.83 0.72 1.22 1.78 2.62 1.86 1.31 6.51 1.82

time (sec)

N/A 0.325 0.017 0.752 0.039 0.082 0.910 0.143 0.227 0.630

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A C F B A A B B

verified

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

size

184 174 155 145 0 940 133 224 706 266

N.S.

1 0.95 0.84 0.79 0.00 5.11 0.72 1.22 3.84 1.45

time (sec)

N/A 0.529 0.025 0.585 0.000 0.103 0.976 0.139 0.249 0.803

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A C F B A A B B

verified

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

size

182 167 154 128 0 906 112 230 680 194

N.S.

1 0.92 0.85 0.70 0.00 4.98 0.62 1.26 3.74 1.07

time (sec)

N/A 0.524 0.011 0.579 0.000 0.102 0.746 0.137 0.257 0.390

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B B B A B B

verified

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

size

26 26 26 47 55 55 60 46 46 46

N.S.

1 1.00 1.00 1.81 2.12 2.12 2.31 1.77 1.77 1.77

time (sec)

N/A 0.257 0.007 0.553 0.031 0.079 0.665 0.138 0.216 0.418

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A C F B A A B B

verified

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

size

176 172 153 146 0 894 122 218 706 192

N.S.

1 0.98 0.87 0.83 0.00 5.08 0.69 1.24 4.01 1.09

time (sec)

N/A 0.525 0.032 0.265 0.000 0.096 0.669 0.142 0.243 0.721

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A B B A B B

verified

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

size

68 57 51 109 114 173 122 110 511 116

N.S.

1 0.84 0.75 1.60 1.68 2.54 1.79 1.62 7.51 1.71

time (sec)

N/A 0.335 0.014 0.744 0.037 0.076 0.938 0.135 0.251 0.277

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A C F B A A B B

verified

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

size

203 193 171 158 0 399 197 270 1012 261

N.S.

1 0.95 0.84 0.78 0.00 1.97 0.97 1.33 4.99 1.29

time (sec)

N/A 0.573 0.031 0.815 0.000 0.094 1.310 0.131 0.249 1.147

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A C F B A A B B

verified

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

size

203 190 169 144 0 527 233 253 1333 291

N.S.

1 0.94 0.83 0.71 0.00 2.60 1.15 1.25 6.57 1.43

time (sec)

N/A 0.555 0.040 0.863 0.000 0.109 2.249 0.141 0.264 1.275

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B B B A B B

verified

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

size

92 74 63 130 249 452 294 161 1296 250

N.S.

1 0.80 0.68 1.41 2.71 4.91 3.20 1.75 14.09 2.72

time (sec)

N/A 0.337 0.039 0.806 0.047 0.129 2.318 0.141 0.332 1.256

[next] [front] [up]