[next] [tail] [up]

Integrals 1 to 100

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

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

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

33 33 33 28 27 27 29 29 28 28

N.S.

1 1.00 1.00 0.85 0.82 0.82 0.88 0.88 0.85 0.85

time (sec)

N/A 0.276 0.005 0.087 0.025 0.067 0.021 0.139 0.208 0.025

Problem 2

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

33 33 33 28 27 27 29 29 28 28

N.S.

1 1.00 1.00 0.85 0.82 0.82 0.88 0.88 0.85 0.85

time (sec)

N/A 0.283 0.005 0.085 0.026 0.089 0.016 0.133 0.197 0.021

Problem 3

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

33 33 29 28 27 27 29 29 28 28

N.S.

1 1.00 0.88 0.85 0.82 0.82 0.88 0.88 0.85 0.85

time (sec)

N/A 0.283 0.005 0.086 0.027 0.065 0.017 0.117 0.216 0.021

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 28 28 25 24 24 26 26 26 25

N.S.

1 1.00 1.00 0.89 0.86 0.86 0.93 0.93 0.93 0.89

time (sec)

N/A 0.271 0.008 0.040 0.026 0.068 0.017 0.121 0.189 0.023

Problem 5

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 No TBD TBD TBD TBD TBD TBD

size

24 24 24 22 22 22 22 22 22 22

N.S.

1 1.00 1.00 0.92 0.92 0.92 0.92 0.92 0.92 0.92

time (sec)

N/A 0.253 0.006 0.046 0.033 0.074 0.042 0.114 0.188 5.152

Problem 6

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 No TBD TBD TBD TBD TBD TBD

size

22 22 22 23 22 26 19 23 28 22

N.S.

1 1.00 1.00 1.05 1.00 1.18 0.86 1.05 1.27 1.00

time (sec)

N/A 0.262 0.008 0.049 0.031 0.070 0.064 0.105 0.190 0.024

Problem 7

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 No TBD TBD TBD TBD TBD TBD

size

27 27 28 26 25 29 27 26 30 25

N.S.

1 1.00 1.04 0.96 0.93 1.07 1.00 0.96 1.11 0.93

time (sec)

N/A 0.267 0.009 0.042 0.026 0.071 0.111 0.220 0.197 0.019

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 31 28 28 27 27 31 27 28 27

N.S.

1 1.00 0.90 0.90 0.87 0.87 1.00 0.87 0.90 0.87

time (sec)

N/A 0.266 0.008 0.038 0.027 0.070 0.139 0.190 0.189 0.022

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

33 33 29 28 27 27 31 27 28 28

N.S.

1 1.00 0.88 0.85 0.82 0.82 0.94 0.82 0.85 0.85

time (sec)

N/A 0.265 0.007 0.040 0.025 0.069 0.166 0.110 0.187 0.022

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

55 55 55 52 51 51 54 53 51 51

N.S.

1 1.00 1.00 0.95 0.93 0.93 0.98 0.96 0.93 0.93

time (sec)

N/A 0.332 0.010 0.678 0.026 0.066 0.023 0.126 0.204 0.034

Problem 11

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

55 55 55 52 51 51 54 53 51 51

N.S.

1 1.00 1.00 0.95 0.93 0.93 0.98 0.96 0.93 0.93

time (sec)

N/A 0.320 0.008 0.681 0.030 0.080 0.022 0.126 0.220 0.027

Problem 12

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

55 55 49 52 51 51 54 53 51 51

N.S.

1 1.00 0.89 0.95 0.93 0.93 0.98 0.96 0.93 0.93

time (sec)

N/A 0.323 0.009 0.606 0.031 0.072 0.046 0.132 0.190 0.028

Problem 13

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 No TBD TBD TBD TBD TBD TBD

size

55 55 49 52 51 51 54 53 51 51

N.S.

1 1.00 0.89 0.95 0.93 0.93 0.98 0.96 0.93 0.93

time (sec)

N/A 0.317 0.009 0.668 0.034 0.084 0.022 0.183 0.205 0.027

Problem 14

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 No TBD TBD TBD TBD TBD TBD

size

38 38 47 49 48 48 49 49 49 47

N.S.

1 1.00 1.24 1.29 1.26 1.26 1.29 1.29 1.29 1.24

time (sec)

