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

Integrals 101 to 200

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 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

56 56 61 0 0 0 0 0 0

N.S.

1 1.00 1.09 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.044 0.030 0.000 0.000 0.000 0.000 0.000 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

56 56 73 0 0 0 0 0 0

N.S.

1 1.00 1.30 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.042 0.427 0.000 0.000 0.000 0.000 0.000 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

56 56 75 0 0 0 0 0 0

N.S.

1 1.00 1.34 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.051 0.349 0.000 0.000 0.000 0.000 0.000 0.000

Problem 104

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

96 96 62 81 63 71 92 69 78

N.S.

1 1.00 0.65 0.84 0.66 0.74 0.96 0.72 0.81

time (sec)

N/A 0.059 0.042 0.254 0.202 0.261 0.397 0.271 4.950

Problem 105

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

71 71 54 64 55 63 68 61 58

N.S.

1 1.00 0.76 0.90 0.77 0.89 0.96 0.86 0.82

time (sec)

N/A 0.043 0.037 0.158 0.205 0.256 0.233 0.282 4.885

Problem 106

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 43 44 44 50 42 49 38

N.S.

1 1.00 0.93 0.96 0.96 1.09 0.91 1.07 0.83

time (sec)

N/A 0.023 0.029 0.114 0.208 0.246 0.149 0.282 0.116

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

35 35 45 0 0 0 36 0 0

N.S.

1 1.00 1.29 0.00 0.00 0.00 1.03 0.00 0.00

time (sec)

N/A 0.017 0.008 0.000 0.000 0.000 0.377 0.000 0.000

Problem 108

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

40 40 40 42 35 43 34 0 38

N.S.

1 1.00 1.00 1.05 0.88 1.08 0.85 0.00 0.95

time (sec)

N/A 0.026 0.030 0.173 0.259 0.258 0.187 0.000 4.905

Problem 109

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

71 71 53 62 35 58 60 0 71

N.S.

1 1.00 0.75 0.87 0.49 0.82 0.85 0.00 1.00

time (sec)

N/A 0.041 0.026 0.237 0.238 0.253 0.284 0.000 0.178

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 96 62 81 35 66 87 0 0

N.S.

1 1.00 0.65 0.84 0.36 0.69 0.91 0.00 0.00

time (sec)

N/A 0.100 0.036 0.471 0.256 0.252 0.478 0.000 0.000

Problem 111

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

109 109 73 86 52 68 102 57 90

N.S.

1 1.00 0.67 0.79 0.48 0.62 0.94 0.52 0.83

time (sec)

N/A 0.083 0.015 0.387 0.207 0.249 0.525 0.270 4.978

Problem 112

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

84 84 66 69 44 60 78 49 70

N.S.

1 1.00 0.79 0.82 0.52 0.71 0.93 0.58 0.83

time (sec)

N/A 0.055 0.013 0.181 0.206 0.252 0.295 0.271 5.098

Problem 113

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

59 59 42 49 36 52 54 41 50

N.S.

1 1.00 0.71 0.83 0.61 0.88 0.92 0.69 0.85

time (sec)

N/A 0.033 0.019 0.410 0.205 0.243 0.188 0.287 5.367

Problem 114

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 27 25 26 35 24 26 24

N.S.

1 1.00 1.00 0.93 0.96 1.30 0.89 0.96 0.89

time (sec)

N/A 0.004 0.003 0.324 0.200 0.254 0.124 0.280 0.093

Problem 115

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

27 27 27 25 25 32 20 0 25

N.S.

1 1.00 1.00 0.93 0.93 1.19 0.74 0.00 0.93

time (sec)

N/A 0.022 0.013 0.714 0.244 0.253 0.671 0.000 0.102

Problem 116

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

56 56 49 46 27 51 48 0 46

N.S.

1 1.00 0.88 0.82 0.48 0.91 0.86 0.00 0.82

time (sec)

N/A 0.039 0.032 0.361 0.246 0.246 1.117 0.000 4.734

Problem 117

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

81 81 73 66 27 62 70 0 66

N.S.

1 1.00 0.90 0.81 0.33 0.77 0.86 0.00 0.81

