Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311 }

B grade: { }

C grade: { }

F grade: { }

2.1.2 Mathematica

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 308, 309, 310, 311 }

B grade: { }

C grade: { 280, 281, 282 }

F grade: { 72, 98, 99, 175, 201, 202, 241, 304, 305, 306, 307}

2.1.3 Maple

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 25, 29, 30, 31, 32, 33, 34, 37, 38, 39, 43, 47, 48, 50, 51, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 75, 76, 77, 78, 79, 80, 83, 87, 88, 89, 90, 91, 92, 93, 94, 95, 104, 105, 106, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 120, 121, 122, 123, 124, 128, 132, 133, 134, 135, 136, 137, 140, 141, 142, 146, 151, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 178, 179, 180, 181, 182, 183, 186, 191, 192, 193, 194, 195, 196, 197, 198, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 223, 224, 225, 226, 227, 231, 238, 239, 240, 244, 245, 249, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 286, 287, 288, 296, 297, 298, 299, 300, 301, 302, 303 }

B grade: { 118, 119, 150, 190, 221, 222 }

C grade: { }

F grade: { 22, 23, 24, 26, 27, 28, 35, 36, 40, 41, 42, 44, 45, 46, 49, 52, 67, 68, 69, 70, 71, 72, 73, 74, 81, 82, 84, 85, 86, 96, 97, 98, 99, 100, 101, 102, 103, 107, 125, 126, 127, 129, 130, 131, 138, 139, 143, 144, 145, 147, 148, 149, 152, 153, 154, 155, 170, 171, 172, 173, 174, 175, 176, 177, 184, 185, 187, 188, 189, 199, 200, 201, 202, 203, 204, 205, 206, 228, 229, 230, 232, 233, 234, 235, 236, 237, 241, 242, 243, 246, 247, 248, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 289, 290, 291, 292, 293, 294, 295, 304, 305, 306, 307, 308, 309, 310, 311 }

2.1.4 Maxima

A grade: { 1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 18, 19, 20, 21, 25, 31, 32, 33, 38, 39, 43, 47, 48, 49, 50, 51, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 77, 78, 79, 80, 83, 87, 88, 89, 90, 91, 92, 93, 94, 104, 105, 106, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 121, 122, 123, 124, 128, 135, 136, 137, 141, 142, 146, 159, 160, 161, 162, 163, 164, 165, 166, 181, 182, 183, 186, 191, 192, 193, 194, 195, 196, 197, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 224, 225, 226, 227, 231, 238, 239, 240, 244, 245, 249, 262, 263, 264, 265, 266, 267, 268, 269, 286, 287, 288, 296, 297, 298, 299, 300, 301, 302

B grade: { }

C grade: { 207, 208, 209 }

F grade: { 4, 15, 16, 17, 22, 23, 24, 26, 27, 28, 29, 30, 34, 35, 36, 37, 40, 41, 42, 44, 45, 46, 52, 53, 54, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 81, 82, 84, 85, 86, 95, 96, 97, 98, 99, 100, 101, 102, 103, 107, 118, 119, 120, 125, 126, 127, 129, 130, 131, 132, 133, 134, 138, 139, 140, 143, 144, 145, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 184, 185, 187, 188, 189, 190, 198, 199, 200, 201, 202, 203, 204, 205, 206, 210, 221, 222, 223, 228, 229, 230, 232, 233, 234, 235, 236, 237, 241, 242, 243, 246, 247, 248, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 289, 290, 291, 292, 293, 294, 295, 303, 304, 305, 306, 307, 308, 309, 310, 311 }

2.1.5 FriCAS

A grade: { 1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 104, 105, 106, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 141, 142, 143, 144, 145, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 207, 208, 209, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303 }

B grade: { 140, 146 }

C grade: { }

F grade: { 4, 67, 68, 69, 70, 71, 72, 73, 74, 96, 97, 98, 99, 100, 101, 102, 103, 107, 170, 171, 172, 173, 174, 175, 176, 177, 199, 200, 201, 202, 203, 204, 205, 206, 210, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 304, 305, 306, 307, 308, 309, 310, 311 }

2.1.6 Sympy

A grade: { 1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 22, 23, 24, 25, 32, 33, 34, 38, 39, 47, 48, 49, 50, 51, 52, 56, 57, 60, 61, 62, 63, 66, 78, 79, 80, 81, 82, 83, 88, 92, 93, 104, 105, 106, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 125, 126, 127, 128, 135, 136, 137, 141, 142, 150, 151, 152, 153, 154, 155, 159, 160, 163, 164, 165, 166, 169, 181, 182, 183, 184, 185, 186, 191, 195, 196, 207, 208, 209, 211, 212, 213, 214, 215, 216, 217, 221, 222, 223, 224, 225, 226, 228, 229, 230, 231, 238, 239, 240, 244, 245, 253, 254, 255, 256, 257, 258, 262, 263, 266, 267, 268, 269, 272, 286, 287, 288, 289, 290, 291, 296, 300, 301, 303 }

B grade: { }

C grade: { 218, 219, 220 }

F grade: { 4, 21, 26, 27, 28, 29, 30, 31, 35, 36, 37, 40, 41, 42, 43, 44, 45, 46, 53, 54, 55, 58, 59, 64, 65, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 84, 85, 86, 87, 89, 90, 91, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 107, 124, 129, 130, 131, 132, 133, 134, 138, 139, 140, 143, 144, 145, 146, 147, 148, 149, 156, 157, 158, 161, 162, 167, 168, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 187, 188, 189, 190, 192, 193, 194, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 210, 227, 232, 233, 234, 235, 236, 237, 241, 242, 243, 246, 247, 248, 249, 250, 251, 252, 259, 260, 261, 264, 265, 270, 271, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 292, 293, 294, 295, 297, 298, 299, 302, 304, 305, 306, 307, 308, 309, 310, 311 }

2.1.7 Giac

A grade: { 1, 2, 3, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 25, 29, 30, 31, 32, 33, 34, 38, 39, 40, 41, 42, 43, 46, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 75, 76, 77, 78, 79, 80, 86, 87, 88, 89, 90, 91, 92, 93, 94, 104, 105, 106, 111, 112, 113, 114, 118, 119, 120, 121, 122, 123, 124, 128, 132, 133, 134, 135, 136, 137, 141, 142, 143, 144, 145, 146, 149, 159, 160, 161, 162, 163, 164, 165, 166, 181, 182, 183, 191, 192, 193, 194, 195, 196, 197, 225, 226, 227, 231, 238, 239, 240, 244, 245, 262, 263, 264, 265, 266, 267, 268, 269, 286, 287, 288, 296, 297, 298, 299, 300, 301, 302 }

B grade: { }

C grade: { }

F grade: { 4, 5, 6, 7, 22, 23, 24, 26, 27, 28, 35, 36, 37, 44, 45, 47, 48, 49, 50, 51, 52, 67, 68, 69, 70, 71, 72, 73, 74, 81, 82, 83, 84, 85, 95, 96, 97, 98, 99, 100, 101, 102, 103, 107, 108, 109, 110, 115, 116, 117, 125, 126, 127, 129, 130, 131, 138, 139, 140, 147, 148, 150, 151, 152, 153, 154, 155, 156, 157, 158, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 184, 185, 186, 187, 188, 189, 190, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 228, 229, 230, 232, 233, 234, 235, 236, 237, 241, 242, 243, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 289, 290, 291, 292, 293, 294, 295, 303, 304, 305, 306, 307, 308, 309, 310, 311 }

2.2 Detailed conclusion table per each integral for all CAS systems

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 normalized size is defined as \(\frac{\text{antiderivative leaf size}}{\text{optimal antiderivative leaf size}}\)










Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 96 96 72 83 85 147 88 86
normalized size 1 1. 0.75 0.86 0.89 1.53 0.92 0.9
time (sec) N/A 0.096 0.025 0.05 1.097 2.518 4.465 1.175


















Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 71 71 63 65 74 127 65 76
normalized size 1 1. 0.89 0.92 1.04 1.79 0.92 1.07
time (sec) N/A 0.062 0.022 0.046 1.125 2.479 1.392 1.269


















Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 46 46 42 47 59 101 39 59
normalized size 1 1. 0.91 1.02 1.28 2.2 0.85 1.28
time (sec) N/A 0.036 0.033 0.05 1.125 2.567 0.473 1.299


















Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 32 32 32 23 0 0 0 0
normalized size 1 1. 1. 0.72 0. 0. 0. 0.
time (sec) N/A 0.014 0.014 0.092 0. 0. 0. 0.


















Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 42 42 42 50 50 103 36 0
normalized size 1 1. 1. 1.19 1.19 2.45 0.86 0.
time (sec) N/A 0.039 0.037 0.048 1.238 2.512 0.67 0.


















Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 71 71 63 69 50 124 60 0
normalized size 1 1. 0.89 0.97 0.7 1.75 0.85 0.
time (sec) N/A 0.065 0.017 0.046 1.133 2.556 1.665 0.


















Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 96 96 73 87 50 146 87 0
normalized size 1 1. 0.76 0.91 0.52 1.52 0.91 0.
time (sec) N/A 0.088 0.025 0.046 1.166 2.553 5.126 0.


















Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 109 109 72 90 70 132 99 70
normalized size 1 1. 0.66 0.83 0.64 1.21 0.91 0.64
time (sec) N/A 0.099 0.018 0.044 1.234 2.52 7.561 1.325


















Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 84 84 66 72 59 116 75 59
normalized size 1 1. 0.79 0.86 0.7 1.38 0.89 0.7
time (sec) N/A 0.073 0.016 0.048 1.047 2.525 2.465 1.274


















Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 59 59 41 54 49 100 51 49
normalized size 1 1. 0.69 0.92 0.83 1.69 0.86 0.83
time (sec) N/A 0.049 0.024 0.055 1.105 2.552 0.804 1.274


















Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 26 26 26 26 34 68 24 31
normalized size 1 1. 1. 1. 1.31 2.62 0.92 1.19
time (sec) N/A 0.005 0.01 0.044 1.086 2.53 0.363 1.238


















Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 26 26 26 30 32 68 24 32
normalized size 1 1. 1. 1.15 1.23 2.62 0.92 1.23
time (sec) N/A 0.031 0.039 0.046 1.149 2.631 1.334 1.349


















Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 56 56 47 53 36 111 54 69
normalized size 1 1. 0.84 0.95 0.64 1.98 0.96 1.23
time (sec) N/A 0.052 0.061 0.054 1.171 2.583 2.682 1.201


















Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 81 81 62 71 36 131 76 92
normalized size 1 1. 0.77 0.88 0.44 1.62 0.94 1.14
time (sec) N/A 0.075 0.044 0.046 1.09 2.606 5.516 1.219


















Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 289 289 248 466 0 579 746 540
normalized size 1 1. 0.86 1.61 0. 2. 2.58 1.87
time (sec) N/A 0.321 0.305 0.055 0. 2.581 24.802 1.315


















Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 192 192 138 283 0 360 398 365
normalized size 1 1. 0.72 1.47 0. 1.88 2.07 1.9
time (sec) N/A 0.2 0.208 0.052 0. 2.575 7.06 1.347


















Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 118 118 88 111 0 211 178 201
normalized size 1 1. 0.75 0.94 0. 1.79 1.51 1.7
time (sec) N/A 0.12 0.085 0.049 0. 2.588 2.571 1.332


















Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 36 36 35 32 42 107 53 80
normalized size 1 1. 0.97 0.89 1.17 2.97 1.47 2.22
time (sec) N/A 0.007 0.04 0.047 1.075 2.548 0.82 1.301


















Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 16 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.015 1.188 0.39 0. 0. 0. 0.


















Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 51 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.041 0.296 0.426 0. 0. 0. 0.


















Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 106 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.084 0.53 0.426 0. 0. 0. 0.


















Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 178 178 106 0 0 227 168 0
normalized size 1 1. 0.6 0. 0. 1.28 0.94 0.
time (sec) N/A 0.294 0.045 0.053 0. 2.579 10.335 0.


















Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 126 126 90 0 0 186 117 0
normalized size 1 1. 0.71 0. 0. 1.48 0.93 0.
time (sec) N/A 0.181 0.035 0.053 0. 2.961 5.434 0.


















Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 71 71 64 0 0 142 65 0
normalized size 1 1. 0.9 0. 0. 2. 0.92 0.
time (sec) N/A 0.086 0.04 0.053 0. 2.927 1.176 0.


















Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 12 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.017 0.027 0.047 0. 0. 0. 0.


















Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 67 67 63 0 0 153 0 0
normalized size 1 1. 0.94 0. 0. 2.28 0. 0.
time (sec) N/A 0.1 0.028 0.053 0. 2.612 0. 0.


















Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-1) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 125 125 97 0 0 215 0 0
normalized size 1 1. 0.78 0. 0. 1.72 0. 0.
time (sec) N/A 0.183 0.078 0.052 0. 2.577 0. 0.


