N/A 0.301 0.008 0.580 0.027 0.070 0.023 0.153 0.259 0.026

Problem 15

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 No TBD TBD TBD TBD TBD TBD

size

40 40 43 46 46 46 46 46 45 45

N.S.

1 1.00 1.08 1.15 1.15 1.15 1.15 1.15 1.12 1.12

time (sec)

N/A 0.279 0.014 0.579 0.026 0.078 0.060 0.226 0.238 0.023

Problem 16

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 No TBD TBD TBD TBD TBD TBD

size

44 44 43 44 46 52 42 46 54 46

N.S.

1 1.00 0.98 1.00 1.05 1.18 0.95 1.05 1.23 1.05

time (sec)

N/A 0.297 0.023 0.598 0.030 0.072 0.092 0.138 0.273 0.027

Problem 17

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 No TBD TBD TBD TBD TBD TBD

size

44 44 44 43 46 53 46 47 55 46

N.S.

1 1.00 1.00 0.98 1.05 1.20 1.05 1.07 1.25 1.05

time (sec)

N/A 0.299 0.028 0.634 0.027 0.070 0.164 0.123 0.196 0.035

Problem 18

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 No TBD TBD TBD TBD TBD TBD

size

49 49 47 46 50 53 54 51 53 48

N.S.

1 1.00 0.96 0.94 1.02 1.08 1.10 1.04 1.08 0.98

time (sec)

N/A 0.305 0.024 0.642 0.033 0.072 0.270 0.121 0.194 5.167

Problem 19

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 No TBD TBD TBD TBD TBD TBD

size

45 45 50 48 51 51 56 51 51 49

N.S.

1 1.00 1.11 1.07 1.13 1.13 1.24 1.13 1.13 1.09

time (sec)

N/A 0.257 0.012 0.645 0.029 0.067 0.380 0.144 0.191 0.023

Problem 20

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 No TBD TBD TBD TBD TBD TBD

size

55 55 53 48 51 51 56 51 51 51

N.S.

1 1.00 0.96 0.87 0.93 0.93 1.02 0.93 0.93 0.93

time (sec)

N/A 0.310 0.013 0.651 0.026 0.067 0.421 0.253 0.186 0.021

Problem 21

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

75 75 75 75 73 73 82 77 74 69

N.S.

1 1.00 1.00 1.00 0.97 0.97 1.09 1.03 0.99 0.92

time (sec)

N/A 0.378 0.012 0.596 0.033 0.066 0.023 0.109 0.208 0.022

Problem 22

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

75 75 75 75 73 73 82 77 74 69

N.S.

1 1.00 1.00 1.00 0.97 0.97 1.09 1.03 0.99 0.92

time (sec)

N/A 0.353 0.011 0.652 0.030 0.073 0.024 0.107 0.200 0.018

Problem 23

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

75 75 75 75 73 73 80 77 74 69

N.S.

1 1.00 1.00 1.00 0.97 0.97 1.07 1.03 0.99 0.92

time (sec)

N/A 0.371 0.010 0.654 0.033 0.067 0.025 0.107 0.188 0.017

Problem 24

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 No TBD TBD TBD TBD TBD TBD

size

75 75 75 75 73 73 82 77 74 69

N.S.

1 1.00 1.00 1.00 0.97 0.97 1.09 1.03 0.99 0.92

time (sec)

N/A 0.353 0.008 0.596 0.034 0.068 0.026 0.157 0.200 0.018

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

62 62 67 76 73 73 80 76 74 68

N.S.

1 1.00 1.08 1.23 1.18 1.18 1.29 1.23 1.19 1.10

time (sec)

N/A 0.338 0.014 0.621 0.025 0.084 0.026 0.243 0.191 0.018

Problem 26

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 No TBD TBD TBD TBD TBD TBD

size

38 38 67 73 69 69 73 72 72 65

N.S.

1 1.00 1.76 1.92 1.82 1.82 1.92 1.89 1.89 1.71

time (sec)

N/A 0.289 0.008 0.599 0.032 0.072 0.025 0.125 0.188 0.017

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 No TBD TBD TBD TBD TBD TBD

size

54 53 63 70 68 68 73 70 68 63

N.S.

1 0.98 1.17 1.30 1.26 1.26 1.35 1.30 1.26 1.17

time (sec)

N/A 0.291 0.023 0.664 0.026 0.086 0.071 0.131 0.203 0.020

