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

Integrals 1001 to 1100

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

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

Problem 1001

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 56 55 42 46 46 46 46 47 40

N.S.

1 1.87 1.83 1.40 1.53 1.53 1.53 1.53 1.57 1.33

time (sec)

N/A 0.207 0.015 0.222 0.029 0.084 0.025 0.108 0.198 0.040

Problem 1002

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

34 0 29 205 37 32 0 0 55 52

N.S.

1 0.00 0.85 6.03 1.09 0.94 0.00 0.00 1.62 1.53

time (sec)

N/A 0.000 0.186 0.188 0.330 0.099 0.000 0.000 0.255 3.931

Problem 1003

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

16 15 15 15 14 20 12 33 20 14

N.S.

1 0.94 0.94 0.94 0.88 1.25 0.75 2.06 1.25 0.88

time (sec)

N/A 0.245 0.003 0.270 0.042 0.079 0.023 0.111 0.193 0.037

Problem 1004

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 30 34 30 0 33 37 35 38 23

N.S.

1 1.11 1.26 1.11 0.00 1.22 1.37 1.30 1.41 0.85

time (sec)

N/A 0.388 0.346 0.215 0.000 0.096 0.089 0.107 0.200 2.873

Problem 1005

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

15 15 15 15 14 17 12 14 18 17

N.S.

1 1.00 1.00 1.00 0.93 1.13 0.80 0.93 1.20 1.13

time (sec)

N/A 0.169 0.001 0.098 0.030 0.080 0.048 0.114 0.213 2.753

Problem 1006

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 0 63 28 22 24 22 27 81 23

N.S.

1 0.00 2.74 1.22 0.96 1.04 0.96 1.17 3.52 1.00

time (sec)

N/A 0.000 0.178 24.255 0.154 0.104 0.235 0.127 0.197 2.887

Problem 1007

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 95 23 21 22 41 36 41 83 89

N.S.

1 3.96 0.96 0.88 0.92 1.71 1.50 1.71 3.46 3.71

time (sec)

N/A 5.569 0.120 1.020 0.168 0.099 0.203 0.285 0.205 3.012

Problem 1008

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

32 0 41 453 51 50 0 0 59 0

N.S.

1 0.00 1.28 14.16 1.59 1.56 0.00 0.00 1.84 0.00

time (sec)

N/A 0.000 0.240 0.256 28.832 0.098 0.000 0.000 0.458 0.000

Problem 1009

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 21 19 27 25 21 42 23 28 21

N.S.

1 0.78 0.70 1.00 0.93 0.78 1.56 0.85 1.04 0.78

time (sec)

N/A 1.295 0.157 1.181 0.072 0.096 0.342 0.134 0.201 3.078

Problem 1010

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 22 22 20 20 19 17 19 23 22

N.S.

1 1.00 1.00 0.91 0.91 0.86 0.77 0.86 1.05 1.00

time (sec)

N/A 0.377 0.025 0.270 0.131 0.087 0.094 0.113 0.204 2.978

Problem 1011

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 37 29 52 42 45 56 53 40 26

N.S.

1 1.37 1.07 1.93 1.56 1.67 2.07 1.96 1.48 0.96

time (sec)

N/A 0.606 0.053 30.385 0.177 0.099 0.212 0.118 2.574 3.056

Problem 1012

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 36 22 22 20 21 17 0 22 20

N.S.

1 1.64 1.00 1.00 0.91 0.95 0.77 0.00 1.00 0.91

time (sec)

N/A 0.186 0.029 0.175 0.092 0.090 0.458 0.000 0.207 2.797

Problem 1013

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 51 38 39 37 35 32 38 39 36

N.S.

1 1.76 1.31 1.34 1.28 1.21 1.10 1.31 1.34 1.24

time (sec)

N/A 0.242 0.004 0.884 0.036 0.082 0.157 0.111 0.204 2.948

Problem 1014

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

36 0 49 53 46 68 53 50 51 50

N.S.

1 0.00 1.36 1.47 1.28 1.89 1.47 1.39 1.42 1.39

time (sec)

N/A 0.000 0.066 0.342 0.177 0.101 0.430 0.160 0.215 3.327

Problem 1015

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 9 9 10 9 14 7 9 17 9

