[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 B A A A A B B B

verified

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

size

10 10 21 11 10 10 12 26 10 10

N.S.

1 1.00 2.10 1.10 1.00 1.00 1.20 2.60 1.00 1.00

time (sec)

N/A 0.164 0.003 0.253 0.028 0.094 0.062 0.108 0.222 0.052

Problem 2

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 23 20 32 22 46 32 43 18

N.S.

1 1.00 0.92 0.80 1.28 0.88 1.84 1.28 1.72 0.72

time (sec)

N/A 0.171 0.011 0.450 0.038 0.089 0.109 0.109 0.200 1.992

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 32 26 23 54 32 36 54 53 22

N.S.

1 1.23 1.00 0.88 2.08 1.23 1.38 2.08 2.04 0.85

time (sec)

N/A 0.192 0.001 0.873 0.038 0.083 0.131 0.108 0.215 1.983

Problem 4

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

46 51 33 31 60 49 95 60 67 31

N.S.

1 1.11 0.72 0.67 1.30 1.07 2.07 1.30 1.46 0.67

time (sec)

N/A 0.239 0.032 1.244 0.042 0.082 0.192 0.113 0.238 0.088

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

41 46 41 33 82 66 58 82 79 31

N.S.

1 1.12 1.00 0.80 2.00 1.61 1.41 2.00 1.93 0.76

time (sec)

N/A 0.206 0.011 2.140 0.038 0.085 0.260 0.096 0.213 1.964

Problem 6

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

67 77 43 42 86 90 139 88 91 42

N.S.

1 1.15 0.64 0.63 1.28 1.34 2.07 1.31 1.36 0.63

time (sec)

N/A 0.370 0.035 2.827 0.028 0.085 0.380 0.113 0.231 2.041

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

69 74 55 201 0 326 0 0 18 0

N.S.

1 1.07 0.80 2.91 0.00 4.72 0.00 0.00 0.26 0.00

time (sec)

N/A 0.355 0.080 7.474 0.000 0.100 0.000 0.000 0.289 0.000

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

46 46 44 188 0 203 0 0 18 0

N.S.

1 1.00 0.96 4.09 0.00 4.41 0.00 0.00 0.39 0.00

time (sec)

N/A 0.268 0.043 4.830 0.000 0.106 0.000 0.000 0.206 0.000

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

46 46 81 174 0 102 0 0 16 0

N.S.

1 1.00 1.76 3.78 0.00 2.22 0.00 0.00 0.35 0.00

time (sec)

N/A 0.284 0.074 2.565 0.000 0.101 0.000 0.000 0.203 0.000

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

20 20 20 135 0 37 0 0 9 0

N.S.

1 1.00 1.00 6.75 0.00 1.85 0.00 0.00 0.45 0.00

time (sec)

N/A 0.182 0.024 1.690 0.000 0.094 0.000 0.000 0.234 0.000

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

20 20 20 135 0 24 0 0 18 0

N.S.

1 1.00 1.00 6.75 0.00 1.20 0.00 0.00 0.90 0.00

time (sec)

N/A 0.182 0.025 0.559 0.000 0.089 0.000 0.000 0.215 0.000

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

42 42 42 103 0 148 0 0 18 0

N.S.

1 1.00 1.00 2.45 0.00 3.52 0.00 0.00 0.43 0.00

time (sec)

N/A 0.249 0.046 0.813 0.000 0.097 0.000 0.000 0.239 0.000

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

46 46 84 190 0 310 0 0 18 0

N.S.

1 1.00 1.83 4.13 0.00 6.74 0.00 0.00 0.39 0.00

time (sec)

N/A 0.253 0.052 1.130 0.000 0.102 0.000 0.000 0.228 0.000

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

69 70 63 363 0 613 0 0 18 0

N.S.

1 1.01 0.91 5.26 0.00 8.88 0.00 0.00 0.26 0.00

time (sec)

N/A 0.334 0.100 1.462 0.000 0.108 0.000 0.000 0.207 0.000

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

65 71 53 145 0 247 0 0 16 0

N.S.

1 1.09 0.82 2.23 0.00 3.80 0.00 0.00 0.25 0.00

time (sec)

N/A 0.413 0.046 5.847 0.000 0.095 0.000 0.000 0.215 0.000

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

48 48 41 184 0 155 0 0 16 0

N.S.

1 1.00 0.85 3.83 0.00 3.23 0.00 0.00 0.33 0.00

time (sec)

N/A 0.332 0.043 3.986 0.000 0.097 0.000 0.000 0.226 0.000

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

48 48 57 130 0 65 0 0 12 0

N.S.

1 1.00 1.19 2.71 0.00 1.35 0.00 0.00 0.25 0.00

time (sec)

N/A 0.340 0.054 2.502 0.000 0.084 0.000 0.000 0.227 0.000

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 27 27 118 0 28 0 0 8 0

N.S.

1 1.00 1.00 4.37 0.00 1.04 0.00 0.00 0.30 0.00

time (sec)

N/A 0.219 0.019 1.951 0.000 0.096 0.000 0.000 0.216 0.000

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 27 27 100 0 16 0 0 16 0

N.S.

1 1.00 1.00 3.70 0.00 0.59 0.00 0.00 0.59 0.00

time (sec)

N/A 0.220 0.021 0.762 0.000 0.079 0.000 0.000 0.208 0.000

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

46 46 34 159 0 90 0 0 16 0

N.S.

1 1.00 0.74 3.46 0.00 1.96 0.00 0.00 0.35 0.00

time (sec)

N/A 0.300 0.030 0.988 0.000 0.104 0.000 0.000 0.214 0.000

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

50 50 56 177 0 186 0 0 16 0

N.S.

1 1.00 1.12 3.54 0.00 3.72 0.00 0.00 0.32 0.00

time (sec)

N/A 0.291 0.038 1.144 0.000 0.104 0.000 0.000 0.220 0.000

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

67 71 43 254 0 375 0 0 16 0

N.S.

1 1.06 0.64 3.79 0.00 5.60 0.00 0.00 0.24 0.00

time (sec)

N/A 0.381 0.045 1.456 0.000 0.096 0.000 0.000 0.210 0.000

Problem 23

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

71 71 65 0 0 0 0 0 14 0

N.S.

1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 0.20 0.00

time (sec)

N/A 0.220 0.048 0.000 0.000 0.000 0.000 0.000 0.228 0.000

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

54 62 53 31 66 100 337 70 75 70

N.S.

1 1.15 0.98 0.57 1.22 1.85 6.24 1.30 1.39 1.30

time (sec)

N/A 0.429 0.256 0.558 0.041 0.088 0.813 0.109 0.204 2.062

Problem 25

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

43 43 45 24 56 70 189 51 83 52

N.S.

1 1.00 1.05 0.56 1.30 1.63 4.40 1.19 1.93 1.21

time (sec)

N/A 0.287 0.208 0.365 0.027 0.082 0.436 0.111 0.206 2.006

Problem 26

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 24 32 15 41 47 63 35 34 34

N.S.

1 0.96 1.28 0.60 1.64 1.88 2.52 1.40 1.36 1.36

time (sec)

N/A 0.329 0.167 0.256 0.038 0.087 0.228 0.106 0.234 1.987

Problem 27

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 18 29 13 18 24 8 17 23 17

N.S.

1 1.00 1.61 0.72 1.00 1.33 0.44 0.94 1.28 0.94

time (sec)

N/A 0.244 0.119 0.175 0.050 0.080 0.167 0.111 0.208 1.967

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

20 20 22 19 23 29 0 20 30 31

N.S.

1 1.00 1.10 0.95 1.15 1.45 0.00 1.00 1.50 1.55

time (sec)

N/A 0.290 0.100 0.487 0.106 0.083 0.000 0.110 0.204 1.946

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 29 43 33 45 127 0 36 66 58

N.S.

1 1.04 1.54 1.18 1.61 4.54 0.00 1.29 2.36 2.07

time (sec)

N/A 0.401 0.150 0.513 0.127 0.076 0.000 0.115 0.214 1.915

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

43 44 49 46 73 325 0 48 122 73

N.S.

1 1.02 1.14 1.07 1.70 7.56 0.00 1.12 2.84 1.70

time (sec)

N/A 0.474 0.161 0.757 0.124 0.088 0.000 0.108 0.228 1.976

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

56 63 60 52 101 600 0 57 173 107

N.S.

1 1.12 1.07 0.93 1.80 10.71 0.00 1.02 3.09 1.91

time (sec)

N/A 0.519 0.221 0.838 0.113 0.097 0.000 0.116 0.207 2.091

Problem 32

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 14 14 18 22 17 15 23 15

N.S.

1 1.00 0.70 0.70 0.90 1.10 0.85 0.75 1.15 0.75

time (sec)

N/A 0.184 0.013 0.215 0.048 0.087 0.295 0.112 0.221 2.087

Problem 33

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

47 47 34 26 90 113 36 25 51 25

N.S.

1 1.00 0.72 0.55 1.91 2.40 0.77 0.53 1.09 0.53

time (sec)

N/A 0.253 0.022 0.264 0.037 0.071 0.475 0.108 0.225 0.064

Problem 34

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

70 75 44 37 205 174 51 36 87 36

N.S.

1 1.07 0.63 0.53 2.93 2.49 0.73 0.51 1.24 0.51

time (sec)

N/A 0.334 0.038 0.323 0.038 0.081 1.001 0.106 0.206 2.001

Problem 35

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

93 103 54 48 364 347 68 47 123 283

N.S.

1 1.11 0.58 0.52 3.91 3.73 0.73 0.51 1.32 3.04

time (sec)

N/A 0.436 0.057 0.314 0.041 0.080 2.124 0.112 0.223 1.979

Problem 36

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 23 14 14 18 24 19 15 23 15

N.S.

1 1.00 0.61 0.61 0.78 1.04 0.83 0.65 1.00 0.65

time (sec)

N/A 0.223 0.078 0.274 0.032 0.091 0.386 0.111 0.242 0.062

Problem 37

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

51 51 31 26 90 117 39 25 51 25

N.S.

1 1.00 0.61 0.51 1.76 2.29 0.76 0.49 1.00 0.49

time (sec)

N/A 0.312 0.058 0.342 0.040 0.066 0.662 0.109 0.228 0.064

Problem 38

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

76 81 41 37 205 174 56 36 87 36

N.S.

1 1.07 0.54 0.49 2.70 2.29 0.74 0.47 1.14 0.47

time (sec)

N/A 0.397 0.126 0.378 0.033 0.113 1.177 0.106 0.227 1.986

Problem 39

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

101 111 51 48 364 347 73 47 123 283

N.S.

1 1.10 0.50 0.48 3.60 3.44 0.72 0.47 1.22 2.80

time (sec)

N/A 0.486 0.087 0.419 0.044 0.073 2.399 0.110 0.205 0.090

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

51 51 34 92 114 56 0 37 22 0

N.S.

1 1.00 0.67 1.80 2.24 1.10 0.00 0.73 0.43 0.00

time (sec)

N/A 0.323 0.016 0.394 0.216 0.083 0.000 0.116 0.229 0.000

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

53 53 44 40 0 92 0 74 25 0

N.S.

1 1.00 0.83 0.75 0.00 1.74 0.00 1.40 0.47 0.00

time (sec)

N/A 0.327 0.114 0.494 0.000 0.094 0.000 0.116 0.205 0.000

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

89 93 71 73 121 327 0 0 58 0

N.S.

1 1.04 0.80 0.82 1.36 3.67 0.00 0.00 0.65 0.00

time (sec)

N/A 0.412 0.092 0.432 0.149 0.080 0.000 0.000 0.237 0.000

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

59 59 55 58 81 140 0 0 34 0

N.S.

1 1.00 0.93 0.98 1.37 2.37 0.00 0.00 0.58 0.00

time (sec)

N/A 0.287 0.049 0.374 0.128 0.099 0.000 0.000 0.245 0.000

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 26 29 43 40 41 0 0 14 26

N.S.

1 1.00 1.12 1.65 1.54 1.58 0.00 0.00 0.54 1.00

time (sec)

N/A 0.210 0.062 0.452 0.135 0.076 0.000 0.000 0.234 0.121

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

46 46 40 103 86 136 0 0 28 0

N.S.

1 1.00 0.87 2.24 1.87 2.96 0.00 0.00 0.61 0.00

time (sec)

N/A 0.229 0.013 0.389 0.177 0.110 0.000 0.000 0.223 0.000

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

77 77 63 144 170 232 0 0 38 0

N.S.

1 1.00 0.82 1.87 2.21 3.01 0.00 0.00 0.49 0.00

time (sec)

N/A 0.317 0.061 0.435 0.202 0.115 0.000 0.000 0.238 0.000

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

107 112 91 178 250 535 0 0 48 0

N.S.

1 1.05 0.85 1.66 2.34 5.00 0.00 0.00 0.45 0.00

time (sec)

N/A 0.381 0.180 0.412 0.195 0.169 0.000 0.000 0.228 0.000

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

92 96 72 71 190 328 0 194 64 0

N.S.

1 1.04 0.78 0.77 2.07 3.57 0.00 2.11 0.70 0.00

time (sec)

N/A 0.392 0.188 0.522 0.140 0.118 0.000 0.132 0.227 0.000

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

61 61 56 56 124 139 0 127 40 0

N.S.

1 1.00 0.92 0.92 2.03 2.28 0.00 2.08 0.66 0.00

time (sec)

N/A 0.282 0.145 0.424 0.147 0.139 0.000 0.124 0.223 0.000

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 27 30 41 58 42 0 63 16 27

N.S.

1 1.00 1.11 1.52 2.15 1.56 0.00 2.33 0.59 1.00

time (sec)

N/A 0.191 0.090 0.461 0.138 0.108 0.000 0.112 0.236 2.043

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

48 48 41 41 0 141 0 40 31 0

N.S.

1 1.00 0.85 0.85 0.00 2.94 0.00 0.83 0.65 0.00

time (sec)

N/A 0.214 0.014 0.410 0.000 0.085 0.000 0.117 0.209 0.000

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

79 79 98 87 0 274 0 115 40 0

N.S.

1 1.00 1.24 1.10 0.00 3.47 0.00 1.46 0.51 0.00

time (sec)

N/A 0.291 0.257 0.435 0.000 0.090 0.000 0.128 0.224 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

110 115 129 137 0 580 0 177 51 0

N.S.

1 1.05 1.17 1.25 0.00 5.27 0.00 1.61 0.46 0.00

time (sec)

N/A 0.392 0.263 0.439 0.000 0.098 0.000 0.139 0.219 0.000

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

112 129 99 203 0 1625 0 133 247 209

N.S.

1 1.15 0.88 1.81 0.00 14.51 0.00 1.19 2.21 1.87

time (sec)

N/A 0.809 0.159 0.858 0.000 0.126 0.000 0.117 0.229 2.381

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

85 95 78 153 0 903 0 92 148 167

N.S.

1 1.12 0.92 1.80 0.00 10.62 0.00 1.08 1.74 1.96

time (sec)

N/A 0.550 0.104 0.528 0.000 0.124 0.000 0.112 0.291 2.198

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

62 65 57 94 0 449 1275 62 78 139

N.S.

1 1.05 0.92 1.52 0.00 7.24 20.56 1.00 1.26 2.24

time (sec)

N/A 0.385 0.086 0.358 0.000 0.132 58.481 0.114 0.199 2.134

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

52 52 48 64 0 218 241 42 61 109

N.S.

1 1.00 0.92 1.23 0.00 4.19 4.63 0.81 1.17 2.10

time (sec)

N/A 0.283 0.049 0.223 0.000 0.115 13.828 0.115 0.232 0.233

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

54 54 54 51 0 227 0 45 67 286

N.S.

1 1.00 1.00 0.94 0.00 4.20 0.00 0.83 1.24 5.30

time (sec)

N/A 0.343 0.068 0.506 0.000 0.106 0.000 0.113 0.214 4.818

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

64 67 63 73 0 515 0 61 179 294

N.S.

1 1.05 0.98 1.14 0.00 8.05 0.00 0.95 2.80 4.59

time (sec)

N/A 0.445 0.114 0.758 0.000 0.118 0.000 0.115 0.218 4.446

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

87 98 82 109 0 1370 0 89 361 476

N.S.

1 1.13 0.94 1.25 0.00 15.75 0.00 1.02 4.15 5.47

time (sec)

N/A 0.793 0.184 1.124 0.000 0.166 0.000 0.108 0.231 5.409

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

114 131 101 145 0 2483 0 123 517 547

N.S.

1 1.15 0.89 1.27 0.00 21.78 0.00 1.08 4.54 4.80

time (sec)

N/A 1.127 0.309 1.592 0.000 0.170 0.000 0.119 0.228 6.027

Problem 62

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

183 196 133 132 273 190 314 263 354 160

N.S.

1 1.07 0.73 0.72 1.49 1.04 1.72 1.44 1.93 0.87

time (sec)

N/A 0.809 0.707 149.968 0.036 0.083 0.331 0.116 0.217 2.295

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

137 145 104 101 183 123 240 196 251 114

N.S.

1 1.06 0.76 0.74 1.34 0.90 1.75 1.43 1.83 0.83

time (sec)

N/A 0.567 0.371 19.839 0.035 0.081 0.220 0.115 0.241 0.204

Problem 64

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

90 93 80 67 116 78 128 131 163 73

N.S.

1 1.03 0.89 0.74 1.29 0.87 1.42 1.46 1.81 0.81

time (sec)

N/A 0.368 0.197 229.858 0.038 0.089 0.201 0.115 0.212 2.068

Problem 65

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

50 50 46 43 55 40 78 75 96 41

N.S.

1 1.00 0.92 0.86 1.10 0.80 1.56 1.50 1.92 0.82

time (sec)

N/A 0.224 0.123 1.005 0.030 0.081 0.111 0.113 0.213 2.032

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

15 15 26 16 15 17 17 32 17 15

N.S.

1 1.00 1.73 1.07 1.00 1.13 1.13 2.13 1.13 1.00

time (sec)

N/A 0.151 0.003 0.306 0.027 0.078 0.087 0.112 0.215 0.060

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

49 49 48 44 0 237 163 39 51 53

N.S.

1 1.00 0.98 0.90 0.00 4.84 3.33 0.80 1.04 1.08

time (sec)

N/A 0.210 0.046 0.282 0.000 0.101 2.738 0.116 0.226 2.345

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

86 97 84 118 0 743 2332 99 286 215

N.S.

1 1.13 0.98 1.37 0.00 8.64 27.12 1.15 3.33 2.50

time (sec)

N/A 0.341 0.189 0.412 0.000 0.115 37.760 0.111 0.211 2.429

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

133 159 113 186 0 2591 0 195 1035 0

N.S.

1 1.20 0.85 1.40 0.00 19.48 0.00 1.47 7.78 0.00

time (sec)

N/A 0.505 0.309 0.631 0.000 0.126 0.000 0.120 0.237 0.000

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

184 226 160 284 0 5705 0 329 1720 0

N.S.

1 1.23 0.87 1.54 0.00 31.01 0.00 1.79 9.35 0.00

time (sec)

N/A 0.748 0.725 1.116 0.000 0.149 0.000 0.122 0.221 0.000

Problem 71

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 22 20 18 19 24 24 16 17 34

N.S.

1 1.00 0.91 0.82 0.86 1.09 1.09 0.73 0.77 1.55

time (sec)

N/A 0.190 0.033 0.512 0.122 0.083 0.466 0.112 0.213 2.076

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

48 48 43 46 64 147 291 54 103 74

N.S.

1 1.00 0.90 0.96 1.33 3.06 6.06 1.12 2.15 1.54

time (sec)

N/A 0.275 0.079 0.536 0.112 0.077 1.317 0.115 0.210 2.005

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

73 78 53 62 108 408 507 76 196 137

N.S.

1 1.07 0.73 0.85 1.48 5.59 6.95 1.04 2.68 1.88

time (sec)

N/A 0.395 0.130 0.756 0.126 0.105 2.463 0.116 0.216 2.068

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

98 108 63 75 152 793 784 98 292 223

N.S.

1 1.10 0.64 0.77 1.55 8.09 8.00 1.00 2.98 2.28

time (sec)

N/A 0.534 0.165 0.809 0.129 0.090 4.556 0.114 0.214 2.035

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 31 65 30 37 42 41 28 30 40

N.S.

1 1.00 2.10 0.97 1.19 1.35 1.32 0.90 0.97 1.29

time (sec)

N/A 0.194 0.032 0.395 0.038 0.094 0.388 0.109 0.230 2.033

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

56 61 144 64 81 212 199 65 156 77

N.S.

1 1.09 2.57 1.14 1.45 3.79 3.55 1.16 2.79 1.38

time (sec)

N/A 0.272 0.102 0.468 0.044 0.112 0.838 0.112 0.215 2.036

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

81 91 217 90 125 563 445 87 293 141

N.S.

1 1.12 2.68 1.11 1.54 6.95 5.49 1.07 3.62 1.74

time (sec)

N/A 0.392 0.159 0.623 0.037 0.130 1.604 0.109 0.217 2.022

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

106 121 296 112 169 1078 784 109 433 226

N.S.

1 1.14 2.79 1.06 1.59 10.17 7.40 1.03 4.08 2.13

time (sec)

N/A 0.536 0.250 0.753 0.047 0.092 3.231 0.113 0.208 2.041

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

153 159 150 685 0 452 0 0 48 0

N.S.

1 1.04 0.98 4.48 0.00 2.95 0.00 0.00 0.31 0.00

time (sec)

N/A 0.985 0.373 9.737 0.000 0.104 0.000 0.000 0.231 0.000

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

124 125 111 466 0 259 0 0 26 0

N.S.

1 1.01 0.90 3.76 0.00 2.09 0.00 0.00 0.21 0.00

time (sec)

N/A 0.671 0.169 6.500 0.000 0.121 0.000 0.000 0.226 0.000

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

61 61 61 276 0 197 0 0 13 0

N.S.

1 1.00 1.00 4.52 0.00 3.23 0.00 0.00 0.21 0.00

time (sec)

N/A 0.304 0.103 4.829 0.000 0.119 0.000 0.000 0.230 0.000

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

46 46 46 146 0 61 0 0 18 0

N.S.

1 1.00 1.00 3.17 0.00 1.33 0.00 0.00 0.39 0.00

time (sec)

N/A 0.269 0.031 1.250 0.000 0.099 0.000 0.000 0.228 0.000

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

84 84 68 298 0 381 0 0 30 0

N.S.

1 1.00 0.81 3.55 0.00 4.54 0.00 0.00 0.36 0.00

time (sec)

N/A 0.390 0.094 1.515 0.000 0.098 0.000 0.000 0.217 0.000

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

177 187 135 459 0 1187 0 0 42 0

N.S.

1 1.06 0.76 2.59 0.00 6.71 0.00 0.00 0.24 0.00

time (sec)

N/A 0.980 0.387 2.644 0.000 0.104 0.000 0.000 0.218 0.000

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

227 253 165 566 0 3129 0 0 54 0

N.S.

1 1.11 0.73 2.49 0.00 13.78 0.00 0.00 0.24 0.00

time (sec)

N/A 1.337 0.499 2.711 0.000 0.148 0.000 0.000 0.268 0.000

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

100 100 73 181 0 174 0 0 20 0

N.S.

1 1.00 0.73 1.81 0.00 1.74 0.00 0.00 0.20 0.00

time (sec)

N/A 0.541 0.262 4.051 0.000 0.081 0.000 0.000 0.198 0.000

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

94 89 60 71 237 563 0 156 84 0

N.S.

1 0.95 0.64 0.76 2.52 5.99 0.00 1.66 0.89 0.00

time (sec)

N/A 0.457 0.086 1.585 0.142 0.087 0.000 0.124 0.228 0.000

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

68 66 46 57 163 279 0 113 52 0

N.S.

1 0.97 0.68 0.84 2.40 4.10 0.00 1.66 0.76 0.00

time (sec)

N/A 0.369 0.063 0.828 0.155 0.109 0.000 0.119 0.242 0.000

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

40 40 31 39 90 100 0 68 25 0

N.S.

1 1.00 0.78 0.98 2.25 2.50 0.00 1.70 0.62 0.00

time (sec)

N/A 0.284 0.029 0.823 0.160 0.088 0.000 0.115 0.221 0.000

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

98 93 61 69 288 564 0 295 96 0

N.S.

1 0.95 0.62 0.70 2.94 5.76 0.00 3.01 0.98 0.00

time (sec)

N/A 0.469 0.239 1.707 0.142 0.104 0.000 0.132 0.226 0.000

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

71 69 47 55 199 279 0 212 62 0

N.S.

1 0.97 0.66 0.77 2.80 3.93 0.00 2.99 0.87 0.00

time (sec)

N/A 0.369 0.193 0.903 0.140 0.102 0.000 0.124 0.221 0.000

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

44 44 32 39 109 107 0 131 29 0

N.S.

1 1.00 0.73 0.89 2.48 2.43 0.00 2.98 0.66 0.00

time (sec)

N/A 0.287 0.142 0.790 0.144 0.090 0.000 0.113 0.235 0.000

Problem 93

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 18 32 15 26 29 15 17 30 19

N.S.

1 1.00 1.78 0.83 1.44 1.61 0.83 0.94 1.67 1.06

time (sec)

N/A 0.245 0.168 0.243 0.029 0.118 0.174 0.113 0.220 0.051

Problem 94

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

35 35 25 26 129 50 36 30 45 30

N.S.

1 1.00 0.71 0.74 3.69 1.43 1.03 0.86 1.29 0.86

time (sec)

N/A 0.277 0.049 0.253 0.037 0.083 0.248 0.110 0.222 0.082

Problem 95

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

56 54 41 35 263 127 46 46 82 141

N.S.

1 0.96 0.73 0.62 4.70 2.27 0.82 0.82 1.46 2.52

time (sec)

N/A 0.354 0.058 0.334 0.044 0.076 0.454 0.112 0.225 1.872

Problem 96

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

75 71 55 52 449 175 78 60 112 231

N.S.

1 0.95 0.73 0.69 5.99 2.33 1.04 0.80 1.49 3.08

time (sec)

N/A 0.432 0.066 0.410 0.039 0.064 0.872 0.115 0.223 1.927

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

20 20 42 14 27 31 15 16 31 19

N.S.

1 1.00 2.10 0.70 1.35 1.55 0.75 0.80 1.55 0.95

time (sec)

N/A 0.286 0.164 0.262 0.036 0.075 0.266 0.106 0.203 0.054

Problem 98

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

37 37 25 26 131 48 36 32 44 32

N.S.

1 1.00 0.68 0.70 3.54 1.30 0.97 0.86 1.19 0.86

time (sec)

N/A 0.296 0.044 0.296 0.034 0.078 0.412 0.111 0.198 1.888

Problem 99

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

60 58 41 39 267 127 46 46 82 143

N.S.

1 0.97 0.68 0.65 4.45 2.12 0.77 0.77 1.37 2.38

time (sec)

N/A 0.372 0.059 0.332 0.039 0.072 0.667 0.112 0.219 0.087

Problem 100

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

81 77 55 55 451 175 78 60 112 233

N.S.

1 0.95 0.68 0.68 5.57 2.16 0.96 0.74 1.38 2.88

time (sec)

N/A 0.481 0.057 0.405 0.053 0.082 1.126 0.114 0.216 1.909

[next] [front] [up]