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

Integrals 101 to 200

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 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 0 21 21 23 22 19 22 60 20

N.S.

1 0.00 0.75 0.75 0.82 0.79 0.68 0.79 2.14 0.71

time (sec)

N/A 0.000 0.067 0.412 0.088 0.090 0.358 0.289 0.223 2.213

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 0 44 39 39 39 42 39 0 0

N.S.

1 0.00 1.47 1.30 1.30 1.30 1.40 1.30 0.00 0.00

time (sec)

N/A 0.000 0.088 8.022 0.289 0.098 0.248 5.723 0.268 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 48 28 21 0 19 20 26 0 0

N.S.

1 1.71 1.00 0.75 0.00 0.68 0.71 0.93 0.00 0.00

time (sec)

N/A 0.729 0.106 8.384 0.000 0.109 0.653 0.171 39.453 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

32 0 218 1093 0 758 1156 1503 1635 0

N.S.

1 0.00 6.81 34.16 0.00 23.69 36.12 46.97 51.09 0.00

time (sec)

N/A 0.000 0.298 0.063 0.000 0.125 1.382 0.201 0.208 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 0 0 25 46 34 34 0 51 0

N.S.

1 0.00 0.00 0.93 1.70 1.26 1.26 0.00 1.89 0.00

time (sec)

N/A 0.000 0.000 4.943 0.444 0.111 0.385 0.000 0.216 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 35 34 66 371 77 102 99 96 73

N.S.

1 1.67 1.62 3.14 17.67 3.67 4.86 4.71 4.57 3.48

time (sec)

N/A 0.774 0.202 0.224 0.160 0.084 0.074 0.118 0.216 2.170

Problem 107

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

33 36 34 24 29 29 51 29 51 0

N.S.

1 1.09 1.03 0.73 0.88 0.88 1.55 0.88 1.55 0.00

time (sec)

N/A 1.984 0.134 0.507 0.232 0.092 0.350 0.119 0.224 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 0 28 28 32 31 51 32 31 29

N.S.

1 0.00 1.08 1.08 1.23 1.19 1.96 1.23 1.19 1.12

time (sec)

N/A 0.000 0.367 1.605 0.078 0.091 0.116 0.127 0.238 2.793

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

20 0 21 19 22 20 19 18 22 18

N.S.

1 0.00 1.05 0.95 1.10 1.00 0.95 0.90 1.10 0.90

time (sec)

N/A 0.000 0.381 0.048 0.060 0.101 0.102 0.116 0.211 0.094

Problem 110

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 13 11 10 9 12 7 9 12 9

N.S.

1 0.65 0.55 0.50 0.45 0.60 0.35 0.45 0.60 0.45

time (sec)

N/A 0.163 0.001 0.017 0.039 0.075 0.030 0.113 0.217 0.022

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 28 15 17 125 16 15 16 18 16

N.S.

1 1.27 0.68 0.77 5.68 0.73 0.68 0.73 0.82 0.73

time (sec)

N/A 0.188 0.071 0.053 0.085 0.085 0.050 0.108 0.204 0.065

Problem 112

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

19 25 25 15 18 18 27 18 18 14

N.S.

1 1.32 1.32 0.79 0.95 0.95 1.42 0.95 0.95 0.74

time (sec)

N/A 0.155 0.002 0.032 0.035 0.075 0.024 0.109 0.218 0.046

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 0 36 35 34 34 34 0 36 34

N.S.

1 0.00 1.33 1.30 1.26 1.26 1.26 0.00 1.33 1.26

time (sec)

N/A 0.000 0.149 0.135 0.081 0.100 0.207 0.000 0.224 2.244

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 60 45 61 42 62 60 47 52 48

N.S.

1 2.50 1.88 2.54 1.75 2.58 2.50 1.96 2.17 2.00

time (sec)

N/A 1.894 2.923 0.846 0.304 0.097 0.239 0.119 14.903 2.353

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

33 33 32 33 37 33 22 33 1525 32

N.S.

