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

N.S.

1 1.00 1.00 0.81 0.75 0.75 0.62 0.88 0.81 0.75

time (sec)

N/A 0.001 0.000 0.004 0.281 0.310 0.024 0.000 0.021 1.618

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

22 22 22 17 16 16 17 22 15 15

N.S.

1 1.00 1.00 0.77 0.73 0.73 0.77 1.00 0.68 0.68

time (sec)

N/A 0.007 0.001 0.018 0.266 0.337 0.028 0.000 0.039 1.640

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

22 22 22 17 16 16 15 22 15 15

N.S.

1 1.00 1.00 0.77 0.73 0.73 0.68 1.00 0.68 0.68

time (sec)

N/A 0.003 0.001 0.022 0.257 0.322 0.027 0.000 0.029 1.639

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 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.281 0.330 0.025 0.000 0.009 1.480

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

36 36 24 27 32 46 29 27 22 44

N.S.

1 1.00 0.67 0.75 0.89 1.28 0.81 0.75 0.61 1.22

time (sec)

N/A 0.008 0.008 0.041 0.261 0.326 0.059 0.001 0.118 1.847

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

32 32 28 25 24 33 24 32 26 28

N.S.

1 1.00 0.88 0.78 0.75 1.03 0.75 1.00 0.81 0.88

time (sec)

N/A 0.008 0.008 0.035 0.268 0.333 0.079 0.000 0.034 1.757

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

40 40 34 43 40 34 144 35 40 34

N.S.

1 1.00 0.85 1.08 1.00 0.85 3.60 0.88 1.00 0.85

time (sec)

N/A 0.018 0.012 0.043 0.266 0.327 0.548 0.001 0.250 4.071

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

34 34 38 35 0 120 124 38 46 125

N.S.

1 1.00 1.12 1.03 0.00 3.53 3.65 1.12 1.35 3.68

time (sec)

N/A 0.019 0.008 0.115 0.000 0.348 0.116 0.001 0.198 4.026

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A C A B C

verified

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

size

16 16 16 15 14 14 26 16 14 23

N.S.

1 1.00 1.00 0.94 0.88 0.88 1.62 1.00 0.88 1.44

time (sec)

N/A 0.004 0.005 0.024 0.340 0.321 0.087 0.000 0.038 1.798

Problem 10

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 16 17 14 14 22 21 14 14

N.S.

1 1.00 0.84 0.89 0.74 0.74 1.16 1.11 0.74 0.74

time (sec)

N/A 0.007 0.004 0.212 0.352 0.320 0.051 0.001 0.031 1.678

Problem 11

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

49 49 35 36 39 71 41 45 49 49

N.S.

1 1.00 0.71 0.73 0.80 1.45 0.84 0.92 1.00 1.00

time (sec)

N/A 0.018 0.017 0.043 0.346 0.417 0.091 0.002 0.126 1.996

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

68 68 62 69 78 81 0 73 87 0

N.S.

1 1.00 0.91 1.01 1.15 1.19 0.00 1.07 1.28 0.00

time (sec)

N/A 0.033 0.021 0.077 0.255 0.466 0.000 0.001 0.568 0.000

Problem 13

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 47 34 44 43 32 121 40 256 33

N.S.

1 1.00 0.72 0.94 0.91 0.68 2.57 0.85 5.45 0.70

time (sec)

N/A 0.013 0.008 0.048 0.268 0.321 0.369 0.001 0.304 3.513

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A C A B C

verified

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

size

40 40 30 41 40 30 393 46 191 49

N.S.

1 1.00 0.75 1.02 1.00 0.75 9.82 1.15 4.78 1.22

time (sec)

N/A 0.012 0.010 0.061 0.341 0.328 0.684 0.001 0.175 6.580

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

27 27 27 20 19 19 19 24 25 19

N.S.

1 1.00 1.00 0.74 0.70 0.70 0.70 0.89 0.93 0.70

time (sec)

N/A 0.011 0.003 0.030 0.342 0.328 0.065 0.001 0.046 1.689

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

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.015 0.007 0.028 0.347 0.336 0.068 0.001 0.206 1.870

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

43 43 34 32 31 40 31 41 33 37

N.S.

1 1.00 0.79 0.74 0.72 0.93 0.72 0.95 0.77 0.86

time (sec)

N/A 0.083 0.014 0.038 0.362 0.327 0.073 0.001 0.043 1.856

Problem 18

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

85 85 64 52 72 100 73 106 33 51

N.S.

1 1.00 0.75 0.61 0.85 1.18 0.86 1.25 0.39 0.60

time (sec)

N/A 0.026 0.013 0.000 0.364 0.328 0.074 0.001 0.002 2.082

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

85 85 64 52 72 100 73 106 33 51

N.S.

1 1.00 0.75 0.61 0.85 1.18 0.86 1.25 0.39 0.60

time (sec)

N/A 0.026 0.007 0.023 0.349 0.340 0.076 0.001 0.205 2.062

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A C A A A A A B A

verified

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

size

67 67 73 54 53 53 70 67 47 53

N.S.

1 1.00 1.09 0.81 0.79 0.79 1.04 1.00 0.70 0.79

time (sec)

N/A 0.023 0.038 0.018 0.350 0.330 0.106 0.001 0.179 2.121

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

18 18 17 19 18 20 20 16 18 0

N.S.

1 1.00 0.94 1.06 1.00 1.11 1.11 0.89 1.00 0.00

time (sec)

N/A 0.003 0.016 0.023 0.303 0.342 0.028 0.000 0.220 0.000

Problem 22

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

39 39 33 36 42 53 201 83 94 213

N.S.

1 1.00 0.85 0.92 1.08 1.36 5.15 2.13 2.41 5.46

time (sec)

N/A 0.008 0.027 0.020 0.260 0.330 0.242 0.002 0.392 2.457

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A B B C

verified

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

size

60 60 57 73 68 96 597 154 192 496

N.S.

1 1.00 0.95 1.22 1.13 1.60 9.95 2.57 3.20 8.27

time (sec)

N/A 0.014 0.036 0.026 0.260 0.334 0.399 0.002 0.601 4.459

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

10 10 10 11 10 10 7 10 10 10

N.S.

1 1.00 1.00 1.10 1.00 1.00 0.70 1.00 1.00 1.00

time (sec)

N/A 0.001 0.001 0.021 0.284 0.328 0.028 0.000 0.026 1.608

Problem 25

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

N.S.

1 1.00 1.00 1.08 1.00 1.08 0.83 0.75 1.00 1.00

time (sec)

N/A 0.001 0.002 0.022 0.271 0.316 0.067 0.000 0.118 1.693

Problem 26

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

18 18 18 19 18 17 14 19 18 17

N.S.

1 1.00 1.00 1.06 1.00 0.94 0.78 1.06 1.00 0.94

time (sec)

N/A 0.006 0.002 0.023 0.253 0.327 0.049 0.000 0.035 1.685

Problem 27

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

31 31 31 30 29 29 26 34 29 28

N.S.

1 1.00 1.00 0.97 0.94 0.94 0.84 1.10 0.94 0.90

time (sec)

N/A 0.010 0.003 0.023 0.278 0.345 0.055 0.000 0.127 1.801

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

18 18 18 19 18 16 10 21 15 17

N.S.

1 1.00 1.00 1.06 1.00 0.89 0.56 1.17 0.83 0.94

time (sec)

N/A 0.002 0.003 0.023 0.254 0.320 0.070 0.000 0.134 1.726

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

28 28 28 29 28 26 19 37 25 30

N.S.

1 1.00 1.00 1.04 1.00 0.93 0.68 1.32 0.89 1.07

time (sec)

N/A 0.009 0.003 0.025 0.265 0.326 0.098 0.000 0.054 1.837

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

42 42 35 43 45 63 37 52 45 49

N.S.

1 1.00 0.83 1.02 1.07 1.50 0.88 1.24 1.07 1.17

time (sec)

N/A 0.015 0.026 0.026 0.280 0.413 0.147 0.000 0.188 2.098

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A C A B C

verified

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

size

10 10 10 11 10 10 20 11 10 20

N.S.

1 1.00 1.00 1.10 1.00 1.00 2.00 1.10 1.00 2.00

time (sec)

N/A 0.002 0.002 0.032 0.350 0.317 0.056 0.000 0.037 1.973

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A B B A B B B A

verified

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

size

10 10 10 22 21 18 15 23 10 18

N.S.

1 1.00 1.00 2.20 2.10 1.80 1.50 2.30 1.00 1.80

time (sec)

N/A 0.002 0.002 0.024 0.338 0.331 0.061 0.000 0.159 1.726

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

78 78 66 58 66 63 78 107 72 53

N.S.

1 1.00 0.85 0.74 0.85 0.81 1.00 1.37 0.92 0.68

time (sec)

N/A 0.028 0.014 0.026 0.369 0.325 0.162 0.001 0.277 2.202

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

74 74 65 54 56 68 71 91 72 49

N.S.

1 1.00 0.88 0.73 0.76 0.92 0.96 1.23 0.97 0.66

time (sec)

N/A 0.021 0.012 0.029 0.363 0.322 0.156 0.001 0.356 2.145

Problem 35

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

115 115 89 92 97 300 20 127 101 26

N.S.

1 1.00 0.77 0.80 0.84 2.61 0.17 1.10 0.88 0.23

time (sec)

N/A 0.041 0.017 0.024 0.364 0.335 0.079 0.001 0.315 1.842

Problem 36

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

35 35 43 32 34 56 46 55 20 31

N.S.

1 1.00 1.23 0.91 0.97 1.60 1.31 1.57 0.57 0.89