time (sec)

N/A 0.052 0.022 0.658 0.258 0.253 1.841 0.000 4.733

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

292 292 268 483 0 314 746 435 352

N.S.

1 1.00 0.92 1.65 0.00 1.08 2.55 1.49 1.21

time (sec)

N/A 0.232 0.247 1.121 0.000 0.247 1.819 0.443 0.370

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

194 194 159 272 0 197 398 280 220

N.S.

1 1.00 0.82 1.40 0.00 1.02 2.05 1.44 1.13

time (sec)

N/A 0.139 0.183 0.906 0.000 0.276 0.883 0.389 4.971

Problem 120

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

119 119 104 124 0 110 178 158 119

N.S.

1 1.00 0.87 1.04 0.00 0.92 1.50 1.33 1.00

time (sec)

N/A 0.091 0.090 0.345 0.000 0.241 0.433 0.349 5.188

Problem 121

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

37 37 42 33 32 53 53 60 49

N.S.

1 1.00 1.14 0.89 0.86 1.43 1.43 1.62 1.32

time (sec)

N/A 0.006 0.017 0.304 0.208 0.246 0.217 0.263 0.117

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

14 14 16 14 16 19 12 16 16

N.S.

1 1.00 1.14 1.00 1.14 1.36 0.86 1.14 1.14

time (sec)

N/A 0.012 0.095 0.188 0.305 0.248 1.017 0.280 4.845

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

14 14 16 14 16 30 14 16 16

N.S.

1 1.00 1.14 1.00 1.14 2.14 1.00 1.14 1.14

time (sec)

N/A 0.031 0.321 0.267 0.292 0.253 10.724 0.310 5.351

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

14 14 16 14 16 41 14 16 16

N.S.

1 1.00 1.14 1.00 1.14 2.93 1.00 1.14 1.14

time (sec)

N/A 0.059 0.593 0.260 0.299 0.245 76.545 0.277 4.983

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

178 178 155 160 0 149 172 0 143

N.S.

1 1.00 0.87 0.90 0.00 0.84 0.97 0.00 0.80

time (sec)

N/A 0.188 0.164 0.583 0.000 0.247 0.552 0.000 4.958

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

126 126 144 116 0 124 121 0 102

N.S.

1 1.00 1.14 0.92 0.00 0.98 0.96 0.00 0.81

time (sec)

N/A 0.126 0.170 0.374 0.000 0.249 0.325 0.000 4.906

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 72 99 72 0 91 68 0 68

N.S.

1 1.00 1.38 1.00 0.00 1.26 0.94 0.00 0.94

time (sec)

N/A 0.061 0.099 0.373 0.000 0.241 0.198 0.000 0.148

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

10 10 12 10 12 20 8 12 12

N.S.

1 1.00 1.20 1.00 1.20 2.00 0.80 1.20 1.20

time (sec)

N/A 0.011 0.116 0.031 0.230 0.248 1.074 0.270 4.796

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

67 67 63 0 0 98 0 0 0

N.S.

1 1.00 0.94 0.00 0.00 1.46 0.00 0.00 0.00

time (sec)

N/A 0.063 0.023 0.000 0.000 0.265 0.000 0.000 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

125 125 97 0 0 141 0 0 0

N.S.

1 1.00 0.78 0.00 0.00 1.13 0.00 0.00 0.00

time (sec)

N/A 0.131 0.057 0.000 0.000 0.260 0.000 0.000 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

177 177 133 0 0 168 0 0 0

N.S.

1 1.00 0.75 0.00 0.00 0.95 0.00 0.00 0.00

time (sec)

N/A 0.190 0.030 0.000 0.000 0.253 0.000 0.000 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

165 165 108 205 0 154 0 218 0

N.S.

1 1.00 0.65 1.24 0.00 0.93 0.00 1.32 0.00

time (sec)

N/A 0.165 0.099 0.537 0.000 0.266 0.000 0.343 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 113 88 151 0 123 0 151 0

N.S.

1 1.00 0.78 1.34 0.00 1.09 0.00 1.34 0.00

time (sec)

