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

2.2.3 Integrals 201 to 300

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 201

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

21 21 21 18 27 27 0 0 17

N.S.

1 1.00 1.00 0.86 1.29 1.29 0.00 0.00 0.81

time (sec)

N/A 0.166 0.191 0.139 0.226 0.248 0.000 0.000 5.720

Problem 202

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

21 21 21 18 17 17 0 0 17

N.S.

1 1.00 1.00 0.86 0.81 0.81 0.00 0.00 0.81

time (sec)

N/A 0.169 0.513 1.162 0.228 0.255 0.000 0.000 5.714

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 208 37 46 0 15 0 67 2737

N.S.

1 9.90 1.76 2.19 0.00 0.71 0.00 3.19 130.33

time (sec)

N/A 1.018 0.042 7.122 0.000 0.238 0.000 0.283 0.116

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 16 16 13 0 18 0 11 20

N.S.

1 0.73 0.73 0.59 0.00 0.82 0.00 0.50 0.91

time (sec)

N/A 0.180 0.614 0.964 0.000 0.239 0.000 0.291 5.390

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 16 16 13 0 18 0 11 20

N.S.

1 0.73 0.73 0.59 0.00 0.82 0.00 0.50 0.91

time (sec)

N/A 0.183 10.010 0.955 0.000 0.249 0.000 0.270 5.342

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

22 0 22 0 0 38 41 0 0

N.S.

1 0.00 1.00 0.00 0.00 1.73 1.86 0.00 0.00

time (sec)

N/A 0.000 0.069 0.000 0.000 0.279 0.444 0.000 0.000

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 31 23 34 33 33 32 33 19

N.S.

1 1.35 1.00 1.48 1.43 1.43 1.39 1.43 0.83

time (sec)

N/A 0.162 0.021 1.503 0.278 0.257 0.433 0.261 5.355

Problem 208

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

23 34 21 18 23 17 0 0 24

N.S.

1 1.48 0.91 0.78 1.00 0.74 0.00 0.00 1.04

time (sec)

N/A 0.159 0.022 1.083 0.184 0.250 0.000 0.000 0.118

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 31 20 17 19 19 37 19 20

N.S.

1 1.35 0.87 0.74 0.83 0.83 1.61 0.83 0.87

time (sec)

N/A 0.156 0.016 0.795 0.171 0.225 0.098 0.260 5.467

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 18 18 20 0 19 0 26 19

N.S.

1 0.78 0.78 0.87 0.00 0.83 0.00 1.13 0.83

time (sec)

N/A 0.151 0.539 0.819 0.000 0.241 0.000 0.275 5.323

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 16 14 13 0 22 0 11 21

N.S.

1 0.70 0.61 0.57 0.00 0.96 0.00 0.48 0.91

time (sec)

N/A 0.173 0.026 1.007 0.000 0.240 0.000 0.268 5.026

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 37 23 16 0 19 0 19 29

N.S.

1 1.61 1.00 0.70 0.00 0.83 0.00 0.83 1.26

time (sec)

N/A 0.176 0.128 0.832 0.000 0.240 0.000 0.273 5.590

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 23 17 0 21 0 13 14

N.S.

1 1.00 1.00 0.74 0.00 0.91 0.00 0.57 0.61

time (sec)

N/A 0.227 10.037 1.077 0.000 0.240 0.000 0.280 5.378

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 33 23 20 24 19 124 0 25

N.S.

1 1.43 1.00 0.87 1.04 0.83 5.39 0.00 1.09

time (sec)

N/A 0.155 0.166 0.848 0.190 0.248 0.495 0.000 5.387

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 31 23 20 23 25 75 0 19

N.S.

1 1.35 1.00 0.87 1.00 1.09 3.26 0.00 0.83

time (sec)

N/A 0.150 0.162 0.852 0.188 0.242 0.459 0.000 5.565

Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 33 23 20 24 19 48 0 25

N.S.

1 1.43 1.00 0.87 1.04 0.83 2.09 0.00 1.09

time (sec)

N/A 0.150 0.163 0.967 0.225 0.239 0.463 0.000 5.515

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 33 23 20 25 19 71 0 25

N.S.

1 1.43 1.00 0.87 1.09 0.83 3.09 0.00 1.09

time (sec)