time (sec)

N/A 0.009 0.012 0.026 0.370 0.332 0.158 0.001 0.158 1.930

Problem 37

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

35 35 43 33 41 60 48 67 18 32

N.S.

1 1.00 1.23 0.94 1.17 1.71 1.37 1.91 0.51 0.91

time (sec)

N/A 0.009 0.010 0.030 0.369 0.334 0.162 0.001 0.175 1.916

Problem 38

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

171 171 120 93 151 161 151 176 45 83

N.S.

1 1.00 0.70 0.54 0.88 0.94 0.88 1.03 0.26 0.49

time (sec)

N/A 0.072 0.033 0.024 0.365 0.327 0.204 0.004 0.111 2.587

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A F B B A B B

verified

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

size

73 73 68 56 0 132 146 108 93 107

N.S.

1 1.00 0.93 0.77 0.00 1.81 2.00 1.48 1.27 1.47

time (sec)

N/A 0.049 0.036 0.033 0.000 0.339 0.241 0.005 0.224 3.239

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A F B A A B C

verified

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

size

73 73 68 56 0 132 24 108 93 33

N.S.

1 1.00 0.93 0.77 0.00 1.81 0.33 1.48 1.27 0.45

time (sec)

N/A 0.012 0.018 0.029 0.000 0.346 0.192 0.004 0.135 1.935

Problem 41

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

72 72 83 54 75 91 158 95 67 69

N.S.

1 1.00 1.15 0.75 1.04 1.26 2.19 1.32 0.93 0.96

time (sec)

N/A 0.046 0.021 0.023 0.346 0.331 0.191 0.000 0.098 2.857

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A F B A A B C

verified

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

size

67 67 67 60 0 123 24 155 98 33

N.S.

1 1.00 1.00 0.90 0.00 1.84 0.36 2.31 1.46 0.49

time (sec)

N/A 0.038 0.022 0.034 0.000 0.334 0.199 0.005 0.231 1.947

Problem 43

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

67 67 67 60 0 87 92 78 117 63

N.S.

1 1.00 1.00 0.90 0.00 1.30 1.37 1.16 1.75 0.94

time (sec)

N/A 0.008 0.013 0.029 0.000 0.348 0.112 0.003 0.197 2.707

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A C A F B B A B B

verified

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

size

196 196 91 251 0 298 994 412 61 443

N.S.

1 1.00 0.46 1.28 0.00 1.52 5.07 2.10 0.31 2.26

time (sec)

N/A 0.100 0.038 0.061 0.000 0.360 0.644 0.086 0.225 17.416

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A C A F A A A B C

verified

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

size

196 196 91 253 0 268 24 410 132 33

N.S.

1 1.00 0.46 1.29 0.00 1.37 0.12 2.09 0.67 0.17

time (sec)

N/A 0.092 0.049 0.061 0.000 0.330 0.315 0.085 0.110 2.075

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

73 73 75 66 65 65 83 89 88 65

N.S.

1 1.00 1.03 0.90 0.89 0.89 1.14 1.22 1.21 0.89

time (sec)

N/A 0.066 0.010 0.040 0.342 0.325 0.136 0.000 0.091 2.232

Problem 47

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

138 138 122 111 112 176 14 182 140 21

N.S.

1 1.00 0.88 0.80 0.81 1.28 0.10 1.32 1.01 0.15

time (sec)

N/A 0.128 0.025 0.083 0.346 0.419 0.297 0.002 0.210 1.980

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A B A A B C

verified

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

size

138 138 115 95 107 279 14 173 135 21

N.S.

1 1.00 0.83 0.69 0.78 2.02 0.10 1.25 0.98 0.15

time (sec)

N/A 0.227 0.016 0.098 0.354 0.337 0.142 0.002 0.129 1.877

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A C F B A A B C

verified

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

size

339 339 209 22 0 1043 14 337 288 21

N.S.

1 1.00 0.62 0.06 0.00 3.08 0.04 0.99 0.85 0.06

time (sec)

N/A 0.192 0.005 0.027 0.000 0.345 1.129 0.004 0.304 2.790

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A C A B C

verified

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

size

97 97 98 61 88 116 44 131 45 46

N.S.

1 1.00 1.01 0.63 0.91 1.20 0.45 1.35 0.46 0.47

time (sec)

N/A 0.032 0.015 0.038 0.346 0.344 85.044 0.000 0.165 60.599

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A C C F A A A B A

verified

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

size

275 275 42 30 0 220 165 297 53 124

N.S.

1 1.00 0.15 0.11 0.00 0.80 0.60 1.08 0.19 0.45

time (sec)

N/A 0.176 0.009 0.016 0.000 0.335 0.108 0.005 0.100 3.249

Problem 52

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.025 0.073 0.027 0.358 0.321 0.088 0.001 0.219 1.953

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

8 8 8 9 8 8 5 7 6 6

N.S.

1 1.00 1.00 1.12 1.00 1.00 0.62 0.88 0.75 0.75

time (sec)

N/A 0.001 0.001 0.003 0.270 0.325 0.038 0.000 0.023 1.560

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

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.266 0.325 0.045 0.000 0.034 1.640

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

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.004 0.002 0.003 0.279 0.322 0.046 0.000 0.032 1.595

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A F B C

verified

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

size

26 26 19 19 26 25 56 0 32 36

N.S.

1 1.00 0.73 0.73 1.00 0.96 2.15 0.00 1.23 1.38

time (sec)

N/A 0.006 0.006 0.014 0.267 0.337 0.219 0.000 0.239 2.092

Problem 57

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

15 15 15 16 12 15 15 16 12 12

N.S.

1 1.00 1.00 1.07 0.80 1.00 1.00 1.07 0.80 0.80

time (sec)

N/A 0.002 0.001 0.000 0.265 0.332 0.047 0.000 0.030 1.612

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

127 127 127 104 71 103 133 132 71 71

N.S.

1 1.00 1.00 0.82 0.56 0.81 1.05 1.04 0.56 0.56

time (sec)

N/A 0.083 0.003 0.007 0.267 0.361 0.176 0.002 0.177 2.242

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

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.007 0.002 0.007 0.260 0.327 0.058 0.000 0.060 1.600

Problem 60

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.004 0.291 0.309 0.232 0.000 0.004 1.667

Problem 61

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

4 4 4 11 5 4 3 5 4 4

N.S.

1 1.00 1.00 2.75 1.25 1.00 0.75 1.25 1.00 1.00

time (sec)

N/A 0.002 0.005 0.010 0.277 0.390 0.246 0.000 0.016 1.693

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

3 3 3 4 3 3 3 4 3 3

N.S.

1 1.00 1.00 1.33 1.00 1.00 1.00 1.33 1.00 1.00

time (sec)

N/A 0.007 0.004 0.000 0.268 0.322 0.049 0.000 0.120 1.514

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A F B A

verified

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

size

17 17 17 15 6 19 14 0 17 17

N.S.

1 1.00 1.00 0.88 0.35 1.12 0.82 0.00 1.00 1.00

time (sec)

N/A 0.020 0.018 0.007 0.290 0.325 0.333 0.000 0.030 1.844

Problem 64

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

12 12 12 13 12 12 15 11 22 21

N.S.

1 1.00 1.00 1.08 1.00 1.00 1.25 0.92 1.83 1.75

time (sec)

N/A 0.010 0.003 0.013 0.261 0.341 0.443 0.000 0.146 1.957

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

28 28 28 27 25 25 22 27 21 22

N.S.

1 1.00 1.00 0.96 0.89 0.89 0.79 0.96 0.75 0.79

time (sec)

N/A 0.007 0.003 0.006 0.266 0.351 0.060 0.001 0.141 1.959

Problem 66

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

54 54 53 48 47 47 44 52 47 44

N.S.

1 1.00 0.98 0.89 0.87 0.87 0.81 0.96 0.87 0.81

time (sec)

N/A 0.017 0.008 0.020 0.296 0.337 0.070 0.001 0.170 2.079

Problem 67

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 27 30 38 34 24 37 35 41

N.S.

1 1.00 0.93 1.03 1.31 1.17 0.83 1.28 1.21 1.41

time (sec)

N/A 0.008 0.009 0.025 0.274 0.333 0.121 0.001 0.232 2.170

Problem 68

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

46 46 46 53 44 39 42 65 66 38

N.S.

1 1.00 1.00 1.15 0.96 0.85 0.91 1.41 1.43 0.83

time (sec)

N/A 0.015 0.011 0.015 0.263 0.339 0.090 0.001 0.189 2.195

Problem 69

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

59 59 59 82 57 49 54 104 75 49

N.S.

1 1.00 1.00 1.39 0.97 0.83 0.92 1.76 1.27 0.83

time (sec)

N/A 0.021 0.013 0.013 0.271 0.335 0.097 0.001 0.182 2.361

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A C A B C

verified

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

size

23 23 23 24 23 23 36 31 23 32

N.S.

1 1.00 1.00 1.04 1.00 1.00 1.57 1.35 1.00 1.39

time (sec)

N/A 0.005 0.002 0.017 0.346 0.324 0.079 0.001 0.066 2.123

Problem 71

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 26 29 28 23 31 28 51 32

N.S.

1 1.00 0.96 1.07 1.04 0.85 1.15 1.04 1.89 1.19

time (sec)

N/A 0.014 0.003 0.013 0.267 0.317 0.079 0.001 0.041 1.959

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A C A B C

verified

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

size

44 44 44 37 36 36 53 50 65 45

N.S.

1 1.00 1.00 0.84 0.82 0.82 1.20 1.14 1.48 1.02

time (sec)