Problem 28

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 No TBD TBD TBD TBD TBD TBD

size

65 65 67 69 69 75 70 71 78 65

N.S.

1 1.00 1.03 1.06 1.06 1.15 1.08 1.09 1.20 1.00

time (sec)

N/A 0.338 0.032 0.612 0.035 0.074 0.098 0.137 0.194 5.125

Problem 29

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 No TBD TBD TBD TBD TBD TBD

size

65 65 71 63 69 74 68 69 77 70

N.S.

1 1.00 1.09 0.97 1.06 1.14 1.05 1.06 1.18 1.08

time (sec)

N/A 0.338 0.022 0.616 0.032 0.081 0.180 0.121 0.215 5.249

Problem 30

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 No TBD TBD TBD TBD TBD TBD

size

64 64 73 61 69 75 73 70 78 70

N.S.

1 1.00 1.14 0.95 1.08 1.17 1.14 1.09 1.22 1.09

time (sec)

N/A 0.333 0.040 0.611 0.026 0.070 0.336 0.109 0.194 0.038

Problem 31

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 No TBD TBD TBD TBD TBD TBD

size

59 58 71 64 72 75 80 73 76 71

N.S.

1 0.98 1.20 1.08 1.22 1.27 1.36 1.24 1.29 1.20

time (sec)

N/A 0.310 0.033 0.720 0.033 0.086 0.510 0.141 0.197 0.046

Problem 32

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 No TBD TBD TBD TBD TBD TBD

size

45 45 72 66 73 73 82 75 74 71

N.S.

1 1.00 1.60 1.47 1.62 1.62 1.82 1.67 1.64 1.58

time (sec)

N/A 0.256 0.018 0.658 0.035 0.068 0.672 0.189 0.210 5.132

Problem 33

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 No TBD TBD TBD TBD TBD TBD

size

75 75 74 66 73 73 82 75 74 73

N.S.

1 1.00 0.99 0.88 0.97 0.97 1.09 1.00 0.99 0.97

time (sec)

N/A 0.341 0.014 0.601 0.031 0.067 0.822 0.109 0.195 0.026

Problem 34

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 No TBD TBD TBD TBD TBD TBD

size

75 75 75 66 73 73 82 75 74 74

N.S.

1 1.00 1.00 0.88 0.97 0.97 1.09 1.00 0.99 0.99

time (sec)

N/A 0.341 0.015 0.599 0.032 0.068 1.019 0.124 0.210 0.026

Problem 35

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

87 87 80 82 93 94 85 95 99 94

N.S.

1 1.00 0.92 0.94 1.07 1.08 0.98 1.09 1.14 1.08

time (sec)

N/A 0.412 0.023 0.757 0.034 0.072 0.122 0.143 0.213 0.030

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

66 66 61 63 69 71 61 70 75 72

N.S.

1 1.00 0.92 0.95 1.05 1.08 0.92 1.06 1.14 1.09

time (sec)

N/A 0.365 0.018 0.754 0.029 0.071 0.109 0.116 0.193 5.110

Problem 37

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

45 45 41 43 46 47 37 46 50 46

N.S.

1 1.00 0.91 0.96 1.02 1.04 0.82 1.02 1.11 1.02

time (sec)

N/A 0.314 0.013 0.684 0.027 0.072 0.096 0.184 0.209 5.184

Problem 38

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 25 25 26 25 24 20 26 28 26

N.S.

1 1.00 1.00 1.04 1.00 0.96 0.80 1.04 1.12 1.04

time (sec)

N/A 0.276 0.007 0.734 0.034 0.072 0.073 0.160 0.201 0.028

Problem 39

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 35 29 30 30 29 41 32 32 28

N.S.

1 1.17 0.97 1.00 1.00 0.97 1.37 1.07 1.07 0.93

time (sec)

N/A 0.311 0.007 0.698 0.033 0.081 0.216 0.117 0.191 5.070

Problem 40

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 42 44 43 41 95 51 46 33

N.S.

1 1.00 0.98 1.02 1.00 0.95 2.21 1.19 1.07 0.77

time (sec)

N/A 0.316 0.014 0.767 0.037 0.075 0.175 0.115 0.200 0.051

Problem 41

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

62 62 58 62 63 68 131 75 78 73

N.S.