N/A 0.150 0.196 0.835 0.197 0.251 0.877 0.000 5.330

Problem 218

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

23 23 23 22 0 42 0 0 0

N.S.

1 1.00 1.00 0.96 0.00 1.83 0.00 0.00 0.00

time (sec)

N/A 0.181 0.375 2.003 0.000 0.270 0.000 0.000 0.000

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

23 0 46 31 0 28 0 0 0

N.S.

1 0.00 2.00 1.35 0.00 1.22 0.00 0.00 0.00

time (sec)

N/A 0.000 7.680 3.645 0.000 0.256 0.000 0.000 0.000

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 33 23 20 32 19 0 19 19

N.S.

1 1.43 1.00 0.87 1.39 0.83 0.00 0.83 0.83

time (sec)

N/A 0.175 0.162 2.602 0.316 0.236 0.000 0.266 5.334

Problem 221

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

23 33 23 20 58 19 0 19 27

N.S.

1 1.43 1.00 0.87 2.52 0.83 0.00 0.83 1.17

time (sec)

N/A 0.175 10.026 0.834 0.288 0.243 0.000 0.288 5.308

Problem 222

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

23 33 23 20 58 19 0 19 27

N.S.

1 1.43 1.00 0.87 2.52 0.83 0.00 0.83 1.17

time (sec)

N/A 0.173 10.024 0.842 0.280 0.249 0.000 0.292 5.351

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 14 14 13 0 18 0 0 21

N.S.

1 0.61 0.61 0.57 0.00 0.78 0.00 0.00 0.91

time (sec)

N/A 0.218 0.321 1.031 0.000 0.243 0.000 0.000 5.363

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 14 14 13 0 18 0 9 21

N.S.

1 0.61 0.61 0.57 0.00 0.78 0.00 0.39 0.91

time (sec)

N/A 0.151 0.158 0.960 0.000 0.245 0.000 0.274 5.439

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 16 14 13 0 24 0 11 21

N.S.

1 0.70 0.61 0.57 0.00 1.04 0.00 0.48 0.91

time (sec)

N/A 0.174 0.030 1.003 0.000 0.245 0.000 0.277 5.591

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 37 23 16 0 26 0 33 29

N.S.

1 1.61 1.00 0.70 0.00 1.13 0.00 1.43 1.26

time (sec)

N/A 0.171 0.056 0.869 0.000 0.235 0.000 0.272 5.333

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 37 23 16 0 19 0 19 29

N.S.

1 1.61 1.00 0.70 0.00 0.83 0.00 0.83 1.26

time (sec)

N/A 0.178 0.170 0.837 0.000 0.238 0.000 0.276 5.510

Problem 228

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

23 21 23 11 0 21 0 42 0

N.S.

1 0.91 1.00 0.48 0.00 0.91 0.00 1.83 0.00

time (sec)

N/A 0.214 0.186 2.294 0.000 0.274 0.000 0.280 0.000

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 33 23 20 25 19 190 0 27

N.S.

1 1.43 1.00 0.87 1.09 0.83 8.26 0.00 1.17

time (sec)

N/A 0.158 0.170 0.944 0.197 0.246 1.023 0.000 5.574

Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 31 23 20 22 25 97 0 19

N.S.

1 1.35 1.00 0.87 0.96 1.09 4.22 0.00 0.83

time (sec)

N/A 0.154 0.212 0.866 0.197 0.240 2.491 0.000 0.079

Problem 231

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

23 42 23 19 0 19 37 19 19

N.S.

1 1.83 1.00 0.83 0.00 0.83 1.61 0.83 0.83

time (sec)

N/A 0.439 10.055 3.368 0.000 0.244 0.116 0.274 5.649

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 14 14 13 0 20 0 0 21

N.S.

1 0.61 0.61 0.57 0.00 0.87 0.00 0.00 0.91

time (sec)

N/A 0.223 0.824 1.075 0.000 0.240 0.000 0.000 5.460

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 33 23 20 25 26 63 0 25

N.S.

1 1.43 1.00 0.87 1.09 1.13 2.74 0.00 1.09

time (sec)

N/A 0.152 0.159 0.897 0.193 0.255 0.549 0.000 5.718

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 33 23 20 25 26 56 0 25

N.S.