N/A 0.015 0.002 0.018 0.344 0.327 0.094 0.002 0.036 2.199

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A C A B C

verified

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

size

54 54 54 45 44 44 63 61 73 53

N.S.

1 1.00 1.00 0.83 0.81 0.81 1.17 1.13 1.35 0.98

time (sec)

N/A 0.016 0.002 0.021 0.349 0.333 0.100 0.002 0.128 2.282

Problem 74

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 32 31 31 29 37 25 32

N.S.

1 1.00 1.00 1.28 1.24 1.24 1.16 1.48 1.00 1.28

time (sec)

N/A 0.006 0.003 0.014 0.281 0.403 0.082 0.001 0.074 2.046

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

8 0 0 0 0 0 0 0 -1 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.12 0.00

time (sec)

N/A 0.004 0.025 0.025 0.000 0.341 0.000 0.000 0.000 0.000

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

4 4 4 5 4 4 3 3 4 4

N.S.

1 1.00 1.00 1.25 1.00 1.00 0.75 0.75 1.00 1.00

time (sec)

N/A 0.001 0.002 0.013 0.264 0.336 0.026 0.000 0.021 1.670

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

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.013 0.267 0.333 0.026 0.000 0.027 1.518

Problem 78

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

5 5 5 6 3 11 5 5 5 5

N.S.

1 1.00 1.00 1.20 0.60 2.20 1.00 1.00 1.00 1.00

time (sec)

N/A 0.001 0.002 0.011 0.285 0.341 0.029 0.001 0.029 1.643

Problem 79

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

3 3 3 4 3 16 3 20 13 3

N.S.

1 1.00 1.00 1.33 1.00 5.33 1.00 6.67 4.33 1.00

time (sec)

N/A 0.001 0.002 0.016 0.262 0.328 0.032 0.002 0.197 1.582

Problem 80

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

21 21 27 26 25 37 75 30 27 37

N.S.

1 1.00 1.29 1.24 1.19 1.76 3.57 1.43 1.29 1.76

time (sec)

N/A 0.015 0.030 0.029 0.352 0.339 0.174 0.002 0.246 2.634

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A B A B B B B B B

verified

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

size

3 3 33 7 15 17 15 30 11 15

N.S.

1 1.00 11.00 2.33 5.00 5.67 5.00 10.00 3.67 5.00

time (sec)

N/A 0.002 0.004 0.017 0.278 0.338 0.051 0.001 0.129 1.825

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A B A B B B A B B

verified

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

size

5 5 17 9 15 19 15 11 5 15

N.S.

1 1.00 3.40 1.80 3.00 3.80 3.00 2.20 1.00 3.00

time (sec)

N/A 0.001 0.004 0.020 0.268 0.336 0.051 0.001 0.045 1.830

Problem 83

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.000 0.301 0.344 0.028 0.000 0.032 1.749

Problem 84

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.022 0.257 0.326 0.153 0.001 0.158 1.847

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

13 13 15 11 11 11 8 11 10 10

N.S.

1 1.00 1.15 0.85 0.85 0.85 0.62 0.85 0.77 0.77

time (sec)

N/A 0.004 0.002 0.000 0.253 0.328 0.034 0.000 0.034 1.703

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

44 44 44 0 0 0 0 0 35 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.80 0.00

time (sec)

N/A 0.005 0.031 0.017 0.000 0.336 0.000 0.000 0.315 0.000

Problem 87

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

N.S.

1 1.00 1.00 0.84 0.79 0.95 0.89 0.95 0.79 0.79

time (sec)

N/A 0.013 0.003 0.027 0.258 0.339 0.229 0.001 0.045 2.016

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 12 10 10

N.S.

1 1.00 1.00 0.79 0.71 0.71 0.71 0.86 0.71 0.71

time (sec)

N/A 0.004 0.002 0.000 0.252 0.329 0.028 0.000 0.026 1.747

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

11 11 15 11 9 10 8 11 9 9

N.S.

1 1.00 1.36 1.00 0.82 0.91 0.73 1.00 0.82 0.82

time (sec)

N/A 0.004 0.002 0.013 0.253 0.329 0.030 0.000 0.031 1.753

Problem 90

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

2 2 2 3 2 7 5 6 2 2

N.S.

1 1.00 1.00 1.50 1.00 3.50 2.50 3.00 1.00 1.00

time (sec)

N/A 0.003 0.002 0.039 0.273 0.323 0.028 0.000 0.023 1.772

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

15 15 15 7 11 10 20 8 6 6

N.S.

1 1.00 1.00 0.47 0.73 0.67 1.33 0.53 0.40 0.40

time (sec)

N/A 0.005 0.006 0.028 0.264 0.351 0.142 0.000 0.028 1.949

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

8 8 8 9 8 8 7 8 8 8

N.S.

1 1.00 1.00 1.12 1.00 1.00 0.88 1.00 1.00 1.00

time (sec)

N/A 0.005 0.002 0.011 0.258 0.331 0.071 0.000 0.021 1.815

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

17 17 15 18 15 15 17 15 15 17

N.S.

1 1.00 0.88 1.06 0.88 0.88 1.00 0.88 0.88 1.00

time (sec)

N/A 0.012 0.011 0.000 0.248 0.329 0.102 0.000 0.028 1.846

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

25 25 25 25 19 19 36 28 19 20

N.S.

1 1.00 1.00 1.00 0.76 0.76 1.44 1.12 0.76 0.80

time (sec)

N/A 0.008 0.008 0.000 0.274 0.322 0.105 0.001 0.055 2.036

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

41 41 29 37 26 29 56 35 28 28

N.S.

1 1.00 0.71 0.90 0.63 0.71 1.37 0.85 0.68 0.68

time (sec)

N/A 0.019 0.026 0.017 0.256 0.321 0.155 0.001 0.155 2.209

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

33 33 31 23 23 23 39 32 25 25

N.S.

1 1.00 0.94 0.70 0.70 0.70 1.18 0.97 0.76 0.76

time (sec)

N/A 0.013 0.007 0.023 0.253 0.324 0.154 0.000 0.066 2.106

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

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.019 0.270 0.313 0.070 0.000 0.019 1.787

Problem 98

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 14 17 14 14 17 16 14 16

N.S.

1 1.00 0.88 1.06 0.88 0.88 1.06 1.00 0.88 1.00

time (sec)

N/A 0.013 0.010 0.020 0.273 0.322 0.102 0.000 0.026 1.917

Problem 99

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 19 19 36 26 19 20

N.S.

1 1.00 1.00 1.00 0.76 0.76 1.44 1.04 0.76 0.80

time (sec)

N/A 0.009 0.008 0.022 0.275 0.346 0.105 0.000 0.151 1.999

Problem 100

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 29 37 26 29 56 35 28 28

N.S.

1 1.00 0.71 0.90 0.63 0.71 1.37 0.85 0.68 0.68

time (sec)

N/A 0.019 0.026 0.034 0.257 0.348 0.154 0.000 0.065 2.131

Problem 101

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 31 23 23 25 39 30 25 24

N.S.

1 1.00 0.94 0.70 0.70 0.76 1.18 0.91 0.76 0.73

time (sec)

N/A 0.014 0.007 0.032 0.253 0.322 0.154 0.000 0.169 2.090

Problem 102

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.009 0.012 0.300 0.323 0.314 0.001 0.000 1.940

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A C B B A F C

verified

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

size

2 2 2 3 13 11 12 2 -1 13

N.S.

1 1.00 1.00 1.50 6.50 5.50 6.00 1.00 -0.50 6.50

time (sec)

N/A 0.007 0.002 0.033 0.288 0.424 0.463 0.001 0.000 2.231

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A C A B A F C

verified

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

size

10 10 10 11 15 20 17 11 -1 20

N.S.

1 1.00 1.00 1.10 1.50 2.00 1.70 1.10 -0.10 2.00

time (sec)

N/A 0.014 0.002 0.036 0.289 0.317 0.720 0.002 0.000 2.664

Problem 105

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

15 15 15 12 17 17 10 16 -1 11

N.S.

1 1.00 1.00 0.80 1.13 1.13 0.67 1.07 -0.07 0.73

time (sec)

N/A 0.022 0.009 0.031 0.294 0.327 0.575 0.001 0.000 2.283

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

12 12 12 17 20 18 12 16 16 10

N.S.

1 1.00 1.00 1.42 1.67 1.50 1.00 1.33 1.33 0.83

time (sec)

N/A 0.004 0.003 0.015 0.280 0.344 0.046 0.001 0.021 1.676

Problem 107

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

11 11 22 12 11 11 14 10 11 21

N.S.

1 1.00 2.00 1.09 1.00 1.00 1.27 0.91 1.00 1.91

time (sec)

N/A 0.002 0.007 0.019 0.264 0.325 0.064 0.000 0.021 1.691

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A B A A A A A B C

verified

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

size

10 10 21 11 10 10 12 9 10 20

N.S.

1 1.00 2.10 1.10 1.00 1.00 1.20 0.90 1.00 2.00

time (sec)

N/A 0.002 0.007 0.021 0.248 0.311 0.063 0.000 0.022 1.729

Problem 109

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

12 12 12 17 11 18 19 12 16 26

N.S.

1 1.00 1.00 1.42 0.92 1.50 1.58 1.00 1.33 2.17

time (sec)

N/A 0.002 0.007 0.012 0.266 0.322 0.064 0.002 0.234 2.218

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A B A B A B B C

verified

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

size

11 11 19 26 11 27 29 57 28 37

N.S.

1 1.00 1.73 2.36 1.00 2.45 2.64 5.18 2.55 3.36

time (sec)

