[next] [tail] [up]

2.2.1 Integrals 1 to 100

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 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 125 68 117 203 92 0 111 171

N.S.

1 1.10 0.60 1.03 1.78 0.81 0.00 0.97 1.50

time (sec)

N/A 0.346 0.049 0.161 0.210 0.255 0.000 0.278 4.095

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 95 60 109 166 84 0 0 133

N.S.

1 1.06 0.67 1.21 1.84 0.93 0.00 0.00 1.48

time (sec)

N/A 0.304 0.034 0.118 0.214 0.253 0.000 0.000 0.066

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 65 49 100 128 73 0 77 98

N.S.

1 1.03 0.78 1.59 2.03 1.16 0.00 1.22 1.56

time (sec)

N/A 0.264 0.026 0.111 0.217 0.249 0.000 0.273 0.069

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 41 90 90 64 0 57 58

N.S.

1 1.00 1.14 2.50 2.50 1.78 0.00 1.58 1.61

time (sec)

N/A 0.216 0.020 0.107 0.217 0.255 0.000 0.281 0.052

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 26 36 132 69 57 0 63 37

N.S.

1 1.18 1.64 6.00 3.14 2.59 0.00 2.86 1.68

time (sec)

N/A 0.227 0.011 0.118 0.331 0.247 0.000 0.274 4.140

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 28 27 76 53 46 0 66 55

N.S.

1 1.17 1.12 3.17 2.21 1.92 0.00 2.75 2.29

time (sec)

N/A 0.205 0.015 0.126 0.285 0.253 0.000 0.264 0.091

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 60 42 85 91 60 0 143 81

N.S.

1 1.58 1.11 2.24 2.39 1.58 0.00 3.76 2.13

time (sec)

N/A 0.236 0.031 0.134 0.283 0.255 0.000 0.266 4.423

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 90 51 93 136 68 0 148 105

N.S.

1 1.20 0.68 1.24 1.81 0.91 0.00 1.97 1.40

time (sec)

N/A 0.273 0.059 0.129 0.286 0.253 0.000 0.268 0.070

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 120 59 101 172 76 0 226 129

N.S.

1 1.36 0.67 1.15 1.95 0.86 0.00 2.57 1.47

time (sec)

N/A 0.308 0.062 0.138 0.277 0.254 0.000 0.270 0.088

Problem 10

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

43 43 43 39 43 42 37 47 38

N.S.

1 1.00 1.00 0.91 1.00 0.98 0.86 1.09 0.88

time (sec)

N/A 0.289 0.016 0.389 0.200 0.242 0.059 0.257 0.039

Problem 11

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

33 33 33 31 34 33 27 38 30

N.S.

1 1.00 1.00 0.94 1.03 1.00 0.82 1.15 0.91

time (sec)

N/A 0.275 0.012 0.395 0.208 0.234 0.059 0.251 0.040

Problem 12

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

26 26 26 24 26 25 20 30 23

N.S.

1 1.00 1.00 0.92 1.00 0.96 0.77 1.15 0.88

time (sec)

N/A 0.257 0.010 0.385 0.222 0.240 0.052 0.270 0.043

Problem 13

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 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.232 0.011 0.382 0.186 0.239 0.044 0.261 4.112

Problem 14

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 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.251 0.009 0.387 0.185 0.249 0.071 0.271 0.050

Problem 15

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 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.258 0.010 0.418 0.206 0.251 0.095 0.253 4.183

Problem 16

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

33 33 33 30 30 35 26 32 23

N.S.

1 1.00 1.00 0.91 0.91 1.06 0.79 0.97 0.70

time (sec)

N/A 0.279 0.012 0.431 0.186 0.253 0.119 0.263 0.047

Problem 17

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

40 40 40 37 38 43 34 40 30

N.S.

1 1.00 1.00 0.92 0.95 1.08 0.85 1.00 0.75

time (sec)

N/A 0.277 0.012 0.441 0.187 0.244 0.111 0.261 0.046

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 118 75 151 182 112 0 0 154

N.S.

1 1.00 0.64 1.28 1.54 0.95 0.00 0.00 1.31

time (sec)