1 1.00 0.94 1.00 1.02 1.10 2.11 1.21 1.26 1.18

time (sec)

N/A 0.348 0.025 0.702 0.034 0.089 0.218 0.112 0.208 5.043

Problem 42

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

86 86 81 82 89 94 165 99 104 97

N.S.

1 1.00 0.94 0.95 1.03 1.09 1.92 1.15 1.21 1.13

time (sec)

N/A 0.372 0.045 0.766 0.036 0.076 0.266 0.107 0.193 5.128

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

90 90 87 92 98 139 92 102 136 115

N.S.

1 1.00 0.97 1.02 1.09 1.54 1.02 1.13 1.51 1.28

time (sec)

N/A 0.420 0.049 0.821 0.032 0.072 0.212 0.123 0.199 5.212

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

69 69 66 67 75 111 68 77 109 77

N.S.

1 1.00 0.96 0.97 1.09 1.61 0.99 1.12 1.58 1.12

time (sec)

N/A 0.369 0.037 0.755 0.030 0.080 0.198 0.114 0.190 0.042

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

45 45 41 47 50 69 44 48 79 56

N.S.

1 1.00 0.91 1.04 1.11 1.53 0.98 1.07 1.76 1.24

time (sec)

N/A 0.319 0.022 0.706 0.032 0.077 0.143 0.174 0.211 5.297

Problem 46

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

32 32 31 32 35 39 27 33 49 31

N.S.

1 1.00 0.97 1.00 1.09 1.22 0.84 1.03 1.53 0.97

time (sec)

N/A 0.290 0.009 0.768 0.032 0.076 0.092 0.145 0.191 0.029

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

42 42 38 41 43 61 32 47 53 40

N.S.

1 1.00 0.90 0.98 1.02 1.45 0.76 1.12 1.26 0.95

time (sec)

N/A 0.313 0.023 0.712 0.032 0.081 0.135 0.128 0.190 5.092

Problem 48

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

65 81 56 63 69 111 128 74 128 57

N.S.

1 1.25 0.86 0.97 1.06 1.71 1.97 1.14 1.97 0.88

time (sec)

N/A 0.414 0.030 0.754 0.027 0.075 0.248 0.114 0.240 5.177

Problem 49

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

85 85 85 85 100 151 184 107 166 105

N.S.

1 1.00 1.00 1.00 1.18 1.78 2.16 1.26 1.95 1.24

time (sec)

N/A 0.410 0.051 0.709 0.033 0.084 0.286 0.115 0.243 5.167

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

113 113 106 107 129 180 219 134 192 132

N.S.

1 1.00 0.94 0.95 1.14 1.59 1.94 1.19 1.70 1.17

time (sec)

N/A 0.473 0.068 0.793 0.031 0.077 0.323 0.114 0.288 5.213

Problem 51

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

94 94 86 92 106 167 107 99 175 108

N.S.

1 1.00 0.91 0.98 1.13 1.78 1.14 1.05 1.86 1.15

time (sec)

N/A 0.448 0.040 0.767 0.028 0.076 0.385 0.142 0.224 5.206

Problem 52

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

71 71 75 71 83 131 83 70 148 87

N.S.

1 1.00 1.06 1.00 1.17 1.85 1.17 0.99 2.08 1.23

time (sec)

N/A 0.374 0.021 0.746 0.028 0.075 0.280 0.117 0.191 0.047

Problem 53

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

55 55 54 51 63 79 63 52 92 63

N.S.

1 1.00 0.98 0.93 1.15 1.44 1.15 0.95 1.67 1.15

time (sec)

N/A 0.331 0.014 0.762 0.030 0.076 0.182 0.129 0.208 5.264

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 28 26 25 38 38 39 24 37 39

N.S.

1 1.00 0.93 0.89 1.36 1.36 1.39 0.86 1.32 1.39

time (sec)

N/A 0.236 0.011 0.701 0.032 0.067 0.134 0.134 0.188 0.019

Problem 55

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

57 57 53 55 68 109 63 59 121 62

N.S.

1 1.00 0.93 0.96 1.19 1.91 1.11 1.04 2.12 1.09

time (sec)

N/A 0.334 0.043 0.700 0.032 0.080 0.220 0.182 0.207 0.040

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

88 88 81 83 104 195 168 103 223 84

N.S.

1 1.00 0.92 0.94 1.18 2.22 1.91 1.17 2.53 0.95

