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

2.2.2 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 A A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 13 12 12 129 0 12

N.S.

1 1.00 1.00 0.81 0.75 0.75 8.06 0.00 0.75

time (sec)

N/A 0.137 0.490 0.823 0.186 0.262 0.550 0.000 5.072

Problem 102

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

16 16 16 13 12 16 61 20 12

N.S.

1 1.00 1.00 0.81 0.75 1.00 3.81 1.25 0.75

time (sec)

N/A 0.138 0.123 0.796 0.179 0.247 0.560 0.290 5.080

Problem 103

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

16 16 16 13 12 16 12 18 12

N.S.

1 1.00 1.00 0.81 0.75 1.00 0.75 1.12 0.75

time (sec)

N/A 0.138 0.120 0.785 0.189 0.237 0.340 0.276 4.864

Problem 104

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

16 16 16 13 12 12 22 0 12

N.S.

1 1.00 1.00 0.81 0.75 0.75 1.38 0.00 0.75

time (sec)

N/A 0.138 0.567 0.780 0.185 0.236 0.350 0.000 4.949

Problem 105

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

16 16 16 13 29 12 42 0 12

N.S.

1 1.00 1.00 0.81 1.81 0.75 2.62 0.00 0.75

time (sec)

N/A 0.143 0.161 0.806 0.305 0.238 1.316 0.000 0.043

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

16 16 16 13 12 16 27 18 12

N.S.

1 1.00 1.00 0.81 0.75 1.00 1.69 1.12 0.75

time (sec)

N/A 0.136 0.117 0.754 0.202 0.235 0.469 0.279 5.580

Problem 107

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

16 16 16 13 29 12 71 0 27

N.S.

1 1.00 1.00 0.81 1.81 0.75 4.44 0.00 1.69

time (sec)

N/A 0.142 0.270 0.803 0.320 0.259 1.467 0.000 5.407

Problem 108

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

16 16 16 13 38 12 71 0 12

N.S.

1 1.00 1.00 0.81 2.38 0.75 4.44 0.00 0.75

time (sec)

N/A 0.141 0.140 0.818 0.331 0.256 1.501 0.000 5.110

Problem 109

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

16 16 16 13 38 12 48 0 12

N.S.

1 1.00 1.00 0.81 2.38 0.75 3.00 0.00 0.75

time (sec)

N/A 0.142 0.157 0.833 0.320 0.240 1.359 0.000 4.721

Problem 110

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

16 16 16 13 38 12 76 0 27

N.S.

1 1.00 1.00 0.81 2.38 0.75 4.75 0.00 1.69

time (sec)

N/A 0.141 0.267 0.829 0.327 0.259 1.503 0.000 4.764

Problem 111

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

16 16 16 13 0 12 0 0 12

N.S.

1 1.00 1.00 0.81 0.00 0.75 0.00 0.00 0.75

time (sec)

N/A 0.149 10.021 0.863 0.000 0.250 0.000 0.000 5.552

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 47 23 20 0 22 0 0 19

N.S.

1 2.94 1.44 1.25 0.00 1.38 0.00 0.00 1.19

time (sec)

N/A 0.262 5.910 0.878 0.000 0.249 0.000 0.000 5.445

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

16 0 16 15 0 36 0 0 0

N.S.

1 0.00 1.00 0.94 0.00 2.25 0.00 0.00 0.00

time (sec)

N/A 0.000 10.800 1.457 0.000 0.255 0.000 0.000 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 13 27 12 56 25 12

N.S.

1 1.00 1.00 0.81 1.69 0.75 3.50 1.56 0.75

time (sec)

N/A 0.156 0.146 0.936 0.314 0.245 0.944 0.301 5.101

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 13 12 12 66 25 12

N.S.

1 1.00 1.00 0.81 0.75 0.75 4.12 1.56 0.75

time (sec)

N/A 0.141 2.029 1.691 0.304 0.239 1.468 0.309 0.171

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

17 0 44 45 0 70 0 0 0

N.S.

1 0.00 2.59 2.65 0.00 4.12 0.00 0.00 0.00

time (sec)

N/A 0.000 7.868 3.655 0.000 0.272 0.000 0.000 0.000

Problem 117

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

17 17 17 16 0 15 0 0 0

N.S.

1 1.00 1.00 0.94 0.00 0.88 0.00 0.00 0.00

time (sec)

