[next] [tail] [up]

2.2.1 Integrals 1 to 100

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

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

114 114 68 193 203 92 0 111 171

N.S.

1 1.00 0.60 1.69 1.78 0.81 0.00 0.97 1.50

time (sec)

N/A 0.084 0.049 0.109 0.265 0.349 0.000 0.415 1.257

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

90 90 60 173 166 84 0 0 133

N.S.

1 1.00 0.67 1.92 1.84 0.93 0.00 0.00 1.48

time (sec)

N/A 0.063 0.035 0.081 0.261 0.331 0.000 0.000 0.063

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

63 63 49 152 128 73 0 77 98

N.S.

1 1.00 0.78 2.41 2.03 1.16 0.00 1.22 1.56

time (sec)

N/A 0.042 0.025 0.079 0.256 0.345 0.000 0.410 0.063

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

36 36 41 97 90 64 0 57 58

N.S.

1 1.00 1.14 2.69 2.50 1.78 0.00 1.58 1.61

time (sec)

N/A 0.024 0.017 0.075 0.256 0.321 0.000 0.411 0.044

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

22 22 36 131 69 57 0 63 37

N.S.

1 1.00 1.64 5.95 3.14 2.59 0.00 2.86 1.68

time (sec)

N/A 0.029 0.011 0.074 0.467 0.345 0.000 0.405 1.180

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

24 24 27 220 53 46 0 66 55

N.S.

1 1.00 1.12 9.17 2.21 1.92 0.00 2.75 2.29

time (sec)

N/A 0.016 0.015 0.092 0.465 0.352 0.000 0.398 0.055

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

38 38 42 260 91 60 0 143 81

N.S.

1 1.00 1.11 6.84 2.39 1.58 0.00 3.76 2.13

time (sec)

N/A 0.022 0.031 0.095 0.457 0.341 0.000 0.398 1.203

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

75 75 51 284 136 68 0 148 105

N.S.

1 1.00 0.68 3.79 1.81 0.91 0.00 1.97 1.40

time (sec)

N/A 0.042 0.054 0.098 0.476 0.377 0.000 0.415 0.064

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

88 88 59 308 172 76 0 226 129

N.S.

1 1.00 0.67 3.50 1.95 0.86 0.00 2.57 1.47

time (sec)

N/A 0.057 0.064 0.100 0.469 0.347 0.000 0.413 0.085

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

43 43 43 42 43 42 37 47 38

N.S.

1 1.00 1.00 0.98 1.00 0.98 0.86 1.09 0.88

time (sec)

N/A 0.038 0.014 0.102 0.259 0.375 0.047 0.409 0.036

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 33 33 34 34 33 27 38 30

N.S.

1 1.00 1.00 1.03 1.03 1.00 0.82 1.15 0.91

time (sec)

N/A 0.033 0.011 0.081 0.253 0.345 0.047 0.412 0.036

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 26 26 27 26 25 20 30 23

N.S.

1 1.00 1.00 1.04 1.00 0.96 0.77 1.15 0.88

time (sec)

N/A 0.022 0.009 0.081 0.248 0.323 0.035 0.411 0.041

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

14 14 14 14 13 16 10 14 13

N.S.

1 1.00 1.00 1.00 0.93 1.14 0.71 1.00 0.93

time (sec)

N/A 0.009 0.010 0.093 0.250 0.348 0.028 0.397 1.171

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

14 14 14 14 13 13 10 15 14

N.S.

1 1.00 1.00 1.00 0.93 0.93 0.71 1.07 1.00

time (sec)

N/A 0.026 0.006 0.079 0.252 0.367 0.064 0.423 0.043

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

19 19 19 19 18 22 15 20 14

N.S.

1 1.00 1.00 1.00 0.95 1.16 0.79 1.05 0.74

time (sec)

N/A 0.030 0.008 0.101 0.260 0.335 0.067 0.418 1.190

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 33 33 31 30 35 26 32 23

N.S.

1 1.00 1.00 0.94 0.91 1.06 0.79 0.97 0.70

time (sec)

N/A 0.030 0.009 0.114 0.256 0.334 0.094 0.406 0.044

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 40 38 38 43 34 40 30

N.S.

1 1.00 1.00 0.95 0.95 1.08 0.85 1.00 0.75