N/A 0.002 0.007 0.014 0.263 0.324 0.172 0.011 0.190 2.709

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A B A B B A A B C

verified

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

size

12 12 38 21 26 30 17 17 12 26

N.S.

1 1.00 3.17 1.75 2.17 2.50 1.42 1.42 1.00 2.17

time (sec)

N/A 0.002 0.013 0.033 0.258 0.341 0.276 0.002 0.117 1.962

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A B B A B B C

verified

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

size

11 11 11 19 26 28 34 48 11 43

N.S.

1 1.00 1.00 1.73 2.36 2.55 3.09 4.36 1.00 3.91

time (sec)

N/A 0.003 0.002 0.027 0.268 0.337 0.314 0.005 0.024 2.367

Problem 113

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

25 25 23 27 24 23 46 24 18 32

N.S.

1 1.00 0.92 1.08 0.96 0.92 1.84 0.96 0.72 1.28

time (sec)

N/A 0.006 0.020 0.027 0.256 0.324 0.097 0.001 0.209 2.240

Problem 114

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

27 27 29 22 22 22 37 29 24 34

N.S.

1 1.00 1.07 0.81 0.81 0.81 1.37 1.07 0.89 1.26

time (sec)

N/A 0.006 0.009 0.038 0.267 0.325 0.128 0.001 0.147 2.378

Problem 115

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

25 25 23 27 22 22 46 23 18 32

N.S.

1 1.00 0.92 1.08 0.88 0.88 1.84 0.92 0.72 1.28

time (sec)

N/A 0.005 0.014 0.031 0.285 0.318 0.095 0.001 0.177 2.575

Problem 116

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

26 26 26 22 22 21 36 22 24 34

N.S.

1 1.00 1.00 0.85 0.85 0.81 1.38 0.85 0.92 1.31

time (sec)

N/A 0.006 0.006 0.036 0.276 0.327 0.145 0.001 0.025 2.286

Problem 117

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

10 10 10 11 10 18 58 12 10 76

N.S.

1 1.00 1.00 1.10 1.00 1.80 5.80 1.20 1.00 7.60

time (sec)

N/A 0.005 0.003 0.027 0.274 0.311 0.541 0.001 0.145 2.447

Problem 118

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.005 0.003 0.016 0.274 0.310 0.099 0.000 0.171 1.696

Problem 119

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.018 0.257 0.302 0.170 0.001 0.166 1.743

Problem 120

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

10 10 23 11 15 18 8 11 10 10

N.S.

1 1.00 2.30 1.10 1.50 1.80 0.80 1.10 1.00 1.00

time (sec)

N/A 0.004 0.007 0.020 0.254 0.299 0.185 0.001 0.024 1.762

Problem 121

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

11 11 25 11 15 17 8 11 10 10

N.S.

1 1.00 2.27 1.00 1.36 1.55 0.73 1.00 0.91 0.91

time (sec)

N/A 0.005 0.008 0.032 0.304 0.303 0.191 0.003 0.034 1.830

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

40 40 40 39 0 148 141 57 45 176

N.S.

1 1.00 1.00 0.98 0.00 3.70 3.52 1.42 1.12 4.40

time (sec)

N/A 0.026 0.026 0.048 0.000 0.323 2.958 0.004 0.383 6.884

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

47 47 44 43 0 287 1872 69 58 477

N.S.

1 1.00 0.94 0.91 0.00 6.11 39.83 1.47 1.23 10.15

time (sec)

N/A 0.037 0.043 0.094 0.000 0.340 65.066 0.005 0.260 242.835

Problem 124

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

73 73 47 158 117 54 105 71 52 69

N.S.

1 1.00 0.64 2.16 1.60 0.74 1.44 0.97 0.71 0.95

time (sec)

N/A 0.027 0.093 0.038 0.292 0.320 0.209 0.004 0.137 3.306

Problem 125

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

15 15 15 12 11 12 20 13 9 9

N.S.

1 1.00 1.00 0.80 0.73 0.80 1.33 0.87 0.60 0.60

time (sec)

N/A 0.005 0.006 0.042 0.258 0.311 0.143 0.000 0.025 2.099

Problem 126

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

73 73 47 158 113 54 105 71 52 69

N.S.

1 1.00 0.64 2.16 1.55 0.74 1.44 0.97 0.71 0.95

time (sec)

N/A 0.026 0.085 0.042 0.274 0.314 0.208 0.003 0.103 3.303

Problem 127

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

14 14 14 22 14 31 14 34 21 12

N.S.

1 1.00 1.00 1.57 1.00 2.21 1.00 2.43 1.50 0.86

time (sec)

N/A 0.006 0.003 0.017 0.287 0.307 0.046 0.002 0.168 1.896

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

104 104 101 138 491 182 0 0 -1 0

N.S.

1 1.00 0.97 1.33 4.72 1.75 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.140 0.115 0.054 0.399 0.323 0.000 0.000 0.000 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

153 153 133 237 777 212 0 0 -1 0

N.S.

1 1.00 0.87 1.55 5.08 1.39 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.255 0.233 0.045 0.632 0.325 0.000 0.000 0.000 0.000

Problem 130

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

15 15 15 20 107 21 19 27 13 17

N.S.

1 1.00 1.00 1.33 7.13 1.40 1.27 1.80 0.87 1.13

time (sec)

N/A 0.010 0.012 0.013 0.343 0.313 0.075 0.006 0.022 2.062

Problem 131

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

15 15 15 12 11 13 26 14 13 11

N.S.

1 1.00 1.00 0.80 0.73 0.87 1.73 0.93 0.87 0.73

time (sec)

N/A 0.005 0.008 0.057 0.263 0.311 0.144 0.001 0.044 2.115

Problem 132

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 14 19 10 19 14 13 18 10

N.S.

1 1.00 0.58 0.79 0.42 0.79 0.58 0.54 0.75 0.42

time (sec)

N/A 0.016 0.005 0.046 0.257 0.302 0.033 0.000 0.044 1.958

Problem 133

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

7 7 6 15 9 18 12 7 6 8

N.S.

1 1.00 0.86 2.14 1.29 2.57 1.71 1.00 0.86 1.14

time (sec)

N/A 0.014 0.007 0.028 0.272 0.301 0.033 0.001 0.064 1.886

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A C B C

verified

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

size

32 32 22 33 25 22 104 381 22 88

N.S.

1 1.00 0.69 1.03 0.78 0.69 3.25 11.91 0.69 2.75

time (sec)

N/A 0.007 0.016 0.033 0.267 0.315 0.295 0.003 0.024 2.832

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A C B C

verified

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

size

31 31 20 32 24 20 107 383 20 87

N.S.

1 1.00 0.65 1.03 0.77 0.65 3.45 12.35 0.65 2.81

time (sec)

N/A 0.005 0.014 0.031 0.268 0.315 0.294 0.007 0.017 2.730

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A C A A A C B C

verified

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

size

84 84 50 58 60 60 308 1369 57 249

N.S.

1 1.00 0.60 0.69 0.71 0.71 3.67 16.30 0.68 2.96

time (sec)

N/A 0.032 0.037 0.042 0.274 0.316 0.509 0.004 0.285 3.643

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A C A A A C B C

verified

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

size

83 83 49 56 58 58 304 1373 55 245

N.S.

1 1.00 0.59 0.67 0.70 0.70 3.66 16.54 0.66 2.95

time (sec)

N/A 0.029 0.035 0.039 0.288 0.306 0.502 0.004 0.213 3.633

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A C A A C C B C

verified

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

size

162 162 94 102 107 115 665 3343 133 549

N.S.

1 1.00 0.58 0.63 0.66 0.71 4.10 20.64 0.82 3.39

time (sec)

N/A 0.113 0.061 0.057 0.316 0.311 1.058 0.005 0.392 4.971

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A C A A C C B C

verified

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

size

161 161 93 100 105 111 668 3351 132 547

N.S.

1 1.00 0.58 0.62 0.65 0.69 4.15 20.81 0.82 3.40

time (sec)

N/A 0.109 0.053 0.057 0.273 0.315 1.045 0.005 0.348 5.046

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A C A A C C B C

verified

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

size

261 261 169 166 186 203 1355 6997 231 1128

N.S.

1 1.00 0.65 0.64 0.71 0.78 5.19 26.81 0.89 4.32

time (sec)

N/A 0.273 0.105 0.074 0.292 0.310 2.196 0.008 0.627 9.866

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A C A A C C B C

verified

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

size

260 260 168 164 184 202 1352 6997 232 1126

N.S.

1 1.00 0.65 0.63 0.71 0.78 5.20 26.91 0.89 4.33

time (sec)

N/A 0.266 0.086 0.073 0.282 0.320 2.157 0.008 0.640 14.776

Problem 142

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

25 25 25 20 19 17 114 18 14 20

N.S.

1 1.00 1.00 0.80 0.76 0.68 4.56 0.72 0.56 0.80

time (sec)

N/A 0.018 0.011 0.063 0.258 0.319 1.260 0.001 0.166 6.831

Problem 143

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

30 30 30 23 22 25 116 26 22 22

N.S.

1 1.00 1.00 0.77 0.73 0.83 3.87 0.87 0.73 0.73

time (sec)

N/A 0.019 0.011 0.061 0.254 0.321 1.249 0.001 0.276 3.781

Problem 144

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

85 85 55 64 55 59 100 103 67 63

N.S.

1 1.00 0.65 0.75 0.65 0.69 1.18 1.21 0.79 0.74

time (sec)

N/A 0.041 0.052 0.067 0.255 0.317 0.280 0.001 0.230 2.976

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

14 0 0 0 240 0 0 0 -1 0