N/A 0.194 0.146 3.151 0.000 0.279 0.000 0.000 0.000

Problem 118

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

17 17 17 18 0 34 0 0 0

N.S.

1 1.00 1.00 1.06 0.00 2.00 0.00 0.00 0.00

time (sec)

N/A 0.218 0.196 2.180 0.000 0.255 0.000 0.000 0.000

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

17 0 17 32 0 72 0 0 0

N.S.

1 0.00 1.00 1.88 0.00 4.24 0.00 0.00 0.00

time (sec)

N/A 0.000 7.348 1.482 0.000 0.264 0.000 0.000 0.000

Problem 120

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

18 29 18 15 19 14 75 19 14

N.S.

1 1.61 1.00 0.83 1.06 0.78 4.17 1.06 0.78

time (sec)

N/A 0.158 0.015 0.796 0.192 0.241 0.512 0.269 5.040

Problem 121

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

18 20 18 15 12 19 0 0 14

N.S.

1 1.11 1.00 0.83 0.67 1.06 0.00 0.00 0.78

time (sec)

N/A 0.142 0.058 0.910 0.230 0.241 0.000 0.000 4.950

Problem 122

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 29 18 15 19 14 26 19 14

N.S.

1 1.61 1.00 0.83 1.06 0.78 1.44 1.06 0.78

time (sec)

N/A 0.156 0.017 0.756 0.195 0.233 0.468 0.270 4.982

Problem 123

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

18 18 18 15 22 14 0 11 14

N.S.

1 1.00 1.00 0.83 1.22 0.78 0.00 0.61 0.78

time (sec)

N/A 0.144 0.550 0.773 0.199 0.252 0.000 0.285 4.950

Problem 124

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

18 18 18 20 22 19 0 11 31

N.S.

1 1.00 1.00 1.11 1.22 1.06 0.00 0.61 1.72

time (sec)

N/A 0.145 0.452 0.795 0.189 0.238 0.000 0.292 4.966

Problem 125

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

18 12 12 11 0 16 0 0 10

N.S.

1 0.67 0.67 0.61 0.00 0.89 0.00 0.00 0.56

time (sec)

N/A 0.209 0.181 0.980 0.000 0.234 0.000 0.000 0.058

Problem 126

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

18 18 18 11 0 14 0 9 14

N.S.

1 1.00 1.00 0.61 0.00 0.78 0.00 0.50 0.78

time (sec)

N/A 0.145 0.018 0.756 0.000 0.239 0.000 0.289 4.959

Problem 127

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

18 18 18 15 0 14 0 11 14

N.S.

1 1.00 1.00 0.83 0.00 0.78 0.00 0.61 0.78

time (sec)

N/A 0.148 0.058 0.812 0.000 0.245 0.000 0.279 4.943

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 15 107 14 78 34 14

N.S.

1 1.00 1.00 0.83 5.94 0.78 4.33 1.89 0.78

time (sec)

N/A 0.153 0.047 3.431 0.273 0.240 10.798 0.279 5.023

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 269 18 15 28 19 0 27 14

N.S.

1 14.94 1.00 0.83 1.56 1.06 0.00 1.50 0.78

time (sec)

N/A 0.841 2.861 1.051 0.324 0.248 0.000 0.289 4.956

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A F A F A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

18 96 18 20 0 19 0 25 1

N.S.

1 5.33 1.00 1.11 0.00 1.06 0.00 1.39 0.06

time (sec)

N/A 0.284 0.145 0.822 0.000 0.249 0.000 0.303 0.012

Problem 131

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

18 18 18 15 25 14 0 11 14

N.S.

1 1.00 1.00 0.83 1.39 0.78 0.00 0.61 0.78

time (sec)

N/A 0.146 0.133 2.937 0.292 0.245 0.000 0.276 4.960

Problem 132

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

18 18 18 15 25 14 0 11 14

N.S.

1 1.00 1.00 0.83 1.39 0.78 0.00 0.61 0.78

time (sec)

N/A 0.150 9.095 0.769 0.279 0.233 0.000 0.294 4.982

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 37 18 20 58 19 0 11 31

N.S.

1 2.06 1.00 1.11 3.22 1.06 0.00 0.61 1.72

time (sec)

N/A 0.227 9.544 0.862 0.289 0.246 0.000 0.294 5.204

Problem 134

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

18 18 18 20 25 19 0 11 31

N.S.