N/A 0.618 0.060 0.137 0.208 0.271 0.000 0.000 4.126

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 92 66 142 145 103 0 0 117

N.S.

1 1.00 0.72 1.54 1.58 1.12 0.00 0.00 1.27

time (sec)

N/A 0.587 0.045 0.138 0.225 0.253 0.000 0.000 0.070

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 62 54 133 110 92 0 0 59

N.S.

1 1.00 0.87 2.15 1.77 1.48 0.00 0.00 0.95

time (sec)

N/A 0.547 0.036 0.128 0.176 0.246 0.000 0.000 4.086

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 83 53 363 90 104 0 0 54

N.S.

1 1.80 1.15 7.89 1.96 2.26 0.00 0.00 1.17

time (sec)

N/A 0.613 0.043 0.121 0.284 0.252 0.000 0.000 0.042

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 57 41 116 72 74 0 0 57

N.S.

1 1.12 0.80 2.27 1.41 1.45 0.00 0.00 1.12

time (sec)

N/A 0.275 0.062 0.144 0.268 0.262 0.000 0.000 4.506

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 99 56 125 110 88 0 0 83

N.S.

1 1.09 0.62 1.37 1.21 0.97 0.00 0.00 0.91

time (sec)

N/A 0.723 0.067 0.144 0.293 0.250 0.000 0.000 0.090

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 129 66 135 154 96 0 0 152

N.S.

1 1.39 0.71 1.45 1.66 1.03 0.00 0.00 1.63

time (sec)

N/A 0.919 0.077 0.145 0.285 0.271 0.000 0.000 4.198

Problem 25

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

57 57 57 52 58 66 49 78 57

N.S.

1 1.00 1.00 0.91 1.02 1.16 0.86 1.37 1.00

time (sec)

N/A 0.301 0.036 0.484 0.209 0.247 0.104 0.281 0.043

Problem 26

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

47 47 47 44 49 57 39 69 49

N.S.

1 1.00 1.00 0.94 1.04 1.21 0.83 1.47 1.04

time (sec)

N/A 0.293 0.029 0.437 0.222 0.238 0.095 0.266 0.037

Problem 27

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

39 39 39 36 41 49 31 64 38

N.S.

1 1.00 1.00 0.92 1.05 1.26 0.79 1.64 0.97

time (sec)

N/A 0.275 0.024 0.440 0.178 0.232 0.094 0.277 0.044

Problem 28

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

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.236 0.017 0.434 0.203 0.252 0.096 0.264 0.041

Problem 29

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

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.249 0.009 0.457 0.183 0.235 0.093 0.272 0.040

Problem 30

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 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.274 0.020 0.492 0.190 0.240 0.146 0.260 0.059

Problem 31

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

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.286 0.028 0.520 0.184 0.260 0.188 0.275 4.194

Problem 32

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

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.294 0.047 0.521 0.192 0.260 0.202 0.270 0.067

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 125 68 117 203 91 0 0 172

N.S.

1 1.10 0.60 1.03 1.78 0.80 0.00 0.00 1.51

time (sec)

N/A 0.338 0.050 0.125 0.198 0.255 0.000 0.000 4.212

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 95 60 109 166 83 0 86 134

N.S.

1 1.06 0.67 1.21 1.84 0.92 0.00 0.96 1.49

time (sec)

N/A 0.297 0.043 0.125 0.186 0.253 0.000 0.272 0.061

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 63 49 100 130 73 0 71 97

N.S.

1 0.98 0.77 1.56 2.03 1.14 0.00 1.11 1.52

time (sec)

N/A 0.251 0.033 0.123 0.190 0.242 0.000 0.281 0.061

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 42 91 90 64 0 52 58

N.S.

1 1.00 1.14 2.46 2.43 1.73 0.00 1.41 1.57

time (sec)

N/A 0.216 0.021 0.112 0.192 0.264 0.000 0.279 4.633

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 24 34 130 70 57 0 59 37

N.S.

1 1.20 1.70 6.50 3.50 2.85 0.00 2.95 1.85

time (sec)

N/A 0.226 0.013 0.112 0.282 0.248 0.000 0.271 0.035

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 29 26 77 55 47 0 0 55

N.S.