N.S.

1 0.39 0.39 0.43 0.39 0.61 0.30 0.39 0.74 0.39

time (sec)

N/A 0.176 0.005 0.071 0.030 0.076 0.045 0.131 0.195 0.018

Problem 1016

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 40 40 39 87 40 36 40 40 38

N.S.

1 1.43 1.43 1.39 3.11 1.43 1.29 1.43 1.43 1.36

time (sec)

N/A 36.643 0.033 4.365 0.173 0.081 0.427 0.424 0.233 3.472

Problem 1017

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 0 23 22 31 21 24 0 24 21

N.S.

1 0.00 0.92 0.88 1.24 0.84 0.96 0.00 0.96 0.84

time (sec)

N/A 0.000 0.351 22.212 0.186 0.099 0.264 0.000 0.200 3.065

Problem 1018

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

14 77 11 11 15 15 7 15 14 10

N.S.

1 5.50 0.79 0.79 1.07 1.07 0.50 1.07 1.00 0.71

time (sec)

N/A 0.565 0.127 0.145 0.041 0.085 0.061 0.119 0.206 0.046

Problem 1019

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 0 33 37 30 36 36 0 203 32

N.S.

1 0.00 1.18 1.32 1.07 1.29 1.29 0.00 7.25 1.14

time (sec)

N/A 0.000 0.514 0.593 0.271 0.085 0.194 0.000 0.222 0.124

Problem 1020

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 0 16 15 0 20 22 33 54 18

N.S.

1 0.00 0.76 0.71 0.00 0.95 1.05 1.57 2.57 0.86

time (sec)

N/A 0.000 0.034 0.433 0.000 0.088 0.212 0.120 0.209 3.194

Problem 1021

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 0 21 19 106 66 15 219 27 25

N.S.

1 0.00 0.78 0.70 3.93 2.44 0.56 8.11 1.00 0.93

time (sec)

N/A 0.000 1.141 0.661 0.127 0.115 0.152 0.170 0.205 3.150

Problem 1022

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 0 31 22 210 21 22 0 98 217

N.S.

1 0.00 1.24 0.88 8.40 0.84 0.88 0.00 3.92 8.68

time (sec)

N/A 0.000 5.096 2.449 0.279 0.083 0.413 0.000 200.036 3.553

Problem 1023

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

20 16 16 16 17 17 17 17 28 17

N.S.

1 0.80 0.80 0.80 0.85 0.85 0.85 0.85 1.40 0.85

time (sec)

N/A 0.254 0.100 0.832 0.182 0.077 0.108 0.115 0.196 2.966

Problem 1024

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 31 23 24 22 25 22 0 23 21

N.S.

1 1.35 1.00 1.04 0.96 1.09 0.96 0.00 1.00 0.91

time (sec)

N/A 1.058 0.227 2.325 0.174 0.093 0.230 0.000 0.207 3.454

Problem 1025

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

20 25 57 19 51 31 37 34 51 55

N.S.

1 1.25 2.85 0.95 2.55 1.55 1.85 1.70 2.55 2.75

time (sec)

N/A 0.219 0.012 0.953 0.029 0.088 0.084 0.114 0.190 2.959

Problem 1026

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

37 0 0 300 652 246 264 282 369 0

N.S.

1 0.00 0.00 8.11 17.62 6.65 7.14 7.62 9.97 0.00

time (sec)

N/A 0.000 0.000 0.316 0.595 0.111 1.067 4.549 0.779 0.000

Problem 1027

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 80 80 34 51 33 44 43 34 25

N.S.

1 2.96 2.96 1.26 1.89 1.22 1.63 1.59 1.26 0.93

time (sec)

N/A 0.265 0.012 0.423 0.032 0.081 0.126 0.110 0.194 3.159

Problem 1028

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

13 188 13 12 9 11 10 11 11 11

N.S.

1 14.46 1.00 0.92 0.69 0.85 0.77 0.85 0.85 0.85

time (sec)

N/A 0.515 0.056 0.666 0.067 0.068 0.041 0.116 0.196 3.161

Problem 1029

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

15 28 17 22 27 21 19 21 22 15

N.S.

