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

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by 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 just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A B A B B A

verified

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

size

12 12 18 16 16 48 19 52 10 12

N.S.

1 1.00 1.50 1.33 1.33 4.00 1.58 4.33 0.83 1.00

time (sec)

N/A 0.008 0.005 0.000 0.339 0.311 0.033 0.002 0.004 1.778

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

13 13 13 12 15 19 14 17 12 11

N.S.

1 1.00 1.00 0.92 1.15 1.46 1.08 1.31 0.92 0.85

time (sec)

N/A 0.003 0.004 0.034 0.380 0.304 0.054 0.001 0.158 1.785

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

19 19 14 12 11 14 15 23 10 10

N.S.

1 1.00 0.74 0.63 0.58 0.74 0.79 1.21 0.53 0.53

time (sec)

N/A 0.002 0.007 0.033 0.320 0.303 0.084 0.000 0.030 1.709

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

2 2 2 3 2 2 2 2 2 2

N.S.

1 1.00 1.00 1.50 1.00 1.00 1.00 1.00 1.00 1.00

time (sec)

N/A 0.001 0.002 0.000 0.261 0.320 0.027 0.000 0.028 1.554

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

9 9 9 7 6 6 5 7 6 7

N.S.

1 1.00 1.00 0.78 0.67 0.67 0.56 0.78 0.67 0.78

time (sec)

N/A 0.004 0.001 0.007 0.266 0.301 0.040 0.000 0.017 1.632

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

8 8 8 7 6 6 7 8 6 6

N.S.

1 1.00 1.00 0.88 0.75 0.75 0.88 1.00 0.75 0.75

time (sec)

N/A 0.007 0.004 0.025 0.260 0.316 0.032 0.001 0.022 1.656

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A B A B A

verified

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

size

13 13 13 10 9 9 22 17 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 1.69 1.31 0.69 0.69

time (sec)

N/A 0.001 0.001 0.000 0.268 0.310 0.077 0.000 0.029 1.811

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

19 19 14 14 11 13 15 15 11 14

N.S.

1 1.00 0.74 0.74 0.58 0.68 0.79 0.79 0.58 0.74

time (sec)

N/A 0.004 0.011 0.013 0.273 0.309 0.102 0.000 0.019 1.800

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A B A A B A

verified

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

size

8 8 8 7 6 14 8 9 6 6

N.S.

1 1.00 1.00 0.88 0.75 1.75 1.00 1.12 0.75 0.75

time (sec)

N/A 0.008 0.004 0.033 0.253 0.300 0.031 0.000 0.053 1.726

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A C A A A F C

verified

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

size

4 4 4 4 15 3 3 3 -1 4

N.S.

1 1.00 1.00 1.00 3.75 0.75 0.75 0.75 -0.25 1.00

time (sec)

N/A 0.007 0.005 0.025 0.284 0.316 0.316 0.001 0.000 1.896

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A C A A A F C

verified

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

size

2 2 2 3 13 2 2 2 -1 2

N.S.

1 1.00 1.00 1.50 6.50 1.00 1.00 1.00 -0.50 1.00

time (sec)

N/A 0.007 0.011 0.020 0.285 0.316 0.309 0.001 0.000 1.854

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

8 8 8 8 7 7 5 6 7 8

N.S.

1 1.00 1.00 1.00 0.88 0.88 0.62 0.75 0.88 1.00

time (sec)

N/A 0.002 0.006 0.016 0.274 0.322 0.037 0.000 0.042 1.635

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

7 7 7 7 6 6 5 37 6 7

N.S.

1 1.00 1.00 1.00 0.86 0.86 0.71 5.29 0.86 1.00

time (sec)

N/A 0.011 0.022 0.014 0.256 0.303 0.042 0.001 0.153 1.658

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

28 28 26 22 19 19 20 23 21 21

N.S.

1 1.00 0.93 0.79 0.68 0.68 0.71 0.82 0.75 0.75

time (sec)

N/A 0.013 0.027 0.016 0.309 0.303 0.046 0.000 0.054 1.922

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

22 22 22 17 16 16 15 18 16 18

N.S.