time (sec)

N/A 0.413 0.035 0.789 0.028 0.085 0.304 0.120 0.186 5.191

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

110 128 102 106 136 234 219 127 263 132

N.S.

1 1.16 0.93 0.96 1.24 2.13 1.99 1.15 2.39 1.20

time (sec)

N/A 0.527 0.063 2.839 0.033 0.079 0.361 0.115 0.183 5.213

Problem 58

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

140 140 129 132 165 263 262 159 291 163

N.S.

1 1.00 0.92 0.94 1.18 1.88 1.87 1.14 2.08 1.16

time (sec)

N/A 0.520 0.101 0.556 0.036 0.080 0.392 0.113 0.207 0.077

Problem 59

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

39 39 31 28 27 32 46 29 30 27

N.S.

1 1.00 0.79 0.72 0.69 0.82 1.18 0.74 0.77 0.69

time (sec)

N/A 0.270 0.026 0.270 0.027 0.072 0.185 0.111 0.193 0.028

Problem 60

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

39 39 33 28 27 32 37 29 30 27

N.S.

1 1.00 0.85 0.72 0.69 0.82 0.95 0.74 0.77 0.69

time (sec)

N/A 0.269 0.029 0.283 0.026 0.070 0.529 0.109 0.196 0.026

Problem 61

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

39 39 33 28 27 30 46 29 28 27

N.S.

1 1.00 0.85 0.72 0.69 0.77 1.18 0.74 0.72 0.69

time (sec)

N/A 0.267 0.023 0.266 0.025 0.074 0.104 0.112 0.205 5.166

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

37 37 31 27 27 27 44 29 27 27

N.S.

1 1.00 0.84 0.73 0.73 0.73 1.19 0.78 0.73 0.73

time (sec)

N/A 0.269 0.026 0.269 0.026 0.070 0.114 0.136 0.199 5.203

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

35 35 31 28 27 26 41 29 28 27

N.S.

1 1.00 0.89 0.80 0.77 0.74 1.17 0.83 0.80 0.77

time (sec)

N/A 0.275 0.024 0.076 0.032 0.074 0.197 0.138 0.193 0.026

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

35 35 28 27 27 27 41 27 32 27

N.S.

1 1.00 0.80 0.77 0.77 0.77 1.17 0.77 0.91 0.77

time (sec)

N/A 0.267 0.029 0.082 0.026 0.103 0.249 0.143 0.193 5.128

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

37 37 31 28 27 27 46 27 32 28

N.S.

1 1.00 0.84 0.76 0.73 0.73 1.24 0.73 0.86 0.76

time (sec)

N/A 0.262 0.029 0.076 0.031 0.077 0.381 0.128 0.195 0.020

Problem 66

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

63 63 55 52 51 56 80 53 53 51

N.S.

1 1.00 0.87 0.83 0.81 0.89 1.27 0.84 0.84 0.81

time (sec)

N/A 0.305 0.046 0.415 0.028 0.075 0.294 0.114 0.195 0.035

Problem 67

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

63 63 55 52 51 56 66 53 53 51

N.S.

1 1.00 0.87 0.83 0.81 0.89 1.05 0.84 0.84 0.81

time (sec)

N/A 0.315 0.033 0.420 0.031 0.080 0.690 0.110 0.209 0.028

Problem 68

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

63 63 55 52 51 56 80 53 53 51

N.S.

1 1.00 0.87 0.83 0.81 0.89 1.27 0.84 0.84 0.81

time (sec)

N/A 0.301 0.036 0.402 0.027 0.080 0.203 0.120 0.194 0.028

Problem 69

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

63 63 54 52 51 54 80 53 51 51

N.S.

1 1.00 0.86 0.83 0.81 0.86 1.27 0.84 0.81 0.81

time (sec)

N/A 0.302 0.034 0.409 0.032 0.107 0.200 0.133 0.205 0.030

Problem 70

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

61 61 54 51 51 51 78 53 50 51

N.S.

1 1.00 0.89 0.84 0.84 0.84 1.28 0.87 0.82 0.84

time (sec)

N/A 0.298 0.032 0.732 0.032 0.075 0.239 0.126 0.192 0.028

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

59 59 55 52 51 51 75 53 52 51

N.S.

1 1.00 0.93 0.88 0.86 0.86 1.27 0.90 0.88 0.86

