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

Integrals 901 to 1000

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 901

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

74 74 53 0 0 0 27 0 34 0

N.S.

1 1.00 0.72 0.00 0.00 0.00 0.36 0.00 0.46 0.00

time (sec)

N/A 0.171 5.848 0.000 0.000 0.000 0.473 0.000 0.207 0.000

Problem 902

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

56 56 55 0 0 0 24 0 30 37

N.S.

1 1.00 0.98 0.00 0.00 0.00 0.43 0.00 0.54 0.66

time (sec)

N/A 0.158 0.007 0.000 0.000 0.000 0.457 0.000 0.236 0.289

Problem 903

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

76 76 52 0 0 0 27 0 33 40

N.S.

1 1.00 0.68 0.00 0.00 0.00 0.36 0.00 0.43 0.53

time (sec)

N/A 0.172 6.074 0.000 0.000 0.000 0.558 0.000 0.221 0.549

Problem 904

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

102 106 54 0 0 0 32 0 33 0

N.S.

1 1.04 0.53 0.00 0.00 0.00 0.31 0.00 0.32 0.00

time (sec)

N/A 0.195 10.010 0.000 0.000 0.000 0.597 0.000 0.211 0.000

Problem 905

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

126 136 54 0 0 0 32 0 33 0

N.S.

1 1.08 0.43 0.00 0.00 0.00 0.25 0.00 0.26 0.00

time (sec)

N/A 0.211 10.009 0.000 0.000 0.000 0.676 0.000 0.263 0.000

Problem 906

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

124 138 78 0 0 0 29 0 37 0

N.S.

1 1.11 0.63 0.00 0.00 0.00 0.23 0.00 0.30 0.00

time (sec)

N/A 0.214 6.497 0.000 0.000 0.000 0.521 0.000 0.224 0.000

Problem 907

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

101 107 66 0 0 0 29 0 37 0

N.S.

1 1.06 0.65 0.00 0.00 0.00 0.29 0.00 0.37 0.00

time (sec)

N/A 0.190 6.327 0.000 0.000 0.000 0.489 0.000 0.211 0.000

Problem 908

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

77 77 56 0 0 0 29 0 37 0

N.S.

1 1.00 0.73 0.00 0.00 0.00 0.38 0.00 0.48 0.00

time (sec)

N/A 0.169 5.922 0.000 0.000 0.000 0.479 0.000 0.196 0.000

Problem 909

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

77 77 56 0 0 0 26 0 33 38

N.S.

1 1.00 0.73 0.00 0.00 0.00 0.34 0.00 0.43 0.49

time (sec)

N/A 0.165 0.008 0.000 0.000 0.000 0.500 0.000 0.221 0.310

Problem 910

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

99 105 53 0 0 0 29 0 36 41

N.S.

1 1.06 0.54 0.00 0.00 0.00 0.29 0.00 0.36 0.41

time (sec)

N/A 0.198 6.182 0.000 0.000 0.000 0.578 0.000 0.215 0.564

Problem 911

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

126 136 55 0 0 0 34 0 36 0

N.S.

1 1.08 0.44 0.00 0.00 0.00 0.27 0.00 0.29 0.00

time (sec)

N/A 0.216 10.009 0.000 0.000 0.000 0.644 0.000 0.247 0.000

Problem 912

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

151 167 55 0 0 0 34 0 36 0

N.S.

1 1.11 0.36 0.00 0.00 0.00 0.23 0.00 0.24 0.00

time (sec)

N/A 0.246 10.009 0.000 0.000 0.000 0.686 0.000 0.269 0.000

Problem 913

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

121 137 79 0 0 0 27 0 34 0

N.S.

1 1.13 0.65 0.00 0.00 0.00 0.22 0.00 0.28 0.00

time (sec)

N/A 0.213 7.650 0.000 0.000 0.000 0.538 0.000 0.228 0.000

Problem 914

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

99 105 65 0 0 0 27 0 34 0

N.S.

1 1.06 0.66 0.00 0.00 0.00 0.27 0.00 0.34 0.00

time (sec)

N/A 0.190 7.517 0.000 0.000 0.000 0.534 0.000 0.209 0.000

Problem 915

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

78 78 55 0 0 0 27 0 34 0