time (sec)

N/A 0.034 0.011 0.111 0.263 0.349 0.091 0.391 0.042

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

118 118 75 471 182 112 0 0 154

N.S.

1 1.00 0.64 3.99 1.54 0.95 0.00 0.00 1.31

time (sec)

N/A 0.738 0.055 0.097 0.251 0.337 0.000 0.000 1.257

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

92 92 66 421 145 103 0 0 117

N.S.

1 1.00 0.72 4.58 1.58 1.12 0.00 0.00 1.27

time (sec)

N/A 0.645 0.048 0.095 0.255 0.343 0.000 0.000 0.065

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

62 62 54 248 110 92 0 0 59

N.S.

1 1.00 0.87 4.00 1.77 1.48 0.00 0.00 0.95

time (sec)

N/A 0.585 0.034 0.093 0.253 0.367 0.000 0.000 1.293

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

46 46 53 372 90 104 0 0 54

N.S.

1 1.00 1.15 8.09 1.96 2.26 0.00 0.00 1.17

time (sec)

N/A 0.563 0.042 0.084 0.459 0.353 0.000 0.000 0.037

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

51 51 41 593 72 74 0 0 57

N.S.

1 1.00 0.80 11.63 1.41 1.45 0.00 0.00 1.12

time (sec)

N/A 0.048 0.061 0.100 0.457 0.358 0.000 0.000 0.049

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

91 91 56 642 110 88 0 0 83

N.S.

1 1.00 0.62 7.05 1.21 0.97 0.00 0.00 0.91

time (sec)

N/A 0.294 0.068 0.100 0.479 0.365 0.000 0.000 0.076

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

93 93 66 666 154 96 0 0 152

N.S.

1 1.00 0.71 7.16 1.66 1.03 0.00 0.00 1.63

time (sec)

N/A 0.484 0.084 0.102 0.460 0.355 0.000 0.000 1.240

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

57 57 57 55 58 66 49 78 57

N.S.

1 1.00 1.00 0.96 1.02 1.16 0.86 1.37 1.00

time (sec)

N/A 0.044 0.033 0.127 0.258 0.336 0.089 0.402 0.044

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

47 47 47 47 49 57 39 69 49

N.S.

1 1.00 1.00 1.00 1.04 1.21 0.83 1.47 1.04

time (sec)

N/A 0.039 0.027 0.131 0.259 0.357 0.077 0.399 1.167

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

39 39 39 39 41 49 31 64 38

N.S.

1 1.00 1.00 1.00 1.05 1.26 0.79 1.64 0.97

time (sec)

N/A 0.026 0.022 0.125 0.261 0.348 0.064 0.397 0.042

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 27 26 26 26 38 19 46 25

N.S.

1 1.00 0.96 0.96 0.96 1.41 0.70 1.70 0.93

time (sec)

N/A 0.012 0.015 0.123 0.263 0.348 0.060 0.410 0.036

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

13 13 13 13 12 18 8 57 12

N.S.

1 1.00 1.00 1.00 0.92 1.38 0.62 4.38 0.92

time (sec)

N/A 0.028 0.008 0.131 0.258 0.337 0.093 0.403 0.034

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

32 32 32 31 34 55 26 40 28

N.S.

1 1.00 1.00 0.97 1.06 1.72 0.81 1.25 0.88

time (sec)

N/A 0.032 0.019 0.162 0.260 0.334 0.119 0.401 0.052

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 46 43 48 73 41 62 41

N.S.

1 1.00 1.00 0.93 1.04 1.59 0.89 1.35 0.89

time (sec)

N/A 0.036 0.023 0.181 0.255 0.334 0.139 0.398 1.196

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

54 54 54 51 56 81 49 74 49

N.S.

1 1.00 1.00 0.94 1.04 1.50 0.91 1.37 0.91

time (sec)

N/A 0.039 0.033 0.187 0.250 0.346 0.170 0.396 0.062

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

114 114 68 193 203 91 0 0 172

N.S.

1 1.00 0.60 1.69 1.78 0.80 0.00 0.00 1.51

time (sec)

N/A 0.088 0.046 0.089 0.255 0.343 0.000 0.000 1.213

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

90 90 60 173 166 83 0 86 134

N.S.