Problem 28 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-1) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 177 177 133 0 0 257 0 0
normalized size 1 1. 0.75 0. 0. 1.45 0. 0.
time (sec) N/A 0.292 0.041 0.052 0. 2.611 0. 0.


















Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 165 165 106 131 0 277 0 235
normalized size 1 1. 0.64 0.79 0. 1.68 0. 1.42
time (sec) N/A 0.247 0.09 0.052 0. 2.549 0. 1.391


















Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 113 113 88 95 0 231 0 151
normalized size 1 1. 0.78 0.84 0. 2.04 0. 1.34
time (sec) N/A 0.136 0.074 0.046 0. 2.606 0. 1.459


















Problem 31 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 56 56 56 48 84 166 0 65
normalized size 1 1. 1. 0.86 1.5 2.96 0. 1.16
time (sec) N/A 0.05 0.03 0.048 1.746 2.51 0. 1.306


















Problem 32 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 12 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.018 0.037 0.052 0. 0. 0. 0.


















Problem 33 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 12 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.017 0.036 0.051 0. 0. 0. 0.


















Problem 34 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 12 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.017 0.036 0.053 0. 0. 0. 0.


















Problem 35 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 375 375 226 0 0 645 0 0
normalized size 1 1. 0.6 0. 0. 1.72 0. 0.
time (sec) N/A 0.422 1.008 0.224 0. 2.631 0. 0.


















Problem 36 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 188 188 132 0 0 406 0 0
normalized size 1 1. 0.7 0. 0. 2.16 0. 0.
time (sec) N/A 0.176 0.398 0.053 0. 2.571 0. 0.


















Problem 37 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-1) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 71 71 66 59 0 227 0 0
normalized size 1 1. 0.93 0.83 0. 3.2 0. 0.
time (sec) N/A 0.18 0.008 0.044 0. 2.596 0. 0.


















Problem 38 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 18 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.024 0.052 0.39 0. 0. 0. 0.


















Problem 39 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 18 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.022 0.106 0.365 0. 0. 0. 0.


















Problem 40 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-1) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 102 102 88 0 0 302 0 115
normalized size 1 1. 0.86 0. 0. 2.96 0. 1.13
time (sec) N/A 0.232 0.318 0.158 0. 2.765 0. 1.52


















Problem 41 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-1) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 94 94 84 0 0 284 0 112
normalized size 1 1. 0.89 0. 0. 3.02 0. 1.19
time (sec) N/A 0.176 0.275 0.151 0. 2.769 0. 1.553


















Problem 42 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 93 93 80 0 0 290 0 107
normalized size 1 1. 0.86 0. 0. 3.12 0. 1.15
time (sec) N/A 0.129 0.245 0.07 0. 2.822 0. 1.341


















Problem 43 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 79 79 78 284 0 90
normalized size 1 1. 1.22 1.22 1.2 4.37 0. 1.38
time (sec) N/A 0.046 0.14 0.108 1.035 2.811 0. 1.315


















Problem 44 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-1) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 92 92 80 0 0 293 0 0
normalized size 1 1. 0.87 0. 0. 3.18 0. 0.
time (sec) N/A 0.213 0.249 0.227 0. 2.704 0. 0.


















Problem 45 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-1) A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 77 0 0 285 0 0
normalized size 1 1. 0.81 0. 0. 3. 0. 0.
time (sec) N/A 0.215 0.247 0.241 0. 2.784 0. 0.


















Problem 46 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 125 125 127 0 0 427 0 211
normalized size 1 1. 1.02 0. 0. 3.42 0. 1.69
time (sec) N/A 0.313 0.51 0.096 0. 2.873 0. 1.625


















Problem 47 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 21 21 21 17 22 42 19 0
normalized size 1 1. 1. 0.81 1.05 2. 0.9 0.
time (sec) N/A 0.03 0.009 0.049 1.021 2.792 4.69 0.


















Problem 48 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 21 21 21 17 22 42 19 0
normalized size 1 1. 1. 0.81 1.05 2. 0.9 0.
time (sec) N/A 0.018 0.005 0.111 1.009 2.712 1.185 0.


















Problem 49 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 20 20 20 0 20 46 17 0
normalized size 1 1. 1. 0. 1. 2.3 0.85 0.
time (sec) N/A 0.029 0.011 180. 1.043 2.675 0.915 0.


















Problem 50 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 21 21 21 17 22 43 17 0
normalized size 1 1. 1. 0.81 1.05 2.05 0.81 0.
time (sec) N/A 0.028 0.006 0.043 1.02 2.655 1.994 0.


















Problem 51 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 21 21 21 17 22 46 19 0
normalized size 1 1. 1. 0.81 1.05 2.19 0.9 0.
time (sec) N/A 0.029 0.006 0.043 1.021 2.946 2.749 0.


















Problem 52 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 28 28 28 0 0 65 63 0
normalized size 1 1. 1. 0. 0. 2.32 2.25 0.
time (sec) N/A 0.037 0.01 0.076 0. 3.319 13.232 0.


















Problem 53 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 285 285 138 312 0 545 0 347
normalized size 1 1. 0.48 1.09 0. 1.91 0. 1.22
time (sec) N/A 0.436 0.414 0.268 0. 3.249 0. 1.285


















Problem 54 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 155 155 99 168 0 328 0 169
normalized size 1 1. 0.64 1.08 0. 2.12 0. 1.09
time (sec) N/A 0.158 0.279 0.35 0. 3.224 0. 1.314


















Problem 55 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 57 57 51 67 63 132 0 65
normalized size 1 1. 0.89 1.18 1.11 2.32 0. 1.14
time (sec) N/A 0.039 0.038 0.333 1.057 2.904 0. 1.226


















Problem 56 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 19 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.04 0.145 0.089 0. 0. 0. 0.


















Problem 57 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 100 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.154 0.195 0.293 0. 0. 0. 0.


















Problem 58 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 230 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.342 0.249 0.309 0. 0. 0. 0.


















Problem 59 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 185 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.244 0.289 0.142 0. 0. 0. 0.


















Problem 60 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 83 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.095 0.215 0.231 0. 0. 0. 0.


















Problem 61 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 16 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.015 0.028 0.112 0. 0. 0. 0.


















Problem 62 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 61 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.117 0.203 0.152 0. 0. 0. 0.


















Problem 63 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 154 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.285 0.306 0.315 0. 0. 0. 0.


