1 1.00 1.00 0.77 0.73 0.73 0.68 0.82 0.73 0.82

time (sec)

N/A 0.003 0.006 0.010 0.268 0.321 0.048 0.000 0.047 1.836

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

8 8 8 7 6 6 5 8 6 6

N.S.

1 1.00 1.00 0.88 0.75 0.75 0.62 1.00 0.75 0.75

time (sec)

N/A 0.004 0.001 0.000 0.278 0.320 0.027 0.000 0.017 1.720

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

9 9 9 7 6 6 5 7 6 7

N.S.

1 1.00 1.00 0.78 0.67 0.67 0.56 0.78 0.67 0.78

time (sec)

N/A 0.004 0.001 0.005 0.256 0.307 0.040 0.000 0.002 1.736

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A B A B A

verified

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

size

13 13 13 10 9 9 22 17 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 1.69 1.31 0.69 0.69

time (sec)

N/A 0.001 0.000 0.000 0.256 0.302 0.076 0.001 0.002 1.839

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

6 6 6 6 5 5 5 5 5 6

N.S.

1 1.00 1.00 1.00 0.83 0.83 0.83 0.83 0.83 1.00

time (sec)

N/A 0.009 0.009 0.009 0.255 0.319 0.038 0.000 0.029 1.703

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

9 9 9 6 5 5 7 12 5 5

N.S.

1 1.00 1.00 0.67 0.56 0.56 0.78 1.33 0.56 0.56

time (sec)

N/A 0.000 0.000 0.012 0.284 0.301 0.026 0.000 0.044 1.654

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

10 10 10 9 8 8 7 9 8 8

N.S.

1 1.00 1.00 0.90 0.80 0.80 0.70 0.90 0.80 0.80

time (sec)

N/A 0.002 0.005 0.021 0.258 0.316 0.055 0.000 0.072 1.771

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

8 8 8 8 7 7 7 10 7 8

N.S.

1 1.00 1.00 1.00 0.88 0.88 0.88 1.25 0.88 1.00

time (sec)

N/A 0.002 0.001 0.008 0.252 0.316 0.030 0.000 0.016 1.692

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

10 10 19 8 7 7 8 9 7 8

N.S.

1 1.00 1.90 0.80 0.70 0.70 0.80 0.90 0.70 0.80

time (sec)

N/A 0.016 0.018 0.029 0.255 0.315 0.345 0.000 0.187 1.985

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

23 23 18 16 15 15 34 65 12 15

N.S.

1 1.00 0.78 0.70 0.65 0.65 1.48 2.83 0.52 0.65

time (sec)

N/A 0.002 0.009 0.033 0.264 0.312 0.473 0.000 0.031 2.109

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A B B A

verified

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

size

13 13 25 10 17 17 17 24 9 17

N.S.

1 1.00 1.92 0.77 1.31 1.31 1.31 1.85 0.69 1.31

time (sec)

N/A 0.002 0.003 0.000 0.359 0.314 0.063 0.000 0.158 1.803

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B C

verified

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

size

18 18 18 14 13 13 15 19 13 23

N.S.

1 1.00 1.00 0.78 0.72 0.72 0.83 1.06 0.72 1.28

time (sec)

N/A 0.012 0.023 0.017 0.337 0.314 0.082 0.000 0.107 1.854

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B C

verified

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

size

31 31 31 20 19 76 22 26 19 28

N.S.

1 1.00 1.00 0.65 0.61 2.45 0.71 0.84 0.61 0.90

time (sec)

N/A 0.021 0.023 0.027 0.345 0.322 0.088 0.001 0.231 1.955

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

8 8 8 9 8 11 8 8 8 8

N.S.

1 1.00 1.00 1.12 1.00 1.38 1.00 1.00 1.00 1.00

time (sec)

N/A 0.019 0.010 0.013 0.257 0.304 0.049 0.000 0.184 1.747

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

12 12 12 15 14 14 10 12 12 12

N.S.

1 1.00 1.00 1.25 1.17 1.17 0.83 1.00 1.00 1.00

time (sec)

N/A 0.004 0.002 0.020 0.251 0.322 0.046 0.000 0.072 1.752

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

