[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 Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

10 10 10 10 9 9 7 9 11

N.S.

1 1.00 1.00 1.00 0.90 0.90 0.70 0.90 1.10

time (sec)

N/A 0.013 0.061 0.031 0.226 0.277 0.040 0.277 0.071

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 11 19 14 14 31 14 23

N.S.

1 1.00 0.32 0.56 0.41 0.41 0.91 0.41 0.68

time (sec)

N/A 0.031 0.004 0.010 0.194 0.252 0.072 0.268 17.718

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 12 11 13 26 11 13

N.S.

1 1.00 1.00 0.80 0.73 0.87 1.73 0.73 0.87

time (sec)

N/A 0.009 0.008 0.102 0.201 0.244 0.127 0.278 0.054

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

6 6 6 7 6 6 5 6 6

N.S.

1 1.00 1.00 1.17 1.00 1.00 0.83 1.00 1.00

time (sec)

N/A 0.004 0.003 0.036 0.212 0.249 0.019 0.273 18.421

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 12138 10076 10076 0 12024 10076 15

N.S.

1 1.00 527.74 438.09 438.09 0.00 522.78 438.09 0.65

time (sec)

N/A 0.029 0.132 7.625 2.294 0.000 2.415 1.638 34.755

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 15 14 22 12 22 14

N.S.

1 1.00 1.00 0.94 0.88 1.38 0.75 1.38 0.88

time (sec)

N/A 0.004 0.004 0.008 0.185 0.265 0.049 0.277 19.877

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 16 12 11 11 10 12 11

N.S.

1 1.00 1.07 0.80 0.73 0.73 0.67 0.80 0.73

time (sec)

N/A 0.006 0.004 0.168 0.187 0.249 0.024 0.272 0.029

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 16 16 15 13 15 15 14

N.S.

1 1.00 0.76 0.76 0.71 0.62 0.71 0.71 0.67

time (sec)

N/A 0.010 0.006 0.038 0.270 0.237 0.079 0.270 0.029

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 19 14 13 13 12 15 8

N.S.

1 1.00 1.00 0.74 0.68 0.68 0.63 0.79 0.42

time (sec)

N/A 0.004 0.004 0.179 0.185 0.247 0.045 0.267 0.175

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 28 16 18 17 17 19 27 15

N.S.

1 1.47 0.84 0.95 0.89 0.89 1.00 1.42 0.79

time (sec)

N/A 0.284 0.046 0.198 0.339 0.245 0.789 0.267 21.299

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 24 23 23 22 23 22

N.S.

1 1.00 1.00 0.96 0.92 0.92 0.88 0.92 0.88

time (sec)

N/A 0.039 0.007 0.032 0.273 0.249 0.066 0.265 0.033

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 22 17 13 22 68 18 26

N.S.

1 1.00 1.00 0.77 0.59 1.00 3.09 0.82 1.18

time (sec)

N/A 0.011 0.006 0.245 0.274 0.255 0.704 0.263 0.105

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 19 16 74 28 0 103 15

N.S.

1 1.00 1.00 0.84 3.89 1.47 0.00 5.42 0.79

time (sec)

N/A 0.022 0.012 0.131 0.280 0.267 0.000 0.280 20.914

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 24 19 19 18 15 22 18

N.S.

1 1.00 0.96 0.76 0.76 0.72 0.60 0.88 0.72

time (sec)

N/A 0.018 0.007 0.023 0.195 0.254 0.050 0.267 19.619

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

11 11 11 17 16 11 0 12 0

N.S.

1 1.00 1.00 1.55 1.45 1.00 0.00 1.09 0.00

time (sec)

N/A 0.024 0.071 0.193 0.208 0.233 0.000 0.262 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 37 57 0 26 42 0 0

N.S.

1 1.00 1.00 1.54 0.00 0.70 1.14 0.00 0.00

time (sec)

N/A 0.014 0.010 0.034 0.000 0.260 0.118 0.000 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 30 20 16 19 23 32 40 32

N.S.

1 1.50 1.00 0.80 0.95 1.15 1.60 2.00 1.60

time (sec)

N/A 0.027 0.024 0.046 0.283 0.247 0.113 0.273 21.007

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

5 29 8 7 6 5 29 6 6

N.S.

1 5.80 1.60 1.40 1.20 1.00 5.80 1.20 1.20

time (sec)

N/A 0.030 0.004 0.240 0.190 0.252 0.022 0.263 20.292

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A C A B C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 37 16 13 19 12 31 22 14

N.S.

1 2.31 1.00 0.81 1.19 0.75 1.94 1.38 0.88

time (sec)

N/A 0.008 0.024 0.167 0.179 0.253 0.529 0.262 0.044

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

8 8 8 7 6 6 7 6 6

N.S.

1 1.00 1.00 0.88 0.75 0.75 0.88 0.75 0.75

time (sec)

N/A 0.011 0.003 0.029 0.173 0.262 0.100 0.270 20.116

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

3 3 3 7 6 17 15 25 11

N.S.

1 1.00 1.00 2.33 2.00 5.67 5.00 8.33 3.67

time (sec)

N/A 0.003 0.000 0.022 0.177 0.250 0.060 0.264 0.004

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

4 4 4 4 3 3 0 3 3

N.S.

1 1.00 1.00 1.00 0.75 0.75 0.00 0.75 0.75

time (sec)

N/A 0.009 0.009 0.438 0.189 0.239 0.000 0.265 17.480

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 28 23 17 22 22 22 17

N.S.

1 1.00 1.00 0.82 0.61 0.79 0.79 0.79 0.61

time (sec)

N/A 0.011 0.001 0.013 0.185 0.262 0.046 0.260 0.079

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 22 19 18 18 20 18 18

N.S.

1 1.00 1.00 0.86 0.82 0.82 0.91 0.82 0.82

time (sec)

N/A 0.018 0.019 0.114 0.279 0.246 0.077 0.274 0.144

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

8 8 8 9 8 8 5 8 8

N.S.

1 1.00 1.00 1.12 1.00 1.00 0.62 1.00 1.00

time (sec)

N/A 0.005 0.001 0.033 0.183 0.247 0.031 0.262 0.103

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 28 28 21 20 27 22 21 22

N.S.

1 1.27 1.27 0.95 0.91 1.23 1.00 0.95 1.00

time (sec)

N/A 0.011 0.012 0.227 0.196 0.239 0.039 0.274 16.606

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 17 16 15 19 16 18

N.S.

1 1.00 1.00 1.13 1.07 1.00 1.27 1.07 1.20

time (sec)

N/A 0.014 0.013 0.038 0.201 0.245 0.078 0.266 15.224

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 12 188 19 0 0 15

N.S.

1 1.00 1.00 0.92 14.46 1.46 0.00 0.00 1.15

time (sec)

N/A 0.056 0.021 0.436 0.356 0.260 0.000 0.000 0.002

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

6 6 16 5 4 14 3 25 4

N.S.

1 1.00 2.67 0.83 0.67 2.33 0.50 4.17 0.67

time (sec)

N/A 0.001 0.020 0.204 0.264 0.256 0.057 0.266 0.034

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

7 7 7 8 7 11 7 7 7

N.S.

1 1.00 1.00 1.14 1.00 1.57 1.00 1.00 1.00

time (sec)

N/A 0.028 0.001 0.023 0.207 0.266 0.028 0.263 17.156

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 31 47 25 25 27 25 25

N.S.

1 1.00 0.89 1.34 0.71 0.71 0.77 0.71 0.71

time (sec)

N/A 0.049 0.018 0.222 0.199 0.256 3.329 0.268 15.271

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 71 32 40 39 47 0 48 44

N.S.

1 1.00 0.45 0.56 0.55 0.66 0.00 0.68 0.62

time (sec)

N/A 0.061 0.071 0.192 0.283 0.266 0.000 0.269 18.243

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 13 10 9 9 8 10 9

N.S.

1 1.00 1.08 0.83 0.75 0.75 0.67 0.83 0.75

time (sec)

N/A 0.027 0.028 0.025 0.197 0.254 0.033 0.277 0.061

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 16 13 12 12 19 12 12

N.S.

1 1.00 1.14 0.93 0.86 0.86 1.36 0.86 0.86

time (sec)

N/A 0.011 0.007 0.027 0.272 0.241 0.027 0.267 0.041

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

5 5 5 20 7 11 7 7 7

N.S.

1 1.00 1.00 4.00 1.40 2.20 1.40 1.40 1.40

time (sec)

N/A 0.016 0.005 0.224 0.184 0.257 0.031 0.267 15.419

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 12 11 11 10 11 11

N.S.

1 1.00 1.00 0.92 0.85 0.85 0.77 0.85 0.85

time (sec)

N/A 0.003 0.004 0.471 0.184 0.235 0.031 0.275 0.039

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

3 3 3 4 3 18 7 11 3

N.S.

1 1.00 1.00 1.33 1.00 6.00 2.33 3.67 1.00

time (sec)

N/A 0.004 0.002 0.034 0.187 0.234 0.051 0.279 0.027

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 11 11 11 8 11 10

N.S.

1 1.00 1.00 0.73 0.73 0.73 0.53 0.73 0.67

time (sec)

N/A 0.002 0.000 0.011 0.179 0.236 0.014 0.270 0.022

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 12 10 9 9 8 9 7

N.S.

1 1.00 0.86 0.71 0.64 0.64 0.57 0.64 0.50

time (sec)

N/A 0.002 0.000 0.012 0.179 0.232 0.032 0.266 0.025

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A B A A B

verified

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

size

11 0 11 9 8 20 14 12 8

N.S.

1 0.00 1.00 0.82 0.73 1.82 1.27 1.09 0.73

time (sec)

N/A 0.000 0.043 0.195 0.278 0.235 0.104 0.276 14.764

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

9 9 9 8 7 7 7 7 7

N.S.

1 1.00 1.00 0.89 0.78 0.78 0.78 0.78 0.78

time (sec)

N/A 0.028 0.006 0.030 0.191 0.249 0.068 0.263 15.846

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 14 11 16 20 36 16 10

N.S.

1 1.00 1.00 0.79 1.14 1.43 2.57 1.14 0.71

time (sec)

N/A 0.014 0.004 0.043 0.272 0.258 0.188 0.273 13.510

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 39 34 33 25 37 49 25

N.S.

1 1.00 0.87 0.76 0.73 0.56 0.82 1.09 0.56

time (sec)

N/A 0.023 0.052 0.053 0.276 4.288 0.166 0.279 14.143

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

8 8 8 9 8 8 5 8 6

N.S.

1 1.00 1.00 1.12 1.00 1.00 0.62 1.00 0.75

time (sec)

N/A 0.001 0.000 0.008 0.203 0.231 0.032 0.276 0.002

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

6 6 6 6 21 5 5 21 5

N.S.

1 1.00 1.00 1.00 3.50 0.83 0.83 3.50 0.83

time (sec)

N/A 0.007 0.007 0.086 0.187 0.241 0.086 0.291 0.054

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 26 16 14 13 13 12 13 13

N.S.

1 1.00 0.62 0.54 0.50 0.50 0.46 0.50 0.50

time (sec)

N/A 0.024 0.006 0.035 0.184 0.243 0.032 0.262 16.547

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F C A C A F A B

verified

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

size

10 0 27 10 473 12 0 12 9

N.S.

1 0.00 2.70 1.00 47.30 1.20 0.00 1.20 0.90

time (sec)

N/A 0.000 0.627 0.212 0.279 0.247 0.000 0.266 0.084

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 56 50 35 34 32 51 34 34

N.S.

1 1.00 0.89 0.62 0.61 0.57 0.91 0.61 0.61

time (sec)

N/A 0.100 0.046 0.026 0.188 0.232 4.522 0.284 0.033

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

9 9 9 8 7 21 8 7 7

N.S.

1 1.00 1.00 0.89 0.78 2.33 0.89 0.78 0.78

time (sec)

N/A 0.022 2.049 0.220 0.182 0.238 0.274 0.279 0.148

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A A C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 14 27 10 19 29 14

N.S.

1 1.00 1.00 0.93 1.80 0.67 1.27 1.93 0.93

time (sec)

N/A 0.096 0.045 0.180 0.239 0.230 1.291 0.273 16.153

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 20 17 22 19 37 19 20

N.S.

1 1.00 0.74 0.63 0.81 0.70 1.37 0.70 0.74

time (sec)

N/A 0.012 0.006 0.164 0.277 0.238 0.125 0.271 0.038

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 20 19 18 18 26 18 20

N.S.

1 1.00 1.00 0.95 0.90 0.90 1.30 0.90 1.00

time (sec)

N/A 0.023 0.009 0.030 0.276 0.229 0.041 0.286 0.113

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 25 20 19 19 34 38 30

N.S.

1 1.00 0.60 0.48 0.45 0.45 0.81 0.90 0.71

time (sec)

N/A 0.029 0.017 0.018 0.199 0.260 0.413 0.266 15.592

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

7 7 12 8 7 9 5 8 26

N.S.

1 1.00 1.71 1.14 1.00 1.29 0.71 1.14 3.71

time (sec)

N/A 0.004 0.010 0.122 0.187 0.251 0.020 0.272 15.059

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 27 20 19 19 19 20 25

N.S.

1 1.00 1.00 0.74 0.70 0.70 0.70 0.74 0.93

time (sec)

N/A 0.016 0.008 0.024 0.271 0.238 0.057 0.273 0.061

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 30 20 16 30 39 36 26 42

N.S.

1 1.50 1.00 0.80 1.50 1.95 1.80 1.30 2.10

time (sec)

N/A 0.024 0.028 0.034 0.277 0.241 0.155 0.277 0.150

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 10 9 9 10 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 0.77 0.69 0.69

time (sec)

N/A 0.003 0.015 0.194 0.198 0.224 0.059 0.278 0.047

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 11 13 9 8 13 9

N.S.

1 1.00 1.00 0.85 1.00 0.69 0.62 1.00 0.69

time (sec)

N/A 0.007 0.001 0.013 0.192 0.247 0.037 0.277 13.952

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

3 3 3 4 3 8 7 5 5

N.S.

1 1.00 1.00 1.33 1.00 2.67 2.33 1.67 1.67

time (sec)

N/A 0.003 0.002 0.089 0.187 0.235 0.168 0.271 0.026

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 14 12 11 11 10 11 11

N.S.

1 1.00 0.64 0.55 0.50 0.50 0.45 0.50 0.50

time (sec)

N/A 0.021 0.002 0.020 0.204 0.233 0.029 0.269 0.002

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

10 10 10 9 7 14 17 8 8

N.S.

1 1.00 1.00 0.90 0.70 1.40 1.70 0.80 0.80

time (sec)

N/A 0.008 0.021 0.190 0.278 0.239 0.482 0.266 0.098

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 12 15 11 10 15 11

N.S.

1 1.00 1.00 0.92 1.15 0.85 0.77 1.15 0.85

time (sec)

N/A 0.006 0.005 0.163 0.185 0.250 0.035 0.264 13.303

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 18 14 22 0 22 17

N.S.

1 1.00 1.00 0.86 0.67 1.05 0.00 1.05 0.81

time (sec)

N/A 0.006 0.005 0.014 0.181 0.244 0.000 0.275 0.072

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 34 23 22 21 32 21 22

N.S.

1 1.00 1.00 0.68 0.65 0.62 0.94 0.62 0.65

time (sec)

N/A 0.012 0.061 0.021 0.268 0.239 0.239 0.263 0.034

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 22 17 16 16 20 16 16

N.S.

1 1.00 1.00 0.77 0.73 0.73 0.91 0.73 0.73

time (sec)

N/A 0.013 0.029 0.030 0.194 0.239 0.096 0.277 13.609

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 19 16 15 21 12 15 17

N.S.

1 1.00 1.00 0.84 0.79 1.11 0.63 0.79 0.89

time (sec)

N/A 0.005 0.012 0.023 0.277 0.235 0.038 0.284 13.506

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

10 10 10 10 11 9 8 9 9

N.S.

1 1.00 1.00 1.00 1.10 0.90 0.80 0.90 0.90

time (sec)

N/A 0.027 0.034 0.041 0.233 0.236 0.035 0.275 0.064

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

8 8 40 7 6 16 5 25 6

N.S.

1 1.00 5.00 0.88 0.75 2.00 0.62 3.12 0.75

time (sec)

N/A 0.004 0.047 0.278 0.285 0.246 0.455 0.274 0.013

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 12 19 12 23 0 10 12

N.S.

1 1.00 1.00 1.58 1.00 1.92 0.00 0.83 1.00

time (sec)

N/A 0.016 0.017 0.035 0.288 0.238 0.000 0.286 0.049

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 40 17 0 24 0 22 16

N.S.

1 1.00 3.33 1.42 0.00 2.00 0.00 1.83 1.33

time (sec)

N/A 0.007 0.015 0.194 0.000 0.242 0.000 0.282 13.450

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 15 15 14 15 14 14

N.S.

1 1.00 1.00 0.83 0.83 0.78 0.83 0.78 0.78

time (sec)

N/A 0.006 0.016 0.150 0.186 0.231 0.055 0.275 0.062

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 52 38 35 26 43 0 0 0

N.S.

1 1.00 0.73 0.67 0.50 0.83 0.00 0.00 0.00

time (sec)

N/A 0.063 0.068 0.166 0.279 0.257 0.000 0.000 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F C A F A B

verified

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

size

39 39 37 0 137 33 0 33 45

N.S.

1 1.00 0.95 0.00 3.51 0.85 0.00 0.85 1.15

time (sec)

N/A 0.216 0.697 0.000 0.335 0.239 0.000 0.279 14.609

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 22 20 19 21 26 19 19

N.S.

1 1.00 0.81 0.74 0.70 0.78 0.96 0.70 0.70

time (sec)

N/A 0.013 0.051 0.068 0.199 0.250 0.099 0.285 0.036

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F F B

verified

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

size

7 7 7 0 7 13 0 0 7

N.S.

1 1.00 1.00 0.00 1.00 1.86 0.00 0.00 1.00

time (sec)

N/A 0.054 0.037 0.000 0.229 0.247 0.000 0.000 17.652

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

6 6 6 6 5 5 5 5 5

N.S.

1 1.00 1.00 1.00 0.83 0.83 0.83 0.83 0.83

time (sec)

N/A 0.018 0.016 0.026 0.200 0.229 0.029 0.268 0.032

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

8 8 8 7 6 6 7 6 6

N.S.

1 1.00 1.00 0.88 0.75 0.75 0.88 0.75 0.75

time (sec)

N/A 0.003 0.029 0.042 0.192 0.239 0.035 0.266 13.962

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

8 8 8 7 10 16 10 6 6

N.S.

1 1.00 1.00 0.88 1.25 2.00 1.25 0.75 0.75

time (sec)

N/A 0.015 0.002 0.059 0.197 0.256 0.249 0.273 13.518

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 19 15 14 14 17 14 14

N.S.

1 1.00 1.00 0.79 0.74 0.74 0.89 0.74 0.74

time (sec)

N/A 0.009 0.009 0.189 0.280 0.235 0.056 0.275 0.040

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A B B B A B B

verified

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

size

5 0 5 16 52 34 5 45 5

N.S.

1 0.00 1.00 3.20 10.40 6.80 1.00 9.00 1.00

time (sec)

N/A 0.000 0.018 0.871 0.218 0.250 0.145 0.274 0.070

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

7 7 7 7 6 6 7 77 6

N.S.

1 1.00 1.00 1.00 0.86 0.86 1.00 11.00 0.86

time (sec)

N/A 0.032 0.108 0.259 0.198 0.244 0.062 0.275 14.079

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

4 4 4 5 4 44 5 4 4

N.S.

1 1.00 1.00 1.25 1.00 11.00 1.25 1.00 1.00

time (sec)

N/A 0.029 9.252 8.366 0.189 0.257 0.901 0.281 14.974

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

10 10 23 11 15 18 8 10 10

N.S.

1 1.00 2.30 1.10 1.50 1.80 0.80 1.00 1.00

time (sec)

N/A 0.007 0.007 0.035 0.192 0.247 0.178 0.270 0.002

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

6 6 6 7 42 6 0 6 6

N.S.

1 1.00 1.00 1.17 7.00 1.00 0.00 1.00 1.00

time (sec)

N/A 0.024 0.004 0.174 0.194 0.240 0.000 0.277 15.081

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

6 6 6 6 5 5 5 5 5

N.S.

1 1.00 1.00 1.00 0.83 0.83 0.83 0.83 0.83

time (sec)

N/A 0.008 0.008 0.050 0.226 0.241 0.072 0.269 15.995

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

6 6 8 7 12 16 3 12 6

N.S.

1 1.00 1.33 1.17 2.00 2.67 0.50 2.00 1.00

time (sec)

N/A 0.006 0.009 0.021 0.199 0.238 0.057 0.263 16.601

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

7 12 12 8 36 9 8 21 26

N.S.

1 1.71 1.71 1.14 5.14 1.29 1.14 3.00 3.71

time (sec)

N/A 0.107 0.012 0.356 0.192 0.246 1.449 0.273 16.107

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

10 10 10 0 0 6 0 6 6

N.S.

1 1.00 1.00 0.00 0.00 0.60 0.00 0.60 0.60

time (sec)

N/A 0.008 0.034 180.000 0.000 0.239 0.000 0.263 0.250

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

3 3 3 4 3 3 219 3 3

N.S.

1 1.00 1.00 1.33 1.00 1.00 73.00 1.00 1.00

time (sec)

N/A 0.023 0.013 0.240 0.274 0.251 9.125 0.266 16.484

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

11 11 11 10 9 22 8 9 9

N.S.

1 1.00 1.00 0.91 0.82 2.00 0.73 0.82 0.82

time (sec)

N/A 0.001 0.004 0.230 0.201 0.242 0.359 0.271 16.452

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 20 7 0 18 0 15 0

N.S.

1 1.00 1.00 0.35 0.00 0.90 0.00 0.75 0.00

time (sec)

N/A 0.007 0.113 0.251 0.000 0.235 0.000 0.286 0.000

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

7 7 12 8 11 11 7 12 12

N.S.

1 1.00 1.71 1.14 1.57 1.57 1.00 1.71 1.71

time (sec)

N/A 0.067 0.078 0.232 0.216 0.240 0.053 0.256 16.321

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

3 3 9 4 17 19 14 16 3

N.S.

1 1.00 3.00 1.33 5.67 6.33 4.67 5.33 1.00

time (sec)

N/A 0.008 0.003 0.122 0.192 0.252 0.051 0.265 0.047

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

3 3 5 3 5 5 5 5 5

N.S.

1 1.00 1.67 1.00 1.67 1.67 1.67 1.67 1.67

time (sec)

N/A 0.142 0.039 0.030 0.447 0.250 1.385 0.267 15.884

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

5 5 5 6 5 5 5 5 5

N.S.

1 1.00 1.00 1.20 1.00 1.00 1.00 1.00 1.00

time (sec)

N/A 0.047 0.061 0.288 0.220 0.244 0.050 0.269 16.576

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

6 15 15 12 11 27 0 11 5

N.S.

1 2.50 2.50 2.00 1.83 4.50 0.00 1.83 0.83

time (sec)

N/A 0.016 0.018 0.028 0.183 0.245 0.000 0.276 16.607

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

2 2 19 3 13 13 12 15 2

N.S.

1 1.00 9.50 1.50 6.50 6.50 6.00 7.50 1.00

time (sec)

N/A 0.001 0.004 0.186 0.195 0.231 0.048 0.275 16.288

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 13 12 13 24 14 10 14 13

N.S.

1 1.08 1.00 1.08 2.00 1.17 0.83 1.17 1.08

time (sec)

N/A 0.006 0.008 0.046 0.193 0.247 0.092 0.267 16.268

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 39 30 29 0 60 29 29

N.S.

1 1.00 1.00 0.77 0.74 0.00 1.54 0.74 0.74

time (sec)

N/A 0.059 0.067 1.460 0.209 0.000 0.246 0.268 17.420

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

4 4 4 5 4 41 5 4 4

N.S.

1 1.00 1.00 1.25 1.00 10.25 1.25 1.00 1.00

time (sec)

N/A 0.026 0.011 10.368 0.195 0.245 0.853 0.278 0.336

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