N.S.

1 1.00 0.71 0.00 0.00 0.00 0.35 0.00 0.44 0.00

time (sec)

N/A 0.169 7.193 0.000 0.000 0.000 0.531 0.000 0.215 0.000

Problem 916

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

78 78 55 0 0 0 24 0 30 37

N.S.

1 1.00 0.71 0.00 0.00 0.00 0.31 0.00 0.38 0.47

time (sec)

N/A 0.166 0.008 0.000 0.000 0.000 0.572 0.000 0.230 0.330

Problem 917

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

101 105 52 0 0 0 27 0 33 40

N.S.

1 1.04 0.51 0.00 0.00 0.00 0.27 0.00 0.33 0.40

time (sec)

N/A 0.187 7.319 0.000 0.000 0.000 0.659 0.000 0.240 0.602

Problem 918

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

121 133 54 0 0 0 32 0 33 0

N.S.

1 1.10 0.45 0.00 0.00 0.00 0.26 0.00 0.27 0.00

time (sec)

N/A 0.210 10.009 0.000 0.000 0.000 0.725 0.000 0.228 0.000

Problem 919

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

147 165 54 0 0 0 32 0 33 0

N.S.

1 1.12 0.37 0.00 0.00 0.00 0.22 0.00 0.22 0.00

time (sec)

N/A 0.234 10.011 0.000 0.000 0.000 0.810 0.000 0.248 0.000

Problem 920

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

126 142 80 0 0 0 29 0 37 0

N.S.

1 1.13 0.63 0.00 0.00 0.00 0.23 0.00 0.29 0.00

time (sec)

N/A 0.210 7.479 0.000 0.000 0.000 0.551 0.000 0.240 0.000

Problem 921

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

103 109 66 0 0 0 29 0 37 0

N.S.

1 1.06 0.64 0.00 0.00 0.00 0.28 0.00 0.36 0.00

time (sec)

N/A 0.185 7.487 0.000 0.000 0.000 0.558 0.000 0.232 0.000

Problem 922

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

81 81 59 0 0 0 29 0 37 0

N.S.

1 1.00 0.73 0.00 0.00 0.00 0.36 0.00 0.46 0.00

time (sec)

N/A 0.168 7.015 0.000 0.000 0.000 0.547 0.000 0.232 0.000

Problem 923

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

81 81 56 0 0 0 26 0 33 38

N.S.

1 1.00 0.69 0.00 0.00 0.00 0.32 0.00 0.41 0.47

time (sec)

N/A 0.166 0.010 0.000 0.000 0.000 0.565 0.000 0.235 0.333

Problem 924

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

105 108 53 0 0 0 29 0 36 41

N.S.

1 1.03 0.50 0.00 0.00 0.00 0.28 0.00 0.34 0.39

time (sec)

N/A 0.189 7.548 0.000 0.000 0.000 0.639 0.000 0.223 0.639

Problem 925

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

126 137 55 0 0 0 34 0 36 0

N.S.

1 1.09 0.44 0.00 0.00 0.00 0.27 0.00 0.29 0.00

time (sec)

N/A 0.217 10.014 0.000 0.000 0.000 0.738 0.000 0.231 0.000

Problem 926

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

153 170 55 0 0 0 34 0 36 0

N.S.

1 1.11 0.36 0.00 0.00 0.00 0.22 0.00 0.24 0.00

time (sec)

N/A 0.234 10.010 0.000 0.000 0.000 0.890 0.000 0.248 0.000

Problem 927

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

99 110 54 20 0 0 27 0 15 0

N.S.

1 1.11 0.55 0.20 0.00 0.00 0.27 0.00 0.15 0.00

time (sec)

N/A 0.194 5.116 0.351 0.000 0.000 0.462 0.000 0.257 0.000

Problem 928

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

81 87 49 20 0 0 27 0 15 0

N.S.

1 1.07 0.60 0.25 0.00 0.00 0.33 0.00 0.19 0.00

time (sec)

N/A 0.176 5.111 0.341 0.000 0.000 0.441 0.000 0.248 0.000

Problem 929

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

63 64 41 20 0 0 27 0 15 0

N.S.

1 1.02 0.65 0.32 0.00 0.00 0.43 0.00 0.24 0.00