1 1.16 1.04 3.08 2.20 1.88 0.00 0.00 2.20

time (sec)

N/A 0.207 0.018 0.122 0.288 0.248 0.000 0.000 4.187

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 59 41 85 93 60 0 157 82

N.S.

1 1.48 1.02 2.12 2.32 1.50 0.00 3.92 2.05

time (sec)

N/A 0.238 0.032 0.125 0.286 0.252 0.000 0.271 4.179

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 90 52 93 137 68 0 0 105

N.S.

1 1.18 0.68 1.22 1.80 0.89 0.00 0.00 1.38

time (sec)

N/A 0.276 0.056 0.127 0.286 0.270 0.000 0.000 4.380

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 120 59 101 173 77 0 258 129

N.S.

1 1.36 0.67 1.15 1.97 0.88 0.00 2.93 1.47

time (sec)

N/A 0.317 0.065 0.133 0.311 0.257 0.000 0.287 4.079

Problem 42

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

42 42 42 39 43 42 37 47 38

N.S.

1 1.00 1.00 0.93 1.02 1.00 0.88 1.12 0.90

time (sec)

N/A 0.290 0.016 0.394 0.192 0.243 0.072 0.272 3.998

Problem 43

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

33 33 33 32 34 33 27 38 31

N.S.

1 1.00 1.00 0.97 1.03 1.00 0.82 1.15 0.94

time (sec)

N/A 0.286 0.012 0.385 0.223 0.239 0.080 0.265 0.040

Problem 44

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 25 25 24 26 25 20 30 23

N.S.

1 1.00 1.00 0.96 1.04 1.00 0.80 1.20 0.92

time (sec)

N/A 0.250 0.010 0.390 0.193 0.244 0.068 0.261 0.041

Problem 45

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 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.225 0.011 0.388 0.202 0.240 0.060 0.258 0.030

Problem 46

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 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.252 0.007 0.395 0.205 0.238 0.072 0.264 0.049

Problem 47

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 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.260 0.009 0.421 0.204 0.262 0.091 0.263 4.022

Problem 48

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 32 32 30 30 35 26 32 24

N.S.

1 1.00 1.00 0.94 0.94 1.09 0.81 1.00 0.75

time (sec)

N/A 0.266 0.011 0.432 0.245 0.252 0.103 0.265 0.048

Problem 49

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

40 40 40 38 38 43 34 40 31

N.S.

1 1.00 1.00 0.95 0.95 1.08 0.85 1.00 0.78

time (sec)

N/A 0.274 0.011 0.436 0.188 0.250 0.127 0.264 4.125

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 136 83 153 223 92 0 0 192

N.S.

1 1.00 0.61 1.12 1.64 0.68 0.00 0.00 1.41

time (sec)

N/A 0.661 0.061 0.141 0.197 0.253 0.000 0.000 0.075

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 116 75 145 186 84 0 0 156

N.S.

1 1.00 0.65 1.25 1.60 0.72 0.00 0.00 1.34

time (sec)

N/A 0.611 0.062 0.139 0.212 0.256 0.000 0.000 0.063

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 90 66 136 151 75 0 0 120

N.S.

1 1.00 0.73 1.51 1.68 0.83 0.00 0.00 1.33

time (sec)

N/A 0.574 0.046 0.146 0.192 0.259 0.000 0.000 4.304

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 60 54 127 111 66 0 0 78

N.S.

1 1.00 0.90 2.12 1.85 1.10 0.00 0.00 1.30

time (sec)

N/A 0.526 0.038 0.139 0.186 0.244 0.000 0.000 0.061

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 81 55 366 89 74 0 0 54

N.S.

1 1.76 1.20 7.96 1.93 1.61 0.00 0.00 1.17

time (sec)

N/A 0.587 0.042 0.122 0.287 0.256 0.000 0.000 0.049

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 54 41 109 72 49 0 0 59

N.S.

1 1.02 0.77 2.06 1.36 0.92 0.00 0.00 1.11

time (sec)

N/A 0.267 0.047 0.139 0.295 0.258 0.000 0.000 0.087

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 96 56 119 112 61 0 0 118

N.S.

1 1.10 0.64 1.37 1.29 0.70 0.00 0.00 1.36

