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

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.1.8 Mupad
 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, 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 }

B grade: { }

C grade: { }

F grade: { 61 }

2.1.2 Mathematica

A grade: { 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 14, 15, 16, 17, 18, 19, 21, 22, 23, 24, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 47, 48, 53, 54, 55, 58, 59, 60, 62, 63, 64, 66, 67, 68, 71, 72, 73, 75, 76, 77, 78, 81, 82, 83, 84, 85, 86, 87, 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, 126, 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, 158, 159, 160, 161, 163, 164, 169, 171, 173, 174, 175, 176, 178, 179, 180, 181, 182, 184, 185, 186, 187, 188, 190, 191, 192, 193, 194, 196, 197, 206, 207, 208, 209, 210, 211, 212, 213, 214, 216, 217, 218, 219, 220, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 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, 272, 273, 275, 276, 277, 284, 285, 286, 287, 288, 289, 290, 292, 293, 295, 296 }

B grade: { 125, 127, 128, 129, 157, 162, 165, 166, 167, 168, 170, 172, 177, 183, 189, 195, 239, 278, 291, 294 }

C grade: { 7, 12, 13, 20, 25, 26, 46, 49, 50, 51, 52, 56, 57, 61, 65, 69, 70, 74, 88, 89, 90, 198, 199, 200, 201, 202, 203, 204, 205, 279, 280, 281, 282, 283 }

F grade: { 79, 80, 215, 221, 269, 270, 271, 274 }

2.1.3 Maple

A grade: { 3, 4, 5, 8, 9, 10, 12, 16, 17, 18, 23, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 39, 40, 41, 42, 43, 44, 47, 48, 53, 56, 58, 59, 60, 61, 62, 63, 64, 68, 69, 78, 82, 85, 86, 88, 93, 95, 97, 98, 99, 100, 101, 102, 103, 104, 106, 108, 109, 110, 112, 113, 115, 117, 123, 130, 131, 132, 133, 134, 135, 139, 140, 141, 145, 146, 147, 151, 152, 153, 159, 164, 169, 173, 179, 185, 191, 197, 199, 201, 203, 205, 226, 227, 230, 232, 233, 234, 235, 236, 237, 238, 239, 243, 250, 268, 270, 271, 272, 273, 274, 288, 289, 290, 292, 294 }

B grade: { 1, 2, 6, 7, 13, 14, 15, 19, 20, 21, 22, 26, 54, 55, 57, 65, 66, 67, 70, 71, 72, 73, 74, 83, 84, 87, 89, 90, 94, 96, 105, 107, 111, 114, 116, 118, 120, 122, 124, 125, 126, 128, 136, 137, 138, 142, 143, 144, 148, 149, 150, 269, 278, 281, 282, 283, 291 }

C grade: { 45, 46, 198, 200, 202, 204, 275, 276, 277, 279, 280 }

F grade: { 11, 24, 38, 49, 50, 51, 52, 75, 76, 77, 79, 80, 81, 91, 92, 119, 121, 127, 129, 154, 155, 156, 157, 158, 160, 161, 162, 163, 165, 166, 167, 168, 170, 171, 172, 174, 175, 176, 177, 178, 180, 181, 182, 183, 184, 186, 187, 188, 189, 190, 192, 193, 194, 195, 196, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 228, 229, 231, 240, 241, 242, 244, 245, 246, 247, 248, 249, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 284, 285, 286, 287, 293, 295, 296 }

2.1.4 Maxima

A grade: { 1, 2, 3, 14, 15, 16, 30, 31, 34, 35, 36, 37, 39, 40, 41, 42, 43, 44, 47, 48, 78, 82, 86, 97, 99, 135, 141, 159, 164, 169, 173, 179, 185, 191, 197, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 230, 232, 233, 234, 236, 237, 242, 243, 249, 250, 268, 272, 273, 276, 277, 288, 289, 292, 293 }

B grade: { 83, 84, 85, 93, 94, 95, 96, 100, 102, 111, 238, 275, 278 }

C grade: { }

F grade: { 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 32, 33, 38, 45, 46, 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, 79, 80, 81, 87, 88, 89, 90, 91, 92, 98, 101, 103, 104, 105, 106, 107, 108, 109, 110, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 136, 137, 138, 139, 140, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 160, 161, 162, 163, 165, 166, 167, 168, 170, 171, 172, 174, 175, 176, 177, 178, 180, 181, 182, 183, 184, 186, 187, 188, 189, 190, 192, 193, 194, 195, 196, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 228, 229, 231, 235, 239, 240, 241, 244, 245, 246, 247, 248, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 269, 270, 271, 274, 279, 280, 281, 282, 283, 284, 285, 286, 287, 290, 291, 294, 295, 296 }

2.1.5 FriCAS

A grade: { 1, 2, 3, 8, 9, 10, 14, 15, 16, 21, 22, 23, 30, 31, 34, 35, 36, 37, 39, 40, 41, 42, 43, 44, 47, 48, 49, 78, 82, 83, 84, 85, 86, 96, 97, 135, 141, 147, 153, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 230, 232, 233, 234, 236, 237, 241, 242, 243, 249, 268, 272, 273, 275, 276, 277, 278, 279, 280, 281, 282, 283, 288, 289, 292, 296 }

B grade: { 5, 6, 7, 18, 19, 20, 50, 51, 52, 88, 89, 90, 93, 94, 95, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 111, 113, 114, 115, 116, 117, 122, 123, 124, 125, 238, 240, 247, 248, 250, 293, 294, 295 }

C grade: { }

F grade: { 4, 11, 12, 13, 17, 24, 25, 26, 27, 28, 29, 32, 33, 38, 45, 46, 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, 79, 80, 81, 87, 91, 92, 98, 109, 110, 112, 118, 119, 120, 121, 126, 127, 128, 129, 130, 131, 132, 133, 134, 136, 137, 138, 139, 140, 142, 143, 144, 145, 146, 148, 149, 150, 151, 152, 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, 228, 229, 231, 235, 239, 244, 245, 246, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 269, 270, 271, 274, 284, 285, 286, 287, 290, 291 }

2.1.6 Sympy

A grade: { 1, 2, 3, 8, 9, 10, 14, 15, 16, 21, 22, 23, 30, 31, 34, 35, 36, 37, 39, 40, 41, 42, 43, 44, 47, 48, 82, 83, 84, 85, 86, 93, 94, 95, 96, 97, 104, 105, 106, 107, 108, 113, 114, 115, 116, 117, 122, 123, 124, 125, 135, 141, 147, 153, 159, 164, 169, 179, 185, 191, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 230, 234, 288, 289, 292, 293 }

B grade: { }

C grade: { }

F grade: { 4, 5, 6, 7, 11, 12, 13, 17, 18, 19, 20, 24, 25, 26, 27, 28, 29, 32, 33, 38, 45, 46, 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, 87, 88, 89, 90, 91, 92, 98, 99, 100, 101, 102, 103, 109, 110, 111, 112, 118, 119, 120, 121, 126, 127, 128, 129, 130, 131, 132, 133, 134, 136, 137, 138, 139, 140, 142, 143, 144, 145, 146, 148, 149, 150, 151, 152, 154, 155, 156, 157, 158, 160, 161, 162, 163, 165, 166, 167, 168, 170, 171, 172, 173, 174, 175, 176, 177, 178, 180, 181, 182, 183, 184, 186, 187, 188, 189, 190, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 228, 229, 231, 232, 233, 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, 290, 291, 294, 295, 296 }

2.1.7 Giac

A grade: { 1, 2, 3, 16, 30, 31, 34, 35, 36, 37, 39, 40, 41, 42, 43, 44, 47, 48, 49, 50, 51, 82, 83, 84, 85, 88, 89, 135, 141, 147, 153, 159, 164, 169, 173, 179, 185, 191, 197, 214, 215, 216, 217, 219, 220, 221, 222, 223, 225, 226, 227, 230, 232, 233, 234, 236, 237, 243, 279, 288, 289 }

B grade: { 5, 18, 52, 86, 90, 93, 94, 95, 96, 97, 238, 250, 275, 276, 277, 278, 280, 281, 282, 283, 292, 293, 294 }

C grade: { }

F grade: { 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 32, 33, 38, 45, 46, 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, 87, 91, 92, 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, 136, 137, 138, 139, 140, 142, 143, 144, 145, 146, 148, 149, 150, 151, 152, 154, 155, 156, 157, 158, 160, 161, 162, 163, 165, 166, 167, 168, 170, 171, 172, 174, 175, 176, 177, 178, 180, 181, 182, 183, 184, 186, 187, 188, 189, 190, 192, 193, 194, 195, 196, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 218, 224, 228, 229, 231, 235, 239, 240, 241, 242, 244, 245, 246, 247, 248, 249, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 284, 285, 286, 287, 290, 291, 295, 296 }

2.1.8 Mupad

A grade: { 30, 31, 34, 35, 36, 37, 39, 40, 47, 48, 78, 82, 135, 141, 147, 153, 159, 164, 169, 173, 179, 185, 191, 197, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 230, 268, 272, 273, 288, 289 }

B grade: { 3, 16, 86, 97, 234, 238, 243, 250, 275, 276, 277, 278, 279, 280, 281, 282, 283, 292, 293, 294 }

C grade: { }