time (sec)

N/A 0.158 4.984 0.329 0.000 0.000 0.393 0.000 0.217 0.000

Problem 930

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

43 43 24 18 0 0 26 0 11 16

N.S.

1 1.00 0.56 0.42 0.00 0.00 0.60 0.00 0.26 0.37

time (sec)

N/A 0.148 4.942 0.246 0.000 0.000 0.377 0.000 0.238 0.100

Problem 931

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

63 66 27 20 0 0 29 0 15 36

N.S.

1 1.05 0.43 0.32 0.00 0.00 0.46 0.00 0.24 0.57

time (sec)

N/A 0.159 4.848 0.328 0.000 0.000 0.398 0.000 0.245 0.440

Problem 932

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

83 89 29 20 0 0 32 0 15 0

N.S.

1 1.07 0.35 0.24 0.00 0.00 0.39 0.00 0.18 0.00

time (sec)

N/A 0.178 10.005 0.345 0.000 0.000 0.477 0.000 0.252 0.000

Problem 933

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

101 112 29 20 0 0 32 0 15 0

N.S.

1 1.11 0.29 0.20 0.00 0.00 0.32 0.00 0.15 0.00

time (sec)

N/A 0.191 10.005 0.342 0.000 0.000 0.496 0.000 0.265 0.000

Problem 934

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

83 93 54 20 0 0 29 0 15 0

N.S.

1 1.12 0.65 0.24 0.00 0.00 0.35 0.00 0.18 0.00

time (sec)

N/A 0.184 4.980 0.366 0.000 0.000 0.460 0.000 0.230 0.000

Problem 935

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

65 70 49 20 0 0 29 0 15 0

N.S.

1 1.08 0.75 0.31 0.00 0.00 0.45 0.00 0.23 0.00

time (sec)

N/A 0.167 4.780 0.359 0.000 0.000 0.434 0.000 0.234 0.000

Problem 936

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

47 47 41 20 0 0 29 0 15 0

N.S.

1 1.00 0.87 0.43 0.00 0.00 0.62 0.00 0.32 0.00

time (sec)

N/A 0.152 4.690 0.342 0.000 0.000 0.413 0.000 0.219 0.000

Problem 937

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 28 24 18 0 0 27 0 11 16

N.S.

1 1.00 0.86 0.64 0.00 0.00 0.96 0.00 0.39 0.57

time (sec)

N/A 0.140 4.674 0.331 0.000 0.000 0.403 0.000 0.234 0.239

Problem 938

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

47 47 27 20 0 0 31 0 15 36

N.S.

1 1.00 0.57 0.43 0.00 0.00 0.66 0.00 0.32 0.77

time (sec)

N/A 0.153 4.738 0.353 0.000 0.000 0.434 0.000 0.237 0.437

Problem 939

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

67 70 29 20 0 0 34 0 15 0

N.S.

1 1.04 0.43 0.30 0.00 0.00 0.51 0.00 0.22 0.00

time (sec)

N/A 0.167 10.006 0.369 0.000 0.000 0.473 0.000 0.220 0.000

Problem 940

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

85 93 29 20 0 0 34 0 15 0

N.S.

1 1.09 0.34 0.24 0.00 0.00 0.40 0.00 0.18 0.00

time (sec)

N/A 0.182 10.006 0.362 0.000 0.000 0.524 0.000 0.260 0.000

Problem 941

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

83 93 54 20 0 0 27 0 15 0

N.S.

1 1.12 0.65 0.24 0.00 0.00 0.33 0.00 0.18 0.00

time (sec)

N/A 0.183 5.249 0.352 0.000 0.000 0.444 0.000 0.241 0.000

Problem 942

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

65 70 49 20 0 0 27 0 15 0

N.S.

1 1.08 0.75 0.31 0.00 0.00 0.42 0.00 0.23 0.00

time (sec)

N/A 0.166 5.120 0.324 0.000 0.000 0.402 0.000 0.225 0.000

Problem 943

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

47 47 41 20 0 0 27 0 15 0

N.S.

1 1.00 0.87 0.43 0.00 0.00 0.57 0.00 0.32 0.00

time (sec)

