[next] [tail] [up]

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

N.S.

1 1.00 1.00 0.91 0.82 0.82 0.73 0.82 0.82

time (sec)

N/A 0.119 0.003 0.773 0.196 0.233 0.069 0.288 5.071

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

12 12 12 11 10 10 10 10 10

N.S.

1 1.00 1.00 0.92 0.83 0.83 0.83 0.83 0.83

time (sec)

N/A 0.136 0.012 1.072 0.180 0.234 0.064 0.265 4.962

Problem 3

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

12 12 12 11 27 10 0 10 10

N.S.

1 1.00 1.00 0.92 2.25 0.83 0.00 0.83 0.83

time (sec)

N/A 0.163 0.202 0.889 0.323 0.244 0.000 0.295 5.030

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

13 13 13 10 9 9 10 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 0.77 0.69 0.69

time (sec)

N/A 0.123 0.002 0.797 0.173 0.230 0.057 0.283 5.025

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

13 13 13 10 9 9 10 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 0.77 0.69 0.69

time (sec)

N/A 0.126 0.002 0.786 0.174 0.245 0.077 0.280 5.030

Problem 6

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

13 13 13 10 9 9 26 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 2.00 0.69 0.69

time (sec)

N/A 0.124 0.002 0.789 0.171 0.236 0.068 0.289 5.070

Problem 7

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

13 13 13 10 9 9 26 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 2.00 0.69 0.69

time (sec)

N/A 0.127 0.002 0.772 0.173 0.235 0.058 0.279 5.017

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

13 13 13 10 9 9 26 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 2.00 0.69 0.69

time (sec)

N/A 0.126 0.003 0.783 0.171 0.229 0.073 0.274 4.995

Problem 9

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

13 13 13 10 9 9 26 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 2.00 0.69 0.69

time (sec)

N/A 0.129 0.002 0.773 0.183 0.244 0.110 0.300 5.046

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

13 13 13 10 9 9 10 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 0.77 0.69 0.69

time (sec)

N/A 0.129 0.002 0.770 0.173 0.229 0.058 0.278 0.090

Problem 11

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

N.S.

1 1.00 1.00 0.77 0.69 0.69 0.77 0.69 0.69

time (sec)

N/A 0.126 0.002 0.764 0.180 0.229 0.063 0.290 0.068

Problem 12

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

13 13 13 10 9 9 26 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 2.00 0.69 0.69

time (sec)

N/A 0.126 0.002 0.762 0.208 0.224 0.075 0.281 5.026

Problem 13

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

13 13 13 10 9 9 26 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 2.00 0.69 0.69

time (sec)

N/A 0.125 0.002 0.757 0.175 0.233 0.058 0.293 0.053

Problem 14

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

13 13 13 10 9 9 26 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 2.00 0.69 0.69

time (sec)

N/A 0.123 0.002 0.773 0.169 0.235 0.113 0.289 0.053

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

13 13 13 10 9 9 10 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 0.77 0.69 0.69

time (sec)

N/A 0.127 0.010 0.797 0.174 0.234 0.064 0.274 5.145

Problem 16

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

13 13 13 10 9 9 26 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 2.00 0.69 0.69

time (sec)

N/A 0.129 0.012 0.797 0.181 0.234 0.076 0.281 5.351

Problem 17

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

13 13 13 10 9 9 26 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 2.00 0.69 0.69

time (sec)

N/A 0.127 0.011 0.787 0.181 0.238 0.133 0.281 5.035

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

13 13 13 10 9 9 10 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 0.77 0.69 0.69

time (sec)

N/A 0.126 0.010 1.941 0.181 0.246 0.063 0.274 0.043

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

13 13 13 10 9 9 10 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 0.77 0.69 0.69

time (sec)

N/A 0.127 0.020 0.780 0.176 0.231 0.069 0.276 5.227

Problem 20

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