N.S.

1 0.00 0.00 0.00 17.14 0.00 0.00 0.00 -0.07 0.00

time (sec)

N/A 0.297 0.580 0.262 0.258 0.320 0.000 0.000 0.000 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

12 12 12 11 41 16 0 33 10 0

N.S.

1 1.00 1.00 0.92 3.42 1.33 0.00 2.75 0.83 0.00

time (sec)

N/A 0.024 0.010 0.069 0.252 0.318 0.000 0.008 0.175 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

77 77 76 107 0 312 0 114 133 0

N.S.

1 1.00 0.99 1.39 0.00 4.05 0.00 1.48 1.73 0.00

time (sec)

N/A 0.065 0.175 0.153 0.000 0.342 0.000 0.008 0.485 0.000

Problem 148

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 12 13 15 16 13 13

N.S.

1 1.00 1.00 0.82 0.71 0.76 0.88 0.94 0.76 0.76

time (sec)

N/A 0.002 0.003 0.023 0.253 0.319 0.128 0.000 0.133 1.946

Problem 149

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 10 13 15 15 13 13

N.S.

1 1.00 1.00 0.82 0.59 0.76 0.88 0.88 0.76 0.76

time (sec)

N/A 0.002 0.003 0.018 0.265 0.319 0.126 0.000 0.148 1.981

Problem 150

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

3 3 3 3 2 2 2 2 2 4

N.S.

1 1.00 1.00 1.00 0.67 0.67 0.67 0.67 0.67 1.33

time (sec)

N/A 0.001 0.000 0.007 0.256 0.292 0.018 0.000 0.007 1.685

Problem 151

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

8 8 8 9 8 8 8 7 8 16

N.S.

1 1.00 1.00 1.12 1.00 1.00 1.00 0.88 1.00 2.00

time (sec)

N/A 0.002 0.000 0.012 0.252 0.336 0.043 0.000 0.155 1.807

Problem 152

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

9 9 9 9 8 8 7 7 8 16

N.S.

1 1.00 1.00 1.00 0.89 0.89 0.78 0.78 0.89 1.78

time (sec)

N/A 0.001 0.004 0.008 0.255 0.291 0.031 0.000 0.027 1.972

Problem 153

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

4 4 4 9 4 4 3 4 4 4

N.S.

1 1.00 1.00 2.25 1.00 1.00 0.75 1.00 1.00 1.00

time (sec)

N/A 0.007 0.009 0.013 0.299 0.306 0.330 0.000 0.014 1.976

Problem 154

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 38 29 23 22 15 26 22 25

N.S.

1 1.00 1.58 1.21 0.96 0.92 0.62 1.08 0.92 1.04

time (sec)

N/A 0.011 0.018 0.014 0.257 0.313 0.062 0.001 0.093 1.914

Problem 155

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.012 0.012 0.269 0.311 0.045 0.000 0.045 1.768

Problem 156

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

13 13 13 15 14 12 14 13 14 20

N.S.

1 1.00 1.00 1.15 1.08 0.92 1.08 1.00 1.08 1.54

time (sec)

N/A 0.005 0.006 0.010 0.262 0.303 0.044 0.000 0.052 1.796

Problem 157

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 22 23 85 26 26 21 32

N.S.

1 1.00 1.00 0.71 0.74 2.74 0.84 0.84 0.68 1.03

time (sec)

N/A 0.019 0.026 0.020 0.354 0.336 0.090 0.001 0.228 2.106

Problem 158

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

21 21 14 19 13 13 19 14 13 27

N.S.

1 1.00 0.67 0.90 0.62 0.62 0.90 0.67 0.62 1.29

time (sec)

N/A 0.006 0.009 0.010 0.265 0.306 0.048 0.000 0.027 1.949

Problem 159

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

163 163 102 143 101 101 102 111 101 102

N.S.

1 1.00 0.63 0.88 0.62 0.62 0.63 0.68 0.62 0.63

time (sec)

N/A 0.149 0.068 0.035 0.264 0.303 0.061 0.000 0.362 2.341

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

18 18 18 19 0 18 0 0 18 0

N.S.

1 1.00 1.00 1.06 0.00 1.00 0.00 0.00 1.00 0.00

time (sec)

N/A 0.014 0.015 0.024 0.000 0.310 0.000 0.000 0.204 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

14 14 14 15 0 14 31 263 14 40

N.S.

1 1.00 1.00 1.07 0.00 1.00 2.21 18.79 1.00 2.86

time (sec)

N/A 0.010 0.012 0.022 0.000 0.311 0.262 0.004 0.167 2.056

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

17 17 17 21 10 19 0 0 19 0

N.S.

1 1.00 1.00 1.24 0.59 1.12 0.00 0.00 1.12 0.00

time (sec)

N/A 0.012 0.013 0.029 0.310 0.300 0.000 0.000 0.131 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

64 64 43 79 0 54 0 0 -1 0

N.S.

1 1.00 0.67 1.23 0.00 0.84 0.00 0.00 -0.02 0.00

time (sec)

N/A 0.063 0.131 0.040 0.000 0.313 0.000 0.000 0.000 0.000

Problem 164

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 16 16 16 12 15 15 16

N.S.

1 1.00 1.00 1.00 1.00 1.00 0.75 0.94 0.94 1.00

time (sec)

N/A 0.020 0.048 0.027 0.314 0.297 0.062 0.001 0.196 1.900

Problem 165

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

13 13 13 12 11 11 15 11 11 23

N.S.

1 1.00 1.00 0.92 0.85 0.85 1.15 0.85 0.85 1.77

time (sec)

N/A 0.005 0.010 0.015 0.258 0.303 0.049 0.000 0.026 1.834

Problem 166

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.002 0.011 0.016 0.268 0.310 0.083 0.000 0.017 1.881

Problem 167

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.008 0.007 0.274 0.321 0.040 0.000 0.018 1.692

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A C A A A B A

verified

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

size

27 27 17 25 17 17 14 20 17 17

N.S.

1 1.00 0.63 0.93 0.63 0.63 0.52 0.74 0.63 0.63

time (sec)

N/A 0.067 0.009 0.022 0.296 0.299 0.049 0.001 0.158 1.795

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A F A A A A A A F A

verified

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

size

25 0 25 23 22 36 31 35 -1 25

N.S.

1 0.00 1.00 0.92 0.88 1.44 1.24 1.40 -0.04 1.00

time (sec)

N/A 0.659 0.113 0.046 0.319 0.311 0.122 0.013 0.000 2.209

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

12 0 0 0 0 0 0 0 -1 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.08 0.00

time (sec)

N/A 0.031 0.016 0.010 0.000 0.309 0.000 0.000 0.000 0.000

Problem 171

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

N.S.

1 1.00 1.00 1.09 0.91 0.91 0.73 0.82 0.91 1.00

time (sec)

N/A 0.010 0.005 0.015 0.283 0.309 0.973 0.000 0.026 2.639

Problem 172

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 17 21 15 15 17 14 28 17

N.S.

1 1.00 0.77 0.95 0.68 0.68 0.77 0.64 1.27 0.77

time (sec)

N/A 0.033 0.009 0.014 0.284 0.304 1.649 0.001 0.219 3.423

Problem 173

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

N.S.

1 1.00 0.74 1.22 0.48 0.48 0.43 0.52 0.48 0.52

time (sec)

N/A 0.007 0.005 0.010 0.251 0.306 0.048 0.000 0.042 1.695

Problem 174

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 19 12 12 12 19 12 12

N.S.

1 1.00 1.00 1.19 0.75 0.75 0.75 1.19 0.75 0.75

time (sec)

N/A 0.002 0.000 0.017 0.342 0.293 0.026 0.000 0.030 1.677

Problem 175

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

57 57 43 43 58 89 1166 70 49 1019

N.S.

1 1.00 0.75 0.75 1.02 1.56 20.46 1.23 0.86 17.88

time (sec)

N/A 0.019 0.017 0.036 0.334 0.340 2.004 0.002 0.094 14.134

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

116 116 95 140 0 300 0 299 88 0

N.S.

1 1.00 0.82 1.21 0.00 2.59 0.00 2.58 0.76 0.00

time (sec)

N/A 0.045 0.219 0.039 0.000 0.324 0.000 0.021 0.169 0.000

Problem 177

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 12 21 12 12

N.S.

1 1.00 1.00 0.81 0.75 0.75 0.75 1.31 0.75 0.75

time (sec)

N/A 0.001 0.007 0.026 0.253 0.298 0.027 0.000 0.025 1.639

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A B B B B

verified

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

size

34 34 34 26 26 30 202 99 25 96

N.S.

1 1.00 1.00 0.76 0.76 0.88 5.94 2.91 0.74 2.82

time (sec)

N/A 0.006 0.014 0.035 0.250 0.301 0.556 0.001 0.030 3.803

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A B B B B

verified

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

size

53 53 35 38 41 42 666 145 37 184

N.S.

1 1.00 0.66 0.72 0.77 0.79 12.57 2.74 0.70 3.47

time (sec)

N/A 0.009 0.018 0.041 0.289 0.301 0.848 0.001 0.148 7.661

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A B A B B

verified

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

size

35 35 35 28 42 73 68 42 27 74

N.S.

1 1.00 1.00 0.80 1.20 2.09 1.94 1.20 0.77 2.11

time (sec)

N/A 0.007 0.020 0.031 0.348 0.321 0.685 0.001 0.146 2.900

Problem 181

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

39 39 39 37 47 93 44 58 31 38

N.S.

1 1.00 1.00 0.95 1.21 2.38 1.13 1.49 0.79 0.97

time (sec)