20 20 20 17 16 16 15 17 16 16

N.S.

1 1.00 1.00 0.85 0.80 0.80 0.75 0.85 0.80 0.80

time (sec)

N/A 0.010 0.002 0.015 0.258 0.311 0.154 0.000 0.208 1.863

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A B A A A A A B A

verified

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

size

49 49 260 41 40 40 46 51 52 40

N.S.

1 1.00 5.31 0.84 0.82 0.82 0.94 1.04 1.06 0.82

time (sec)

N/A 0.024 0.011 0.024 0.333 0.309 0.087 0.001 0.138 2.051

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A C F F A F F C

verified

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

size

115 115 142 41 0 0 54 0 -1 61

N.S.

1 1.00 1.23 0.36 0.00 0.00 0.47 0.00 -0.01 0.53

time (sec)

N/A 0.035 0.196 0.077 0.000 0.330 1.430 0.000 0.000 3.635

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

22 22 22 17 16 16 20 21 16 16

N.S.

1 1.00 1.00 0.77 0.73 0.73 0.91 0.95 0.73 0.73

time (sec)

N/A 0.007 0.014 0.022 0.255 0.329 0.104 0.001 0.212 1.778

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

23 23 18 16 15 15 34 65 12 15

N.S.

1 1.00 0.78 0.70 0.65 0.65 1.48 2.83 0.52 0.65

time (sec)

N/A 0.002 0.002 0.034 0.251 0.299 0.469 0.000 0.002 2.082

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A B A A F A B F(-2)

verified

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

size

32 32 33 92 24 24 0 39 24 0

N.S.

1 1.00 1.03 2.88 0.75 0.75 0.00 1.22 0.75 0.00

time (sec)

N/A 0.009 0.004 0.031 0.287 0.301 0.000 0.002 0.002 0.000

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A B B A F B B F(-2)

verified

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

size

44 44 75 75 80 55 0 74 57 0

N.S.

1 1.00 1.70 1.70 1.82 1.25 0.00 1.68 1.30 0.00

time (sec)

N/A 0.007 0.116 0.083 0.335 0.304 0.000 0.010 0.206 0.000

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A B B A B A

verified

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

size

35 35 44 30 44 63 105 35 91 55

N.S.

1 1.00 1.26 0.86 1.26 1.80 3.00 1.00 2.60 1.57

time (sec)

N/A 0.005 0.069 0.083 0.337 0.309 0.462 0.003 0.151 2.976

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A B A A A F C

verified

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

size

75 75 47 70 113 44 190 203 -1 130

N.S.

1 1.00 0.63 0.93 1.51 0.59 2.53 2.71 -0.01 1.73

time (sec)

N/A 0.007 0.061 0.043 0.253 0.311 19.998 0.008 0.000 22.165

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A B B A B A

verified

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

size

35 35 44 30 44 63 105 35 91 55

N.S.

1 1.00 1.26 0.86 1.26 1.80 3.00 1.00 2.60 1.57

time (sec)

N/A 0.005 0.001 0.000 0.400 0.310 0.462 0.003 0.002 3.000

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A B B B F B F F(-2)

verified

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

size

51 51 100 262 122 129 0 356 -1 0

N.S.

1 1.00 1.96 5.14 2.39 2.53 0.00 6.98 -0.02 0.00

time (sec)

N/A 0.017 0.122 0.075 0.367 0.316 0.000 0.022 0.000 0.000

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

14 14 14 11 10 10 10 13 10 10

N.S.

1 1.00 1.00 0.79 0.71 0.71 0.71 0.93 0.71 0.71

time (sec)

N/A 0.003 0.002 0.016 0.261 0.327 0.028 0.000 0.033 1.709

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

49 57 99 149 116 244 0 0 -1 0

N.S.

1 1.16 2.02 3.04 2.37 4.98 0.00 0.00 -0.02 0.00

time (sec)

N/A 0.051 0.074 0.168 0.370 0.392 0.000 0.000 0.000 0.000

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

9 9 6 5 9 9 3 9 4 4

N.S.

1 1.00 0.67 0.56 1.00 1.00 0.33 1.00 0.44 0.44