1 1.00 1.00 1.11 1.39 1.06 0.00 0.61 1.72

time (sec)

N/A 0.146 9.218 0.797 0.276 0.250 0.000 0.282 5.058

Problem 135

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

18 23 18 15 0 19 0 0 21

N.S.

1 1.28 1.00 0.83 0.00 1.06 0.00 0.00 1.17

time (sec)

N/A 0.214 6.349 1.000 0.000 0.243 0.000 0.000 5.008

Problem 136

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

18 18 18 20 25 19 0 11 19

N.S.

1 1.00 1.00 1.11 1.39 1.06 0.00 0.61 1.06

time (sec)

N/A 0.142 0.118 2.602 0.281 0.249 0.000 0.283 5.114

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 43 7 0 20 0 26 0

N.S.

1 1.00 2.39 0.39 0.00 1.11 0.00 1.44 0.00

time (sec)

N/A 0.146 0.176 0.820 0.000 0.262 0.000 0.281 0.000

Problem 138

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

18 12 12 11 0 16 0 0 16

N.S.

1 0.67 0.67 0.61 0.00 0.89 0.00 0.00 0.89

time (sec)

N/A 0.209 5.856 0.956 0.000 0.240 0.000 0.000 4.980

Problem 139

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

18 18 20 15 0 14 0 0 14

N.S.

1 1.00 1.11 0.83 0.00 0.78 0.00 0.00 0.78

time (sec)

N/A 0.164 0.169 0.806 0.000 0.235 0.000 0.000 5.224

Problem 140

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

18 18 18 13 17 14 0 9 14

N.S.

1 1.00 1.00 0.72 0.94 0.78 0.00 0.50 0.78

time (sec)

N/A 0.139 0.133 0.809 0.272 0.236 0.000 0.278 5.221

Problem 141

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

18 18 23 13 17 19 0 9 29

N.S.

1 1.00 1.28 0.72 0.94 1.06 0.00 0.50 1.61

time (sec)

N/A 0.140 0.114 0.789 0.270 0.247 0.000 0.272 5.238

Problem 142

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

18 18 23 20 0 19 0 0 19

N.S.

1 1.00 1.28 1.11 0.00 1.06 0.00 0.00 1.06

time (sec)

N/A 0.169 0.148 0.811 0.000 0.246 0.000 0.000 5.281

Problem 143

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

18 18 18 11 0 14 0 9 14

N.S.

1 1.00 1.00 0.61 0.00 0.78 0.00 0.50 0.78

time (sec)

N/A 0.145 0.019 0.776 0.000 0.239 0.000 0.282 5.169

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 37 18 20 0 22 0 9 43

N.S.

1 2.06 1.00 1.11 0.00 1.22 0.00 0.50 2.39

time (sec)

N/A 0.221 0.027 0.788 0.000 0.227 0.000 0.286 5.090

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

18 0 18 19 0 35 0 0 0

N.S.

1 0.00 1.00 1.06 0.00 1.94 0.00 0.00 0.00

time (sec)

N/A 0.000 0.122 2.245 0.000 0.274 0.000 0.000 0.000

Problem 146

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

18 18 18 15 0 14 0 0 14

N.S.

1 1.00 1.00 0.83 0.00 0.78 0.00 0.00 0.78

time (sec)

N/A 0.154 10.015 0.824 0.000 0.250 0.000 0.000 5.067

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 37 18 20 0 19 0 0 31

N.S.

1 2.06 1.00 1.11 0.00 1.06 0.00 0.00 1.72

time (sec)

N/A 0.321 10.013 0.967 0.000 0.246 0.000 0.000 5.299

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 12 60 11 0 16 0 0 16

N.S.

1 0.67 3.33 0.61 0.00 0.89 0.00 0.00 0.89

time (sec)

N/A 0.222 10.041 1.015 0.000 0.242 0.000 0.000 4.957

Problem 149

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

18 18 23 20 0 19 0 0 19

N.S.

1 1.00 1.28 1.11 0.00 1.06 0.00 0.00 1.06

time (sec)

N/A 0.153 0.331 0.850 0.000 0.253 0.000 0.000 4.955

Problem 150

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

18 18 20 15 0 14 0 0 14

N.S.

1 1.00 1.11 0.83 0.00 0.78 0.00 0.00 0.78

time (sec)