F grade: { 1, 2, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 32, 33, 38, 41, 42, 43, 44, 45, 46, 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, 79, 80, 81, 83, 84, 85, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 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, 136, 137, 138, 139, 140, 142, 143, 144, 145, 146, 148, 149, 150, 151, 152, 154, 155, 156, 157, 158, 160, 161, 162, 163, 165, 166, 167, 168, 170, 171, 172, 174, 175, 176, 177, 178, 180, 181, 182, 183, 184, 186, 187, 188, 189, 190, 192, 193, 194, 195, 196, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 228, 229, 231, 232, 233, 235, 236, 237, 239, 240, 241, 242, 244, 245, 246, 247, 248, 249, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 269, 270, 271, 274, 284, 285, 286, 287, 290, 291, 295, 296 }

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 Mupad
grade A A A B A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 183 183 153 351 229 153 258 167 -1
normalized size 1 1.00 0.84 1.92 1.25 0.84 1.41 0.91 -0.01
time (sec) N/A 0.153 0.267 0.033 0.312 0.548 1.277 0.367 0.000
Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 123 123 113 233 140 106 155 129 -1
normalized size 1 1.00 0.92 1.89 1.14 0.86 1.26 1.05 -0.01
time (sec) N/A 0.103 0.206 0.011 0.488 0.529 0.575 0.350 0.000
Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 97 97 73 107 82 65 80 87 68
normalized size 1 1.00 0.75 1.10 0.85 0.67 0.82 0.90 0.70
time (sec) N/A 0.042 0.078 0.013 0.460 0.494 0.261 0.285 0.706
Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 178 178 176 295 0 0 0 0 -1
normalized size 1 1.00 0.99 1.66 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.271 0.011 0.164 0.000 0.689 0.000 0.000 0.000
Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) B F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 83 83 92 126 0 454 0 215 -1
normalized size 1 1.00 1.11 1.52 0.00 5.47 0.00 2.59 -0.01
time (sec) N/A 0.088 0.100 0.030 0.000 0.562 0.000 1.149 0.000
Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) B F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 132 132 190 338 0 1044 0 0 -1
normalized size 1 1.00 1.44 2.56 0.00 7.91 0.00 0.00 -0.01
time (sec) N/A 0.135 0.193 0.023 0.000 0.869 0.000 0.000 0.000
Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F(-2) B F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 195 195 244 1108 0 1799 0 0 -1
normalized size 1 1.00 1.25 5.68 0.00 9.23 0.00 0.00 -0.01
time (sec) N/A 0.237 0.557 0.025 0.000 1.494 0.000 0.000 0.000
Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A A F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 334 334 191 329 0 237 371 0 -1
normalized size 1 1.00 0.57 0.99 0.00 0.71 1.11 0.00 -0.00
time (sec) N/A 1.464 0.271 0.127 0.000 0.740 2.458 0.000 0.000
Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A A F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 215 215 131 207 0 163 223 0 -1
normalized size 1 1.00 0.61 0.96 0.00 0.76 1.04 0.00 -0.00
time (sec) N/A 0.996 0.190 0.113 0.000 0.609 1.210 0.000 0.000
Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A A F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 122 122 105 100 0 98 110 0 -1
normalized size 1 1.00 0.86 0.82 0.00 0.80 0.90 0.00 -0.01
time (sec) N/A 0.651 0.076 0.097 0.000 0.616 0.529 0.000 0.000
Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 272 272 252 0 0 0 0 0 -1
normalized size 1 1.00 0.93 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.426 0.163 0.265 0.000 0.617 0.000 0.000 0.000
Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F(-2) F F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 259 259 848 374 0 0 0 0 -1
normalized size 1 1.00 3.27 1.44 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.582 3.431 0.355 0.000 0.770 0.000 0.000 0.000
Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F(-2) F F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 352 352 936 766 0 0 0 0 -1
normalized size 1 1.00 2.66 2.18 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.694 4.527 0.516 0.000 0.647 0.000 0.000 0.000
Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A A F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 191 191 193 408 265 213 323 0 -1
normalized size 1 1.00 1.01 2.14 1.39 1.12 1.69 0.00 -0.01
time (sec) N/A 0.145 0.296 0.006 0.389 0.732 1.525 0.000 0.000
Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A A F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 132 132 142 274 167 147 197 0 -1
normalized size 1 1.00 1.08 2.08 1.27 1.11 1.49 0.00 -0.01
time (sec) N/A 0.105 0.210 0.006 0.438 0.622 0.683 0.000 0.000
Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 106 106 117 123 99 88 105 126 83
normalized size 1 1.00 1.10 1.16 0.93 0.83 0.99 1.19 0.78
time (sec) N/A 0.044 0.101 0.006 0.440 0.639 0.341 0.485 1.029
Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 195 195 183 314 0 0 0 0 -1
normalized size 1 1.00 0.94 1.61 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.264 0.141 0.043 0.000 0.708 0.000 0.000 0.000
Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) B F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 88 88 121 145 0 507 0 231 -1
normalized size 1 1.00 1.38 1.65 0.00 5.76 0.00 2.62 -0.01
time (sec) N/A 0.056 0.205 0.006 0.000 0.821 0.000 1.078 0.000
Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 138 138 184 361 0 1132 0 0 -1
normalized size 1 1.00 1.33 2.62 0.00 8.20 0.00 0.00 -0.01
time (sec) N/A 0.102 0.392 0.006 0.000 0.908 0.000 0.000 0.000
Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 202 202 259 1137 0 1963 0 0 -1
normalized size 1 1.00 1.28 5.63 0.00 9.72 0.00 0.00 -0.00
time (sec) N/A 0.164 0.981 0.005 0.000 1.551 0.000 0.000 0.000
Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F A A F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 398 398 386 791 0 472 750 0 -1
normalized size 1 1.00 0.97 1.99 0.00 1.19 1.88 0.00 -0.00
time (sec) N/A 1.689 0.851 0.084 0.000 0.605 3.702 0.000 0.000
Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F A A F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 259 259 360 517 0 319 461 0 -1
normalized size 1 1.00 1.39 2.00 0.00 1.23 1.78 0.00 -0.00
time (sec) N/A 1.148 0.661 0.074 0.000 0.689 1.700 0.000 0.000
Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A A F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 150 150 174 245 0 185 240 0 -1
normalized size 1 1.00 1.16 1.63 0.00 1.23 1.60 0.00 -0.01
time (sec) N/A 0.756 0.432 0.099 0.000 0.694 0.706 0.000 0.000
Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 303 303 285 0 0 0 0 0 -1
normalized size 1 1.00 0.94 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.456 0.279 0.033 0.000 0.732 0.000 0.000 0.000
Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F(-2) F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 279 279 961 536 0 0 0 0 -1
normalized size 1 1.00 3.44 1.92 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.610 4.601 0.072 0.000 0.982 0.000 0.000 0.000
Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F(-2) F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 380 380 1093 1170 0 0 0 0 -1
normalized size 1 1.00 2.88 3.08 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.747 7.780 0.161 0.000 0.547 0.000 0.000 0.000
Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 394 394 287 394 0 0 0 0 -1
normalized size 1 1.00 0.73 1.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.170 0.614 0.565 0.000 0.490 0.000 0.000 0.000
Problem 28 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 245 245 187 254 0 0 0 0 -1
normalized size 1 1.00 0.76 1.04 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.704 0.330 0.421 0.000 0.545 0.000 0.000 0.000
Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 116 116 98 120 0 0 0 0 -1
normalized size 1 1.00 0.84 1.03 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.338 0.142 0.286 0.000 0.481 0.000 0.000 0.000
Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 21 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05
time (sec) N/A 0.034 0.215 0.285 0.000 0.521 0.000 0.000 0.000
Problem 31 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 21 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05
time (sec) N/A 0.031 0.403 0.458 0.000 0.596 0.000 0.000 0.000
Problem 32 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 374 366 530 649 0 0 0 0 -1
normalized size 1 0.98 1.42 1.74 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.751 1.464 0.494 0.000 0.557 0.000 0.000 0.000
Problem 33 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 190 186 268 285 0 0 0 0 -1
normalized size 1 0.98 1.41 1.50 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.475 0.795 0.327 0.000 0.578 0.000 0.000 0.000
Problem 34 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 21 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05
time (sec) N/A 0.031 10.171 0.284 0.000 0.559 0.000 0.000 0.000
Problem 35 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 21 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05
time (sec) N/A 0.032 103.177 0.446 0.000 0.520 0.000 0.000 0.000
Problem 36 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 82 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.383 6.703 4.036 0.000 0.746 0.000 0.000 0.000
Problem 37 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 80 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.322 0.197 4.226 0.000 1.003 0.000 0.000 0.000
Problem 38 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 125 125 177 0 0 0 0 0 -1
normalized size 1 1.00 1.42 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.081 0.235 4.839 0.000 0.615 0.000 0.000 0.000
Problem 39 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 21 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05
time (sec) N/A 0.030 0.387 1.755 0.000 0.639 0.000 0.000 0.000
Problem 40 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 21 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05
time (sec) N/A 0.029 0.838 1.498 0.000 0.691 0.000 0.000 0.000
Problem 41 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 370 370 216 255 385 250 503 316 -1
normalized size 1 1.00 0.58 0.69 1.04 0.68 1.36 0.85 -0.00
time (sec) N/A 0.459 0.306 0.031 0.325 0.898 16.256 0.333 0.000
Problem 42 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 267 267 154 176 257 179 328 214 -1
normalized size 1 1.00 0.58 0.66 0.96 0.67 1.23 0.80 -0.00
time (sec) N/A 0.350 0.208 0.013 0.407 0.463 6.163 0.380 0.000
Problem 43 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 181 181 103 113 154 121 199 134 -1
normalized size 1 1.00 0.57 0.62 0.85 0.67 1.10 0.74 -0.01
time (sec) N/A 0.189 0.162 0.011 0.310 1.319 2.104 0.308 0.000
Problem 44 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 84 84 60 62 74 71 90 70 -1
normalized size 1 1.00 0.71 0.74 0.88 0.85 1.07 0.83 -0.01
time (sec) N/A 0.071 0.064 0.010 0.312 0.568 0.509 0.310 0.000
Problem 45 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 481 481 375 214 0 0 0 0 -1
normalized size 1 1.00 0.78 0.44 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.758 0.401 1.503 0.000 0.947 0.000 0.000 0.000
Problem 46 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 774 774 687 1632 0 0 0 0 -1
normalized size 1 1.00 0.89 2.11 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.101 1.377 3.402 0.000 0.571 0.000 0.000 0.000
Problem 47 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 19 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05
time (sec) N/A 0.031 3.051 0.312 0.000 0.522 0.000 0.000 0.000
Problem 48 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 19 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05
time (sec) N/A 0.027 1.974 0.386 0.000 0.683 0.000 0.000 0.000
Problem 49 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F(-2) A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 96 96 551 0 0 296 0 82 -1
normalized size 1 1.00 5.74 0.00 0.00 3.08 0.00 0.85 -0.01
time (sec) N/A 0.193 3.228 0.326 0.000 0.593 0.000 0.617 0.000
Problem 50 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F(-2) B F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 180 180 609 0 0 613 0 190 -1
normalized size 1 1.00 3.38 0.00 0.00 3.41 0.00 1.06 -0.01
time (sec) N/A 0.176 2.214 0.322 0.000 0.718 0.000 0.596 0.000
Problem 51 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F(-2) B F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 269 269 655 0 0 1098 0 411 -1
normalized size 1 1.00 2.43 0.00 0.00 4.08 0.00 1.53 -0.00
time (sec) N/A 0.805 3.515 0.346 0.000 0.897 0.000 0.761 0.000
Problem 52 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F(-2) B F(-1) B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 369 369 844 0 0 1752 0 876 -1
normalized size 1 1.00 2.29 0.00 0.00 4.75 0.00 2.37 -0.00
time (sec) N/A 1.014 6.273 0.323 0.000 1.264 0.000 1.192 0.000
Problem 53 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 713 713 491 1213 0 0 0 0 -1
normalized size 1 1.00 0.69 1.70 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.484 1.971 1.085 0.000 0.606 0.000 0.000 0.000
Problem 54 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 479 479 356 855 0 0 0 0 -1
normalized size 1 1.00 0.74 1.78 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.176 1.207 0.943 0.000 0.679 0.000 0.000 0.000
Problem 55 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 255 255 251 461 0 0 0 0 -1
normalized size 1 1.00 0.98 1.81 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.546 1.052 0.728 0.000 0.624 0.000 0.000 0.000
Problem 56 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F(-2) F F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 785 785 1121 1072 0 0 0 0 -1
normalized size 1 1.00 1.43 1.37 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 3.379 4.027 0.623 0.000 0.712 0.000 0.000 0.000
Problem 57 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F(-2) F F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 918 918 1139 1956 0 0 0 0 -1
normalized size 1 1.00 1.24 2.13 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 3.561 7.311 0.933 0.000 0.626 0.000 0.000 0.000
Problem 58 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 1029 1029 901 1638 0 0 0 0 -1
normalized size 1 1.00 0.88 1.59 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 2.057 4.448 1.149 0.000 0.956 0.000 0.000 0.000
Problem 59 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 725 725 623 1177 0 0 0 0 -1
normalized size 1 1.00 0.86 1.62 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.693 2.800 1.039 0.000 0.606 0.000 0.000 0.000
Problem 60 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 398 398 432 656 0 0 0 0 -1
normalized size 1 1.00 1.09 1.65 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.757 1.612 0.768 0.000 0.704 0.000 0.000 0.000
Problem 61 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F C A F(-2) F F F(-2) F
verified N/A N/A NO TBD TBD TBD TBD TBD TBD
size 1270 0 3068 1965 0 0 0 0 -1
normalized size 1 0.00 2.42 1.55 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 3.853 11.693 0.637 0.000 0.528 0.000 0.000 0.000
Problem 62 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F(-1) F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 1385 1385 1802 2116 0 0 0 0 -1
normalized size 1 1.00 1.30 1.53 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 2.518 7.976 1.233 0.000 0.763 0.000 0.000 0.000
Problem 63 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F(-1) F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 1015 1015 1282 1540 0 0 0 0 -1
normalized size 1 1.00 1.26 1.52 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 2.106 7.391 1.130 0.000 0.576 0.000 0.000 0.000
Problem 64 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F(-1) F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 568 568 644 877 0 0 0 0 -1
normalized size 1 1.00 1.13 1.54 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.905 6.206 0.896 0.000 0.611 0.000 0.000 0.000
Problem 65 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F(-2) F F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 1744 1744 6244 4234 0 0 0 0 -1
normalized size 1 1.00 3.58 2.43 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 4.779 18.358 0.749 0.000 0.657 0.000 0.000 0.000
Problem 66 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 478 478 405 859 0 0 0 0 -1
normalized size 1 1.00 0.85 1.80 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.288 2.094 1.043 0.000 0.628 0.000 0.000 0.000
Problem 67 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 288 288 267 559 0 0 0 0 -1
normalized size 1 1.00 0.93 1.94 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.914 1.588 0.820 0.000 1.077 0.000 0.000 0.000
Problem 68 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 136 136 172 239 0 0 0 0 -1
normalized size 1 1.00 1.26 1.76 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.472 0.696 0.655 0.000 0.580 0.000 0.000 0.000
Problem 69 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 365 365 932 754 0 0 0 0 -1
normalized size 1 1.00 2.55 2.07 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.703 1.866 0.398 0.000 0.670 0.000 0.000 0.000
Problem 70 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 523 523 1115 1978 0 0 0 0 -1
normalized size 1 1.00 2.13 3.78 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.836 5.844 0.785 0.000 0.659 0.000 0.000 0.000
Problem 71 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 549 549 353 1238 0 0 0 0 -1
normalized size 1 1.00 0.64 2.26 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.599 1.952 0.921 0.000 1.591 0.000 0.000 0.000
Problem 72 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 459 459 281 879 0 0 0 0 -1
normalized size 1 1.00 0.61 1.92 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.267 1.082 0.867 0.000 1.516 0.000 0.000 0.000
Problem 73 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 142 178 123 498 0 0 0 0 -1
normalized size 1 1.25 0.87 3.51 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.307 0.386 0.664 0.000 2.246 0.000 0.000 0.000
Problem 74 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 773 773 1203 1926 0 0 0 0 -1
normalized size 1 1.00 1.56 2.49 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.857 9.735 0.626 0.000 0.794 0.000 0.000 0.000
Problem 75 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 239 239 204 0 0 0 0 0 -1
normalized size 1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.471 0.661 0.736 0.000 0.682 0.000 0.000 0.000
Problem 76 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F(-2) F
verified N/A NO NO TBD TBD TBD TBD TBD TBD
size 200 242 204 0 0 0 0 0 -1
normalized size 1 1.21 1.02 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.625 0.257 0.861 0.000 0.753 0.000 0.000 0.000
Problem 77 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F(-2) F
verified N/A NO NO TBD TBD TBD TBD TBD TBD
size 260 248 219 0 0 0 0 0 -1
normalized size 1 0.95 0.84 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.695 2.167 1.170 0.000 1.171 0.000 0.000 0.000
Problem 78 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A F(-1) F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 75 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.955 0.182 4.481 0.000 0.724 0.000 0.000 0.000
Problem 79 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F F F F(-2) F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 774 774 0 0 0 0 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.599 4.500 4.522 0.000 0.499 0.000 0.000 0.000
Problem 80 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 600 600 0 0 0 0 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.129 1.940 4.146 0.000 0.485 0.000 0.000 0.000
Problem 81 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 237 237 246 0 0 0 0 0 -1
normalized size 1 1.00 1.04 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.346 0.021 0.216 0.000 0.596 0.000 0.000 0.000
Problem 82 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 75 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 1.063 0.316 2.562 0.000 0.699 0.000 0.000 0.000
Problem 83 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 152 152 121 308 321 110 255 163 -1
normalized size 1 1.00 0.80 2.03 2.11 0.72 1.68 1.07 -0.01
time (sec) N/A 0.187 0.190 0.031 0.335 0.523 1.385 0.812 0.000
Problem 84 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 104 104 101 207 212 91 170 132 -1
normalized size 1 1.00 0.97 1.99 2.04 0.88 1.63 1.27 -0.01
time (sec) N/A 0.119 0.127 0.013 0.498 0.633 0.673 1.846 0.000
Problem 85 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 90 90 87 120 151 75 104 112 -1
normalized size 1 1.00 0.97 1.33 1.68 0.83 1.16 1.24 -0.01
time (sec) N/A 0.064 0.076 0.011 0.335 0.739 0.290 1.911 0.000
Problem 86 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 41 41 56 36 30 57 46 93 266
normalized size 1 1.00 1.37 0.88 0.73 1.39 1.12 2.27 6.49
time (sec) N/A 0.016 0.039 0.002 0.301 0.540 0.153 5.936 3.998
Problem 87 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 131 131 153 436 0 0 0 0 -1
normalized size 1 1.00 1.17 3.33 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.249 0.014 0.232 0.000 0.717 0.000 0.000 0.000
Problem 88 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F(-2) B F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 64 64 83 97 0 322 0 73 -1
normalized size 1 1.00 1.30 1.52 0.00 5.03 0.00 1.14 -0.02
time (sec) N/A 0.083 0.116 0.018 0.000 0.695 0.000 0.402 0.000
Problem 89 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F(-2) B F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 106 106 136 181 0 460 0 170 -1
normalized size 1 1.00 1.28 1.71 0.00 4.34 0.00 1.60 -0.01
time (sec) N/A 0.102 0.286 0.019 0.000 0.679 0.000 0.526 0.000
Problem 90 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F(-2) B F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 154 154 162 397 0 566 0 340 -1
normalized size 1 1.00 1.05 2.58 0.00 3.68 0.00 2.21 -0.01
time (sec) N/A 0.172 0.316 0.021 0.000 0.638 0.000 1.945 0.000
Problem 91 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 92 92 110 0 0 0 0 0 -1
normalized size 1 1.00 1.20 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.136 0.169 0.158 0.000 0.000 0.000 0.000 0.000
Problem 92 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 94 94 111 0 0 0 0 0 -1
normalized size 1 1.00 1.18 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.129 0.107 0.151 0.000 0.000 0.000 0.000 0.000
Problem 93 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B A B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 135 135 103 78 1241 279 527 822 -1
normalized size 1 1.00 0.76 0.58 9.19 2.07 3.90 6.09 -0.01
time (sec) N/A 0.086 0.126 0.025 0.388 0.514 3.251 5.612 0.000
Problem 94 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B A B F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 119 119 115 359 797 226 394 598 -1
normalized size 1 1.00 0.97 3.02 6.70 1.90 3.31 5.03 -0.01
time (sec) N/A 0.071 0.133 0.013 0.440 0.867 1.599 4.266 0.000
Problem 95 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B A B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 97 97 71 67 449 168 258 406 -1
normalized size 1 1.00 0.73 0.69 4.63 1.73 2.66 4.19 -0.01
time (sec) N/A 0.063 0.076 0.007 0.500 0.515 0.729 3.733 0.000
Problem 96 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A A B F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 75 75 81 162 203 110 148 245 -1
normalized size 1 1.00 1.08 2.16 2.71 1.47 1.97 3.27 -0.01
time (sec) N/A 0.039 0.164 0.006 0.308 0.492 0.315 3.723 0.000
Problem 97 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 46 46 61 41 35 65 51 100 272
normalized size 1 1.00 1.33 0.89 0.76 1.41 1.11 2.17 5.91
time (sec) N/A 0.024 0.051 0.002 0.341 0.601 0.151 1.903 3.962
Problem 98 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A NO NO TBD TBD TBD TBD TBD TBD
size 81 81 69 111 0 0 0 0 -1
normalized size 1 1.00 0.85 1.37 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.107 0.069 0.090 0.000 0.666 0.000 0.000 0.000
Problem 99 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 56 56 78 88 80 133 0 0 -1
normalized size 1 1.00 1.39 1.57 1.43 2.38 0.00 0.00 -0.02
time (sec) N/A 0.052 0.137 0.007 0.545 0.824 0.000 0.000 0.000
Problem 100 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 66 66 55 65 118 117 0 0 -1
normalized size 1 1.00 0.83 0.98 1.79 1.77 0.00 0.00 -0.02
time (sec) N/A 0.054 0.061 0.006 0.618 0.470 0.000 0.000 0.000
Problem 101 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 99 99 101 120 0 276 0 0 -1
normalized size 1 1.00 1.02 1.21 0.00 2.79 0.00 0.00 -0.01
time (sec) N/A 0.065 0.234 0.009 0.000 0.984 0.000 0.000 0.000
Problem 102 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 104 104 86 76 260 208 0 0 -1
normalized size 1 1.00 0.83 0.73 2.50 2.00 0.00 0.00 -0.01
time (sec) N/A 0.069 0.081 0.009 0.562 0.508 0.000 0.000 0.000
Problem 103 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 137 137 136 152 0 416 0 0 -1
normalized size 1 1.00 0.99 1.11 0.00 3.04 0.00 0.00 -0.01
time (sec) N/A 0.087 0.233 0.006 0.000 0.779 0.000 0.000 0.000
Problem 104 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 218 218 220 218 0 618 1268 0 -1
normalized size 1 1.00 1.01 1.00 0.00 2.83 5.82 0.00 -0.00
time (sec) N/A 0.485 0.335 0.044 0.000 0.660 7.033 0.000 0.000
Problem 105 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 186 186 212 822 0 481 916 0 -1
normalized size 1 1.00 1.14 4.42 0.00 2.59 4.92 0.00 -0.01
time (sec) N/A 0.436 0.274 0.042 0.000 0.590 4.317 0.000 0.000
Problem 106 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 150 150 168 167 0 358 610 0 -1
normalized size 1 1.00 1.12 1.11 0.00 2.39 4.07 0.00 -0.01
time (sec) N/A 0.323 0.237 0.040 0.000 0.525 1.778 0.000 0.000
Problem 107 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 110 110 167 334 0 233 335 0 -1
normalized size 1 1.00 1.52 3.04 0.00 2.12 3.05 0.00 -0.01
time (sec) N/A 0.251 0.229 0.036 0.000 0.661 0.821 0.000 0.000
Problem 108 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 64 64 105 100 0 141 143 0 -1
normalized size 1 1.00 1.64 1.56 0.00 2.20 2.23 0.00 -0.02
time (sec) N/A 0.125 0.088 0.053 0.000 0.629 0.305 0.000 0.000
Problem 109 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A NO NO TBD TBD TBD TBD TBD TBD
size 118 117 140 263 0 0 0 0 -1
normalized size 1 0.99 1.19 2.23 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.190 0.422 0.054 0.000 1.595 0.000 0.000 0.000
Problem 110 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 110 110 161 290 0 0 0 0 -1
normalized size 1 1.00 1.46 2.64 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.243 0.771 0.170 0.000 0.622 0.000 0.000 0.000
Problem 111 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 92 92 81 194 229 320 0 0 -1
normalized size 1 1.00 0.88 2.11 2.49 3.48 0.00 0.00 -0.01
time (sec) N/A 0.214 0.207 0.273 0.694 0.679 0.000 0.000 0.000
Problem 112 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 186 186 251 381 0 0 0 0 -1
normalized size 1 1.00 1.35 2.05 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.387 1.024 0.312 0.000 0.636 0.000 0.000 0.000
Problem 113 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 382 382 404 450 0 1074 2518 0 -1
normalized size 1 1.00 1.06 1.18 0.00 2.81 6.59 0.00 -0.00
time (sec) N/A 0.723 0.611 0.051 0.000 0.723 16.245 0.000 0.000
Problem 114 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 307 307 359 1554 0 828 1828 0 -1
normalized size 1 1.00 1.17 5.06 0.00 2.70 5.95 0.00 -0.00
time (sec) N/A 0.625 0.560 0.051 0.000 0.698 9.573 0.000 0.000
Problem 115 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 262 262 296 326 0 607 1173 0 -1
normalized size 1 1.00 1.13 1.24 0.00 2.32 4.48 0.00 -0.00
time (sec) N/A 0.472 0.426 0.046 0.000 2.082 4.723 0.000 0.000
Problem 116 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 175 175 244 605 0 395 685 0 -1
normalized size 1 1.00 1.39 3.46 0.00 2.26 3.91 0.00 -0.01
time (sec) N/A 0.359 0.319 0.044 0.000 0.856 1.997 0.000 0.000
Problem 117 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 114 114 168 180 0 239 282 0 -1
normalized size 1 1.00 1.47 1.58 0.00 2.10 2.47 0.00 -0.01
time (sec) N/A 0.184 0.186 0.056 0.000 0.572 0.766 0.000 0.000
Problem 118 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F F
verified N/A NO NO TBD TBD TBD TBD TBD TBD
size 159 159 217 471 0 0 0 0 -1
normalized size 1 1.00 1.36 2.96 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.216 0.572 0.073 0.000 1.017 0.000 0.000 0.000
Problem 119 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 186 186 327 0 0 0 0 0 -1
normalized size 1 1.00 1.76 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.362 1.184 0.225 0.000 0.624 0.000 0.000 0.000
Problem 120 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F F
verified N/A NO NO TBD TBD TBD TBD TBD TBD
size 164 164 266 375 0 0 0 0 -1
normalized size 1 1.00 1.62 2.29 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.369 1.113 0.291 0.000 0.809 0.000 0.000 0.000
Problem 121 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 297 297 504 0 0 0 0 0 -1
normalized size 1 1.00 1.70 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.594 2.384 0.507 0.000 2.161 0.000 0.000 0.000
Problem 122 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 377 377 562 2465 0 1236 2876 0 -1
normalized size 1 1.00 1.49 6.54 0.00 3.28 7.63 0.00 -0.00
time (sec) N/A 1.174 0.888 0.053 0.000 0.746 19.271 0.000 0.000
Problem 123 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 309 309 475 517 0 890 1889 0 -1
normalized size 1 1.00 1.54 1.67 0.00 2.88 6.11 0.00 -0.00
time (sec) N/A 0.835 0.637 0.069 0.000 0.541 9.094 0.000 0.000
Problem 124 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 209 209 360 933 0 579 1027 0 -1
normalized size 1 1.00 1.72 4.46 0.00 2.77 4.91 0.00 -0.00
time (sec) N/A 0.562 0.492 0.041 0.000 0.799 4.516 0.000 0.000
Problem 125 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B F B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 129 129 261 275 0 344 444 0 -1
normalized size 1 1.00 2.02 2.13 0.00 2.67 3.44 0.00 -0.01
time (sec) N/A 0.284 0.272 0.058 0.000 0.687 1.598 0.000 0.000
Problem 126 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F F
verified N/A NO NO TBD TBD TBD TBD TBD TBD
size 192 192 308 727 0 0 0 0 -1
normalized size 1 1.00 1.60 3.79 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.266 0.800 0.074 0.000 0.641 0.000 0.000 0.000
Problem 127 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 264 264 872 0 0 0 0 0 -1
normalized size 1 1.00 3.30 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.413 2.522 0.221 0.000 0.753 0.000 0.000 0.000
Problem 128 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B F F F F F
verified N/A NO NO TBD TBD TBD TBD TBD TBD
size 195 195 398 605 0 0 0 0 -1
normalized size 1 1.00 2.04 3.10 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.426 2.308 0.294 0.000 1.343 0.000 0.000 0.000
Problem 129 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 432 432 1374 0 0 0 0 0 -1
normalized size 1 1.00 3.18 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.842 9.356 0.478 0.000 0.681 0.000 0.000 0.000
Problem 130 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 213 209 151 194 0 0 0 0 -1
normalized size 1 0.98 0.71 0.91 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.429 0.248 0.401 0.000 0.604 0.000 0.000 0.000
Problem 131 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 145 145 109 134 0 0 0 0 -1
normalized size 1 1.00 0.75 0.92 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.334 0.184 0.339 0.000 1.590 0.000 0.000 0.000
Problem 132 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 141 137 102 130 0 0 0 0 -1
normalized size 1 0.97 0.72 0.92 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.298 0.157 0.192 0.000 0.676 0.000 0.000 0.000
Problem 133 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 69 69 61 66 0 0 0 0 -1
normalized size 1 1.00 0.88 0.96 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.160 0.083 0.034 0.000 0.747 0.000 0.000 0.000
Problem 134 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 49 60 0 0 0 0 -1
normalized size 1 1.00 0.84 1.03 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.090 0.115 0.030 0.000 0.541 0.000 0.000 0.000
Problem 135 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 27 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.064 0.878 0.259 0.000 0.685 0.000 0.000 0.000
Problem 136 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 263 259 293 665 0 0 0 0 -1
normalized size 1 0.98 1.11 2.53 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.394 1.972 0.408 0.000 0.728 0.000 0.000 0.000
Problem 137 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 195 195 230 418 0 0 0 0 -1
normalized size 1 1.00 1.18 2.14 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.298 2.580 0.372 0.000 0.806 0.000 0.000 0.000
Problem 138 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 191 187 150 374 0 0 0 0 -1
normalized size 1 0.98 0.79 1.96 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.276 1.957 0.217 0.000 0.773 0.000 0.000 0.000
Problem 139 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 110 110 108 170 0 0 0 0 -1
normalized size 1 1.00 0.98 1.55 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.148 0.489 0.050 0.000 0.603 0.000 0.000 0.000
Problem 140 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 98 94 143 139 0 0 0 0 -1
normalized size 1 0.96 1.46 1.42 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.252 1.029 0.042 0.000 0.796 0.000 0.000 0.000
Problem 141 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 27 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.062 7.766 0.232 0.000 0.632 0.000 0.000 0.000
Problem 142 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-1) F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 327 323 323 993 0 0 0 0 -1
normalized size 1 0.99 0.99 3.04 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.111 1.281 0.450 0.000 0.712 0.000 0.000 0.000
Problem 143 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-1) F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 254 254 186 624 0 0 0 0 -1
normalized size 1 1.00 0.73 2.46 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.899 0.559 0.399 0.000 0.876 0.000 0.000 0.000
Problem 144 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-1) F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 252 311 223 557 0 0 0 0 -1
normalized size 1 1.23 0.88 2.21 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.799 0.692 0.237 0.000 0.640 0.000 0.000 0.000
Problem 145 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-1) F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 163 163 127 254 0 0 0 0 -1
normalized size 1 1.00 0.78 1.56 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.509 0.326 0.061 0.000 0.605 0.000 0.000 0.000
Problem 146 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 132 132 109 207 0 0 0 0 -1
normalized size 1 1.00 0.83 1.57 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.260 0.420 0.064 0.000 1.465 0.000 0.000 0.000
Problem 147 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A F(-1) A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 27 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.064 1.744 0.240 0.000 0.754 0.000 0.000 0.000
Problem 148 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-1) F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 431 427 424 1375 0 0 0 0 -1
normalized size 1 0.99 0.98 3.19 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.104 2.013 0.471 0.000 0.920 0.000 0.000 0.000
Problem 149 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-1) F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 360 360 330 860 0 0 0 0 -1
normalized size 1 1.00 0.92 2.39 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.887 1.304 0.419 0.000 0.788 0.000 0.000 0.000
Problem 150 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-1) F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 352 348 272 777 0 0 0 0 -1
normalized size 1 0.99 0.77 2.21 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.965 1.326 0.261 0.000 0.861 0.000 0.000 0.000
Problem 151 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-1) F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 218 218 195 353 0 0 0 0 -1
normalized size 1 1.00 0.89 1.62 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.511 1.032 0.070 0.000 0.797 0.000 0.000 0.000
Problem 152 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-1) F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 174 170 144 295 0 0 0 0 -1
normalized size 1 0.98 0.83 1.70 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.445 0.673 0.074 0.000 0.776 0.000 0.000 0.000
Problem 153 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A F(-1) A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 27 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.061 14.554 0.256 0.000 0.796 0.000 0.000 0.000
Problem 154 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-2) F F(-2) F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 361 361 342 0 0 0 0 0 -1
normalized size 1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.951 0.740 180.000 0.000 0.000 0.000 0.000 0.000
Problem 155 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-2) F F(-2) F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 272 272 223 0 0 0 0 0 -1
normalized size 1 1.00 0.82 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.793 0.536 180.000 0.000 0.000 0.000 0.000 0.000
Problem 156 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-2) F F(-2) F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 245 245 237 0 0 0 0 0 -1
normalized size 1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.759 0.511 180.000 0.000 0.000 0.000 0.000 0.000
Problem 157 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F(-2) F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 164 164 437 0 0 0 0 0 -1
normalized size 1 1.00 2.66 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.575 2.517 0.158 0.000 0.000 0.000 0.000 0.000
Problem 158 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 115 115 110 0 0 0 0 0 -1
normalized size 1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.350 0.225 0.140 0.000 0.000 0.000 0.000 0.000
Problem 159 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A F(-2) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 29 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03
time (sec) N/A 0.087 2.268 0.255 0.000 0.000 0.000 0.000 0.000
Problem 160 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-2) F F(-2) F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 374 374 558 0 0 0 0 0 -1
normalized size 1 1.00 1.49 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.412 3.953 180.000 0.000 0.000 0.000 0.000 0.000
Problem 161 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-2) F F(-2) F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 342 342 592 0 0 0 0 0 -1
normalized size 1 1.00 1.73 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.110 2.509 180.000 0.000 0.000 0.000 0.000 0.000
Problem 162 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F(-2) F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 212 212 1144 0 0 0 0 0 -1
normalized size 1 1.00 5.40 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.687 7.940 0.161 0.000 0.000 0.000 0.000 0.000
Problem 163 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 157 157 290 0 0 0 0 0 -1
normalized size 1 1.00 1.85 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.363 0.760 0.144 0.000 0.000 0.000 0.000 0.000
Problem 164 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A F(-2) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 29 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03
time (sec) N/A 0.102 1.553 0.275 0.000 0.000 0.000 0.000 0.000
Problem 165 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F(-2) F F(-2) F(-1) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 469 469 968 0 0 0 0 0 -1
normalized size 1 1.00 2.06 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 2.239 11.219 180.000 0.000 0.000 0.000 0.000 0.000
Problem 166 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F(-2) F F(-2) F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 408 408 1008 0 0 0 0 0 -1
normalized size 1 1.00 2.47 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.751 9.307 180.000 0.000 0.000 0.000 0.000 0.000
Problem 167 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F(-2) F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 269 269 1846 0 0 0 0 0 -1
normalized size 1 1.00 6.86 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.108 9.263 0.164 0.000 0.000 0.000 0.000 0.000
Problem 168 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 186 186 494 0 0 0 0 0 -1
normalized size 1 1.00 2.66 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.609 3.557 0.145 0.000 0.000 0.000 0.000 0.000
Problem 169 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A F(-2) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 29 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03
time (sec) N/A 0.101 1.139 0.291 0.000 0.000 0.000 0.000 0.000
Problem 170 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F(-2) F F(-2) F(-1) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 509 509 1523 0 0 0 0 0 -1
normalized size 1 1.00 2.99 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 2.142 14.065 180.000 0.000 0.000 0.000 0.000 0.000
Problem 171 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F(-1) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 319 319 288 0 0 0 0 0 -1
normalized size 1 1.00 0.90 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.276 5.750 0.203 0.000 0.000 0.000 0.000 0.000
Problem 172 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F(-2) F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 230 230 765 0 0 0 0 0 -1
normalized size 1 1.00 3.33 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.642 7.508 0.143 0.000 0.000 0.000 0.000 0.000
Problem 173 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A F(-2) F(-1) A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 29 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03
time (sec) N/A 0.101 1.209 0.270 0.000 0.000 0.000 0.000 0.000
Problem 174 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-2) F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 326 326 319 0 0 0 0 0 -1
normalized size 1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.622 0.640 180.000 0.000 0.000 0.000 0.000 0.000
Problem 175 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-2) F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 217 217 205 0 0 0 0 0 -1
normalized size 1 1.00 0.94 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.456 0.412 180.000 0.000 0.000 0.000 0.000 0.000
Problem 176 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-2) F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 214 214 216 0 0 0 0 0 -1
normalized size 1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.459 0.380 180.000 0.000 0.000 0.000 0.000 0.000
Problem 177 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 113 113 306 0 0 0 0 0 -1
normalized size 1 1.00 2.71 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.237 1.429 0.165 0.000 0.000 0.000 0.000 0.000
Problem 178 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 92 92 110 0 0 0 0 0 -1
normalized size 1 1.00 1.20 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.129 0.110 0.000 0.000 0.000 0.000 0.000 0.000
Problem 179 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A F(-2) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 29 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03
time (sec) N/A 0.094 0.081 0.282 0.000 0.000 0.000 0.000 0.000
Problem 180 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-2) F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 374 374 396 0 0 0 0 0 -1
normalized size 1 1.00 1.06 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.644 1.536 180.000 0.000 0.000 0.000 0.000 0.000
Problem 181 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-2) F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 269 269 265 0 0 0 0 0 -1
normalized size 1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.449 1.015 180.000 0.000 0.000 0.000 0.000 0.000
Problem 182 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-2) F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 262 262 265 0 0 0 0 0 -1
normalized size 1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.450 1.628 180.000 0.000 0.000 0.000 0.000 0.000
Problem 183 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 155 155 314 0 0 0 0 0 -1
normalized size 1 1.00 2.03 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.225 6.712 0.146 0.000 0.000 0.000 0.000 0.000
Problem 184 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 128 128 145 0 0 0 0 0 -1
normalized size 1 1.00 1.13 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.354 0.182 0.147 0.000 0.000 0.000 0.000 0.000
Problem 185 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A F(-2) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 29 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03
time (sec) N/A 0.104 0.090 0.301 0.000 0.000 0.000 0.000 0.000
Problem 186 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-2) F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 444 444 615 0 0 0 0 0 -1
normalized size 1 1.00 1.39 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.765 3.656 180.000 0.000 0.000 0.000 0.000 0.000
Problem 187 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-2) F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 333 333 391 0 0 0 0 0 -1
normalized size 1 1.00 1.17 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.441 2.465 180.000 0.000 0.000 0.000 0.000 0.000
Problem 188 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-2) F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 328 328 391 0 0 0 0 0 -1
normalized size 1 1.00 1.19 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.237 3.039 180.000 0.000 0.000 0.000 0.000 0.000
Problem 189 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 216 216 687 0 0 0 0 0 -1
normalized size 1 1.00 3.18 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.780 5.484 0.146 0.000 0.000 0.000 0.000 0.000
Problem 190 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 165 165 219 0 0 0 0 0 -1
normalized size 1 1.00 1.33 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.409 1.206 0.141 0.000 0.000 0.000 0.000 0.000
Problem 191 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A F(-2) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 29 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03
time (sec) N/A 0.108 0.100 0.284 0.000 0.000 0.000 0.000 0.000
Problem 192 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-2) F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 552 552 654 0 0 0 0 0 -1
normalized size 1 1.00 1.18 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.776 5.073 180.000 0.000 0.000 0.000 0.000 0.000
Problem 193 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-2) F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 441 441 445 0 0 0 0 0 -1
normalized size 1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.406 3.104 180.000 0.000 0.000 0.000 0.000 0.000
Problem 194 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-2) F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 431 431 452 0 0 0 0 0 -1
normalized size 1 1.00 1.05 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.475 2.920 180.000 0.000 0.000 0.000 0.000 0.000
Problem 195 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 266 266 916 0 0 0 0 0 -1
normalized size 1 1.00 3.44 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.784 4.769 0.148 0.000 0.000 0.000 0.000 0.000
Problem 196 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 209 209 243 0 0 0 0 0 -1
normalized size 1 1.00 1.16 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.627 0.807 0.143 0.000 0.000 0.000 0.000 0.000
Problem 197 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A F(-2) F(-1) A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 29 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03
time (sec) N/A 0.103 0.099 0.286 0.000 0.000 0.000 0.000 0.000
Problem 198 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 189 189 150 277 0 0 0 0 -1
normalized size 1 1.00 0.79 1.47 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.144 0.371 0.053 0.000 0.606 0.000 0.000 0.000
Problem 199 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 169 169 180 218 0 0 0 0 -1
normalized size 1 1.00 1.07 1.29 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.133 0.276 0.026 0.000 1.441 0.000 0.000 0.000
Problem 200 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 145 145 109 254 0 0 0 0 -1
normalized size 1 1.00 0.75 1.75 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.111 0.487 0.021 0.000 0.618 0.000 0.000 0.000
Problem 201 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 127 127 131 194 0 0 0 0 -1
normalized size 1 1.00 1.03 1.53 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.097 0.462 0.018 0.000 0.656 0.000 0.000 0.000
Problem 202 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 104 104 94 138 0 0 0 0 -1
normalized size 1 1.00 0.90 1.33 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.088 0.191 0.020 0.000 0.675 0.000 0.000 0.000
Problem 203 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 84 84 92 119 0 0 0 0 -1
normalized size 1 1.00 1.10 1.42 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.084 0.165 0.018 0.000 0.628 0.000 0.000 0.000
Problem 204 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 150 150 94 269 0 0 0 0 -1
normalized size 1 1.00 0.63 1.79 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.121 0.146 0.029 0.000 0.755 0.000 0.000 0.000
Problem 205 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 130 130 94 201 0 0 0 0 -1
normalized size 1 1.00 0.72 1.55 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.111 0.159 0.029 0.000 0.531 0.000 0.000 0.000
Problem 206 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-2) F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 153 165 140 0 0 0 0 0 -1
normalized size 1 1.08 0.92 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.321 0.542 180.000 0.000 0.783 0.000 0.000 0.000
Problem 207 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-2) F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 153 165 140 0 0 0 0 0 -1
normalized size 1 1.08 0.92 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.328 0.482 180.000 0.000 0.805 0.000 0.000 0.000
Problem 208 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-2) F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 153 165 140 0 0 0 0 0 -1
normalized size 1 1.08 0.92 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.326 0.489 180.000 0.000 0.768 0.000 0.000 0.000
Problem 209 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-2) F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 153 165 140 0 0 0 0 0 -1
normalized size 1 1.08 0.92 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.316 0.434 180.000 0.000 0.726 0.000 0.000 0.000
Problem 210 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-2) F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 151 163 140 0 0 0 0 0 -1
normalized size 1 1.08 0.93 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.289 0.300 180.000 0.000 0.703 0.000 0.000 0.000
Problem 211 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-2) F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 149 161 140 0 0 0 0 0 -1
normalized size 1 1.08 0.94 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.304 0.302 180.000 0.000 0.900 0.000 0.000 0.000
Problem 212 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-2) F F F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 153 165 140 0 0 0 0 0 -1
normalized size 1 1.08 0.92 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.312 0.343 180.000 0.000 0.548 0.000 0.000 0.000
Problem 213 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-2) F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 153 165 140 0 0 0 0 0 -1
normalized size 1 1.08 0.92 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.317 0.364 180.000 0.000 1.558 0.000 0.000 0.000
Problem 214 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A F(-2) A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 89 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.320 107.335 180.000 0.000 0.884 0.000 0.000 0.000
Problem 215 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A F(-1) F(-2) A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 87 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.311 180.001 180.000 0.000 0.777 0.000 0.000 0.000
Problem 216 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A F(-2) A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 85 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.287 24.046 180.000 0.000 0.545 0.000 0.000 0.000
Problem 217 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A F(-2) A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 85 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.303 32.213 180.000 0.000 0.594 0.000 0.000 0.000
Problem 218 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A F(-2) A A A F(-2) A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 87 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.322 36.884 180.000 0.000 0.773 0.000 0.000 0.000
Problem 219 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A F(-2) A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 89 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.324 123.320 180.000 0.000 1.601 0.000 0.000 0.000
Problem 220 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A F(-2) A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 89 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.315 75.451 180.000 0.000 0.732 0.000 0.000 0.000
Problem 221 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A F(-1) F(-2) A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 89 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.309 180.000 180.000 0.000 0.568 0.000 0.000 0.000
Problem 222 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A F(-2) A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 85 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.280 15.193 180.000 0.000 0.645 0.000 0.000 0.000
Problem 223 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A F(-2) A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 85 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.293 39.126 180.000 0.000 1.672 0.000 0.000 0.000
Problem 224 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A F(-2) A A A F(-2) A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 89 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.315 39.123 180.000 0.000 0.725 0.000 0.000 0.000
Problem 225 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A F(-2) A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 89 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.314 175.703 180.000 0.000 0.929 0.000 0.000 0.000
Problem 226 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 94 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.290 4.116 2.653 0.000 0.595 0.000 0.000 0.000
Problem 227 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 94 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.294 1.984 2.543 0.000 0.644 0.000 0.000 0.000
Problem 228 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 206 218 178 0 0 0 0 0 -1
normalized size 1 1.06 0.86 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.319 0.427 2.997 0.000 0.517 0.000 0.000 0.000
Problem 229 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 118 124 106 0 0 0 0 0 -1
normalized size 1 1.05 0.90 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.099 0.202 2.694 0.000 0.759 0.000 0.000 0.000
Problem 230 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 25 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.061 1.252 1.182 0.000 0.700 0.000 0.000 0.000
Problem 231 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 54 54 50 0 0 0 0 0 -1
normalized size 1 1.00 0.93 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.067 0.047 0.080 0.000 1.009 0.000 0.000 0.000
Problem 232 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 117 117 79 75 56 40 0 60 -1
normalized size 1 1.00 0.68 0.64 0.48 0.34 0.00 0.51 -0.01
time (sec) N/A 0.070 0.058 0.033 0.505 0.590 0.000 1.211 0.000
Problem 233 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 86 86 74 65 46 35 0 55 -1
normalized size 1 1.00 0.86 0.76 0.53 0.41 0.00 0.64 -0.01
time (sec) N/A 0.050 0.042 0.004 0.377 0.618 0.000 0.640 0.000
Problem 234 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 50 50 64 49 33 28 29 47 40
normalized size 1 1.00 1.28 0.98 0.66 0.56 0.58 0.94 0.80
time (sec) N/A 0.031 0.025 0.005 0.620 0.830 0.257 1.463 1.429
Problem 235 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 46 46 46 65 0 0 0 0 -1
normalized size 1 1.00 1.00 1.41 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.064 0.038 0.090 0.000 1.327 0.000 0.000 0.000
Problem 236 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 40 40 40 29 19 26 0 45 -1
normalized size 1 1.00 1.00 0.72 0.48 0.65 0.00 1.12 -0.02
time (sec) N/A 0.026 0.016 0.003 1.300 0.580 0.000 0.688 0.000
Problem 237 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 76 76 49 35 30 32 0 62 -1
normalized size 1 1.00 0.64 0.46 0.39 0.42 0.00 0.82 -0.01
time (sec) N/A 0.041 0.029 0.003 0.805 0.622 0.000 1.534 0.000
Problem 238 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 24 24 46 38 17 72 0 22 23
normalized size 1 1.00 1.92 1.58 0.71 3.00 0.00 0.92 0.96
time (sec) N/A 0.009 0.049 0.022 0.799 1.015 0.000 0.230 0.369
Problem 239 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 60 60 179 91 0 0 0 0 -1
normalized size 1 1.00 2.98 1.52 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.065 0.511 0.021 0.000 0.000 0.000 0.000 0.000
Problem 240 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F B F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 145 145 264 0 0 298 0 0 -1
normalized size 1 1.00 1.82 0.00 0.00 2.06 0.00 0.00 -0.01
time (sec) N/A 0.036 0.233 0.141 0.000 0.593 0.000 0.000 0.000
Problem 241 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 125 125 171 0 0 210 0 0 -1
normalized size 1 1.00 1.37 0.00 0.00 1.68 0.00 0.00 -0.01
time (sec) N/A 0.063 0.128 0.115 0.000 0.725 0.000 0.000 0.000
Problem 242 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 104 0 128 131 0 0 -1
normalized size 1 1.00 1.44 0.00 1.78 1.82 0.00 0.00 -0.01
time (sec) N/A 0.014 0.067 0.118 0.744 0.689 0.000 0.000 0.000
Problem 243 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 49 49 37 37 44 63 0 62 32
normalized size 1 1.00 0.76 0.76 0.90 1.29 0.00 1.27 0.65
time (sec) N/A 0.039 0.066 0.008 0.949 0.583 0.000 0.201 0.591
Problem 244 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 98 98 118 0 0 0 0 0 -1
normalized size 1 1.00 1.20 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.032 0.139 0.069 0.000 0.758 0.000 0.000 0.000
Problem 245 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 150 150 130 0 0 0 0 0 -1
normalized size 1 1.00 0.87 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.022 0.928 0.087 0.000 0.605 0.000 0.000 0.000
Problem 246 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 180 180 152 0 0 0 0 0 -1
normalized size 1 1.00 0.84 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.038 0.477 0.069 0.000 0.618 0.000 0.000 0.000
Problem 247 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F B F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 147 147 264 0 0 298 0 0 -1
normalized size 1 1.00 1.80 0.00 0.00 2.03 0.00 0.00 -0.01
time (sec) N/A 0.034 0.240 0.120 0.000 0.607 0.000 0.000 0.000
Problem 248 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F B F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 110 110 171 0 0 210 0 0 -1
normalized size 1 1.00 1.55 0.00 0.00 1.91 0.00 0.00 -0.01
time (sec) N/A 0.046 0.131 0.117 0.000 0.684 0.000 0.000 0.000
Problem 249 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 73 73 104 0 128 131 0 0 -1
normalized size 1 1.00 1.42 0.00 1.75 1.79 0.00 0.00 -0.01
time (sec) N/A 0.014 0.066 0.117 0.588 0.480 0.000 0.000 0.000
Problem 250 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 33 33 33 37 44 63 0 67 32
normalized size 1 1.00 1.00 1.12 1.33 1.91 0.00 2.03 0.97
time (sec) N/A 0.017 0.027 0.005 0.649 1.216 0.000 0.239 1.525
Problem 251 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 98 98 86 0 0 0 0 0 -1
normalized size 1 1.00 0.88 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.015 0.143 0.074 0.000 0.694 0.000 0.000 0.000
Problem 252 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 150 150 141 0 0 0 0 0 -1
normalized size 1 1.00 0.94 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.019 0.746 0.071 0.000 0.561 0.000 0.000 0.000
Problem 253 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 181 181 168 0 0 0 0 0 -1
normalized size 1 1.00 0.93 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.033 0.688 0.069 0.000 0.843 0.000 0.000 0.000
Problem 254 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 280 280 311 0 0 0 0 0 -1
normalized size 1 1.00 1.11 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.109 3.607 0.069 0.000 0.000 0.000 0.000 0.000
Problem 255 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 238 238 254 0 0 0 0 0 -1
normalized size 1 1.00 1.07 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.097 0.723 0.069 0.000 0.000 0.000 0.000 0.000
Problem 256 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 205 205 210 0 0 0 0 0 -1
normalized size 1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.026 0.307 0.069 0.000 0.000 0.000 0.000 0.000
Problem 257 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 165 165 166 0 0 0 0 0 -1
normalized size 1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.025 0.314 0.072 0.000 0.000 0.000 0.000 0.000
Problem 258 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 213 213 242 0 0 0 0 0 -1
normalized size 1 1.00 1.14 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.043 1.110 0.069 0.000 0.000 0.000 0.000 0.000
Problem 259 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 252 252 273 0 0 0 0 0 -1
normalized size 1 1.00 1.08 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.072 1.042 0.069 0.000 0.000 0.000 0.000 0.000
Problem 260 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 301 301 291 0 0 0 0 0 -1
normalized size 1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.077 1.339 0.069 0.000 0.000 0.000 0.000 0.000
Problem 261 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 281 281 277 0 0 0 0 0 -1
normalized size 1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.059 1.676 0.071 0.000 0.000 0.000 0.000 0.000
Problem 262 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 239 239 221 0 0 0 0 0 -1
normalized size 1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.054 0.652 0.072 0.000 0.000 0.000 0.000 0.000
Problem 263 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 206 206 178 0 0 0 0 0 -1
normalized size 1 1.00 0.86 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.026 0.308 0.071 0.000 0.000 0.000 0.000 0.000
Problem 264 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 166 166 134 0 0 0 0 0 -1
normalized size 1 1.00 0.81 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.026 0.280 0.072 0.000 0.000 0.000 0.000 0.000
Problem 265 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 212 212 209 0 0 0 0 0 -1
normalized size 1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.027 1.053 0.069 0.000 0.000 0.000 0.000 0.000
Problem 266 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 253 253 238 0 0 0 0 0 -1
normalized size 1 1.00 0.94 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.055 0.905 0.070 0.000 0.000 0.000 0.000 0.000
Problem 267 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 302 302 260 0 0 0 0 0 -1
normalized size 1 1.00 0.86 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.060 1.084 0.069 0.000 0.000 0.000 0.000 0.000
Problem 268 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A F(-1) F(-2) A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 43 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.051 0.145 0.585 0.000 0.717 0.000 0.000 0.000
Problem 269 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F B F F F F(-2) F
verified N/A NO N/A TBD TBD TBD TBD TBD TBD
size 265 265 0 870 0 0 0 0 -1
normalized size 1 1.00 0.00 3.28 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.221 0.396 0.903 0.000 0.525 0.000 0.000 0.000
Problem 270 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F A F F F F(-2) F
verified N/A NO N/A TBD TBD TBD TBD TBD TBD
size 196 197 0 491 0 0 0 0 -1
normalized size 1 1.01 0.00 2.51 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.195 1.065 0.010 0.000 0.622 0.000 0.000 0.000
Problem 271 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F A F F F F(-2) F
verified N/A NO N/A TBD TBD TBD TBD TBD TBD
size 133 133 0 207 0 0 0 0 -1
normalized size 1 1.00 0.00 1.56 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.119 3.163 0.008 0.000 0.458 0.000 0.000 0.000
Problem 272 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A F(-1) F(-2) A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 43 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.046 0.139 0.373 0.000 0.522 0.000 0.000 0.000
Problem 273 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A F(-1) F(-2) A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 43 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.044 5.335 0.353 0.000 0.558 0.000 0.000 0.000
Problem 274 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F A F F(-2) F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 76 76 0 115 0 0 0 0 -1
normalized size 1 1.00 0.00 1.51 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.073 0.720 0.007 0.000 0.000 0.000 0.000 0.000
Problem 275 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C B A F B B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 165 165 138 376 495 133 0 564 1408
normalized size 1 1.00 0.84 2.28 3.00 0.81 0.00 3.42 8.53
time (sec) N/A 0.161 0.099 0.045 0.326 0.778 0.000 0.249 69.812
Problem 276 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A A F B B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 115 115 119 288 275 112 0 417 1067
normalized size 1 1.00 1.03 2.50 2.39 0.97 0.00 3.63 9.28
time (sec) N/A 0.121 0.139 0.012 0.319 0.551 0.000 0.247 33.479
Problem 277 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A A F B B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 67 67 93 194 177 88 0 280 852
normalized size 1 1.00 1.39 2.90 2.64 1.31 0.00 4.18 12.72
time (sec) N/A 0.070 0.168 0.009 0.310 0.625 0.000 0.510 16.716
Problem 278 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B B A F B B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 31 31 69 147 143 66 0 151 79
normalized size 1 1.00 2.23 4.74 4.61 2.13 0.00 4.87 2.55
time (sec) N/A 0.017 0.031 0.015 0.309 0.527 0.000 0.260 0.175
Problem 279 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F(-2) A F A B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 100 100 141 156 0 246 0 103 8883
normalized size 1 1.00 1.41 1.56 0.00 2.46 0.00 1.03 88.83
time (sec) N/A 0.092 0.102 0.013 0.000 0.980 0.000 0.232 23.408
Problem 280 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F(-2) A F B B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 109 109 140 237 0 334 0 200 3029
normalized size 1 1.00 1.28 2.17 0.00 3.06 0.00 1.83 27.79
time (sec) N/A 0.074 0.167 0.016 0.000 0.496 0.000 0.247 15.820
Problem 281 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F(-2) A F(-1) B B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 138 138 142 236 0 338 0 326 958
normalized size 1 1.00 1.03 1.71 0.00 2.45 0.00 2.36 6.94
time (sec) N/A 0.109 0.266 0.016 0.000 0.468 0.000 0.333 14.149
Problem 282 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F(-2) A F(-1) B B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 189 189 179 374 0 431 0 487 1537
normalized size 1 1.00 0.95 1.98 0.00 2.28 0.00 2.58 8.13
time (sec) N/A 0.156 0.168 0.014 0.000 2.073 0.000 0.699 18.889
Problem 283 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F(-2) A F(-1) B B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 238 238 198 603 0 569 0 817 2347
normalized size 1 1.00 0.83 2.53 0.00 2.39 0.00 3.43 9.86
time (sec) N/A 0.201 0.279 0.016 0.000 0.947 0.000 1.001 28.031
Problem 284 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 359 359 198 0 0 0 0 0 -1
normalized size 1 1.00 0.55 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.738 0.398 0.010 0.000 0.687 0.000 0.000 0.000
Problem 285 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 251 251 136 0 0 0 0 0 -1
normalized size 1 1.00 0.54 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.493 0.228 0.008 0.000 0.672 0.000 0.000 0.000
Problem 286 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 117 117 76 0 0 0 0 0 -1
normalized size 1 1.00 0.65 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.278 0.139 0.007 0.000 0.645 0.000 0.000 0.000
Problem 287 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 65 65 42 0 0 0 0 0 -1
normalized size 1 1.00 0.65 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.054 0.038 0.003 0.000 0.518 0.000 0.000 0.000
Problem 288 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 17 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06
time (sec) N/A 0.040 0.152 0.007 0.000 0.623 0.000 0.000 0.000
Problem 289 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 17 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06
time (sec) N/A 0.039 0.473 0.007 0.000 0.539 0.000 0.000 0.000
Problem 290 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 60 60 53 85 0 0 0 0 -1
normalized size 1 1.00 0.88 1.42 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.090 0.045 0.065 0.000 0.745 0.000 0.000 0.000
Problem 291 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 3 3 19 78 0 0 0 0 -1
normalized size 1 1.00 6.33 26.00 0.00 0.00 0.00 0.00 -0.33
time (sec) N/A 0.121 0.063 0.422 0.000 0.609 0.000 0.000 0.000
Problem 292 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 54 54 50 45 37 66 61 106 295
normalized size 1 1.00 0.93 0.83 0.69 1.22 1.13 1.96 5.46
time (sec) N/A 0.052 0.036 0.003 0.304 0.507 0.788 0.192 4.683
Problem 293 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A B A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 55 55 50 0 39 152 76 124 303
normalized size 1 1.00 0.91 0.00 0.71 2.76 1.38 2.25 5.51
time (sec) N/A 0.054 0.048 0.043 0.303 0.710 58.148 0.732 1.068
Problem 294 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A F B F B B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 58 58 180 91 0 276 0 119 53
normalized size 1 1.00 3.10 1.57 0.00 4.76 0.00 2.05 0.91
time (sec) N/A 0.093 0.557 0.049 0.000 0.623 0.000 13.041 1.512
Problem 295 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F B F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 62 62 62 0 0 108 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 1.74 0.00 0.00 -0.02
time (sec) N/A 0.119 0.200 0.304 0.000 0.654 0.000 0.000 0.000
Problem 296 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F A F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 54 54 54 0 0 33 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.61 0.00 0.00 -0.02
time (sec) N/A 0.109 0.095 0.278 0.000 1.591 0.000 0.000 0.000

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 [65] had the largest ratio of [1.000]