time (sec)

N/A 0.292 0.038 0.756 0.031 0.079 0.384 0.110 0.196 0.029

Problem 72

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

59 59 54 51 51 50 73 51 54 51

N.S.

1 1.00 0.92 0.86 0.86 0.85 1.24 0.86 0.92 0.86

time (sec)

N/A 0.294 0.048 0.679 0.035 0.081 0.414 0.112 0.218 0.030

Problem 73

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

85 85 77 76 73 78 114 77 76 69

N.S.

1 1.00 0.91 0.89 0.86 0.92 1.34 0.91 0.89 0.81

time (sec)

N/A 0.340 0.054 0.714 0.029 0.075 0.477 0.112 0.202 0.023

Problem 74

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

85 85 77 76 73 78 95 77 76 69

N.S.

1 1.00 0.91 0.89 0.86 0.92 1.12 0.91 0.89 0.81

time (sec)

N/A 0.336 0.047 0.737 0.035 0.082 0.807 0.114 0.193 0.020

Problem 75

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

85 85 77 76 73 78 114 77 76 69

N.S.

1 1.00 0.91 0.89 0.86 0.92 1.34 0.91 0.89 0.81

time (sec)

N/A 0.329 0.046 0.707 0.035 0.074 0.296 0.108 0.199 0.020

Problem 76

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

85 85 77 76 73 78 114 77 76 69

N.S.

1 1.00 0.91 0.89 0.86 0.92 1.34 0.91 0.89 0.81

time (sec)

N/A 0.342 0.050 0.697 0.032 0.076 0.317 0.115 0.202 0.020

Problem 77

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

85 85 77 76 73 76 114 77 74 69

N.S.

1 1.00 0.91 0.89 0.86 0.89 1.34 0.91 0.87 0.81

time (sec)

N/A 0.330 0.074 0.700 0.027 0.075 0.384 0.149 0.203 0.019

Problem 78

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

83 83 76 75 73 73 110 77 73 69

N.S.

1 1.00 0.92 0.90 0.88 0.88 1.33 0.93 0.88 0.83

time (sec)

N/A 0.332 0.052 0.691 0.036 0.072 0.435 0.163 0.202 0.019

Problem 79

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

79 79 75 76 73 73 105 77 75 69

N.S.

1 1.00 0.95 0.96 0.92 0.92 1.33 0.97 0.95 0.87

time (sec)

N/A 0.335 0.067 0.697 0.026 0.075 0.626 0.125 0.206 0.022

Problem 80

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

81 81 74 75 73 73 105 75 78 70

N.S.

1 1.00 0.91 0.93 0.90 0.90 1.30 0.93 0.96 0.86

time (sec)

N/A 0.343 0.071 0.724 0.033 0.081 0.734 0.116 0.263 0.034

Problem 81

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

113 105 101 100 105 229 294 115 127 125

N.S.

1 0.93 0.89 0.88 0.93 2.03 2.60 1.02 1.12 1.11

time (sec)

N/A 0.349 0.128 0.799 0.113 0.088 10.788 0.138 0.239 5.144

Problem 82

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

90 86 81 76 82 180 260 91 98 101

N.S.

1 0.96 0.90 0.84 0.91 2.00 2.89 1.01 1.09 1.12

time (sec)

N/A 0.297 0.121 0.865 0.113 0.095 4.445 0.135 0.279 0.042

Problem 83

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

69 67 63 53 58 129 221 64 73 76

N.S.

1 0.97 0.91 0.77 0.84 1.87 3.20 0.93 1.06 1.10

time (sec)

N/A 0.285 0.075 0.789 0.114 0.092 1.730 0.152 0.209 0.046

Problem 84

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

49 49 49 40 39 102 180 39 58 37

N.S.

1 1.00 1.00 0.82 0.80 2.08 3.67 0.80 1.18 0.76

time (sec)

N/A 0.264 0.049 0.802 0.110 0.086 0.658 0.130 0.200 0.037

Problem 85

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

49 49 49 40 39 112 178 39 64 50

N.S.

1 1.00 1.00 0.82 0.80 2.29 3.63 0.80 1.31 1.02

time (sec)

N/A 0.265 0.059 0.871 0.111 0.088 0.840 0.241 0.212 5.154

Problem 86

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

69 66 64 54 56 141 218 55 80 54