13 13 13 10 9 9 26 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 2.00 0.69 0.69

time (sec)

N/A 0.126 0.010 0.762 0.181 0.233 0.078 0.282 5.319

Problem 21

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

13 13 13 10 9 9 22 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 1.69 0.69 0.69

time (sec)

N/A 0.126 0.010 0.761 0.169 0.244 0.063 0.283 5.104

Problem 22

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

13 13 13 10 9 9 26 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 2.00 0.69 0.69

time (sec)

N/A 0.125 0.009 0.747 0.196 0.255 0.060 0.280 0.025

Problem 23

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

13 13 13 10 9 9 22 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 1.69 0.69 0.69

time (sec)

N/A 0.127 0.011 0.778 0.171 0.232 0.082 0.270 4.845

Problem 24

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

13 13 13 10 9 9 26 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 2.00 0.69 0.69

time (sec)

N/A 0.124 0.014 0.757 0.166 0.230 0.133 0.292 4.812

Problem 25

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

13 13 19 10 9 9 27 9 9

N.S.

1 1.00 1.46 0.77 0.69 0.69 2.08 0.69 0.69

time (sec)

N/A 0.137 0.857 0.806 0.179 0.230 0.072 0.270 4.876

Problem 26

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

13 13 13 12 11 11 61 0 11

N.S.

1 1.00 1.00 0.92 0.85 0.85 4.69 0.00 0.85

time (sec)

N/A 0.129 0.141 0.778 0.199 0.246 0.356 0.000 5.051

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

13 13 13 10 9 9 10 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 0.77 0.69 0.69

time (sec)

N/A 0.128 0.011 0.785 0.170 0.226 0.063 0.284 5.094

Problem 28

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

13 13 13 10 9 9 26 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 2.00 0.69 0.69

time (sec)

N/A 0.128 0.010 0.781 0.181 0.232 0.074 0.276 4.933

Problem 29

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

13 13 13 10 9 9 26 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 2.00 0.69 0.69

time (sec)

N/A 0.127 0.011 0.775 0.172 0.234 0.096 0.278 4.919

Problem 30

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

13 13 13 10 9 9 22 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 1.69 0.69 0.69

time (sec)

N/A 0.126 0.011 0.783 0.174 0.235 0.138 0.279 4.878

Problem 31

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

13 13 13 12 11 11 61 0 11

N.S.

1 1.00 1.00 0.92 0.85 0.85 4.69 0.00 0.85

time (sec)

N/A 0.135 0.445 0.835 0.287 0.239 0.766 0.000 0.057

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

13 13 13 10 9 9 10 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 0.77 0.69 0.69

time (sec)

N/A 0.126 0.010 0.761 0.175 0.239 0.068 0.282 4.827

Problem 33

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

13 13 13 10 9 9 22 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 1.69 0.69 0.69

time (sec)

N/A 0.125 0.010 0.759 0.170 0.232 0.086 0.270 5.145

Problem 34

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

13 13 13 10 9 9 26 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 2.00 0.69 0.69

time (sec)

N/A 0.125 0.013 0.771 0.180 0.241 0.073 0.278 5.088

Problem 35

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

13 13 13 10 9 9 26 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 2.00 0.69 0.69

time (sec)

N/A 0.127 0.010 0.758 0.178 0.247 0.093 0.299 5.044

Problem 36

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

13 13 13 10 9 9 26 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 2.00 0.69 0.69

time (sec)

N/A 0.126 0.012 0.783 0.174 0.240 0.110 0.274 5.159

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

13 13 13 10 9 9 26 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 2.00 0.69 0.69

time (sec)

N/A 0.130 0.015 0.839 0.183 0.249 0.111 0.278 4.964

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

13 13 13 10 9 9 8 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 0.62 0.69 0.69

time (sec)

N/A 0.128 0.012 0.799 0.177 0.246 0.076 0.278 5.235

Problem 39

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