1 1.43 1.00 0.87 1.09 1.13 2.43 0.00 1.09

time (sec)

N/A 0.159 0.207 0.895 0.285 0.242 1.201 0.000 5.615

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 14 14 13 0 18 0 0 21

N.S.

1 0.61 0.61 0.57 0.00 0.78 0.00 0.00 0.91

time (sec)

N/A 0.230 4.236 1.044 0.000 0.245 0.000 0.000 5.539

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 14 14 13 0 18 0 0 21

N.S.

1 0.61 0.61 0.57 0.00 0.78 0.00 0.00 0.91

time (sec)

N/A 0.224 0.865 1.076 0.000 0.239 0.000 0.000 5.471

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 23 22 0 21 0 0 21

N.S.

1 1.00 1.00 0.96 0.00 0.91 0.00 0.00 0.91

time (sec)

N/A 0.195 3.270 1.500 0.000 0.249 0.000 0.000 5.682

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 40 37 35 0 58 0 34 0

N.S.

1 1.67 1.54 1.46 0.00 2.42 0.00 1.42 0.00

time (sec)

N/A 0.179 0.021 0.164 0.000 0.261 0.000 0.264 0.000

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 46 46 18 0 18 0 0 179

N.S.

1 1.92 1.92 0.75 0.00 0.75 0.00 0.00 7.46

time (sec)

N/A 0.339 0.176 3.533 0.000 0.271 0.000 0.000 0.235

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 46 46 18 0 29 0 0 223

N.S.

1 1.92 1.92 0.75 0.00 1.21 0.00 0.00 9.29

time (sec)

N/A 0.381 0.240 1.638 0.000 0.249 0.000 0.000 5.501

Problem 241

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

24 24 24 19 0 18 0 0 0

N.S.

1 1.00 1.00 0.79 0.00 0.75 0.00 0.00 0.00

time (sec)

N/A 0.190 0.342 2.957 0.000 0.270 0.000 0.000 0.000

Problem 242

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

24 24 24 22 0 42 0 0 0

N.S.

1 1.00 1.00 0.92 0.00 1.75 0.00 0.00 0.00

time (sec)

N/A 0.189 0.369 1.934 0.000 0.283 0.000 0.000 0.000

Problem 243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F B F F B

verified

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

size

24 0 24 21 0 136 0 0 44

N.S.

1 0.00 1.00 0.88 0.00 5.67 0.00 0.00 1.83

time (sec)

N/A 0.000 3.956 0.858 0.000 0.285 0.000 0.000 5.963

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F B F F B

verified

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

size

24 0 24 21 0 138 0 0 44

N.S.

1 0.00 1.00 0.88 0.00 5.75 0.00 0.00 1.83

time (sec)

N/A 0.000 3.903 0.897 0.000 0.276 0.000 0.000 6.009

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F B F F B

verified

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

size

24 0 24 21 0 151 0 0 52

N.S.

1 0.00 1.00 0.88 0.00 6.29 0.00 0.00 2.17

time (sec)

N/A 0.000 1.803 0.898 0.000 0.299 0.000 0.000 6.032

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F B F F B

verified

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

size

24 0 24 21 0 147 0 0 46

N.S.

1 0.00 1.00 0.88 0.00 6.12 0.00 0.00 1.92

time (sec)

N/A 0.000 1.788 0.855 0.000 0.288 0.000 0.000 5.984

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A F F B

verified

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

size

24 0 24 16 26 22 0 0 22

N.S.

1 0.00 1.00 0.67 1.08 0.92 0.00 0.00 0.92

time (sec)

N/A 0.000 6.789 1.303 0.324 0.244 0.000 0.000 0.091

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

24 0 0 21 0 119 0 0 0

N.S.

1 0.00 0.00 0.88 0.00 4.96 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 1.629 0.000 0.346 0.000 0.000 0.000

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

24 0 0 21 0 129 0 0 0

N.S.

1 0.00 0.00 0.88 0.00 5.38 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 1.007 0.000 0.345 0.000 0.000 0.000

Problem 250

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 31 20 17 19 21 41 19 21

N.S.

1 1.24 0.80 0.68 0.76 0.84 1.64 0.76 0.84

time (sec)

N/A 0.162 0.017 0.842 0.190 0.235 0.102 0.271 5.274