N/A 0.088 0.075 0.536 0.000 0.258 0.000 0.332 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 56 56 48 0 85 0 73 0

N.S.

1 1.00 1.00 0.86 0.00 1.52 0.00 1.30 0.00

time (sec)

N/A 0.033 0.031 0.330 0.000 0.252 0.000 0.294 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

10 10 12 10 12 20 10 12 12

N.S.

1 1.00 1.20 1.00 1.20 2.00 1.00 1.20 1.20

time (sec)

N/A 0.013 0.098 0.026 0.224 0.247 0.958 0.251 4.891

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

10 10 12 10 12 20 10 12 12

N.S.

1 1.00 1.20 1.00 1.20 2.00 1.00 1.20 1.20

time (sec)

N/A 0.012 0.106 0.024 0.227 0.246 1.083 0.266 4.892

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

10 10 12 10 12 20 10 12 12

N.S.

1 1.00 1.20 1.00 1.20 2.00 1.00 1.20 1.20

time (sec)

N/A 0.013 0.109 0.029 0.223 0.254 1.361 0.259 4.914

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

375 375 610 0 0 472 0 0 0

N.S.

1 1.00 1.63 0.00 0.00 1.26 0.00 0.00 0.00

time (sec)

N/A 0.300 3.525 0.000 0.000 0.281 0.000 0.000 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

189 189 301 0 0 273 0 0 0

N.S.

1 1.00 1.59 0.00 0.00 1.44 0.00 0.00 0.00

time (sec)

N/A 0.141 2.317 0.000 0.000 0.258 0.000 0.000 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 71 66 59 0 141 0 0 0

N.S.

1 1.00 0.93 0.83 0.00 1.99 0.00 0.00 0.00

time (sec)

N/A 0.166 0.069 0.378 0.000 0.257 0.000 0.000 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

16 16 18 16 18 28 14 18 18

N.S.

1 1.00 1.12 1.00 1.12 1.75 0.88 1.12 1.12

time (sec)

N/A 0.024 0.446 0.188 0.223 0.251 2.551 0.281 4.801

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

16 16 18 16 18 39 15 18 18

N.S.

1 1.00 1.12 1.00 1.12 2.44 0.94 1.12 1.12

time (sec)

N/A 0.019 0.284 0.233 0.226 0.258 11.429 0.317 4.917

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

102 102 87 0 0 130 0 90 0

N.S.

1 1.00 0.85 0.00 0.00 1.27 0.00 0.88 0.00

time (sec)

N/A 0.118 0.207 0.000 0.000 0.262 0.000 0.361 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

94 94 80 0 0 126 0 88 0

N.S.

1 1.00 0.85 0.00 0.00 1.34 0.00 0.94 0.00

time (sec)

N/A 0.093 0.198 0.000 0.000 0.264 0.000 0.359 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

92 92 77 0 0 123 0 82 0

N.S.

1 1.00 0.84 0.00 0.00 1.34 0.00 0.89 0.00

time (sec)

N/A 0.080 0.171 0.000 0.000 0.280 0.000 0.347 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 66 93 63 59 128 0 83 100

N.S.

1 1.00 1.41 0.95 0.89 1.94 0.00 1.26 1.52

time (sec)

N/A 0.034 0.100 1.140 0.203 0.255 0.000 0.274 5.064

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

93 93 81 0 0 128 0 0 0

N.S.

1 1.00 0.87 0.00 0.00 1.38 0.00 0.00 0.00

time (sec)

N/A 0.099 0.182 0.000 0.000 0.257 0.000 0.000 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

95 95 79 0 0 125 0 0 0

N.S.

1 1.00 0.83 0.00 0.00 1.32 0.00 0.00 0.00

time (sec)

N/A 0.110 0.183 0.000 0.000 0.269 0.000 0.000 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

126 126 126 0 0 194 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 1.54 0.00 0.00 0.00

time (sec)

N/A 0.164 0.338 0.000 0.000 0.264 0.000 0.000 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 43 0 31 24 0 16

N.S.

1 1.00 1.00 2.05 0.00 1.48 1.14 0.00 0.76

time (sec)