13 13 13 10 9 9 26 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 2.00 0.69 0.69

time (sec)

N/A 0.136 0.013 0.796 0.170 0.237 0.107 0.266 5.002

Problem 40

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

13 13 13 10 9 9 22 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 1.69 0.69 0.69

time (sec)

N/A 0.132 0.013 0.795 0.189 0.241 0.093 0.281 5.217

Problem 41

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

13 13 13 10 9 9 22 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 1.69 0.69 0.69

time (sec)

N/A 0.133 0.010 1.072 0.169 0.241 0.087 0.268 5.255

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

13 13 13 10 9 9 26 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 2.00 0.69 0.69

time (sec)

N/A 0.132 0.017 0.778 0.179 0.236 0.186 0.280 5.284

Problem 43

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

13 13 13 12 23 11 63 0 11

N.S.

1 1.00 1.00 0.92 1.77 0.85 4.85 0.00 0.85

time (sec)

N/A 0.136 1.558 1.664 0.288 0.241 0.992 0.000 0.074

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

13 13 13 10 9 9 8 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 0.62 0.69 0.69

time (sec)

N/A 0.131 0.010 0.770 0.177 0.235 0.076 0.277 4.996

Problem 45

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

13 13 13 10 9 9 26 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 2.00 0.69 0.69

time (sec)

N/A 0.131 0.012 0.782 0.182 0.237 0.107 0.276 4.961

Problem 46

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

13 13 13 10 9 9 22 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 1.69 0.69 0.69

time (sec)

N/A 0.134 0.010 0.776 0.171 0.236 0.092 0.274 4.866

Problem 47

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

14 14 14 13 18 12 68 0 12

N.S.

1 1.00 1.00 0.93 1.29 0.86 4.86 0.00 0.86

time (sec)

N/A 0.141 1.871 0.786 0.286 0.240 0.826 0.000 4.951

Problem 48

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

14 14 14 11 25 25 12 26 164

N.S.

1 1.00 1.00 0.79 1.79 1.79 0.86 1.86 11.71

time (sec)

N/A 0.144 0.017 1.968 0.173 0.245 0.441 0.276 5.250

Problem 49

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

14 14 14 13 20 12 63 0 12

N.S.

1 1.00 1.00 0.93 1.43 0.86 4.50 0.00 0.86

time (sec)

N/A 0.138 1.902 0.868 0.277 0.234 0.797 0.000 0.085

Problem 50

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

14 14 14 11 0 10 0 12 10

N.S.

1 1.00 1.00 0.79 0.00 0.71 0.00 0.86 0.71

time (sec)

N/A 0.206 1.471 1.028 0.000 0.235 0.000 0.299 5.105

Problem 51

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

14 16 14 13 0 22 0 0 21

N.S.

1 1.14 1.00 0.93 0.00 1.57 0.00 0.00 1.50

time (sec)

N/A 0.197 1.965 1.030 0.000 0.250 0.000 0.000 4.959

Problem 52

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

14 14 14 13 0 18 0 11 19

N.S.

1 1.00 1.00 0.93 0.00 1.29 0.00 0.79 1.36

time (sec)

N/A 0.191 1.987 0.997 0.000 0.256 0.000 0.286 4.910

Problem 53

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

14 14 14 13 12 12 22 0 12

N.S.

1 1.00 1.00 0.93 0.86 0.86 1.57 0.00 0.86

time (sec)

N/A 0.133 0.149 0.812 0.185 0.235 0.314 0.000 5.179

Problem 54

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

14 14 14 13 12 12 63 12 12

N.S.

1 1.00 1.00 0.93 0.86 0.86 4.50 0.86 0.86

time (sec)

N/A 0.133 0.548 0.916 0.270 0.245 0.756 0.287 4.750

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

14 14 14 13 12 12 12 12 12

N.S.

1 1.00 1.00 0.93 0.86 0.86 0.86 0.86 0.86