time (sec)

N/A 0.696 0.095 0.151 0.303 0.246 0.000 0.000 0.114

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 127 66 129 157 69 0 0 153

N.S.

1 1.32 0.69 1.34 1.64 0.72 0.00 0.00 1.59

time (sec)

N/A 0.888 0.074 0.148 0.287 0.256 0.000 0.000 4.235

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 155 75 137 193 77 0 0 190

N.S.

1 1.17 0.56 1.03 1.45 0.58 0.00 0.00 1.43

time (sec)

N/A 0.988 0.039 0.153 0.283 0.251 0.000 0.000 4.162

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F A B

verified

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

size

253 272 173 0 259 119 0 234 229

N.S.

1 1.08 0.68 0.00 1.02 0.47 0.00 0.92 0.91

time (sec)

N/A 0.387 5.154 0.000 0.292 0.264 0.000 0.351 0.120

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F A B

verified

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

size

216 229 149 0 224 111 0 203 192

N.S.

1 1.06 0.69 0.00 1.04 0.51 0.00 0.94 0.89

time (sec)

N/A 0.361 5.124 0.000 0.285 0.263 0.000 0.330 4.139

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F A A F A B

verified

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

size

179 186 399 0 187 103 0 172 157

N.S.

1 1.04 2.23 0.00 1.04 0.58 0.00 0.96 0.88

time (sec)

N/A 0.317 4.165 0.000 0.294 0.269 0.000 0.322 0.087

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F A B

verified

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

size

142 145 66 0 149 93 0 139 120

N.S.

1 1.02 0.46 0.00 1.05 0.65 0.00 0.98 0.85

time (sec)

N/A 0.258 0.115 0.000 0.295 0.261 0.000 0.308 0.082

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F A B

verified

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

size

96 102 51 0 111 84 0 108 78

N.S.

1 1.06 0.53 0.00 1.16 0.88 0.00 1.12 0.81

time (sec)

N/A 0.226 0.062 0.000 0.317 0.266 0.000 0.311 4.294

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F A C F A B

verified

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

size

291 258 30 0 224 173 0 232 101

N.S.

1 0.89 0.10 0.00 0.77 0.59 0.00 0.80 0.35

time (sec)

N/A 0.446 0.031 0.000 0.299 0.244 0.000 0.299 0.093

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A C F A B

verified

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

size

267 219 148 0 186 185 0 186 87

N.S.

1 0.82 0.55 0.00 0.70 0.69 0.00 0.70 0.33

time (sec)

N/A 0.413 0.170 0.000 0.273 0.254 0.000 0.297 4.291

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A C F A B

verified

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

size

319 260 173 0 226 202 0 223 132

N.S.

1 0.82 0.54 0.00 0.71 0.63 0.00 0.70 0.41

time (sec)

N/A 0.463 0.137 0.000 0.283 0.262 0.000 0.301 0.087

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F A C F A B

verified

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

size

356 303 93 0 270 217 0 271 168

N.S.

1 0.85 0.26 0.00 0.76 0.61 0.00 0.76 0.47

time (sec)

N/A 0.505 0.079 0.000 0.284 0.262 0.000 0.312 4.431

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F A B

verified

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

size

253 272 173 0 259 119 0 234 229

N.S.

1 1.08 0.68 0.00 1.02 0.47 0.00 0.92 0.91

time (sec)

N/A 0.410 5.161 0.000 0.296 0.267 0.000 0.414 0.178

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F A B

verified

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

size

216 227 149 0 224 111 0 203 192

N.S.

1 1.05 0.69 0.00 1.04 0.51 0.00 0.94 0.89

time (sec)

N/A 0.359 5.133 0.000 0.293 0.255 0.000 0.390 4.188

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F A A F A B

verified

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

size

179 186 399 0 187 103 0 172 157

N.S.

1 1.04 2.23 0.00 1.04 0.58 0.00 0.96 0.88

time (sec)

N/A 0.319 6.428 0.000 0.310 0.255 0.000 0.370 0.093

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F A B

verified

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

size

142 145 70 0 152 95 0 141 120

N.S.

1 1.02 0.49 0.00 1.07 0.67 0.00 0.99 0.85

