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

2.2.2 Integrals 101 to 200

Detailed conclusion table per each integral is given by 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 just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 20 20 19 18 18 22 18 18

N.S.

1 1.00 1.00 0.95 0.90 0.90 1.10 0.90 0.90

time (sec)

N/A 0.015 0.013 0.012 0.284 0.388 0.033 2.488 3.469

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

15 15 15 41 13 13 0 0 13

N.S.

1 1.00 1.00 2.73 0.87 0.87 0.00 0.00 0.87

time (sec)

N/A 0.015 0.024 0.016 0.316 0.411 0.000 0.000 3.239

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

35 35 32 97 18 35 0 0 32

N.S.

1 1.00 0.91 2.77 0.51 1.00 0.00 0.00 0.91

time (sec)

N/A 0.028 0.031 0.022 0.324 0.361 0.000 0.000 3.527

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 48 141 22 48 0 0 57

N.S.

1 1.00 0.83 2.43 0.38 0.83 0.00 0.00 0.98

time (sec)

N/A 0.043 0.038 0.028 0.322 0.351 0.000 0.000 3.319

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

81 81 59 177 22 59 0 0 69

N.S.

1 1.00 0.73 2.19 0.27 0.73 0.00 0.00 0.85

time (sec)

N/A 0.060 0.044 0.030 0.331 0.371 0.000 0.000 3.527

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 24 24 213 22 71 0 0 90

N.S.

1 1.00 1.00 8.88 0.92 2.96 0.00 0.00 3.75

time (sec)

N/A 0.015 0.028 0.036 0.057 0.099 0.000 0.000 3.576

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 24 24 249 22 83 0 0 102

N.S.

1 1.00 1.00 10.38 0.92 3.46 0.00 0.00 4.25

time (sec)

N/A 0.014 0.030 0.041 0.057 0.094 0.000 0.000 3.470

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 34 34 106 28 49 0 0 71

N.S.

1 1.00 1.00 3.12 0.82 1.44 0.00 0.00 2.09

time (sec)

N/A 0.014 0.057 0.020 0.058 0.090 0.000 0.000 3.561

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 34 34 109 28 47 0 0 75

N.S.

1 1.00 1.00 3.21 0.82 1.38 0.00 0.00 2.21

time (sec)

N/A 0.016 0.048 0.028 0.058 0.115 0.000 0.000 3.185

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 34 34 75 28 29 0 0 -1

N.S.

1 1.00 1.00 2.21 0.82 0.85 0.00 0.00 -0.03

time (sec)

N/A 0.009 0.050 0.013 0.059 0.079 0.000 0.000 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

32 32 32 78 26 29 0 0 -1

N.S.

1 1.00 1.00 2.44 0.81 0.91 0.00 0.00 -0.03

time (sec)

N/A 0.003 0.052 0.013 0.056 0.100 0.000 0.000 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 34 34 100 28 38 0 0 63

N.S.

1 1.00 1.00 2.94 0.82 1.12 0.00 0.00 1.85

time (sec)

N/A 0.014 0.060 0.020 0.057 0.101 0.000 0.000 3.475

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 34 34 102 28 41 0 0 70

N.S.

1 1.00 1.00 3.00 0.82 1.21 0.00 0.00 2.06

time (sec)

N/A 0.015 0.060 0.019 0.058 0.106 0.000 0.000 3.584

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

11 11 11 9 8 8 7 8 8

N.S.

1 1.00 1.00 0.82 0.73 0.73 0.64 0.73 0.73

time (sec)

N/A 0.010 0.011 0.012 0.284 0.365 0.028 2.544 0.043

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A F F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

35 35 35 136 35 0 0 0 52

N.S.

1 1.00 1.00 3.89 1.00 0.00 0.00 0.00 1.49

time (sec)

N/A 0.014 0.007 0.040 0.061 0.000 0.000 0.000 3.505

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 22 22 121 22 80 0 0 99

N.S.

1 1.00 1.00 5.50 1.00 3.64 0.00 0.00 4.50

time (sec)

N/A 0.014 0.003 0.072 0.057 0.089 0.000 0.000 3.692

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

21 21 21 99 21 68 0 0 87

N.S.