Problem 64 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 118 118 73 88 111 177 0 139
normalized size 1 1. 0.62 0.75 0.94 1.5 0. 1.18
time (sec) N/A 0.142 0.046 0.131 1.004 3.028 0. 1.275


















Problem 65 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 79 79 57 66 80 131 0 78
normalized size 1 1. 0.72 0.84 1.01 1.66 0. 0.99
time (sec) N/A 0.08 0.035 0.218 1.012 2.719 0. 1.272


















Problem 66 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 37 37 34 51 46 89 34 42
normalized size 1 1. 0.92 1.38 1.24 2.41 0.92 1.14
time (sec) N/A 0.031 0.02 0.136 1.044 3.005 26.704 1.303


















Problem 67 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 32 32 32 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.043 0.086 0.085 0. 0. 0. 0.


















Problem 68 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 71 71 34 0 0 0 0 0
normalized size 1 1. 0.48 0. 0. 0. 0. 0.
time (sec) N/A 0.089 0.127 0.267 0. 0. 0. 0.


















Problem 69 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 115 115 36 0 0 0 0 0
normalized size 1 1. 0.31 0. 0. 0. 0. 0.
time (sec) N/A 0.135 0.14 0.279 0. 0. 0. 0.


















Problem 70 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 119 119 100 0 0 0 0 0
normalized size 1 1. 0.84 0. 0. 0. 0. 0.
time (sec) N/A 0.113 0.311 0.119 0. 0. 0. 0.


















Problem 71 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 76 76 80 0 0 0 0 0
normalized size 1 1. 1.05 0. 0. 0. 0. 0.
time (sec) N/A 0.064 0.214 0.207 0. 0. 0. 0.


















Problem 72 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F F F F(-2) F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 29 29 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.018 0.023 0.108 0. 0. 0. 0.


















Problem 73 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 66 66 74 0 0 0 0 0
normalized size 1 1. 1.12 0. 0. 0. 0. 0.
time (sec) N/A 0.064 0.198 0.117 0. 0. 0. 0.


















Problem 74 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 115 115 100 0 0 0 0 0
normalized size 1 1. 0.87 0. 0. 0. 0. 0.
time (sec) N/A 0.108 0.34 0.273 0. 0. 0. 0.


















Problem 75 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 135 135 86 119 0 244 0 212
normalized size 1 1. 0.64 0.88 0. 1.81 0. 1.57
time (sec) N/A 0.195 0.077 0.122 0. 3.005 0. 1.277


















Problem 76 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 90 90 68 83 0 197 0 128
normalized size 1 1. 0.76 0.92 0. 2.19 0. 1.42
time (sec) N/A 0.101 0.047 0.247 0. 3.05 0. 1.259


















Problem 77 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 43 43 39 39 46 112 0 47
normalized size 1 1. 0.91 0.91 1.07 2.6 0. 1.09
time (sec) N/A 0.032 0.017 0.109 1.545 2.639 0. 1.307


















Problem 78 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.035 0.085 0.132 0. 0. 0. 0.


















Problem 79 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 87 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.098 0.133 0.315 0. 0. 0. 0.


















Problem 80 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 160 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.191 0.16 0.306 0. 0. 0. 0.


















Problem 81 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 112 112 85 0 0 176 109 0
normalized size 1 1. 0.76 0. 0. 1.57 0.97 0.
time (sec) N/A 0.146 0.029 0.254 0. 3.089 98.666 0.


















Problem 82 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 56 0 0 127 60 0
normalized size 1 1. 0.89 0. 0. 2.02 0.95 0.
time (sec) N/A 0.068 0.039 0.236 0. 3.099 12.254 0.


















Problem 83 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 18 18 18 15 19 36 53 0
normalized size 1 1. 1. 0.83 1.06 2. 2.94 0.
time (sec) N/A 0.017 0.004 0.075 1.019 2.803 1.614 0.


















Problem 84 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 52 52 52 0 0 130 0 0
normalized size 1 1. 1. 0. 0. 2.5 0. 0.
time (sec) N/A 0.071 0.015 0.296 0. 2.599 0. 0.


















Problem 85 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 108 108 85 0 0 192 0 0
normalized size 1 1. 0.79 0. 0. 1.78 0. 0.
time (sec) N/A 0.148 0.066 0.412 0. 2.68 0. 0.


















Problem 86 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 342 342 240 0 0 549 0 367
normalized size 1 1. 0.7 0. 0. 1.61 0. 1.07
time (sec) N/A 0.515 4.596 0.319 0. 2.812 0. 1.297


















Problem 87 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 86 86 82 134 113 205 0 117
normalized size 1 1. 0.95 1.56 1.31 2.38 0. 1.36
time (sec) N/A 0.057 0.105 0.373 1.053 2.74 0. 1.243


















Problem 88 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 21 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.037 0.2 0.1 0. 0. 0. 0.


















Problem 89 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 183 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.417 0.364 0.337 0. 0. 0. 0.


















Problem 90 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 526 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.969 0.5 0.141 0. 0. 0. 0.


















Problem 91 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 163 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.19 0.392 0.25 0. 0. 0. 0.


















Problem 92 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 18 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.015 0.042 0.124 0. 0. 0. 0.


















Problem 93 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 81 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.215 0.407 0.148 0. 0. 0. 0.


















Problem 94 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 351 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.912 0.547 0.356 0. 0. 0. 0.


















Problem 95 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 62 62 62 67 0 176 0 0
normalized size 1 1. 1. 1.08 0. 2.84 0. 0.
time (sec) N/A 0.145 0.109 0.304 0. 2.6 0. 0.


















Problem 96 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 66 66 69 0 0 0 0 0
normalized size 1 1. 1.05 0. 0. 0. 0. 0.
time (sec) N/A 0.063 0.069 0.111 0. 0. 0. 0.


















Problem 97 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 66 66 67 0 0 0 0 0
normalized size 1 1. 1.02 0. 0. 0. 0. 0.
time (sec) N/A 0.058 0.065 0.066 0. 0. 0. 0.


















Problem 98 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 62 62 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.056 0.615 0.08 0. 0. 0. 0.


















Problem 99 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 62 62 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.055 0.644 0.077 0. 0. 0. 0.


















Problem 100 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 56 56 57 0 0 0 0 0
normalized size 1 1. 1.02 0. 0. 0. 0. 0.
time (sec) N/A 0.056 0.04 0.059 0. 0. 0. 0.


















Problem 101 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 56 56 61 0 0 0 0 0
normalized size 1 1. 1.09 0. 0. 0. 0. 0.
time (sec) N/A 0.056 0.039 0.065 0. 0. 0. 0.


















Problem 102 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 56 56 93 0 0 0 0 0
normalized size 1 1. 1.66 0. 0. 0. 0. 0.
time (sec) N/A 0.053 0.257 0.065 0. 0. 0. 0.


















Problem 103 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 56 56 91 0 0 0 0 0
normalized size 1 1. 1.62 0. 0. 0. 0. 0.
time (sec) N/A 0.052 0.102 0.07 0. 0. 0. 0.


















Problem 104 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 96 96 62 83 85 167 92 93
normalized size 1 1. 0.65 0.86 0.89 1.74 0.96 0.97
time (sec) N/A 0.09 0.058 0.046 1.007 2.409 4.051 1.373


















Problem 105 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 71 71 54 65 74 147 68 82
normalized size 1 1. 0.76 0.92 1.04 2.07 0.96 1.15
time (sec) N/A 0.064 0.053 0.042 1.006 2.386 1.281 1.34


















Problem 106 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 46 46 43 46 59 122 42 66
normalized size 1 1. 0.93 1. 1.28 2.65 0.91 1.43
time (sec) N/A 0.035 0.042 0.051 1.142 2.537 0.449 1.322


















Problem 107 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 35 35 45 0 0 0 0 0
normalized size 1 1. 1.29 0. 0. 0. 0. 0.
time (sec) N/A 0.023 0.021 0.062 0. 0. 0. 0.


















Problem 108 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 40 40 40 51 50 109 34 0
normalized size 1 1. 1. 1.27 1.25 2.72 0.85 0.
time (sec) N/A 0.038 0.041 0.045 1.174 2.442 0.609 0.


















Problem 109 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 71 71 53 69 50 135 60 0
normalized size 1 1. 0.75 0.97 0.7 1.9 0.85 0.
time (sec) N/A 0.059 0.035 0.042 1.095 2.423 1.587 0.


















Problem 110 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 96 96 62 87 50 157 87 0
normalized size 1 1. 0.65 0.91 0.52 1.64 0.91 0.
time (sec) N/A 0.083 0.048 0.042 1.118 2.456 4.637 0.


















Problem 111 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 109 109 73 90 70 151 102 77
normalized size 1 1. 0.67 0.83 0.64 1.39 0.94 0.71
time (sec) N/A 0.094 0.017 0.04 1.003 2.645 6.942 1.336


















Problem 112 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 84 84 66 72 59 135 78 66
normalized size 1 1. 0.79 0.86 0.7 1.61 0.93 0.79
time (sec) N/A 0.07 0.016 0.043 1.02 2.399 2.242 1.337


















Problem 113 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 59 59 42 54 49 119 54 55
normalized size 1 1. 0.71 0.92 0.83 2.02 0.92 0.93
time (sec) N/A 0.049 0.024 0.043 1.006 2.422 0.741 1.453


















Problem 114 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 27 27 27 27 35 81 24 35
normalized size 1 1. 1. 1. 1.3 3. 0.89 1.3
time (sec) N/A 0.005 0.002 0.039 1.031 2.32 0.347 1.321


















Problem 115 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 27 27 27 29 34 76 20 0
normalized size 1 1. 1. 1.07 1.26 2.81 0.74 0.
time (sec) N/A 0.031 0.015 0.043 1.114 2.355 1.274 0.


