time (sec)

N/A 0.152 0.015 0.878 0.171 0.239 0.076 0.265 0.174

Problem 56

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

14 14 14 13 28 12 63 0 12

N.S.

1 1.00 1.00 0.93 2.00 0.86 4.50 0.00 0.86

time (sec)

N/A 0.141 0.390 0.866 0.292 0.258 0.784 0.000 4.845

Problem 57

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

14 14 14 13 24 12 68 0 12

N.S.

1 1.00 1.00 0.93 1.71 0.86 4.86 0.00 0.86

time (sec)

N/A 0.140 0.395 0.845 0.290 0.249 0.808 0.000 4.820

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A C F B F F B

verified

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

size

14 0 14 60 0 25 0 0 163

N.S.

1 0.00 1.00 4.29 0.00 1.79 0.00 0.00 11.64

time (sec)

N/A 0.000 1.687 2.340 0.000 0.267 0.000 0.000 1.005

Problem 59

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

14 14 14 11 10 10 24 10 10

N.S.

1 1.00 1.00 0.79 0.71 0.71 1.71 0.71 0.71

time (sec)

N/A 0.143 0.017 1.374 0.251 0.233 0.460 0.280 4.946

Problem 60

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

14 14 14 13 24 12 61 0 12

N.S.

1 1.00 1.00 0.93 1.71 0.86 4.36 0.00 0.86

time (sec)

N/A 0.139 0.373 0.882 0.281 0.242 0.838 0.000 4.946

Problem 61

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

14 14 14 11 25 25 8 25 10

N.S.

1 1.00 1.00 0.79 1.79 1.79 0.57 1.79 0.71

time (sec)

N/A 0.143 0.022 0.883 0.166 0.231 0.436 0.280 0.059

Problem 62

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

14 14 14 13 33 12 66 0 12

N.S.

1 1.00 1.00 0.93 2.36 0.86 4.71 0.00 0.86

time (sec)

N/A 0.135 0.366 0.872 0.319 0.240 0.900 0.000 4.908

Problem 63

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

14 0 14 15 0 34 0 0 0

N.S.

1 0.00 1.00 1.07 0.00 2.43 0.00 0.00 0.00

time (sec)

N/A 0.000 3.169 1.194 0.000 0.269 0.000 0.000 0.000

Problem 64

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

14 0 14 13 0 25 0 0 0

N.S.

1 0.00 1.00 0.93 0.00 1.79 0.00 0.00 0.00

time (sec)

N/A 0.000 3.101 2.704 0.000 0.279 0.000 0.000 0.000

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

15 15 15 12 11 11 10 11 11

N.S.

1 1.00 1.00 0.80 0.73 0.73 0.67 0.73 0.73

time (sec)

N/A 0.153 0.909 0.841 0.171 0.234 0.067 0.277 5.293

Problem 66

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

15 15 15 12 11 11 27 11 11

N.S.

1 1.00 1.00 0.80 0.73 0.73 1.80 0.73 0.73

time (sec)

N/A 0.149 0.837 0.842 0.174 0.245 0.073 0.295 5.029

Problem 67

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

15 0 15 16 0 35 0 0 2490

N.S.

1 0.00 1.00 1.07 0.00 2.33 0.00 0.00 166.00

time (sec)

N/A 0.000 0.262 2.581 0.000 0.268 0.000 0.000 6.894

Problem 68

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

15 15 15 16 0 34 0 0 0

N.S.

1 1.00 1.00 1.07 0.00 2.27 0.00 0.00 0.00

time (sec)

N/A 0.230 0.208 3.760 0.000 0.261 0.000 0.000 0.000

Problem 69

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 12 68 12 12

N.S.

1 1.00 1.00 0.81 0.75 0.75 4.25 0.75 0.75

time (sec)

N/A 0.154 0.077 1.010 0.251 0.234 3.919 0.301 4.979

