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

Integrals 9901 to 10000

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 9901

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 26 15 15 0 14 15 14 15

N.S.

1 1.53 0.88 0.88 0.00 0.82 0.88 0.82 0.88

time (sec)

N/A 0.167 0.114 1.457 0.000 0.275 0.160 0.275 15.191

Problem 9902

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 23 23 22 28 20 26 0 19

N.S.

1 0.79 0.79 0.76 0.97 0.69 0.90 0.00 0.66

time (sec)

N/A 0.181 0.037 2.401 0.332 0.278 0.580 0.000 14.698

Problem 9903

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 22 23 22 22 23 20 23 23

N.S.

1 1.10 1.15 1.10 1.10 1.15 1.00 1.15 1.15

time (sec)

N/A 0.085 0.026 0.704 0.209 0.276 0.394 0.277 0.147

Problem 9904

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 15 17 12 11 17 8 11 13

N.S.

1 0.47 0.53 0.38 0.34 0.53 0.25 0.34 0.41

time (sec)

N/A 0.007 0.009 1.783 0.205 0.258 0.030 0.262 14.163

Problem 9905

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 11 9 8 7 7 5 7 8

N.S.

1 0.58 0.47 0.42 0.37 0.37 0.26 0.37 0.42

time (sec)

N/A 0.001 0.001 0.041 0.199 0.248 0.018 0.265 0.043

Problem 9906

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 19 20 19 28 15 39 20

N.S.

1 1.00 1.00 1.05 1.00 1.47 0.79 2.05 1.05

time (sec)

N/A 0.038 0.026 0.207 0.201 0.273 0.076 0.266 14.618

Problem 9907

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

11 21 12 11 20 20 17 20 10

N.S.

1 1.91 1.09 1.00 1.82 1.82 1.55 1.82 0.91

time (sec)

N/A 0.003 0.001 0.102 0.206 0.252 0.028 0.266 15.315

Problem 9908

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 41 41 29 69 94 24 254 61

N.S.

1 1.46 1.46 1.04 2.46 3.36 0.86 9.07 2.18

time (sec)

N/A 0.116 0.276 0.338 0.300 0.282 0.150 0.377 0.356

Problem 9909

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B A A B B

verified

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

size

31 0 28 27 185 26 24 59 61

N.S.

1 0.00 0.90 0.87 5.97 0.84 0.77 1.90 1.97

time (sec)

N/A 0.000 0.106 5.265 0.450 0.261 0.442 1.681 17.851

Problem 9910

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 25 25 22 21 23 19 21 20

N.S.

1 0.89 0.89 0.79 0.75 0.82 0.68 0.75 0.71

time (sec)

N/A 0.033 0.012 0.093 0.195 0.250 0.074 0.261 16.317

Problem 9911

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

22 0 34 29 0 50 26 530 29

N.S.

1 0.00 1.55 1.32 0.00 2.27 1.18 24.09 1.32

time (sec)

N/A 0.000 2.429 8.655 0.000 0.261 0.222 0.295 16.884

Problem 9912

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A B A B B

verified

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

size

25 0 27 21 20 43 20 43 21

N.S.

1 0.00 1.08 0.84 0.80 1.72 0.80 1.72 0.84

time (sec)

N/A 0.000 0.209 0.643 0.341 0.270 0.128 0.277 16.663

Problem 9913

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 26 21 23 20 20 26 61 17

N.S.

1 1.00 0.81 0.88 0.77 0.77 1.00 2.35 0.65

time (sec)

N/A 19.722 8.943 1.054 0.198 0.259 34.719 0.969 14.427

Problem 9914

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 30 61 24 53 23 22 25 24

N.S.

1 1.15 2.35 0.92 2.04 0.88 0.85 0.96 0.92

time (sec)

N/A 0.368 0.114 0.909 0.311 0.288 0.103 0.296 14.914

Problem 9915

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B A A A B

verified

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

size

34 0 41 44 104 43 37 44 43