1 1.87 1.13 1.47 1.80 1.40 1.27 1.40 1.47 1.00

time (sec)

N/A 0.174 0.025 0.270 0.040 0.093 0.056 0.111 0.181 0.043

Problem 1030

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 0 38 56 48 49 49 0 85 72

N.S.

1 0.00 1.81 2.67 2.29 2.33 2.33 0.00 4.05 3.43

time (sec)

N/A 0.000 0.102 29.053 0.081 0.089 0.466 0.000 0.188 3.525

Problem 1031

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

35 0 36 86 30 206 36 0 34 83

N.S.

1 0.00 1.03 2.46 0.86 5.89 1.03 0.00 0.97 2.37

time (sec)

N/A 0.000 0.198 0.141 0.875 0.094 3.329 0.000 0.217 3.419

Problem 1032

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

9 9 7 7 8 8 7 8 9 6

N.S.

1 1.00 0.78 0.78 0.89 0.89 0.78 0.89 1.00 0.67

time (sec)

N/A 0.161 0.010 0.133 0.028 0.105 0.047 0.108 0.188 3.005

Problem 1033

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

33 0 44 38 50 50 32 41 43 40

N.S.

1 0.00 1.33 1.15 1.52 1.52 0.97 1.24 1.30 1.21

time (sec)

N/A 0.000 8.283 0.504 0.086 0.093 0.241 0.119 0.186 0.105

Problem 1034

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 0 22 22 36 42 20 42 99 75

N.S.

1 0.00 1.00 1.00 1.64 1.91 0.91 1.91 4.50 3.41

time (sec)

N/A 0.000 0.257 1.215 0.070 0.114 0.078 0.145 0.199 3.309

Problem 1035

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 88 118 35 58 101 63 0 40 95

N.S.

1 3.14 4.21 1.25 2.07 3.61 2.25 0.00 1.43 3.39

time (sec)

N/A 0.422 0.043 1.152 0.027 0.088 0.325 0.000 0.187 3.203

Problem 1036

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

20 24 20 22 23 21 14 21 22 18

N.S.

1 1.20 1.00 1.10 1.15 1.05 0.70 1.05 1.10 0.90

time (sec)

N/A 0.401 0.019 0.567 0.151 0.087 0.071 0.132 0.186 3.240

Problem 1037

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 35 35 36 54 35 31 46 41 33

N.S.

1 1.21 1.21 1.24 1.86 1.21 1.07 1.59 1.41 1.14

time (sec)

N/A 0.274 0.028 0.953 0.069 0.099 0.091 0.118 0.208 3.025

Problem 1038

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 72 59 24 83 24 19 25 23 25

N.S.

1 3.00 2.46 1.00 3.46 1.00 0.79 1.04 0.96 1.04

time (sec)

N/A 0.599 0.068 1.557 0.160 0.082 0.086 0.116 0.181 3.386

Problem 1039

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

20 15 15 18 15 17 12 15 15 14

N.S.

1 0.75 0.75 0.90 0.75 0.85 0.60 0.75 0.75 0.70

time (sec)

N/A 0.425 0.028 0.393 0.069 0.095 0.070 0.111 0.184 3.288

Problem 1040

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

34 0 42 43 42 42 39 42 44 50

N.S.

1 0.00 1.24 1.26 1.24 1.24 1.15 1.24 1.29 1.47

time (sec)

N/A 0.000 0.032 3.747 0.041 0.089 0.154 0.118 0.234 3.362

Problem 1041

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

15 22 18 13 11 13 10 13 12 13

N.S.

1 1.47 1.20 0.87 0.73 0.87 0.67 0.87 0.80 0.87

time (sec)

N/A 0.438 0.044 0.886 0.060 0.069 0.040 0.116 0.202 3.014

Problem 1042

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 52 57 20 44 44 49 44 43 40

N.S.

1 1.73 1.90 0.67 1.47 1.47 1.63 1.47 1.43 1.33

time (sec)

N/A 0.204 0.004 0.204 0.036 0.079 0.028 0.111 0.183 3.083

Problem 1043

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 0 50 45 155 40 36 0 64 23

N.S.

1 0.00 1.67 1.50 5.17 1.33 1.20 0.00 2.13 0.77

time (sec)