1 1.00 1.00 4.71 1.00 3.24 0.00 0.00 4.14

time (sec)

N/A 0.016 0.003 0.061 0.057 0.117 0.000 0.000 3.626

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

79 79 53 77 22 56 0 0 66

N.S.

1 1.00 0.67 0.97 0.28 0.71 0.00 0.00 0.84

time (sec)

N/A 0.042 0.019 0.068 0.321 0.465 0.000 0.000 3.600

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

56 56 40 55 21 43 0 0 54

N.S.

1 1.00 0.71 0.98 0.38 0.77 0.00 0.00 0.96

time (sec)

N/A 0.029 0.015 0.067 0.318 0.375 0.000 0.000 3.640

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 28 28 31 18 30 0 0 27

N.S.

1 1.00 1.00 1.11 0.64 1.07 0.00 0.00 0.96

time (sec)

N/A 0.015 0.007 0.064 0.323 0.390 0.000 0.000 3.600

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

13 13 13 15 13 13 0 0 13

N.S.

1 1.00 1.00 1.15 1.00 1.00 0.00 0.00 1.00

time (sec)

N/A 0.012 0.003 0.063 0.321 0.362 0.000 0.000 3.489

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 18 18 19 18 20 20 20 18

N.S.

1 1.00 1.00 1.06 1.00 1.11 1.11 1.11 1.00

time (sec)

N/A 0.013 0.003 0.013 0.279 0.361 0.036 3.334 3.516

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A C A A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

39 39 27 32 21 31 22 0 27

N.S.

1 1.00 0.69 0.82 0.54 0.79 0.56 0.00 0.69

time (sec)

N/A 0.025 0.006 0.015 0.321 0.437 0.041 0.000 3.547

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A C A A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 41 44 22 43 39 0 45

N.S.

1 1.00 0.67 0.72 0.36 0.70 0.64 0.00 0.74

time (sec)

N/A 0.042 0.007 0.021 0.318 0.448 0.051 0.000 3.554

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A C A A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 53 56 21 55 53 0 57

N.S.

1 1.00 0.65 0.68 0.26 0.67 0.65 0.00 0.70

time (sec)

N/A 0.058 0.008 0.024 0.319 0.434 0.052 0.000 3.545

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A C A A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 22 68 22 67 66 0 69

N.S.

1 1.00 0.34 1.05 0.34 1.03 1.02 0.00 1.06

time (sec)

N/A 0.023 0.003 0.026 0.320 0.365 0.055 0.000 3.598

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A C A A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 21 80 21 79 80 0 81

N.S.

1 1.00 0.27 1.04 0.27 1.03 1.04 0.00 1.05

time (sec)

N/A 0.025 0.003 0.029 0.323 0.370 0.059 0.000 3.649

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A F F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 46 169 38 0 0 0 54

N.S.

1 1.00 1.00 3.67 0.83 0.00 0.00 0.00 1.17

time (sec)

N/A 0.017 0.008 0.029 0.060 0.000 0.000 0.000 3.506

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 24 24 123 22 84 0 0 102

N.S.

1 1.00 1.00 5.12 0.92 3.50 0.00 0.00 4.25

time (sec)

N/A 0.018 0.003 0.049 0.058 0.114 0.000 0.000 3.791

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 24 24 101 22 72 0 0 90

N.S.

1 1.00 1.00 4.21 0.92 3.00 0.00 0.00 3.75

time (sec)

N/A 0.017 0.003 0.037 0.060 0.119 0.000 0.000 3.766

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

81 81 57 79 22 60 0 0 69

N.S.

1 1.00 0.70 0.98 0.27 0.74 0.00 0.00 0.85

time (sec)

N/A 0.063 0.017 0.034 0.328 0.357 0.000 0.000 3.738

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 44 57 22 47 0 0 57

N.S.

1 1.00 0.76 0.98 0.38 0.81 0.00 0.00 0.98

time (sec)

N/A 0.042 0.011 0.028 0.331 0.448 0.000 0.000 3.650

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

35 35 32 35 18 35 0 0 33

N.S.

1 1.00 0.91 1.00 0.51 1.00 0.00 0.00 0.94

time (sec)

N/A 0.026 0.005 0.025 0.320 0.376 0.000 0.000 3.572

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