1 1.00 0.67 1.92 1.84 0.92 0.00 0.96 1.49

time (sec)

N/A 0.068 0.037 0.087 0.252 0.339 0.000 0.418 0.054

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

64 64 49 152 130 73 0 71 97

N.S.

1 1.00 0.77 2.38 2.03 1.14 0.00 1.11 1.52

time (sec)

N/A 0.047 0.026 0.080 0.259 0.339 0.000 0.420 0.057

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

37 37 42 98 90 64 0 52 58

N.S.

1 1.00 1.14 2.65 2.43 1.73 0.00 1.41 1.57

time (sec)

N/A 0.026 0.018 0.076 0.256 0.360 0.000 0.413 1.189

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

20 20 34 133 70 57 0 59 37

N.S.

1 1.00 1.70 6.65 3.50 2.85 0.00 2.95 1.85

time (sec)

N/A 0.032 0.011 0.069 0.463 0.347 0.000 0.409 0.031

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

25 25 26 220 55 47 0 0 55

N.S.

1 1.00 1.04 8.80 2.20 1.88 0.00 0.00 2.20

time (sec)

N/A 0.018 0.015 0.083 0.468 0.340 0.000 0.000 1.198

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

40 40 41 260 93 60 0 157 82

N.S.

1 1.00 1.02 6.50 2.32 1.50 0.00 3.92 2.05

time (sec)

N/A 0.024 0.034 0.089 0.458 0.344 0.000 0.407 1.201

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

76 76 52 284 137 68 0 0 105

N.S.

1 1.00 0.68 3.74 1.80 0.89 0.00 0.00 1.38

time (sec)

N/A 0.046 0.057 0.089 0.464 0.341 0.000 0.000 1.204

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

88 88 59 308 173 77 0 258 129

N.S.

1 1.00 0.67 3.50 1.97 0.88 0.00 2.93 1.47

time (sec)

N/A 0.061 0.066 0.095 0.476 0.337 0.000 0.415 1.221

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

42 42 42 42 43 42 37 47 38

N.S.

1 1.00 1.00 1.00 1.02 1.00 0.88 1.12 0.90

time (sec)

N/A 0.039 0.021 0.095 0.249 0.330 0.044 0.410 1.171

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 33 33 35 34 33 27 38 31

N.S.

1 1.00 1.00 1.06 1.03 1.00 0.82 1.15 0.94

time (sec)

N/A 0.033 0.021 0.081 0.248 0.343 0.035 0.402 0.037

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 25 25 27 26 25 20 30 23

N.S.

1 1.00 1.00 1.08 1.04 1.00 0.80 1.20 0.92

time (sec)

N/A 0.022 0.019 0.083 0.261 0.320 0.033 0.406 0.039

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

13 13 13 14 13 16 10 14 13

N.S.

1 1.00 1.00 1.08 1.00 1.23 0.77 1.08 1.00

time (sec)

N/A 0.009 0.020 0.078 0.249 0.325 0.034 0.412 0.029

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

13 13 13 14 13 13 10 15 14

N.S.

1 1.00 1.00 1.08 1.00 1.00 0.77 1.15 1.08

time (sec)

N/A 0.025 0.012 0.089 0.249 0.340 0.058 0.408 0.043

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 18 18 19 18 23 15 20 14

N.S.

1 1.00 1.00 1.06 1.00 1.28 0.83 1.11 0.78

time (sec)

N/A 0.028 0.010 0.119 0.252 0.333 0.075 0.405 1.196

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

32 32 32 31 30 35 26 32 24

N.S.

1 1.00 1.00 0.97 0.94 1.09 0.81 1.00 0.75

time (sec)

N/A 0.030 0.012 0.120 0.260 0.352 0.077 0.411 0.044

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 40 39 38 43 34 40 31

N.S.

1 1.00 1.00 0.98 0.95 1.08 0.85 1.00 0.78

time (sec)

N/A 0.031 0.020 0.121 0.252 0.373 0.089 0.408 1.211

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

136 136 83 539 223 92 0 0 192

N.S.

1 1.00 0.61 3.96 1.64 0.68 0.00 0.00 1.41

time (sec)

N/A 0.717 0.107 0.106 0.254 0.349 0.000 0.000 0.076

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

116 116 75 471 186 84 0 0 156