1 1.00 0.97 1.00 1.12 1.00 0.67 1.00 46.21 0.97

time (sec)

N/A 0.443 0.036 37.012 0.164 0.096 0.236 0.229 0.537 2.931

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 0 25 25 22 24 20 24 25 0

N.S.

1 0.00 1.00 1.00 0.88 0.96 0.80 0.96 1.00 0.00

time (sec)

N/A 0.000 0.290 0.337 0.077 0.122 0.111 0.128 0.200 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 63 22 18 22 22 24 22 27 0

N.S.

1 2.62 0.92 0.75 0.92 0.92 1.00 0.92 1.12 0.00

time (sec)

N/A 0.468 0.292 0.194 0.187 0.106 0.132 0.125 0.248 0.000

Problem 118

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

22 27 56 35 955 132 321 178 37 1697

N.S.

1 1.23 2.55 1.59 43.41 6.00 14.59 8.09 1.68 77.14

time (sec)

N/A 0.766 0.054 0.981 0.160 0.100 0.526 0.114 0.203 4.667

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 78 20 70 66 66 58 66 66 57

N.S.

1 3.55 0.91 3.18 3.00 3.00 2.64 3.00 3.00 2.59

time (sec)

N/A 0.204 0.009 0.105 0.027 0.099 0.026 0.119 0.210 2.181

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

17 39 16 14 13 13 12 29 16 15

N.S.

1 2.29 0.94 0.82 0.76 0.76 0.71 1.71 0.94 0.88

time (sec)

N/A 0.705 0.011 0.234 0.088 0.085 0.082 0.124 0.211 2.197

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 33 0 25 40 20 19 0 61 63

N.S.

1 1.27 0.00 0.96 1.54 0.77 0.73 0.00 2.35 2.42

time (sec)

N/A 1.692 0.000 11.485 0.177 0.098 0.160 0.000 0.212 3.756

Problem 122

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

30 11 15 7 9 9 10 9 6 6

N.S.

1 0.37 0.50 0.23 0.30 0.30 0.33 0.30 0.20 0.20

time (sec)

N/A 0.134 0.000 0.010 0.032 0.066 0.018 0.112 0.207 0.027

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 21 21 82 19 81 80 81 81 81

N.S.

1 0.81 0.81 3.15 0.73 3.12 3.08 3.12 3.12 3.12

time (sec)

N/A 0.671 0.123 0.163 0.083 0.091 0.164 0.158 0.214 2.352

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 0 0 57 132 118 114 0 114 0

N.S.

1 0.00 0.00 1.84 4.26 3.81 3.68 0.00 3.68 0.00

time (sec)

N/A 0.000 0.000 6.802 0.251 0.101 0.272 0.000 0.238 0.000

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 62 22 20 19 19 19 19 27 21

N.S.

1 2.70 0.96 0.87 0.83 0.83 0.83 0.83 1.17 0.91

time (sec)

N/A 0.301 0.100 0.157 0.128 0.096 0.410 0.114 0.405 2.374

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 117 28 32 42 33 29 37 96 37

N.S.

1 3.90 0.93 1.07 1.40 1.10 0.97 1.23 3.20 1.23

time (sec)

N/A 1.280 0.033 0.710 0.280 0.086 0.131 0.234 141.229 2.495

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 0 14 15 17 14 15 14 14 14

N.S.

1 0.00 0.61 0.65 0.74 0.61 0.65 0.61 0.61 0.61

time (sec)

N/A 0.000 0.148 0.132 0.145 0.087 0.127 0.124 0.231 4.379

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 0 26 22 34 30 36 38 36 36

N.S.

1 0.00 1.00 0.85 1.31 1.15 1.38 1.46 1.38 1.38

time (sec)

N/A 0.000 0.519 0.675 0.132 0.111 0.138 0.117 0.246 0.271

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

16 0 16 15 14 14 14 14 14 14

N.S.

1 0.00 1.00 0.94 0.88 0.88 0.88 0.88 0.88 0.88

time (sec)