Problem 116 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 56 56 49 53 36 117 48 0
normalized size 1 1. 0.88 0.95 0.64 2.09 0.86 0.
time (sec) N/A 0.054 0.04 0.041 1.076 2.127 2.509 0.


















Problem 117 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 81 81 73 71 36 140 70 0
normalized size 1 1. 0.9 0.88 0.44 1.73 0.86 0.
time (sec) N/A 0.074 0.024 0.042 1.092 2.138 5.256 0.


















Problem 118 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 292 292 268 729 0 689 746 587
normalized size 1 1. 0.92 2.5 0. 2.36 2.55 2.01
time (sec) N/A 0.272 0.36 0.046 0. 2.099 22.449 1.508


















Problem 119 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 194 194 159 428 0 435 398 378
normalized size 1 1. 0.82 2.21 0. 2.24 2.05 1.95
time (sec) N/A 0.181 0.281 0.049 0. 2.157 6.169 1.522


















Problem 120 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 119 119 104 122 0 254 178 213
normalized size 1 1. 0.87 1.03 0. 2.13 1.5 1.79
time (sec) N/A 0.118 0.116 0.045 0. 2.042 2.091 1.408


















Problem 121 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 37 37 42 33 43 119 53 81
normalized size 1 1. 1.14 0.89 1.16 3.22 1.43 2.19
time (sec) N/A 0.007 0.041 0.042 1.126 2.072 0.783 1.315


















Problem 122 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 16 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.015 0.122 0.452 0. 0. 0. 0.


















Problem 123 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 51 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.039 0.489 0.375 0. 0. 0. 0.


















Problem 124 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 104 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.079 0.959 0.399 0. 0. 0. 0.


















Problem 125 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A A F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 178 178 173 0 0 344 172 0
normalized size 1 1. 0.97 0. 0. 1.93 0.97 0.
time (sec) N/A 0.276 0.391 0.057 0. 2.169 7.471 0.


















Problem 126 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A A F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 126 126 149 0 0 284 121 0
normalized size 1 1. 1.18 0. 0. 2.25 0.96 0.
time (sec) N/A 0.171 0.376 0.059 0. 2.097 2.505 0.


















Problem 127 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A A F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 72 72 99 0 0 217 68 0
normalized size 1 1. 1.38 0. 0. 3.01 0.94 0.
time (sec) N/A 0.081 0.128 0.059 0. 2.064 0.834 0.


















Problem 128 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 12 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.016 0.15 0.056 0. 0. 0. 0.


















Problem 129 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 67 67 63 0 0 247 0 0
normalized size 1 1. 0.94 0. 0. 3.69 0. 0.
time (sec) N/A 0.095 0.034 0.059 0. 2.064 0. 0.


















Problem 130 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 125 125 97 0 0 329 0 0
normalized size 1 1. 0.78 0. 0. 2.63 0. 0.
time (sec) N/A 0.178 0.082 0.059 0. 2.15 0. 0.


















Problem 131 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 177 177 133 0 0 396 0 0
normalized size 1 1. 0.75 0. 0. 2.24 0. 0.
time (sec) N/A 0.282 0.042 0.059 0. 2.178 0. 0.


















Problem 132 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 165 165 108 205 0 373 0 300
normalized size 1 1. 0.65 1.24 0. 2.26 0. 1.82
time (sec) N/A 0.231 0.148 0.052 0. 2.094 0. 1.488


















Problem 133 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 113 113 88 151 0 305 0 205
normalized size 1 1. 0.78 1.34 0. 2.7 0. 1.81
time (sec) N/A 0.126 0.091 0.053 0. 2.151 0. 1.486


















Problem 134 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 56 56 56 48 0 219 0 99
normalized size 1 1. 1. 0.86 0. 3.91 0. 1.77
time (sec) N/A 0.046 0.05 0.044 0. 2.13 0. 1.317


















Problem 135 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 12 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.017 0.146 0.06 0. 0. 0. 0.


















Problem 136 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 12 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.017 0.149 0.059 0. 0. 0. 0.


















Problem 137 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 12 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.017 0.156 0.059 0. 0. 0. 0.


















Problem 138 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 375 375 610 0 0 1069 0 0
normalized size 1 1. 1.63 0. 0. 2.85 0. 0.
time (sec) N/A 0.375 4.625 0.227 0. 2.237 0. 0.


















Problem 139 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 189 189 301 0 0 647 0 0
normalized size 1 1. 1.59 0. 0. 3.42 0. 0.
time (sec) N/A 0.189 2.043 0.068 0. 2.178 0. 0.


















Problem 140 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 71 71 66 59 0 348 0 0
normalized size 1 1. 0.93 0.83 0. 4.9 0. 0.
time (sec) N/A 0.156 0.08 0.046 0. 2.114 0. 0.


















Problem 141 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 18 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.023 0.558 0.365 0. 0. 0. 0.


















Problem 142 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 18 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.023 0.341 0.341 0. 0. 0. 0.


















Problem 143 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 102 102 87 0 0 317 0 122
normalized size 1 1. 0.85 0. 0. 3.11 0. 1.2
time (sec) N/A 0.215 0.303 0.208 0. 2.181 0. 1.344


















Problem 144 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 94 94 80 0 0 298 0 119
normalized size 1 1. 0.85 0. 0. 3.17 0. 1.27
time (sec) N/A 0.166 0.272 0.167 0. 2.188 0. 1.369


















Problem 145 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 92 92 77 0 0 294 0 111
normalized size 1 1. 0.84 0. 0. 3.2 0. 1.21
time (sec) N/A 0.101 0.239 0.224 0. 2.202 0. 1.418


















Problem 146 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 66 66 93 80 80 308 0 112
normalized size 1 1. 1.41 1.21 1.21 4.67 0. 1.7
time (sec) N/A 0.043 0.14 0.105 1.006 2.136 0. 1.287


















Problem 147 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 93 93 81 0 0 300 0 0
normalized size 1 1. 0.87 0. 0. 3.23 0. 0.
time (sec) N/A 0.185 0.262 0.29 0. 2.377 0. 0.


















Problem 148 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 79 0 0 292 0 0
normalized size 1 1. 0.83 0. 0. 3.07 0. 0.
time (sec) N/A 0.189 0.261 0.243 0. 2.264 0. 0.


















Problem 149 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 126 126 126 0 0 466 0 228
normalized size 1 1. 1. 0. 0. 3.7 0. 1.81
time (sec) N/A 0.254 0.505 0.116 0. 2.33 0. 1.442


















Problem 150 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 21 21 21 43 0 82 24 0
normalized size 1 1. 1. 2.05 0. 3.9 1.14 0.
time (sec) N/A 0.027 0.009 0.226 0. 2.077 2.692 0.


















Problem 151 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 21 21 21 30 0 63 24 0
normalized size 1 1. 1. 1.43 0. 3. 1.14 0.
time (sec) N/A 0.018 0.005 0.107 0. 2.162 0.692 0.


















Problem 152 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 20 20 20 0 0 53 24 0
normalized size 1 1. 1. 0. 0. 2.65 1.2 0.
time (sec) N/A 0.028 0.011 0.086 0. 2.076 0.548 0.


















Problem 153 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 21 21 21 0 0 49 20 0
normalized size 1 1. 1. 0. 0. 2.33 0.95 0.
time (sec) N/A 0.028 0.006 0.148 0. 2.166 1.427 0.


















Problem 154 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 21 21 21 0 0 70 22 0
normalized size 1 1. 1. 0. 0. 3.33 1.05 0.
time (sec) N/A 0.029 0.006 0.352 0. 2.164 3.573 0.


















Problem 155 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 28 28 28 0 0 82 60 0
normalized size 1 1. 1. 0. 0. 2.93 2.14 0.
time (sec) N/A 0.033 0.011 0.135 0. 2.198 11.366 0.


















Problem 156 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 283 283 184 376 0 734 0 0
normalized size 1 1. 0.65 1.33 0. 2.59 0. 0.
time (sec) N/A 0.368 0.716 0.205 0. 2.196 0. 0.


















Problem 157 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 155 155 99 206 0 416 0 0
normalized size 1 1. 0.64 1.33 0. 2.68 0. 0.
time (sec) N/A 0.157 0.297 0.325 0. 2.164 0. 0.


















Problem 158 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 57 57 50 92 0 147 0 0
normalized size 1 1. 0.88 1.61 0. 2.58 0. 0.
time (sec) N/A 0.039 0.039 0.32 0. 2.076 0. 0.


















Problem 159 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 19 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.037 0.488 0.13 0. 0. 0. 0.


















Problem 160 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 98 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.147 0.617 0.3 0. 0. 0. 0.


















Problem 161 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 230 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.325 0.76 0.327 0. 0. 0. 0.


















Problem 162 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 185 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.233 0.757 0.141 0. 0. 0. 0.


















Problem 163 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 83 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.094 0.589 0.241 0. 0. 0. 0.


















Problem 164 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 16 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.015 0.031 0.116 0. 0. 0. 0.


















Problem 165 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 62 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.114 0.632 0.134 0. 0. 0. 0.


















Problem 166 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 154 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.268 0.804 0.309 0. 0. 0. 0.


















Problem 167 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 118 118 73 135 0 227 0 0
normalized size 1 1. 0.62 1.14 0. 1.92 0. 0.
time (sec) N/A 0.147 0.047 0.116 0. 2.182 0. 0.


















Problem 168 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 58 99 0 157 0 0
normalized size 1 1. 0.72 1.24 0. 1.96 0. 0.
time (sec) N/A 0.089 0.035 0.209 0. 2.144 0. 0.


