N/A 0.149 4.763 0.324 0.000 0.000 0.412 0.000 0.268 0.000

Problem 944

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 27 24 18 0 0 26 0 11 16

N.S.

1 1.00 0.89 0.67 0.00 0.00 0.96 0.00 0.41 0.59

time (sec)

N/A 0.138 4.629 0.246 0.000 0.000 0.430 0.000 0.239 0.221

Problem 945

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

49 49 27 20 0 0 29 0 15 36

N.S.

1 1.00 0.55 0.41 0.00 0.00 0.59 0.00 0.31 0.73

time (sec)

N/A 0.150 5.003 0.368 0.000 0.000 0.460 0.000 0.235 0.389

Problem 946

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

67 72 29 20 0 0 32 0 15 0

N.S.

1 1.07 0.43 0.30 0.00 0.00 0.48 0.00 0.22 0.00

time (sec)

N/A 0.166 10.005 0.373 0.000 0.000 0.491 0.000 0.226 0.000

Problem 947

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

85 95 29 20 0 0 32 0 15 0

N.S.

1 1.12 0.34 0.24 0.00 0.00 0.38 0.00 0.18 0.00

time (sec)

N/A 0.176 10.006 0.347 0.000 0.000 0.541 0.000 0.236 0.000

Problem 948

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

83 93 59 20 0 0 29 0 15 0

N.S.

1 1.12 0.71 0.24 0.00 0.00 0.35 0.00 0.18 0.00

time (sec)

N/A 0.177 5.277 0.332 0.000 0.000 0.448 0.000 0.240 0.000

Problem 949

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

65 70 54 20 0 0 29 0 15 0

N.S.

1 1.08 0.83 0.31 0.00 0.00 0.45 0.00 0.23 0.00

time (sec)

N/A 0.163 5.150 0.318 0.000 0.000 0.433 0.000 0.223 0.000

Problem 950

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

47 47 47 20 0 0 29 0 15 0

N.S.

1 1.00 1.00 0.43 0.00 0.00 0.62 0.00 0.32 0.00

time (sec)

N/A 0.147 4.765 0.327 0.000 0.000 0.416 0.000 0.259 0.000

Problem 951

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 27 27 18 0 0 27 0 11 16

N.S.

1 1.00 1.00 0.67 0.00 0.00 1.00 0.00 0.41 0.59

time (sec)

N/A 0.133 4.647 0.284 0.000 0.000 0.392 0.000 0.230 0.086

Problem 952

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

49 49 27 20 0 0 31 0 15 36

N.S.

1 1.00 0.55 0.41 0.00 0.00 0.63 0.00 0.31 0.73

time (sec)

N/A 0.150 5.043 0.310 0.000 0.000 0.487 0.000 0.200 0.453

Problem 953

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

67 72 29 20 0 0 34 0 15 0

N.S.

1 1.07 0.43 0.30 0.00 0.00 0.51 0.00 0.22 0.00

time (sec)

N/A 0.162 10.005 0.298 0.000 0.000 0.501 0.000 0.262 0.000

Problem 954

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

85 95 29 20 0 0 34 0 15 0

N.S.

1 1.12 0.34 0.24 0.00 0.00 0.40 0.00 0.18 0.00

time (sec)

N/A 0.177 10.005 0.303 0.000 0.000 0.560 0.000 0.256 0.000

Problem 955

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

258 289 68 42 0 0 29 0 15 0

N.S.

1 1.12 0.26 0.16 0.00 0.00 0.11 0.00 0.06 0.00

time (sec)

N/A 0.316 5.001 0.362 0.000 0.000 0.472 0.000 0.240 0.000

Problem 956

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

240 266 63 42 0 0 29 0 15 0

N.S.

1 1.11 0.26 0.18 0.00 0.00 0.12 0.00 0.06 0.00

time (sec)

N/A 0.305 4.767 0.349 0.000 0.000 0.434 0.000 0.208 0.000

Problem 957

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

222 243 57 42 0 0 29 0 15 0

N.S.

1 1.09 0.26 0.19 0.00 0.00 0.13 0.00 0.07 0.00

time (sec)

N/A 0.282 4.691 0.335 0.000 0.000 0.396 0.000 0.231 0.000

Problem 958

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