N/A 0.000 0.689 5.004 0.275 0.082 0.077 0.456 0.288 2.435

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 54 29 35 50 42 44 50 39 33

N.S.

1 2.45 1.32 1.59 2.27 1.91 2.00 2.27 1.77 1.50

time (sec)

N/A 0.198 0.023 0.100 0.046 0.084 0.087 0.103 0.227 2.428

Problem 131

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

19 13 19 13 12 12 8 12 13 12

N.S.

1 0.68 1.00 0.68 0.63 0.63 0.42 0.63 0.68 0.63

time (sec)

N/A 0.150 0.001 0.030 0.028 0.096 0.036 0.114 0.243 2.234

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 129 147 137 136 135 143 151 0 151

N.S.

1 5.86 6.68 6.23 6.18 6.14 6.50 6.86 0.00 6.86

time (sec)

N/A 1.461 0.095 0.793 0.046 0.117 10.664 0.174 0.407 3.519

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 0 177 233 0 221 272 327 340 229

N.S.

1 0.00 6.32 8.32 0.00 7.89 9.71 11.68 12.14 8.18

time (sec)

N/A 0.000 0.115 0.029 0.000 0.098 0.520 0.143 0.241 2.736

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 0 42 27 37 37 34 37 63 39

N.S.

1 0.00 1.35 0.87 1.19 1.19 1.10 1.19 2.03 1.26

time (sec)

N/A 0.000 4.077 0.270 0.172 0.093 0.197 0.273 0.484 2.424

Problem 135

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 21 21 22 21 21 19 22 21 21

N.S.

1 1.05 1.05 1.10 1.05 1.05 0.95 1.10 1.05 1.05

time (sec)

N/A 0.386 0.008 0.036 0.025 0.097 0.067 0.117 0.249 0.117

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 153 30 39 143 35 29 48 33 33

N.S.

1 5.88 1.15 1.50 5.50 1.35 1.12 1.85 1.27 1.27

time (sec)

N/A 1.813 0.102 1.357 0.151 0.091 0.132 0.120 0.240 2.448

Problem 137

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 9 9 9 8 8 8 8 9 8

N.S.

1 0.69 0.69 0.69 0.62 0.62 0.62 0.62 0.69 0.62

time (sec)

N/A 0.196 0.012 0.021 0.038 0.077 0.056 0.110 0.249 0.062

Problem 138

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

25 27 22 24 23 26 19 23 43 23

N.S.

1 1.08 0.88 0.96 0.92 1.04 0.76 0.92 1.72 0.92

time (sec)

N/A 0.245 0.021 0.111 0.029 0.080 0.299 0.113 0.246 0.110

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

18 0 17 13 12 12 10 12 13 12

N.S.

1 0.00 0.94 0.72 0.67 0.67 0.56 0.67 0.72 0.67

time (sec)

N/A 0.000 0.089 0.023 0.081 0.094 0.053 0.116 0.261 0.064

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 0 39 21 37 26 20 0 32 28

N.S.

1 0.00 1.56 0.84 1.48 1.04 0.80 0.00 1.28 1.12

time (sec)

N/A 0.000 6.389 0.211 0.196 0.083 0.285 0.000 0.242 2.343

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 30 0 29 52 28 22 0 29 28

N.S.

1 1.03 0.00 1.00 1.79 0.97 0.76 0.00 1.00 0.97

time (sec)

N/A 6.282 0.000 0.809 0.084 0.087 0.127 0.000 0.282 2.451

Problem 142

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

18 25 18 19 32 18 29 32 36 17

N.S.

1 1.39 1.00 1.06 1.78 1.00 1.61 1.78 2.00 0.94

time (sec)

N/A 0.289 1.388 0.227 0.095 0.097 0.069 0.111 0.242 0.150

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 25 25 25 381 22 29 111 25 22

N.S.

1 0.96 0.96 0.96 14.65 0.85 1.12 4.27 0.96 0.85

time (sec)

N/A 0.409 0.052 0.488 0.174 0.094 0.194 0.430 0.231 3.491

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 0 50 56 118 52 41 59 54 53