time (sec)

N/A 0.267 0.133 0.000 0.293 0.261 0.000 0.347 4.200

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F A A F A B

verified

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

size

98 102 56 0 112 86 0 109 79

N.S.

1 1.04 0.57 0.00 1.14 0.88 0.00 1.11 0.81

time (sec)

N/A 0.232 0.050 0.000 0.290 0.264 0.000 0.328 4.128

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F A C F A B

verified

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

size

291 258 30 0 224 173 0 232 101

N.S.

1 0.89 0.10 0.00 0.77 0.59 0.00 0.80 0.35

time (sec)

N/A 0.450 0.037 0.000 0.291 0.254 0.000 0.313 0.059

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F A C F A B

verified

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

size

268 219 46 0 187 184 0 187 88

N.S.

1 0.82 0.17 0.00 0.70 0.69 0.00 0.70 0.33

time (sec)

N/A 0.423 0.052 0.000 0.293 0.249 0.000 0.320 0.090

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F A C F A B

verified

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

size

319 260 76 0 229 209 0 225 132

N.S.

1 0.82 0.24 0.00 0.72 0.66 0.00 0.71 0.41

time (sec)

N/A 0.453 0.063 0.000 0.306 0.262 0.000 0.341 0.095

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F A C F A B

verified

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

size

356 303 93 0 277 217 0 271 168

N.S.

1 0.85 0.26 0.00 0.78 0.61 0.00 0.76 0.47

time (sec)

N/A 0.493 0.085 0.000 0.289 0.263 0.000 0.352 4.164

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F A B

verified

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

size

287 311 198 0 275 152 0 254 248

N.S.

1 1.08 0.69 0.00 0.96 0.53 0.00 0.89 0.86

time (sec)

N/A 0.448 5.179 0.000 0.326 0.261 0.000 0.352 4.233

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F A B

verified

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

size

250 268 161 0 238 144 0 223 211

N.S.

1 1.07 0.64 0.00 0.95 0.58 0.00 0.89 0.84

time (sec)

N/A 0.381 5.154 0.000 0.291 0.263 0.000 0.348 0.139

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F A A F A B

verified

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

size

213 225 441 0 203 136 0 192 176

N.S.

1 1.06 2.07 0.00 0.95 0.64 0.00 0.90 0.83

time (sec)

N/A 0.353 6.976 0.000 0.315 0.262 0.000 0.319 0.099

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F A B

verified

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

size

176 179 80 0 166 128 0 161 139

N.S.

1 1.02 0.45 0.00 0.94 0.73 0.00 0.91 0.79

time (sec)

N/A 0.284 0.142 0.000 0.284 0.252 0.000 0.323 4.202

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F A B

verified

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

size

130 136 67 0 131 117 0 141 98

N.S.

1 1.05 0.52 0.00 1.01 0.90 0.00 1.08 0.75

time (sec)

N/A 0.246 0.093 0.000 0.283 0.260 0.000 0.303 0.096

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F A C F A B

verified

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

size

320 287 30 0 244 241 0 252 118

N.S.

1 0.90 0.09 0.00 0.76 0.75 0.00 0.79 0.37

time (sec)

N/A 0.477 0.054 0.000 0.324 0.260 0.000 0.302 4.455

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A C F A B

verified

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

size

299 253 173 0 204 243 0 217 107

N.S.

1 0.85 0.58 0.00 0.68 0.81 0.00 0.73 0.36

time (sec)

N/A 0.450 0.238 0.000 0.284 0.259 0.000 0.295 4.190

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A C F A B

verified

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

size

351 293 186 0 244 261 0 243 152

N.S.

1 0.83 0.53 0.00 0.70 0.74 0.00 0.69 0.43

time (sec)

N/A 0.515 0.169 0.000 0.284 0.270 0.000 0.316 0.090

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F A C F A B

verified

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

size

385 332 104 0 288 269 0 291 188

N.S.

1 0.86 0.27 0.00 0.75 0.70 0.00 0.76 0.49

time (sec)

N/A 0.519 0.102 0.000 0.291 0.273 0.000 0.321 4.234

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F A B

verified

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

size

253 272 173 0 259 119 0 234 229

N.S.

