[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

15 15 15 14 13 13 12 15 13 13

N.S.

1 1.00 1.00 0.93 0.87 0.87 0.80 1.00 0.87 0.87

time (sec)

N/A 0.001 0.007 0.088 0.245 0.300 0.030 0.006 0.027 1.589

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

15 52 37 42 41 1 42 93 43 0

N.S.

1 3.47 2.47 2.80 2.73 0.07 2.80 6.20 2.87 0.00

time (sec)

N/A 0.040 0.019 0.102 0.243 0.299 30.498 0.013 0.515 0.000

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

82 82 60 370 0 100 0 201 204 0

N.S.

1 1.00 0.73 4.51 0.00 1.22 0.00 2.45 2.49 0.00

time (sec)

N/A 0.049 0.190 0.165 0.000 0.310 0.000 0.021 0.569 0.000

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

43 43 71 172 0 80 0 108 -1 0

N.S.

1 1.00 1.65 4.00 0.00 1.86 0.00 2.51 -0.02 0.00

time (sec)

N/A 0.008 0.079 0.185 0.000 0.318 0.000 0.015 0.000 0.000

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

74 74 69 115 0 105 0 165 82 0

N.S.

1 1.00 0.93 1.55 0.00 1.42 0.00 2.23 1.11 0.00

time (sec)

N/A 0.038 0.074 0.015 0.000 0.319 0.000 0.028 1.707 0.000

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

64 64 66 150 53 89 0 114 -1 0

N.S.

1 1.00 1.03 2.34 0.83 1.39 0.00 1.78 -0.02 0.00

time (sec)

N/A 0.016 0.183 0.125 0.330 0.601 0.000 0.006 0.000 0.000

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

48 48 55 45 0 83 0 122 -1 0

N.S.

1 1.00 1.15 0.94 0.00 1.73 0.00 2.54 -0.02 0.00

time (sec)

N/A 0.008 0.106 0.138 0.000 0.307 0.000 0.003 0.000 0.000

Problem 8

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

30 30 26 21 0 18 53 53 21 32

N.S.

1 1.00 0.87 0.70 0.00 0.60 1.77 1.77 0.70 1.07

time (sec)

N/A 0.050 0.176 0.082 0.000 0.307 0.309 0.003 0.381 2.092

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

220 365 195 902 0 424 0 0 -1 0

N.S.

1 1.66 0.89 4.10 0.00 1.93 0.00 0.00 -0.00 0.00

time (sec)

N/A 0.347 6.172 0.121 0.000 0.321 0.000 0.000 0.000 0.000

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

220 541 195 1637 0 424 0 0 -1 0

N.S.

1 2.46 0.89 7.44 0.00 1.93 0.00 0.00 -0.00 0.00

time (sec)

N/A 0.439 6.357 0.251 0.000 0.334 0.000 0.000 0.000 0.000

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

138 138 126 278 0 161 0 213 -1 0

N.S.

1 1.00 0.91 2.01 0.00 1.17 0.00 1.54 -0.01 0.00

time (sec)

N/A 0.050 3.730 0.123 0.000 0.318 0.000 0.007 0.000 0.000

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

125 125 272 0 0 394 0 0 -1 0

N.S.

1 1.00 2.18 0.00 0.00 3.15 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.110 2.184 0.033 0.000 2.062 0.000 0.000 0.000 0.000

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

81 81 205 0 0 369 0 0 -1 0

N.S.

1 1.00 2.53 0.00 0.00 4.56 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.097 0.858 0.035 0.000 3.048 0.000 0.000 0.000 0.000

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A F F B A F F C

verified

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

size

31 31 31 0 0 60 15 0 -1 21

N.S.

1 1.00 1.00 0.00 0.00 1.94 0.48 0.00 -0.03 0.68

time (sec)

N/A 0.033 0.130 0.020 0.000 0.422 0.965 0.000 0.000 2.564

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A C F A A F F C

verified

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

size

33 33 33 22 0 29 15 0 -1 21

N.S.

1 1.00 1.00 0.67 0.00 0.88 0.45 0.00 -0.03 0.64

time (sec)

N/A 0.034 0.142 0.102 0.000 0.438 0.439 0.000 0.000 1.994

Problem 16

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

19 19 19 16 15 28 56 26 15 38

N.S.

1 1.00 1.00 0.84 0.79 1.47 2.95 1.37 0.79 2.00

time (sec)

N/A 0.174 0.017 0.160 0.245 0.307 1.162 0.011 0.400 2.842

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A B F A B F F C

verified

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

size

52 52 43 120 0 32 2147 0 -1 738

N.S.

1 1.00 0.83 2.31 0.00 0.62 41.29 0.00 -0.02 14.19

time (sec)

N/A 0.016 0.123 0.032 0.000 0.318 1.735 0.000 0.000 94.031

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

56 56 50 0 0 33 0 0 -1 0

N.S.

1 1.00 0.89 0.00 0.00 0.59 0.00 0.00 -0.02 0.00

time (sec)

N/A 0.016 0.138 0.020 0.000 0.316 0.000 0.000 0.000 0.000

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A F F A B A B C

verified

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

size

17 17 17 0 0 15 311 16 15 269

N.S.

1 1.00 1.00 0.00 0.00 0.88 18.29 0.94 0.88 15.82

time (sec)

N/A 0.033 0.019 0.023 0.000 0.299 1.255 0.004 0.297 7.678

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A F F A A A B C

verified

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

size

20 20 20 0 0 18 36 18 18 52

N.S.

1 1.00 1.00 0.00 0.00 0.90 1.80 0.90 0.90 2.60

time (sec)

N/A 0.035 0.020 0.040 0.000 0.305 0.765 0.003 0.296 2.557

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

42 42 39 43 40 52 36 45 58 57

N.S.

1 1.00 0.93 1.02 0.95 1.24 0.86 1.07 1.38 1.36

time (sec)

N/A 0.023 0.044 0.021 0.243 0.304 0.081 0.002 0.413 1.938

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

22 22 22 21 20 19 20 19 24 40

N.S.

1 1.00 1.00 0.95 0.91 0.86 0.91 0.86 1.09 1.82

time (sec)

N/A 0.016 0.026 0.015 0.249 0.294 0.063 0.001 0.385 1.745

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

62 62 49 50 51 58 51 70 47 70

N.S.

1 1.00 0.79 0.81 0.82 0.94 0.82 1.13 0.76 1.13

time (sec)

N/A 0.059 0.067 0.059 0.248 0.311 0.100 0.002 0.406 2.100

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

86 86 239 455 0 358 0 467 -1 0

N.S.

1 1.00 2.78 5.29 0.00 4.16 0.00 5.43 -0.01 0.00

time (sec)

N/A 0.055 0.311 0.736 0.000 0.325 0.000 0.017 0.000 0.000

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A F F A A A B A

verified

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

size

19 19 19 0 0 15 15 19 15 15

N.S.

1 1.00 1.00 0.00 0.00 0.79 0.79 1.00 0.79 0.79

time (sec)

N/A 0.040 0.027 0.023 0.000 0.306 0.095 0.001 0.423 1.761

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A F F A A A B C

verified

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

size

26 26 26 0 0 22 27 25 22 33

N.S.

1 1.00 1.00 0.00 0.00 0.85 1.04 0.96 0.85 1.27

time (sec)

N/A 0.060 0.038 180.000 0.000 0.596 0.514 0.002 0.506 2.126

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A F F A C F F C

verified

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

size

63 63 56 0 0 198 46 0 -1 27

N.S.

1 1.00 0.89 0.00 0.00 3.14 0.73 0.00 -0.02 0.43

time (sec)

N/A 0.132 0.060 0.023 0.000 0.321 1.076 0.000 0.000 2.802

Problem 28

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.045 0.009 0.020 0.000 0.470 1.789 0.000 0.000 3.425

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

606 606 412 0 518 0 0 0 -1 0

N.S.

1 1.00 0.68 0.00 0.85 0.00 0.00 0.00 -0.00 0.00

time (sec)

N/A 2.887 0.183 0.092 0.258 0.303 0.000 0.000 0.000 0.000

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A F F A B A B C

verified

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

size

17 17 17 0 0 15 311 16 15 269

N.S.

1 1.00 1.00 0.00 0.00 0.88 18.29 0.94 0.88 15.82

time (sec)

N/A 0.032 0.023 0.025 0.000 0.596 1.460 0.002 0.314 7.538

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A B F A B F F C

verified

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

size

52 52 46 120 0 32 2147 0 -1 738

N.S.

1 1.00 0.88 2.31 0.00 0.62 41.29 0.00 -0.02 14.19

time (sec)

N/A 0.016 0.139 0.026 0.000 0.311 1.685 0.000 0.000 75.661

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

34 34 33 44 48 48 0 0 -1 0

N.S.

1 1.00 0.97 1.29 1.41 1.41 0.00 0.00 -0.03 0.00

time (sec)

N/A 0.028 0.110 0.036 0.291 0.309 0.000 0.000 0.000 0.000

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A C A A C A B C

verified

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

size

58 58 77 65 62 64 36 81 86 17

N.S.

1 1.00 1.33 1.12 1.07 1.10 0.62 1.40 1.48 0.29

time (sec)

N/A 0.024 0.042 1.092 0.323 0.306 0.422 0.001 0.543 2.030

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A C A A C A B C

verified

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

size

58 58 77 48 62 64 37 82 76 17

N.S.

1 1.00 1.33 0.83 1.07 1.10 0.64 1.41 1.31 0.29

time (sec)

N/A 0.022 0.033 1.089 0.332 0.303 0.447 0.001 0.457 2.037

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A C A B C F B C

verified

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

size

49 49 86 12 78 82 29 0 10 16

N.S.

1 1.00 1.76 0.24 1.59 1.67 0.59 0.00 0.20 0.33

time (sec)

N/A 0.003 0.026 1.203 0.337 0.478 0.406 0.000 0.334 2.025

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A C A A C A B C

verified

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

size

55 55 79 65 62 64 32 77 80 16

N.S.

1 1.00 1.44 1.18 1.13 1.16 0.58 1.40 1.45 0.29

time (sec)

N/A 0.022 0.036 1.930 0.327 0.306 0.422 0.002 0.514 2.021

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

97 97 148 1163 0 301 0 0 -1 0

N.S.

1 1.00 1.53 11.99 0.00 3.10 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.026 0.732 5.241 0.000 1.940 0.000 0.000 0.000 0.000

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

145 145 0 1790 0 0 0 0 -1 0

N.S.

1 1.00 0.00 12.34 0.00 0.00 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.066 3.596 12.289 0.000 0.000 0.000 0.000 0.000 0.000

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

110 176 162 1069 0 277 0 0 -1 0

N.S.

1 1.60 1.47 9.72 0.00 2.52 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.018 0.184 5.380 0.000 1.111 0.000 0.000 0.000 0.000

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

81 131 85 433 0 120 0 0 -1 0

N.S.

1 1.62 1.05 5.35 0.00 1.48 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.050 0.010 0.895 0.000 0.456 0.000 0.000 0.000 0.000

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

66 117 130 0 0 415 0 97 37 0

N.S.

1 1.77 1.97 0.00 0.00 6.29 0.00 1.47 0.56 0.00

time (sec)

N/A 0.039 0.605 0.043 0.000 1.004 0.000 0.006 0.394 0.000

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

79 145 145 0 0 665 0 0 -1 0

N.S.

1 1.84 1.84 0.00 0.00 8.42 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.066 0.705 0.005 0.000 0.850 0.000 0.000 0.000 0.000

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

118 0 189 0 0 1496 0 0 -1 0

N.S.

1 0.00 1.60 0.00 0.00 12.68 0.00 0.00 -0.01 0.00

time (sec)

N/A 21.044 2.188 0.009 0.000 15.000 0.000 0.000 0.000 0.000

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

111 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.01 0.00

time (sec)

N/A 0.380 41.062 0.027 0.000 0.000 0.000 0.000 0.000 0.000

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

176 0 0 0 0 932 0 0 -1 0

N.S.

1 0.00 0.00 0.00 0.00 5.30 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.296 10.423 0.023 0.000 54.991 0.000 0.000 0.000 0.000

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

493 570 0 0 0 0 0 0 -1 0

N.S.

1 1.16 0.00 0.00 0.00 0.00 0.00 0.00 -0.00 0.00

time (sec)

N/A 0.286 10.240 0.086 0.000 0.000 0.000 0.000 0.000 0.000

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

407 407 178 415 0 957 0 1277 343 0

N.S.

1 1.00 0.44 1.02 0.00 2.35 0.00 3.14 0.84 0.00

time (sec)

N/A 0.423 4.101 0.888 0.000 0.326 0.000 0.273 0.474 0.000

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

648 648 253 550 0 1563 0 1534 567 0

N.S.

1 1.00 0.39 0.85 0.00 2.41 0.00 2.37 0.88 0.00

time (sec)

N/A 0.785 6.854 0.907 0.000 0.361 0.000 0.409 0.561 0.000

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

1058 1058 1100 820 0 2763 0 2044 1017 0

N.S.

1 1.00 1.04 0.78 0.00 2.61 0.00 1.93 0.96 0.00

time (sec)

N/A 1.605 16.110 1.181 0.000 39.824 0.000 0.727 0.972 0.000

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

378 378 733 21028 0 1873 0 18547 -1 0

N.S.

1 1.00 1.94 55.63 0.00 4.96 0.00 49.07 -0.00 0.00

time (sec)

N/A 0.510 2.583 1.516 0.000 0.377 0.000 26.732 0.000 0.000

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

638 638 56025 86793 0 2775 0 0 -1 0

N.S.

1 1.00 87.81 136.04 0.00 4.35 0.00 0.00 -0.00 0.00

time (sec)

N/A 0.873 20.245 4.553 0.000 0.490 0.000 0.000 0.000 0.000

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

66 204 99 787 0 546 0 0 -1 0

N.S.

1 3.09 1.50 11.92 0.00 8.27 0.00 0.00 -0.02 0.00

time (sec)

N/A 0.755 1.246 0.171 0.000 0.351 0.000 0.000 0.000 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

198 198 145 0 0 0 0 0 -1 0

N.S.

1 1.00 0.73 0.00 0.00 0.00 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.063 10.151 0.039 0.000 0.000 0.000 0.000 0.000 0.000

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

198 198 1072 0 0 0 0 0 -1 0

N.S.

1 1.00 5.41 0.00 0.00 0.00 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.056 8.611 0.043 0.000 0.000 0.000 0.000 0.000 0.000

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

97 97 168 1592 0 171 0 0 -1 0

N.S.

1 1.00 1.73 16.41 0.00 1.76 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.009 0.197 8.731 0.000 1.258 0.000 0.000 0.000 0.000

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A C A A C F F C

verified

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

size

73 73 99 15 105 96 32 0 -1 19

N.S.

1 1.00 1.36 0.21 1.44 1.32 0.44 0.00 -0.01 0.26

time (sec)

N/A 0.008 0.138 1.000 0.330 0.307 0.510 0.000 0.000 2.117

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A C A A C A B C

verified

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

size

67 67 88 49 71 73 37 87 83 21

N.S.

1 1.00 1.31 0.73 1.06 1.09 0.55 1.30 1.24 0.31

time (sec)

N/A 0.024 0.042 1.661 0.321 0.319 0.499 0.001 0.366 2.072

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

482 482 0 2990 0 0 0 0 -1 0

N.S.

1 1.00 0.00 6.20 0.00 0.00 0.00 0.00 -0.00 0.00

time (sec)

N/A 0.205 32.468 12.523 0.000 0.000 0.000 0.000 0.000 0.000

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

280 408 0 925 0 3085 0 0 -1 0

N.S.

1 1.46 0.00 3.30 0.00 11.02 0.00 0.00 -0.00 0.00

time (sec)

N/A 0.156 5.955 7.064 0.000 5.458 0.000 0.000 0.000 0.000

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

232 232 0 0 0 0 0 0 -1 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00 0.00

time (sec)

N/A 0.118 33.695 0.007 0.000 0.000 0.000 0.000 0.000 0.000

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

168 168 0 0 0 0 0 0 -1 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.101 10.102 0.083 0.000 5.720 0.000 0.000 0.000 0.000

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

25 25 25 24 23 23 22 25 23 23

N.S.

1 1.00 1.00 0.96 0.92 0.92 0.88 1.00 0.92 0.92

time (sec)

N/A 0.014 0.008 0.013 0.242 0.303 0.053 0.002 0.074 1.707

Problem 63

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

59 59 86 62 0 43 73 56 53 38

N.S.

1 1.00 1.46 1.05 0.00 0.73 1.24 0.95 0.90 0.64

time (sec)

N/A 0.035 0.013 0.026 0.000 0.310 0.083 0.003 0.335 2.122

Problem 64

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

78 78 99 70 0 66 100 80 76 60

N.S.

1 1.00 1.27 0.90 0.00 0.85 1.28 1.03 0.97 0.77

time (sec)

N/A 0.046 0.013 0.029 0.000 0.300 0.093 0.003 0.090 2.406

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

49 49 57 113 0 56 0 0 -1 0

N.S.

1 1.00 1.16 2.31 0.00 1.14 0.00 0.00 -0.02 0.00

time (sec)

N/A 0.005 0.125 0.417 0.000 0.340 0.000 0.000 0.000 0.000

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

53 53 44 365 0 61 0 0 -1 0

N.S.

1 1.00 0.83 6.89 0.00 1.15 0.00 0.00 -0.02 0.00

time (sec)

N/A 0.009 0.154 0.283 0.000 0.345 0.000 0.000 0.000 0.000

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

75 75 81 1512 0 359 0 0 -1 0

N.S.

1 1.00 1.08 20.16 0.00 4.79 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.060 0.563 0.107 0.000 0.363 0.000 0.000 0.000 0.000

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

171 171 92 625 0 2667 0 0 -1 0

N.S.

1 1.00 0.54 3.65 0.00 15.60 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.050 0.234 0.111 0.000 1.748 0.000 0.000 0.000 0.000

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

80 80 157 0 0 0 0 0 -1 0

N.S.

1 1.00 1.96 0.00 0.00 0.00 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.026 10.174 0.053 0.000 0.000 0.000 0.000 0.000 0.000

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

88 88 162 0 0 0 0 0 -1 0

N.S.

1 1.00 1.84 0.00 0.00 0.00 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.028 10.171 0.031 0.000 0.000 0.000 0.000 0.000 0.000

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

149 149 144 0 0 0 0 0 -1 0

N.S.

1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.027 10.155 0.044 0.000 0.000 0.000 0.000 0.000 0.000

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

135 135 152 0 0 0 0 0 -1 0

N.S.

1 1.00 1.13 0.00 0.00 0.00 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.023 10.129 0.035 0.000 0.000 0.000 0.000 0.000 0.000

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

127 127 28 164 0 1191 0 0 653 0

N.S.

1 1.00 0.22 1.29 0.00 9.38 0.00 0.00 5.14 0.00

time (sec)

N/A 0.013 10.029 5.863 0.000 0.452 0.000 0.000 0.449 0.000

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

157 157 54 240 0 1666 0 0 331 0

N.S.

1 1.00 0.34 1.53 0.00 10.61 0.00 0.00 2.11 0.00

time (sec)

N/A 0.021 10.047 0.232 0.000 0.525 0.000 0.000 15.034 0.000

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

74 74 48 421 0 547 0 0 533 0

N.S.

1 1.00 0.65 5.69 0.00 7.39 0.00 0.00 7.20 0.00

time (sec)

N/A 0.092 10.024 2.232 0.000 0.418 0.000 0.000 0.211 0.000

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

103 103 32 383 0 497 0 0 -1 0

N.S.

1 1.00 0.31 3.72 0.00 4.83 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.180 10.044 0.392 0.000 0.487 0.000 0.000 0.000 0.000

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

81 81 126 651 0 1792 0 0 -1 0

N.S.

1 1.00 1.56 8.04 0.00 22.12 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.007 2.860 3.617 0.000 1.280 0.000 0.000 0.000 0.000

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

81 81 126 239 0 345 0 0 -1 0

N.S.

1 1.00 1.56 2.95 0.00 4.26 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.007 2.690 1.178 0.000 0.957 0.000 0.000 0.000 0.000

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

113 113 118 938 0 1943 0 0 -1 0

N.S.

1 1.00 1.04 8.30 0.00 17.19 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.009 2.635 11.552 0.000 0.803 0.000 0.000 0.000 0.000

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

109 109 124 0 0 1685 0 0 -1 0

N.S.

1 1.00 1.14 0.00 0.00 15.46 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.008 2.735 0.048 0.000 0.779 0.000 0.000 0.000 0.000

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

87 87 159 206 0 85 0 0 217 0

N.S.

1 1.00 1.83 2.37 0.00 0.98 0.00 0.00 2.49 0.00

time (sec)

N/A 0.551 18.286 0.101 0.000 0.343 0.000 0.000 0.169 0.000

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

1 529 127 317 0 70 0 0 207 0

N.S.

1 529.00 127.00 317.00 0.00 70.00 0.00 0.00 207.00 0.00

time (sec)

N/A 1.072 17.903 0.096 0.000 0.329 0.000 0.000 0.478 0.000

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

46 180 133 536 0 63 0 0 -1 0

N.S.

1 3.91 2.89 11.65 0.00 1.37 0.00 0.00 -0.02 0.00

time (sec)

N/A 0.965 20.530 0.105 0.000 0.324 0.000 0.000 0.000 0.000

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

32 32 34 258 0 0 0 0 67 0

N.S.

1 1.00 1.06 8.06 0.00 0.00 0.00 0.00 2.09 0.00

time (sec)

N/A 0.061 1.011 1.315 0.000 0.000 0.000 0.000 1.686 0.000

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

23 23 31 240 0 44 0 0 204 0

N.S.

1 1.00 1.35 10.43 0.00 1.91 0.00 0.00 8.87 0.00

time (sec)

N/A 0.037 0.640 0.273 0.000 0.329 0.000 0.000 0.219 0.000

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

218 218 47 353 0 7739 0 0 -1 0

N.S.

1 1.00 0.22 1.62 0.00 35.50 0.00 0.00 -0.00 0.00

time (sec)

N/A 0.031 10.046 37.470 0.000 3.864 0.000 0.000 0.000 0.000

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

210 210 50 350 0 8237 0 0 -1 0

N.S.

1 1.00 0.24 1.67 0.00 39.22 0.00 0.00 -0.00 0.00

time (sec)

N/A 0.023 10.061 37.867 0.000 4.329 0.000 0.000 0.000 0.000

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

222 222 65 349 0 7910 0 0 -1 0

N.S.

1 1.00 0.29 1.57 0.00 35.63 0.00 0.00 -0.00 0.00

time (sec)

N/A 0.020 10.049 37.967 0.000 3.401 0.000 0.000 0.000 0.000

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

214 214 68 350 0 8105 0 0 -1 0

N.S.

1 1.00 0.32 1.64 0.00 37.87 0.00 0.00 -0.00 0.00

time (sec)

N/A 0.021 10.047 37.459 0.000 3.410 0.000 0.000 0.000 0.000

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

65 65 77 327 0 323 0 0 -1 0

N.S.

1 1.00 1.18 5.03 0.00 4.97 0.00 0.00 -0.02 0.00

time (sec)

N/A 0.083 8.075 0.422 0.000 0.405 0.000 0.000 0.000 0.000

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

63 63 77 311 0 112 0 0 -1 0

N.S.

1 1.00 1.22 4.94 0.00 1.78 0.00 0.00 -0.02 0.00

time (sec)

N/A 0.081 8.047 0.434 0.000 0.398 0.000 0.000 0.000 0.000

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

53 53 92 544 0 0 0 0 -1 0

N.S.

1 1.00 1.74 10.26 0.00 0.00 0.00 0.00 -0.02 0.00

time (sec)

N/A 0.036 0.574 2.296 0.000 0.000 0.000 0.000 0.000 0.000

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

108 108 0 1421 0 267 0 0 -1 0

N.S.

1 1.00 0.00 13.16 0.00 2.47 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.057 6.839 4.135 0.000 1.043 0.000 0.000 0.000 0.000

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

98 98 189 0 0 1252 0 0 -1 0

N.S.

1 1.00 1.93 0.00 0.00 12.78 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.016 0.868 0.045 0.000 118.524 0.000 0.000 0.000 0.000

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

154 154 0 0 0 0 0 0 -1 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.121 10.132 0.089 0.000 0.000 0.000 0.000 0.000 0.000

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

96 96 182 0 110 387 0 180 157 0

N.S.

1 1.00 1.90 0.00 1.15 4.03 0.00 1.88 1.64 0.00

time (sec)

N/A 0.049 0.332 0.046 0.330 0.339 0.000 0.004 0.590 0.000

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

88 88 114 907 0 253 0 0 -1 0

N.S.

1 1.00 1.30 10.31 0.00 2.88 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.008 0.220 1.590 0.000 1.564 0.000 0.000 0.000 0.000

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

233 233 283 0 0 373 0 0 -1 0

N.S.

1 1.00 1.21 0.00 0.00 1.60 0.00 0.00 -0.00 0.00

time (sec)

N/A 0.069 0.744 0.045 0.000 1.368 0.000 0.000 0.000 0.000

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

82 82 104 657 86 90 0 145 100 0

N.S.

1 1.00 1.27 8.01 1.05 1.10 0.00 1.77 1.22 0.00

time (sec)

N/A 0.037 0.086 2.311 0.330 0.319 0.000 0.003 0.548 0.000

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

135 383 145 720 0 318 0 0 -1 0

N.S.

1 2.84 1.07 5.33 0.00 2.36 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.173 0.910 5.210 0.000 5.359 0.000 0.000 0.000 0.000

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

135 383 145 737 0 318 0 0 -1 0

N.S.

1 2.84 1.07 5.46 0.00 2.36 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.189 0.888 5.145 0.000 6.298 0.000 0.000 0.000 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

119 357 139 714 0 268 0 0 -1 0

N.S.

1 3.00 1.17 6.00 0.00 2.25 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.181 0.865 5.451 0.000 5.486 0.000 0.000 0.000 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

43 43 43 34 0 0 0 0 -1 0

N.S.

1 1.00 1.00 0.79 0.00 0.00 0.00 0.00 -0.02 0.00

time (sec)

N/A 0.034 10.112 0.211 0.000 0.304 0.000 0.000 0.000 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

43 43 43 34 0 0 0 0 -1 0

N.S.

1 1.00 1.00 0.79 0.00 0.00 0.00 0.00 -0.02 0.00

time (sec)

N/A 0.051 10.059 0.207 0.000 0.323 0.000 0.000 0.000 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

39 39 43 34 0 0 0 0 -1 0

N.S.

1 1.00 1.10 0.87 0.00 0.00 0.00 0.00 -0.03 0.00

time (sec)

N/A 0.017 7.053 0.127 0.000 0.309 0.000 0.000 0.000 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A C C B A C F B C

verified

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

size

67 67 101 12 105 94 31 0 10 16

N.S.

1 1.00 1.51 0.18 1.57 1.40 0.46 0.00 0.15 0.24

time (sec)

N/A 0.007 0.084 1.026 0.356 0.335 0.515 0.000 0.342 2.144

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A C A A C A B C

verified

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

size

70 70 90 66 73 75 41 91 91 23

N.S.

1 1.00 1.29 0.94 1.04 1.07 0.59 1.30 1.30 0.33

time (sec)

N/A 0.025 0.048 1.707 0.325 0.318 0.508 0.002 0.403 2.137

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

384 384 0 0 0 0 0 0 -1 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00 0.00

time (sec)

N/A 0.286 14.245 0.004 0.000 0.000 0.000 0.000 0.000 0.000

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

234 234 0 0 0 0 0 0 -1 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00 0.00

time (sec)

N/A 0.105 20.249 0.003 0.000 1.369 0.000 0.000 0.000 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

199 250 0 457 0 1827 0 0 -1 0

N.S.

1 1.26 0.00 2.30 0.00 9.18 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.171 12.055 24.621 0.000 1.341 0.000 0.000 0.000 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

177 177 0 0 0 0 0 0 -1 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.090 31.902 0.003 0.000 1.912 0.000 0.000 0.000 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

177 177 0 0 0 0 0 0 -1 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.097 20.129 0.003 0.000 1.886 0.000 0.000 0.000 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

132 132 204 0 0 191 0 0 -1 0

N.S.

1 1.00 1.55 0.00 0.00 1.45 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.017 0.318 0.043 0.000 0.327 0.000 0.000 0.000 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

250 250 26 0 0 0 0 0 -1 0

N.S.

1 1.00 0.10 0.00 0.00 0.00 0.00 0.00 -0.00 0.00

time (sec)

N/A 0.080 10.012 0.038 0.000 1.612 0.000 0.000 0.000 0.000

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

383 648 138 0 0 0 0 0 -1 0

N.S.

1 1.69 0.36 0.00 0.00 0.00 0.00 0.00 -0.00 0.00

time (sec)

N/A 0.592 10.154 0.042 0.000 4.750 0.000 0.000 0.000 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

272 272 283 681 0 341 0 0 -1 0

N.S.

1 1.00 1.04 2.50 0.00 1.25 0.00 0.00 -0.00 0.00

time (sec)

N/A 0.097 2.016 4.348 0.000 1.554 0.000 0.000 0.000 0.000

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