N.S.

1 0.00 1.21 1.29 3.06 1.26 1.09 1.29 1.26

time (sec)

N/A 0.000 0.181 5.692 0.346 0.269 0.270 2.987 18.565

Problem 9916

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 16 11 10 10 15 10 11

N.S.

1 1.00 0.94 0.65 0.59 0.59 0.88 0.59 0.65

time (sec)

N/A 0.004 0.018 0.157 0.186 0.255 0.042 0.252 0.068

Problem 9917

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 19 22 21 45 17 39 21

N.S.

1 1.00 0.86 1.00 0.95 2.05 0.77 1.77 0.95

time (sec)

N/A 0.087 0.024 1.539 0.209 0.269 0.087 0.269 0.265

Problem 9918

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 18 13 11 10 10 10 10 10

N.S.

1 1.38 1.00 0.85 0.77 0.77 0.77 0.77 0.77

time (sec)

N/A 0.032 0.016 0.230 0.193 0.269 0.051 0.250 14.975

Problem 9919

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A F B

verified

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

size

36 0 36 29 28 34 29 0 26

N.S.

1 0.00 1.00 0.81 0.78 0.94 0.81 0.00 0.72

time (sec)

N/A 0.000 3.924 0.445 0.286 0.293 0.437 0.000 0.168

Problem 9920

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C B B F B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 553 51 49 0 57 206 61 62

N.S.

1 25.14 2.32 2.23 0.00 2.59 9.36 2.77 2.82

time (sec)

N/A 0.851 9.581 0.339 0.000 0.275 0.505 0.259 13.657

Problem 9921

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

27 0 46 24 44 44 20 44 23

N.S.

1 0.00 1.70 0.89 1.63 1.63 0.74 1.63 0.85

time (sec)

N/A 0.000 3.016 0.178 0.250 0.263 0.088 0.263 13.810

Problem 9922

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

27 0 36 274 33 31 0 40 31

N.S.

1 0.00 1.33 10.15 1.22 1.15 0.00 1.48 1.15

time (sec)

N/A 0.000 0.480 11.712 0.485 0.286 0.000 1.842 20.557

Problem 9923

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 22 20 21 27 25 26 27 22

N.S.

1 0.71 0.65 0.68 0.87 0.81 0.84 0.87 0.71

time (sec)

N/A 0.012 0.013 0.166 0.186 0.257 0.216 0.258 0.100

Problem 9924

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A B A F B

verified

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

size

21 0 21 18 17 45 17 0 19

N.S.

1 0.00 1.00 0.86 0.81 2.14 0.81 0.00 0.90

time (sec)

N/A 0.000 1.878 10.190 0.270 0.278 32.890 0.000 14.607

Problem 9925

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 14 14 14 13 13 12 17 13

N.S.

1 0.78 0.78 0.78 0.72 0.72 0.67 0.94 0.72

time (sec)

N/A 0.103 0.579 1.499 0.235 0.257 0.166 0.266 14.776

Problem 9926

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F B A F B

verified

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

size

32 0 33 30 0 94 29 0 34

N.S.

1 0.00 1.03 0.94 0.00 2.94 0.91 0.00 1.06

time (sec)

N/A 0.000 0.269 24.020 0.000 0.292 0.332 0.000 16.434

Problem 9927

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 15 14 14 14 14 14

N.S.

1 1.00 1.00 1.00 0.93 0.93 0.93 0.93 0.93

time (sec)

N/A 0.011 0.011 0.267 0.221 0.278 0.097 0.253 14.645

Problem 9928

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 36 35 29 61 43 39 43 25

N.S.

1 1.29 1.25 1.04 2.18 1.54 1.39 1.54 0.89

time (sec)

N/A 0.044 0.041 0.359 0.213 0.269 0.097 0.262 15.224

Problem 9929

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A B A A B B B

verified

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

size

25 0 34 50 44 35 65 51 51

N.S.