Problem 251

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 31 20 17 19 21 41 19 21

N.S.

1 1.24 0.80 0.68 0.76 0.84 1.64 0.76 0.84

time (sec)

N/A 0.164 0.021 0.868 0.201 0.248 0.164 0.261 4.906

Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 31 25 22 35 35 32 35 21

N.S.

1 1.24 1.00 0.88 1.40 1.40 1.28 1.40 0.84

time (sec)

N/A 0.161 0.024 1.377 0.280 0.238 0.450 0.264 5.025

Problem 253

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 31 20 17 19 21 41 19 20

N.S.

1 1.24 0.80 0.68 0.76 0.84 1.64 0.76 0.80

time (sec)

N/A 0.160 0.021 0.820 0.195 0.232 0.155 0.266 5.050

Problem 254

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 31 20 17 19 21 37 19 21

N.S.

1 1.24 0.80 0.68 0.76 0.84 1.48 0.76 0.84

time (sec)

N/A 0.163 0.016 0.869 0.193 0.263 0.099 0.261 5.119

Problem 255

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 31 20 17 19 21 41 19 21

N.S.

1 1.24 0.80 0.68 0.76 0.84 1.64 0.76 0.84

time (sec)

N/A 0.165 0.020 0.852 0.194 0.266 0.191 0.273 5.070

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 44 25 17 28 21 41 28 20

N.S.

1 1.76 1.00 0.68 1.12 0.84 1.64 1.12 0.80

time (sec)

N/A 0.167 0.021 0.856 0.196 0.248 0.762 0.266 5.121

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 31 20 17 19 21 37 19 20

N.S.

1 1.24 0.80 0.68 0.76 0.84 1.48 0.76 0.80

time (sec)

N/A 0.160 0.017 0.842 0.187 0.240 0.131 0.264 5.023

Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 41 23 20 0 21 0 23 33

N.S.

1 1.64 0.92 0.80 0.00 0.84 0.00 0.92 1.32

time (sec)

N/A 0.180 0.127 0.862 0.000 0.253 0.000 0.273 4.795

Problem 259

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 31 20 17 19 21 41 19 20

N.S.

1 1.24 0.80 0.68 0.76 0.84 1.64 0.76 0.80

time (sec)

N/A 0.160 0.019 0.849 0.189 0.251 0.174 0.262 5.042

Problem 260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 37 25 22 32 21 0 23 21

N.S.

1 1.48 1.00 0.88 1.28 0.84 0.00 0.92 0.84

time (sec)

N/A 0.176 0.173 2.905 0.289 0.244 0.000 0.268 5.067

Problem 261

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

25 37 25 22 58 21 0 23 31

N.S.

1 1.48 1.00 0.88 2.32 0.84 0.00 0.92 1.24

time (sec)

N/A 0.178 10.022 0.786 0.284 0.263 0.000 0.285 5.175

Problem 262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 16 16 15 0 22 0 0 23

N.S.

1 0.64 0.64 0.60 0.00 0.88 0.00 0.00 0.92

time (sec)

N/A 0.218 0.322 0.956 0.000 0.250 0.000 0.000 5.286

Problem 263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 16 16 15 0 22 0 11 23

N.S.

1 0.64 0.64 0.60 0.00 0.88 0.00 0.44 0.92

time (sec)

N/A 0.151 0.156 0.943 0.000 0.235 0.000 0.284 5.161

Problem 264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 37 25 20 24 21 0 19 31

N.S.

1 1.48 1.00 0.80 0.96 0.84 0.00 0.76 1.24

time (sec)

N/A 0.164 0.146 0.789 0.279 0.259 0.000 0.269 5.078

Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 39 25 24 0 23 0 47 0

N.S.

1 1.56 1.00 0.96 0.00 0.92 0.00 1.88 0.00

time (sec)

N/A 0.215 0.175 3.113 0.000 0.262 0.000 0.284 0.000

Problem 266

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

25 16 25 8 0 23 0 46 0

N.S.

1 0.64 1.00 0.32 0.00 0.92 0.00 1.84 0.00

time (sec)

N/A 0.209 0.191 1.431 0.000 0.265 0.000 0.277 0.000

Problem 267

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

25 21 25 11 0 23 0 46 0

N.S.

1 0.84 1.00 0.44 0.00 0.92 0.00 1.84 0.00

