[next] [tail] [up]

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 A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

11 11 11 11 11 10 12 11 20

N.S.

1 1.00 1.00 1.00 1.00 0.91 1.09 1.00 1.82

time (sec)

N/A 0.003 0.001 0.020 0.193 0.242 0.014 0.279 0.371

Problem 2

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

3 3 3 3 2 2 2 2 2

N.S.

1 1.00 1.00 1.00 0.67 0.67 0.67 0.67 0.67

time (sec)

N/A 0.002 0.000 0.024 0.187 0.236 0.029 0.264 0.006

Problem 3

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

2 2 2 3 2 2 2 3 2

N.S.

1 1.00 1.00 1.50 1.00 1.00 1.00 1.50 1.00

time (sec)

N/A 0.000 0.000 0.012 0.189 0.238 0.033 0.270 0.002

Problem 4

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

8 8 8 9 8 8 8 8 8

N.S.

1 1.00 1.00 1.12 1.00 1.00 1.00 1.00 1.00

time (sec)

N/A 0.003 0.001 0.030 0.195 0.235 0.033 0.294 0.209

Problem 5

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

4 4 4 5 4 4 3 4 4

N.S.

1 1.00 1.00 1.25 1.00 1.00 0.75 1.00 1.00

time (sec)

N/A 0.003 0.001 0.045 0.205 0.243 0.033 0.270 0.021

Problem 6

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

2 2 2 3 2 2 2 2 2

N.S.

1 1.00 1.00 1.50 1.00 1.00 1.00 1.00 1.00

time (sec)

N/A 0.002 0.001 0.027 0.193 0.246 0.033 0.269 0.003

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

2 2 2 3 2 7 5 2 2

N.S.

1 1.00 1.00 1.50 1.00 3.50 2.50 1.00 1.00

time (sec)

N/A 0.007 0.000 0.174 0.180 0.239 0.038 0.261 0.033

Problem 8

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

4 4 4 5 6 8 7 6 4

N.S.

1 1.00 1.00 1.25 1.50 2.00 1.75 1.50 1.00

time (sec)

N/A 0.005 0.009 0.175 0.180 0.248 0.035 0.300 0.011

Problem 9

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

2 2 2 3 4 4 3 4 12

N.S.

1 1.00 1.00 1.50 2.00 2.00 1.50 2.00 6.00

time (sec)

N/A 0.005 0.006 0.078 0.176 0.238 0.021 0.301 0.280

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

4 4 4 5 6 6 5 6 6

N.S.

1 1.00 1.00 1.25 1.50 1.50 1.25 1.50 1.50

time (sec)

N/A 0.006 0.006 0.053 0.185 0.234 0.038 0.287 0.252

Problem 11

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

2 2 2 3 2 2 2 11 2

N.S.

1 1.00 1.00 1.50 1.00 1.00 1.00 5.50 1.00

time (sec)

N/A 0.003 0.011 0.067 0.185 0.225 0.063 0.290 0.019

Problem 12

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

2 2 2 3 2 2 2 11 2

N.S.

1 1.00 1.00 1.50 1.00 1.00 1.00 5.50 1.00

time (sec)

N/A 0.002 0.008 0.056 0.178 0.225 0.064 0.300 0.016

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

5 5 5 6 3 11 5 6 5

N.S.

1 1.00 1.00 1.20 0.60 2.20 1.00 1.20 1.00

time (sec)

N/A 0.002 0.001 0.019 0.181 0.240 0.041 0.269 0.029

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

3 3 7 4 3 11 3 4 3

N.S.

1 1.00 2.33 1.33 1.00 3.67 1.00 1.33 1.00

time (sec)

N/A 0.002 0.001 0.029 0.181 0.245 0.036 0.278 0.002

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

8 8 8 9 8 8 7 8 8

N.S.

1 1.00 1.00 1.12 1.00 1.00 0.88 1.00 1.00

time (sec)

N/A 0.006 0.003 0.047 0.194 0.248 0.059 0.258 0.023

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

8 8 8 9 8 8 5 8 6

N.S.

1 1.00 1.00 1.12 1.00 1.00 0.62 1.00 0.75

time (sec)

N/A 0.001 0.000 0.013 0.192 0.229 0.030 0.271 0.019

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

19 19 12 12 11 11 10 11 11

N.S.