1 0.00 1.36 2.00 1.76 1.40 2.60 2.04 2.04

time (sec)

N/A 0.000 3.558 0.311 0.240 0.277 0.109 0.272 15.148

Problem 9930

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 28 34 37 35 36 48 36 34

N.S.

1 1.33 1.62 1.76 1.67 1.71 2.29 1.71 1.62

time (sec)

N/A 0.044 0.025 0.741 0.200 0.264 0.712 0.252 0.278

Problem 9931

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 22 19 40 22 17 18 33

N.S.

1 1.00 1.00 0.86 1.82 1.00 0.77 0.82 1.50

time (sec)

N/A 0.024 0.023 0.968 0.189 0.259 0.066 0.260 15.501

Problem 9932

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

25 0 28 25 0 24 134 26 27

N.S.

1 0.00 1.12 1.00 0.00 0.96 5.36 1.04 1.08

time (sec)

N/A 0.000 0.042 0.815 0.000 0.259 2.378 0.266 0.203

Problem 9933

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B A A F B

verified

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

size

28 0 26 32 91 34 17 0 20

N.S.

1 0.00 0.93 1.14 3.25 1.21 0.61 0.00 0.71

time (sec)

N/A 0.000 2.133 0.341 0.342 0.261 0.363 0.000 15.724

Problem 9934

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

27 0 27 23 26 22 31 37 0

N.S.

1 0.00 1.00 0.85 0.96 0.81 1.15 1.37 0.00

time (sec)

N/A 0.000 0.099 47.987 0.335 0.259 0.452 0.343 0.000

Problem 9935

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 21 50 33 141 42 40 33

N.S.

1 1.00 0.91 2.17 1.43 6.13 1.83 1.74 1.43

time (sec)

N/A 0.651 0.428 1.449 0.378 0.270 0.393 0.271 16.312

Problem 9936

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 25 29 23 25 21 19 25 22

N.S.

1 0.86 1.00 0.79 0.86 0.72 0.66 0.86 0.76

time (sec)

N/A 0.253 0.064 0.895 0.244 0.281 0.155 0.287 16.416

Problem 9937

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 16 29 15 14 27 15

N.S.

1 1.00 1.00 0.94 1.71 0.88 0.82 1.59 0.88

time (sec)

N/A 0.022 0.084 0.914 0.248 0.249 0.068 0.258 15.230

Problem 9938

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

34 0 33 37 37 37 27 37 29

N.S.

1 0.00 0.97 1.09 1.09 1.09 0.79 1.09 0.85

time (sec)

N/A 0.000 0.334 4.223 0.320 0.261 0.105 0.272 15.372

Problem 9939

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B A A F B

verified

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

size

22 0 18 17 36 16 17 0 16

N.S.

1 0.00 0.82 0.77 1.64 0.73 0.77 0.00 0.73

time (sec)

N/A 0.000 0.208 2.249 0.383 0.268 0.364 0.000 15.701

Problem 9940

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C C A A A A C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 72 70 33 32 32 34 43 25

N.S.

1 2.88 2.80 1.32 1.28 1.28 1.36 1.72 1.00

time (sec)

N/A 0.028 0.091 0.254 0.185 0.266 0.051 0.268 0.075

Problem 9941

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

32 0 34 30 55 52 27 0 40

N.S.

1 0.00 1.06 0.94 1.72 1.62 0.84 0.00 1.25

time (sec)

N/A 0.000 0.549 0.240 0.349 0.278 1.175 0.000 15.527

Problem 9942

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 45 47 36 31 48 26 54 31

N.S.

1 1.32 1.38 1.06 0.91 1.41 0.76 1.59 0.91

time (sec)

N/A 0.171 0.052 2.308 0.260 0.273 4.556 0.276 15.738

Problem 9943

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

31 0 25 31 26 26 29 26 0

N.S.

1 0.00 0.81 1.00 0.84 0.84 0.94 0.84 0.00

time (sec)