15 15 15 16 13 13 0 0 13

N.S.

1 1.00 1.00 1.07 0.87 0.87 0.00 0.00 0.87

time (sec)

N/A 0.015 0.003 0.022 0.331 0.362 0.000 0.000 3.504

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 20 20 19 18 22 27 22 18

N.S.

1 1.00 1.00 0.95 0.90 1.10 1.35 1.10 0.90

time (sec)

N/A 0.015 0.004 0.013 0.279 0.347 0.038 3.023 3.446

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A C A A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

44 44 32 35 22 34 29 0 36

N.S.

1 1.00 0.73 0.80 0.50 0.77 0.66 0.00 0.82

time (sec)

N/A 0.030 0.006 0.017 0.329 0.343 0.046 0.000 3.444

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A C A A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

62 62 45 47 22 47 44 0 47

N.S.

1 1.00 0.73 0.76 0.35 0.76 0.71 0.00 0.76

time (sec)

N/A 0.046 0.007 0.022 0.318 0.387 0.058 0.000 3.552

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A C A A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

86 86 58 59 22 60 58 0 60

N.S.

1 1.00 0.67 0.69 0.26 0.70 0.67 0.00 0.70

time (sec)

N/A 0.064 0.008 0.028 0.322 0.378 0.064 0.000 3.631

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A C A A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

69 69 24 71 22 71 71 0 72

N.S.

1 1.00 0.35 1.03 0.32 1.03 1.03 0.00 1.04

time (sec)

N/A 0.024 0.004 0.038 0.315 0.389 0.071 0.000 3.601

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A C A A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 24 83 22 84 85 0 84

N.S.

1 1.00 0.29 1.01 0.27 1.02 1.04 0.00 1.02

time (sec)

N/A 0.026 0.003 0.035 0.333 0.346 0.069 0.000 3.613

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 34 34 124 28 110 0 0 173

N.S.

1 1.00 1.00 3.65 0.82 3.24 0.00 0.00 5.09

time (sec)

N/A 0.016 0.004 0.086 0.330 0.432 0.000 0.000 3.660

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 34 34 112 28 98 0 0 151

N.S.

1 1.00 1.00 3.29 0.82 2.88 0.00 0.00 4.44

time (sec)

N/A 0.017 0.004 0.040 0.321 0.388 0.000 0.000 3.656

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

119 119 86 100 28 86 0 0 129

N.S.

1 1.00 0.72 0.84 0.24 0.72 0.00 0.00 1.08

time (sec)

N/A 0.091 0.027 0.034 0.322 0.410 0.000 0.000 3.661

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

96 96 74 88 28 74 0 0 107

N.S.

1 1.00 0.77 0.92 0.29 0.77 0.00 0.00 1.11

time (sec)

N/A 0.064 0.023 0.029 0.320 0.361 0.000 0.000 3.613

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 60 67 28 56 0 0 71

N.S.

1 1.00 0.82 0.92 0.38 0.77 0.00 0.00 0.97

time (sec)

N/A 0.045 0.019 0.026 0.319 0.380 0.000 0.000 3.607

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

49 49 49 44 26 42 0 0 44

N.S.

1 1.00 1.00 0.90 0.53 0.86 0.00 0.00 0.90

time (sec)

N/A 0.026 0.009 0.023 0.321 0.390 0.000 0.000 3.598

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

39 39 39 28 34 34 0 0 28

N.S.

1 1.00 1.00 0.72 0.87 0.87 0.00 0.00 0.72

time (sec)

N/A 0.020 0.005 0.022 0.313 0.380 0.000 0.000 3.522

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

63 63 63 58 28 58 0 0 58

N.S.

1 1.00 1.00 0.92 0.44 0.92 0.00 0.00 0.92

time (sec)

N/A 0.039 0.015 0.040 0.322 0.399 0.000 0.000 3.563

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

86 86 74 79 28 76 0 0 79

N.S.

1 1.00 0.86 0.92 0.33 0.88 0.00 0.00 0.92

time (sec)

N/A 0.055 0.037 0.033 0.331 0.388 0.000 0.000 3.594

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

109 109 86 91 28 88 0 0 102

N.S.