Table 2.1:Rubi 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 5 1.00 12 0.417
2 A 4 4 1.00 12 0.333
3 A 4 4 1.00 10 0.400
4 A 8 5 1.00 12 0.417
5 A 3 3 1.00 12 0.250
6 A 4 4 1.00 12 0.333
7 A 6 6 1.00 12 0.500
8 A 18 7 1.00 14 0.500
9 A 13 7 1.00 14 0.500
10 A 9 7 1.00 12 0.583
11 A 10 6 1.00 14 0.429
12 A 10 7 1.00 14 0.500
13 A 13 10 1.00 14 0.714
14 A 5 5 1.00 16 0.312
15 A 4 4 1.00 16 0.250
16 A 4 4 1.00 14 0.286
17 A 8 5 1.00 16 0.312
18 A 3 3 1.00 16 0.188
19 A 4 4 1.00 16 0.250
20 A 6 6 1.00 16 0.375
21 A 18 7 1.00 18 0.389
22 A 13 7 1.00 18 0.389
23 A 9 7 1.00 16 0.438
24 A 10 6 1.00 18 0.333
25 A 10 7 1.00 18 0.389
26 A 13 10 1.00 18 0.556
27 A 27 7 1.00 18 0.389
28 A 17 6 1.00 18 0.333
29 A 11 7 1.00 16 0.438
30 A 0 0 0.00 0 0.000
31 A 0 0 0.00 0 0.000
32 A 19 7 0.98 18 0.389
33 A 11 7 0.98 16 0.438
34 A 0 0 0.00 0 0.000
35 A 0 0 0.00 0 0.000
36 A 0 0 0.00 0 0.000
37 A 0 0 0.00 0 0.000
38 A 3 3 1.00 16 0.188
39 A 0 0 0.00 0 0.000
40 A 0 0 0.00 0 0.000
41 A 6 6 1.00 14 0.429
42 A 6 6 1.00 14 0.429
43 A 6 6 1.00 14 0.429
44 A 3 3 1.00 12 0.250
45 A 18 6 1.00 14 0.429
46 A 26 9 1.00 14 0.643
47 A 0 0 0.00 0 0.000
48 A 0 0 0.00 0 0.000
49 A 7 8 1.00 16 0.500
50 A 8 10 1.00 16 0.625
51 A 9 11 1.00 16 0.688
52 A 10 12 1.00 16 0.750
53 A 16 12 1.00 31 0.387
54 A 13 8 1.00 31 0.258
55 A 8 6 1.00 29 0.207
56 A 23 22 1.00 31 0.710
57 A 38 22 1.00 31 0.710
58 A 24 17 1.00 31 0.548
59 A 20 12 1.00 31 0.387
60 A 12 9 1.00 29 0.310
61 F 0 0 N/A 0 N/A
62 A 30 20 1.00 31 0.645
63 A 26 15 1.00 31 0.484
64 A 14 10 1.00 29 0.345
65 A 38 31 1.00 31 1.000
66 A 13 7 1.00 31 0.226
67 A 9 7 1.00 31 0.226
68 A 6 5 1.00 29 0.172
69 A 10 7 1.00 31 0.226
70 A 13 10 1.00 31 0.323
71 A 19 14 1.00 31 0.452
72 A 17 12 1.00 31 0.387
73 A 5 6 1.25 29 0.207
74 A 25 17 1.00 31 0.548
75 A 7 5 1.00 30 0.167
76 A 7 5 1.21 35 0.143
77 A 7 5 0.95 37 0.135
78 A 0 0 0.00 0 0.000
79 A 14 11 1.00 35 0.314
80 A 12 10 1.00 33 0.303
81 A 9 7 1.00 25 0.280
82 A 0 0 0.00 0 0.000
83 A 6 6 1.00 10 0.600
84 A 5 5 1.00 10 0.500
85 A 5 5 1.00 8 0.625
86 A 3 3 1.00 6 0.500
87 A 9 6 1.00 10 0.600
88 A 4 4 1.00 10 0.400
89 A 5 5 1.00 10 0.500
90 A 7 7 1.00 10 0.700
91 A 7 6 1.00 14 0.429
92 A 7 6 1.00 15 0.400
93 A 8 5 1.00 21 0.238
94 A 7 6 1.00 21 0.286
95 A 6 5 1.00 21 0.238
96 A 5 5 1.00 19 0.263
97 A 4 3 1.00 10 0.300
98 A 7 7 1.00 21 0.333
99 A 5 5 1.00 21 0.238
100 A 4 4 1.00 21 0.190
101 A 6 6 1.00 21 0.286
102 A 6 5 1.00 21 0.238
103 A 8 6 1.00 21 0.286
104 A 9 7 1.00 23 0.304
105 A 8 6 1.00 23 0.261
106 A 7 7 1.00 23 0.304
107 A 6 6 1.00 21 0.286
108 A 4 4 1.00 12 0.333
109 A 8 8 0.99 23 0.348
110 A 9 7 1.00 23 0.304
111 A 5 5 1.00 23 0.217
112 A 11 9 1.00 23 0.391
113 A 19 8 1.00 23 0.348
114 A 14 8 1.00 23 0.348
115 A 12 8 1.00 23 0.348
116 A 8 7 1.00 21 0.333
117 A 6 4 1.00 12 0.333
118 A 9 9 1.00 23 0.391
119 A 11 8 1.00 23 0.348
120 A 9 9 1.00 23 0.391
121 A 15 11 1.00 23 0.478
122 A 16 6 1.00 23 0.261
123 A 13 8 1.00 23 0.348
124 A 9 6 1.00 21 0.286
125 A 6 4 1.00 12 0.333
126 A 10 9 1.00 23 0.391
127 A 13 9 1.00 23 0.391
128 A 10 10 1.00 23 0.435
129 A 21 12 1.00 23 0.522
130 A 14 7 0.98 23 0.304
131 A 11 7 1.00 23 0.304
132 A 11 7 0.97 23 0.304
133 A 8 7 1.00 21 0.333
134 A 5 5 1.00 12 0.417
135 A 0 0 0.00 0 0.000
136 A 13 6 0.98 23 0.261
137 A 10 6 1.00 23 0.261
138 A 10 6 0.98 23 0.261
139 A 6 6 1.00 21 0.286
140 A 6 6 0.96 12 0.500
141 A 0 0 0.00 0 0.000
142 A 26 9 0.99 23 0.391
143 A 20 9 1.00 23 0.391
144 A 18 10 1.23 23 0.435
145 A 11 10 1.00 21 0.476
146 A 7 7 1.00 12 0.583
147 A 0 0 0.00 0 0.000
148 A 24 8 0.99 23 0.348
149 A 17 8 1.00 23 0.348
150 A 18 10 0.99 23 0.435
151 A 9 9 1.00 21 0.429
152 A 8 7 0.98 12 0.583
153 A 0 0 0.00 0 0.000
154 A 21 9 1.00 25 0.360
155 A 16 9 1.00 25 0.360
156 A 16 9 1.00 25 0.360
157 A 11 9 1.00 23 0.391
158 A 8 7 1.00 14 0.500
159 A 0 0 0.00 0 0.000
160 A 27 11 1.00 25 0.440
161 A 24 12 1.00 25 0.480
162 A 13 11 1.00 23 0.478
163 A 9 8 1.00 14 0.571
164 A 0 0 0.00 0 0.000
165 A 29 11 1.00 25 0.440
166 A 26 12 1.00 25 0.480
167 A 14 11 1.00 23 0.478
168 A 10 8 1.00 14 0.571
169 A 0 0 0.00 0 0.000
170 A 35 13 1.00 25 0.520
171 A 16 11 1.00 23 0.478
172 A 11 8 1.00 14 0.571
173 A 0 0 0.00 0 0.000
174 A 20 8 1.00 25 0.320
175 A 15 8 1.00 25 0.320
176 A 15 8 1.00 25 0.320
177 A 10 8 1.00 23 0.348
178 A 7 6 1.00 14 0.429
179 A 0 0 0.00 0 0.000
180 A 19 7 1.00 25 0.280
181 A 14 7 1.00 25 0.280
182 A 14 7 1.00 25 0.280
183 A 8 7 1.00 23 0.304
184 A 8 7 1.00 14 0.500
185 A 0 0 0.00 0 0.000
186 A 36 10 1.00 25 0.400
187 A 26 10 1.00 25 0.400
188 A 24 11 1.00 25 0.440
189 A 13 11 1.00 23 0.478
190 A 9 8 1.00 14 0.571
191 A 0 0 0.00 0 0.000
192 A 34 9 1.00 25 0.360
193 A 23 9 1.00 25 0.360
194 A 24 11 1.00 25 0.440
195 A 11 10 1.00 23 0.435
196 A 10 8 1.00 14 0.571
197 A 0 0 0.00 0 0.000
198 A 8 6 1.00 23 0.261
199 A 8 6 1.00 23 0.261
200 A 6 6 1.00 23 0.261
201 A 6 6 1.00 23 0.261
202 A 4 4 1.00 23 0.174
203 A 4 4 1.00 23 0.174
204 A 7 7 1.00 23 0.304
205 A 7 7 1.00 23 0.304
206 A 3 3 1.08 25 0.120
207 A 3 3 1.08 25 0.120
208 A 3 3 1.08 25 0.120
209 A 3 3 1.08 25 0.120
210 A 3 3 1.08 25 0.120
211 A 3 3 1.08 25 0.120
212 A 3 3 1.08 25 0.120
213 A 3 3 1.08 25 0.120
214 A 0 0 0.00 0 0.000
215 A 0 0 0.00 0 0.000
216 A 0 0 0.00 0 0.000
217 A 0 0 0.00 0 0.000
218 A 0 0 0.00 0 0.000
219 A 0 0 0.00 0 0.000
220 A 0 0 0.00 0 0.000
221 A 0 0 0.00 0 0.000
222 A 0 0 0.00 0 0.000
223 A 0 0 0.00 0 0.000
224 A 0 0 0.00 0 0.000
225 A 0 0 0.00 0 0.000
226 A 0 0 0.00 0 0.000
227 A 0 0 0.00 0 0.000
228 A 3 3 1.06 23 0.130
229 A 5 5 1.05 21 0.238
230 A 0 0 0.00 0 0.000
231 A 5 5 1.00 10 0.500
232 A 7 5 1.00 10 0.500
233 A 6 5 1.00 8 0.625
234 A 5 5 1.00 6 0.833
235 A 5 5 1.00 10 0.500
236 A 3 3 1.00 10 0.300
237 A 4 4 1.00 10 0.400
238 A 3 3 1.00 4 0.750
239 A 5 5 1.00 10 0.500
240 A 3 2 1.00 14 0.143
241 A 6 5 1.00 14 0.357
242 A 2 2 1.00 14 0.143
243 A 5 4 1.00 12 0.333
244 A 1 1 1.00 14 0.071
245 A 1 1 1.00 14 0.071
246 A 2 2 1.00 14 0.143
247 A 3 2 1.00 14 0.143
248 A 5 4 1.00 14 0.286
249 A 2 2 1.00 14 0.143
250 A 4 3 1.00 12 0.250
251 A 1 1 1.00 14 0.071
252 A 1 1 1.00 14 0.071
253 A 2 2 1.00 14 0.143
254 A 2 2 1.00 16 0.125
255 A 2 2 1.00 16 0.125
256 A 1 1 1.00 16 0.062
257 A 1 1 1.00 16 0.062
258 A 1 1 1.00 16 0.062
259 A 2 2 1.00 16 0.125
260 A 2 2 1.00 16 0.125
261 A 2 2 1.00 16 0.125
262 A 2 2 1.00 16 0.125
263 A 1 1 1.00 16 0.062
264 A 1 1 1.00 16 0.062
265 A 1 1 1.00 16 0.062
266 A 2 2 1.00 16 0.125
267 A 2 2 1.00 16 0.125
268 A 0 0 0.00 0 0.000
269 A 8 8 1.00 40 0.200
270 A 7 7 1.01 40 0.175
271 A 6 7 1.00 38 0.184
272 A 0 0 0.00 0 0.000
273 A 0 0 0.00 0 0.000
274 A 6 6 1.00 10 0.600
275 A 5 4 1.00 12 0.333
276 A 5 4 1.00 12 0.333
277 A 5 4 1.00 10 0.400
278 A 5 4 1.00 8 0.500
279 A 9 8 1.00 12 0.667
280 A 9 8 1.00 12 0.667
281 A 7 5 1.00 12 0.417
282 A 8 6 1.00 12 0.500
283 A 10 7 1.00 12 0.583
284 A 37 8 1.00 14 0.571
285 A 27 8 1.00 14 0.571
286 A 17 8 1.00 12 0.667
287 A 7 4 1.00 10 0.400
288 A 0 0 0.00 0 0.000
289 A 0 0 0.00 0 0.000
290 A 7 7 1.00 19 0.368
291 A 2 2 1.00 20 0.100
292 A 4 4 1.00 12 0.333
293 A 4 4 1.00 14 0.286
294 A 5 5 1.00 10 0.500
295 A 2 2 1.00 26 0.077
296 A 2 2 1.00 26 0.077

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