N.S.

1 0.00 1.72 1.93 4.07 1.79 1.41 2.03 1.86 1.83

time (sec)

N/A 0.000 0.750 21.770 0.092 0.089 0.193 1.516 0.240 2.520

Problem 145

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

23 40 31 28 37 36 34 35 37 31

N.S.

1 1.74 1.35 1.22 1.61 1.57 1.48 1.52 1.61 1.35

time (sec)

N/A 0.212 0.010 0.118 0.024 0.086 0.091 0.119 0.278 2.226

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 36 23 19 18 18 20 0 23 19

N.S.

1 1.57 1.00 0.83 0.78 0.78 0.87 0.00 1.00 0.83

time (sec)

N/A 0.225 0.036 3.350 0.111 0.087 57.941 0.000 0.291 0.205

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

32 48 43 31 0 38 34 45 50 36

N.S.

1 1.50 1.34 0.97 0.00 1.19 1.06 1.41 1.56 1.12

time (sec)

N/A 0.677 0.113 0.350 0.000 0.084 0.073 0.111 0.226 2.302

Problem 148

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 14 13 13 14 13 13 13

N.S.

1 1.00 1.00 1.08 1.00 1.00 1.08 1.00 1.00 1.00

time (sec)

N/A 0.138 0.000 0.033 0.026 0.188 0.015 0.112 0.260 0.002

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 0 26 24 25 24 36 32 22 46

N.S.

1 0.00 1.00 0.92 0.96 0.92 1.38 1.23 0.85 1.77

time (sec)

N/A 0.000 0.095 0.864 0.158 0.102 0.259 0.221 0.253 2.581

Problem 150

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

10 8 8 8 7 7 14 8 8 7

N.S.

1 0.80 0.80 0.80 0.70 0.70 1.40 0.80 0.80 0.70

time (sec)

N/A 0.135 0.001 0.023 0.034 0.076 0.027 0.114 0.253 2.476

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

33 0 34 30 27 29 0 0 370 26

N.S.

1 0.00 1.03 0.91 0.82 0.88 0.00 0.00 11.21 0.79

time (sec)

N/A 0.000 6.436 0.829 0.340 0.089 0.000 0.000 0.681 2.683

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 44 25 28 39 26 41 30 48 26

N.S.

1 2.10 1.19 1.33 1.86 1.24 1.95 1.43 2.29 1.24

time (sec)

N/A 0.591 0.033 0.409 0.164 0.089 0.276 0.115 0.223 2.534

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 0 22 21 34 41 19 70 37 274

N.S.

1 0.00 1.00 0.95 1.55 1.86 0.86 3.18 1.68 12.45

time (sec)

N/A 0.000 0.216 0.264 0.090 0.093 0.127 0.147 0.238 0.622

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

33 101 97 101 100 89 116 111 114 100

N.S.

1 3.06 2.94 3.06 3.03 2.70 3.52 3.36 3.45 3.03

time (sec)

N/A 0.347 0.030 0.127 0.027 0.067 0.094 0.110 0.262 2.347

Problem 155

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

14 14 14 13 12 12 19 12 15 12

N.S.

1 1.00 1.00 0.93 0.86 0.86 1.36 0.86 1.07 0.86

time (sec)

N/A 0.188 0.008 0.074 0.091 0.082 0.065 0.114 0.274 2.241

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 21 44 21 20 24 19 0 26 0

N.S.

1 1.00 2.10 1.00 0.95 1.14 0.90 0.00 1.24 0.00

time (sec)

N/A 2.495 0.077 71.590 0.095 0.093 1.195 0.000 0.244 0.000

Problem 157

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

18 22 17 12 11 11 17 11 16 14

N.S.

1 1.22 0.94 0.67 0.61 0.61 0.94 0.61 0.89 0.78

time (sec)

N/A 0.229 0.019 0.039 0.030 0.093 0.225 0.106 0.248 2.282

Problem 158

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

25 34 24 23 24 28 20 30 29 20