time (sec)

N/A 0.006 0.004 0.011 0.268 0.318 0.093 0.000 0.182 1.723

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

11 11 7 10 6 6 5 6 6 7

N.S.

1 1.00 0.64 0.91 0.55 0.55 0.45 0.55 0.55 0.64

time (sec)

N/A 0.004 0.002 0.000 0.256 0.320 0.038 0.000 0.017 1.656

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

9 9 9 9 8 8 5 7 8 9

N.S.

1 1.00 1.00 1.00 0.89 0.89 0.56 0.78 0.89 1.00

time (sec)

N/A 0.015 0.027 0.033 0.260 0.315 0.043 0.000 0.086 1.690

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

7 7 7 7 6 6 5 6 6 7

N.S.

1 1.00 1.00 1.00 0.86 0.86 0.71 0.86 0.86 1.00

time (sec)

N/A 0.018 0.004 0.010 0.261 0.316 0.042 0.001 0.145 1.681

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A C A A C B C

verified

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

size

11 11 11 8 9 7 8 11 7 7

N.S.

1 1.00 1.00 0.73 0.82 0.64 0.73 1.00 0.64 0.64

time (sec)

N/A 0.001 0.002 0.006 0.260 0.320 0.086 0.000 0.019 1.654

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A B A A A A B A

verified

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

size

2 2 2 8 2 2 2 2 2 2

N.S.

1 1.00 1.00 4.00 1.00 1.00 1.00 1.00 1.00 1.00

time (sec)

N/A 0.005 0.004 0.011 0.276 0.305 0.302 0.000 0.008 1.777

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

41 41 40 35 34 34 41 47 46 34

N.S.

1 1.00 0.98 0.85 0.83 0.83 1.00 1.15 1.12 0.83

time (sec)

N/A 0.014 0.007 0.030 0.337 0.328 0.067 0.000 0.106 1.939

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A B A B A

verified

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

size

47 73 75 66 65 65 83 89 88 65

N.S.

1 1.55 1.60 1.40 1.38 1.38 1.77 1.89 1.87 1.38

time (sec)

N/A 0.068 0.010 0.034 0.365 0.319 0.133 0.000 0.090 2.307

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A B A B A

verified

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

size

21 21 21 34 39 27 70 44 21 30

N.S.

1 1.00 1.00 1.62 1.86 1.29 3.33 2.10 1.00 1.43

time (sec)

N/A 0.006 0.003 0.056 0.265 0.316 0.187 0.000 0.240 2.850

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

17 17 17 14 13 13 12 16 9 11

N.S.

1 1.00 1.00 0.82 0.76 0.76 0.71 0.94 0.53 0.65

time (sec)

N/A 0.002 0.001 0.000 0.267 0.311 0.044 0.000 0.035 1.764

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

40 40 29 34 33 24 32 59 24 33

N.S.

1 1.00 0.72 0.85 0.82 0.60 0.80 1.48 0.60 0.82

time (sec)

N/A 0.015 0.008 0.003 0.341 0.330 0.112 0.002 0.002 1.984

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

7 7 7 8 7 7 5 5 7 7

N.S.

1 1.00 1.00 1.14 1.00 1.00 0.71 0.71 1.00 1.00

time (sec)

N/A 0.001 0.001 0.043 0.258 0.309 0.037 0.000 0.021 1.775

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

8 8 8 9 8 8 5 7 8 8

N.S.

1 1.00 1.00 1.12 1.00 1.00 0.62 0.88 1.00 1.00

time (sec)

N/A 0.025 0.011 0.039 0.263 0.313 0.050 0.001 0.264 1.726

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A B A B C

verified

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

size

3 3 3 4 3 3 15 3 3 22

N.S.

1 1.00 1.00 1.33 1.00 1.00 5.00 1.00 1.00 7.33

time (sec)

N/A 0.011 0.009 0.012 0.337 0.321 0.070 0.000 0.307 1.889

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A B A A A A B C

verified

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

size

2 2 2 9 3 2 2 3 2 2

N.S.

1 1.00 1.00 4.50 1.50 1.00 1.00 1.50 1.00 1.00