1 1.08 0.68 0.00 1.02 0.47 0.00 0.92 0.91

time (sec)

N/A 0.411 5.202 0.000 0.285 0.276 0.000 0.318 0.095

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F A B

verified

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

size

216 229 149 0 224 111 0 203 193

N.S.

1 1.06 0.69 0.00 1.04 0.51 0.00 0.94 0.89

time (sec)

N/A 0.360 5.177 0.000 0.296 0.256 0.000 0.316 4.399

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F A A F A B

verified

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

size

179 186 389 0 187 102 0 172 157

N.S.

1 1.04 2.17 0.00 1.04 0.57 0.00 0.96 0.88

time (sec)

N/A 0.321 7.312 0.000 0.299 0.260 0.000 0.306 4.144

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F A B

verified

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

size

142 145 66 0 151 93 0 140 121

N.S.

1 1.02 0.46 0.00 1.06 0.65 0.00 0.99 0.85

time (sec)

N/A 0.269 0.189 0.000 0.303 0.264 0.000 0.308 0.072

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F A A F A B

verified

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

size

97 102 33 0 111 84 0 108 79

N.S.

1 1.05 0.34 0.00 1.14 0.87 0.00 1.11 0.81

time (sec)

N/A 0.228 0.059 0.000 0.285 0.263 0.000 0.301 4.049

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F A C F A B

verified

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

size

291 258 30 0 224 173 0 232 101

N.S.

1 0.89 0.10 0.00 0.77 0.59 0.00 0.80 0.35

time (sec)

N/A 0.436 0.054 0.000 0.298 0.266 0.000 0.311 4.485

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F A C F A B

verified

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

size

268 220 33 0 186 177 0 186 88

N.S.

1 0.82 0.12 0.00 0.69 0.66 0.00 0.69 0.33

time (sec)

N/A 0.422 0.055 0.000 0.302 0.258 0.000 0.280 4.182

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F A C F A B

verified

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

size

319 259 56 0 227 201 0 223 132

N.S.

1 0.81 0.18 0.00 0.71 0.63 0.00 0.70 0.41

time (sec)

N/A 0.460 0.079 0.000 0.284 0.264 0.000 0.297 0.068

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F A C F A B

verified

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

size

356 302 93 0 277 216 0 271 169

N.S.

1 0.85 0.26 0.00 0.78 0.61 0.00 0.76 0.47

time (sec)

N/A 0.508 0.135 0.000 0.322 0.256 0.000 0.309 0.077

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F A B

verified

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

size

253 272 173 0 259 119 0 234 229

N.S.

1 1.08 0.68 0.00 1.02 0.47 0.00 0.92 0.91

time (sec)

N/A 0.429 5.349 0.000 0.325 0.268 0.000 0.357 4.362

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F A B

verified

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

size

216 227 149 0 224 111 0 203 193

N.S.

1 1.05 0.69 0.00 1.04 0.51 0.00 0.94 0.89

time (sec)

N/A 0.370 5.281 0.000 0.331 0.266 0.000 0.371 4.295

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F A B

verified

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

size

179 186 125 0 187 103 0 172 157

N.S.

1 1.04 0.70 0.00 1.04 0.58 0.00 0.96 0.88

time (sec)

N/A 0.323 5.241 0.000 0.283 0.272 0.000 0.335 0.064

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F A B

verified

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

size

142 145 70 0 152 95 0 141 121

N.S.

1 1.02 0.49 0.00 1.07 0.67 0.00 0.99 0.85

time (sec)

N/A 0.263 0.226 0.000 0.282 0.262 0.000 0.324 4.096

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F A B

verified

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

size

98 102 55 0 112 86 0 109 79

N.S.

1 1.04 0.56 0.00 1.14 0.88 0.00 1.11 0.81

time (sec)

N/A 0.228 0.139 0.000 0.285 0.255 0.000 0.280 4.079

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F A C F A B

verified

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

size

291 258 28 0 224 173 0 232 101

N.S.

1 0.89 0.10 0.00 0.77 0.59 0.00 0.80 0.35

time (sec)

N/A 0.438 0.079 0.000 0.297 0.250 0.000 0.305 4.240

[next] [front] [up]