1 1.00 0.63 0.63 0.58 0.58 0.53 0.58 0.58

time (sec)

N/A 0.011 0.002 0.026 0.203 0.235 0.028 0.267 0.028

Problem 18

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 14 12 11 13 15 11 11

N.S.

1 1.00 0.74 0.63 0.58 0.68 0.79 0.58 0.58

time (sec)

N/A 0.006 0.008 0.076 0.187 0.243 0.086 0.275 0.003

Problem 19

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

15 15 15 14 13 13 12 13 13

N.S.

1 1.00 1.00 0.93 0.87 0.87 0.80 0.87 0.87

time (sec)

N/A 0.003 0.002 0.073 0.186 0.251 0.068 0.288 0.214

Problem 20

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 15 11 11 11 10 11 11

N.S.

1 1.00 0.75 0.55 0.55 0.55 0.50 0.55 0.55

time (sec)

N/A 0.006 0.013 0.037 0.184 0.225 0.032 0.269 0.023

Problem 21

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

7 7 7 8 7 7 7 7 7

N.S.

1 1.00 1.00 1.14 1.00 1.00 1.00 1.00 1.00

time (sec)

N/A 0.008 0.003 0.064 0.186 0.248 0.063 0.266 0.002

Problem 22

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 15 14 14 14 14 14

N.S.

1 1.00 1.00 0.83 0.78 0.78 0.78 0.78 0.78

time (sec)

N/A 0.008 0.033 0.136 0.184 0.248 0.066 0.269 0.028

Problem 23

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

17 17 17 14 13 13 12 13 9

N.S.

1 1.00 1.00 0.82 0.76 0.76 0.71 0.76 0.53

time (sec)

N/A 0.003 0.000 0.017 0.178 0.243 0.030 0.273 0.002

Problem 24

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

29 29 25 22 21 21 27 21 23

N.S.

1 1.00 0.86 0.76 0.72 0.72 0.93 0.72 0.79

time (sec)

N/A 0.024 0.032 0.191 0.179 0.258 0.090 0.268 0.073

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

29 29 25 21 21 21 24 21 24

N.S.

1 1.00 0.86 0.72 0.72 0.72 0.83 0.72 0.83

time (sec)

N/A 0.020 0.031 0.171 0.194 0.247 0.090 0.267 0.032

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

15 15 15 16 12 15 15 15 12

N.S.

1 1.00 1.00 1.07 0.80 1.00 1.00 1.00 0.80

time (sec)

N/A 0.003 0.000 0.017 0.179 0.236 0.040 0.263 0.032

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

16 16 16 15 14 14 12 14 14

N.S.

1 1.00 1.00 0.94 0.88 0.88 0.75 0.88 0.88

time (sec)

N/A 0.003 0.001 0.009 0.256 0.243 0.052 0.273 0.002

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

23 23 18 15 14 17 24 14 18

N.S.

1 1.00 0.78 0.65 0.61 0.74 1.04 0.61 0.78

time (sec)

N/A 0.010 0.004 0.102 0.173 0.239 0.086 0.263 0.048

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

8 8 8 9 74 18 8 103 8

N.S.

1 1.00 1.00 1.12 9.25 2.25 1.00 12.88 1.00

time (sec)

N/A 0.015 0.007 0.230 0.263 0.271 0.304 0.286 0.023

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

17 17 17 14 13 13 12 13 9

N.S.

1 1.00 1.00 0.82 0.76 0.76 0.71 0.76 0.53

time (sec)

N/A 0.006 0.003 0.026 0.176 0.238 0.032 0.278 0.031

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

27 27 17 17 16 16 15 16 16

N.S.

1 1.00 0.63 0.63 0.59 0.59 0.56 0.59 0.59

time (sec)

N/A 0.024 0.017 0.032 0.186 0.243 0.032 0.278 0.019

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

27 27 22 20 19 21 26 19 19

N.S.

1 1.00 0.81 0.74 0.70 0.78 0.96 0.70 0.70

time (sec)

N/A 0.009 0.056 0.124 0.179 0.249 0.090 0.322 0.028

Problem 33

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 20 18 17 21 20 17 17

N.S.

1 1.00 0.74 0.67 0.63 0.78 0.74 0.63 0.63

time (sec)

N/A 0.010 0.048 0.137 0.186 0.238 0.167 0.270 0.028

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

9 9 9 10 34 9 7 17 9