1 1.00 0.79 0.83 0.26 0.81 0.00 0.00 0.94

time (sec)

N/A 0.077 0.040 0.053 0.321 0.393 0.000 0.000 3.662

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

132 132 100 103 28 100 0 0 121

N.S.

1 1.00 0.76 0.78 0.21 0.76 0.00 0.00 0.92

time (sec)

N/A 0.100 0.061 0.048 0.323 0.360 0.000 0.000 3.691

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 34 34 115 28 112 0 0 142

N.S.

1 1.00 1.00 3.38 0.82 3.29 0.00 0.00 4.18

time (sec)

N/A 0.015 0.005 0.061 0.062 0.085 0.000 0.000 3.705

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 34 34 127 28 124 0 0 159

N.S.

1 1.00 1.00 3.74 0.82 3.65 0.00 0.00 4.68

time (sec)

N/A 0.014 0.007 0.082 0.057 0.093 0.000 0.000 3.714

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A F F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 46 169 38 0 0 0 54

N.S.

1 1.00 1.00 3.67 0.83 0.00 0.00 0.00 1.17

time (sec)

N/A 0.016 0.009 0.030 0.062 0.000 0.000 0.000 3.468

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 24 24 249 22 84 0 0 102

N.S.

1 1.00 1.00 10.38 0.92 3.50 0.00 0.00 4.25

time (sec)

N/A 0.018 0.003 0.041 0.057 0.090 0.000 0.000 3.827

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 24 24 213 22 72 0 0 90

N.S.

1 1.00 1.00 8.88 0.92 3.00 0.00 0.00 3.75

time (sec)

N/A 0.016 0.003 0.052 0.056 0.093 0.000 0.000 3.778

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

81 81 57 177 22 60 0 0 69

N.S.

1 1.00 0.70 2.19 0.27 0.74 0.00 0.00 0.85

time (sec)

N/A 0.064 0.016 0.034 0.317 0.402 0.000 0.000 3.701

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 44 141 22 47 0 0 57

N.S.

1 1.00 0.76 2.43 0.38 0.81 0.00 0.00 0.98

time (sec)

N/A 0.049 0.012 0.047 0.319 0.426 0.000 0.000 3.655

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

35 35 32 97 18 35 0 0 33

N.S.

1 1.00 0.91 2.77 0.51 1.00 0.00 0.00 0.94

time (sec)

N/A 0.031 0.005 0.030 0.321 0.357 0.000 0.000 3.666

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

15 15 15 41 13 13 0 0 13

N.S.

1 1.00 1.00 2.73 0.87 0.87 0.00 0.00 0.87

time (sec)

N/A 0.016 0.003 0.026 0.329 0.360 0.000 0.000 3.591

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 20 20 19 18 22 27 22 18

N.S.

1 1.00 1.00 0.95 0.90 1.10 1.35 1.10 0.90

time (sec)

N/A 0.015 0.004 0.014 0.282 0.349 0.037 2.809 3.442

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A C A A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

44 44 32 35 22 34 29 0 36

N.S.

1 1.00 0.73 0.80 0.50 0.77 0.66 0.00 0.82

time (sec)

N/A 0.034 0.007 0.020 0.324 0.400 0.044 0.000 3.494

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A C A A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 67 45 47 22 47 44 0 48

N.S.

1 1.00 0.67 0.70 0.33 0.70 0.66 0.00 0.72

time (sec)

N/A 0.046 0.008 0.025 0.330 0.408 0.052 0.000 3.541

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A C A A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 83 58 59 22 60 58 0 60

N.S.

1 1.00 0.70 0.71 0.27 0.72 0.70 0.00 0.72

time (sec)

N/A 0.065 0.009 0.044 0.344 0.400 0.057 0.000 3.537

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A C A A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

69 69 24 71 22 71 71 0 72

N.S.

1 1.00 0.35 1.03 0.32 1.03 1.03 0.00 1.04

time (sec)

N/A 0.024 0.004 0.037 0.315 0.370 0.062 0.000 3.516

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A C A A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 24 83 22 84 85 0 84

N.S.

1 1.00 0.29 1.01 0.27 1.02 1.04 0.00 1.02

time (sec)