time (sec)

N/A 0.213 0.265 1.665 0.000 0.263 0.000 0.276 0.000

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 41 23 20 0 21 0 23 33

N.S.

1 1.64 0.92 0.80 0.00 0.84 0.00 0.92 1.32

time (sec)

N/A 0.182 0.145 0.801 0.000 0.256 0.000 0.275 5.081

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 37 25 20 29 19 230 0 30

N.S.

1 1.48 1.00 0.80 1.16 0.76 9.20 0.00 1.20

time (sec)

N/A 0.161 0.169 0.809 0.190 0.253 1.060 0.000 5.095

Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 16 16 15 0 24 0 0 23

N.S.

1 0.64 0.64 0.60 0.00 0.96 0.00 0.00 0.92

time (sec)

N/A 0.215 0.819 0.973 0.000 0.252 0.000 0.000 5.081

Problem 271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 16 16 15 0 22 0 0 23

N.S.

1 0.64 0.64 0.60 0.00 0.88 0.00 0.00 0.92

time (sec)

N/A 0.233 3.518 0.981 0.000 0.238 0.000 0.000 5.078

Problem 272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 16 16 15 0 22 0 0 23

N.S.

1 0.64 0.64 0.60 0.00 0.88 0.00 0.00 0.92

time (sec)

N/A 0.224 0.857 0.986 0.000 0.249 0.000 0.000 4.980

Problem 273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 37 25 20 28 21 0 19 31

N.S.

1 1.48 1.00 0.80 1.12 0.84 0.00 0.76 1.24

time (sec)

N/A 0.173 10.020 0.848 0.276 0.257 0.000 0.278 5.061

Problem 274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 33 26 20 25 22 296 0 38

N.S.

1 1.27 1.00 0.77 0.96 0.85 11.38 0.00 1.46

time (sec)

N/A 0.153 0.086 0.799 0.187 0.265 0.581 0.000 5.088

Problem 275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 17 17 16 0 25 0 0 24

N.S.

1 0.65 0.65 0.62 0.00 0.96 0.00 0.00 0.92

time (sec)

N/A 0.270 0.338 0.986 0.000 0.238 0.000 0.000 5.067

Problem 276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F B F F B

verified

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

size

26 0 26 23 0 167 0 0 40

N.S.

1 0.00 1.00 0.88 0.00 6.42 0.00 0.00 1.54

time (sec)

N/A 0.000 0.799 1.241 0.000 0.284 0.000 0.000 6.020

Problem 277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F B F F B

verified

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

size

26 0 26 23 0 169 0 0 51

N.S.

1 0.00 1.00 0.88 0.00 6.50 0.00 0.00 1.96

time (sec)

N/A 0.000 0.800 2.626 0.000 0.278 0.000 0.000 8.623

Problem 278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 513 26 68 0 0 0 0 0

N.S.

1 19.73 1.00 2.62 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.883 8.657 5.066 0.000 0.000 0.000 0.000 0.000

Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 33 23 20 25 24 136 0 38

N.S.

1 1.27 0.88 0.77 0.96 0.92 5.23 0.00 1.46

time (sec)

N/A 0.168 0.146 0.816 0.196 0.255 1.800 0.000 5.145

Problem 280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 251 26 27 0 40 0 0 0

N.S.

1 9.65 1.00 1.04 0.00 1.54 0.00 0.00 0.00

time (sec)

N/A 0.938 0.384 3.675 0.000 0.326 0.000 0.000 0.000

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 47 26 23 22 22 126 0 25

N.S.

1 1.81 1.00 0.88 0.85 0.85 4.85 0.00 0.96

time (sec)

N/A 0.314 0.442 0.852 0.309 0.247 1.568 0.000 5.134

Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 50 26 23 38 22 178 0 39

N.S.

1 1.92 1.00 0.88 1.46 0.85 6.85 0.00 1.50

time (sec)

N/A 0.326 3.224 0.835 0.305 0.253 2.028 0.000 5.226

Problem 283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

26 0 26 23 0 132 0 0 40

N.S.

1 0.00 1.00 0.88 0.00 5.08 0.00 0.00 1.54

time (sec)

N/A 0.000 10.940 0.901 0.000 0.283 0.000 0.000 5.254

Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