Problem 169 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 36 36 36 51 0 97 41 0
normalized size 1 1. 1. 1.42 0. 2.69 1.14 0.
time (sec) N/A 0.035 0.02 0.138 0. 2.103 22.421 0.


















Problem 170 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 48 48 45 0 0 0 0 0
normalized size 1 1. 0.94 0. 0. 0. 0. 0.
time (sec) N/A 0.12 0.134 0.103 0. 0. 0. 0.


















Problem 171 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 88 88 65 0 0 0 0 0
normalized size 1 1. 0.74 0. 0. 0. 0. 0.
time (sec) N/A 0.166 0.207 0.277 0. 0. 0. 0.


















Problem 172 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 134 134 83 0 0 0 0 0
normalized size 1 1. 0.62 0. 0. 0. 0. 0.
time (sec) N/A 0.202 0.224 0.311 0. 0. 0. 0.


















Problem 173 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 138 138 147 0 0 0 0 0
normalized size 1 1. 1.07 0. 0. 0. 0. 0.
time (sec) N/A 0.138 0.341 0.128 0. 0. 0. 0.


















Problem 174 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 95 95 104 0 0 0 0 0
normalized size 1 1. 1.09 0. 0. 0. 0. 0.
time (sec) N/A 0.082 0.287 0.222 0. 0. 0. 0.


















Problem 175 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F F F F(-2) F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 50 50 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.035 0.081 0.111 0. 0. 0. 0.


















Problem 176 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 80 80 99 0 0 0 0 0
normalized size 1 1. 1.24 0. 0. 0. 0. 0.
time (sec) N/A 0.079 0.262 0.128 0. 0. 0. 0.


















Problem 177 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 134 134 151 0 0 0 0 0
normalized size 1 1. 1.13 0. 0. 0. 0. 0.
time (sec) N/A 0.129 0.42 0.286 0. 0. 0. 0.


















Problem 178 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 135 135 87 172 0 298 0 0
normalized size 1 1. 0.64 1.27 0. 2.21 0. 0.
time (sec) N/A 0.194 0.132 0.127 0. 2.119 0. 0.


















Problem 179 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 90 90 69 118 0 225 0 0
normalized size 1 1. 0.77 1.31 0. 2.5 0. 0.
time (sec) N/A 0.101 0.092 0.245 0. 2.28 0. 0.


















Problem 180 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 43 43 39 53 0 120 0 0
normalized size 1 1. 0.91 1.23 0. 2.79 0. 0.
time (sec) N/A 0.031 0.023 0.113 0. 2.162 0. 0.


















Problem 181 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.032 0.194 0.133 0. 0. 0. 0.


















Problem 182 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 85 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.094 0.282 0.308 0. 0. 0. 0.


















Problem 183 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 161 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.182 0.271 0.33 0. 0. 0. 0.


















Problem 184 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A A F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 112 112 112 0 0 235 151 0
normalized size 1 1. 1. 0. 0. 2.1 1.35 0.
time (sec) N/A 0.166 0.136 0.253 0. 2.083 116.695 0.


















Problem 185 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A A F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 63 63 79 0 0 162 63 0
normalized size 1 1. 1.25 0. 0. 2.57 1. 0.
time (sec) N/A 0.08 0.116 0.236 0. 2.141 12.568 0.


















Problem 186 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 18 18 18 22 19 58 17 0
normalized size 1 1. 1. 1.22 1.06 3.22 0.94 0.
time (sec) N/A 0.018 0.005 0.071 0.996 2.021 1.497 0.


















Problem 187 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 53 0 0 196 0 0
normalized size 1 1. 1. 0. 0. 3.7 0. 0.
time (sec) N/A 0.086 0.016 0.296 0. 2.068 0. 0.


















Problem 188 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 108 108 85 0 0 285 0 0
normalized size 1 1. 0.79 0. 0. 2.64 0. 0.
time (sec) N/A 0.157 0.067 0.317 0. 2.217 0. 0.


















Problem 189 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 342 342 256 0 0 670 0 0
normalized size 1 1. 0.75 0. 0. 1.96 0. 0.
time (sec) N/A 0.47 4.223 0.301 0. 2.435 0. 0.


















Problem 190 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 86 86 81 175 0 220 0 0
normalized size 1 1. 0.94 2.03 0. 2.56 0. 0.
time (sec) N/A 0.054 0.105 0.361 0. 2.456 0. 0.


















Problem 191 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 21 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.038 0.691 0.105 0. 0. 0. 0.


















Problem 192 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 181 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.411 0.878 0.353 0. 0. 0. 0.


















Problem 193 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 526 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.907 1.042 0.146 0. 0. 0. 0.


















Problem 194 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 163 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.182 0.822 0.253 0. 0. 0. 0.


















Problem 195 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 18 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.014 0.045 0.123 0. 0. 0. 0.


















Problem 196 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 81 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.205 0.949 0.152 0. 0. 0. 0.


















Problem 197 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 351 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.869 1.137 0.362 0. 0. 0. 0.


















Problem 198 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 60 60 60 84 0 184 0 0
normalized size 1 1. 1. 1.4 0. 3.07 0. 0.
time (sec) N/A 0.135 0.077 0.302 0. 2.293 0. 0.


















Problem 199 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 91 91 94 0 0 0 0 0
normalized size 1 1. 1.03 0. 0. 0. 0. 0.
time (sec) N/A 0.077 0.568 0.274 0. 0. 0. 0.


















Problem 200 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 91 91 101 0 0 0 0 0
normalized size 1 1. 1.11 0. 0. 0. 0. 0.
time (sec) N/A 0.075 0.437 0.19 0. 0. 0. 0.


















Problem 201 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 85 85 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.073 1.61 0.41 0. 0. 0. 0.


















Problem 202 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 85 85 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.074 1.738 0.384 0. 0. 0. 0.


















Problem 203 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 75 75 83 0 0 0 0 0
normalized size 1 1. 1.11 0. 0. 0. 0. 0.
time (sec) N/A 0.07 0.161 0.166 0. 0. 0. 0.


















Problem 204 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 77 77 84 0 0 0 0 0
normalized size 1 1. 1.09 0. 0. 0. 0. 0.
time (sec) N/A 0.071 0.145 0.178 0. 0. 0. 0.


















Problem 205 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 75 75 114 0 0 0 0 0
normalized size 1 1. 1.52 0. 0. 0. 0. 0.
time (sec) N/A 0.072 0.116 0.348 0. 0. 0. 0.


















Problem 206 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 77 77 117 0 0 0 0 0
normalized size 1 1. 1.52 0. 0. 0. 0. 0.
time (sec) N/A 0.071 0.11 0.342 0. 0. 0. 0.


















Problem 207 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 93 93 64 77 85 149 88 0
normalized size 1 1. 0.69 0.83 0.91 1.6 0.95 0.
time (sec) N/A 0.082 0.026 0.043 1.041 2.395 3.702 0.


















Problem 208 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 69 69 51 61 74 128 65 0
normalized size 1 1. 0.74 0.88 1.07 1.86 0.94 0.
time (sec) N/A 0.058 0.028 0.043 0.984 2.123 1.014 0.


















Problem 209 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 45 45 39 45 59 103 39 0
normalized size 1 1. 0.87 1. 1.31 2.29 0.87 0.
time (sec) N/A 0.033 0.028 0.043 1.033 2.297 0.233 0.


















Problem 210 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 31 31 31 22 0 0 0 0
normalized size 1 1. 1. 0.71 0. 0. 0. 0.
time (sec) N/A 0.013 0.014 0.057 0. 0. 0. 0.


















Problem 211 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 40 40 37 47 53 103 34 0
normalized size 1 1. 0.92 1.18 1.32 2.58 0.85 0.
time (sec) N/A 0.036 0.022 0.042 1.087 2.244 0.558 0.


















Problem 212 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 69 69 51 65 53 126 60 0
normalized size 1 1. 0.74 0.94 0.77 1.83 0.87 0.
time (sec) N/A 0.055 0.025 0.042 1.097 2.32 1.505 0.


















Problem 213 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 93 93 64 81 53 146 87 0
normalized size 1 1. 0.69 0.87 0.57 1.57 0.94 0.
time (sec) N/A 0.079 0.024 0.043 1.071 2.459 4.453 0.


















Problem 214 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 105 105 57 82 69 132 99 0
normalized size 1 1. 0.54 0.78 0.66 1.26 0.94 0.
time (sec) N/A 0.086 0.036 0.041 1.002 2.348 6.576 0.


















Problem 215 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 81 81 49 64 58 116 75 0
normalized size 1 1. 0.6 0.79 0.72 1.43 0.93 0.
time (sec) N/A 0.065 0.028 0.042 1.019 2.352 1.895 0.


















Problem 216 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 57 57 41 50 47 100 49 0
normalized size 1 1. 0.72 0.88 0.82 1.75 0.86 0.
time (sec) N/A 0.044 0.025 0.042 0.974 2.312 0.494 0.


















Problem 217 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 26 26 26 26 34 68 22 0
normalized size 1 1. 1. 1. 1.31 2.62 0.85 0.
time (sec) N/A 0.005 0.007 0.04 1.018 2.261 0.149 0.


















Problem 218 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 25 31 31 68 32 0
normalized size 1 1. 1. 1.24 1.24 2.72 1.28 0.
time (sec) N/A 0.029 0.012 0.043 1.296 2.355 1.203 0.


















Problem 219 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 54 54 50 52 38 109 63 0
normalized size 1 1. 0.93 0.96 0.7 2.02 1.17 0.
time (sec) N/A 0.05 0.021 0.043 1.285 2.285 2.354 0.


