N/A 0.007 0.048 0.032 0.335 0.313 0.889 0.002 0.054 2.857

Problem 182

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

N.S.

1 1.00 1.00 0.93 0.86 0.86 0.71 0.93 0.86 0.86

time (sec)

N/A 0.001 0.006 0.026 0.297 0.291 0.027 0.000 0.018 1.664

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A B A B B

verified

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

size

32 32 23 26 26 19 162 36 25 73

N.S.

1 1.00 0.72 0.81 0.81 0.59 5.06 1.12 0.78 2.28

time (sec)

N/A 0.005 0.012 0.026 0.251 0.300 0.547 0.001 0.029 3.343

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A B A B B

verified

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

size

51 51 35 37 41 31 600 61 37 160

N.S.

1 1.00 0.69 0.73 0.80 0.61 11.76 1.20 0.73 3.14

time (sec)

N/A 0.008 0.019 0.027 0.260 0.305 0.852 0.001 0.038 7.174

Problem 185

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 23 18 32 56 24 27 17 16

N.S.

1 1.00 1.00 0.78 1.39 2.43 1.04 1.17 0.74 0.70

time (sec)

N/A 0.005 0.015 0.026 0.339 0.320 0.480 0.001 0.144 2.240

Problem 186

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 41 40 60 93 44 65 33 40

N.S.

1 1.00 1.00 0.98 1.46 2.27 1.07 1.59 0.80 0.98

time (sec)

N/A 0.008 0.043 0.031 0.338 0.323 1.132 0.001 0.159 3.127

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

23 23 24 25 21 25 24 22 21 0

N.S.

1 1.00 1.04 1.09 0.91 1.09 1.04 0.96 0.91 0.00

time (sec)

N/A 0.003 0.019 0.029 0.256 0.316 0.030 0.000 0.251 0.000

Problem 188

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

48 48 38 43 45 58 216 95 94 226

N.S.

1 1.00 0.79 0.90 0.94 1.21 4.50 1.98 1.96 4.71

time (sec)

N/A 0.010 0.026 0.031 0.263 0.302 0.248 0.002 0.448 2.584

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A B A B B

verified

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

size

55 55 48 37 52 37 230 72 43 96

N.S.

1 1.00 0.87 0.67 0.95 0.67 4.18 1.31 0.78 1.75

time (sec)

N/A 0.020 0.023 0.050 0.393 0.343 0.428 0.000 0.162 3.846

Problem 190

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

12 12 38 11 14 14 2 15 10 2

N.S.

1 1.00 3.17 0.92 1.17 1.17 0.17 1.25 0.83 0.17

time (sec)

N/A 0.001 0.002 0.053 0.253 0.311 0.063 0.001 0.197 1.639

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A B A A A B C

verified

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

size

43 43 37 50 71 34 119 51 30 83

N.S.

1 1.00 0.86 1.16 1.65 0.79 2.77 1.19 0.70 1.93

time (sec)

N/A 0.004 0.035 0.034 0.254 0.326 1.564 0.002 0.217 3.607

Problem 192

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 22 16 16

N.S.

1 1.00 1.00 0.77 0.73 0.73 0.91 1.00 0.73 0.73

time (sec)

N/A 0.007 0.011 0.013 0.264 0.317 0.104 0.001 0.245 1.792

Problem 193

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 18 8 14 11 11

N.S.

1 1.00 1.00 0.92 0.85 1.38 0.62 1.08 0.85 0.85

time (sec)

N/A 0.002 0.002 0.049 0.255 0.310 0.305 0.001 0.348 1.870

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A B A B B A A B C

verified

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

size

8 8 20 7 16 18 19 7 16 21

N.S.

1 1.00 2.50 0.88 2.00 2.25 2.38 0.88 2.00 2.62

time (sec)

N/A 0.002 0.060 0.132 0.342 0.312 0.419 0.002 0.312 2.054

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A B B A B B A

verified

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

size

14 14 14 11 25 25 8 35 10 6

N.S.

1 1.00 1.00 0.79 1.79 1.79 0.57 2.50 0.71 0.43

time (sec)

N/A 0.004 0.012 0.095 0.260 0.306 0.414 0.001 0.186 2.027

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

18 18 26 14 0 22 0 26 18 0

N.S.

1 1.00 1.44 0.78 0.00 1.22 0.00 1.44 1.00 0.00

time (sec)

N/A 0.011 0.048 0.075 0.000 0.304 0.000 0.003 0.359 0.000

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

30 30 27 23 17 55 0 0 32 0

N.S.

1 1.00 0.90 0.77 0.57 1.83 0.00 0.00 1.07 0.00

time (sec)

N/A 0.014 0.046 0.139 0.356 0.317 0.000 0.000 0.538 0.000

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

17 17 17 19 14 17 0 48 14 0

N.S.

1 1.00 1.00 1.12 0.82 1.00 0.00 2.82 0.82 0.00

time (sec)

N/A 0.006 0.121 0.038 0.347 0.303 0.000 0.004 0.151 0.000

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A B A A B A B B A

verified

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

size

2 2 12 3 2 14 2 14 2 2

N.S.

1 1.00 6.00 1.50 1.00 7.00 1.00 7.00 1.00 1.00

time (sec)

N/A 0.001 0.011 0.041 0.384 0.306 0.062 0.001 0.028 1.646

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A F B A

verified

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

size

20 20 30 15 14 14 17 0 14 14

N.S.

1 1.00 1.50 0.75 0.70 0.70 0.85 0.00 0.70 0.70

time (sec)

N/A 0.600 0.016 0.051 0.272 0.302 0.255 0.000 0.345 1.816

Problem 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A F B A

verified

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

size

24 24 24 21 30 20 19 0 20 20

N.S.

1 1.00 1.00 0.88 1.25 0.83 0.79 0.00 0.83 0.83

time (sec)

N/A 0.198 13.736 0.070 0.391 0.319 0.308 0.000 0.310 1.983

Problem 202

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

27 27 71 24 31 29 8 33 23 9

N.S.

1 1.00 2.63 0.89 1.15 1.07 0.30 1.22 0.85 0.33

time (sec)

N/A 0.005 0.006 0.057 0.264 0.309 0.083 0.002 0.687 1.663

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A C F A C F F C

verified

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

size

82 82 82 25 0 216 51 0 -1 33

N.S.

1 1.00 1.00 0.30 0.00 2.63 0.62 0.00 -0.01 0.40

time (sec)

N/A 0.047 0.067 0.026 0.000 0.331 1.728 0.000 0.000 3.536

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A B B B B A B B

verified

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

size

12 12 12 39 40 29 48 19 169 40

N.S.

1 1.00 1.00 3.25 3.33 2.42 4.00 1.58 14.08 3.33

time (sec)

N/A 0.033 0.012 0.113 0.352 0.298 1.209 0.001 0.061 50.647

Problem 205

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

40 40 40 33 36 85 66 42 32 54

N.S.

1 1.00 1.00 0.82 0.90 2.12 1.65 1.05 0.80 1.35

time (sec)

N/A 0.008 0.007 0.036 0.262 0.334 0.501 0.002 0.479 2.339

Problem 206

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

46 46 46 66 57 41 42 46 40 42

N.S.

1 1.00 1.00 1.43 1.24 0.89 0.91 1.00 0.87 0.91

time (sec)

N/A 0.022 0.025 0.041 0.346 0.299 0.545 0.001 0.665 2.566

Problem 207

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

37 37 45 52 40 52 0 42 51 0

N.S.

1 1.00 1.22 1.41 1.08 1.41 0.00 1.14 1.38 0.00

time (sec)

N/A 0.011 0.079 0.116 0.377 0.324 0.000 0.009 0.105 0.000

Problem 208

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

61 61 66 74 77 97 0 54 72 0

N.S.

1 1.00 1.08 1.21 1.26 1.59 0.00 0.89 1.18 0.00

time (sec)

N/A 0.015 0.106 0.129 0.367 0.308 0.000 0.011 0.246 0.000

Problem 209

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

23 23 23 20 19 19 29 22 19 37

N.S.

1 1.00 1.00 0.87 0.83 0.83 1.26 0.96 0.83 1.61

time (sec)

N/A 0.003 0.003 0.040 0.258 0.297 0.228 0.000 0.289 2.131

Problem 210

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

28 28 28 25 24 24 36 18 24 48

N.S.

1 1.00 1.00 0.89 0.86 0.86 1.29 0.64 0.86 1.71

time (sec)

N/A 0.003 0.003 0.043 0.251 0.314 0.303 0.001 0.272 2.128

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

56 56 150 47 0 155 0 72 50 0

N.S.

1 1.00 2.68 0.84 0.00 2.77 0.00 1.29 0.89 0.00

time (sec)

N/A 0.026 0.177 0.026 0.000 0.331 0.000 0.010 0.979 0.000

Problem 212

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

81 81 86 70 68 94 0 96 67 0

N.S.

1 1.00 1.06 0.86 0.84 1.16 0.00 1.19 0.83 0.00

time (sec)

N/A 0.019 0.183 0.117 0.255 0.323 0.000 0.010 0.237 0.000

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

44 44 53 56 0 58 0 43 54 0

N.S.

1 1.00 1.20 1.27 0.00 1.32 0.00 0.98 1.23 0.00

time (sec)

N/A 0.026 0.075 0.028 0.000 0.308 0.000 0.012 0.400 0.000

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

68 68 72 78 0 106 0 43 72 0

N.S.

1 1.00 1.06 1.15 0.00 1.56 0.00 0.63 1.06 0.00

time (sec)

N/A 0.032 0.111 0.028 0.000 0.318 0.000 0.012 0.442 0.000