N/A 0.150 0.398 0.825 0.000 0.255 0.000 0.000 5.009

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 53 25 22 0 24 0 0 41

N.S.

1 2.94 1.39 1.22 0.00 1.33 0.00 0.00 2.28

time (sec)

N/A 0.258 0.360 0.844 0.000 0.243 0.000 0.000 5.038

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 15 33 16 19 30 0

N.S.

1 1.00 1.00 0.83 1.83 0.89 1.06 1.67 0.00

time (sec)

N/A 0.142 0.172 0.812 0.185 0.242 0.477 0.279 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 8 18 7 33 16 5 29 0

N.S.

1 0.44 1.00 0.39 1.83 0.89 0.28 1.61 0.00

time (sec)

N/A 0.133 0.174 0.804 0.178 0.236 0.452 0.271 0.000

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 37 18 20 0 19 0 0 31

N.S.

1 2.06 1.00 1.11 0.00 1.06 0.00 0.00 1.72

time (sec)

N/A 0.325 10.021 0.905 0.000 0.267 0.000 0.000 5.169

Problem 155

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

18 18 18 13 21 14 0 9 14

N.S.

1 1.00 1.00 0.72 1.17 0.78 0.00 0.50 0.78

time (sec)

N/A 0.147 10.012 0.809 0.255 0.245 0.000 0.289 5.082

Problem 156

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

18 18 18 15 0 14 0 0 14

N.S.

1 1.00 1.00 0.83 0.00 0.78 0.00 0.00 0.78

time (sec)

N/A 0.149 0.404 0.855 0.000 0.250 0.000 0.000 5.080

Problem 157

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

18 18 23 20 0 19 0 0 19

N.S.

1 1.00 1.28 1.11 0.00 1.06 0.00 0.00 1.06

time (sec)

N/A 0.152 0.299 0.857 0.000 0.251 0.000 0.000 5.023

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

18 0 18 0 0 25 31 0 0

N.S.

1 0.00 1.00 0.00 0.00 1.39 1.72 0.00 0.00

time (sec)

N/A 0.000 0.048 0.000 0.000 0.253 0.449 0.000 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 719 19 13 15 17 0 0 276

N.S.

1 37.84 1.00 0.68 0.79 0.89 0.00 0.00 14.53

time (sec)

N/A 2.376 0.643 3.667 0.288 0.247 0.000 0.000 4.982

Problem 160

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

19 19 19 18 0 17 0 0 17

N.S.

1 1.00 1.00 0.95 0.00 0.89 0.00 0.00 0.89

time (sec)

N/A 0.164 0.287 0.854 0.000 0.244 0.000 0.000 4.998

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

19 0 41 46 0 17 0 0 0

N.S.

1 0.00 2.16 2.42 0.00 0.89 0.00 0.00 0.00

time (sec)

N/A 0.000 21.947 3.658 0.000 0.279 0.000 0.000 0.000

Problem 162

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

19 19 19 18 0 30 0 0 0

N.S.

1 1.00 1.00 0.95 0.00 1.58 0.00 0.00 0.00

time (sec)

N/A 0.232 0.208 7.446 0.000 0.270 0.000 0.000 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 38 19 16 15 40 0 0 30

N.S.

1 2.00 1.00 0.84 0.79 2.11 0.00 0.00 1.58

time (sec)

N/A 0.191 0.024 0.079 0.186 0.237 0.000 0.000 4.994

Problem 164

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

19 19 19 16 15 15 0 0 15

N.S.

1 1.00 1.00 0.84 0.79 0.79 0.00 0.00 0.79

time (sec)

N/A 0.169 0.418 0.144 0.217 0.236 0.000 0.000 0.066

Problem 165

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

19 19 19 16 15 15 0 0 15

N.S.

1 1.00 1.00 0.84 0.79 0.79 0.00 0.00 0.79

time (sec)

N/A 0.163 0.325 0.166 0.213 0.239 0.000 0.000 5.046

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 19 16 43 15 0 0 15

N.S.

1 1.00 1.00 0.84 2.26 0.79 0.00 0.00 0.79

time (sec)

N/A 0.165 0.341 0.175 0.232 0.245 0.000 0.000 4.988

Problem 167

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

20 14 14 13 0 18 0 0 12

N.S.

1 0.70 0.70 0.65 0.00 0.90 0.00 0.00 0.60

time (sec)

N/A 0.209 0.208 0.979 0.000 0.241 0.000 0.000 0.071