N/A 0.022 0.009 0.542 0.000 0.251 0.374 0.000 4.828

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 30 0 23 24 0 16

N.S.

1 1.00 1.00 1.43 0.00 1.10 1.14 0.00 0.76

time (sec)

N/A 0.015 0.006 0.313 0.000 0.247 0.154 0.000 0.083

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A A F B

verified

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

size

20 20 20 0 0 17 24 0 15

N.S.

1 1.00 1.00 0.00 0.00 0.85 1.20 0.00 0.75

time (sec)

N/A 0.021 0.012 0.000 0.000 0.247 0.217 0.000 4.928

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A A F B

verified

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

size

21 21 21 0 0 19 20 0 16

N.S.

1 1.00 1.00 0.00 0.00 0.90 0.95 0.00 0.76

time (sec)

N/A 0.020 0.007 0.000 0.000 0.254 0.355 0.000 0.110

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A A F B

verified

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

size

21 21 21 0 0 26 22 0 16

N.S.

1 1.00 1.00 0.00 0.00 1.24 1.05 0.00 0.76

time (sec)

N/A 0.020 0.006 0.000 0.000 0.254 0.647 0.000 0.093

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A B F B

verified

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

size

28 28 28 0 0 30 60 0 23

N.S.

1 1.00 1.00 0.00 0.00 1.07 2.14 0.00 0.82

time (sec)

N/A 0.025 0.010 0.000 0.000 0.262 1.494 0.000 4.798

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

283 283 138 376 0 356 0 0 0

N.S.

1 1.00 0.49 1.33 0.00 1.26 0.00 0.00 0.00

time (sec)

N/A 0.277 0.276 5.430 0.000 0.279 0.000 0.000 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

155 155 99 206 0 190 0 0 0

N.S.

1 1.00 0.64 1.33 0.00 1.23 0.00 0.00 0.00

time (sec)

N/A 0.124 0.219 1.471 0.000 0.258 0.000 0.000 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 57 50 92 0 70 0 0 0

N.S.

1 1.00 0.88 1.61 0.00 1.23 0.00 0.00 0.00

time (sec)

N/A 0.029 0.033 0.625 0.000 0.253 0.000 0.000 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

17 17 19 16 18 21 17 18 18

N.S.

1 1.00 1.12 0.94 1.06 1.24 1.00 1.06 1.06

time (sec)

N/A 0.026 0.355 0.102 0.279 0.246 2.898 0.259 4.770

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

17 17 19 16 18 21 19 18 18

N.S.

1 1.00 1.12 0.94 1.06 1.24 1.12 1.06 1.06

time (sec)

N/A 0.107 0.446 0.234 0.270 0.244 6.145 0.268 4.800

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

17 17 19 16 18 21 19 18 18

N.S.

1 1.00 1.12 0.94 1.06 1.24 1.12 1.06 1.06

time (sec)

N/A 0.219 0.551 0.246 0.263 0.237 32.348 0.263 4.832

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

17 17 19 16 18 26 19 18 18

N.S.

1 1.00 1.12 0.94 1.06 1.53 1.12 1.06 1.06

time (sec)

N/A 0.167 0.580 0.071 0.268 0.263 41.921 0.259 4.888

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

17 17 19 16 18 26 19 18 18

N.S.

1 1.00 1.12 0.94 1.06 1.53 1.12 1.06 1.06

time (sec)

N/A 0.069 0.464 0.138 0.264 0.255 8.158 0.270 4.808

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

14 14 16 13 15 18 15 15 15

N.S.

1 1.00 1.14 0.93 1.07 1.29 1.07 1.07 1.07

time (sec)

N/A 0.013 0.025 0.066 0.255 0.238 2.116 0.266 4.721

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

17 17 19 16 18 21 19 18 18

N.S.

1 1.00 1.12 0.94 1.06 1.24 1.12 1.06 1.06

time (sec)

N/A 0.084 0.486 0.082 0.252 0.239 2.921 0.261 4.849

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

17 17 19 16 18 21 19 18 18

N.S.

1 1.00 1.12 0.94 1.06 1.24 1.12 1.06 1.06