time (sec)

N/A 0.001 0.002 0.003 0.273 0.309 0.229 0.001 0.011 1.763

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

14 14 14 15 14 14 15 14 14 20

N.S.

1 1.00 1.00 1.07 1.00 1.00 1.07 1.00 1.00 1.43

time (sec)

N/A 0.014 0.005 0.034 0.281 0.314 0.072 0.000 0.059 1.776

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

17 17 13 16 11 14 8 10 15 16

N.S.

1 1.00 0.76 0.94 0.65 0.82 0.47 0.59 0.88 0.94

time (sec)

N/A 0.020 0.007 0.009 0.257 0.321 0.043 0.000 0.058 1.751

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

38 38 29 29 24 24 26 28 28 26

N.S.

1 1.00 0.76 0.76 0.63 0.63 0.68 0.74 0.74 0.68

time (sec)

N/A 0.018 0.035 0.011 0.262 0.318 0.048 0.000 0.157 1.975

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

7 7 7 8 7 7 7 7 7 7

N.S.

1 1.00 1.00 1.14 1.00 1.00 1.00 1.00 1.00 1.00

time (sec)

N/A 0.005 0.002 0.000 0.260 0.319 0.070 0.000 0.018 1.694

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

22 22 22 17 16 16 20 21 16 16

N.S.

1 1.00 1.00 0.77 0.73 0.73 0.91 0.95 0.73 0.73

time (sec)

N/A 0.007 0.010 0.007 0.291 0.323 0.104 0.001 0.002 1.850

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

7 7 7 8 7 7 7 7 7 7

N.S.

1 1.00 1.00 1.14 1.00 1.00 1.00 1.00 1.00 1.00

time (sec)

N/A 0.005 0.002 0.000 0.265 0.321 0.071 0.000 0.002 1.739

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

28 28 28 23 17 22 22 26 17 17

N.S.

1 1.00 1.00 0.82 0.61 0.79 0.79 0.93 0.61 0.61

time (sec)

N/A 0.006 0.002 0.000 0.259 0.310 0.054 0.001 0.032 1.787

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

11 11 11 10 9 15 8 10 9 9

N.S.

1 1.00 1.00 0.91 0.82 1.36 0.73 0.91 0.82 0.82

time (sec)

N/A 0.007 0.003 0.042 0.253 0.335 0.146 0.000 0.040 1.807

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A B A B C

verified

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

size

3 3 3 4 3 3 15 3 3 22

N.S.

1 1.00 1.00 1.33 1.00 1.00 5.00 1.00 1.00 7.33

time (sec)

N/A 0.011 0.007 0.000 0.400 0.321 0.069 0.000 0.002 1.867

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A F A A A B A

verified

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

size

3 3 3 4 0 3 3 3 43 3

N.S.

1 1.00 1.00 1.33 0.00 1.00 1.00 1.00 14.33 1.00

time (sec)

N/A 0.027 0.037 0.034 0.000 0.336 0.145 0.001 3.099 1.657

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A B A A A B A

verified

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

size

16 16 16 23 53 15 12 27 13 17

N.S.

1 1.00 1.00 1.44 3.31 0.94 0.75 1.69 0.81 1.06

time (sec)

N/A 0.024 0.016 0.049 0.341 0.335 0.067 0.007 0.029 1.845

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A B B B F B F F(-2)

verified

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

size

53 53 98 262 123 128 0 355 -1 0

N.S.

1 1.00 1.85 4.94 2.32 2.42 0.00 6.70 -0.02 0.00

time (sec)

N/A 0.036 0.082 0.046 0.351 0.341 0.000 0.025 0.000 0.000

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A B B B B A B B F(-2)

verified

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

size

16 16 35 74 69 67 202 90 360 0

N.S.

1 1.00 2.19 4.62 4.31 4.19 12.62 5.62 22.50 0.00

time (sec)

N/A 0.050 0.066 0.115 0.342 0.338 105.182 0.007 0.499 0.000

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A B B B A C B B C

verified

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

size

16 16 35 71 68 26 422 89 352 43

N.S.