N/A 0.000 0.162 2.187 0.180 0.104 18.552 0.000 0.197 0.321

Problem 1044

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 0 21 24 86 44 19 44 52 23

N.S.

1 0.00 0.84 0.96 3.44 1.76 0.76 1.76 2.08 0.92

time (sec)

N/A 0.000 0.094 0.447 0.114 0.092 0.066 0.126 0.197 3.087

Problem 1045

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 23 72 79 1507 88 92 88 321 0

N.S.

1 0.82 2.57 2.82 53.82 3.14 3.29 3.14 11.46 0.00

time (sec)

N/A 0.632 0.054 23.424 0.147 0.090 0.157 0.359 0.198 0.000

Problem 1046

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 28 26 24 20 20 31 23 26 27

N.S.

1 1.47 1.37 1.26 1.05 1.05 1.63 1.21 1.37 1.42

time (sec)

N/A 0.269 0.038 0.309 0.035 0.095 0.075 0.115 0.186 3.266

Problem 1047

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 33 27 25 33 30 34 35 41 38

N.S.

1 1.14 0.93 0.86 1.14 1.03 1.17 1.21 1.41 1.31

time (sec)

N/A 0.724 0.212 0.493 0.237 0.074 0.125 0.129 9.224 3.279

Problem 1048

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 0 25 25 24 24 24 24 25 24

N.S.

1 0.00 0.89 0.89 0.86 0.86 0.86 0.86 0.89 0.86

time (sec)

N/A 0.000 1.388 0.198 0.073 0.086 0.094 0.118 0.178 3.407

Problem 1049

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

16 15 15 16 15 15 14 15 15 15

N.S.

1 0.94 0.94 1.00 0.94 0.94 0.88 0.94 0.94 0.94

time (sec)

N/A 0.179 0.001 0.158 0.031 0.096 0.061 0.111 0.212 3.048

Problem 1050

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

13 32 28 22 35 21 27 24 23 14

N.S.

1 2.46 2.15 1.69 2.69 1.62 2.08 1.85 1.77 1.08

time (sec)

N/A 0.208 0.005 0.286 0.035 0.079 0.053 0.116 0.188 3.072

Problem 1051

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 0 28 26 30 30 31 39 29 27

N.S.

1 0.00 1.17 1.08 1.25 1.25 1.29 1.62 1.21 1.12

time (sec)

N/A 0.000 0.090 0.604 0.150 0.091 0.085 0.112 0.181 3.237

Problem 1052

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 262 26 187 106 89 95 186 263 186

N.S.

1 9.36 0.93 6.68 3.79 3.18 3.39 6.64 9.39 6.64

time (sec)

N/A 4.088 10.405 46.303 0.069 0.099 0.205 0.274 10.583 3.379

Problem 1053

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 0 25 25 130 24 26 0 928 82

N.S.

1 0.00 1.00 1.00 5.20 0.96 1.04 0.00 37.12 3.28

time (sec)

N/A 0.000 1.976 2.847 0.329 0.088 0.510 0.000 0.458 3.257

Problem 1054

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 0 27 30 201 26 19 26 27 25

N.S.

1 0.00 1.00 1.11 7.44 0.96 0.70 0.96 1.00 0.93

time (sec)

N/A 0.000 0.050 1.174 0.195 0.090 0.114 0.117 0.196 3.201

Problem 1055

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 76 77 55 90 50 66 50 69 17

N.S.

1 4.00 4.05 2.89 4.74 2.63 3.47 2.63 3.63 0.89

time (sec)

N/A 0.336 0.043 1.967 0.041 0.099 0.101 0.115 0.193 3.012

Problem 1056

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 38 25 20 59 57 22 0 76 24

N.S.

1 1.52 1.00 0.80 2.36 2.28 0.88 0.00 3.04 0.96

time (sec)

N/A 0.446 0.104 0.290 0.075 0.092 0.264 0.000 0.224 3.149

Problem 1057

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

8 6 6 7 6 6 5 7 6 6

N.S.

1 0.75 0.75 0.88 0.75 0.75 0.62 0.88 0.75 0.75

time (sec)

N/A 0.141 0.001 0.052 0.027 0.077 0.029 0.111 0.198 0.009

Problem 1058

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