Problem 220 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 61 68 38 130 85 0
normalized size 1 1. 0.78 0.87 0.49 1.67 1.09 0.
time (sec) N/A 0.07 0.027 0.043 1.129 2.392 5.01 0.


















Problem 221 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 279 279 237 703 0 581 746 0
normalized size 1 1. 0.85 2.52 0. 2.08 2.67 0.
time (sec) N/A 0.25 0.268 0.049 0. 2.461 18.233 0.


















Problem 222 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 186 186 142 414 0 362 398 0
normalized size 1 1. 0.76 2.23 0. 1.95 2.14 0.
time (sec) N/A 0.165 0.175 0.049 0. 2.31 5.381 0.


















Problem 223 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 115 115 78 117 0 212 178 0
normalized size 1 1. 0.68 1.02 0. 1.84 1.55 0.
time (sec) N/A 0.105 0.071 0.047 0. 2.325 1.501 0.


















Problem 224 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 35 35 33 31 41 107 51 0
normalized size 1 1. 0.94 0.89 1.17 3.06 1.46 0.
time (sec) N/A 0.006 0.027 0.045 1.081 2.433 0.409 0.


















Problem 225 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 16 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.014 1.048 0.506 0. 0. 0. 0.


















Problem 226 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 49 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.036 0.299 0.349 0. 0. 0. 0.


















Problem 227 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 101 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.074 0.522 0.366 0. 0. 0. 0.


















Problem 228 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 175 175 99 0 0 228 168 0
normalized size 1 1. 0.57 0. 0. 1.3 0.96 0.
time (sec) N/A 0.256 0.039 0.044 0. 2.286 7.113 0.


















Problem 229 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 124 124 82 0 0 188 116 0
normalized size 1 1. 0.66 0. 0. 1.52 0.94 0.
time (sec) N/A 0.159 0.028 0.045 0. 2.412 2.105 0.


















Problem 230 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 71 71 63 0 0 143 63 0
normalized size 1 1. 0.89 0. 0. 2.01 0.89 0.
time (sec) N/A 0.077 0.016 0.044 0. 2.306 0.522 0.


















Problem 231 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 12 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.016 0.026 0.043 0. 0. 0. 0.


















Problem 232 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 60 0 0 153 0 0
normalized size 1 1. 0.92 0. 0. 2.35 0. 0.
time (sec) N/A 0.09 0.023 0.042 0. 2.334 0. 0.


















Problem 233 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 123 123 97 0 0 212 0 0
normalized size 1 1. 0.79 0. 0. 1.72 0. 0.
time (sec) N/A 0.165 0.028 0.042 0. 2.523 0. 0.


















Problem 234 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 174 174 114 0 0 255 0 0
normalized size 1 1. 0.66 0. 0. 1.47 0. 0.
time (sec) N/A 0.279 0.037 0.043 0. 2.554 0. 0.


















Problem 235 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 162 162 105 0 0 278 0 0
normalized size 1 1. 0.65 0. 0. 1.72 0. 0.
time (sec) N/A 0.225 0.046 0.045 0. 2.508 0. 0.


















Problem 236 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 111 111 87 0 0 232 0 0
normalized size 1 1. 0.78 0. 0. 2.09 0. 0.
time (sec) N/A 0.12 0.03 0.042 0. 2.477 0. 0.


















Problem 237 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 54 54 54 0 0 169 0 0
normalized size 1 1. 1. 0. 0. 3.13 0. 0.
time (sec) N/A 0.045 0.011 0.043 0. 2.438 0. 0.


















Problem 238 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 12 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.018 0.035 0.043 0. 0. 0. 0.


















Problem 239 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 12 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.017 0.034 0.044 0. 0. 0. 0.


















Problem 240 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 12 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.017 0.034 0.043 0. 0. 0. 0.


















Problem 241 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F F A F F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 366 366 0 0 0 645 0 0
normalized size 1 1. 0. 0. 0. 1.76 0. 0.
time (sec) N/A 0.361 0.737 0.205 0. 2.555 0. 0.


















Problem 242 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 184 184 128 0 0 406 0 0
normalized size 1 1. 0.7 0. 0. 2.21 0. 0.
time (sec) N/A 0.182 0.143 0.046 0. 2.428 0. 0.


















Problem 243 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 68 68 64 0 0 231 0 0
normalized size 1 1. 0.94 0. 0. 3.4 0. 0.
time (sec) N/A 0.135 0.041 0.043 0. 2.473 0. 0.


















Problem 244 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 18 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.023 0.051 0.33 0. 0. 0. 0.


















Problem 245 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 18 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.021 0.099 0.323 0. 0. 0. 0.


















Problem 246 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 102 102 90 0 0 305 0 0
normalized size 1 1. 0.88 0. 0. 2.99 0. 0.
time (sec) N/A 0.22 0.308 0.142 0. 2.946 0. 0.


















Problem 247 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 93 93 81 0 0 286 0 0
normalized size 1 1. 0.87 0. 0. 3.08 0. 0.
time (sec) N/A 0.166 0.276 0.138 0. 3.153 0. 0.


















Problem 248 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 91 91 78 0 0 293 0 0
normalized size 1 1. 0.86 0. 0. 3.22 0. 0.
time (sec) N/A 0.133 0.237 0.066 0. 3.386 0. 0.


















Problem 249 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 64 64 83 78 78 284 0 0
normalized size 1 1. 1.3 1.22 1.22 4.44 0. 0.
time (sec) N/A 0.038 0.08 0.106 1.099 3.328 0. 0.


















Problem 250 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 94 94 82 0 0 296 0 0
normalized size 1 1. 0.87 0. 0. 3.15 0. 0.
time (sec) N/A 0.217 0.259 0.211 0. 3.304 0. 0.


















Problem 251 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 80 0 0 288 0 0
normalized size 1 1. 0.84 0. 0. 3.03 0. 0.
time (sec) N/A 0.205 0.266 0.217 0. 3.006 0. 0.


















Problem 252 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 126 126 126 0 0 429 0 0
normalized size 1 1. 1. 0. 0. 3.4 0. 0.
time (sec) N/A 0.322 0.442 0.092 0. 3.103 0. 0.


















Problem 253 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 21 21 21 0 0 43 19 0
normalized size 1 1. 1. 0. 0. 2.05 0.9 0.
time (sec) N/A 0.027 0.008 0.044 0. 2.681 2.716 0.


















Problem 254 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 21 21 21 0 0 43 19 0
normalized size 1 1. 1. 0. 0. 2.05 0.9 0.
time (sec) N/A 0.018 0.005 0.102 0. 2.932 0.728 0.


















Problem 255 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 20 20 20 0 0 47 24 0
normalized size 1 1. 1. 0. 0. 2.35 1.2 0.
time (sec) N/A 0.029 0.011 0.061 0. 2.944 0.422 0.


















Problem 256 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 21 21 21 0 0 45 24 0
normalized size 1 1. 1. 0. 0. 2.14 1.14 0.
time (sec) N/A 0.026 0.006 0.043 0. 2.98 1.391 0.


















Problem 257 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 21 21 21 0 0 47 26 0
normalized size 1 1. 1. 0. 0. 2.24 1.24 0.
time (sec) N/A 0.027 0.006 0.042 0. 2.605 3.677 0.


















Problem 258 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 28 28 28 0 0 68 63 0
normalized size 1 1. 1. 0. 0. 2.43 2.25 0.
time (sec) N/A 0.032 0.011 0.043 0. 2.663 10.966 0.


















Problem 259 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 257 257 131 0 0 547 0 0
normalized size 1 1. 0.51 0. 0. 2.13 0. 0.
time (sec) N/A 0.409 0.278 0.109 0. 2.808 0. 0.


















Problem 260 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 142 142 91 0 0 332 0 0
normalized size 1 1. 0.64 0. 0. 2.34 0. 0.
time (sec) N/A 0.152 0.174 0.24 0. 2.729 0. 0.


















Problem 261 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 47 0 0 135 0 0
normalized size 1 1. 0.89 0. 0. 2.55 0. 0.
time (sec) N/A 0.039 0.018 0.237 0. 2.709 0. 0.


















Problem 262 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 19 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.039 0.131 0.078 0. 0. 0. 0.


















Problem 263 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 92 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.148 0.184 0.274 0. 0. 0. 0.


















Problem 264 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 211 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.32 0.233 0.297 0. 0. 0. 0.


















Problem 265 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 170 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.234 0.268 0.11 0. 0. 0. 0.


















Problem 266 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 78 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.095 0.194 0.214 0. 0. 0. 0.


















Problem 267 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 16 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.015 0.024 0.1 0. 0. 0. 0.


















Problem 268 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 58 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.114 0.189 0.135 0. 0. 0. 0.


















Problem 269 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 143 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.273 0.291 0.286 0. 0. 0. 0.


















Problem 270 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 107 107 68 103 0 185 0 0
normalized size 1 1. 0.64 0.96 0. 1.73 0. 0.
time (sec) N/A 0.115 0.044 0.303 0. 2.586 0. 0.


















Problem 271 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 71 71 51 72 0 138 0 0
normalized size 1 1. 0.72 1.01 0. 1.94 0. 0.
time (sec) N/A 0.069 0.026 0.115 0. 2.576 0. 0.


















Problem 272 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 32 32 32 41 0 96 27 0
normalized size 1 1. 1. 1.28 0. 3. 0.84 0.
time (sec) N/A 0.028 0.014 0.063 0. 2.433 32.308 0.


















Problem 273 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 30 30 30 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.036 0.015 0.094 0. 0. 0. 0.


















Problem 274 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 32 0 0 0 0 0
normalized size 1 1. 0.49 0. 0. 0. 0. 0.
time (sec) N/A 0.075 0.015 0.189 0. 0. 0. 0.


