N.S.

1 1.00 1.00 1.11 3.78 1.00 0.78 1.89 1.00

time (sec)

N/A 0.009 0.013 0.083 0.196 0.237 0.069 0.289 0.020

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 19 19 57 18 20 30 18

N.S.

1 1.00 1.00 1.00 3.00 0.95 1.05 1.58 0.95

time (sec)

N/A 0.012 0.017 0.131 0.183 0.235 0.136 0.280 0.062

Problem 36

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 11 10 9 9 7 9 9

N.S.

1 1.00 0.69 0.62 0.56 0.56 0.44 0.56 0.56

time (sec)

N/A 0.008 0.002 0.026 0.177 0.234 0.028 0.283 0.021

Problem 37

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

21 21 15 14 13 14 105 13 9

N.S.

1 1.00 0.71 0.67 0.62 0.67 5.00 0.62 0.43

time (sec)

N/A 0.006 0.005 0.099 0.176 0.247 0.917 0.302 0.035

Problem 38

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 15 14 14 14 14 14

N.S.

1 1.00 1.00 0.83 0.78 0.78 0.78 0.78 0.78

time (sec)

N/A 0.009 0.031 0.130 0.187 0.248 0.060 0.294 0.023

Problem 39

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 16 15 14 14 12 14 14

N.S.

1 1.00 0.62 0.58 0.54 0.54 0.46 0.54 0.54

time (sec)

N/A 0.015 0.018 0.031 0.195 0.230 0.031 0.287 0.029

Problem 40

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 17 16 16 12 16 16

N.S.

1 1.00 1.00 0.94 0.89 0.89 0.67 0.89 0.89

time (sec)

N/A 0.004 0.004 0.015 0.277 0.253 0.056 0.279 0.183

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

9 9 9 10 104 20 8 52 9

N.S.

1 1.00 1.00 1.11 11.56 2.22 0.89 5.78 1.00

time (sec)

N/A 0.012 0.020 0.158 0.194 0.263 0.276 0.313 0.159

Problem 42

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

17 17 17 14 13 25 26 13 13

N.S.

1 1.00 1.00 0.82 0.76 1.47 1.53 0.76 0.76

time (sec)

N/A 0.006 0.032 0.257 0.176 0.243 0.129 0.274 0.056

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

17 17 17 9 13 14 22 8 13

N.S.

1 1.00 1.00 0.53 0.76 0.82 1.29 0.47 0.76

time (sec)

N/A 0.007 0.008 0.159 0.183 0.242 0.131 0.294 0.206

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

11 11 11 9 11 11 10 11 8

N.S.

1 1.00 1.00 0.82 1.00 1.00 0.91 1.00 0.73

time (sec)

N/A 0.009 0.005 0.288 0.183 0.246 0.199 0.280 0.222

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

22 22 14 12 11 11 10 11 11

N.S.

1 1.00 0.64 0.55 0.50 0.50 0.45 0.50 0.50

time (sec)

N/A 0.013 0.023 0.042 0.189 0.238 0.030 0.290 0.041

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

15 15 9 9 12 8 7 8 8

N.S.

1 1.00 0.60 0.60 0.80 0.53 0.47 0.53 0.53

time (sec)

N/A 0.006 0.027 0.030 0.191 0.224 0.033 0.294 0.035

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

19 19 14 15 14 14 14 14 14

N.S.

1 1.00 0.74 0.79 0.74 0.74 0.74 0.74 0.74

time (sec)

N/A 0.007 0.016 0.046 0.349 0.236 0.039 0.290 0.025

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

17 17 17 11 10 13 15 13 13

N.S.

1 1.00 1.00 0.65 0.59 0.76 0.88 0.76 0.76

time (sec)

N/A 0.004 0.003 0.073 0.208 0.241 0.118 0.277 0.206

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

24 24 16 16 11 11 20 11 11

N.S.

1 1.00 0.67 0.67 0.46 0.46 0.83 0.46 0.46

time (sec)

N/A 0.006 0.003 0.026 0.223 0.235 0.068 0.294 0.022

Problem 50

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 12 10 9 9 8 9 7

N.S.

1 1.00 0.86 0.71 0.64 0.64 0.57 0.64 0.50

time (sec)

N/A 0.001 0.000 0.017 0.222 0.245 0.029 0.278 0.030

Problem 51

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