N/A 0.000 6.059 7.396 0.333 0.265 0.102 0.301 0.000

Problem 9944

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 18 16 13 12 12 12 12 14

N.S.

1 0.95 0.84 0.68 0.63 0.63 0.63 0.63 0.74

time (sec)

N/A 0.044 0.024 0.189 0.186 0.260 0.083 0.282 0.076

Problem 9945

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 16 19 16 15 15 14 15 15

N.S.

1 0.64 0.76 0.64 0.60 0.60 0.56 0.60 0.60

time (sec)

N/A 0.012 0.031 0.095 0.188 0.265 0.055 0.287 0.064

Problem 9946

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 60 18 18 0 22 17 21 17

N.S.

1 2.86 0.86 0.86 0.00 1.05 0.81 1.00 0.81

time (sec)

N/A 0.065 0.050 0.319 0.000 0.244 0.140 0.283 14.640

Problem 9947

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 197 36 32 0 36 0 37 69

N.S.

1 5.97 1.09 0.97 0.00 1.09 0.00 1.12 2.09

time (sec)

N/A 0.859 0.094 1.944 0.000 0.262 0.000 0.860 14.235

Problem 9948

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 24 23 23 29 22 26 22 18

N.S.

1 1.33 1.28 1.28 1.61 1.22 1.44 1.22 1.00

time (sec)

N/A 0.036 0.029 0.398 0.217 0.286 0.079 0.284 13.328

Problem 9949

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 28 14 12 24 19 15 24 13

N.S.

1 1.56 0.78 0.67 1.33 1.06 0.83 1.33 0.72

time (sec)

N/A 0.007 0.002 0.261 0.189 0.263 0.057 0.284 13.373

Problem 9950

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 29 14 17 12 16 10 12 13

N.S.

1 2.07 1.00 1.21 0.86 1.14 0.71 0.86 0.93

time (sec)

N/A 0.039 0.019 0.878 0.250 0.282 0.088 0.275 13.425

Problem 9951

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 247 24 43 36 52 49 52 50

N.S.

1 10.29 1.00 1.79 1.50 2.17 2.04 2.17 2.08

time (sec)

N/A 1.020 0.168 2.900 0.306 0.257 0.347 2.231 14.755

Problem 9952

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 22 22 23 22 22 26 22 22

N.S.

1 1.69 1.69 1.77 1.69 1.69 2.00 1.69 1.69

time (sec)

N/A 0.021 0.010 0.241 0.183 0.271 0.055 0.265 14.807

Problem 9953

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

32 0 41 172 46 49 0 0 0

N.S.

1 0.00 1.28 5.38 1.44 1.53 0.00 0.00 0.00

time (sec)

N/A 0.000 0.251 0.201 0.469 0.285 0.000 0.000 0.000

Problem 9954

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A C A A B B

verified

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

size

23 0 24 33 43 33 20 79 22

N.S.

1 0.00 1.04 1.43 1.87 1.43 0.87 3.43 0.96

time (sec)

N/A 0.000 0.280 5.581 0.299 0.276 0.088 0.444 17.969

Problem 9955

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 26 23 23 26 42 24 28 27

N.S.

1 0.90 0.79 0.79 0.90 1.45 0.83 0.97 0.93

time (sec)

N/A 0.045 0.021 0.158 0.184 0.262 0.177 0.274 14.312

Problem 9956

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 28 26 26 26 26 27 26

N.S.

1 1.00 1.00 0.93 0.93 0.93 0.93 0.96 0.93

time (sec)

N/A 0.146 0.027 0.244 0.210 0.268 0.258 0.266 0.166

Problem 9957

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A C A A A B

verified

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

size

25 0 28 26 46 28 26 28 24

N.S.

1 0.00 1.12 1.04 1.84 1.12 1.04 1.12 0.96

time (sec)

N/A 0.000 0.180 0.314 0.236 0.270 0.048 0.281 14.739

Problem 9958

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