Problem 275 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 105 105 34 0 0 0 0 0
normalized size 1 1. 0.32 0. 0. 0. 0. 0.
time (sec) N/A 0.113 0.016 0.639 0. 0. 0. 0.


















Problem 276 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 148 148 52 0 0 0 0 0
normalized size 1 1. 0.35 0. 0. 0. 0. 0.
time (sec) N/A 0.142 0.023 0.43 0. 0. 0. 0.


















Problem 277 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 109 109 43 0 0 0 0 0
normalized size 1 1. 0.39 0. 0. 0. 0. 0.
time (sec) N/A 0.099 0.02 0.26 0. 0. 0. 0.


















Problem 278 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 70 70 36 0 0 0 0 0
normalized size 1 1. 0.51 0. 0. 0. 0. 0.
time (sec) N/A 0.056 0.014 0.102 0. 0. 0. 0.


















Problem 279 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 27 27 27 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.016 0.008 0.066 0. 0. 0. 0.


















Problem 280 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 60 60 26 0 0 0 0 0
normalized size 1 1. 0.43 0. 0. 0. 0. 0.
time (sec) N/A 0.056 0.016 0.119 0. 0. 0. 0.


















Problem 281 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 105 105 29 0 0 0 0 0
normalized size 1 1. 0.28 0. 0. 0. 0. 0.
time (sec) N/A 0.098 0.017 0.349 0. 0. 0. 0.


















Problem 282 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 144 144 29 0 0 0 0 0
normalized size 1 1. 0.2 0. 0. 0. 0. 0.
time (sec) N/A 0.137 0.018 0.645 0. 0. 0. 0.


















Problem 283 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 144 144 95 0 0 262 0 0
normalized size 1 1. 0.66 0. 0. 1.82 0. 0.
time (sec) N/A 0.229 0.063 0.112 0. 2.706 0. 0.


















Problem 284 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 97 97 77 0 0 213 0 0
normalized size 1 1. 0.79 0. 0. 2.2 0. 0.
time (sec) N/A 0.115 0.038 0.227 0. 2.667 0. 0.


















Problem 285 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 47 47 42 0 0 123 0 0
normalized size 1 1. 0.89 0. 0. 2.62 0. 0.
time (sec) N/A 0.038 0.01 0.227 0. 2.697 0. 0.


















Problem 286 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 21 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.039 0.093 0.079 0. 0. 0. 0.


















Problem 287 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 92 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.111 0.147 0.263 0. 0. 0. 0.


















Problem 288 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 173 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.219 0.193 0.283 0. 0. 0. 0.


















Problem 289 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 121 121 78 0 0 180 124 0
normalized size 1 1. 0.64 0. 0. 1.49 1.02 0.
time (sec) N/A 0.163 0.036 0.112 0. 2.534 32.135 0.


















Problem 290 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 69 69 58 0 0 131 68 0
normalized size 1 1. 0.84 0. 0. 1.9 0.99 0.
time (sec) N/A 0.076 0.016 0.225 0. 2.613 5.384 0.


















Problem 291 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 21 21 21 0 0 43 19 0
normalized size 1 1. 1. 0. 0. 2.05 0.9 0.
time (sec) N/A 0.018 0.005 0.043 0. 2.582 0.759 0.


















Problem 292 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 59 59 56 0 0 135 0 0
normalized size 1 1. 0.95 0. 0. 2.29 0. 0.
time (sec) N/A 0.082 0.021 0.115 0. 2.694 0. 0.


















Problem 293 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 118 118 91 0 0 196 0 0
normalized size 1 1. 0.77 0. 0. 1.66 0. 0.
time (sec) N/A 0.173 0.036 0.279 0. 2.66 0. 0.


















Problem 294 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 304 304 206 0 0 567 0 0
normalized size 1 1. 0.68 0. 0. 1.87 0. 0.
time (sec) N/A 0.468 2.117 0.383 0. 2.712 0. 0.


















Problem 295 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 73 0 0 221 0 0
normalized size 1 1. 0.94 0. 0. 2.83 0. 0.
time (sec) N/A 0.053 0.071 0.261 0. 2.675 0. 0.


















Problem 296 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 21 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.037 0.17 0.078 0. 0. 0. 0.


















Problem 297 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 165 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.387 0.306 0.314 0. 0. 0. 0.


















Problem 298 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 467 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.892 0.485 0.115 0. 0. 0. 0.


















Problem 299 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 148 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.174 0.351 0.224 0. 0. 0. 0.


















Problem 300 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 18 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.014 0.033 0.107 0. 0. 0. 0.


















Problem 301 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 77 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.203 0.342 0.131 0. 0. 0. 0.


















Problem 302 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 319 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.854 0.485 0.327 0. 0. 0. 0.


















Problem 303 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 33 33 33 41 0 97 53 0
normalized size 1 1. 1. 1.24 0. 2.94 1.61 0.
time (sec) N/A 0.119 0.058 0.201 0. 2.639 137.103 0.


















Problem 304 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 67 67 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.056 0.56 0.052 0. 0. 0. 0.


















Problem 305 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 67 67 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.055 0.533 0.049 0. 0. 0. 0.


















Problem 306 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 63 63 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.055 0.534 0.054 0. 0. 0. 0.


















Problem 307 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 63 63 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.053 0.564 0.056 0. 0. 0. 0.


















Problem 308 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 57 57 74 0 0 0 0 0
normalized size 1 1. 1.3 0. 0. 0. 0. 0.
time (sec) N/A 0.051 1.228 0.049 0. 0. 0. 0.


















Problem 309 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 57 57 72 0 0 0 0 0
normalized size 1 1. 1.26 0. 0. 0. 0. 0.
time (sec) N/A 0.051 0.768 0.049 0. 0. 0. 0.


















Problem 310 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 57 57 74 0 0 0 0 0
normalized size 1 1. 1.3 0. 0. 0. 0. 0.
time (sec) N/A 0.049 10.684 0.049 0. 0. 0. 0.


















Problem 311 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 57 57 72 0 0 0 0 0
normalized size 1 1. 1.26 0. 0. 0. 0. 0.
time (sec) N/A 0.051 1.588 0.05 0. 0. 0. 0.