32 38 41 26 28 39 31 27 34 40

N.S.

1 1.19 1.28 0.81 0.88 1.22 0.97 0.84 1.06 1.25

time (sec)

N/A 0.227 0.014 0.415 0.033 0.065 0.109 0.121 0.183 3.047

Problem 1059

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 14 14 15 14 14 14 14 14 14

N.S.

1 0.67 0.67 0.71 0.67 0.67 0.67 0.67 0.67 0.67

time (sec)

N/A 0.376 0.002 0.089 0.032 0.083 0.066 0.113 0.206 2.755

Problem 1060

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 1435 28 42 692 36 54 41 85 0

N.S.

1 62.39 1.22 1.83 30.09 1.57 2.35 1.78 3.70 0.00

time (sec)

N/A 3.822 0.043 1.323 0.166 0.080 0.393 0.126 0.205 0.000

Problem 1061

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

18 23 36 17 23 32 22 23 15 24

N.S.

1 1.28 2.00 0.94 1.28 1.78 1.22 1.28 0.83 1.33

time (sec)

N/A 0.206 0.011 0.381 0.031 0.078 0.147 0.117 0.190 2.784

Problem 1062

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 24 72 25 24 24 22 26 31 5523

N.S.

1 0.89 2.67 0.93 0.89 0.89 0.81 0.96 1.15 204.56

time (sec)

N/A 0.266 0.073 0.290 0.031 0.074 0.881 0.121 0.208 4.109

Problem 1063

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 39 30 29 23 28 31 28 55 27

N.S.

1 1.39 1.07 1.04 0.82 1.00 1.11 1.00 1.96 0.96

time (sec)

N/A 0.473 0.261 0.536 0.150 0.101 0.100 0.137 43.596 2.787

Problem 1064

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 28 21 17 0 17 17 17 19 17

N.S.

1 1.04 0.78 0.63 0.00 0.63 0.63 0.63 0.70 0.63

time (sec)

N/A 0.262 0.373 0.247 0.000 0.091 0.062 0.113 0.176 0.053

Problem 1065

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 0 29 30 29 29 27 29 0 29

N.S.

1 0.00 0.97 1.00 0.97 0.97 0.90 0.97 0.00 0.97

time (sec)

N/A 0.000 0.585 0.567 0.328 0.095 0.189 0.260 0.203 3.400

Problem 1066

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 0 28 33 30 42 31 32 68 31

N.S.

1 0.00 1.47 1.74 1.58 2.21 1.63 1.68 3.58 1.63

time (sec)

N/A 0.000 0.324 0.360 0.077 0.095 0.154 0.153 0.159 2.825

Problem 1067

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

20 36 29 31 36 38 39 36 38 27

N.S.

1 1.80 1.45 1.55 1.80 1.90 1.95 1.80 1.90 1.35

time (sec)

N/A 0.213 0.007 0.168 0.036 0.083 0.046 0.116 0.168 0.042

Problem 1068

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 0 31 21 30 20 0 30 35 31

N.S.

1 0.00 1.03 0.70 1.00 0.67 0.00 1.00 1.17 1.03

time (sec)

N/A 0.000 1.375 2.059 0.222 0.101 0.000 0.119 0.152 0.366

Problem 1069

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

32 140 30 64 142 52 70 66 67 0

N.S.

1 4.38 0.94 2.00 4.44 1.62 2.19 2.06 2.09 0.00

time (sec)

N/A 3.568 0.068 32.783 0.086 0.103 0.402 0.129 0.153 0.000

Problem 1070

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 0 24 25 30 24 17 24 26 24

N.S.

1 0.00 1.00 1.04 1.25 1.00 0.71 1.00 1.08 1.00

time (sec)

N/A 0.000 0.388 7.941 0.070 0.086 0.133 0.127 0.173 2.896

Problem 1071

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

32 51 37 35 294 34 32 46 50 34

N.S.

1 1.59 1.16 1.09 9.19 1.06 1.00 1.44 1.56 1.06

time (sec)

N/A 0.964 1.877 1.451 0.095 0.086 0.149 0.121 0.164 2.822

Problem 1072

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 57 57 53 55 55 105 55 52 90

N.S.