Problem 215

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 22 10 14 11 11

N.S.

1 1.00 1.00 0.92 0.85 1.69 0.77 1.08 0.85 0.85

time (sec)

N/A 0.011 0.005 0.039 0.262 0.307 0.101 0.010 0.089 1.963

Problem 216

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 16 15 11 17 19 11 13

N.S.

1 1.00 1.00 0.84 0.79 0.58 0.89 1.00 0.58 0.68

time (sec)

N/A 0.004 0.002 0.008 0.259 0.297 0.051 0.001 0.165 1.741

Problem 217

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 21 20 12 10 12 12 12

N.S.

1 1.00 1.00 1.75 1.67 1.00 0.83 1.00 1.00 1.00

time (sec)

N/A 0.006 0.020 0.025 0.259 0.340 0.072 0.001 0.083 1.946

Problem 218

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

N.S.

1 1.00 1.00 1.00 0.91 0.91 0.64 0.73 0.91 1.00

time (sec)

N/A 0.016 0.007 0.013 0.292 0.307 0.073 0.002 0.216 1.737

Problem 219

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 24 23 22 20 26 22 22

N.S.

1 1.00 1.00 0.89 0.85 0.81 0.74 0.96 0.81 0.81

time (sec)

N/A 0.012 0.004 0.026 0.318 0.298 0.069 0.000 0.154 1.840

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A B A A B C

verified

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

size

33 33 21 32 20 50 167 46 15 89

N.S.

1 1.00 0.64 0.97 0.61 1.52 5.06 1.39 0.45 2.70

time (sec)

N/A 0.002 0.046 0.033 0.254 0.297 2.903 0.005 0.299 5.344

Problem 221

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

N.S.

1 1.00 1.00 1.11 1.00 1.00 0.78 1.11 0.89 1.00

time (sec)

N/A 0.001 0.002 0.031 0.269 0.330 0.045 0.000 0.197 1.767

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A B B B B B A

verified

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

size

19 19 19 14 28 28 39 52 13 28

N.S.

1 1.00 1.00 0.74 1.47 1.47 2.05 2.74 0.68 1.47

time (sec)

N/A 0.004 0.020 0.072 0.349 0.304 0.116 0.001 0.075 2.072

Problem 223

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 16 12 11 14 15 23 12 12

N.S.

1 1.00 0.84 0.63 0.58 0.74 0.79 1.21 0.63 0.63

time (sec)

N/A 0.002 0.008 0.012 0.262 0.321 0.516 0.000 0.024 2.099

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A C A B C

verified

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

size

88 88 112 89 86 104 153 139 119 87

N.S.

1 1.00 1.27 1.01 0.98 1.18 1.74 1.58 1.35 0.99

time (sec)

N/A 0.027 0.063 0.039 0.344 0.326 0.920 0.005 0.181 3.732

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A B A A B B A

verified

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

size

9 9 9 10 34 9 7 17 9 9

N.S.

1 1.00 1.00 1.11 3.78 1.00 0.78 1.89 1.00 1.00

time (sec)

N/A 0.007 0.004 0.016 0.259 0.299 0.077 0.000 0.021 1.779

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A B A A B B A

verified

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

size

9 9 9 10 34 9 7 18 9 9

N.S.

1 1.00 1.00 1.11 3.78 1.00 0.78 2.00 1.00 1.00

time (sec)

N/A 0.007 0.003 0.015 0.256 0.294 0.075 0.000 0.026 1.775

Problem 227

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

9 9 9 8 7 26 7 15 7 7

N.S.

1 1.00 1.00 0.89 0.78 2.89 0.78 1.67 0.78 0.78

time (sec)

N/A 0.002 0.005 0.014 0.268 0.302 0.067 0.001 0.186 1.838

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A B B B B B

verified

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

size

12 12 12 16 13 26 22 27 13 29

N.S.

1 1.00 1.00 1.33 1.08 2.17 1.83 2.25 1.08 2.42

time (sec)

N/A 0.021 0.068 0.032 0.249 0.313 0.168 0.016 0.321 2.096

Problem 229

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

28 28 28 23 22 32 75 27 22 26

N.S.

1 1.00 1.00 0.82 0.79 1.14 2.68 0.96 0.79 0.93

time (sec)

N/A 0.016 0.015 0.051 0.268 0.316 0.351 0.001 0.332 2.777

Problem 230

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 16 15 13 15 19 14 15

N.S.

1 1.00 1.00 0.76 0.71 0.62 0.71 0.90 0.67 0.71

time (sec)

N/A 0.005 0.003 0.000 0.343 0.306 0.093 0.001 0.019 1.746

Problem 231

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 16 15 13 15 21 15 15

N.S.

1 1.00 1.00 0.76 0.71 0.62 0.71 1.00 0.71 0.71

time (sec)

N/A 0.005 0.003 0.034 0.356 0.304 0.095 0.002 0.048 1.737

Problem 232

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 22 23 22 19 26 22 41 26

N.S.

1 1.00 0.96 1.00 0.96 0.83 1.13 0.96 1.78 1.13

time (sec)

N/A 0.012 0.003 0.012 0.256 0.301 0.075 0.000 0.144 1.827

Problem 233

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

18 18 18 15 14 28 32 17 14 14

N.S.

1 1.00 1.00 0.83 0.78 1.56 1.78 0.94 0.78 0.78

time (sec)

N/A 0.011 0.015 0.066 0.258 0.322 0.142 0.001 0.026 2.025

Problem 234

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

18 18 18 15 14 28 32 18 14 14

N.S.

1 1.00 1.00 0.83 0.78 1.56 1.78 1.00 0.78 0.78

time (sec)

N/A 0.008 0.010 0.047 0.267 0.311 0.144 0.001 0.024 2.019

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

12 12 40 17 0 24 0 29 16 0

N.S.

1 1.00 3.33 1.42 0.00 2.00 0.00 2.42 1.33 0.00

time (sec)

N/A 0.004 0.009 0.062 0.000 0.296 0.000 0.003 0.139 0.000

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

14 14 42 23 0 26 0 46 18 0

N.S.

1 1.00 3.00 1.64 0.00 1.86 0.00 3.29 1.29 0.00

time (sec)

N/A 0.006 0.008 0.087 0.000 0.310 0.000 0.003 0.136 0.000

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A B A A B A B A

verified

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

size

12 12 16 22 9 10 36 18 10 12

N.S.

1 1.00 1.33 1.83 0.75 0.83 3.00 1.50 0.83 1.00

time (sec)

N/A 0.005 0.006 0.043 0.385 0.309 0.373 0.002 0.145 2.365

Problem 238

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

14 14 18 22 20 18 0 29 12 0

N.S.

1 1.00 1.29 1.57 1.43 1.29 0.00 2.07 0.86 0.00

time (sec)

N/A 0.006 0.007 0.052 0.350 0.302 0.000 0.002 0.033 0.000

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A F A B A B A

verified

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

size

21 21 17 14 0 13 63 43 21 30

N.S.

1 1.00 0.81 0.67 0.00 0.62 3.00 2.05 1.00 1.43

time (sec)

N/A 0.005 0.063 0.025 0.000 0.297 0.225 0.003 0.193 2.262

Problem 240

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 22 31 18 18 20 22 18 18

N.S.

1 1.00 0.92 1.29 0.75 0.75 0.83 0.92 0.75 0.75

time (sec)

N/A 0.007 0.010 0.039 0.272 0.298 0.063 0.001 0.106 1.769

Problem 241

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

12 12 18 9 33 16 7 19 8 8

N.S.

1 1.00 1.50 0.75 2.75 1.33 0.58 1.58 0.67 0.67

time (sec)

N/A 0.003 0.060 0.079 0.264 0.293 0.423 0.002 0.037 2.032

Problem 242

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.008 0.020 0.033 0.266 0.297 0.000 0.001 0.030 0.000

Problem 243

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.009 0.017 0.424 0.313 0.065 0.001 0.060 1.968

Problem 244

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

3 3 3 4 3 11 3 4 3 3

N.S.

1 1.00 1.00 1.33 1.00 3.67 1.00 1.33 1.00 1.00

time (sec)

N/A 0.002 0.002 0.004 0.271 0.316 0.029 0.001 0.025 1.618

Problem 245

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.007 0.003 0.001 0.360 0.323 0.034 0.002 0.028 1.879

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A B B B B B

verified

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

size

3 3 3 4 3 18 7 10 3 9

N.S.

1 1.00 1.00 1.33 1.00 6.00 2.33 3.33 1.00 3.00

time (sec)

N/A 0.002 0.002 0.009 0.283 0.309 0.060 0.001 0.011 1.965

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A B B B B B

verified

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

size

3 3 3 4 3 18 12 11 3 12

N.S.

1 1.00 1.00 1.33 1.00 6.00 4.00 3.67 1.00 4.00

time (sec)

N/A 0.002 0.003 0.008 0.271 0.317 0.154 0.001 0.137 2.047

Problem 248

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

8 8 8 9 8 8 8 7 8 16

N.S.

1 1.00 1.00 1.12 1.00 1.00 1.00 0.88 1.00 2.00

time (sec)

N/A 0.002 0.000 0.012 0.271 0.313 0.042 0.000 0.165 1.693

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

49 49 29 32 10 10 0 11 -1 0

N.S.

1 1.00 0.59 0.65 0.20 0.20 0.00 0.22 -0.02 0.00

time (sec)

N/A 0.010 0.006 0.013 0.358 0.311 0.000 0.000 0.000 0.000

Problem 250

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 17 13 12 12 12 17 10 12

N.S.