N.S.

1 1.36 0.96 0.92 0.96 1.12 0.80 1.20 1.16 0.80

time (sec)

N/A 0.204 0.027 0.184 0.032 0.106 0.116 0.123 0.266 2.242

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 0 19 29 19 28 26 30 34 0

N.S.

1 0.00 0.90 1.38 0.90 1.33 1.24 1.43 1.62 0.00

time (sec)

N/A 0.000 0.090 2.313 0.095 0.090 0.502 0.262 0.228 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 42 58 40 61 60 44 269 59 0

N.S.

1 1.62 2.23 1.54 2.35 2.31 1.69 10.35 2.27 0.00

time (sec)

N/A 0.384 0.020 0.162 0.028 0.074 0.376 0.115 0.217 0.000

Problem 161

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

27 7 7 6 5 5 3 5 5 5

N.S.

1 0.26 0.26 0.22 0.19 0.19 0.11 0.19 0.19 0.19

time (sec)

N/A 0.127 0.000 0.010 0.034 0.067 0.019 0.113 0.257 0.018

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 129 18 24 227 31 20 36 29 29

N.S.

1 5.86 0.82 1.09 10.32 1.41 0.91 1.64 1.32 1.32

time (sec)

N/A 0.857 0.154 0.215 0.125 0.085 0.077 0.119 0.254 0.140

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 89 23 20 91 23 49 66 15 14

N.S.

1 3.42 0.88 0.77 3.50 0.88 1.88 2.54 0.58 0.54

time (sec)

N/A 0.829 0.041 0.184 0.090 0.080 0.103 0.111 0.248 2.380

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 0 29 30 46 37 27 914 47 158

N.S.

1 0.00 1.00 1.03 1.59 1.28 0.93 31.52 1.62 5.45

time (sec)

N/A 0.000 0.161 1.745 0.275 0.085 0.158 1.078 0.246 2.854

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 22 21 24 25 23 20 28 23 23

N.S.

1 0.81 0.78 0.89 0.93 0.85 0.74 1.04 0.85 0.85

time (sec)

N/A 0.563 0.242 9.666 0.175 0.089 1.087 0.308 0.236 3.545

Problem 166

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 16 16 16 15 15 15 17 35 15

N.S.

1 0.80 0.80 0.80 0.75 0.75 0.75 0.85 1.75 0.75

time (sec)

N/A 0.238 0.007 0.074 0.037 0.078 0.105 0.110 0.253 2.431

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

17 17 17 17 113 16 17 16 17 16

N.S.

1 1.00 1.00 1.00 6.65 0.94 1.00 0.94 1.00 0.94

time (sec)

N/A 0.497 0.044 0.135 0.196 0.086 0.071 0.113 0.264 0.465

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 0 32 26 81 25 27 0 60 31

N.S.

1 0.00 1.07 0.87 2.70 0.83 0.90 0.00 2.00 1.03

time (sec)

N/A 0.000 0.122 3.472 0.265 0.087 0.362 0.000 0.249 3.119

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 53 23 48 29 47 44 0 30 72

N.S.

1 2.30 1.00 2.09 1.26 2.04 1.91 0.00 1.30 3.13

time (sec)

N/A 0.281 0.023 0.431 0.156 0.095 0.258 0.000 0.263 2.722

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 0 97 172 805 171 170 1614 355 1631

N.S.

1 0.00 5.11 9.05 42.37 9.00 8.95 84.95 18.68 85.84

time (sec)

N/A 0.000 0.236 0.007 17.148 0.113 1.721 0.286 200.033 2.738

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 20 20 19 0 18 15 18 40 18

N.S.

1 0.71 0.71 0.68 0.00 0.64 0.54 0.64 1.43 0.64

time (sec)

N/A 0.557 0.066 0.362 0.000 0.093 0.114 0.118 0.206 0.185

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

32 0 33 42 64 46 68 65 47 226

N.S.

1 0.00 1.03 1.31 2.00 1.44 2.12 2.03 1.47 7.06

