[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 Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

14 14 14 11 10 10 12 10 9 10

N.S.

1 1.00 1.00 0.79 0.71 0.71 0.86 0.71 0.64 0.71

time (sec)

N/A 0.207 0.002 0.046 0.029 0.070 0.082 0.133 0.160 0.032

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

14 14 14 11 10 10 12 10 9 10

N.S.

1 1.00 1.00 0.79 0.71 0.71 0.86 0.71 0.64 0.71

time (sec)

N/A 0.204 0.001 0.040 0.032 0.083 0.078 0.107 0.149 0.016

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

14 14 12 9 10 8 10 8 7 10

N.S.

1 1.00 0.86 0.64 0.71 0.57 0.71 0.57 0.50 0.71

time (sec)

N/A 0.198 0.001 0.037 0.025 0.083 0.017 0.135 0.144 0.016

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

9 9 11 8 7 7 7 7 6 7

N.S.

1 1.00 1.22 0.89 0.78 0.78 0.78 0.78 0.67 0.78

time (sec)

N/A 0.196 0.002 0.039 0.025 0.115 0.073 0.126 0.157 0.011

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

10 10 12 9 10 10 10 8 8 8

N.S.

1 1.00 1.20 0.90 1.00 1.00 1.00 0.80 0.80 0.80

time (sec)

N/A 0.195 0.002 0.039 0.029 0.094 0.075 0.132 0.158 0.014

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

14 14 14 11 10 10 14 11 11 10

N.S.

1 1.00 1.00 0.79 0.71 0.71 1.00 0.79 0.79 0.71

time (sec)

N/A 0.203 0.001 0.049 0.027 0.086 0.159 0.109 0.143 0.015

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

14 14 14 11 10 10 14 11 11 10

N.S.

1 1.00 1.00 0.79 0.71 0.71 1.00 0.79 0.79 0.71

time (sec)

N/A 0.206 0.001 0.044 0.024 0.091 0.169 0.148 0.155 0.016

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

14 14 14 11 10 11 12 11 10 10

N.S.

1 1.00 1.00 0.79 0.71 0.79 0.86 0.79 0.71 0.71

time (sec)

N/A 0.208 0.002 0.048 0.028 0.086 0.139 0.111 0.154 0.017

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

14 14 12 9 10 11 10 11 10 10

N.S.

1 1.00 0.86 0.64 0.71 0.79 0.71 0.79 0.71 0.71

time (sec)

N/A 0.198 0.001 0.040 0.031 0.101 0.023 0.127 0.146 0.014

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

11 11 13 8 7 9 8 9 8 7

N.S.

1 1.00 1.18 0.73 0.64 0.82 0.73 0.82 0.73 0.64

time (sec)

N/A 0.197 0.001 0.040 0.028 0.119 0.111 0.144 0.158 0.011

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A C A A A B B

verified

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

size

10 10 12 9 10 8 8 8 7 8

N.S.

1 1.00 1.20 0.90 1.00 0.80 0.80 0.80 0.70 0.80

time (sec)

N/A 0.200 0.002 0.040 0.026 0.100 0.109 0.125 0.151 0.011

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

12 12 12 11 10 11 12 10 9 10

N.S.

1 1.00 1.00 0.92 0.83 0.92 1.00 0.83 0.75 0.83

time (sec)

N/A 0.201 0.002 0.037 0.028 0.104 0.195 0.113 0.152 0.014

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

14 14 14 11 10 11 14 13 12 10

N.S.

1 1.00 1.00 0.79 0.71 0.79 1.00 0.93 0.86 0.71

time (sec)

N/A 0.204 0.001 0.044 0.029 0.089 0.192 0.136 0.161 0.014

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

14 14 14 11 10 11 14 13 12 10

N.S.

1 1.00 1.00 0.79 0.71 0.79 1.00 0.93 0.86 0.71

time (sec)

N/A 0.205 0.002 0.046 0.027 0.134 0.211 0.130 0.148 0.014

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

14 14 14 11 10 11 14 13 12 10

N.S.

1 1.00 1.00 0.79 0.71 0.79 1.00 0.93 0.86 0.71

time (sec)

N/A 0.210 0.002 0.047 0.030 0.113 0.239 0.127 0.140 0.019

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

14 14 14 11 10 13 12 13 12 10

N.S.

1 1.00 1.00 0.79 0.71 0.93 0.86 0.93 0.86 0.71

time (sec)

N/A 0.204 0.002 0.043 0.028 0.111 0.210 0.113 0.156 0.016

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

14 14 14 11 10 13 12 13 12 10

N.S.

1 1.00 1.00 0.79 0.71 0.93 0.86 0.93 0.86 0.71

time (sec)

N/A 0.210 0.002 0.042 0.023 0.108 0.186 0.126 0.150 0.016

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

14 14 14 11 10 11 12 11 10 10

N.S.

1 1.00 1.00 0.79 0.71 0.79 0.86 0.79 0.71 0.71

time (sec)

N/A 0.210 0.002 0.041 0.026 0.150 0.186 0.132 0.144 0.015

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

12 12 10 9 10 10 8 10 9 10

N.S.

1 1.00 0.83 0.75 0.83 0.83 0.67 0.83 0.75 0.83

time (sec)

N/A 0.208 0.000 0.037 0.023 0.104 0.017 0.149 0.165 0.014

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

9 9 11 8 7 13 8 7 11 7

N.S.

1 1.00 1.22 0.89 0.78 1.44 0.89 0.78 1.22 0.78

time (sec)

N/A 0.199 0.002 0.042 0.040 0.103 0.209 0.121 0.151 0.012

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

12 12 14 9 10 13 12 10 14 8

N.S.

1 1.00 1.17 0.75 0.83 1.08 1.00 0.83 1.17 0.67

time (sec)

N/A 0.206 0.003 0.045 0.024 0.124 0.206 0.114 0.142 0.013

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

14 14 14 11 10 13 14 10 14 10

N.S.

1 1.00 1.00 0.79 0.71 0.93 1.00 0.71 1.00 0.71

time (sec)

N/A 0.209 0.002 0.042 0.029 0.103 0.219 0.131 0.159 0.014

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

14 14 14 11 10 13 12 13 12 10

N.S.

1 1.00 1.00 0.79 0.71 0.93 0.86 0.93 0.86 0.71

time (sec)

N/A 0.209 0.003 0.048 0.028 0.101 0.240 0.111 0.145 0.021

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

14 14 14 11 10 13 12 13 12 10

N.S.

1 1.00 1.00 0.79 0.71 0.93 0.86 0.93 0.86 0.71

time (sec)

N/A 0.215 0.003 0.045 0.029 0.127 0.248 0.112 0.146 0.019

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

14 14 14 11 10 13 12 13 12 10

N.S.

1 1.00 1.00 0.79 0.71 0.93 0.86 0.93 0.86 0.71

time (sec)

N/A 0.212 0.002 0.046 0.035 0.137 0.220 0.134 0.164 0.016

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

14 14 14 11 10 13 12 13 12 10

N.S.

1 1.00 1.00 0.79 0.71 0.93 0.86 0.93 0.86 0.71

time (sec)

N/A 0.210 0.002 0.045 0.030 0.109 0.207 0.129 0.160 0.015

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

14 14 14 11 10 11 12 11 10 10

N.S.

1 1.00 1.00 0.79 0.71 0.79 0.86 0.79 0.71 0.71

time (sec)

N/A 0.209 0.002 0.043 0.034 0.106 0.211 0.129 0.145 0.016

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

12 12 12 11 10 10 10 10 9 10

N.S.

1 1.00 1.00 0.92 0.83 0.83 0.83 0.83 0.75 0.83

time (sec)

N/A 0.210 0.002 0.038 0.027 0.084 0.198 0.106 0.159 0.014

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

12 12 10 9 10 13 10 10 11 10

N.S.

1 1.00 0.83 0.75 0.83 1.08 0.83 0.83 0.92 0.83

time (sec)

N/A 0.207 0.000 0.036 0.031 0.083 0.018 0.130 0.146 0.018

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

11 11 13 8 7 13 10 13 14 7

N.S.

1 1.00 1.18 0.73 0.64 1.18 0.91 1.18 1.27 0.64

time (sec)

N/A 0.204 0.003 0.044 0.030 0.085 0.226 0.112 0.144 0.012

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

12 12 14 9 10 13 12 13 14 8

N.S.

1 1.00 1.17 0.75 0.83 1.08 1.00 1.08 1.17 0.67

time (sec)

N/A 0.207 0.003 0.042 0.028 0.084 0.227 0.123 0.160 0.013

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

14 14 14 11 10 13 12 13 12 10

N.S.

1 1.00 1.00 0.79 0.71 0.93 0.86 0.93 0.86 0.71

time (sec)

N/A 0.214 0.002 0.049 0.027 0.078 0.284 0.128 0.142 0.016

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

14 14 14 11 10 13 12 13 12 10

N.S.

1 1.00 1.00 0.79 0.71 0.93 0.86 0.93 0.86 0.71

time (sec)

N/A 0.224 0.002 0.049 0.029 0.100 0.288 0.115 0.153 0.015

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

14 14 14 11 10 13 12 13 12 10

N.S.

1 1.00 1.00 0.79 0.71 0.93 0.86 0.93 0.86 0.71

time (sec)

N/A 0.219 0.002 0.047 0.025 0.077 0.242 0.136 0.158 0.015

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

14 14 14 11 10 13 12 13 12 10

N.S.

1 1.00 1.00 0.79 0.71 0.93 0.86 0.93 0.86 0.71

time (sec)

N/A 0.219 0.001 0.044 0.031 0.090 0.261 0.135 0.146 0.016

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

14 14 14 11 10 11 12 11 10 10

N.S.

1 1.00 1.00 0.79 0.71 0.79 0.86 0.79 0.71 0.71

time (sec)

N/A 0.210 0.001 0.042 0.031 0.080 0.270 0.119 0.146 0.016

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

12 12 12 11 10 10 10 10 9 10

N.S.

1 1.00 1.00 0.92 0.83 0.83 0.83 0.83 0.75 0.83

time (sec)

N/A 0.214 0.001 0.042 0.025 0.069 0.244 0.116 0.161 0.014

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

12 12 12 11 10 13 12 10 11 10

N.S.

1 1.00 1.00 0.92 0.83 1.08 1.00 0.83 0.92 0.83

time (sec)

N/A 0.214 0.002 0.040 0.029 0.074 0.261 0.147 0.144 0.022

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

14 14 12 9 10 13 12 13 14 10

N.S.

1 1.00 0.86 0.64 0.71 0.93 0.86 0.93 1.00 0.71

time (sec)

N/A 0.212 0.000 0.038 0.024 0.070 0.026 0.127 0.152 0.017

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

11 11 13 8 7 13 10 13 14 7

N.S.

1 1.00 1.18 0.73 0.64 1.18 0.91 1.18 1.27 0.64

time (sec)

N/A 0.209 0.003 0.041 0.023 0.082 0.282 0.138 0.168 0.012

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A B A B B

verified

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

size

17 17 17 17 21 21 39 21 16 17

N.S.

1 1.00 1.00 1.00 1.24 1.24 2.29 1.24 0.94 1.00

time (sec)

N/A 0.229 0.004 0.068 0.033 0.089 0.797 0.146 0.147 23.031

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A B A B B

verified

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

size

22 22 18 19 24 29 61 26 19 18

N.S.

1 1.00 0.82 0.86 1.09 1.32 2.77 1.18 0.86 0.82

time (sec)

N/A 0.234 0.004 0.091 0.039 0.101 0.884 0.120 0.148 22.449

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

16 16 14 15 15 14 19 14 15 14

N.S.

1 1.00 0.88 0.94 0.94 0.88 1.19 0.88 0.94 0.88

time (sec)

N/A 0.231 0.002 0.037 0.030 0.069 0.122 0.129 0.158 22.267

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

16 16 14 15 15 14 19 14 15 89

N.S.

1 1.00 0.88 0.94 0.94 0.88 1.19 0.88 0.94 5.56

time (sec)

N/A 0.222 0.002 0.030 0.027 0.108 0.105 0.121 0.142 22.019

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

16 16 14 15 15 14 19 14 15 27

N.S.

1 1.00 0.88 0.94 0.94 0.88 1.19 0.88 0.94 1.69

time (sec)

N/A 0.222 0.002 0.028 0.026 0.076 0.088 0.132 0.154 22.325

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

16 16 12 13 16 12 17 16 13 12

N.S.

1 1.00 0.75 0.81 1.00 0.75 1.06 1.00 0.81 0.75

time (sec)

N/A 0.221 0.002 0.025 0.023 0.070 0.017 0.116 0.161 22.457

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

9 9 9 10 10 9 8 9 10 9

N.S.

1 1.00 1.00 1.11 1.11 1.00 0.89 1.00 1.11 1.00

time (sec)

N/A 0.211 0.001 0.029 0.027 0.200 0.078 0.136 0.151 23.131

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A F B B

verified

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

size

19 19 14 15 15 14 20 0 15 14

N.S.

1 1.00 0.74 0.79 0.79 0.74 1.05 0.00 0.79 0.74

time (sec)

N/A 0.231 0.003 0.033 0.031 0.082 0.169 0.000 0.149 22.777

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A F B B

verified

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

size

19 19 14 15 15 14 20 0 15 14

N.S.

1 1.00 0.74 0.79 0.79 0.74 1.05 0.00 0.79 0.74

time (sec)

N/A 0.220 0.003 0.038 0.035 0.071 0.207 0.000 0.157 22.095

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

16 16 16 13 15 12 12 10 7 10

N.S.

1 1.00 1.00 0.81 0.94 0.75 0.75 0.62 0.44 0.62

time (sec)

N/A 0.224 0.002 0.052 0.028 0.100 0.110 0.111 0.142 21.983

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

16 16 16 13 12 12 12 10 7 10

N.S.

1 1.00 1.00 0.81 0.75 0.75 0.75 0.62 0.44 0.62

time (sec)

N/A 0.216 0.001 0.057 0.027 0.065 0.073 0.113 0.144 22.013

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

9 9 9 8 0 7 7 7 4 6

N.S.

1 1.00 1.00 0.89 0.00 0.78 0.78 0.78 0.44 0.67

time (sec)

N/A 0.216 0.003 0.056 0.000 0.068 0.093 0.135 0.156 22.236

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

12 12 14 13 0 12 12 10 7 10

N.S.

1 1.00 1.17 1.08 0.00 1.00 1.00 0.83 0.58 0.83

time (sec)

N/A 0.217 0.002 0.043 0.000 0.078 0.175 0.109 0.140 21.923

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

16 16 16 13 0 12 14 10 7 10

N.S.

1 1.00 1.00 0.81 0.00 0.75 0.88 0.62 0.44 0.62

time (sec)

N/A 0.218 0.001 0.046 0.000 0.094 0.201 0.144 0.156 22.319

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

16 16 16 13 15 12 12 10 7 0

N.S.

1 1.00 1.00 0.81 0.94 0.75 0.75 0.62 0.44 0.00

time (sec)

N/A 0.205 0.001 0.047 0.024 0.080 0.120 0.130 0.160 0.000

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

16 16 16 13 13 12 12 10 7 0

N.S.

1 1.00 1.00 0.81 0.81 0.75 0.75 0.62 0.44 0.00

time (sec)

N/A 0.200 0.001 0.052 0.026 0.082 0.086 0.131 0.142 0.000

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

14 14 14 11 10 10 10 10 7 8

N.S.

1 1.00 1.00 0.79 0.71 0.71 0.71 0.71 0.50 0.57

time (sec)

N/A 0.197 0.001 0.040 0.035 0.104 0.065 0.127 0.145 22.266

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

14 14 14 14 0 13 12 9 5 0

N.S.

1 1.00 1.00 1.00 0.00 0.93 0.86 0.64 0.36 0.00

time (sec)

N/A 0.206 0.002 0.041 0.000 0.172 0.287 0.138 0.159 0.000

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

17 17 16 13 0 12 14 10 7 13

N.S.

1 1.00 0.94 0.76 0.00 0.71 0.82 0.59 0.41 0.76

time (sec)

N/A 0.211 0.001 0.043 0.000 0.091 0.188 0.124 0.145 22.130

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

16 16 16 13 15 13 12 10 8 10

N.S.

1 1.00 1.00 0.81 0.94 0.81 0.75 0.62 0.50 0.62

time (sec)

N/A 0.222 0.002 0.054 0.030 0.064 0.179 0.136 0.152 21.693

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

16 16 16 13 12 13 12 10 8 10

N.S.

1 1.00 1.00 0.81 0.75 0.81 0.75 0.62 0.50 0.62

time (sec)

N/A 0.215 0.001 0.062 0.032 0.075 0.143 0.124 0.168 22.406

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

13 13 17 10 9 13 8 10 8 10

N.S.

1 1.00 1.31 0.77 0.69 1.00 0.62 0.77 0.62 0.77

time (sec)

N/A 0.219 0.001 0.052 0.030 0.077 0.116 0.121 0.144 22.648

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

11 11 11 10 0 9 10 7 5 6

N.S.

1 1.00 1.00 0.91 0.00 0.82 0.91 0.64 0.45 0.55

time (sec)

N/A 0.223 0.016 0.046 0.000 0.086 0.218 0.123 0.150 22.581

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

14 14 14 13 0 13 12 10 8 10

N.S.

1 1.00 1.00 0.93 0.00 0.93 0.86 0.71 0.57 0.71

time (sec)

N/A 0.223 0.002 0.043 0.000 0.081 0.218 0.128 0.159 21.608

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

16 16 16 13 0 13 14 10 8 10

N.S.

1 1.00 1.00 0.81 0.00 0.81 0.88 0.62 0.50 0.62

time (sec)

N/A 0.220 0.002 0.045 0.000 0.066 0.253 0.108 0.141 22.198

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

17 16 16 13 15 13 12 10 8 0

N.S.

1 0.94 0.94 0.76 0.88 0.76 0.71 0.59 0.47 0.00

time (sec)

N/A 0.214 0.002 0.050 0.025 0.066 0.223 0.137 0.148 0.000

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

17 16 16 13 13 13 12 10 8 0

N.S.

1 0.94 0.94 0.76 0.76 0.76 0.71 0.59 0.47 0.00

time (sec)

N/A 0.217 0.002 0.046 0.024 0.066 0.161 0.140 0.159 0.000

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

17 14 14 11 10 13 10 10 8 0

N.S.

1 0.82 0.82 0.65 0.59 0.76 0.59 0.59 0.47 0.00

time (sec)

N/A 0.223 0.001 0.044 0.029 0.079 0.141 0.123 0.151 0.000

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

15 15 15 12 0 11 10 10 8 8

N.S.

1 1.00 1.00 0.80 0.00 0.73 0.67 0.67 0.53 0.53

time (sec)

N/A 0.217 0.001 0.041 0.000 0.083 0.114 0.130 0.152 22.742

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

16 16 15 14 0 14 14 9 6 0

N.S.

1 1.00 0.94 0.88 0.00 0.88 0.88 0.56 0.38 0.00

time (sec)

N/A 0.223 0.002 0.040 0.000 0.070 0.331 0.159 0.158 0.000

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 17 16 13 0 13 14 10 8 13

N.S.

1 0.89 0.84 0.68 0.00 0.68 0.74 0.53 0.42 0.68

time (sec)

N/A 0.219 0.001 0.043 0.000 0.072 0.241 0.116 0.143 22.877

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 17 16 13 0 13 14 10 8 13

N.S.

1 0.89 0.84 0.68 0.00 0.68 0.74 0.53 0.42 0.68

time (sec)

N/A 0.220 0.002 0.049 0.000 0.077 0.301 0.130 0.152 22.765

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

16 16 16 13 15 15 12 12 10 10

N.S.

1 1.00 1.00 0.81 0.94 0.94 0.75 0.75 0.62 0.62

time (sec)

N/A 0.219 0.002 0.047 0.025 0.071 0.247 0.129 0.157 22.640

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

16 16 16 13 15 15 12 12 10 10

N.S.

1 1.00 1.00 0.81 0.94 0.94 0.75 0.75 0.62 0.62

time (sec)

N/A 0.217 0.002 0.048 0.026 0.064 0.236 0.137 0.146 22.292

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

13 13 13 12 11 11 10 9 7 6

N.S.

1 1.00 1.00 0.92 0.85 0.85 0.77 0.69 0.54 0.46

time (sec)

N/A 0.219 0.001 0.056 0.028 0.096 0.195 0.111 0.159 23.221

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

11 11 15 10 8 15 10 12 10 10

N.S.

1 1.00 1.36 0.91 0.73 1.36 0.91 1.09 0.91 0.91

time (sec)

N/A 0.216 0.002 0.046 0.029 0.070 0.240 0.126 0.156 22.811

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

14 14 16 13 8 15 15 12 10 10

N.S.

1 1.00 1.14 0.93 0.57 1.07 1.07 0.86 0.71 0.71

time (sec)

N/A 0.221 0.003 0.046 0.024 0.084 0.218 0.134 0.140 22.594

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 17 16 13 15 15 12 12 10 0

N.S.

1 0.89 0.84 0.68 0.79 0.79 0.63 0.63 0.53 0.00

time (sec)

N/A 0.213 0.002 0.046 0.024 0.071 0.221 0.137 0.152 0.000

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

17 17 16 13 8 13 12 12 10 11

N.S.

1 1.00 0.94 0.76 0.47 0.76 0.71 0.71 0.59 0.65

time (sec)

N/A 0.211 0.002 0.043 0.030 0.085 0.196 0.119 0.157 22.841

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

13 13 13 12 6 16 12 19 8 10

N.S.

1 1.00 1.00 0.92 0.46 1.23 0.92 1.46 0.62 0.77

time (sec)

N/A 0.213 0.000 0.036 0.032 0.070 0.251 0.115 0.141 23.062

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

16 16 15 13 8 15 14 12 10 13

N.S.

1 1.00 0.94 0.81 0.50 0.94 0.88 0.75 0.62 0.81

time (sec)

N/A 0.218 0.002 0.048 0.026 0.072 0.232 0.129 0.154 23.066

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

16 16 16 13 8 15 15 12 10 13

N.S.

1 1.00 1.00 0.81 0.50 0.94 0.94 0.75 0.62 0.81

time (sec)

N/A 0.213 0.002 0.045 0.030 0.075 0.245 0.137 0.164 22.465

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

16 16 16 13 15 15 12 12 10 10

N.S.

1 1.00 1.00 0.81 0.94 0.94 0.75 0.75 0.62 0.62

time (sec)

N/A 0.223 0.001 0.051 0.024 0.076 0.252 0.121 0.143 22.552

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

13 13 13 12 14 11 10 9 7 6

N.S.

1 1.00 1.00 0.92 1.08 0.85 0.77 0.69 0.54 0.46

time (sec)

N/A 0.222 0.017 0.044 0.029 0.102 0.259 0.125 0.164 22.524

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

14 14 14 13 12 15 12 12 10 10

N.S.

1 1.00 1.00 0.93 0.86 1.07 0.86 0.86 0.71 0.71

time (sec)

N/A 0.219 0.001 0.061 0.024 0.095 0.215 0.147 0.155 22.360

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

13 13 17 10 8 15 12 12 10 10

N.S.

1 1.00 1.31 0.77 0.62 1.15 0.92 0.92 0.77 0.77

time (sec)

N/A 0.218 0.004 0.056 0.024 0.067 0.299 0.134 0.148 22.380

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

14 14 16 13 8 15 15 12 10 10

N.S.

1 1.00 1.14 0.93 0.57 1.07 1.07 0.86 0.71 0.71

time (sec)

N/A 0.223 0.003 0.053 0.034 0.063 0.265 0.114 0.161 23.363

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 17 16 13 15 15 12 12 10 0

N.S.

1 0.89 0.84 0.68 0.79 0.79 0.63 0.63 0.53 0.00

time (sec)

N/A 0.215 0.002 0.049 0.024 0.088 0.312 0.123 0.158 0.000

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

17 17 16 13 15 13 12 12 10 0

N.S.

1 1.00 0.94 0.76 0.88 0.76 0.71 0.71 0.59 0.00

time (sec)

N/A 0.216 0.001 0.046 0.030 0.066 0.220 0.128 0.143 0.000

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

16 16 15 14 6 16 14 11 8 37

N.S.

1 1.00 0.94 0.88 0.38 1.00 0.88 0.69 0.50 2.31

time (sec)

N/A 0.215 0.002 0.040 0.029 0.061 0.281 0.115 0.163 0.066

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

19 14 14 11 8 15 12 12 10 13

N.S.

1 0.74 0.74 0.58 0.42 0.79 0.63 0.63 0.53 0.68

time (sec)

N/A 0.206 0.000 0.043 0.024 0.088 0.202 0.124 0.151 23.024

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

19 16 15 13 8 15 14 12 10 13

N.S.

1 0.84 0.79 0.68 0.42 0.79 0.74 0.63 0.53 0.68

time (sec)

N/A 0.214 0.002 0.044 0.029 0.083 0.281 0.132 0.142 22.061

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

16 16 16 13 15 15 12 12 10 10

N.S.

1 1.00 1.00 0.81 0.94 0.94 0.75 0.75 0.62 0.62

time (sec)

N/A 0.219 0.001 0.052 0.030 0.069 0.314 0.117 0.158 22.010

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

13 13 13 12 14 11 10 9 7 6

N.S.

1 1.00 1.00 0.92 1.08 0.85 0.77 0.69 0.54 0.46

time (sec)

N/A 0.223 0.019 0.045 0.031 0.069 0.304 0.122 0.152 22.010

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

14 14 14 13 15 15 12 12 10 10

N.S.

1 1.00 1.00 0.93 1.07 1.07 0.86 0.86 0.71 0.71

time (sec)

N/A 0.223 0.002 0.043 0.024 0.066 0.266 0.137 0.148 22.973

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

16 16 16 13 12 15 14 12 10 10

N.S.

1 1.00 1.00 0.81 0.75 0.94 0.88 0.75 0.62 0.62

time (sec)

N/A 0.218 0.001 0.060 0.028 0.069 0.311 0.130 0.159 23.543

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

13 13 17 10 8 15 12 12 10 10

N.S.

1 1.00 1.31 0.77 0.62 1.15 0.92 0.92 0.77 0.77

time (sec)

N/A 0.216 0.004 0.056 0.029 0.070 0.290 0.147 0.149 23.682

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

17 17 16 13 15 13 12 12 10 0

N.S.

1 1.00 0.94 0.76 0.88 0.76 0.71 0.71 0.59 0.00

time (sec)

N/A 0.232 0.002 0.046 0.032 0.068 0.272 0.135 0.144 0.000

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

16 16 15 14 6 16 14 11 8 0

N.S.

1 1.00 0.94 0.88 0.38 1.00 0.88 0.69 0.50 0.00

time (sec)

N/A 0.224 0.002 0.040 0.026 0.097 0.350 0.120 0.158 0.000

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

19 17 16 13 8 15 14 12 10 13

N.S.

1 0.89 0.84 0.68 0.42 0.79 0.74 0.63 0.53 0.68

time (sec)

N/A 0.215 0.002 0.042 0.033 0.160 0.263 0.143 0.149 21.991

[next] [front] [up]