1 3.00 3.00 2.79 2.89 2.89 5.53 2.89 2.74 4.74

time (sec)

N/A 0.188 0.004 0.151 0.030 0.081 0.027 0.113 0.153 0.042

Problem 1073

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 24 19 17 17 17 15 17 21 19

N.S.

1 0.96 0.76 0.68 0.68 0.68 0.60 0.68 0.84 0.76

time (sec)

N/A 0.226 0.006 0.069 0.024 0.074 0.049 0.113 0.165 2.770

Problem 1074

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 356 42 373 247 248 252 247 325 239

N.S.

1 12.71 1.50 13.32 8.82 8.86 9.00 8.82 11.61 8.54

time (sec)

N/A 0.434 0.036 1.347 0.040 0.099 0.071 0.108 0.167 2.820

Problem 1075

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

20 29 18 16 0 20 24 20 16 15

N.S.

1 1.45 0.90 0.80 0.00 1.00 1.20 1.00 0.80 0.75

time (sec)

N/A 0.471 0.097 1.189 0.000 0.089 0.096 0.114 0.156 2.819

Problem 1076

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

32 0 0 1224 0 115 119 0 0 143

N.S.

1 0.00 0.00 38.25 0.00 3.59 3.72 0.00 0.00 4.47

time (sec)

N/A 0.000 0.000 0.186 0.000 0.108 69.786 0.000 1.242 4.282

Problem 1077

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 30 19 31 39 29 37 32 29 30

N.S.

1 1.15 0.73 1.19 1.50 1.12 1.42 1.23 1.12 1.15

time (sec)

N/A 0.255 0.028 0.983 0.065 0.158 0.183 0.114 0.156 2.803

Problem 1078

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

33 0 56 27 58 41 36 46 184 163

N.S.

1 0.00 1.70 0.82 1.76 1.24 1.09 1.39 5.58 4.94

time (sec)

N/A 0.000 0.225 0.751 0.254 0.094 0.188 0.464 200.012 2.864

Problem 1079

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

16 0 23 14 16 22 19 42 19 27

N.S.

1 0.00 1.44 0.88 1.00 1.38 1.19 2.62 1.19 1.69

time (sec)

N/A 0.000 0.022 0.700 0.109 0.094 0.107 0.111 0.167 0.414

Problem 1080

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 20 17 18 24 26 0 0 18 0

N.S.

1 1.05 0.89 0.95 1.26 1.37 0.00 0.00 0.95 0.00

time (sec)

N/A 0.562 0.028 0.746 0.086 0.095 0.000 0.000 2.300 0.000

Problem 1081

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 0 26 25 36 47 29 23 26 31

N.S.

1 0.00 1.04 1.00 1.44 1.88 1.16 0.92 1.04 1.24

time (sec)

N/A 0.000 0.096 37.244 0.107 0.163 0.357 0.133 0.184 2.856

Problem 1082

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 0 16 22 68 68 34 59 84 68

N.S.

1 0.00 0.76 1.05 3.24 3.24 1.62 2.81 4.00 3.24

time (sec)

N/A 0.000 0.115 3.368 0.060 0.092 0.075 0.116 0.154 2.886

Problem 1083

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 0 19 15 18 16 19 18 17 17

N.S.

1 0.00 0.90 0.71 0.86 0.76 0.90 0.86 0.81 0.81

time (sec)

N/A 0.000 0.236 0.421 0.183 0.116 0.130 0.120 0.158 2.838

Problem 1084

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 30 26 31 29 26 29 30 31 27

N.S.

1 1.30 1.13 1.35 1.26 1.13 1.26 1.30 1.35 1.17

time (sec)

N/A 0.210 0.010 0.149 0.025 0.089 0.125 0.112 0.156 2.740

Problem 1085

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 48 33 29 37 38 27 37 47 31

N.S.

1 1.66 1.14 1.00 1.28 1.31 0.93 1.28 1.62 1.07

time (sec)

N/A 0.324 0.013 0.386 0.036 0.084 0.124 0.108 0.154 0.058

Problem 1086

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 26 25 23 223 21 19 120 50 24

N.S.

1 1.00 0.96 0.88 8.58 0.81 0.73 4.62 1.92 0.92

time (sec)