33 0 32 36 38 38 37 0 0

N.S.

1 0.00 0.97 1.09 1.15 1.15 1.12 0.00 0.00

time (sec)

N/A 0.000 1.196 272.625 0.227 0.280 0.274 0.000 0.000

Problem 9959

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 19 18 26 69 65 73 206 0

N.S.

1 0.95 0.90 1.30 3.45 3.25 3.65 10.30 0.00

time (sec)

N/A 0.189 0.038 3.302 0.337 0.269 0.221 0.286 0.000

Problem 9960

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 85 70 56 79 57 53 65 47

N.S.

1 2.93 2.41 1.93 2.72 1.97 1.83 2.24 1.62

time (sec)

N/A 0.061 0.016 0.315 0.202 0.273 0.081 0.279 15.186

Problem 9961

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F A A F B

verified

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

size

26 0 29 21 0 20 20 0 20

N.S.

1 0.00 1.12 0.81 0.00 0.77 0.77 0.00 0.77

time (sec)

N/A 0.000 0.619 222.633 0.000 0.280 0.371 0.000 0.427

Problem 9962

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

27 0 26 28 0 42 20 49 73

N.S.

1 0.00 0.96 1.04 0.00 1.56 0.74 1.81 2.70

time (sec)

N/A 0.000 0.606 3.584 0.000 0.267 0.102 0.318 15.877

Problem 9963

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 56 37 39 41 41 54 41 49

N.S.

1 1.93 1.28 1.34 1.41 1.41 1.86 1.41 1.69

time (sec)

N/A 0.013 0.021 0.211 0.194 0.255 0.025 0.266 15.116

Problem 9964

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 45 18 18 17 17 15 17 17

N.S.

1 2.05 0.82 0.82 0.77 0.77 0.68 0.77 0.77

time (sec)

N/A 0.314 0.357 0.089 0.233 0.255 0.061 0.264 15.269

Problem 9965

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 414 147 216 188 182 236 176 189

N.S.

1 14.79 5.25 7.71 6.71 6.50 8.43 6.29 6.75

time (sec)

N/A 0.323 6.224 0.513 0.275 0.278 0.195 0.283 0.282

Problem 9966

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B A A A B

verified

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

size

20 0 21 19 60 18 15 18 18

N.S.

1 0.00 1.05 0.95 3.00 0.90 0.75 0.90 0.90

time (sec)

N/A 0.000 0.335 2.286 0.243 0.270 0.279 1.480 15.100

Problem 9967

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

31 0 35 36 32 32 34 36 36

N.S.

1 0.00 1.13 1.16 1.03 1.03 1.10 1.16 1.16

time (sec)

N/A 0.000 4.101 0.105 0.240 0.271 0.189 0.280 15.310

Problem 9968

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 68 52 56 54 54 61 54 54

N.S.

1 2.52 1.93 2.07 2.00 2.00 2.26 2.00 2.00

time (sec)

N/A 0.281 0.177 0.321 0.275 0.270 0.117 0.280 15.155

Problem 9969

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 28 18 18 21 17 15 19 12

N.S.

1 1.56 1.00 1.00 1.17 0.94 0.83 1.06 0.67

time (sec)

N/A 0.031 0.120 0.192 0.213 0.274 0.133 0.284 15.345

Problem 9970

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 80 89 28 93 59 99 100 185

N.S.

1 3.64 4.05 1.27 4.23 2.68 4.50 4.55 8.41

time (sec)

N/A 0.072 0.049 1.690 0.185 0.281 0.183 0.262 14.443

Problem 9971

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 21 28 19 18 18 19 18 18

N.S.

1 1.05 1.40 0.95 0.90 0.90 0.95 0.90 0.90

time (sec)

N/A 0.016 0.029 0.130 0.183 0.271 0.044 0.282 14.957

Problem 9972

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 74 20 23 90 25 31 25 26

N.S.

1 2.64 0.71 0.82 3.21 0.89 1.11 0.89 0.93