N.S.

1 1.00 0.65 4.06 1.60 0.72 0.00 0.00 1.34

time (sec)

N/A 0.611 0.135 0.105 0.258 0.336 0.000 0.000 0.058

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

90 90 66 421 151 75 0 0 120

N.S.

1 1.00 0.73 4.68 1.68 0.83 0.00 0.00 1.33

time (sec)

N/A 0.590 0.044 0.100 0.260 0.334 0.000 0.000 1.223

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

60 60 54 248 111 66 0 0 78

N.S.

1 1.00 0.90 4.13 1.85 1.10 0.00 0.00 1.30

time (sec)

N/A 0.552 0.035 0.091 0.255 0.333 0.000 0.000 0.040

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

46 46 55 369 89 74 0 0 54

N.S.

1 1.00 1.20 8.02 1.93 1.61 0.00 0.00 1.17

time (sec)

N/A 0.529 0.060 0.083 0.452 0.389 0.000 0.000 0.033

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

53 53 41 594 72 49 0 0 59

N.S.

1 1.00 0.77 11.21 1.36 0.92 0.00 0.00 1.11

time (sec)

N/A 0.052 0.099 0.105 0.457 0.372 0.000 0.000 0.048

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

87 87 56 641 112 61 0 0 118

N.S.

1 1.00 0.64 7.37 1.29 0.70 0.00 0.00 1.36

time (sec)

N/A 0.285 0.188 0.109 0.461 0.335 0.000 0.000 0.059

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

96 96 66 666 157 69 0 0 153

N.S.

1 1.00 0.69 6.94 1.64 0.72 0.00 0.00 1.59

time (sec)

N/A 0.480 0.167 0.112 0.470 0.351 0.000 0.000 1.232

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

133 133 75 690 193 77 0 0 190

N.S.

1 1.00 0.56 5.19 1.45 0.58 0.00 0.00 1.43

time (sec)

N/A 0.541 0.036 0.125 0.469 0.331 0.000 0.000 1.236

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

253 253 173 0 259 119 0 234 229

N.S.

1 1.00 0.68 0.00 1.02 0.47 0.00 0.92 0.91

time (sec)

N/A 0.101 5.146 0.006 0.458 0.340 0.000 0.468 0.107

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

216 216 149 0 224 111 0 203 192

N.S.

1 1.00 0.69 0.00 1.04 0.51 0.00 0.94 0.89

time (sec)

N/A 0.081 5.123 0.005 0.456 0.361 0.000 0.456 1.242

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F A A F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

179 179 399 0 187 103 0 172 157

N.S.

1 1.00 2.23 0.00 1.04 0.58 0.00 0.96 0.88

time (sec)

N/A 0.062 4.342 0.004 0.460 0.357 0.000 0.446 0.081

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

142 142 66 0 149 93 0 139 120

N.S.

1 1.00 0.46 0.00 1.05 0.65 0.00 0.98 0.85

time (sec)

N/A 0.041 0.112 0.003 0.477 0.414 0.000 0.437 0.077

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

96 96 51 0 111 84 0 108 78

N.S.

1 1.00 0.53 0.00 1.16 0.88 0.00 1.12 0.81

time (sec)

N/A 0.025 0.061 0.003 0.465 0.370 0.000 0.431 0.065

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

291 291 30 0 224 291 0 232 101

N.S.

1 1.00 0.10 0.00 0.77 1.00 0.00 0.80 0.35

time (sec)

N/A 0.172 0.031 0.014 0.474 0.366 0.000 0.424 0.083

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

267 267 148 0 186 396 0 186 87

N.S.

1 1.00 0.55 0.00 0.70 1.48 0.00 0.70 0.33

time (sec)

N/A 0.158 0.165 0.003 0.465 0.399 0.000 0.447 1.195

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

319 319 173 0 226 413 0 223 132

N.S.

1 1.00 0.54 0.00 0.71 1.29 0.00 0.70 0.41

time (sec)

N/A 0.177 0.153 0.002 0.469 0.352 0.000 0.436 0.075

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

356 356 93 0 270 427 0 271 168

N.S.

1 1.00 0.26 0.00 0.76 1.20 0.00 0.76 0.47

time (sec)