Problem 70

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 25

N.S.

1 1.00 1.00 0.81 0.75 0.75 8.06 0.00 1.56

time (sec)

N/A 0.138 0.082 0.911 0.172 0.256 0.477 0.000 5.070

Problem 71

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 126 0 25

N.S.

1 1.00 1.00 0.81 0.75 0.75 7.88 0.00 1.56

time (sec)

N/A 0.137 0.088 0.819 0.162 0.255 0.511 0.000 5.177

Problem 72

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

16 16 16 13 12 12 53 0 24

N.S.

1 1.00 1.00 0.81 0.75 0.75 3.31 0.00 1.50

time (sec)

N/A 0.138 0.085 0.801 0.185 0.240 0.378 0.000 5.128

Problem 73

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

16 16 16 13 12 12 53 0 24

N.S.

1 1.00 1.00 0.81 0.75 0.75 3.31 0.00 1.50

time (sec)

N/A 0.135 0.088 0.802 0.180 0.247 0.422 0.000 5.064

Problem 74

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 30 22 105 27 12

N.S.

1 1.00 1.00 0.81 1.88 1.38 6.56 1.69 0.75

time (sec)

N/A 0.142 0.122 2.090 0.297 0.237 1.365 0.319 0.040

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

16 16 16 13 12 12 49 12 12

N.S.

1 1.00 1.00 0.81 0.75 0.75 3.06 0.75 0.75

time (sec)

N/A 0.145 0.029 0.974 0.247 0.229 8.533 0.288 0.078

Problem 76

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

16 16 16 13 17 12 0 9 12

N.S.

1 1.00 1.00 0.81 1.06 0.75 0.00 0.56 0.75

time (sec)

N/A 0.144 0.595 0.813 0.270 0.238 0.000 0.293 4.944

Problem 77

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

16 33 21 18 0 17 0 11 27

N.S.

1 2.06 1.31 1.12 0.00 1.06 0.00 0.69 1.69

time (sec)

N/A 0.294 10.016 0.894 0.000 0.268 0.000 0.307 5.200

Problem 78

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

16 16 21 13 17 17 0 9 27

N.S.

1 1.00 1.31 0.81 1.06 1.06 0.00 0.56 1.69

time (sec)

N/A 0.144 0.513 0.798 0.258 0.244 0.000 0.296 5.011

Problem 79

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 63 0 12

N.S.

1 1.00 1.00 0.81 0.75 0.75 3.94 0.00 0.75

time (sec)

N/A 0.138 0.135 0.806 0.188 0.234 0.346 0.000 5.036

Problem 80

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 126 0 25

N.S.

1 1.00 1.00 0.81 0.75 0.75 7.88 0.00 1.56

time (sec)

N/A 0.136 0.118 0.823 0.180 0.249 0.597 0.000 5.013

Problem 81

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

16 78 23 18 0 17 0 21 9

N.S.

1 4.88 1.44 1.12 0.00 1.06 0.00 1.31 0.56

time (sec)

N/A 0.265 0.171 0.888 0.000 0.242 0.000 0.315 4.903

Problem 82

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.140 0.114 0.806 0.185 0.250 0.328 0.000 5.147

Problem 83

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 22 12 71 22 12

N.S.

1 1.00 1.00 0.81 1.38 0.75 4.44 1.38 0.75

time (sec)

N/A 0.149 0.029 0.987 0.281 0.251 65.653 0.286 0.116

Problem 84

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 12 65 23 12

N.S.

1 1.00 1.00 0.81 0.75 0.75 4.06 1.44 0.75

time (sec)

N/A 0.167 0.150 0.921 0.286 0.251 0.977 0.312 0.125

Problem 85

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 73 0 27

N.S.

1 1.00 1.00 0.81 0.75 0.75 4.56 0.00 1.69

time (sec)