time (sec)

N/A 0.527 2.419 0.545 0.234 0.278 0.092 0.276 0.173

Problem 9973

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 39 20 20 26 20 20 20 18

N.S.

1 1.86 0.95 0.95 1.24 0.95 0.95 0.95 0.86

time (sec)

N/A 0.143 0.301 1.344 0.236 0.270 0.084 0.271 0.111

Problem 9974

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 16 16 15 16 16 15 17 16

N.S.

1 0.73 0.73 0.68 0.73 0.73 0.68 0.77 0.73

time (sec)

N/A 0.008 0.006 0.141 0.208 0.261 0.062 0.294 0.085

Problem 9975

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 10 14 10 9 12 10 9 9

N.S.

1 0.56 0.78 0.56 0.50 0.67 0.56 0.50 0.50

time (sec)

N/A 0.002 0.000 0.126 0.215 0.258 0.021 0.267 0.002

Problem 9976

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

22 0 20 19 18 18 17 22 18

N.S.

1 0.00 0.91 0.86 0.82 0.82 0.77 1.00 0.82

time (sec)

N/A 0.000 0.647 0.976 0.247 0.276 0.079 0.285 0.115

Problem 9977

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 13 13 14 13 13 10 13 13

N.S.

1 0.76 0.76 0.82 0.76 0.76 0.59 0.76 0.76

time (sec)

N/A 0.013 0.002 0.138 0.199 0.264 0.055 0.276 14.417

Problem 9978

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

20 0 19 19 29 29 17 29 20

N.S.

1 0.00 0.95 0.95 1.45 1.45 0.85 1.45 1.00

time (sec)

N/A 0.000 2.086 0.135 0.216 0.269 0.064 0.271 16.068

Problem 9979

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 23 23 23 24 22 20 27 20

N.S.

1 0.79 0.79 0.79 0.83 0.76 0.69 0.93 0.69

time (sec)

N/A 0.036 0.019 0.204 0.197 0.271 0.359 0.277 15.193

Problem 9980

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A B B

verified

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

size

24 0 20 27 24 24 26 50 24

N.S.

1 0.00 0.83 1.12 1.00 1.00 1.08 2.08 1.00

time (sec)

N/A 0.000 0.282 94.447 0.358 0.267 0.453 1.891 19.320

Problem 9981

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 56 25 51 0 49 26 48 0

N.S.

1 1.75 0.78 1.59 0.00 1.53 0.81 1.50 0.00

time (sec)

N/A 0.211 5.074 1.436 0.000 0.273 0.134 0.267 0.000

Problem 9982

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

36 0 104 1104 124 352 413 830 0

N.S.

1 0.00 2.89 30.67 3.44 9.78 11.47 23.06 0.00

time (sec)

N/A 0.000 0.458 6.988 0.444 0.290 1.419 76.990 0.000

Problem 9983

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 20 20 17 18 16 19 18 18

N.S.

1 0.91 0.91 0.77 0.82 0.73 0.86 0.82 0.82

time (sec)

N/A 0.152 0.036 1.400 0.315 0.273 0.130 0.323 15.904

Problem 9984

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 126 101 91 120 78 90 129 74

N.S.

1 7.00 5.61 5.06 6.67 4.33 5.00 7.17 4.11

time (sec)

N/A 0.050 0.023 0.224 0.186 0.276 0.131 0.284 15.222

Problem 9985

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 19 18 19 18 18 17 18 14

N.S.

1 1.12 1.06 1.12 1.06 1.06 1.00 1.06 0.82

time (sec)

N/A 0.026 0.007 0.169 0.179 0.252 0.050 0.274 0.069

Problem 9986

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 36 24 29 65 34 37 161 44

N.S.

1 1.38 0.92 1.12 2.50 1.31 1.42 6.19 1.69

time (sec)

N/A 0.132 0.024 1.995 0.303 0.259 0.212 0.294 14.824