N.S.

1 0.96 0.93 0.78 0.81 2.04 3.16 0.80 1.16 0.78

time (sec)

N/A 0.287 0.109 0.799 0.106 0.098 1.548 0.262 0.205 5.202

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

90 85 83 76 80 192 262 80 108 71

N.S.

1 0.94 0.92 0.84 0.89 2.13 2.91 0.89 1.20 0.79

time (sec)

N/A 0.302 0.112 0.808 0.110 0.093 3.636 0.216 0.193 0.061

Problem 88

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

113 104 107 95 103 241 299 104 133 90

N.S.

1 0.92 0.95 0.84 0.91 2.13 2.65 0.92 1.18 0.80

time (sec)

N/A 0.320 0.162 0.818 0.115 0.104 9.984 0.207 0.200 5.189

Problem 89

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

116 126 110 99 115 290 877 122 183 146

N.S.

1 1.09 0.95 0.85 0.99 2.50 7.56 1.05 1.58 1.26

time (sec)

N/A 0.357 0.168 0.826 0.108 0.097 118.255 0.186 0.201 5.133

Problem 90

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

94 107 88 77 88 231 762 95 153 107

N.S.

1 1.14 0.94 0.82 0.94 2.46 8.11 1.01 1.63 1.14

time (sec)

N/A 0.345 0.138 0.811 0.113 0.091 54.383 0.139 0.212 5.266

Problem 91

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

74 88 67 62 65 198 634 65 133 62

N.S.

1 1.19 0.91 0.84 0.88 2.68 8.57 0.88 1.80 0.84

time (sec)

N/A 0.320 0.099 0.815 0.109 0.096 30.475 0.104 0.205 5.232

Problem 92

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

64 64 63 57 58 177 615 60 119 51

N.S.

1 1.00 0.98 0.89 0.91 2.77 9.61 0.94 1.86 0.80

time (sec)

N/A 0.297 0.094 0.805 0.114 0.094 15.924 0.164 0.192 0.059

Problem 93

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

72 87 67 64 65 215 794 60 138 65

N.S.

1 1.21 0.93 0.89 0.90 2.99 11.03 0.83 1.92 0.90

time (sec)

N/A 0.319 0.091 0.822 0.108 0.100 9.060 0.182 0.210 5.262

Problem 94

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

96 107 92 77 93 257 882 85 165 81

N.S.

1 1.11 0.96 0.80 0.97 2.68 9.19 0.89 1.72 0.84

time (sec)

N/A 0.349 0.147 0.777 0.106 0.098 11.835 0.117 0.188 5.149

Problem 95

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

118 126 115 101 118 316 1017 110 197 103

N.S.

1 1.07 0.97 0.86 1.00 2.68 8.62 0.93 1.67 0.87

time (sec)

N/A 0.377 0.188 0.836 0.113 0.101 21.255 0.111 0.204 5.239

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

152 153 129 120 151 408 0 146 278 183

N.S.

1 1.01 0.85 0.79 0.99 2.68 0.00 0.96 1.83 1.20

time (sec)

N/A 0.396 0.212 0.836 0.108 0.104 0.000 0.115 0.194 0.050

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

130 134 110 98 124 349 0 119 248 143

N.S.

1 1.03 0.85 0.75 0.95 2.68 0.00 0.92 1.91 1.10

time (sec)

N/A 0.381 0.182 0.842 0.111 0.104 0.000 0.123 0.195 5.346

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

107 115 94 83 99 319 0 87 229 96

N.S.

1 1.07 0.88 0.78 0.93 2.98 0.00 0.81 2.14 0.90

time (sec)

N/A 0.355 0.162 0.819 0.109 0.099 0.000 0.187 0.207 5.287

Problem 99

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

98 95 86 79 94 291 1316 82 213 84

N.S.

1 0.97 0.88 0.81 0.96 2.97 13.43 0.84 2.17 0.86

time (sec)

N/A 0.336 0.156 0.826 0.110 0.095 166.174 0.124 0.201 5.371

Problem 100

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

100 94 86 80 94 291 1345 82 213 84

N.S.

1 0.94 0.86 0.80 0.94 2.91 13.45 0.82 2.13 0.84

time (sec)

N/A 0.325 0.147 0.807 0.115 0.100 116.264 0.129 0.207 5.524

[next] [front] [up]