1 1.00 2.19 4.44 4.25 1.62 26.38 5.56 22.00 2.69

time (sec)

N/A 0.079 0.013 0.058 0.355 0.324 1.085 0.003 0.236 9.031

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A B B B A C B B C

verified

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

size

16 16 35 68 65 26 422 84 352 43

N.S.

1 1.00 2.19 4.25 4.06 1.62 26.38 5.25 22.00 2.69

time (sec)

N/A 0.011 0.009 0.064 0.341 0.329 1.068 0.002 0.058 8.951

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A B B A B A

verified

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

size

35 35 44 30 44 63 105 35 91 55

N.S.

1 1.00 1.26 0.86 1.26 1.80 3.00 1.00 2.60 1.57

time (sec)

N/A 0.005 0.009 0.037 0.341 0.332 0.463 0.003 0.002 2.834

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A B A A B A

verified

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

size

14 14 18 13 12 26 19 24 12 12

N.S.

1 1.00 1.29 0.93 0.86 1.86 1.36 1.71 0.86 0.86

time (sec)

N/A 0.006 0.005 0.032 0.345 0.315 0.031 0.001 0.072 1.746

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

13 13 13 12 11 11 8 12 11 11

N.S.

1 1.00 1.00 0.92 0.85 0.85 0.62 0.92 0.85 0.85

time (sec)

N/A 0.004 0.003 0.036 0.357 0.314 0.042 0.000 0.028 1.746

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

7 7 7 7 6 6 5 6 6 7

N.S.

1 1.00 1.00 1.00 0.86 0.86 0.71 0.86 0.86 1.00

time (sec)

N/A 0.017 0.004 0.008 0.260 0.310 0.042 0.001 0.002 1.706

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

24 24 20 24 23 23 20 30 24 19

N.S.

1 1.00 0.83 1.00 0.96 0.96 0.83 1.25 1.00 0.79

time (sec)

N/A 0.183 0.221 0.043 0.380 0.313 0.060 0.002 0.223 1.845

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

9 9 9 9 8 8 7 6 8 9

N.S.

1 1.00 1.00 1.00 0.89 0.89 0.78 0.67 0.89 1.00

time (sec)

N/A 0.001 0.009 0.010 0.260 0.305 0.035 0.000 0.032 1.691

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

25 25 25 20 24 19 19 23 19 19

N.S.

1 1.00 1.00 0.80 0.96 0.76 0.76 0.92 0.76 0.76

time (sec)

N/A 0.020 0.003 0.008 0.274 0.311 0.049 0.000 0.227 1.735

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

8 8 8 7 6 6 5 7 6 6

N.S.

1 1.00 1.00 0.88 0.75 0.75 0.62 0.88 0.75 0.75

time (sec)

N/A 0.002 0.003 0.034 0.352 0.305 0.045 0.000 0.056 1.779

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

16 16 16 13 12 12 10 15 12 12

N.S.

1 1.00 1.00 0.81 0.75 0.75 0.62 0.94 0.75 0.75

time (sec)

N/A 0.004 0.004 0.034 0.346 0.305 0.047 0.001 0.022 1.748

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A B A B A

verified

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

size

14 14 14 19 16 20 36 17 10 10

N.S.

1 1.00 1.00 1.36 1.14 1.43 2.57 1.21 0.71 0.71

time (sec)

N/A 0.008 0.003 0.019 0.345 0.327 0.190 0.001 0.178 2.237

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A B B A B A

verified

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

size

35 35 44 30 44 63 105 35 91 55

N.S.

1 1.00 1.26 0.86 1.26 1.80 3.00 1.00 2.60 1.57

time (sec)

N/A 0.005 0.001 0.000 0.370 0.312 0.464 0.004 0.002 2.893

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A B A A B B A B A

verified

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

size

17 17 35 16 15 45 34 26 37 15

N.S.

1 1.00 2.06 0.94 0.88 2.65 2.00 1.53 2.18 0.88

time (sec)

N/A 0.003 0.045 0.068 0.338 0.323 0.203 0.002 0.163 2.009

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

19 19 14 14 11 13 15 15 11 14

N.S.