N/A 0.193 0.078 0.004 0.466 0.417 0.000 0.446 1.211

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

253 253 173 0 259 119 0 234 229

N.S.

1 1.00 0.68 0.00 1.02 0.47 0.00 0.92 0.91

time (sec)

N/A 0.093 5.159 0.006 0.468 0.344 0.000 0.528 0.095

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

216 216 149 0 224 111 0 203 192

N.S.

1 1.00 0.69 0.00 1.04 0.51 0.00 0.94 0.89

time (sec)

N/A 0.082 5.129 0.004 0.463 0.368 0.000 0.511 1.215

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F A A F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

179 179 399 0 187 103 0 172 157

N.S.

1 1.00 2.23 0.00 1.04 0.58 0.00 0.96 0.88

time (sec)

N/A 0.061 7.009 0.003 0.472 0.394 0.000 0.479 0.085

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

142 142 70 0 152 95 0 141 120

N.S.

1 1.00 0.49 0.00 1.07 0.67 0.00 0.99 0.85

time (sec)

N/A 0.038 0.122 0.004 0.473 0.352 0.000 0.481 1.206

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

98 98 56 0 112 86 0 109 79

N.S.

1 1.00 0.57 0.00 1.14 0.88 0.00 1.11 0.81

time (sec)

N/A 0.025 0.045 0.003 0.461 0.377 0.000 0.447 1.186

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

291 291 30 0 224 291 0 232 101

N.S.

1 1.00 0.10 0.00 0.77 1.00 0.00 0.80 0.35

time (sec)

N/A 0.166 0.035 0.013 0.460 0.366 0.000 0.448 0.052

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

268 268 46 0 187 376 0 187 88

N.S.

1 1.00 0.17 0.00 0.70 1.40 0.00 0.70 0.33

time (sec)

N/A 0.150 0.051 0.001 0.480 0.367 0.000 0.426 0.078

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

319 319 76 0 229 405 0 225 132

N.S.

1 1.00 0.24 0.00 0.72 1.27 0.00 0.71 0.41

time (sec)

N/A 0.173 0.058 0.002 0.456 0.358 0.000 0.451 0.089

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

356 356 93 0 277 413 0 271 168

N.S.

1 1.00 0.26 0.00 0.78 1.16 0.00 0.76 0.47

time (sec)

N/A 0.193 0.088 0.003 0.456 0.379 0.000 0.463 1.212

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

287 287 198 0 275 152 0 254 248

N.S.

1 1.00 0.69 0.00 0.96 0.53 0.00 0.89 0.86

time (sec)

N/A 0.110 5.168 0.004 0.467 0.383 0.000 0.478 1.264

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

250 250 161 0 238 144 0 223 211

N.S.

1 1.00 0.64 0.00 0.95 0.58 0.00 0.89 0.84

time (sec)

N/A 0.094 5.155 0.005 0.458 0.345 0.000 0.456 0.143

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F A A F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

213 213 441 0 203 136 0 192 176

N.S.

1 1.00 2.07 0.00 0.95 0.64 0.00 0.90 0.83

time (sec)

N/A 0.076 6.626 0.004 0.464 0.362 0.000 0.448 0.092

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

176 176 80 0 166 128 0 161 139

N.S.

1 1.00 0.45 0.00 0.94 0.73 0.00 0.91 0.79

time (sec)

N/A 0.046 0.152 0.003 0.464 0.366 0.000 0.471 1.210

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

130 130 67 0 131 117 0 141 98

N.S.

1 1.00 0.52 0.00 1.01 0.90 0.00 1.08 0.75

time (sec)

N/A 0.031 0.089 0.003 0.471 0.371 0.000 0.454 0.064

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

320 320 30 0 244 358 0 252 118

N.S.

1 1.00 0.09 0.00 0.76 1.12 0.00 0.79 0.37

time (sec)

N/A 0.203 0.050 0.012 0.467 0.360 0.000 0.450 1.180

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

299 299 173 0 204 451 0 217 107

N.S.

1 1.00 0.58 0.00 0.68 1.51 0.00 0.73 0.36

time (sec)

N/A 0.175 0.467 0.003 0.468 0.388 0.000 0.421 1.217

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

351 351 186 0 244 469 0 243 152

N.S.

1 1.00 0.53 0.00 0.70 1.34 0.00 0.69 0.43