17 17 17 13 12 13 15 13 13

N.S.

1 1.00 1.00 0.76 0.71 0.76 0.88 0.76 0.76

time (sec)

N/A 0.003 0.003 0.066 0.195 0.260 0.117 0.299 0.023

Problem 52

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

22 22 22 17 16 16 20 16 16

N.S.

1 1.00 1.00 0.77 0.73 0.73 0.91 0.73 0.73

time (sec)

N/A 0.009 0.007 0.066 0.207 0.244 0.099 0.286 0.264

Problem 53

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 15 16 16

N.S.

1 1.00 1.00 0.85 0.80 0.80 0.75 0.80 0.80

time (sec)

N/A 0.013 0.014 0.141 0.203 0.261 0.244 0.276 0.217

Problem 54

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

28 28 19 17 16 16 15 16 16

N.S.

1 1.00 0.68 0.61 0.57 0.57 0.54 0.57 0.57

time (sec)

N/A 0.025 0.025 0.040 0.278 0.232 0.036 0.295 0.031

Problem 55

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

21 21 16 16 15 13 15 15 14

N.S.

1 1.00 0.76 0.76 0.71 0.62 0.71 0.71 0.67

time (sec)

N/A 0.009 0.002 0.029 0.277 0.239 0.084 0.291 0.020

Problem 56

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 17 16 16 15 18 16

N.S.

1 1.00 1.00 0.94 0.89 0.89 0.83 1.00 0.89

time (sec)

N/A 0.010 0.019 0.276 0.191 0.248 0.128 0.280 0.026

Problem 57

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

21 21 15 14 13 14 105 13 9

N.S.

1 1.00 0.71 0.67 0.62 0.67 5.00 0.62 0.43

time (sec)

N/A 0.004 0.005 0.100 0.180 0.240 0.930 0.276 0.018

Problem 58

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 14 11 10 14 14 10 10

N.S.

1 1.00 0.78 0.61 0.56 0.78 0.78 0.56 0.56

time (sec)

N/A 0.005 0.038 0.125 0.199 0.237 0.025 0.283 0.052

Problem 59

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 11 10 10 10 10 10

N.S.

1 1.00 1.00 0.79 0.71 0.71 0.71 0.71 0.71

time (sec)

N/A 0.005 0.002 0.056 0.189 0.240 0.017 0.275 0.002

Problem 60

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

24 24 22 17 16 19 24 16 16

N.S.

1 1.00 0.92 0.71 0.67 0.79 1.00 0.67 0.67

time (sec)

N/A 0.015 0.002 0.233 0.187 0.242 0.017 0.282 0.034

Problem 61

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 15 11 11 11 8 11 10

N.S.

1 1.00 1.15 0.85 0.85 0.85 0.62 0.85 0.77

time (sec)

N/A 0.005 0.002 0.211 0.183 0.245 0.019 0.282 0.046

Problem 62

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

17 17 31 14 13 13 12 13 14

N.S.

1 1.00 1.82 0.82 0.76 0.76 0.71 0.76 0.82

time (sec)

N/A 0.017 0.058 0.202 0.186 0.238 0.020 0.284 0.040

Problem 63

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

17 17 31 14 13 22 12 13 14

N.S.

1 1.00 1.82 0.82 0.76 1.29 0.71 0.76 0.82

time (sec)

N/A 0.018 0.057 0.187 0.182 0.244 0.020 0.278 0.202

Problem 64

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

36 36 30 23 18 25 31 22 24

N.S.

1 1.00 0.83 0.64 0.50 0.69 0.86 0.61 0.67

time (sec)

N/A 0.039 0.009 0.172 0.179 0.253 0.019 0.281 0.043

Problem 65

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

24 24 14 11 10 19 14 10 18

N.S.

1 1.00 0.58 0.46 0.42 0.79 0.58 0.42 0.75

time (sec)

N/A 0.019 0.001 0.095 0.182 0.249 0.022 0.294 0.045

Problem 66

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

22 22 18 15 14 18 37 14 14

N.S.

1 1.00 0.82 0.68 0.64 0.82 1.68 0.64 0.64

time (sec)

N/A 0.008 0.061 0.204 0.181 0.240 0.068 0.295 0.394

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 20 15 14 31 37 14 18

N.S.

1 1.00 1.00 0.75 0.70 1.55 1.85 0.70 0.90