1 1.00 0.74 0.74 0.58 0.68 0.79 0.79 0.58 0.74

time (sec)

N/A 0.005 0.006 0.010 0.252 0.322 0.101 0.000 0.002 1.909

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

2 2 2 3 2 2 2 3 2 2

N.S.

1 1.00 1.00 1.50 1.00 1.00 1.00 1.50 1.00 1.00

time (sec)

N/A 0.000 0.000 0.003 0.255 0.315 0.024 0.000 0.006 1.527

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A B A F A B F(-1)

verified

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

size

45 45 73 31 256 71 0 39 32 0

N.S.

1 1.00 1.62 0.69 5.69 1.58 0.00 0.87 0.71 0.00

time (sec)

N/A 0.073 0.132 0.203 0.421 0.344 0.000 0.005 0.715 0.000

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

14 14 14 11 10 10 10 19 10 10

N.S.

1 1.00 1.00 0.79 0.71 0.71 0.71 1.36 0.71 0.71

time (sec)

N/A 0.004 0.002 0.015 0.300 0.324 0.030 0.001 0.002 1.722

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

17 17 14 12 11 10 14 20 10 10

N.S.

1 1.00 0.82 0.71 0.65 0.59 0.82 1.18 0.59 0.59

time (sec)

N/A 0.002 0.007 0.013 0.274 0.308 0.083 0.001 0.024 1.772

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A F A B F(-2)

verified

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

size

23 23 31 20 19 27 0 30 27 0

N.S.

1 1.00 1.35 0.87 0.83 1.17 0.00 1.30 1.17 0.00

time (sec)

N/A 0.006 0.041 0.130 0.369 0.328 0.000 0.003 0.078 0.000

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

8 8 8 7 6 10 5 7 6 6

N.S.

1 1.00 1.00 0.88 0.75 1.25 0.62 0.88 0.75 0.75

time (sec)

N/A 0.008 0.001 0.017 0.263 0.329 0.028 0.000 0.027 1.763

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

6 6 6 6 5 5 5 5 5 6

N.S.

1 1.00 1.00 1.00 0.83 0.83 0.83 0.83 0.83 1.00

time (sec)

N/A 0.010 0.002 0.005 0.259 0.319 0.038 0.000 0.002 1.744

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

12 12 12 11 10 10 8 9 10 12

N.S.

1 1.00 1.00 0.92 0.83 0.83 0.67 0.75 0.83 1.00

time (sec)

N/A 0.013 0.002 0.007 0.261 0.336 0.044 0.000 0.053 1.726

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

12 12 8 9 10 10 7 11 6 8

N.S.

1 1.00 0.67 0.75 0.83 0.83 0.58 0.92 0.50 0.67

time (sec)

N/A 0.006 0.008 0.012 0.267 0.331 0.171 0.001 0.262 1.799

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

8 8 8 7 6 6 7 8 6 6

N.S.

1 1.00 1.00 0.88 0.75 0.75 0.88 1.00 0.75 0.75

time (sec)

N/A 0.007 0.004 0.014 0.254 0.322 0.031 0.000 0.002 1.698

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

17 17 17 14 13 13 12 16 9 11

N.S.

1 1.00 1.00 0.82 0.76 0.76 0.71 0.94 0.53 0.65

time (sec)

N/A 0.002 0.001 0.000 0.258 0.322 0.043 0.000 0.002 1.756

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

8 8 8 7 6 6 5 8 6 6

N.S.

1 1.00 1.00 0.88 0.75 0.75 0.62 1.00 0.75 0.75

time (sec)

N/A 0.004 0.001 0.000 0.259 0.334 0.027 0.000 0.002 1.696

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A F A B F(-2)

verified

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

size

24 24 43 21 22 32 0 20 20 0

N.S.

1 1.00 1.79 0.88 0.92 1.33 0.00 0.83 0.83 0.00

time (sec)

N/A 0.006 0.041 0.071 0.360 0.334 0.000 0.003 0.268 0.000

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B C

verified

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

size

20 20 20 14 13 19 15 20 13 23

N.S.

1 1.00 1.00 0.70 0.65 0.95 0.75 1.00 0.65 1.15