199 224 43 40 0 0 27 0 11 34

N.S.

1 1.13 0.22 0.20 0.00 0.00 0.14 0.00 0.06 0.17

time (sec)

N/A 0.265 4.663 0.267 0.000 0.000 0.391 0.000 0.198 0.215

Problem 959

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

221 245 46 42 0 0 31 0 15 36

N.S.

1 1.11 0.21 0.19 0.00 0.00 0.14 0.00 0.07 0.16

time (sec)

N/A 0.280 4.732 0.362 0.000 0.000 0.453 0.000 0.241 0.336

Problem 960

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

242 268 48 42 0 0 34 0 15 0

N.S.

1 1.11 0.20 0.17 0.00 0.00 0.14 0.00 0.06 0.00

time (sec)

N/A 0.300 10.006 0.373 0.000 0.000 0.483 0.000 0.260 0.000

Problem 961

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

260 291 48 42 0 0 34 0 15 0

N.S.

1 1.12 0.18 0.16 0.00 0.00 0.13 0.00 0.06 0.00

time (sec)

N/A 0.314 10.006 0.389 0.000 0.000 0.511 0.000 0.212 0.000

Problem 962

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

260 299 68 23 0 0 34 0 15 0

N.S.

1 1.15 0.26 0.09 0.00 0.00 0.13 0.00 0.06 0.00

time (sec)

N/A 0.322 5.039 0.375 0.000 0.000 0.438 0.000 0.235 0.000

Problem 963

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

242 276 63 23 0 0 34 0 15 0

N.S.

1 1.14 0.26 0.10 0.00 0.00 0.14 0.00 0.06 0.00

time (sec)

N/A 0.308 4.824 0.375 0.000 0.000 0.419 0.000 0.251 0.000

Problem 964

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

224 253 58 23 0 0 34 0 15 0

N.S.

1 1.13 0.26 0.10 0.00 0.00 0.15 0.00 0.07 0.00

time (sec)

N/A 0.285 4.735 0.326 0.000 0.000 0.409 0.000 0.232 0.000

Problem 965

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

202 234 43 21 0 0 32 0 11 34

N.S.

1 1.16 0.21 0.10 0.00 0.00 0.16 0.00 0.05 0.17

time (sec)

N/A 0.261 4.727 0.263 0.000 0.000 0.387 0.000 0.224 0.082

Problem 966

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

223 255 46 23 0 0 36 0 15 36

N.S.

1 1.14 0.21 0.10 0.00 0.00 0.16 0.00 0.07 0.16

time (sec)

N/A 0.289 4.772 0.370 0.000 0.000 0.459 0.000 0.229 0.419

Problem 967

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

244 278 48 23 0 0 39 0 15 0

N.S.

1 1.14 0.20 0.09 0.00 0.00 0.16 0.00 0.06 0.00

time (sec)

N/A 0.308 10.006 0.325 0.000 0.000 0.496 0.000 0.252 0.000

Problem 968

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

262 301 48 23 0 0 39 0 15 0

N.S.

1 1.15 0.18 0.09 0.00 0.00 0.15 0.00 0.06 0.00

time (sec)

N/A 0.328 10.007 0.345 0.000 0.000 0.542 0.000 0.234 0.000

Problem 969

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

138 148 68 42 0 0 31 0 15 0

N.S.

1 1.07 0.49 0.30 0.00 0.00 0.22 0.00 0.11 0.00

time (sec)

N/A 0.233 5.248 0.363 0.000 0.000 0.464 0.000 0.231 0.000

Problem 970

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

120 125 63 42 0 0 31 0 15 0

N.S.

1 1.04 0.52 0.35 0.00 0.00 0.26 0.00 0.12 0.00

time (sec)

N/A 0.213 5.127 0.358 0.000 0.000 0.417 0.000 0.256 0.000

Problem 971

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

102 102 57 42 0 0 31 0 15 0

N.S.

1 1.00 0.56 0.41 0.00 0.00 0.30 0.00 0.15 0.00

time (sec)

N/A 0.194 4.756 0.376 0.000 0.000 0.421 0.000 0.251 0.000

Problem 972

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

82 82 43 40 0 0 29 0 11 34

N.S.