N/A 0.027 0.003 0.021 0.333 0.418 0.067 0.000 3.592

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 34 34 120 28 55 0 0 88

N.S.

1 1.00 1.00 3.53 0.82 1.62 0.00 0.00 2.59

time (sec)

N/A 0.017 0.004 0.029 0.058 0.086 0.000 0.000 3.573

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 34 34 115 28 51 0 0 80

N.S.

1 1.00 1.00 3.38 0.82 1.50 0.00 0.00 2.35

time (sec)

N/A 0.016 0.004 0.029 0.057 0.110 0.000 0.000 3.588

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 34 34 105 28 41 0 0 70

N.S.

1 1.00 1.00 3.09 0.82 1.21 0.00 0.00 2.06

time (sec)

N/A 0.010 0.004 0.024 0.058 0.100 0.000 0.000 3.572

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

32 32 32 98 26 38 0 0 48

N.S.

1 1.00 1.00 3.06 0.81 1.19 0.00 0.00 1.50

time (sec)

N/A 0.003 0.003 0.024 0.055 0.093 0.000 0.000 3.587

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 34 34 82 28 29 0 0 46

N.S.

1 1.00 1.00 2.41 0.82 0.85 0.00 0.00 1.35

time (sec)

N/A 0.016 0.005 0.025 0.060 0.093 0.000 0.000 3.582

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 34 34 78 28 29 0 0 33

N.S.

1 1.00 1.00 2.29 0.82 0.85 0.00 0.00 0.97

time (sec)

N/A 0.015 0.005 0.026 0.061 0.083 0.000 0.000 3.562

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 34 34 112 28 53 0 0 77

N.S.

1 1.00 1.00 3.29 0.82 1.56 0.00 0.00 2.26

time (sec)

N/A 0.015 0.005 0.029 0.060 0.115 0.000 0.000 3.536

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A F F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 46 280 47 0 0 0 79

N.S.

1 1.00 1.00 6.09 1.02 0.00 0.00 0.00 1.72

time (sec)

N/A 0.017 0.010 0.044 0.070 0.000 0.000 0.000 3.763

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A F F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

39 39 39 212 41 0 0 0 54

N.S.

1 1.00 1.00 5.44 1.05 0.00 0.00 0.00 1.38

time (sec)

N/A 0.017 0.006 0.029 0.067 0.000 0.000 0.000 3.608

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A F F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

39 39 39 212 41 0 0 0 54

N.S.

1 1.00 1.00 5.44 1.05 0.00 0.00 0.00 1.38

time (sec)

N/A 0.017 0.006 0.035 0.068 0.000 0.000 0.000 3.506

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

39 39 39 212 41 0 0 0 -1

N.S.

1 1.00 1.00 5.44 1.05 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.010 0.005 0.030 0.069 0.000 0.000 0.000 0.000

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

35 35 35 201 35 0 0 0 -1

N.S.

1 1.00 1.00 5.74 1.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.003 0.005 0.029 0.067 0.000 0.000 0.000 0.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

15 15 15 19 15 15 0 0 -1

N.S.

1 1.00 1.00 1.27 1.00 1.00 0.00 0.00 -0.07

time (sec)

N/A 0.016 0.003 0.064 0.324 0.370 0.000 0.000 0.000

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A F F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

37 37 37 195 37 0 0 0 52

N.S.

1 1.00 1.00 5.27 1.00 0.00 0.00 0.00 1.41

time (sec)

N/A 0.016 0.004 0.033 0.063 0.000 0.000 0.000 3.531

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A F F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

39 39 39 212 39 0 0 0 48

N.S.

1 1.00 1.00 5.44 1.00 0.00 0.00 0.00 1.23

time (sec)

N/A 0.016 0.004 0.016 0.067 0.000 0.000 0.000 3.518

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A F F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

39 39 39 212 39 0 0 0 52

N.S.

1 1.00 1.00 5.44 1.00 0.00 0.00 0.00 1.33

time (sec)

N/A 0.016 0.004 0.016 0.062 0.000 0.000 0.000 3.478

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

71 71 24 44 51 47 49 0 -1

N.S.

1 1.00 0.34 0.62 0.72 0.66 0.69 0.00 -0.01