2.3 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac{\text{number of rules}}{\text{integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [31] had the largest ratio of [ 0.6667 ]

Table 2.1Rubi specific breakdown of results for each integral














# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac{\text{number of rules}}{\text{integrand leaf size}}\)







1 A 5 3 1. 8 0.375







2 A 4 3 1. 8 0.375







3 A 3 3 1. 6 0.5







4 A 1 1 1. 8 0.125







5 A 3 3 1. 8 0.375







6 A 4 3 1. 8 0.375







7 A 5 3 1. 8 0.375







8 A 5 3 1. 8 0.375







9 A 4 3 1. 8 0.375







10 A 3 3 1. 8 0.375







11 A 1 1 1. 4 0.25







12 A 2 2 1. 8 0.25







13 A 3 3 1. 8 0.375







14 A 4 3 1. 8 0.375







15 A 12 5 1. 14 0.357







16 A 9 5 1. 14 0.357







17 A 7 5 1. 12 0.417







18 A 1 1 1. 6 0.167







19 A 0 0 0. 0 0.







20 A 0 0 0. 0 0.







21 A 0 0 0. 0 0.







22 A 12 6 1. 10 0.6







23 A 8 6 1. 10 0.6







24 A 5 5 1. 8 0.625







25 A 0 0 0. 0 0.







26 A 5 5 1. 10 0.5







27 A 8 6 1. 10 0.6







28 A 12 6 1. 10 0.6







29 A 10 5 1. 10 0.5







30 A 6 5 1. 10 0.5







31 A 4 4 1. 6 0.667







32 A 0 0 0. 0 0.







33 A 0 0 0. 0 0.







34 A 0 0 0. 0 0.







35 A 16 10 1. 16 0.625







36 A 10 9 1. 14 0.643







37 A 4 3 1. 8 0.375







38 A 0 0 0. 0 0.







39 A 0 0 0. 0 0.







40 A 7 7 1. 17 0.412







41 A 7 7 1. 15 0.467







42 A 7 7 1. 13 0.538







43 A 3 1 1. 17 0.059







44 A 7 7 1. 17 0.412







45 A 7 7 1. 17 0.412







46 A 8 8 1. 19 0.421







47 A 2 2 1. 19 0.105







48 A 2 2 1. 17 0.118







49 A 2 2 1. 19 0.105







50 A 2 2 1. 19 0.105







51 A 2 2 1. 19 0.105







52 A 2 2 1. 19 0.105







53 A 9 4 1. 17 0.235







54 A 5 4 1. 17 0.235







55 A 2 2 1. 15 0.133







56 A 0 0 0. 0 0.







57 A 0 0 0. 0 0.







58 A 0 0 0. 0 0.







59 A 0 0 0. 0 0.







60 A 0 0 0. 0 0.







61 A 0 0 0. 0 0.







62 A 0 0 0. 0 0.







63 A 0 0 0. 0 0.







64 A 8 5 1. 19 0.263







65 A 5 5 1. 19 0.263







66 A 2 2 1. 17 0.118







67 A 1 1 1. 19 0.053







68 A 4 4 1. 19 0.21







69 A 7 4 1. 19 0.21







70 A 7 4 1. 19 0.21







71 A 4 4 1. 19 0.21







72 A 1 1 1. 16 0.062







73 A 4 4 1. 19 0.21







74 A 7 5 1. 19 0.263







75 A 9 4 1. 18 0.222







76 A 5 4 1. 18 0.222







77 A 2 2 1. 16 0.125







78 A 0 0 0. 0 0.







79 A 0 0 0. 0 0.







80 A 0 0 0. 0 0.







81 A 7 5 1. 18 0.278







82 A 4 4 1. 18 0.222







83 A 2 2 1. 15 0.133







84 A 4 4 1. 18 0.222







85 A 7 5 1. 18 0.278







86 A 10 6 1. 19 0.316







87 A 3 3 1. 17 0.176







88 A 0 0 0. 0 0.







89 A 0 0 0. 0 0.







90 A 0 0 0. 0 0.







91 A 0 0 0. 0 0.







92 A 0 0 0. 0 0.







93 A 0 0 0. 0 0.







94 A 0 0 0. 0 0.







95 A 4 3 1. 40 0.075







96 A 4 4 1. 18 0.222







97 A 4 4 1. 18 0.222







98 A 4 4 1. 18 0.222







99 A 4 4 1. 18 0.222







100 A 4 4 1. 15 0.267







101 A 4 4 1. 16 0.25







102 A 4 4 1. 15 0.267







103 A 4 4 1. 16 0.25







104 A 5 3 1. 8 0.375







105 A 4 3 1. 8 0.375







106 A 3 3 1. 6 0.5







107 A 2 2 1. 8 0.25







108 A 3 3 1. 8 0.375







109 A 4 3 1. 8 0.375







110 A 5 3 1. 8 0.375







111 A 5 3 1. 8 0.375







112 A 4 3 1. 8 0.375







113 A 3 3 1. 8 0.375







114 A 1 1 1. 4 0.25







115 A 2 2 1. 8 0.25







116 A 3 3 1. 8 0.375







117 A 4 3 1. 8 0.375







118 A 12 5 1. 14 0.357







119 A 9 5 1. 14 0.357







120 A 7 5 1. 12 0.417







121 A 1 1 1. 6 0.167







122 A 0 0 0. 0 0.







123 A 0 0 0. 0 0.







124 A 0 0 0. 0 0.







125 A 12 6 1. 10 0.6







126 A 8 6 1. 10 0.6







127 A 5 5 1. 8 0.625







128 A 0 0 0. 0 0.







129 A 5 5 1. 10 0.5







130 A 8 6 1. 10 0.6







131 A 12 6 1. 10 0.6







132 A 10 5 1. 10 0.5







133 A 6 5 1. 10 0.5







134 A 4 4 1. 6 0.667







135 A 0 0 0. 0 0.







136 A 0 0 0. 0 0.







137 A 0 0 0. 0 0.







138 A 16 10 1. 16 0.625







139 A 10 9 1. 14 0.643







140 A 4 3 1. 8 0.375







141 A 0 0 0. 0 0.







142 A 0 0 0. 0 0.







143 A 7 7 1. 17 0.412







144 A 7 7 1. 15 0.467







145 A 7 7 1. 13 0.538







146 A 3 1 1. 17 0.059







147 A 7 7 1. 17 0.412







148 A 7 7 1. 17 0.412







149 A 8 8 1. 19 0.421







150 A 2 2 1. 19 0.105







151 A 2 2 1. 17 0.118







152 A 2 2 1. 19 0.105







153 A 2 2 1. 19 0.105







154 A 2 2 1. 19 0.105







155 A 2 2 1. 19 0.105







156 A 9 4 1. 17 0.235







157 A 5 4 1. 17 0.235







158 A 2 2 1. 15 0.133







159 A 0 0 0. 0 0.







160 A 0 0 0. 0 0.







161 A 0 0 0. 0 0.







162 A 0 0 0. 0 0.







163 A 0 0 0. 0 0.







164 A 0 0 0. 0 0.







165 A 0 0 0. 0 0.







166 A 0 0 0. 0 0.







167 A 8 5 1. 19 0.263







168 A 5 5 1. 19 0.263







169 A 2 2 1. 17 0.118







170 A 3 3 1. 19 0.158







171 A 6 6 1. 19 0.316







172 A 9 6 1. 19 0.316







173 A 9 6 1. 19 0.316







174 A 6 6 1. 19 0.316







175 A 3 3 1. 16 0.188







176 A 6 6 1. 19 0.316







177 A 9 7 1. 19 0.368







178 A 9 4 1. 18 0.222







179 A 5 4 1. 18 0.222







180 A 2 2 1. 16 0.125







181 A 0 0 0. 0 0.







182 A 0 0 0. 0 0.







183 A 0 0 0. 0 0.







184 A 7 5 1. 18 0.278







185 A 4 4 1. 18 0.222







186 A 2 2 1. 15 0.133







187 A 4 4 1. 18 0.222







188 A 7 5 1. 18 0.278







189 A 10 6 1. 19 0.316







190 A 3 3 1. 17 0.176







191 A 0 0 0. 0 0.







192 A 0 0 0. 0 0.







193 A 0 0 0. 0 0.







194 A 0 0 0. 0 0.







195 A 0 0 0. 0 0.







196 A 0 0 0. 0 0.







197 A 0 0 0. 0 0.







198 A 4 3 1. 40 0.075







199 A 6 6 1. 18 0.333







200 A 6 6 1. 18 0.333







201 A 6 6 1. 18 0.333







202 A 6 6 1. 18 0.333







203 A 6 6 1. 15 0.4







204 A 6 6 1. 16 0.375







205 A 6 6 1. 15 0.4







206 A 6 6 1. 16 0.375







207 A 5 3 1. 8 0.375







208 A 4 3 1. 8 0.375







209 A 3 3 1. 6 0.5







210 A 1 1 1. 8 0.125







211 A 3 3 1. 8 0.375







212 A 4 3 1. 8 0.375







213 A 5 3 1. 8 0.375







214 A 5 3 1. 8 0.375







215 A 4 3 1. 8 0.375







216 A 3 3 1. 8 0.375







217 A 1 1 1. 4 0.25







218 A 2 2 1. 8 0.25







219 A 3 3 1. 8 0.375







220 A 4 3 1. 8 0.375







221 A 12 5 1. 14 0.357







222 A 9 5 1. 14 0.357







223 A 7 5 1. 12 0.417







224 A 1 1 1. 6 0.167







225 A 0 0 0. 0 0.







226 A 0 0 0. 0 0.







227 A 0 0 0. 0 0.







228 A 12 6 1. 10 0.6







229 A 8 6 1. 10 0.6







230 A 5 5 1. 8 0.625







231 A 0 0 0. 0 0.







232 A 5 5 1. 10 0.5







233 A 8 6 1. 10 0.6







234 A 12 6 1. 10 0.6







235 A 10 5 1. 10 0.5







236 A 6 5 1. 10 0.5







237 A 4 4 1. 6 0.667







238 A 0 0 0. 0 0.







239 A 0 0 0. 0 0.







240 A 0 0 0. 0 0.







241 A 16 10 1. 16 0.625







242 A 10 9 1. 14 0.643







243 A 4 3 1. 8 0.375







244 A 0 0 0. 0 0.







245 A 0 0 0. 0 0.







246 A 7 7 1. 17 0.412







247 A 7 7 1. 15 0.467







248 A 7 7 1. 13 0.538







249 A 3 1 1. 17 0.059







250 A 7 7 1. 17 0.412







251 A 7 7 1. 17 0.412







252 A 8 8 1. 19 0.421







253 A 2 2 1. 18 0.111







254 A 2 2 1. 16 0.125







255 A 2 2 1. 18 0.111







256 A 2 2 1. 18 0.111







257 A 2 2 1. 18 0.111







258 A 2 2 1. 18 0.111







259 A 9 4 1. 17 0.235







260 A 5 4 1. 17 0.235







261 A 2 2 1. 15 0.133







262 A 0 0 0. 0 0.







263 A 0 0 0. 0 0.







264 A 0 0 0. 0 0.







265 A 0 0 0. 0 0.







266 A 0 0 0. 0 0.







267 A 0 0 0. 0 0.







268 A 0 0 0. 0 0.







269 A 0 0 0. 0 0.







270 A 6 4 1. 18 0.222







271 A 4 4 1. 18 0.222







272 A 2 2 1. 16 0.125







273 A 1 1 1. 18 0.056







274 A 3 3 1. 18 0.167







275 A 5 3 1. 18 0.167







276 A 7 3 1. 18 0.167







277 A 5 3 1. 18 0.167







278 A 3 3 1. 18 0.167







279 A 1 1 1. 15 0.067







280 A 3 3 1. 18 0.167







281 A 5 4 1. 18 0.222







282 A 7 4 1. 18 0.222







283 A 9 4 1. 19 0.21







284 A 5 4 1. 19 0.21







285 A 2 2 1. 17 0.118







286 A 0 0 0. 0 0.







287 A 0 0 0. 0 0.







288 A 0 0 0. 0 0.







289 A 7 5 1. 19 0.263







290 A 4 4 1. 19 0.21







291 A 2 2 1. 16 0.125







292 A 4 4 1. 19 0.21







293 A 7 5 1. 19 0.263







294 A 10 6 1. 19 0.316







295 A 3 3 1. 17 0.176







296 A 0 0 0. 0 0.







297 A 0 0 0. 0 0.







298 A 0 0 0. 0 0.







299 A 0 0 0. 0 0.







300 A 0 0 0. 0 0.







301 A 0 0 0. 0 0.







302 A 0 0 0. 0 0.







303 A 5 3 1. 40 0.075







304 A 4 4 1. 18 0.222







305 A 4 4 1. 18 0.222







306 A 4 4 1. 18 0.222







307 A 4 4 1. 18 0.222







308 A 4 4 1. 15 0.267







309 A 4 4 1. 16 0.25







310 A 4 4 1. 15 0.267







311 A 4 4 1. 16 0.25