time (sec)

N/A 0.203 0.339 0.004 0.459 0.373 0.000 0.459 0.084

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

385 385 104 0 288 477 0 291 188

N.S.

1 1.00 0.27 0.00 0.75 1.24 0.00 0.76 0.49

time (sec)

N/A 0.214 0.206 0.003 0.462 0.378 0.000 0.452 1.264

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

253 253 173 0 259 119 0 234 229

N.S.

1 1.00 0.68 0.00 1.02 0.47 0.00 0.92 0.91

time (sec)

N/A 0.095 5.215 0.003 0.466 0.351 0.000 0.440 0.080

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

216 216 149 0 224 111 0 203 193

N.S.

1 1.00 0.69 0.00 1.04 0.51 0.00 0.94 0.89

time (sec)

N/A 0.082 5.159 0.004 0.466 0.347 0.000 0.455 1.210

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F A A F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

179 179 389 0 187 102 0 172 157

N.S.

1 1.00 2.17 0.00 1.04 0.57 0.00 0.96 0.88

time (sec)

N/A 0.063 5.718 0.003 0.461 0.346 0.000 0.440 1.202

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

142 142 66 0 151 93 0 140 121

N.S.

1 1.00 0.46 0.00 1.06 0.65 0.00 0.99 0.85

time (sec)

N/A 0.041 0.115 0.003 0.464 0.332 0.000 0.440 0.061

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

97 97 33 0 111 84 0 108 79

N.S.

1 1.00 0.34 0.00 1.14 0.87 0.00 1.11 0.81

time (sec)

N/A 0.026 0.034 0.002 0.463 0.373 0.000 0.425 1.181

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

291 291 30 0 224 291 0 232 101

N.S.

1 1.00 0.10 0.00 0.77 1.00 0.00 0.80 0.35

time (sec)

N/A 0.165 0.035 0.012 0.467 0.338 0.000 0.427 1.176

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

268 268 33 0 186 368 0 186 88

N.S.

1 1.00 0.12 0.00 0.69 1.37 0.00 0.69 0.33

time (sec)

N/A 0.153 0.035 0.002 0.460 0.351 0.000 0.418 1.186

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

319 319 56 0 227 396 0 223 132

N.S.

1 1.00 0.18 0.00 0.71 1.24 0.00 0.70 0.41

time (sec)

N/A 0.173 0.050 0.003 0.459 0.382 0.000 0.439 0.065

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

356 356 93 0 277 412 0 271 169

N.S.

1 1.00 0.26 0.00 0.78 1.16 0.00 0.76 0.47

time (sec)

N/A 0.194 0.086 0.003 0.465 0.382 0.000 0.438 0.069

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

253 253 173 0 259 119 0 234 229

N.S.

1 1.00 0.68 0.00 1.02 0.47 0.00 0.92 0.91

time (sec)

N/A 0.097 5.212 0.006 0.467 0.407 0.000 0.480 1.214

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

216 216 149 0 224 111 0 203 193

N.S.

1 1.00 0.69 0.00 1.04 0.51 0.00 0.94 0.89

time (sec)

N/A 0.078 5.174 0.004 0.478 0.406 0.000 0.489 1.180

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F A A F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

179 179 389 0 187 103 0 172 157

N.S.

1 1.00 2.17 0.00 1.04 0.58 0.00 0.96 0.88

time (sec)

N/A 0.060 6.133 0.004 0.464 0.398 0.000 0.458 0.057

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

142 142 70 0 152 95 0 141 121

N.S.

1 1.00 0.49 0.00 1.07 0.67 0.00 0.99 0.85

time (sec)

N/A 0.040 0.128 0.002 0.464 0.367 0.000 0.462 1.186

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

98 98 55 0 112 86 0 109 79

N.S.

1 1.00 0.56 0.00 1.14 0.88 0.00 1.11 0.81

time (sec)

N/A 0.024 0.078 0.003 0.463 0.345 0.000 0.425 1.183

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

291 291 28 0 224 291 0 232 101

N.S.

1 1.00 0.10 0.00 0.77 1.00 0.00 0.80 0.35

time (sec)

N/A 0.159 0.049 0.013 0.471 0.419 0.000 0.431 1.181

[next] [front] [up]