time (sec)

N/A 0.000 0.086 1.973 0.271 0.093 0.344 0.255 0.219 2.584

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 80 47 31 134 29 24 32 27 27

N.S.

1 3.64 2.14 1.41 6.09 1.32 1.09 1.45 1.23 1.23

time (sec)

N/A 1.283 0.037 0.646 0.591 0.087 0.100 0.125 0.188 2.505

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 0 29 36 37 34 22 34 74 29

N.S.

1 0.00 1.04 1.29 1.32 1.21 0.79 1.21 2.64 1.04

time (sec)

N/A 0.000 0.074 1.835 0.090 0.089 0.294 0.207 0.214 2.706

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 85 85 49 72 55 56 60 68 60

N.S.

1 4.05 4.05 2.33 3.43 2.62 2.67 2.86 3.24 2.86

time (sec)

N/A 0.748 0.174 2.266 0.086 0.088 0.077 0.120 0.206 2.384

Problem 176

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

29 30 28 22 20 30 15 50 48 26

N.S.

1 1.03 0.97 0.76 0.69 1.03 0.52 1.72 1.66 0.90

time (sec)

N/A 0.544 0.109 0.294 0.090 0.090 0.076 0.113 0.205 0.124

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 0 17 19 23 18 17 20 23 18

N.S.

1 0.00 0.68 0.76 0.92 0.72 0.68 0.80 0.92 0.72

time (sec)

N/A 0.000 0.080 0.067 0.074 0.106 0.061 0.116 0.217 2.418

Problem 178

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

18 13 13 13 12 12 10 12 18 12

N.S.

1 0.72 0.72 0.72 0.67 0.67 0.56 0.67 1.00 0.67

time (sec)

N/A 0.156 0.015 0.026 0.035 0.081 0.038 0.109 0.205 0.072

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 48 23 31 30 50 53 71 40 30

N.S.

1 2.18 1.05 1.41 1.36 2.27 2.41 3.23 1.82 1.36

time (sec)

N/A 0.218 0.016 0.453 0.073 0.083 0.210 0.122 0.220 2.365

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

38 0 34 30 88 74 39 0 69 67

N.S.

1 0.00 0.89 0.79 2.32 1.95 1.03 0.00 1.82 1.76

time (sec)

N/A 0.000 0.097 76.213 0.500 0.105 0.446 0.000 0.228 3.012

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 37 17 16 33 20 17 20 15 15

N.S.

1 1.76 0.81 0.76 1.57 0.95 0.81 0.95 0.71 0.71

time (sec)

N/A 0.728 0.052 0.178 0.156 0.070 0.069 0.133 0.278 2.522

Problem 182

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 6 6 7 6 6 3 6 6 6

N.S.

1 0.46 0.46 0.54 0.46 0.46 0.23 0.46 0.46 0.46

time (sec)

N/A 0.134 0.000 0.012 0.026 0.063 0.017 0.120 0.265 0.002

Problem 183

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

17 24 16 12 17 11 10 11 14 11

N.S.

1 1.41 0.94 0.71 1.00 0.65 0.59 0.65 0.82 0.65

time (sec)

N/A 0.167 0.006 0.046 0.033 0.093 0.039 0.130 0.253 2.403

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 0 27 57 45 28 68 36 29 0

N.S.

1 0.00 1.08 2.28 1.80 1.12 2.72 1.44 1.16 0.00

time (sec)

N/A 0.000 0.095 0.523 0.111 0.094 0.290 0.165 0.293 0.000

Problem 185

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

22 19 19 18 17 17 15 17 17 17

N.S.

1 0.86 0.86 0.82 0.77 0.77 0.68 0.77 0.77 0.77

time (sec)

N/A 0.177 0.009 0.050 0.034 0.084 0.069 0.115 0.228 0.057

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 0 40 38 74 74 63 83 81 37

N.S.

1 0.00 1.33 1.27 2.47 2.47 2.10 2.77 2.70 1.23

time (sec)