Problem 168

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

20 14 14 11 0 16 0 9 18

N.S.

1 0.70 0.70 0.55 0.00 0.80 0.00 0.45 0.90

time (sec)

N/A 0.174 0.609 0.916 0.000 0.238 0.000 0.285 5.062

Problem 169

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

20 20 18 15 0 16 0 11 16

N.S.

1 1.00 0.90 0.75 0.00 0.80 0.00 0.55 0.80

time (sec)

N/A 0.148 0.019 0.779 0.000 0.254 0.000 0.275 5.182

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 20 17 16 16 26 16 16

N.S.

1 1.00 1.00 0.85 0.80 0.80 1.30 0.80 0.80

time (sec)

N/A 0.143 0.015 3.608 0.183 0.238 0.079 0.264 5.208

Problem 171

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

20 20 20 17 16 16 44 16 16

N.S.

1 1.00 1.00 0.85 0.80 0.80 2.20 0.80 0.80

time (sec)

N/A 0.142 0.013 0.788 0.204 0.248 0.084 0.262 5.079

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 20 17 79 16 309 39 16

N.S.

1 1.00 1.00 0.85 3.95 0.80 15.45 1.95 0.80

time (sec)

N/A 0.155 0.038 0.795 0.289 0.242 10.435 0.270 5.191

Problem 173

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

20 20 20 17 22 16 0 11 16

N.S.

1 1.00 1.00 0.85 1.10 0.80 0.00 0.55 0.80

time (sec)

N/A 0.141 0.146 0.816 0.199 0.247 0.000 0.283 5.217

Problem 174

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

20 20 20 22 22 21 0 11 33

N.S.

1 1.00 1.00 1.10 1.10 1.05 0.00 0.55 1.65

time (sec)

N/A 0.145 0.123 0.782 0.193 0.246 0.000 0.280 5.220

Problem 175

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

20 20 20 22 0 21 0 0 21

N.S.

1 1.00 1.00 1.10 0.00 1.05 0.00 0.00 1.05

time (sec)

N/A 0.166 0.158 0.842 0.000 0.246 0.000 0.000 4.993

Problem 176

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

20 20 18 15 0 16 0 11 16

N.S.

1 1.00 0.90 0.75 0.00 0.80 0.00 0.55 0.80

time (sec)

N/A 0.145 0.018 0.801 0.000 0.226 0.000 0.280 5.079

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 41 18 20 0 24 0 18 49

N.S.

1 2.05 0.90 1.00 0.00 1.20 0.00 0.90 2.45

time (sec)

N/A 0.226 0.030 0.826 0.000 0.248 0.000 0.272 5.040

Problem 178

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

20 20 18 18 0 19 0 11 33

N.S.

1 1.00 0.90 0.90 0.00 0.95 0.00 0.55 1.65

time (sec)

N/A 0.144 0.019 0.800 0.000 0.238 0.000 0.274 5.018

Problem 179

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

20 20 20 17 16 16 56 16 16

N.S.

1 1.00 1.00 0.85 0.80 0.80 2.80 0.80 0.80

time (sec)

N/A 0.157 0.013 0.112 0.273 0.243 0.087 0.261 5.082

Problem 180

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

20 20 20 22 0 21 0 0 21

N.S.

1 1.00 1.00 1.10 0.00 1.05 0.00 0.00 1.05

time (sec)

N/A 0.147 0.345 0.835 0.000 0.248 0.000 0.000 5.308

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 41 20 22 0 21 0 0 35

N.S.

1 2.05 1.00 1.10 0.00 1.05 0.00 0.00 1.75

time (sec)

N/A 0.252 0.306 0.865 0.000 0.236 0.000 0.000 5.437

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 59 24 24 0 26 0 0 47

N.S.

1 2.95 1.20 1.20 0.00 1.30 0.00 0.00 2.35

time (sec)

N/A 0.265 0.334 0.841 0.000 0.254 0.000 0.000 5.206

Problem 183

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

20 0 17 19 23 15 0 0 18

N.S.

1 0.00 0.85 0.95 1.15 0.75 0.00 0.00 0.90

time (sec)

N/A 0.000 8.362 1.371 0.315 0.247 0.000 0.000 0.091

Problem 184

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

20 20 20 17 30 16 0 11 16

N.S.

1 1.00 1.00 0.85 1.50 0.80 0.00 0.55 0.80