N/A 0.225 0.034 0.332 0.180 0.099 0.070 0.135 0.152 2.847

Problem 1087

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 37 28 26 25 27 26 36 42 25

N.S.

1 1.54 1.17 1.08 1.04 1.12 1.08 1.50 1.75 1.04

time (sec)

N/A 0.274 0.377 0.196 0.038 0.087 0.079 0.112 0.150 0.079

Problem 1088

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 0 22 27 28 26 20 26 28 27

N.S.

1 0.00 0.71 0.87 0.90 0.84 0.65 0.84 0.90 0.87

time (sec)

N/A 0.000 0.187 1.699 0.170 0.098 0.058 0.137 0.153 3.037

Problem 1089

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 21 14 10 15 11 12 9 10 9

N.S.

1 0.81 0.54 0.38 0.58 0.42 0.46 0.35 0.38 0.35

time (sec)

N/A 0.183 0.003 0.152 0.041 0.151 0.044 0.116 0.154 2.740

Problem 1090

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 27 25 20 19 19 20 19 21 19

N.S.

1 1.00 0.93 0.74 0.70 0.70 0.74 0.70 0.78 0.70

time (sec)

N/A 0.161 0.008 0.242 0.027 0.107 0.046 0.113 0.152 0.035

Problem 1091

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

20 30 19 19 24 22 27 26 29 21

N.S.

1 1.50 0.95 0.95 1.20 1.10 1.35 1.30 1.45 1.05

time (sec)

N/A 0.186 0.003 0.122 0.039 0.081 0.049 0.115 0.151 2.715

Problem 1092

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 40 42 37 51 34 42 33 36 20

N.S.

1 1.90 2.00 1.76 2.43 1.62 2.00 1.57 1.71 0.95

time (sec)

N/A 0.258 0.010 1.270 0.038 0.102 0.100 0.114 0.153 2.734

Problem 1093

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 0 26 38 41 41 39 0 54 21

N.S.

1 0.00 1.04 1.52 1.64 1.64 1.56 0.00 2.16 0.84

time (sec)

N/A 0.000 3.188 0.346 0.039 0.087 0.171 0.000 0.151 2.713

Problem 1094

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 0 26 25 24 24 22 81 27 98

N.S.

1 0.00 1.00 0.96 0.92 0.92 0.85 3.12 1.04 3.77

time (sec)

N/A 0.000 0.270 2.200 0.136 0.163 0.187 0.145 0.169 2.880

Problem 1095

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 29 26 25 24 24 34 24 22 26

N.S.

1 1.38 1.24 1.19 1.14 1.14 1.62 1.14 1.05 1.24

time (sec)

N/A 0.168 0.004 0.107 0.035 0.099 0.025 0.110 0.174 0.034

Problem 1096

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 17 19 18 29 27 12 17 27 17

N.S.

1 0.89 1.00 0.95 1.53 1.42 0.63 0.89 1.42 0.89

time (sec)

N/A 0.402 0.101 0.490 0.099 0.105 0.056 0.150 0.179 2.812

Problem 1097

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 0 34 30 28 29 26 29 32 0

N.S.

1 0.00 1.13 1.00 0.93 0.97 0.87 0.97 1.07 0.00

time (sec)

N/A 0.000 0.097 0.083 0.185 0.114 0.203 0.233 0.552 0.000

Problem 1098

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 24 24 23 42 42 41 22 34 20

N.S.

1 1.00 1.00 0.96 1.75 1.75 1.71 0.92 1.42 0.83

time (sec)

N/A 0.411 5.026 1.877 0.193 0.094 0.134 0.135 0.166 2.847

Problem 1099

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

17 0 25 17 19 17 14 20 24 17

N.S.

1 0.00 1.47 1.00 1.12 1.00 0.82 1.18 1.41 1.00

time (sec)

N/A 0.000 0.539 0.569 0.198 0.094 0.072 0.115 0.164 2.752

Problem 1100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

16 16 17 14 16 16 14 16 17 16

N.S.

1 1.00 1.06 0.88 1.00 1.00 0.88 1.00 1.06 1.00

time (sec)

N/A 0.204 0.005 0.095 0.036 0.097 0.100 0.108 0.159 2.694

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