time (sec)

N/A 0.052 0.004 0.017 0.279 0.366 73.659 0.000 0.000

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 25 30 34 33 49 0 -1

N.S.

1 1.00 0.56 0.67 0.76 0.73 1.09 0.00 -0.02

time (sec)

N/A 0.035 0.005 0.036 0.279 0.515 104.088 0.000 0.000

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 20 20 21 20 24 39 20 20

N.S.

1 1.00 1.00 1.05 1.00 1.20 1.95 1.00 1.00

time (sec)

N/A 0.016 0.004 0.031 0.286 0.440 19.909 2.632 3.504

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

15 15 15 19 15 15 0 0 -1

N.S.

1 1.00 1.00 1.27 1.00 1.00 0.00 0.00 -0.07

time (sec)

N/A 0.016 0.002 0.000 0.328 0.647 0.000 0.000 0.000

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

38 38 20 43 20 43 0 0 -1

N.S.

1 1.00 0.53 1.13 0.53 1.13 0.00 0.00 -0.03

time (sec)

N/A 0.033 0.004 0.074 0.319 0.374 0.000 0.000 0.000

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

71 71 25 70 25 61 0 0 -1

N.S.

1 1.00 0.35 0.99 0.35 0.86 0.00 0.00 -0.01

time (sec)

N/A 0.051 0.004 0.084 0.326 0.405 0.000 0.000 0.000

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 104 39 82 33 82 56 0 -1

N.S.

1 1.00 0.38 0.79 0.32 0.79 0.54 0.00 -0.01

time (sec)

N/A 0.079 0.008 0.069 0.325 0.405 72.968 0.000 0.000

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

74 74 39 67 33 64 56 0 -1

N.S.

1 1.00 0.53 0.91 0.45 0.86 0.76 0.00 -0.01

time (sec)

N/A 0.046 0.008 0.038 0.325 0.410 65.131 0.000 0.000

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

43 43 43 32 38 42 53 33 -1

N.S.

1 1.00 1.00 0.74 0.88 0.98 1.23 0.77 -0.02

time (sec)

N/A 0.027 0.007 0.044 0.332 0.390 85.973 6.063 0.000

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

66 66 39 59 35 83 0 0 -1

N.S.

1 1.00 0.59 0.89 0.53 1.26 0.00 0.00 -0.02

time (sec)

N/A 0.045 0.006 0.049 0.329 0.413 0.000 0.000 0.000

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A F A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

96 96 39 79 35 0 56 0 -1

N.S.

1 1.00 0.41 0.82 0.36 0.00 0.58 0.00 -0.01

time (sec)

N/A 0.066 0.007 0.059 0.332 0.000 66.730 0.000 0.000

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A F(-2) A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 16 11 15 9 0 10 10 9

N.S.

1 1.00 0.69 0.94 0.56 0.00 0.62 0.62 0.56

time (sec)

N/A 0.006 0.005 0.012 0.279 0.000 0.025 3.029 0.029

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

203 203 96 249 264 113 0 136 171

N.S.

1 1.00 0.47 1.23 1.30 0.56 0.00 0.67 0.84

time (sec)

N/A 0.131 0.188 0.066 0.395 0.361 0.000 3.516 3.558

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 140 83 168 218 95 0 107 121

N.S.

1 1.00 0.59 1.20 1.56 0.68 0.00 0.76 0.86

time (sec)

N/A 0.093 0.147 0.027 0.381 0.370 0.000 2.153 3.612

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

68 68 63 80 131 72 0 77 66

N.S.

1 1.00 0.93 1.18 1.93 1.06 0.00 1.13 0.97

time (sec)

N/A 0.035 0.053 0.038 0.362 0.389 0.000 2.895 3.482

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

41 41 41 41 40 45 0 33 45

N.S.

1 1.00 1.00 1.00 0.98 1.10 0.00 0.80 1.10

time (sec)

N/A 0.006 0.028 0.024 0.291 0.354 0.000 3.034 0.044

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

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

size

18 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06

time (sec)

N/A 0.011 0.129 0.005 0.000 0.000 0.000 0.000 0.000

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

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

size

78 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.032 0.479 0.007 0.000 0.000 0.000 0.000 0.000

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