1 1.00 0.52 0.49 0.00 0.00 0.35 0.00 0.13 0.41

time (sec)

N/A 0.182 4.651 0.278 0.000 0.000 0.396 0.000 0.254 0.088

Problem 973

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

104 104 46 42 0 0 29 0 15 23

N.S.

1 1.00 0.44 0.40 0.00 0.00 0.28 0.00 0.14 0.22

time (sec)

N/A 0.196 5.042 0.357 0.000 0.000 0.476 0.000 0.261 0.423

Problem 974

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

122 127 48 42 0 0 32 0 15 0

N.S.

1 1.04 0.39 0.34 0.00 0.00 0.26 0.00 0.12 0.00

time (sec)

N/A 0.214 10.006 0.371 0.000 0.000 0.508 0.000 0.224 0.000

Problem 975

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

140 150 48 42 0 0 32 0 15 0

N.S.

1 1.07 0.34 0.30 0.00 0.00 0.23 0.00 0.11 0.00

time (sec)

N/A 0.225 10.006 0.380 0.000 0.000 0.550 0.000 0.221 0.000

Problem 976

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

139 149 68 23 0 0 36 0 15 0

N.S.

1 1.07 0.49 0.17 0.00 0.00 0.26 0.00 0.11 0.00

time (sec)

N/A 0.226 5.296 0.331 0.000 0.000 0.433 0.000 0.244 0.000

Problem 977

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

121 126 63 23 0 0 36 0 15 0

N.S.

1 1.04 0.52 0.19 0.00 0.00 0.30 0.00 0.12 0.00

time (sec)

N/A 0.208 5.170 0.293 0.000 0.000 0.462 0.000 0.254 0.000

Problem 978

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

103 103 58 23 0 0 36 0 15 0

N.S.

1 1.00 0.56 0.22 0.00 0.00 0.35 0.00 0.15 0.00

time (sec)

N/A 0.200 4.814 0.286 0.000 0.000 0.395 0.000 0.212 0.000

Problem 979

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

84 84 43 21 0 0 34 0 11 34

N.S.

1 1.00 0.51 0.25 0.00 0.00 0.40 0.00 0.13 0.40

time (sec)

N/A 0.181 4.685 0.275 0.000 0.000 0.378 0.000 0.219 0.082

Problem 980

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

105 105 46 23 0 0 34 0 15 36

N.S.

1 1.00 0.44 0.22 0.00 0.00 0.32 0.00 0.14 0.34

time (sec)

N/A 0.192 5.060 0.286 0.000 0.000 0.466 0.000 0.244 0.374

Problem 981

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

123 128 48 23 0 0 37 0 15 0

N.S.

1 1.04 0.39 0.19 0.00 0.00 0.30 0.00 0.12 0.00

time (sec)

N/A 0.213 10.007 0.287 0.000 0.000 0.501 0.000 0.235 0.000

Problem 982

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

141 151 48 23 0 0 37 0 15 0

N.S.

1 1.07 0.34 0.16 0.00 0.00 0.26 0.00 0.11 0.00

time (sec)

N/A 0.227 10.006 0.302 0.000 0.000 0.576 0.000 0.227 0.000

Problem 983

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

261 333 177 0 0 0 48 0 65 0

N.S.

1 1.28 0.68 0.00 0.00 0.00 0.18 0.00 0.25 0.00

time (sec)

N/A 0.510 0.563 0.000 0.000 0.000 4.489 0.000 0.286 0.000

Problem 984

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

227 295 162 0 0 0 48 0 37 0

N.S.

1 1.30 0.71 0.00 0.00 0.00 0.21 0.00 0.16 0.00

time (sec)

N/A 0.474 0.345 0.000 0.000 0.000 1.006 0.000 0.233 0.000

Problem 985

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

214 293 161 0 0 0 51 0 18 0

N.S.

1 1.37 0.75 0.00 0.00 0.00 0.24 0.00 0.08 0.00

time (sec)

N/A 0.480 0.310 0.000 0.000 0.000 1.189 0.000 200.031 0.000

Problem 986

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 29 27 22 0 35 178 0 36 38

N.S.

1 1.00 0.93 0.76 0.00 1.21 6.14 0.00 1.24 1.31

time (sec)