time (sec)

N/A 0.014 0.005 0.013 0.342 0.321 0.078 0.000 0.091 1.908

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A B B A B A

verified

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

size

35 35 44 30 44 63 105 35 91 55

N.S.

1 1.00 1.26 0.86 1.26 1.80 3.00 1.00 2.60 1.57

time (sec)

N/A 0.005 0.009 0.037 0.347 0.324 0.475 0.003 0.002 2.885

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B C

verified

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

size

20 20 18 15 14 14 24 14 14 33

N.S.

1 1.00 0.90 0.75 0.70 0.70 1.20 0.70 0.70 1.65

time (sec)

N/A 0.013 0.020 0.017 0.345 0.326 0.067 0.001 0.067 2.032

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

33 33 33 27 26 32 31 41 26 26

N.S.

1 1.00 1.00 0.82 0.79 0.97 0.94 1.24 0.79 0.79

time (sec)

N/A 0.006 0.008 0.003 0.359 0.327 0.067 0.001 0.002 1.882

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

21 21 21 20 19 31 15 20 19 19

N.S.

1 1.00 1.00 0.95 0.90 1.48 0.71 0.95 0.90 0.90

time (sec)

N/A 0.010 0.000 0.018 0.265 0.323 0.026 0.000 0.002 1.784

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

26 26 26 25 23 40 19 23 24 24

N.S.

1 1.00 1.00 0.96 0.88 1.54 0.73 0.88 0.92 0.92

time (sec)

N/A 0.012 0.000 0.017 0.262 0.315 0.026 0.000 0.003 1.813

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

27 27 27 26 25 43 22 27 25 25

N.S.

1 1.00 1.00 0.96 0.93 1.59 0.81 1.00 0.93 0.93

time (sec)

N/A 0.014 0.000 0.020 0.265 0.306 0.027 0.000 0.002 1.814

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

32 32 32 31 29 51 26 30 30 30

N.S.

1 1.00 1.00 0.97 0.91 1.59 0.81 0.94 0.94 0.94

time (sec)

N/A 0.017 0.000 0.020 0.279 0.297 0.028 0.000 0.002 1.840

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

24 24 25 24 23 41 20 25 23 23

N.S.

1 1.00 1.04 1.00 0.96 1.71 0.83 1.04 0.96 0.96

time (sec)

N/A 0.017 0.000 0.017 0.258 0.321 0.027 0.000 0.002 1.799

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

29 29 30 29 27 50 24 28 28 28

N.S.

1 1.00 1.03 1.00 0.93 1.72 0.83 0.97 0.97 0.97

time (sec)

N/A 0.020 0.000 0.017 0.259 0.309 0.028 0.000 0.002 1.841

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

19 19 19 19 18 18 17 20 18 17

N.S.

1 1.00 1.00 1.00 0.95 0.95 0.89 1.05 0.95 0.89

time (sec)

N/A 0.006 0.000 0.015 0.259 0.304 0.025 0.000 0.002 1.749

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

24 24 24 24 22 22 20 23 23 22

N.S.

1 1.00 1.00 1.00 0.92 0.92 0.83 0.96 0.96 0.92

time (sec)

N/A 0.007 0.000 0.014 0.264 0.415 0.026 0.000 0.004 1.806

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

25 25 25 25 24 44 24 27 24 23

N.S.

1 1.00 1.00 1.00 0.96 1.76 0.96 1.08 0.96 0.92

time (sec)

N/A 0.008 0.000 0.016 0.257 0.373 0.026 0.000 0.002 1.810

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

30 30 30 30 28 50 27 30 29 28

N.S.

1 1.00 1.00 1.00 0.93 1.67 0.90 1.00 0.97 0.93

time (sec)

N/A 0.010 0.000 0.015 0.259 0.341 0.027 0.000 0.003 1.858

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

27 27 28 27 25 25 24 27 26 26

N.S.

1 1.00 1.04 1.00 0.93 0.93 0.89 1.00 0.96 0.96

time (sec)

N/A 0.004 0.000 0.011 0.255 0.328 0.027 0.000 0.003 1.918

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