time (sec)

N/A 0.195 0.586 0.187 0.274 0.251 13.979 0.266 4.933

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 118 73 135 0 97 126 0 94

N.S.

1 1.00 0.62 1.14 0.00 0.82 1.07 0.00 0.80

time (sec)

N/A 0.104 0.035 2.596 0.000 0.251 33.428 0.000 4.966

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 80 58 99 0 68 83 0 63

N.S.

1 1.00 0.72 1.24 0.00 0.85 1.04 0.00 0.79

time (sec)

N/A 0.071 0.026 1.014 0.000 0.254 6.417 0.000 0.149

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 36 51 0 38 41 0 30

N.S.

1 1.00 1.00 1.42 0.00 1.06 1.14 0.00 0.83

time (sec)

N/A 0.035 0.016 0.159 0.000 0.257 1.179 0.000 4.836

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

48 48 45 0 0 0 39 0 0

N.S.

1 1.00 0.94 0.00 0.00 0.00 0.81 0.00 0.00

time (sec)

N/A 0.090 0.110 0.000 0.000 0.000 5.227 0.000 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

88 88 65 0 0 0 61 0 0

N.S.

1 1.00 0.74 0.00 0.00 0.00 0.69 0.00 0.00

time (sec)

N/A 0.122 0.159 0.000 0.000 0.000 28.845 0.000 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

134 134 83 0 0 0 0 0 0

N.S.

1 1.00 0.62 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.144 0.168 0.000 0.000 0.000 0.000 0.000 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

138 138 147 0 0 0 0 0 0

N.S.

1 1.00 1.07 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.111 0.285 0.000 0.000 0.000 0.000 0.000 0.000

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

95 95 104 0 0 0 65 0 0

N.S.

1 1.00 1.09 0.00 0.00 0.00 0.68 0.00 0.00

time (sec)

N/A 0.070 0.219 0.000 0.000 0.000 28.601 0.000 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

50 50 0 0 0 0 44 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.88 0.00 0.00

time (sec)

N/A 0.031 0.000 0.000 0.000 0.000 4.023 0.000 0.000

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

80 80 99 0 0 0 80 0 0

N.S.

1 1.00 1.24 0.00 0.00 0.00 1.00 0.00 0.00

time (sec)

N/A 0.065 0.215 0.000 0.000 0.000 10.182 0.000 0.000

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

134 134 151 0 0 0 22 0 0

N.S.

1 1.00 1.13 0.00 0.00 0.00 0.16 0.00 0.00

time (sec)

N/A 0.107 0.296 0.000 0.000 0.000 80.525 0.000 0.000

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

135 135 87 172 0 121 0 0 0

N.S.

1 1.00 0.64 1.27 0.00 0.90 0.00 0.00 0.00

time (sec)

N/A 0.141 0.099 2.273 0.000 0.243 0.000 0.000 0.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 90 69 118 0 90 0 0 0

N.S.

1 1.00 0.77 1.31 0.00 1.00 0.00 0.00 0.00

time (sec)

N/A 0.080 0.058 0.969 0.000 0.255 0.000 0.000 0.000

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 39 53 0 47 0 0 0

N.S.

1 1.00 0.91 1.23 0.00 1.09 0.00 0.00 0.00

time (sec)

N/A 0.023 0.017 0.441 0.000 0.257 0.000 0.000 0.000

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

18 18 20 18 19 22 15 19 19

N.S.

1 1.00 1.11 1.00 1.06 1.22 0.83 1.06 1.06

time (sec)

N/A 0.021 0.163 0.072 0.236 0.240 1.714 0.276 4.706

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

18 18 20 18 19 22 17 19 19

N.S.

1 1.00 1.11 1.00 1.06 1.22 0.94 1.06 1.06

time (sec)

N/A 0.070 0.216 0.211 0.251 0.247 3.629 0.265 4.781

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

18 18 20 18 19 22 17 19 19

N.S.

1 1.00 1.11 1.00 1.06 1.22 0.94 1.06 1.06

time (sec)

N/A 0.130 0.222 0.224 0.235 0.260 16.093 0.261 4.786

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A A F B