N/A 0.147 0.129 0.279 0.000 0.083 4.425 0.000 0.228 0.357

Problem 987

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

60 59 48 32 0 46 462 0 47 51

N.S.

1 0.98 0.80 0.53 0.00 0.77 7.70 0.00 0.78 0.85

time (sec)

N/A 0.171 0.146 0.276 0.000 0.122 41.652 0.000 0.207 0.392

Problem 988

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

92 96 48 43 0 58 0 0 59 65

N.S.

1 1.04 0.52 0.47 0.00 0.63 0.00 0.00 0.64 0.71

time (sec)

N/A 0.194 0.156 0.287 0.000 0.103 0.000 0.000 0.243 0.458

Problem 989

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

124 133 59 54 0 69 0 0 70 79

N.S.

1 1.07 0.48 0.44 0.00 0.56 0.00 0.00 0.56 0.64

time (sec)

N/A 0.221 1.415 0.289 0.000 0.112 0.000 0.000 0.215 0.467

Problem 990

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

122 126 88 0 0 0 48 0 73 0

N.S.

1 1.03 0.72 0.00 0.00 0.00 0.39 0.00 0.60 0.00

time (sec)

N/A 0.296 10.032 0.000 0.000 0.000 1.231 0.000 0.215 0.000

Problem 991

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

92 95 55 0 0 0 39 0 24 0

N.S.

1 1.03 0.60 0.00 0.00 0.00 0.42 0.00 0.26 0.00

time (sec)

N/A 0.262 10.010 0.000 0.000 0.000 0.676 0.000 0.196 0.000

Problem 992

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

97 100 57 0 0 0 36 0 62 0

N.S.

1 1.03 0.59 0.00 0.00 0.00 0.37 0.00 0.64 0.00

time (sec)

N/A 0.264 10.013 0.000 0.000 0.000 1.745 0.000 0.230 0.000

Problem 993

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

127 138 57 0 0 0 39 0 64 0

N.S.

1 1.09 0.45 0.00 0.00 0.00 0.31 0.00 0.50 0.00

time (sec)

N/A 0.295 10.013 0.000 0.000 0.000 14.056 0.000 0.278 0.000

Problem 994

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

159 179 57 0 0 0 39 0 64 0

N.S.

1 1.13 0.36 0.00 0.00 0.00 0.25 0.00 0.40 0.00

time (sec)

N/A 0.326 10.012 0.000 0.000 0.000 139.765 0.000 0.248 0.000

Problem 995

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

228 291 161 0 0 324 46 0 20 0

N.S.

1 1.28 0.71 0.00 0.00 1.42 0.20 0.00 0.09 0.00

time (sec)

N/A 0.470 0.466 0.000 0.000 0.108 1.201 0.000 0.207 0.000

Problem 996

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

190 259 125 0 0 262 46 0 39 0

N.S.

1 1.36 0.66 0.00 0.00 1.38 0.24 0.00 0.21 0.00

time (sec)

N/A 0.427 0.300 0.000 0.000 0.099 0.776 0.000 0.234 0.000

Problem 997

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 29 27 22 0 26 88 0 75 26

N.S.

1 1.00 0.93 0.76 0.00 0.90 3.03 0.00 2.59 0.90

time (sec)

N/A 0.148 0.161 0.301 0.000 0.089 1.775 0.000 0.230 0.485

Problem 998

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

60 59 37 32 0 36 343 0 97 41

N.S.

1 0.98 0.62 0.53 0.00 0.60 5.72 0.00 1.62 0.68

time (sec)

N/A 0.173 0.184 0.290 0.000 0.090 20.137 0.000 0.249 0.523

Problem 999

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

92 96 48 43 0 47 1221 0 116 55

N.S.

1 1.04 0.52 0.47 0.00 0.51 13.27 0.00 1.26 0.60

time (sec)

N/A 0.199 0.204 0.278 0.000 0.093 171.189 0.000 0.302 0.528

Problem 1000

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

128 131 71 0 0 0 46 0 24 0

N.S.

1 1.02 0.55 0.00 0.00 0.00 0.36 0.00 0.19 0.00

time (sec)

N/A 0.252 10.020 0.000 0.000 0.000 2.998 0.000 0.225 0.000

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