time (sec)

N/A 0.015 0.017 0.426 0.184 0.248 0.129 0.305 0.171

Problem 68

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 20 19 19 19 19 19

N.S.

1 1.00 1.00 0.80 0.76 0.76 0.76 0.76 0.76

time (sec)

N/A 0.027 0.034 0.228 0.186 0.264 0.022 0.294 0.054

Problem 69

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

34 34 30 23 24 25 36 22 22

N.S.

1 1.00 0.88 0.68 0.71 0.74 1.06 0.65 0.65

time (sec)

N/A 0.013 0.002 0.254 0.201 0.245 0.017 0.288 0.046

Problem 70

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

34 34 30 23 24 25 36 22 22

N.S.

1 1.00 0.88 0.68 0.71 0.74 1.06 0.65 0.65

time (sec)

N/A 0.014 0.009 0.264 0.186 0.249 0.018 0.281 0.039

Problem 71

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 30 23 18 33 41 22 37

N.S.

1 1.00 0.65 0.50 0.39 0.72 0.89 0.48 0.80

time (sec)

N/A 0.036 0.057 0.312 0.183 0.245 0.020 0.272 0.081

Problem 72

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

21 21 23 17 17 17 17 17 17

N.S.

1 1.00 1.10 0.81 0.81 0.81 0.81 0.81 0.81

time (sec)

N/A 0.006 0.002 0.230 0.188 0.239 0.021 0.273 0.038

Problem 73

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 22 17 16 31 31 16 32

N.S.

1 1.00 0.48 0.37 0.35 0.67 0.67 0.35 0.70

time (sec)

N/A 0.041 0.007 0.299 0.207 0.258 0.022 0.287 0.040

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 34 14 13 17 0 13 13

N.S.

1 1.00 1.62 0.67 0.62 0.81 0.00 0.62 0.62

time (sec)

N/A 0.016 0.071 0.201 0.209 0.252 0.000 0.272 0.114

Problem 75

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

21 21 18 14 13 14 170 13 25

N.S.

1 1.00 0.86 0.67 0.62 0.67 8.10 0.62 1.19

time (sec)

N/A 0.016 0.015 0.186 0.189 0.240 4.176 0.292 0.249

Problem 76

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

19 19 18 14 12 13 39 12 12

N.S.

1 1.00 0.95 0.74 0.63 0.68 2.05 0.63 0.63

time (sec)

N/A 0.019 0.034 0.082 0.217 0.249 0.108 0.281 0.303

Problem 77

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 15 15 15 22 15 14

N.S.

1 1.00 1.00 0.79 0.79 0.79 1.16 0.79 0.74

time (sec)

N/A 0.014 0.022 0.223 0.193 0.243 0.116 0.289 0.203

Problem 78

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 13 16 14 10 13 16

N.S.

1 1.00 1.00 0.93 1.14 1.00 0.71 0.93 1.14

time (sec)

N/A 0.017 0.008 1.193 0.197 0.259 0.038 0.276 0.233

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 20 29 20 37 20 28 32

N.S.

1 1.00 0.91 1.32 0.91 1.68 0.91 1.27 1.45

time (sec)

N/A 0.025 0.027 3.375 0.185 0.262 0.044 0.276 0.259

Problem 80

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

5 5 7 6 5 5 19 5 5

N.S.

1 1.00 1.40 1.20 1.00 1.00 3.80 1.00 1.00

time (sec)

N/A 0.012 0.008 0.184 0.195 0.253 0.139 0.277 0.203

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

11 11 25 11 15 17 8 10 10

N.S.

1 1.00 2.27 1.00 1.36 1.55 0.73 0.91 0.91

time (sec)

N/A 0.008 0.006 0.095 0.183 0.236 0.183 0.286 0.024

Problem 82

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

6 6 8 7 6 6 7 6 6

N.S.

1 1.00 1.33 1.17 1.00 1.00 1.17 1.00 1.00

time (sec)

N/A 0.004 0.001 0.026 0.285 0.257 0.021 0.282 0.027

Problem 83

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 16 13 12 12 19 12 12

N.S.

1 1.00 1.14 0.93 0.86 0.86 1.36 0.86 0.86

time (sec)

N/A 0.008 0.001 0.030 0.273 0.244 0.028 0.277 0.028

Problem 84

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

11 11 11 11 9 16 19 9 17