Problem 9987

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 47 32 28 93 34 26 27 41

N.S.

1 1.68 1.14 1.00 3.32 1.21 0.93 0.96 1.46

time (sec)

N/A 0.275 0.090 0.479 0.254 0.257 0.103 0.272 13.772

Problem 9988

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F A A A A A B

verified

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

size

28 31 0 29 31 42 34 31 41

N.S.

1 1.11 0.00 1.04 1.11 1.50 1.21 1.11 1.46

time (sec)

N/A 0.232 0.000 0.390 0.184 0.259 0.195 0.330 13.932

Problem 9989

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A B A B

verified

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

size

31 0 37 40 35 39 39 52 36

N.S.

1 0.00 1.19 1.29 1.13 1.26 1.26 1.68 1.16

time (sec)

N/A 0.000 4.778 0.183 0.250 0.296 0.143 0.297 14.902

Problem 9990

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 24 26 21 19 36 26 21 20

N.S.

1 0.86 0.93 0.75 0.68 1.29 0.93 0.75 0.71

time (sec)

N/A 0.008 0.006 0.182 0.192 0.258 0.055 0.270 0.074

Problem 9991

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

27 0 33 35 61 39 37 0 68

N.S.

1 0.00 1.22 1.30 2.26 1.44 1.37 0.00 2.52

time (sec)

N/A 0.000 0.164 2.097 0.415 0.276 0.255 0.000 15.158

Problem 9992

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

10 5 5 5 4 4 3 4 4

N.S.

1 0.50 0.50 0.50 0.40 0.40 0.30 0.40 0.40

time (sec)

N/A 0.001 0.000 0.167 0.194 0.252 0.039 0.266 0.009

Problem 9993

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 18 28 17 14 14 14 14 16

N.S.

1 1.29 2.00 1.21 1.00 1.00 1.00 1.00 1.14

time (sec)

N/A 0.003 0.000 0.109 0.189 0.241 0.024 0.264 0.002

Problem 9994

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

11 12 13 11 14 14 12 14 13

N.S.

1 1.09 1.18 1.00 1.27 1.27 1.09 1.27 1.18

time (sec)

N/A 0.003 0.000 0.229 0.216 0.243 0.030 0.276 0.044

Problem 9995

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 11 11 11 10 10 7 10 10

N.S.

1 0.92 0.92 0.92 0.83 0.83 0.58 0.83 0.83

time (sec)

N/A 0.002 0.002 0.116 0.190 0.280 0.038 0.266 14.004

Problem 9996

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 17 17 15 14 14 15 14 14

N.S.

1 0.71 0.71 0.62 0.58 0.58 0.62 0.58 0.58

time (sec)

N/A 0.003 0.002 0.200 0.206 0.288 0.023 0.273 0.032

Problem 9997

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A B B

verified

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

size

22 0 24 20 19 31 27 49 20

N.S.

1 0.00 1.09 0.91 0.86 1.41 1.23 2.23 0.91

time (sec)

N/A 0.000 0.497 0.293 0.217 0.261 0.099 0.287 0.107

Problem 9998

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

27 0 28 29 47 25 22 1234 0

N.S.

1 0.00 1.04 1.07 1.74 0.93 0.81 45.70 0.00

time (sec)

N/A 0.000 0.120 4.559 0.353 0.260 0.506 0.605 0.000

Problem 9999

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B A B B A A B

verified

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

size

19 0 41 24 43 43 31 24 24

N.S.

1 0.00 2.16 1.26 2.26 2.26 1.63 1.26 1.26

time (sec)

N/A 0.000 0.334 1.760 0.233 0.278 0.411 0.292 15.730

Problem 10000

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A F A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 141 33 31 0 38 41 0 57

N.S.

1 5.22 1.22 1.15 0.00 1.41 1.52 0.00 2.11

time (sec)

N/A 0.334 0.164 9.621 0.000 0.259 1.116 0.000 15.573

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