time (sec)

N/A 0.152 10.013 0.826 0.192 0.241 0.000 0.288 5.224

Problem 185

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

20 20 20 17 0 16 0 0 16

N.S.

1 1.00 1.00 0.85 0.00 0.80 0.00 0.00 0.80

time (sec)

N/A 0.156 0.401 0.856 0.000 0.239 0.000 0.000 5.120

Problem 186

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

20 20 20 22 0 21 0 0 21

N.S.

1 1.00 1.00 1.10 0.00 1.05 0.00 0.00 1.05

time (sec)

N/A 0.155 0.284 0.856 0.000 0.252 0.000 0.000 5.198

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 41 20 22 0 21 0 0 33

N.S.

1 2.05 1.00 1.10 0.00 1.05 0.00 0.00 1.65

time (sec)

N/A 0.280 0.304 0.865 0.000 0.236 0.000 0.000 5.193

Problem 188

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

20 14 14 13 29 18 0 0 12

N.S.

1 0.70 0.70 0.65 1.45 0.90 0.00 0.00 0.60

time (sec)

N/A 0.148 0.943 1.027 0.324 0.232 0.000 0.000 5.097

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 37 7 0 18 0 0 0

N.S.

1 1.00 1.85 0.35 0.00 0.90 0.00 0.00 0.00

time (sec)

N/A 0.148 0.007 1.576 0.000 0.251 0.000 0.000 0.000

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

20 0 20 0 0 55 0 0 0

N.S.

1 0.00 1.00 0.00 0.00 2.75 0.00 0.00 0.00

time (sec)

N/A 0.000 0.052 0.000 0.000 0.957 0.000 0.000 0.000

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 25 21 74 0 40 0 0 206

N.S.

1 1.19 1.00 3.52 0.00 1.90 0.00 0.00 9.81

time (sec)

N/A 0.205 0.933 2.829 0.000 0.257 0.000 0.000 5.539

Problem 192

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

21 18 21 28 0 25 0 0 275

N.S.

1 0.86 1.00 1.33 0.00 1.19 0.00 0.00 13.10

time (sec)

N/A 0.211 1.205 1.997 0.000 0.251 0.000 0.000 0.105

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A C F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 402 21 47 0 15 0 0 252

N.S.

1 19.14 1.00 2.24 0.00 0.71 0.00 0.00 12.00

time (sec)

N/A 0.845 1.099 2.566 0.000 0.256 0.000 0.000 5.343

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F A F F B

verified

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

size

21 0 19 18 0 20 0 0 19

N.S.

1 0.00 0.90 0.86 0.00 0.95 0.00 0.00 0.90

time (sec)

N/A 0.000 8.420 2.661 0.000 0.235 0.000 0.000 5.396

Problem 195

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

21 0 41 46 0 19 0 0 0

N.S.

1 0.00 1.95 2.19 0.00 0.90 0.00 0.00 0.00

time (sec)

N/A 0.000 22.440 3.581 0.000 0.279 0.000 0.000 0.000

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

21 0 51 28 0 25 0 0 0

N.S.

1 0.00 2.43 1.33 0.00 1.19 0.00 0.00 0.00

time (sec)

N/A 0.000 7.510 2.161 0.000 0.258 0.000 0.000 0.000

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F A F F B

verified

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

size

21 0 15 14 0 19 0 0 19

N.S.

1 0.00 0.71 0.67 0.00 0.90 0.00 0.00 0.90

time (sec)

N/A 0.000 6.890 4.749 0.000 0.250 0.000 0.000 5.344

Problem 198

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

21 14 14 11 0 20 0 9 19

N.S.

1 0.67 0.67 0.52 0.00 0.95 0.00 0.43 0.90

time (sec)

N/A 0.175 0.024 0.951 0.000 0.235 0.000 0.282 5.383

Problem 199

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

21 21 21 20 0 34 0 0 0

N.S.

1 1.00 1.00 0.95 0.00 1.62 0.00 0.00 0.00

time (sec)

N/A 0.257 0.294 2.824 0.000 0.276 0.000 0.000 0.000

Problem 200

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

21 21 21 22 0 47 0 0 0

N.S.

1 1.00 1.00 1.05 0.00 2.24 0.00 0.00 0.00

time (sec)

N/A 0.260 0.546 3.687 0.000 0.257 0.000 0.000 0.000

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