26 0 26 23 0 146 0 0 42

N.S.

1 0.00 1.00 0.88 0.00 5.62 0.00 0.00 1.62

time (sec)

N/A 0.000 11.253 0.917 0.000 0.287 0.000 0.000 5.159

Problem 285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 44 26 23 0 22 151 0 27

N.S.

1 1.69 1.00 0.88 0.00 0.85 5.81 0.00 1.04

time (sec)

N/A 0.317 1.686 1.042 0.000 0.248 2.298 0.000 5.013

Problem 286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 44 26 23 0 22 143 0 27

N.S.

1 1.69 1.00 0.88 0.00 0.85 5.50 0.00 1.04

time (sec)

N/A 0.312 1.511 1.000 0.000 0.249 2.269 0.000 0.186

Problem 287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 33 26 20 25 29 92 41 24

N.S.

1 1.27 1.00 0.77 0.96 1.12 3.54 1.58 0.92

time (sec)

N/A 0.153 0.115 0.834 0.196 0.248 0.784 0.272 5.121

Problem 288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

26 0 26 51 0 22 0 0 0

N.S.

1 0.00 1.00 1.96 0.00 0.85 0.00 0.00 0.00

time (sec)

N/A 0.000 9.855 1.425 0.000 0.277 0.000 0.000 0.000

Problem 289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

26 0 0 23 0 123 0 0 0

N.S.

1 0.00 0.00 0.88 0.00 4.73 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 1.486 0.000 0.345 0.000 0.000 0.000

Problem 290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

26 0 0 23 0 137 0 0 0

N.S.

1 0.00 0.00 0.88 0.00 5.27 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 0.977 0.000 0.371 0.000 0.000 0.000

Problem 291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 31 26 23 53 22 168 0 27

N.S.

1 1.19 1.00 0.88 2.04 0.85 6.46 0.00 1.04

time (sec)

N/A 0.295 3.269 0.884 0.298 0.264 2.207 0.000 5.186

Problem 292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 31 26 23 44 22 155 0 27

N.S.

1 1.19 1.00 0.88 1.69 0.85 5.96 0.00 1.04

time (sec)

N/A 0.296 3.271 0.902 0.304 0.245 2.095 0.000 5.158

Problem 293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

26 0 26 28 0 40 0 0 0

N.S.

1 0.00 1.00 1.08 0.00 1.54 0.00 0.00 0.00

time (sec)

N/A 0.000 2.992 2.094 0.000 0.500 0.000 0.000 0.000

Problem 294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B B F F B

verified

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

size

26 0 26 23 62 62 0 0 147

N.S.

1 0.00 1.00 0.88 2.38 2.38 0.00 0.00 5.65

time (sec)

N/A 0.000 0.072 0.287 0.221 0.259 0.000 0.000 6.387

Problem 295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

26 0 0 0 0 144 0 0 0

N.S.

1 0.00 0.00 0.00 0.00 5.54 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.618 0.000 0.000 0.000

Problem 296

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F F F F B F F B

verified

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

size

26 0 0 0 0 139 0 0 46

N.S.

1 0.00 0.00 0.00 0.00 5.35 0.00 0.00 1.77

time (sec)

N/A 0.000 0.000 0.000 0.000 0.380 0.000 0.000 5.816

Problem 297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

26 0 0 0 0 132 0 0 0

N.S.

1 0.00 0.00 0.00 0.00 5.08 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.649 0.000 0.000 0.000

Problem 298

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

27 35 22 19 23 23 42 32 34

N.S.

1 1.30 0.81 0.70 0.85 0.85 1.56 1.19 1.26

time (sec)

N/A 0.172 0.018 1.262 0.192 0.243 0.093 0.264 0.048

Problem 299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A F B F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

27 1340 27 25 0 97 0 0 1872

N.S.

1 49.63 1.00 0.93 0.00 3.59 0.00 0.00 69.33

time (sec)

N/A 3.725 0.209 2.254 0.000 0.272 0.000 0.000 6.230

Problem 300

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C C C F B F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

27 541 94 88 0 51 0 0 167

N.S.

1 20.04 3.48 3.26 0.00 1.89 0.00 0.00 6.19

time (sec)

N/A 1.046 4.075 1.196 0.000 0.255 0.000 0.000 5.390

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