N/A 0.000 6.169 0.665 0.188 0.094 0.173 0.143 0.237 2.771

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

20 217 85 26 85 81 138 84 25 170

N.S.

1 10.85 4.25 1.30 4.25 4.05 6.90 4.20 1.25 8.50

time (sec)

N/A 1.123 0.022 0.245 0.036 0.093 0.876 0.120 0.255 0.248

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 0 142 175 35 38 32 0 66 0

N.S.

1 0.00 4.73 5.83 1.17 1.27 1.07 0.00 2.20 0.00

time (sec)

N/A 0.000 0.124 0.050 0.372 0.095 2.156 0.000 0.372 0.000

Problem 189

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

25 20 24 21 20 20 19 22 20 18

N.S.

1 0.80 0.96 0.84 0.80 0.80 0.76 0.88 0.80 0.72

time (sec)

N/A 0.275 0.007 0.044 0.034 0.082 0.064 0.115 0.242 0.077

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 0 0 25 26 26 24 26 28 24

N.S.

1 0.00 0.00 1.00 1.04 1.04 0.96 1.04 1.12 0.96

time (sec)

N/A 0.000 0.000 0.333 0.087 0.092 0.316 0.184 0.315 0.521

Problem 191

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 11 17 11 10 10 10 10 11 10

N.S.

1 0.85 1.31 0.85 0.77 0.77 0.77 0.77 0.85 0.77

time (sec)

N/A 0.158 0.002 0.062 0.032 0.082 0.047 0.116 0.216 3.156

Problem 192

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

25 24 22 20 19 19 15 19 22 19

N.S.

1 0.96 0.88 0.80 0.76 0.76 0.60 0.76 0.88 0.76

time (sec)

N/A 0.783 0.219 0.562 0.203 0.082 0.192 0.117 0.270 0.290

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 0 51 49 80 80 63 98 86 26

N.S.

1 0.00 2.12 2.04 3.33 3.33 2.62 4.08 3.58 1.08

time (sec)

N/A 0.000 7.274 0.837 0.088 0.092 0.118 0.119 0.250 2.604

Problem 194

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

23 39 39 31 33 35 36 33 37 34

N.S.

1 1.70 1.70 1.35 1.43 1.52 1.57 1.43 1.61 1.48

time (sec)

N/A 0.222 0.007 0.083 0.026 0.074 0.143 0.117 0.231 0.063

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 366 293 18 37 17 17 17 17 17

N.S.

1 17.43 13.95 0.86 1.76 0.81 0.81 0.81 0.81 0.81

time (sec)

N/A 1.236 0.118 0.122 0.058 0.099 0.076 0.108 0.208 2.538

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 0 39 29 29 29 22 45 56 33

N.S.

1 0.00 1.26 0.94 0.94 0.94 0.71 1.45 1.81 1.06

time (sec)

N/A 0.000 0.133 0.196 0.103 0.084 0.069 0.125 0.258 2.334

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

15 0 15 15 35 15 0 0 201 13

N.S.

1 0.00 1.00 1.00 2.33 1.00 0.00 0.00 13.40 0.87

time (sec)

N/A 0.000 0.236 0.379 0.199 0.083 0.000 0.000 0.255 0.166

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 22 54 0 0 67 65 0 0 34

N.S.

1 1.00 2.45 0.00 0.00 3.05 2.95 0.00 0.00 1.55

time (sec)

N/A 0.883 0.067 0.000 0.000 0.094 1.501 0.000 0.640 2.867

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 33 34 36 49 28 31 33 52 36

N.S.

1 1.14 1.17 1.24 1.69 0.97 1.07 1.14 1.79 1.24

time (sec)

N/A 0.417 0.022 0.240 0.043 0.096 0.160 0.118 0.245 0.277

Problem 200

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

24 15 18 16 15 20 12 15 16 15

N.S.

1 0.62 0.75 0.67 0.62 0.83 0.50 0.62 0.67 0.62

time (sec)

N/A 0.179 0.007 0.086 0.046 0.074 0.058 0.109 0.208 2.296

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