N.S.

1 1.00 1.00 1.00 0.82 1.45 1.73 0.82 1.55

time (sec)

N/A 0.007 0.005 0.260 0.187 0.246 0.020 0.280 0.029

Problem 85

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 15 22 31 15 27

N.S.

1 1.00 1.00 1.00 0.79 1.16 1.63 0.79 1.42

time (sec)

N/A 0.012 0.006 0.341 0.195 0.243 0.023 0.298 0.037

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

8 8 8 7 6 20 29 6 6

N.S.

1 1.00 1.00 0.88 0.75 2.50 3.62 0.75 0.75

time (sec)

N/A 0.015 0.002 0.547 0.189 0.245 0.021 0.315 0.023

Problem 87

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

17 17 27 14 13 20 29 13 13

N.S.

1 1.00 1.59 0.82 0.76 1.18 1.71 0.76 0.76

time (sec)

N/A 0.019 0.036 1.950 0.191 0.244 0.021 0.283 0.212

Problem 88

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

8 8 8 7 6 6 7 6 6

N.S.

1 1.00 1.00 0.88 0.75 0.75 0.88 0.75 0.75

time (sec)

N/A 0.009 0.007 0.468 0.183 0.260 0.022 0.301 0.304

Problem 89

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

17 17 17 14 14 14 14 14 13

N.S.

1 1.00 1.00 0.82 0.82 0.82 0.82 0.82 0.76

time (sec)

N/A 0.017 0.039 1.060 0.205 0.236 0.044 0.276 0.446

Problem 90

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

22 22 22 23 34 24 20 22 18

N.S.

1 1.00 1.00 1.05 1.55 1.09 0.91 1.00 0.82

time (sec)

N/A 0.011 0.010 0.063 0.190 0.251 0.052 0.277 0.036

Problem 91

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

22 22 24 19 18 18 31 18 18

N.S.

1 1.00 1.09 0.86 0.82 0.82 1.41 0.82 0.82

time (sec)

N/A 0.011 0.006 0.062 0.271 0.252 0.027 0.285 0.036

Problem 92

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 16 20 20 22 20 17

N.S.

1 1.00 1.00 0.84 1.05 1.05 1.16 1.05 0.89

time (sec)

N/A 0.013 0.021 0.352 0.190 0.254 0.048 0.295 0.276

Problem 93

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 20 20 20 22 20 19

N.S.

1 1.00 1.00 0.80 0.80 0.80 0.88 0.80 0.76

time (sec)

N/A 0.019 0.024 2.250 0.188 0.244 0.052 0.313 0.540

Problem 94

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

8 8 8 7 10 6 7 6 18

N.S.

1 1.00 1.00 0.88 1.25 0.75 0.88 0.75 2.25

time (sec)

N/A 0.015 0.007 9.019 0.207 0.256 0.023 0.296 0.185

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 14 36 14 14 14 20

N.S.

1 1.00 1.00 0.82 2.12 0.82 0.82 0.82 1.18

time (sec)

N/A 0.017 0.016 18.177 0.189 0.267 0.045 0.280 0.188

Problem 96

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

8 8 8 7 10 6 7 6 6

N.S.

1 1.00 1.00 0.88 1.25 0.75 0.88 0.75 0.75

time (sec)

N/A 0.009 0.001 0.171 0.187 0.248 0.022 0.277 0.047

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 24 27 34 27 29 30

N.S.

1 1.00 1.00 1.50 1.69 2.12 1.69 1.81 1.88

time (sec)

N/A 0.011 0.010 0.131 0.192 0.257 0.051 0.295 0.310

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

8 8 18 13 10 20 8 18 8

N.S.

1 1.00 2.25 1.62 1.25 2.50 1.00 2.25 1.00

time (sec)

N/A 0.006 0.001 0.039 0.270 0.247 0.021 0.292 0.018

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 19 17 14 28 14 22 18

N.S.

1 1.00 1.36 1.21 1.00 2.00 1.00 1.57 1.29

time (sec)

N/A 0.009 0.001 0.122 0.196 0.254 0.044 0.285 0.025

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 37 14 14 39 41 14 14

N.S.

1 1.00 2.18 0.82 0.82 2.29 2.41 0.82 0.82

time (sec)

N/A 0.020 0.046 0.355 0.188 0.251 0.026 0.285 0.232

[next] [front] [up]