N/A 0.141 0.186 0.878 0.323 0.263 1.081 0.000 5.135

Problem 86

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

16 16 16 13 12 12 53 0 24

N.S.

1 1.00 1.00 0.81 0.75 0.75 3.31 0.00 1.50

time (sec)

N/A 0.138 0.116 0.830 0.200 0.244 0.511 0.000 5.149

Problem 87

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 27 12 78 0 27

N.S.

1 1.00 1.00 0.81 1.69 0.75 4.88 0.00 1.69

time (sec)

N/A 0.139 0.181 0.866 0.336 0.241 1.138 0.000 5.101

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 13 50 12 70 12 12

N.S.

1 1.00 1.00 0.81 3.12 0.75 4.38 0.75 0.75

time (sec)

N/A 0.141 0.029 0.987 0.278 0.248 151.121 0.285 5.157

Problem 89

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

16 16 16 13 25 12 0 9 12

N.S.

1 1.00 1.00 0.81 1.56 0.75 0.00 0.56 0.75

time (sec)

N/A 0.143 0.145 3.258 0.276 0.248 0.000 0.284 5.066

Problem 90

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

16 33 21 18 58 17 0 9 27

N.S.

1 2.06 1.31 1.12 3.62 1.06 0.00 0.56 1.69

time (sec)

N/A 0.213 9.856 0.882 0.276 0.252 0.000 0.300 5.059

Problem 91

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 21 21 13 0 17 0 0 19

N.S.

1 1.31 1.31 0.81 0.00 1.06 0.00 0.00 1.19

time (sec)

N/A 0.210 6.633 1.038 0.000 0.246 0.000 0.000 4.969

Problem 92

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

16 19 16 13 17 14 0 9 14

N.S.

1 1.19 1.00 0.81 1.06 0.88 0.00 0.56 0.88

time (sec)

N/A 0.171 0.164 0.984 0.279 0.250 0.000 0.296 4.965

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 13 50 12 71 12 12

N.S.

1 1.00 1.00 0.81 3.12 0.75 4.44 0.75 0.75

time (sec)

N/A 0.149 0.061 1.076 0.269 0.240 78.617 0.275 5.045

Problem 94

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 33 12 75 0 27

N.S.

1 1.00 1.00 0.81 2.06 0.75 4.69 0.00 1.69

time (sec)

N/A 0.141 0.343 0.894 0.312 0.248 1.335 0.000 5.046

Problem 95

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 80 0 27

N.S.

1 1.00 1.00 0.81 1.81 0.75 5.00 0.00 1.69

time (sec)

N/A 0.143 0.343 0.899 0.312 0.252 1.373 0.000 5.286

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 13 50 12 70 12 12

N.S.

1 1.00 1.00 0.81 3.12 0.75 4.38 0.75 0.75

time (sec)

N/A 0.145 0.054 1.055 0.285 0.249 77.777 0.273 5.015

Problem 97

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 33 21 18 0 17 0 0 27

N.S.

1 2.06 1.31 1.12 0.00 1.06 0.00 0.00 1.69

time (sec)

N/A 0.293 10.013 0.958 0.000 0.252 0.000 0.000 5.059

Problem 98

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

N.S.

1 1.00 1.00 0.94 0.00 0.88 0.00 0.00 0.88

time (sec)

N/A 0.258 0.518 1.043 0.000 0.253 0.000 0.000 4.979

Problem 99

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

16 0 16 17 0 35 0 0 42

N.S.

1 0.00 1.00 1.06 0.00 2.19 0.00 0.00 2.62

time (sec)

N/A 0.000 2.747 1.716 0.000 0.289 0.000 0.000 7.131

Problem 100

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 29 20 12

N.S.

1 1.00 1.00 0.81 0.75 1.00 1.81 1.25 0.75

time (sec)

N/A 0.138 0.139 0.801 0.189 0.247 0.351 0.287 5.149

[next] [front] [up]