verified

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

size

112 112 112 0 0 97 112 0 90

N.S.

1 1.00 1.00 0.00 0.00 0.87 1.00 0.00 0.80

time (sec)

N/A 0.090 0.101 0.000 0.000 0.256 7.010 0.000 4.899

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A A F B

verified

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

size

63 63 79 0 0 66 63 0 49

N.S.

1 1.00 1.25 0.00 0.00 1.05 1.00 0.00 0.78

time (sec)

N/A 0.044 0.089 0.000 0.000 0.251 1.319 0.000 4.965

Problem 186

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

18 18 18 22 14 21 17 0 14

N.S.

1 1.00 1.00 1.22 0.78 1.17 0.94 0.00 0.78

time (sec)

N/A 0.011 0.005 0.172 0.195 0.249 0.350 0.000 0.074

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

53 53 53 0 0 77 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 1.45 0.00 0.00 0.00

time (sec)

N/A 0.048 0.015 0.000 0.000 0.256 0.000 0.000 0.000

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

108 108 85 0 0 122 0 0 0

N.S.

1 1.00 0.79 0.00 0.00 1.13 0.00 0.00 0.00

time (sec)

N/A 0.103 0.049 0.000 0.000 0.257 0.000 0.000 0.000

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

342 342 256 0 0 328 0 0 0

N.S.

1 1.00 0.75 0.00 0.00 0.96 0.00 0.00 0.00

time (sec)

N/A 0.316 3.215 0.000 0.000 0.266 0.000 0.000 0.000

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 86 81 179 0 108 0 0 0

N.S.

1 1.00 0.94 2.08 0.00 1.26 0.00 0.00 0.00

time (sec)

N/A 0.045 0.082 0.905 0.000 0.250 0.000 0.000 0.000

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

19 19 21 18 20 23 19 20 20

N.S.

1 1.00 1.11 0.95 1.05 1.21 1.00 1.05 1.05

time (sec)

N/A 0.028 0.531 0.089 0.252 0.255 6.352 0.276 4.830

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

19 19 21 18 20 23 20 20 20

N.S.

1 1.00 1.11 0.95 1.05 1.21 1.05 1.05 1.05

time (sec)

N/A 0.308 0.666 0.248 0.251 0.263 27.556 0.276 4.847

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

19 19 21 18 20 28 0 20 20

N.S.

1 1.00 1.11 0.95 1.05 1.47 0.00 1.05 1.05

time (sec)

N/A 0.641 0.790 0.078 0.247 0.246 0.000 0.279 5.155

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

19 19 21 18 20 28 20 20 20

N.S.

1 1.00 1.11 0.95 1.05 1.47 1.05 1.05 1.05

time (sec)

N/A 0.128 0.635 0.144 0.259 0.272 61.485 0.276 4.832

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

16 16 18 15 17 20 17 17 17

N.S.

1 1.00 1.12 0.94 1.06 1.25 1.06 1.06 1.06

time (sec)

N/A 0.015 0.035 0.073 0.253 0.243 5.279 0.264 4.774

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

19 19 21 18 20 23 20 20 20

N.S.

1 1.00 1.11 0.95 1.05 1.21 1.05 1.05 1.05

time (sec)

N/A 0.145 0.688 0.099 0.273 0.242 7.839 0.270 4.843

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

19 19 21 18 20 23 20 20 20

N.S.

1 1.00 1.11 0.95 1.05 1.21 1.05 1.05 1.05

time (sec)

N/A 0.617 0.835 0.201 0.246 0.250 87.830 0.272 4.815

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 60 60 84 0 71 0 0 0

N.S.

1 1.00 1.00 1.40 0.00 1.18 0.00 0.00 0.00

time (sec)

N/A 0.094 0.066 1.714 0.000 0.260 0.000 0.000 0.000

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

91 91 94 0 0 0 0 0 0

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.072 0.320 0.000 0.000 0.000 0.000 0.000 0.000

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

91 91 101 0 0 0 0 0 0

N.S.

1 1.00 1.11 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.071 2.196 0.000 0.000 0.000 0.000 0.000 0.000

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