1 1.00 1.06 0.81 0.75 0.75 0.75 1.06 0.62 0.75

time (sec)

N/A 0.005 0.002 0.028 0.357 0.317 0.036 0.000 0.145 1.732

Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

40 40 36 0 0 30 0 51 32 0

N.S.

1 1.00 0.90 0.00 0.00 0.75 0.00 1.28 0.80 0.00

time (sec)

N/A 0.014 0.007 0.003 0.000 0.321 0.000 0.005 0.042 0.000

Problem 252

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

128 128 67 63 58 55 109 71 69 72

N.S.

1 1.00 0.52 0.49 0.45 0.43 0.85 0.55 0.54 0.56

time (sec)

N/A 0.121 0.119 0.041 0.280 0.313 0.723 0.001 0.278 3.075

Problem 253

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 18 20 17 17 27 18 17 21

N.S.

1 1.00 0.60 0.67 0.57 0.57 0.90 0.60 0.57 0.70

time (sec)

N/A 0.022 0.018 0.026 0.265 0.329 0.185 0.000 0.171 1.886

Problem 254

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

11 11 9 8 7 17 17 9 7 19

N.S.

1 1.00 0.82 0.73 0.64 1.55 1.55 0.82 0.64 1.73

time (sec)

N/A 0.001 0.001 0.038 0.273 0.307 0.049 0.000 0.066 1.774

Problem 255

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 40 33 32 32 41 43 46 32

N.S.

1 1.00 1.00 0.82 0.80 0.80 1.02 1.08 1.15 0.80

time (sec)

N/A 0.013 0.007 0.036 0.341 0.315 0.065 0.001 0.115 1.880

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A B B B B B B B B

verified

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

size

8 8 23 22 17 17 15 24 6 17

N.S.

1 1.00 2.88 2.75 2.12 2.12 1.88 3.00 0.75 2.12

time (sec)

N/A 0.002 0.003 0.034 0.252 0.301 0.047 0.000 0.067 1.707

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

227 227 194 394 0 0 0 0 -1 0

N.S.

1 1.00 0.85 1.74 0.00 0.00 0.00 0.00 -0.00 0.00

time (sec)

N/A 0.125 0.185 0.043 0.000 0.305 0.000 0.000 0.000 0.000

Problem 258

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 30 26 25 24 37 29 51 30

N.S.

1 1.00 1.25 1.08 1.04 1.00 1.54 1.21 2.12 1.25

time (sec)

N/A 0.006 0.005 0.011 0.255 0.303 0.681 0.000 0.443 2.478

Problem 259

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

78 78 71 54 57 69 73 93 70 49

N.S.

1 1.00 0.91 0.69 0.73 0.88 0.94 1.19 0.90 0.63

time (sec)

N/A 0.029 0.016 0.027 0.340 0.308 0.150 0.001 0.272 2.130

Problem 260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A B A A B A B B A

verified

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

size

2 2 12 3 2 14 2 14 2 2

N.S.

1 1.00 6.00 1.50 1.00 7.00 1.00 7.00 1.00 1.00

time (sec)

N/A 0.001 0.001 0.028 0.390 0.314 0.061 0.001 0.002 1.592

Problem 261

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 31 21 20 25 24 33 20 20

N.S.

1 1.00 1.15 0.78 0.74 0.93 0.89 1.22 0.74 0.74

time (sec)

N/A 0.002 0.020 0.049 0.353 0.312 0.083 0.001 0.048 1.824

Problem 262

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 11 10 16 8 10 10 16

N.S.

1 1.00 1.00 1.10 1.00 1.60 0.80 1.00 1.00 1.60

time (sec)

N/A 0.003 0.003 0.028 0.249 0.302 0.037 0.000 0.031 1.639

Problem 263

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 15 14 14 12 15 14 14

N.S.

1 1.00 1.00 0.94 0.88 0.88 0.75 0.94 0.88 0.88

time (sec)

N/A 0.003 0.001 0.003 0.338 0.317 0.060 0.000 0.220 1.716

Problem 264

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.009 0.004 0.337 0.315 0.111 0.003 0.029 1.907

Problem 265

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

21 21 29 14 13 29 0 14 9 0

N.S.

1 1.00 1.38 0.67 0.62 1.38 0.00 0.67 0.43 0.00

time (sec)

N/A 0.076 0.022 0.105 0.264 0.318 0.000 0.002 0.810 0.000

Problem 266

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.018 0.264 0.318 0.030 0.001 0.002 1.667

Problem 267

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

18 18 18 17 16 18 14 16 16 16

N.S.

1 1.00 1.00 0.94 0.89 1.00 0.78 0.89 0.89 0.89

time (sec)

N/A 0.009 0.003 0.043 0.266 0.317 0.059 0.000 0.152 1.730

Problem 268

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

10 10 20 7 6 16 7 21 6 6

N.S.

1 1.00 2.00 0.70 0.60 1.60 0.70 2.10 0.60 0.60

time (sec)

N/A 0.001 0.011 0.047 0.348 0.318 0.069 0.001 0.038 1.649

Problem 269

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

6 6 12 5 4 14 3 14 4 4

N.S.

1 1.00 2.00 0.83 0.67 2.33 0.50 2.33 0.67 0.67

time (sec)

N/A 0.001 0.011 0.047 0.370 0.321 0.066 0.001 0.029 1.624

Problem 270

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 17 16 16 22 23 16 16

N.S.

1 1.00 1.00 0.81 0.76 0.76 1.05 1.10 0.76 0.76

time (sec)

N/A 0.011 0.007 0.159 0.344 0.311 0.056 0.000 0.142 1.716

Problem 271

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

53 53 51 42 47 73 46 52 45 50

N.S.

1 1.00 0.96 0.79 0.89 1.38 0.87 0.98 0.85 0.94

time (sec)

N/A 0.019 0.015 0.020 0.345 0.312 0.088 0.001 0.061 2.016

Problem 272

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

49 49 49 46 41 41 762 46 46 41

N.S.

1 1.00 1.00 0.94 0.84 0.84 15.55 0.94 0.94 0.84

time (sec)

N/A 0.049 0.025 0.044 0.264 0.333 55.713 0.001 0.210 65.470

Problem 273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

15 0 0 0 0 0 0 0 -1 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.07 0.00

time (sec)

N/A 0.003 2.635 0.055 0.000 0.314 0.000 0.000 0.000 0.000

Problem 274

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 28 27 44 26 71 27 37

N.S.

1 1.00 1.00 1.00 0.96 1.57 0.93 2.54 0.96 1.32

time (sec)

N/A 0.133 33.446 0.190 0.290 0.317 0.173 0.012 0.338 1.966

Problem 275

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

199 199 136 128 160 145 1277 127 140 422

N.S.

1 1.00 0.68 0.64 0.80 0.73 6.42 0.64 0.70 2.12

time (sec)

N/A 0.069 0.153 0.177 0.284 0.324 135.784 0.003 1.111 164.248

Problem 276

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

18 18 18 16 15 20 15 21 15 16

N.S.

1 1.00 1.00 0.89 0.83 1.11 0.83 1.17 0.83 0.89

time (sec)

N/A 0.004 0.007 0.013 0.266 0.319 0.151 0.001 0.155 1.787

Problem 277

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 22 21 37 36 50 21 34

N.S.

1 1.00 1.00 0.92 0.88 1.54 1.50 2.08 0.88 1.42

time (sec)

N/A 0.005 0.022 0.016 0.325 0.302 0.236 0.004 0.066 2.072

Problem 278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

94 0 5137 1197351 0 179 0 0 -1 0

N.S.

1 0.00 54.65 12737.78 0.00 1.90 0.00 0.00 -0.01 0.00

time (sec)

N/A 1.122 16.339 1.343 0.000 0.373 0.000 0.000 0.000 0.000

Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A F C C F A F F F F(-2)

verified

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

size

142 0 630 354 0 223 0 0 -1 0

N.S.

1 0.00 4.44 2.49 0.00 1.57 0.00 0.00 -0.01 0.00

time (sec)

N/A 1.940 3.476 0.339 0.000 0.367 0.000 0.000 0.000 0.000

Problem 280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

21 21 31 1088 171 162 0 98 172 17

N.S.

1 1.00 1.48 51.81 8.14 7.71 0.00 4.67 8.19 0.81

time (sec)

N/A 0.171 0.567 0.199 0.345 0.302 0.000 0.014 2.373 261.497

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A F C A F F F F F F(-2)

verified

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

size

4030 0 3168 4640 0 0 0 0 -1 0

N.S.

1 0.00 0.79 1.15 0.00 0.00 0.00 0.00 -0.00 0.00

time (sec)

N/A 0.019 8.015 0.868 0.000 0.340 0.000 0.000 0.000 0.000

Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A C F A A A B A

verified

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

size

330 330 181 1356 0 269 330 465 265 212

N.S.

1 1.00 0.55 4.11 0.00 0.82 1.00 1.41 0.80 0.64

time (sec)

N/A 0.572 0.094 0.135 0.000 0.313 9.481 0.016 0.767 14.515

Problem 283

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

4 4 4 5 4 4 5 5 4 4

N.S.

1 1.00 1.00 1.25 1.00 1.00 1.25 1.25 1.00 1.00

time (sec)

N/A 0.007 0.002 0.031 0.267 0.329 0.378 0.000 0.020 1.901

Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A F A A F B A A B A

verified

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

size

71 0 71 61 0 137 76 113 103 60

N.S.

1 0.00 1.00 0.86 0.00 1.93 1.07 1.59 1.45 0.85

time (sec)

N/A 0.468 0.025 0.037 0.000 0.321 0.117 0.014 0.280 2.377

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