[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, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300 }

B grade: { }

C grade: { }

F grade: { }

2.1.2 Mathematica

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 27, 28, 29, 30, 31, 32, 33, 35, 36, 37, 38, 39, 40, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 67, 68, 69, 71, 72, 76, 77, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 96, 97, 99, 102, 103, 104, 105, 106, 107, 108, 110, 111, 120, 121, 122, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 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, 211, 212, 213, 214, 216, 217, 218, 219, 220, 221, 222, 223, 225, 226, 227, 228, 230, 232, 233, 234, 235, 236, 237, 239, 240, 241, 243, 244, 245, 247, 249, 250, 251, 252, 253, 254, 256, 257, 258, 260, 261, 262, 264, 266, 267, 268, 270, 271, 272, 273, 274, 278, 280, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300 }

B grade: { 41, 70, 95, 98, 100, 101, 109, 139, 150, 210, 215, 224, 229, 231, 238, 242, 246, 248, 255, 259, 263, 275, 276, 279, 281, 283 }

C grade: { 24, 26, 34, 66, 73, 74, 75, 78, 79, 112, 113, 114, 115, 116, 118, 265, 282 }

F grade: { 117, 119, 123, 124, 269, 277 }

2.1.3 Maple

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 15, 35, 36, 37, 38, 42, 43, 48, 49, 50, 51, 52, 53, 54, 57, 58, 60, 64, 65, 66, 67, 68, 72, 74, 75, 77, 78, 80, 81, 83, 84, 85, 87, 88, 89, 90, 91, 92, 94, 95, 97, 98, 99, 100, 101, 105, 106, 107, 108, 113, 120, 121, 122, 125, 126, 127, 133, 134, 135, 140, 151, 162, 171, 180, 189, 197, 198, 199, 200, 206, 211, 216, 220, 225, 230, 235, 239, 243, 247, 252, 256, 260, 264, 280, 282, 283, 284, 285, 286, 288, 289, 292, 293, 298 }

B grade: { 12, 14, 16, 17, 19, 20, 21, 22, 28, 39, 40, 41, 56, 59, 61, 62, 63, 69, 70, 71, 76, 82, 86, 96, 102, 103, 104, 109, 110, 111, 116, 123, 124, 129, 130, 131, 185, 194, 195, 196, 205, 210, 215, 219, 224, 229, 234, 238, 242, 246, 251, 255, 259, 263, 287, 290, 291, 294 }

C grade: { 18, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 55, 73, 79, 93, 112, 114, 115, 117, 118, 128, 132, 136, 137, 138, 139, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 152, 153, 154, 155, 156, 157, 159, 160, 161, 163, 167, 168, 169, 170, 176, 177, 178, 179, 186, 187, 188, 193, 201, 202, 203, 204, 207, 208, 209, 212, 213, 214, 217, 218, 221, 222, 223, 226, 227, 228, 231, 232, 233, 236, 237, 240, 241, 244, 245, 248, 249, 250, 253, 254, 257, 258, 261, 262, 265, 266, 267, 268, 269, 272, 273, 274, 278, 295, 296, 297, 299, 300 }

F grade: { 44, 45, 46, 47, 119, 158, 164, 165, 166, 172, 173, 174, 175, 181, 182, 183, 184, 190, 191, 192, 270, 271, 275, 276, 277, 279, 281 }

2.1.4 Maxima

A grade: { 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14, 15, 20, 21, 23, 35, 36, 37, 38, 39, 40, 42, 43, 50, 51, 52, 53, 54, 57, 58, 60, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 74, 75, 77, 78, 83, 84, 85, 87, 88, 89, 90, 91, 92, 94, 96, 97, 99, 103, 104, 105, 107, 108, 110, 120, 121, 122, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 142, 143, 144, 145, 146, 147, 148, 149, 150, 154, 155, 156, 157, 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, 235, 239, 243, 247, 252, 256, 260, 264, 268, 280, 284, 285, 287, 288, 289, 290, 291, 292, 293, 294, 296, 297, 298, 299 }

B grade: { 7, 16, 17, 19, 22, 25, 27, 31, 33, 41, 44, 45, 46, 47, 55, 56, 59, 61, 86, 93, 95, 98, 100, 101, 102, 109, 140, 151, 234, 238, 240, 241, 242, 244, 245, 246, 251, 255, 257, 258, 259, 261, 262, 263, 283, 286, 295, 300 }

C grade: { 76, 79, 141, 152, 153, 159, 160, 161, 162, 163, 164, 165, 167, 168, 169, 170, 171, 172, 173, 174, 176, 177, 178, 179, 180, 181, 182, 183, 185, 186, 187, 188, 189, 266, 267, 269, 272, 273, 274 }

F grade: { 18, 24, 26, 28, 29, 30, 32, 34, 48, 49, 73, 80, 81, 82, 106, 111, 112, 113, 114, 115, 116, 117, 118, 119, 123, 124, 125, 158, 166, 175, 184, 190, 191, 192, 231, 232, 233, 236, 237, 248, 249, 250, 253, 254, 265, 270, 271, 275, 276, 277, 278, 279, 281, 282 }

2.1.5 FriCAS

A grade: { 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 14, 16, 20, 22, 35, 36, 37, 38, 42, 43, 50, 51, 52, 55, 58, 59, 60, 61, 62, 63, 64, 65, 67, 68, 83, 84, 85, 87, 88, 89, 90, 91, 92, 94, 96, 97, 99, 104, 105, 120, 121, 122, 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, 152, 153, 154, 155, 156, 157, 159, 160, 163, 193, 194, 195, 196, 197, 198, 199, 206, 211, 216, 220, 225, 230, 235, 239, 243, 247, 252, 256, 259, 260, 263, 264, 266, 267, 268, 272, 273, 274, 280, 289, 292, 293, 296, 297, 298, 299 }

B grade: { 44, 45, 46, 47, 53, 54, 57, 95, 102, 103, 107, 108, 151, 161, 162, 164, 165, 167, 168, 169, 170, 171, 172, 173, 174, 176, 177, 178, 179, 180, 181, 182, 183, 185, 186, 187, 188, 189, 200, 205, 210, 215, 219, 224, 229, 234, 238, 242, 246, 251, 255, 283, 286, 294, 295, 300 }

C grade: { 201, 202, 203, 204, 207, 208, 209, 212, 213, 214, 217, 218, 221, 222, 223, 226, 227, 228, 231, 232, 233, 236, 237, 240, 241, 244, 245, 248, 249, 250, 253, 254, 257, 258, 261, 262, 265, 284, 285, 287, 288, 290, 291 }

F grade: { 7, 13, 15, 17, 18, 19, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 39, 40, 41, 48, 49, 56, 66, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 86, 93, 98, 100, 101, 106, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 123, 124, 125, 158, 166, 175, 184, 190, 191, 192, 269, 270, 271, 275, 276, 277, 278, 279, 281, 282 }

2.1.6 Sympy

A grade: { 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 14, 16, 20, 22, 35, 36, 37, 38, 42, 43, 53, 54, 57, 58, 62, 63, 64, 65, 67, 68, 90, 94, 96, 97, 99, 102, 103, 104, 105, 107, 122, 126, 127, 129, 130, 131, 133, 134, 135, 137, 138, 139, 140, 143, 144, 145, 147, 148, 149, 150, 151, 155, 157, 189, 194, 195, 196, 198, 199, 206, 211, 216, 220, 225, 230, 235, 239, 243, 247, 252, 256, 260, 264, 266, 267, 268, 272, 273, 274, 292, 293, 297 }

B grade: { 60, 87, 88, 89, 91, 92, 156 }

C grade: { }

F grade: { 7, 13, 15, 17, 18, 19, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 39, 40, 41, 44, 45, 46, 47, 48, 49, 50, 51, 52, 55, 56, 59, 61, 66, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 93, 95, 98, 100, 101, 106, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 123, 124, 125, 128, 132, 136, 141, 142, 146, 152, 153, 154, 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, 190, 191, 192, 193, 197, 200, 201, 202, 203, 204, 205, 207, 208, 209, 210, 212, 213, 214, 215, 217, 218, 219, 221, 222, 223, 224, 226, 227, 228, 229, 231, 232, 233, 234, 236, 237, 238, 240, 241, 242, 244, 245, 246, 248, 249, 250, 251, 253, 254, 255, 257, 258, 259, 261, 262, 263, 265, 269, 270, 271, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 294, 295, 296, 298, 299, 300 }

2.1.7 Giac

A grade: { 42, 43, 54, 120, 121, 122, 126, 127, 194, 195, 196, 197, 198, 199, 206, 211, 216, 220, 225, 230, 235, 239, 243, 247, 252, 256, 260, 264, 280, 298 }

B grade: { }

C grade: { }

F 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, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 123, 124, 125, 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, 200, 201, 202, 203, 204, 205, 207, 208, 209, 210, 212, 213, 214, 215, 217, 218, 219, 221, 222, 223, 224, 226, 227, 228, 229, 231, 232, 233, 234, 236, 237, 238, 240, 241, 242, 244, 245, 246, 248, 249, 250, 251, 253, 254, 255, 257, 258, 259, 261, 262, 263, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 299, 300 }

2.1.8 Mupad

A grade: { 42, 43, 120, 121, 122, 126, 127, 206, 211, 216, 220, 225, 230, 235, 239, 243, 247, 252, 256, 260, 264, 280 }

B grade: { 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 14, 16, 20, 22, 35, 36, 37, 38, 53, 54, 55, 57, 58, 59, 60, 61, 62, 63, 64, 65, 67, 68, 83, 84, 85, 87, 88, 89, 91, 92, 94, 96, 97, 99, 102, 103, 104, 105, 107, 108, 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, 159, 160, 161, 162, 163, 164, 165, 167, 168, 169, 170, 171, 172, 173, 174, 176, 177, 178, 179, 180, 181, 182, 183, 185, 186, 187, 188, 189, 193, 194, 195, 196, 197, 198, 199, 266, 267, 268, 272, 273, 274, 292, 293, 294, 295, 296, 297, 298, 299, 300 }

C grade: { }

F grade: { 7, 13, 15, 17, 18, 19, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 39, 40, 41, 44, 45, 46, 47, 48, 49, 50, 51, 52, 56, 66, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 86, 90, 93, 95, 98, 100, 101, 106, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 123, 124, 125, 158, 166, 175, 184, 190, 191, 192, 200, 201, 202, 203, 204, 205, 207, 208, 209, 210, 212, 213, 214, 215, 217, 218, 219, 221, 222, 223, 224, 226, 227, 228, 229, 231, 232, 233, 234, 236, 237, 238, 240, 241, 242, 244, 245, 246, 248, 249, 250, 251, 253, 254, 255, 257, 258, 259, 261, 262, 263, 265, 269, 270, 271, 275, 276, 277, 278, 279, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291 }

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 A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 51 51 67 55 61 51 49 0 41
normalized size 1 1.00 1.31 1.08 1.20 1.00 0.96 0.00 0.80
time (sec) N/A 0.028 0.009 0.030 0.302 0.703 1.525 0.000 1.313
Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 50 50 50 49 46 55 54 0 43
normalized size 1 1.00 1.00 0.98 0.92 1.10 1.08 0.00 0.86
time (sec) N/A 0.037 0.009 0.034 0.300 0.584 1.180 0.000 1.267
Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 41 41 57 47 52 43 41 0 33
normalized size 1 1.00 1.39 1.15 1.27 1.05 1.00 0.00 0.80
time (sec) N/A 0.024 0.009 0.033 0.297 0.422 0.868 0.000 1.219
Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 40 40 40 41 35 44 46 0 35
normalized size 1 1.00 1.00 1.02 0.88 1.10 1.15 0.00 0.88
time (sec) N/A 0.030 0.008 0.030 0.305 0.519 0.665 0.000 1.225
Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 31 31 47 39 41 34 32 0 26
normalized size 1 1.00 1.52 1.26 1.32 1.10 1.03 0.00 0.84
time (sec) N/A 0.013 0.007 0.032 0.302 0.581 0.454 0.000 1.180
Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 25 25 25 23 25 33 27 0 22
normalized size 1 1.00 1.00 0.92 1.00 1.32 1.08 0.00 0.88
time (sec) N/A 0.007 0.003 0.044 0.301 0.611 0.332 0.000 1.149
Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 28 28 26 37 86 0 0 0 -1
normalized size 1 1.00 0.93 1.32 3.07 0.00 0.00 0.00 -0.04
time (sec) N/A 0.010 0.008 0.049 0.305 0.444 0.000 0.000 0.000
Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 30 30 30 35 30 39 26 0 27
normalized size 1 1.00 1.00 1.17 1.00 1.30 0.87 0.00 0.90
time (sec) N/A 0.021 0.008 0.037 0.305 0.449 0.375 0.000 1.163
Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 31 31 47 39 36 35 24 0 40
normalized size 1 1.00 1.52 1.26 1.16 1.13 0.77 0.00 1.29
time (sec) N/A 0.016 0.008 0.037 0.307 0.525 0.545 0.000 1.190
Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 47 47 47 48 40 50 46 0 39
normalized size 1 1.00 1.00 1.02 0.85 1.06 0.98 0.00 0.83
time (sec) N/A 0.030 0.009 0.039 0.310 1.044 0.736 0.000 1.183
Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 41 41 57 47 51 43 32 0 60
normalized size 1 1.00 1.39 1.15 1.24 1.05 0.78 0.00 1.46
time (sec) N/A 0.022 0.009 0.038 0.306 0.515 1.159 0.000 1.606
Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 105 105 80 196 135 98 114 0 85
normalized size 1 1.00 0.76 1.87 1.29 0.93 1.09 0.00 0.81
time (sec) N/A 0.246 0.022 0.059 0.305 0.531 3.307 0.000 1.365
Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 127 127 87 196 155 0 0 0 -1
normalized size 1 1.00 0.69 1.54 1.22 0.00 0.00 0.00 -0.01
time (sec) N/A 0.226 0.451 0.059 0.319 0.741 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 B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 81 81 62 176 118 81 90 0 65
normalized size 1 1.00 0.77 2.17 1.46 1.00 1.11 0.00 0.80
time (sec) N/A 0.163 0.019 0.058 0.320 0.532 1.443 0.000 1.265
Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 103 103 66 176 134 0 0 0 -1
normalized size 1 1.00 0.64 1.71 1.30 0.00 0.00 0.00 -0.01
time (sec) N/A 0.153 0.244 0.059 0.311 0.429 0.000 0.000 0.000
Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 54 54 43 155 97 62 60 0 44
normalized size 1 1.00 0.80 2.87 1.80 1.15 1.11 0.00 0.81
time (sec) N/A 0.078 0.012 0.060 0.316 0.531 0.783 0.000 1.209
Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 58 58 46 122 135 0 0 0 -1
normalized size 1 1.00 0.79 2.10 2.33 0.00 0.00 0.00 -0.02
time (sec) N/A 0.078 0.084 0.303 0.323 0.426 0.000 0.000 0.000
Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 97 97 114 487 0 0 0 0 -1
normalized size 1 1.00 1.18 5.02 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.232 0.058 0.683 0.000 0.380 0.000 0.000 0.000
Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 55 55 49 159 146 0 0 0 -1
normalized size 1 1.00 0.89 2.89 2.65 0.00 0.00 0.00 -0.02
time (sec) N/A 0.108 0.101 0.062 0.319 0.518 0.000 0.000 0.000
Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 61 61 57 164 96 79 56 0 145
normalized size 1 1.00 0.93 2.69 1.57 1.30 0.92 0.00 2.38
time (sec) N/A 0.099 0.016 0.063 0.311 0.548 1.577 0.000 1.447
Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 103 103 87 224 176 0 0 0 -1
normalized size 1 1.00 0.84 2.17 1.71 0.00 0.00 0.00 -0.01
time (sec) N/A 0.171 0.212 0.068 0.322 0.457 0.000 0.000 0.000
Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 90 90 82 185 154 97 90 0 196
normalized size 1 1.00 0.91 2.06 1.71 1.08 1.00 0.00 2.18
time (sec) N/A 0.172 0.021 0.065 0.322 0.657 2.636 0.000 1.550
Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 186 186 117 1141 289 0 0 0 -1
normalized size 1 1.00 0.63 6.13 1.55 0.00 0.00 0.00 -0.01
time (sec) N/A 0.717 0.535 3.610 0.327 1.266 0.000 0.000 0.000
Problem 24 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 196 196 175 806 0 0 0 0 -1
normalized size 1 1.00 0.89 4.11 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.580 0.588 2.917 0.000 1.954 0.000 0.000 0.000
Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C B F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 139 139 88 684 262 0 0 0 -1
normalized size 1 1.00 0.63 4.92 1.88 0.00 0.00 0.00 -0.01
time (sec) N/A 0.417 0.308 1.586 0.330 0.481 0.000 0.000 0.000
Problem 26 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 149 149 140 765 0 0 0 0 -1
normalized size 1 1.00 0.94 5.13 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.333 0.382 1.490 0.000 0.677 0.000 0.000 0.000
Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C B F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 95 95 68 3070 215 0 0 0 -1
normalized size 1 1.00 0.72 32.32 2.26 0.00 0.00 0.00 -0.01
time (sec) N/A 0.183 0.139 0.757 0.326 0.548 0.000 0.000 0.000
Problem 28 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 85 85 79 180 0 0 0 0 -1
normalized size 1 1.00 0.93 2.12 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.165 0.100 0.381 0.000 0.386 0.000 0.000 0.000
Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 150 150 156 564 0 0 0 0 -1
normalized size 1 1.00 1.04 3.76 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.350 0.076 0.549 0.000 0.474 0.000 0.000 0.000
Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 79 79 72 796 0 0 0 0 -1
normalized size 1 1.00 0.91 10.08 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.199 0.131 0.700 0.000 0.810 0.000 0.000 0.000
Problem 31 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C B F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 95 95 79 3673 252 0 0 0 -1
normalized size 1 1.00 0.83 38.66 2.65 0.00 0.00 0.00 -0.01
time (sec) N/A 0.219 0.168 0.862 0.335 0.557 0.000 0.000 0.000
Problem 32 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 154 154 142 895 0 0 0 0 -1
normalized size 1 1.00 0.92 5.81 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.369 0.217 2.412 0.000 0.636 0.000 0.000 0.000
Problem 33 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C B F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 141 141 118 661 342 0 0 0 -1
normalized size 1 1.00 0.84 4.69 2.43 0.00 0.00 0.00 -0.01
time (sec) N/A 0.464 0.238 1.495 0.340 0.510 0.000 0.000 0.000
Problem 34 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 164 164 565 926 0 0 0 0 -1
normalized size 1 1.00 3.45 5.65 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.034 7.804 1.286 0.000 0.546 0.000 0.000 0.000
Problem 35 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 245 245 213 334 276 247 427 0 296
normalized size 1 1.00 0.87 1.36 1.13 1.01 1.74 0.00 1.21
time (sec) N/A 0.181 0.116 0.041 0.307 0.563 6.987 0.000 1.509
Problem 36 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 169 169 150 233 198 177 282 0 190
normalized size 1 1.00 0.89 1.38 1.17 1.05 1.67 0.00 1.12
time (sec) N/A 0.127 0.083 0.034 0.306 0.599 4.748 0.000 1.519
Problem 37 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 110 110 98 148 131 118 182 0 115
normalized size 1 1.00 0.89 1.35 1.19 1.07 1.65 0.00 1.05
time (sec) N/A 0.133 0.052 0.036 0.304 0.455 2.127 0.000 1.370
Problem 38 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 57 57 69 76 65 64 87 0 60
normalized size 1 1.00 1.21 1.33 1.14 1.12 1.53 0.00 1.05
time (sec) N/A 0.066 0.011 0.037 0.303 0.494 1.064 0.000 1.274
Problem 39 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 390 390 671 785 406 0 0 0 -1
normalized size 1 1.00 1.72 2.01 1.04 0.00 0.00 0.00 -0.00
time (sec) N/A 0.947 1.391 0.678 0.537 0.521 0.000 0.000 0.000
Problem 40 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 590 590 755 2218 550 0 0 0 -1
normalized size 1 1.00 1.28 3.76 0.93 0.00 0.00 0.00 -0.00
time (sec) N/A 0.870 7.783 0.639 0.514 0.598 0.000 0.000 0.000
Problem 41 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B B F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 657 657 1846 4128 1084 0 0 0 -1
normalized size 1 1.00 2.81 6.28 1.65 0.00 0.00 0.00 -0.00
time (sec) N/A 0.951 12.947 0.837 0.584 0.800 0.000 0.000 0.000
Problem 42 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.021 26.742 1.267 0.000 0.503 0.000 0.000 0.000
Problem 43 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.023 4.384 1.008 0.000 0.425 0.000 0.000 0.000
Problem 44 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F B B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 62 62 119 0 153 354 0 0 -1
normalized size 1 1.00 1.92 0.00 2.47 5.71 0.00 0.00 -0.02
time (sec) N/A 0.113 0.112 0.937 0.340 0.504 0.000 0.000 0.000
Problem 45 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F B B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 128 128 226 0 223 728 0 0 -1
normalized size 1 1.00 1.77 0.00 1.74 5.69 0.00 0.00 -0.01
time (sec) N/A 0.340 0.297 0.944 0.415 0.692 0.000 0.000 0.000
Problem 46 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F B B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 200 200 329 0 401 1278 0 0 -1
normalized size 1 1.00 1.64 0.00 2.00 6.39 0.00 0.00 -0.00
time (sec) N/A 1.047 0.567 0.948 0.423 0.749 0.000 0.000 0.000
Problem 47 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F B B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 283 283 431 0 639 2004 0 0 -1
normalized size 1 1.00 1.52 0.00 2.26 7.08 0.00 0.00 -0.00
time (sec) N/A 1.343 0.937 0.943 0.431 0.932 0.000 0.000 0.000
Problem 48 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 125 199 0 0 0 0 -1
normalized size 1 1.00 0.67 1.07 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.083 0.970 0.658 0.000 0.807 0.000 0.000 0.000
Problem 49 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 144 144 77 190 0 0 0 0 -1
normalized size 1 1.00 0.53 1.32 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.050 0.119 0.557 0.000 0.511 0.000 0.000 0.000
Problem 50 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 37 37 30 52 63 41 0 0 -1
normalized size 1 1.00 0.81 1.41 1.70 1.11 0.00 0.00 -0.03
time (sec) N/A 0.025 0.047 0.485 0.408 0.469 0.000 0.000 0.000
Problem 51 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 83 83 45 112 67 61 0 0 -1
normalized size 1 1.00 0.54 1.35 0.81 0.73 0.00 0.00 -0.01
time (sec) N/A 0.053 0.052 0.513 0.319 0.471 0.000 0.000 0.000
Problem 52 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 124 124 55 176 99 81 0 0 -1
normalized size 1 1.00 0.44 1.42 0.80 0.65 0.00 0.00 -0.01
time (sec) N/A 0.082 0.063 0.522 0.323 0.554 0.000 0.000 0.000
Problem 53 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 3 3 3 4 3 11 3 0 3
normalized size 1 1.00 1.00 1.33 1.00 3.67 1.00 0.00 1.00
time (sec) N/A 0.023 0.025 0.057 0.304 0.466 0.284 0.000 0.304
Problem 54 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 12 12 12 13 12 62 15 1 22
normalized size 1 1.00 1.00 1.08 1.00 5.17 1.25 0.08 1.83
time (sec) N/A 0.026 0.009 0.059 0.303 0.600 1.722 0.123 1.363
Problem 55 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C B A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 62 62 61 707 171 63 0 0 201
normalized size 1 1.00 0.98 11.40 2.76 1.02 0.00 0.00 3.24
time (sec) N/A 0.051 0.066 2.003 0.309 0.530 0.000 0.000 2.680
Problem 56 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 37 37 34 75 76 0 0 0 -1
normalized size 1 1.00 0.92 2.03 2.05 0.00 0.00 0.00 -0.03
time (sec) N/A 0.059 0.051 0.053 0.304 0.435 0.000 0.000 0.000
Problem 57 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 8 8 8 13 6 14 5 0 21
normalized size 1 1.00 1.00 1.62 0.75 1.75 0.62 0.00 2.62
time (sec) N/A 0.014 0.004 0.040 0.298 0.413 0.701 0.000 1.203
Problem 58 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 36 36 44 39 34 29 31 0 21
normalized size 1 1.00 1.22 1.08 0.94 0.81 0.86 0.00 0.58
time (sec) N/A 0.031 0.028 0.038 0.298 0.388 0.558 0.000 1.155
Problem 59 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 38 38 28 99 76 42 0 0 81
normalized size 1 1.00 0.74 2.61 2.00 1.11 0.00 0.00 2.13
time (sec) N/A 0.017 0.033 0.065 0.303 0.522 0.000 0.000 1.216
Problem 60 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 50 50 50 53 47 47 88 0 34
normalized size 1 1.00 1.00 1.06 0.94 0.94 1.76 0.00 0.68
time (sec) N/A 0.034 0.053 0.038 0.302 0.610 0.908 0.000 1.210
Problem 61 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 67 67 43 131 118 66 0 0 112
normalized size 1 1.00 0.64 1.96 1.76 0.99 0.00 0.00 1.67
time (sec) N/A 0.035 0.055 0.070 0.307 0.399 0.000 0.000 1.318
Problem 62 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 101 101 81 199 106 112 153 0 134
normalized size 1 1.00 0.80 1.97 1.05 1.11 1.51 0.00 1.33
time (sec) N/A 0.126 0.042 0.036 0.306 0.501 1.841 0.000 1.473
Problem 63 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 78 78 92 146 79 84 117 0 98
normalized size 1 1.00 1.18 1.87 1.01 1.08 1.50 0.00 1.26
time (sec) N/A 0.102 0.024 0.035 0.307 0.556 1.270 0.000 1.364
Problem 64 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 65 65 56 89 61 66 76 0 62
normalized size 1 1.00 0.86 1.37 0.94 1.02 1.17 0.00 0.95
time (sec) N/A 0.072 0.023 0.033 0.303 0.842 0.814 0.000 2.004
Problem 65 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 35 35 43 36 31 48 41 0 42
normalized size 1 1.00 1.23 1.03 0.89 1.37 1.17 0.00 1.20
time (sec) N/A 0.016 0.015 0.029 0.310 0.669 0.513 0.000 1.707
Problem 66 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 92 92 259 81 128 0 0 0 -1
normalized size 1 1.00 2.82 0.88 1.39 0.00 0.00 0.00 -0.01
time (sec) N/A 0.097 0.169 0.055 0.309 0.699 0.000 0.000 0.000
Problem 67 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 64 64 55 63 54 68 144 0 62
normalized size 1 1.00 0.86 0.98 0.84 1.06 2.25 0.00 0.97
time (sec) N/A 0.051 0.056 0.038 0.314 0.679 1.482 0.000 1.732
Problem 68 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 90 90 76 82 85 111 410 0 247
normalized size 1 1.00 0.84 0.91 0.94 1.23 4.56 0.00 2.74
time (sec) N/A 0.100 0.117 0.041 0.305 0.722 2.430 0.000 1.951
Problem 69 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 263 263 203 967 320 0 0 0 -1
normalized size 1 1.00 0.77 3.68 1.22 0.00 0.00 0.00 -0.00
time (sec) N/A 0.349 1.703 0.066 0.341 0.772 0.000 0.000 0.000
Problem 70 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B A F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 204 204 607 729 259 0 0 0 -1
normalized size 1 1.00 2.98 3.57 1.27 0.00 0.00 0.00 -0.00
time (sec) N/A 0.278 4.539 0.063 0.333 0.481 0.000 0.000 0.000
Problem 71 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 136 136 106 365 202 0 0 0 -1
normalized size 1 1.00 0.78 2.68 1.49 0.00 0.00 0.00 -0.01
time (sec) N/A 0.209 0.260 0.062 0.336 0.682 0.000 0.000 0.000
Problem 72 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 81 81 55 151 139 0 0 0 -1
normalized size 1 1.00 0.68 1.86 1.72 0.00 0.00 0.00 -0.01
time (sec) N/A 0.090 0.075 0.305 0.330 0.436 0.000 0.000 0.000
Problem 73 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 148 148 547 985 0 0 0 0 -1
normalized size 1 1.00 3.70 6.66 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.091 2.871 1.151 0.000 0.467 0.000 0.000 0.000
Problem 74 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 251 251 206 342 244 0 0 0 -1
normalized size 1 1.00 0.82 1.36 0.97 0.00 0.00 0.00 -0.00
time (sec) N/A 0.719 1.124 0.073 0.322 0.472 0.000 0.000 0.000
Problem 75 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 370 370 291 467 360 0 0 0 -1
normalized size 1 1.00 0.79 1.26 0.97 0.00 0.00 0.00 -0.00
time (sec) N/A 0.830 2.350 0.076 0.337 0.407 0.000 0.000 0.000
Problem 76 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B C F F(-1) F F
verified N/A NO NO TBD TBD TBD TBD TBD TBD
size 673 597 529 1230 589 0 0 0 -1
normalized size 1 0.89 0.79 1.83 0.88 0.00 0.00 0.00 -0.00
time (sec) N/A 1.099 0.620 0.753 0.595 0.412 0.000 0.000 0.000
Problem 77 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 120 120 185 176 192 0 0 0 -1
normalized size 1 1.00 1.54 1.47 1.60 0.00 0.00 0.00 -0.01
time (sec) N/A 0.127 0.073 0.084 0.332 0.714 0.000 0.000 0.000
Problem 78 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A F F F F
verified N/A NO NO TBD TBD TBD TBD TBD TBD
size 292 360 502 297 192 0 0 0 -1
normalized size 1 1.23 1.72 1.02 0.66 0.00 0.00 0.00 -0.00
time (sec) N/A 0.500 4.494 0.088 0.340 0.583 0.000 0.000 0.000
Problem 79 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C C F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 738 738 5552 19686 647 0 0 0 -1
normalized size 1 1.00 7.52 26.67 0.88 0.00 0.00 0.00 -0.00
time (sec) N/A 1.530 36.346 1.877 0.550 0.495 0.000 0.000 0.000
Problem 80 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 619 619 575 738 0 0 0 0 -1
normalized size 1 1.00 0.93 1.19 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 2.199 0.707 0.128 0.000 0.470 0.000 0.000 0.000
Problem 81 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 738 738 719 970 0 0 0 0 -1
normalized size 1 1.00 0.97 1.31 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 2.371 0.745 0.118 0.000 0.653 0.000 0.000 0.000
Problem 82 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 335 335 596 2098 0 0 0 0 -1
normalized size 1 1.00 1.78 6.26 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.749 0.962 1.113 0.000 0.650 0.000 0.000 0.000
Problem 83 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 51 51 59 42 41 38 0 0 31
normalized size 1 1.00 1.16 0.82 0.80 0.75 0.00 0.00 0.61
time (sec) N/A 0.015 0.019 0.045 0.301 0.466 0.000 0.000 1.305
Problem 84 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 42 42 52 37 36 31 0 0 26
normalized size 1 1.00 1.24 0.88 0.86 0.74 0.00 0.00 0.62
time (sec) N/A 0.011 0.014 0.046 0.308 0.569 0.000 0.000 1.263
Problem 85 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 22 22 22 27 26 24 0 0 16
normalized size 1 1.00 1.00 1.23 1.18 1.09 0.00 0.00 0.73
time (sec) N/A 0.006 0.007 0.046 0.301 0.622 0.000 0.000 1.237
Problem 86 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 19 19 19 33 66 0 0 0 -1
normalized size 1 1.00 1.00 1.74 3.47 0.00 0.00 0.00 -0.05
time (sec) N/A 0.020 0.010 0.063 0.310 0.656 0.000 0.000 0.000
Problem 87 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 25 25 45 32 31 30 92 0 18
normalized size 1 1.00 1.80 1.28 1.24 1.20 3.68 0.00 0.72
time (sec) N/A 0.014 0.021 0.051 0.305 0.493 2.118 0.000 1.272
Problem 88 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 42 42 58 37 36 38 160 0 45
normalized size 1 1.00 1.38 0.88 0.86 0.90 3.81 0.00 1.07
time (sec) N/A 0.015 0.022 0.053 0.311 0.507 5.450 0.000 1.487
Problem 89 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 38 38 31 35 24 35 121 0 24
normalized size 1 1.00 0.82 0.92 0.63 0.92 3.18 0.00 0.63
time (sec) N/A 0.018 0.016 0.046 0.309 1.268 5.352 0.000 1.259
Problem 90 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 31 31 25 30 19 30 39 0 -1
normalized size 1 1.00 0.81 0.97 0.61 0.97 1.26 0.00 -0.03
time (sec) N/A 0.014 0.013 0.045 0.307 0.645 1.069 0.000 0.000
Problem 91 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 20 20 20 15 16 24 87 0 14
normalized size 1 1.00 1.00 0.75 0.80 1.20 4.35 0.00 0.70
time (sec) N/A 0.009 0.010 0.047 0.304 0.649 0.535 0.000 1.289
Problem 92 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 24 24 24 29 18 36 126 0 22
normalized size 1 1.00 1.00 1.21 0.75 1.50 5.25 0.00 0.92
time (sec) N/A 0.010 0.022 0.050 0.313 0.489 1.376 0.000 1.252
Problem 93 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C B F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 28 28 26 85 104 0 0 0 -1
normalized size 1 1.00 0.93 3.04 3.71 0.00 0.00 0.00 -0.04
time (sec) N/A 0.022 0.015 0.166 0.306 0.508 0.000 0.000 0.000
Problem 94 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 19 19 19 30 15 23 15 0 26
normalized size 1 1.00 1.00 1.58 0.79 1.21 0.79 0.00 1.37
time (sec) N/A 0.006 0.002 0.069 0.303 0.992 0.198 0.000 1.135
Problem 95 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A B B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 38 38 97 61 147 128 0 0 -1
normalized size 1 1.00 2.55 1.61 3.87 3.37 0.00 0.00 -0.03
time (sec) N/A 0.023 0.054 0.092 0.417 0.581 0.000 0.000 0.000
Problem 96 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 39 39 66 70 62 44 56 0 50
normalized size 1 1.00 1.69 1.79 1.59 1.13 1.44 0.00 1.28
time (sec) N/A 0.022 0.033 0.032 0.306 0.568 0.785 0.000 2.024
Problem 97 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 54 54 42 95 81 86 97 0 114
normalized size 1 1.00 0.78 1.76 1.50 1.59 1.80 0.00 2.11
time (sec) N/A 0.048 0.041 0.033 0.306 0.575 1.224 0.000 1.542
Problem 98 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A B F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 35 35 286 59 112 0 0 0 -1
normalized size 1 1.00 8.17 1.69 3.20 0.00 0.00 0.00 -0.03
time (sec) N/A 0.025 0.026 0.048 0.320 0.831 0.000 0.000 0.000
Problem 99 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 48 48 43 54 53 67 136 0 93
normalized size 1 1.00 0.90 1.12 1.10 1.40 2.83 0.00 1.94
time (sec) N/A 0.045 0.029 0.038 0.311 0.543 1.400 0.000 1.406
Problem 100 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A B F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 25 25 117 34 58 0 0 0 -1
normalized size 1 1.00 4.68 1.36 2.32 0.00 0.00 0.00 -0.04
time (sec) N/A 0.023 0.015 0.046 0.306 0.551 0.000 0.000 0.000
Problem 101 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A B F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 35 35 312 59 132 0 0 0 -1
normalized size 1 1.00 8.91 1.69 3.77 0.00 0.00 0.00 -0.03
time (sec) N/A 0.030 0.028 0.048 0.326 1.090 0.000 0.000 0.000
Problem 102 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 168 168 270 786 333 385 644 0 742
normalized size 1 1.00 1.61 4.68 1.98 2.29 3.83 0.00 4.42
time (sec) N/A 0.342 0.302 0.043 0.311 0.551 7.456 0.000 2.173
Problem 103 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A B A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 120 120 174 477 207 241 369 0 386
normalized size 1 1.00 1.45 3.98 1.72 2.01 3.08 0.00 3.22
time (sec) N/A 0.204 0.171 0.040 0.299 0.430 4.449 0.000 1.926
Problem 104 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 97 97 138 184 109 133 173 0 136
normalized size 1 1.00 1.42 1.90 1.12 1.37 1.78 0.00 1.40
time (sec) N/A 0.171 0.048 0.034 0.301 0.454 2.265 0.000 2.404
Problem 105 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 40 40 48 42 36 60 46 0 48
normalized size 1 1.00 1.20 1.05 0.90 1.50 1.15 0.00 1.20
time (sec) N/A 0.025 0.017 0.030 0.297 0.876 0.585 0.000 1.754
Problem 106 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 130 130 206 202 0 0 0 0 -1
normalized size 1 1.00 1.58 1.55 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.142 0.117 0.085 0.000 0.644 0.000 0.000 0.000
Problem 107 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 115 115 125 141 121 262 1658 0 175
normalized size 1 1.00 1.09 1.23 1.05 2.28 14.42 0.00 1.52
time (sec) N/A 0.169 0.193 0.042 0.311 0.797 9.478 0.000 2.080
Problem 108 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 167 167 174 236 291 833 0 0 422
normalized size 1 1.00 1.04 1.41 1.74 4.99 0.00 0.00 2.53
time (sec) N/A 0.234 0.331 0.046 0.333 1.700 0.000 0.000 3.296
Problem 109 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B B F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 374 374 1054 2694 791 0 0 0 -1
normalized size 1 1.00 2.82 7.20 2.11 0.00 0.00 0.00 -0.00
time (sec) N/A 0.637 7.362 0.078 0.618 0.583 0.000 0.000 0.000
Problem 110 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 221 220 295 857 400 0 0 0 -1
normalized size 1 1.00 1.33 3.88 1.81 0.00 0.00 0.00 -0.00
time (sec) N/A 0.443 0.609 0.069 0.612 0.396 0.000 0.000 0.000
Problem 111 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 97 97 111 226 0 0 0 0 -1
normalized size 1 1.00 1.14 2.33 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.116 0.166 0.237 0.000 0.453 0.000 0.000 0.000
Problem 112 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 214 214 3759 1845 0 0 0 0 -1
normalized size 1 1.00 17.57 8.62 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.153 31.059 1.495 0.000 0.486 0.000 0.000 0.000
Problem 113 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 480 485 470 783 0 0 0 0 -1
normalized size 1 1.01 0.98 1.63 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.743 8.899 0.077 0.000 0.527 0.000 0.000 0.000
Problem 114 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 546 546 2594 10477 0 0 0 0 -1
normalized size 1 1.00 4.75 19.19 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.043 10.598 16.593 0.000 0.440 0.000 0.000 0.000
Problem 115 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 326 325 600 12285 0 0 0 0 -1
normalized size 1 1.00 1.84 37.68 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.721 1.457 1.423 0.000 0.649 0.000 0.000 0.000
Problem 116 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 132 132 208 485 0 0 0 0 -1
normalized size 1 1.00 1.58 3.67 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.227 0.330 0.303 0.000 0.595 0.000 0.000 0.000
Problem 117 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F C F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 308 308 0 3796 0 0 0 0 -1
normalized size 1 1.00 0.00 12.32 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.187 28.571 1.546 0.000 0.672 0.000 0.000 0.000
Problem 118 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 1089 1094 3937 4619 0 0 0 0 -1
normalized size 1 1.00 3.62 4.24 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 2.782 31.312 1.316 0.000 0.556 0.000 0.000 0.000
Problem 119 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 162 162 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.01
time (sec) N/A 0.246 2.528 1.926 0.000 0.394 0.000 0.000 0.000
Problem 120 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A F(-1) A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 23 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.067 2.652 1.793 0.000 0.481 0.000 0.000 0.000
Problem 121 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A F(-1) A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 23 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.065 0.351 2.065 0.000 0.621 0.000 0.000 0.000
Problem 122 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 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.048 0.097 1.025 0.000 0.842 0.000 0.000 0.000
Problem 123 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F B F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 460 460 0 1492 0 0 0 0 -1
normalized size 1 1.00 0.00 3.24 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.598 0.289 1.674 0.000 0.436 0.000 0.000 0.000
Problem 124 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F B F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 302 302 0 696 0 0 0 0 -1
normalized size 1 1.00 0.00 2.30 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.346 0.541 0.727 0.000 0.617 0.000 0.000 0.000
Problem 125 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 89 89 98 119 0 0 0 0 -1
normalized size 1 1.00 1.10 1.34 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.059 0.401 0.721 0.000 0.712 0.000 0.000 0.000
Problem 126 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 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.045 0.095 0.988 0.000 0.558 0.000 0.000 0.000
Problem 127 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 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.043 0.792 1.073 0.000 0.481 0.000 0.000 0.000
Problem 128 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 37 37 34 676 38 33 0 0 96
normalized size 1 1.00 0.92 18.27 1.03 0.89 0.00 0.00 2.59
time (sec) N/A 0.027 0.065 0.165 0.339 0.538 0.000 0.000 1.610
Problem 129 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 23 23 20 59 19 13 19 0 19
normalized size 1 1.00 0.87 2.57 0.83 0.57 0.83 0.00 0.83
time (sec) N/A 0.009 0.017 0.383 0.378 0.637 0.400 0.000 0.090
Problem 130 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 23 23 20 48 19 13 19 0 19
normalized size 1 1.00 0.87 2.09 0.83 0.57 0.83 0.00 0.83
time (sec) N/A 0.007 0.015 0.382 0.378 0.446 0.228 0.000 1.127
Problem 131 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 16 16 18 32 16 10 19 0 16
normalized size 1 1.00 1.12 2.00 1.00 0.62 1.19 0.00 1.00
time (sec) N/A 0.003 0.008 0.057 0.381 0.428 0.164 0.000 1.121
Problem 132 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 21 21 19 354 34 8 0 0 59
normalized size 1 1.00 0.90 16.86 1.62 0.38 0.00 0.00 2.81
time (sec) N/A 0.044 0.014 0.425 0.326 0.475 0.000 0.000 0.180
Problem 133 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 17 17 18 20 17 13 14 0 17
normalized size 1 1.00 1.06 1.18 1.00 0.76 0.82 0.00 1.00
time (sec) N/A 0.009 0.016 0.378 0.386 0.939 0.253 0.000 0.086
Problem 134 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 23 23 18 20 19 11 19 0 16
normalized size 1 1.00 0.78 0.87 0.83 0.48 0.83 0.00 0.70
time (sec) N/A 0.010 0.014 0.387 0.378 1.207 0.510 0.000 1.135
Problem 135 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 23 23 20 20 19 13 20 0 19
normalized size 1 1.00 0.87 0.87 0.83 0.57 0.87 0.00 0.83
time (sec) N/A 0.009 0.016 0.397 0.377 0.571 0.793 0.000 1.123
Problem 136 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 71 71 62 9175 73 101 0 0 203
normalized size 1 1.00 0.87 129.23 1.03 1.42 0.00 0.00 2.86
time (sec) N/A 0.035 0.168 1.002 0.389 0.501 0.000 0.000 1.325
Problem 137 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 42 42 37 3418 36 30 78 0 36
normalized size 1 1.00 0.88 81.38 0.86 0.71 1.86 0.00 0.86
time (sec) N/A 0.026 0.034 0.389 0.445 0.575 2.620 0.000 1.175
Problem 138 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 42 42 37 3418 36 30 60 0 36
normalized size 1 1.00 0.88 81.38 0.86 0.71 1.43 0.00 0.86
time (sec) N/A 0.025 0.055 0.388 0.445 0.527 1.263 0.000 1.182
Problem 139 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B C A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 34 34 74 3418 36 30 41 0 36
normalized size 1 1.00 2.18 100.53 1.06 0.88 1.21 0.00 1.06
time (sec) N/A 0.025 0.076 0.395 0.448 0.667 0.671 0.000 1.154
Problem 140 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 16 16 16 15 33 27 20 0 33
normalized size 1 1.00 1.00 0.94 2.06 1.69 1.25 0.00 2.06
time (sec) N/A 0.005 0.006 0.092 0.443 0.631 0.300 0.000 1.121
Problem 141 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C C A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 49 49 53 3774 38 27 0 0 183
normalized size 1 1.00 1.08 77.02 0.78 0.55 0.00 0.00 3.73
time (sec) N/A 0.026 0.064 0.331 0.727 0.617 0.000 0.000 0.292
Problem 142 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 39 39 37 1095 54 29 0 0 207
normalized size 1 1.00 0.95 28.08 1.38 0.74 0.00 0.00 5.31
time (sec) N/A 0.026 0.049 0.269 0.385 0.581 0.000 0.000 1.247
Problem 143 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 36 36 42 3213 34 29 32 0 34
normalized size 1 1.00 1.17 89.25 0.94 0.81 0.89 0.00 0.94
time (sec) N/A 0.023 0.037 0.431 0.458 0.421 0.566 0.000 1.158
Problem 144 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 31 31 34 3217 36 29 37 0 32
normalized size 1 1.00 1.10 103.77 1.16 0.94 1.19 0.00 1.03
time (sec) N/A 0.014 0.046 0.388 0.451 1.439 0.869 0.000 1.119
Problem 145 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 64 64 37 3217 36 29 39 0 36
normalized size 1 1.00 0.58 50.27 0.56 0.45 0.61 0.00 0.56
time (sec) N/A 0.035 0.031 0.387 0.454 0.615 1.295 0.000 1.169
Problem 146 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 110 110 97 63382 109 209 0 0 332
normalized size 1 1.00 0.88 576.20 0.99 1.90 0.00 0.00 3.02
time (sec) N/A 0.059 0.276 9.364 0.463 0.616 0.000 0.000 1.452
Problem 147 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 61 61 54 18111 54 52 97 0 53
normalized size 1 1.00 0.89 296.90 0.89 0.85 1.59 0.00 0.87
time (sec) N/A 0.041 0.035 1.142 0.519 0.624 6.881 0.000 1.251
Problem 148 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 61 61 54 18111 54 52 80 0 53
normalized size 1 1.00 0.89 296.90 0.89 0.85 1.31 0.00 0.87
time (sec) N/A 0.041 0.026 1.281 0.516 0.461 4.087 0.000 1.232
Problem 149 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 53 53 54 18111 54 52 60 0 53
normalized size 1 1.00 1.02 341.72 1.02 0.98 1.13 0.00 1.00
time (sec) N/A 0.031 0.025 1.133 0.516 0.714 2.383 0.000 1.207
Problem 150 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B C A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 34 34 99 18111 54 52 41 0 53
normalized size 1 1.00 2.91 532.68 1.59 1.53 1.21 0.00 1.56
time (sec) N/A 0.015 0.074 1.128 0.524 0.550 1.214 0.000 0.117
Problem 151 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 16 16 16 15 51 49 20 0 47
normalized size 1 1.00 1.00 0.94 3.19 3.06 1.25 0.00 2.94
time (sec) N/A 0.005 0.008 0.092 0.524 0.928 0.606 0.000 1.181
Problem 152 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C C A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 77 77 104 21848 75 49 0 0 306
normalized size 1 1.00 1.35 283.74 0.97 0.64 0.00 0.00 3.97
time (sec) N/A 0.096 0.097 0.900 0.756 0.673 0.000 0.000 0.144
Problem 153 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C C A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 68 68 62 7683 124 51 0 0 372
normalized size 1 1.00 0.91 112.99 1.82 0.75 0.00 0.00 5.47
time (sec) N/A 0.044 0.042 0.462 0.613 0.461 0.000 0.000 1.203
Problem 154 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 60 60 66 7366 72 51 0 0 383
normalized size 1 1.00 1.10 122.77 1.20 0.85 0.00 0.00 6.38
time (sec) N/A 0.041 0.038 0.549 0.462 0.514 0.000 0.000 1.325
Problem 155 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 55 55 60 17237 52 51 51 0 51
normalized size 1 1.00 1.09 313.40 0.95 0.93 0.93 0.00 0.93
time (sec) N/A 0.038 0.026 1.587 0.587 0.925 0.848 0.000 1.180
Problem 156 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A A B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 31 31 50 17235 53 49 56 0 48
normalized size 1 1.00 1.61 555.97 1.71 1.58 1.81 0.00 1.55
time (sec) N/A 0.014 0.024 1.471 0.524 0.468 1.318 0.000 1.193
Problem 157 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 64 64 54 17234 54 49 60 0 53
normalized size 1 1.00 0.84 269.28 0.84 0.77 0.94 0.00 0.83
time (sec) N/A 0.034 0.037 1.417 0.537 0.507 2.121 0.000 0.118
Problem 158 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 53 53 51 0 0 0 0 0 -1
normalized size 1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.028 0.093 0.981 0.000 0.549 0.000 0.000 0.000
Problem 159 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C C A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 81 81 79 130774 86 127 0 0 354
normalized size 1 1.00 0.98 1614.49 1.06 1.57 0.00 0.00 4.37
time (sec) N/A 0.059 0.047 4.805 0.531 0.592 0.000 0.000 0.129
Problem 160 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C C A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 56 56 55 28786 51 97 0 0 234
normalized size 1 1.00 0.98 514.04 0.91 1.73 0.00 0.00 4.18
time (sec) N/A 0.035 0.039 1.184 0.529 0.476 0.000 0.000 1.328
Problem 161 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C C B F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 31 31 31 4303 30 79 0 0 108
normalized size 1 1.00 1.00 138.81 0.97 2.55 0.00 0.00 3.48
time (sec) N/A 0.015 0.026 0.408 0.525 0.596 0.000 0.000 0.144
Problem 162 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A C B F(-2) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 12 12 12 13 16 28 0 0 12
normalized size 1 1.00 1.00 1.08 1.33 2.33 0.00 0.00 1.00
time (sec) N/A 0.004 0.049 0.071 0.411 0.684 0.000 0.000 1.178
Problem 163 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C C A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 44 44 29 972 37 87 0 0 113
normalized size 1 1.00 0.66 22.09 0.84 1.98 0.00 0.00 2.57
time (sec) N/A 0.028 0.028 10.105 0.523 0.521 0.000 0.000 2.906
Problem 164 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-1) C B F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 65 65 45 0 65 137 0 0 220
normalized size 1 1.00 0.69 0.00 1.00 2.11 0.00 0.00 3.38
time (sec) N/A 0.038 0.025 180.000 0.523 0.588 0.000 0.000 3.119
Problem 165 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-1) C B F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 92 92 66 0 108 199 0 0 300
normalized size 1 1.00 0.72 0.00 1.17 2.16 0.00 0.00 3.26
time (sec) N/A 0.063 0.027 180.000 0.546 0.676 0.000 0.000 3.595
Problem 166 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 51 0 0 0 0 0 -1
normalized size 1 1.00 0.78 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.039 0.538 2.949 0.000 0.846 0.000 0.000 0.000
Problem 167 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C C B F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 98 98 106 131085 178 326 0 0 669
normalized size 1 1.00 1.08 1337.60 1.82 3.33 0.00 0.00 6.83
time (sec) N/A 0.081 0.091 5.951 0.769 0.518 0.000 0.000 1.286
Problem 168 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C C B F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 75 75 83 29109 124 244 0 0 490
normalized size 1 1.00 1.11 388.12 1.65 3.25 0.00 0.00 6.53
time (sec) N/A 0.054 0.054 1.481 0.763 0.503 0.000 0.000 0.171
Problem 169 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C C B F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 50 50 56 4626 80 189 0 0 302
normalized size 1 1.00 1.12 92.52 1.60 3.78 0.00 0.00 6.04
time (sec) N/A 0.031 0.070 0.480 0.748 0.456 0.000 0.000 1.293
Problem 170 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C C B F(-2) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 28 28 27 625 47 97 0 0 28
normalized size 1 1.00 0.96 22.32 1.68 3.46 0.00 0.00 1.00
time (sec) N/A 0.013 0.055 0.273 0.755 0.746 0.000 0.000 0.088
Problem 171 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A C B F(-2) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 14 14 14 15 18 36 0 0 14
normalized size 1 1.00 1.00 1.07 1.29 2.57 0.00 0.00 1.00
time (sec) N/A 0.005 0.006 0.076 0.412 0.646 0.000 0.000 1.136
Problem 172 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-1) C B F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 70 70 53 0 77 306 0 0 421
normalized size 1 1.00 0.76 0.00 1.10 4.37 0.00 0.00 6.01
time (sec) N/A 0.048 0.074 180.000 0.768 0.458 0.000 0.000 4.025
Problem 173 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-1) C B F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 102 102 70 0 135 480 0 0 453
normalized size 1 1.00 0.69 0.00 1.32 4.71 0.00 0.00 4.44
time (sec) N/A 0.063 0.061 180.000 0.776 0.685 0.000 0.000 3.799
Problem 174 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-1) C B F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 143 143 92 0 191 644 0 0 689
normalized size 1 1.00 0.64 0.00 1.34 4.50 0.00 0.00 4.82
time (sec) N/A 0.090 0.045 180.000 0.757 0.548 0.000 0.000 4.905
Problem 175 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 94 94 51 0 0 0 0 0 -1
normalized size 1 1.00 0.54 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.060 0.543 3.505 0.000 0.508 0.000 0.000 0.000
Problem 176 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C C B F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 92 92 114 29456 197 493 0 0 867
normalized size 1 1.00 1.24 320.17 2.14 5.36 0.00 0.00 9.42
time (sec) N/A 0.071 0.043 1.510 1.150 1.144 0.000 0.000 1.378
Problem 177 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C C B F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 71 71 86 4977 144 418 0 0 620
normalized size 1 1.00 1.21 70.10 2.03 5.89 0.00 0.00 8.73
time (sec) N/A 0.049 0.046 0.782 1.146 0.646 0.000 0.000 1.432
Problem 178 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C C B F(-2) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 47 47 49 952 94 250 0 0 46
normalized size 1 1.00 1.04 20.26 2.00 5.32 0.00 0.00 0.98
time (sec) N/A 0.029 0.035 0.294 1.123 0.509 0.000 0.000 1.219
Problem 179 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C C B F(-2) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 34 34 27 634 62 124 0 0 25
normalized size 1 1.00 0.79 18.65 1.82 3.65 0.00 0.00 0.74
time (sec) N/A 0.014 0.050 0.268 1.112 0.844 0.000 0.000 0.088
Problem 180 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A C B F(-2) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 16 16 16 15 30 107 0 0 14
normalized size 1 1.00 1.00 0.94 1.88 6.69 0.00 0.00 0.88
time (sec) N/A 0.005 0.006 0.076 0.430 0.567 0.000 0.000 0.066
Problem 181 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-1) C B F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 97 97 74 0 173 811 0 0 902
normalized size 1 1.00 0.76 0.00 1.78 8.36 0.00 0.00 9.30
time (sec) N/A 0.066 0.110 180.000 1.132 0.615 0.000 0.000 6.493
Problem 182 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-1) C B F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 131 131 93 0 243 1078 0 0 1074
normalized size 1 1.00 0.71 0.00 1.85 8.23 0.00 0.00 8.20
time (sec) N/A 0.087 0.045 180.000 1.152 0.536 0.000 0.000 5.262
Problem 183 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-1) C B F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 170 170 107 0 332 1316 0 0 1251
normalized size 1 1.00 0.63 0.00 1.95 7.74 0.00 0.00 7.36
time (sec) N/A 0.127 0.046 180.000 1.154 0.623 0.000 0.000 8.121
Problem 184 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 79 79 71 0 0 0 0 0 -1
normalized size 1 1.00 0.90 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.049 0.140 14.578 0.000 0.423 0.000 0.000 0.000
Problem 185 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B C B F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 165 165 146 504228 380 583 0 0 546
normalized size 1 1.00 0.88 3055.93 2.30 3.53 0.00 0.00 3.31
time (sec) N/A 0.133 0.108 33.060 0.536 0.721 0.000 0.000 2.187
Problem 186 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C C B F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 121 121 106 129477 255 411 0 0 418
normalized size 1 1.00 0.88 1070.06 2.11 3.40 0.00 0.00 3.45
time (sec) N/A 0.080 0.078 18.412 0.534 1.476 0.000 0.000 1.500
Problem 187 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C C B F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 82 82 71 25561 166 287 0 0 304
normalized size 1 1.00 0.87 311.72 2.02 3.50 0.00 0.00 3.71
time (sec) N/A 0.046 0.065 14.728 0.543 0.464 0.000 0.000 1.361
Problem 188 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C C B F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 48 48 41 480 101 210 0 0 205
normalized size 1 1.00 0.85 10.00 2.10 4.38 0.00 0.00 4.27
time (sec) N/A 0.020 0.045 13.674 0.537 0.574 0.000 0.000 1.307
Problem 189 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A C B A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 20 20 20 21 65 164 51 0 121
normalized size 1 1.00 1.00 1.05 3.25 8.20 2.55 0.00 6.05
time (sec) N/A 0.007 0.016 0.084 0.525 0.573 0.737 0.000 1.268
Problem 190 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 64 64 60 0 0 0 0 0 -1
normalized size 1 1.00 0.94 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.021 0.089 0.681 0.000 0.918 0.000 0.000 0.000
Problem 191 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 71 71 67 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.041 0.041 13.987 0.000 0.540 0.000 0.000 0.000
Problem 192 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 101 101 67 0 0 0 0 0 -1
normalized size 1 1.00 0.66 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.069 0.044 13.911 0.000 0.590 0.000 0.000 0.000
Problem 193 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 37 37 34 676 38 33 0 0 96
normalized size 1 1.00 0.92 18.27 1.03 0.89 0.00 0.00 2.59
time (sec) N/A 0.010 0.035 0.164 0.322 0.474 0.000 0.000 0.003
Problem 194 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 23 23 20 59 13 13 39 13 19
normalized size 1 1.00 0.87 2.57 0.57 0.57 1.70 0.57 0.83
time (sec) N/A 0.014 0.038 0.442 0.309 0.392 11.343 0.118 0.079
Problem 195 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 23 23 20 48 13 13 39 13 19
normalized size 1 1.00 0.87 2.09 0.57 0.57 1.70 0.57 0.83
time (sec) N/A 0.008 0.017 0.391 0.314 0.358 5.601 0.131 0.056
Problem 196 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 16 16 18 32 10 10 37 10 16
normalized size 1 1.00 1.12 2.00 0.62 0.62 2.31 0.62 1.00
time (sec) N/A 0.003 0.007 0.064 0.306 0.507 2.928 0.118 1.207
Problem 197 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 21 21 19 27 8 8 0 9 58
normalized size 1 1.00 0.90 1.29 0.38 0.38 0.00 0.43 2.76
time (sec) N/A 0.031 0.018 0.309 0.307 0.499 0.000 0.132 0.545
Problem 198 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 17 17 18 20 11 13 34 12 17
normalized size 1 1.00 1.06 1.18 0.65 0.76 2.00 0.71 1.00
time (sec) N/A 0.009 0.017 0.393 0.311 0.506 5.736 0.140 0.074
Problem 199 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 23 23 18 20 11 11 39 11 16
normalized size 1 1.00 0.78 0.87 0.48 0.48 1.70 0.48 0.70
time (sec) N/A 0.009 0.015 0.380 0.309 0.536 10.803 0.119 1.143
Problem 200 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 27 27 47 21 33 57 0 0 -1
normalized size 1 1.00 1.74 0.78 1.22 2.11 0.00 0.00 -0.04
time (sec) N/A 0.034 0.022 0.367 0.366 1.388 0.000 0.000 0.000
Problem 201 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 51 51 81 449 56 87 0 0 -1
normalized size 1 1.00 1.59 8.80 1.10 1.71 0.00 0.00 -0.02
time (sec) N/A 0.066 0.015 0.519 0.375 2.014 0.000 0.000 0.000
Problem 202 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 77 77 109 471 78 117 0 0 -1
normalized size 1 1.00 1.42 6.12 1.01 1.52 0.00 0.00 -0.01
time (sec) N/A 0.090 0.034 0.503 0.373 1.561 0.000 0.000 0.000
Problem 203 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 307 307 345 5294 281 899 0 0 -1
normalized size 1 1.00 1.12 17.24 0.92 2.93 0.00 0.00 -0.00
time (sec) N/A 0.465 0.504 10.107 0.709 0.796 0.000 0.000 0.000
Problem 204 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 231 231 259 4990 215 745 0 0 -1
normalized size 1 1.00 1.12 21.60 0.93 3.23 0.00 0.00 -0.00
time (sec) N/A 0.379 0.181 3.578 0.714 0.749 0.000 0.000 0.000
Problem 205 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 150 150 131 306 142 551 0 0 -1
normalized size 1 1.00 0.87 2.04 0.95 3.67 0.00 0.00 -0.01
time (sec) N/A 0.232 1.423 0.351 0.688 0.854 0.000 0.000 0.000
Problem 206 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 18 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.066 9.537 0.559 0.000 0.774 0.000 0.000 0.000
Problem 207 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 155 155 144 1726 149 450 0 0 -1
normalized size 1 1.00 0.93 11.14 0.96 2.90 0.00 0.00 -0.01
time (sec) N/A 0.307 0.205 5.739 1.124 1.751 0.000 0.000 0.000
Problem 208 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 128 128 118 1667 125 381 0 0 -1
normalized size 1 1.00 0.92 13.02 0.98 2.98 0.00 0.00 -0.01
time (sec) N/A 0.269 0.119 5.319 1.094 3.990 0.000 0.000 0.000
Problem 209 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 101 101 91 1584 101 322 0 0 -1
normalized size 1 1.00 0.90 15.68 1.00 3.19 0.00 0.00 -0.01
time (sec) N/A 0.231 0.102 5.091 1.099 0.753 0.000 0.000 0.000
Problem 210 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B A B F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 69 69 201 247 72 238 0 0 -1
normalized size 1 1.00 2.91 3.58 1.04 3.45 0.00 0.00 -0.01
time (sec) N/A 0.140 0.913 0.460 1.099 0.969 0.000 0.000 0.000
Problem 211 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.077 3.351 0.961 0.000 0.686 0.000 0.000 0.000
Problem 212 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 168 168 144 1802 146 423 0 0 -1
normalized size 1 1.00 0.86 10.73 0.87 2.52 0.00 0.00 -0.01
time (sec) N/A 0.303 0.218 5.434 1.100 0.693 0.000 0.000 0.000
Problem 213 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 139 139 119 1745 123 359 0 0 -1
normalized size 1 1.00 0.86 12.55 0.88 2.58 0.00 0.00 -0.01
time (sec) N/A 0.268 0.115 5.313 1.107 1.861 0.000 0.000 0.000
Problem 214 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 110 110 93 1664 100 305 0 0 -1
normalized size 1 1.00 0.85 15.13 0.91 2.77 0.00 0.00 -0.01
time (sec) N/A 0.238 0.101 4.902 1.098 1.013 0.000 0.000 0.000
Problem 215 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B A B F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 76 76 200 271 73 227 0 0 -1
normalized size 1 1.00 2.63 3.57 0.96 2.99 0.00 0.00 -0.01
time (sec) N/A 0.150 0.985 0.396 1.102 0.800 0.000 0.000 0.000
Problem 216 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 22 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.065 3.391 0.950 0.000 0.524 0.000 0.000 0.000
Problem 217 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A C F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 303 303 353 5222 277 879 0 0 -1
normalized size 1 1.00 1.17 17.23 0.91 2.90 0.00 0.00 -0.00
time (sec) N/A 0.465 0.449 10.362 0.701 0.565 0.000 0.000 0.000
Problem 218 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A C F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 229 229 267 4918 213 729 0 0 -1
normalized size 1 1.00 1.17 21.48 0.93 3.18 0.00 0.00 -0.00
time (sec) N/A 0.382 0.165 3.775 0.738 0.622 0.000 0.000 0.000
Problem 219 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 150 150 131 306 142 539 0 0 -1
normalized size 1 1.00 0.87 2.04 0.95 3.59 0.00 0.00 -0.01
time (sec) N/A 0.235 1.263 0.528 0.713 0.483 0.000 0.000 0.000
Problem 220 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 18 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.147 6.228 0.844 0.000 1.066 0.000 0.000 0.000
Problem 221 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 152 152 141 1698 146 423 0 0 -1
normalized size 1 1.00 0.93 11.17 0.96 2.78 0.00 0.00 -0.01
time (sec) N/A 0.308 0.201 5.863 1.092 0.528 0.000 0.000 0.000
Problem 222 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 126 126 116 1641 123 359 0 0 -1
normalized size 1 1.00 0.92 13.02 0.98 2.85 0.00 0.00 -0.01
time (sec) N/A 0.269 0.115 5.589 1.107 0.872 0.000 0.000 0.000
Problem 223 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 100 100 90 1560 100 305 0 0 -1
normalized size 1 1.00 0.90 15.60 1.00 3.05 0.00 0.00 -0.01
time (sec) N/A 0.240 0.103 5.092 1.100 0.639 0.000 0.000 0.000
Problem 224 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B A B F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 69 69 197 247 72 226 0 0 -1
normalized size 1 1.00 2.86 3.58 1.04 3.28 0.00 0.00 -0.01
time (sec) N/A 0.145 0.869 0.560 1.098 0.485 0.000 0.000 0.000
Problem 225 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.061 3.505 1.270 0.000 0.696 0.000 0.000 0.000
Problem 226 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 165 165 147 1830 149 450 0 0 -1
normalized size 1 1.00 0.89 11.09 0.90 2.73 0.00 0.00 -0.01
time (sec) N/A 0.310 0.215 6.464 1.099 0.570 0.000 0.000 0.000
Problem 227 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 137 137 121 1771 125 381 0 0 -1
normalized size 1 1.00 0.88 12.93 0.91 2.78 0.00 0.00 -0.01
time (sec) N/A 0.270 0.122 5.458 1.104 0.532 0.000 0.000 0.000
Problem 228 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 109 109 94 1688 101 322 0 0 -1
normalized size 1 1.00 0.86 15.49 0.93 2.95 0.00 0.00 -0.01
time (sec) N/A 0.238 0.119 4.881 1.115 0.527 0.000 0.000 0.000
Problem 229 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B A B F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 76 76 208 271 73 239 0 0 -1
normalized size 1 1.00 2.74 3.57 0.96 3.14 0.00 0.00 -0.01
time (sec) N/A 0.144 0.791 0.522 1.111 0.836 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 22 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.083 3.633 1.201 0.000 0.421 0.000 0.000 0.000
Problem 231 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B C F C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 302 302 654 7429 0 1808 0 0 -1
normalized size 1 1.00 2.17 24.60 0.00 5.99 0.00 0.00 -0.00
time (sec) N/A 0.242 0.351 50.403 0.000 0.772 0.000 0.000 0.000
Problem 232 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 234 234 409 5543 0 1278 0 0 -1
normalized size 1 1.00 1.75 23.69 0.00 5.46 0.00 0.00 -0.00
time (sec) N/A 0.172 0.196 36.632 0.000 0.914 0.000 0.000 0.000
Problem 233 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F C F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 162 162 263 2543 0 830 0 0 -1
normalized size 1 1.00 1.62 15.70 0.00 5.12 0.00 0.00 -0.01
time (sec) N/A 0.111 0.139 4.738 0.000 0.656 0.000 0.000 0.000
Problem 234 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 79 79 78 180 182 498 0 0 -1
normalized size 1 1.00 0.99 2.28 2.30 6.30 0.00 0.00 -0.01
time (sec) N/A 0.048 0.022 0.547 0.463 1.010 0.000 0.000 0.000
Problem 235 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 18 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.041 0.990 4.151 0.000 0.559 0.000 0.000 0.000
Problem 236 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 395 395 346 6892 0 2160 0 0 -1
normalized size 1 1.00 0.88 17.45 0.00 5.47 0.00 0.00 -0.00
time (sec) N/A 0.500 0.340 34.684 0.000 0.962 0.000 0.000 0.000
Problem 237 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 295 295 257 6518 0 1688 0 0 -1
normalized size 1 1.00 0.87 22.09 0.00 5.72 0.00 0.00 -0.00
time (sec) N/A 0.397 0.156 4.678 0.000 0.828 0.000 0.000 0.000
Problem 238 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B B B F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 194 194 4654 612 372 1188 0 0 -1
normalized size 1 1.00 23.99 3.15 1.92 6.12 0.00 0.00 -0.01
time (sec) N/A 0.251 13.415 0.330 0.515 0.827 0.000 0.000 0.000
Problem 239 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 18 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.146 0.393 1.270 0.000 0.593 0.000 0.000 0.000
Problem 240 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C B C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 170 170 155 2339 341 348 0 0 -1
normalized size 1 1.00 0.91 13.76 2.01 2.05 0.00 0.00 -0.01
time (sec) N/A 0.304 0.224 5.882 0.351 0.506 0.000 0.000 0.000
Problem 241 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C B C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 133 133 119 2249 247 296 0 0 -1
normalized size 1 1.00 0.89 16.91 1.86 2.23 0.00 0.00 -0.01
time (sec) N/A 0.253 0.117 5.056 0.343 0.578 0.000 0.000 0.000
Problem 242 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B B B F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 93 93 766 292 265 221 0 0 -1
normalized size 1 1.00 8.24 3.14 2.85 2.38 0.00 0.00 -0.01
time (sec) N/A 0.155 3.851 0.521 0.430 0.633 0.000 0.000 0.000
Problem 243 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 23 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.089 0.811 1.823 0.000 0.712 0.000 0.000 0.000
Problem 244 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C B C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 171 171 156 2449 340 348 0 0 -1
normalized size 1 1.00 0.91 14.32 1.99 2.04 0.00 0.00 -0.01
time (sec) N/A 0.298 0.214 5.932 0.350 0.673 0.000 0.000 0.000
Problem 245 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C B C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 134 134 120 2351 246 296 0 0 -1
normalized size 1 1.00 0.90 17.54 1.84 2.21 0.00 0.00 -0.01
time (sec) N/A 0.245 0.119 4.913 0.342 0.741 0.000 0.000 0.000
Problem 246 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B B B F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 94 94 723 297 263 222 0 0 -1
normalized size 1 1.00 7.69 3.16 2.80 2.36 0.00 0.00 -0.01
time (sec) N/A 0.156 3.239 0.506 0.424 0.481 0.000 0.000 0.000
Problem 247 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 24 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.085 0.803 1.819 0.000 0.633 0.000 0.000 0.000
Problem 248 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B C F C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 302 302 654 7429 0 1566 0 0 -1
normalized size 1 1.00 2.17 24.60 0.00 5.19 0.00 0.00 -0.00
time (sec) N/A 0.235 0.311 49.151 0.000 0.800 0.000 0.000 0.000
Problem 249 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 234 234 409 5543 0 1080 0 0 -1
normalized size 1 1.00 1.75 23.69 0.00 4.62 0.00 0.00 -0.00
time (sec) N/A 0.171 0.198 40.199 0.000 0.722 0.000 0.000 0.000
Problem 250 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F C F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 162 162 263 2543 0 676 0 0 -1
normalized size 1 1.00 1.62 15.70 0.00 4.17 0.00 0.00 -0.01
time (sec) N/A 0.110 0.123 4.354 0.000 0.560 0.000 0.000 0.000
Problem 251 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 79 79 78 267 184 388 0 0 -1
normalized size 1 1.00 0.99 3.38 2.33 4.91 0.00 0.00 -0.01
time (sec) N/A 0.048 0.033 0.552 0.469 0.694 0.000 0.000 0.000
Problem 252 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 18 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.042 0.116 4.189 0.000 0.593 0.000 0.000 0.000
Problem 253 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 391 391 339 6698 0 1798 0 0 -1
normalized size 1 1.00 0.87 17.13 0.00 4.60 0.00 0.00 -0.00
time (sec) N/A 0.503 0.333 39.339 0.000 0.833 0.000 0.000 0.000
Problem 254 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 293 293 253 6348 0 1462 0 0 -1
normalized size 1 1.00 0.86 21.67 0.00 4.99 0.00 0.00 -0.00
time (sec) N/A 0.403 0.128 4.915 0.000 0.893 0.000 0.000 0.000
Problem 255 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B B B F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 194 194 4463 629 392 1098 0 0 -1
normalized size 1 1.00 23.01 3.24 2.02 5.66 0.00 0.00 -0.01
time (sec) N/A 0.249 13.100 0.585 0.542 0.750 0.000 0.000 0.000
Problem 256 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 18 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.093 0.441 1.455 0.000 0.578 0.000 0.000 0.000
Problem 257 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C B C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 168 168 155 2449 342 179 0 0 -1
normalized size 1 1.00 0.92 14.58 2.04 1.07 0.00 0.00 -0.01
time (sec) N/A 0.306 0.205 6.234 0.378 0.665 0.000 0.000 0.000
Problem 258 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C B C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 132 132 119 2351 248 156 0 0 -1
normalized size 1 1.00 0.90 17.81 1.88 1.18 0.00 0.00 -0.01
time (sec) N/A 0.257 0.117 5.269 0.366 0.725 0.000 0.000 0.000
Problem 259 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B B A F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 93 93 709 299 286 121 0 0 -1
normalized size 1 1.00 7.62 3.22 3.08 1.30 0.00 0.00 -0.01
time (sec) N/A 0.159 3.785 0.757 0.451 0.521 0.000 0.000 0.000
Problem 260 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 23 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.088 0.783 2.065 0.000 0.640 0.000 0.000 0.000
Problem 261 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C B C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 169 169 155 2339 343 179 0 0 -1
normalized size 1 1.00 0.92 13.84 2.03 1.06 0.00 0.00 -0.01
time (sec) N/A 0.295 0.213 5.973 0.406 0.681 0.000 0.000 0.000
Problem 262 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C B C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 133 133 119 2249 249 156 0 0 -1
normalized size 1 1.00 0.89 16.91 1.87 1.17 0.00 0.00 -0.01
time (sec) N/A 0.248 0.110 5.512 0.377 0.627 0.000 0.000 0.000
Problem 263 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B B A F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 94 94 605 304 288 121 0 0 -1
normalized size 1 1.00 6.44 3.23 3.06 1.29 0.00 0.00 -0.01
time (sec) N/A 0.150 2.942 0.703 0.454 0.712 0.000 0.000 0.000
Problem 264 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 24 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.080 0.829 2.073 0.000 0.596 0.000 0.000 0.000
Problem 265 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F C F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 160 160 131 920 0 326 0 0 -1
normalized size 1 1.00 0.82 5.75 0.00 2.04 0.00 0.00 -0.01
time (sec) N/A 0.574 0.302 0.536 0.000 0.598 0.000 0.000 0.000
Problem 266 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C C A A F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 297 297 236 4034 328 246 362 0 510
normalized size 1 1.00 0.79 13.58 1.10 0.83 1.22 0.00 1.72
time (sec) N/A 0.386 0.175 16.949 0.351 0.666 23.397 0.000 2.288
Problem 267 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C C A A F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 225 225 192 3320 269 195 286 0 414
normalized size 1 1.00 0.85 14.76 1.20 0.87 1.27 0.00 1.84
time (sec) N/A 0.256 0.151 12.627 0.349 0.522 9.881 0.000 2.280
Problem 268 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 140 140 129 2616 171 138 209 0 329
normalized size 1 1.00 0.92 18.69 1.22 0.99 1.49 0.00 2.35
time (sec) N/A 0.119 0.110 3.357 0.344 0.579 3.929 0.000 2.048
Problem 269 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F C C F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 381 381 0 864 167 0 0 0 -1
normalized size 1 1.00 0.00 2.27 0.44 0.00 0.00 0.00 -0.00
time (sec) N/A 0.439 0.223 4.559 0.536 0.502 0.000 0.000 0.000
Problem 270 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 247 247 161 0 0 0 0 0 -1
normalized size 1 1.00 0.65 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.488 0.159 11.444 0.000 0.865 0.000 0.000 0.000
Problem 271 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-2) F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 339 339 307 0 0 0 0 0 -1
normalized size 1 1.00 0.91 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.717 0.153 180.000 0.000 0.509 0.000 0.000 0.000
Problem 272 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C C A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 315 315 236 4194 314 249 345 0 497
normalized size 1 1.00 0.75 13.31 1.00 0.79 1.10 0.00 1.58
time (sec) N/A 0.749 0.159 4.748 0.339 0.608 15.301 0.000 2.339
Problem 273 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C C A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 247 247 183 3514 252 198 265 0 414
normalized size 1 1.00 0.74 14.23 1.02 0.80 1.07 0.00 1.68
time (sec) N/A 0.621 0.128 3.720 0.331 0.477 6.778 0.000 2.328
Problem 274 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C C A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 104 104 144 2210 178 130 155 0 315
normalized size 1 1.00 1.38 21.25 1.71 1.25 1.49 0.00 3.03
time (sec) N/A 0.198 0.019 1.798 0.332 0.572 2.303 0.000 2.089
Problem 275 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 105 94 332 0 0 0 0 0 -1
normalized size 1 0.90 3.16 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.269 0.206 5.649 0.000 0.572 0.000 0.000 0.000
Problem 276 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F(-2) F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 197 191 457 0 0 0 0 0 -1
normalized size 1 0.97 2.32 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.463 0.367 180.000 0.000 0.618 0.000 0.000 0.000
Problem 277 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F(-2) F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 256 250 0 0 0 0 0 0 -1
normalized size 1 0.98 0.00 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.670 0.297 180.000 0.000 0.442 0.000 0.000 0.000
Problem 278 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 512 512 677 8491 0 0 0 0 -1
normalized size 1 1.00 1.32 16.58 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.767 4.434 3.145 0.000 0.597 0.000 0.000 0.000
Problem 279 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 546 546 1287 0 0 0 0 0 -1
normalized size 1 1.00 2.36 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.387 3.223 2.963 0.000 0.645 0.000 0.000 0.000
Problem 280 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A F(-1) A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 101 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.252 0.240 1.488 0.000 0.498 0.000 0.000 0.000
Problem 281 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 560 560 1236 0 0 0 0 0 -1
normalized size 1 1.00 2.21 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.261 3.586 2.197 0.000 0.635 0.000 0.000 0.000
Problem 282 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 712 712 1318 936 0 0 0 0 -1
normalized size 1 1.00 1.85 1.31 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.113 5.904 4.682 0.000 0.612 0.000 0.000 0.000
Problem 283 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A B B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 25 25 51 31 58 64 0 0 -1
normalized size 1 1.00 2.04 1.24 2.32 2.56 0.00 0.00 -0.04
time (sec) N/A 0.012 0.035 0.100 0.318 0.577 0.000 0.000 0.000
Problem 284 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 51 51 71 62 59 94 0 0 -1
normalized size 1 1.00 1.39 1.22 1.16 1.84 0.00 0.00 -0.02
time (sec) N/A 0.047 0.025 0.065 0.322 0.582 0.000 0.000 0.000
Problem 285 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 70 70 93 79 76 119 0 0 -1
normalized size 1 1.00 1.33 1.13 1.09 1.70 0.00 0.00 -0.01
time (sec) N/A 0.073 0.026 0.064 0.319 0.687 0.000 0.000 0.000
Problem 286 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 41 41 68 67 107 137 0 0 -1
normalized size 1 1.00 1.66 1.63 2.61 3.34 0.00 0.00 -0.02
time (sec) N/A 0.016 0.083 0.069 0.330 0.630 0.000 0.000 0.000
Problem 287 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 83 83 113 153 108 198 0 0 -1
normalized size 1 1.00 1.36 1.84 1.30 2.39 0.00 0.00 -0.01
time (sec) N/A 0.064 0.045 0.075 0.343 0.643 0.000 0.000 0.000
Problem 288 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 119 119 149 185 142 247 0 0 -1
normalized size 1 1.00 1.25 1.55 1.19 2.08 0.00 0.00 -0.01
time (sec) N/A 0.099 0.042 0.073 0.346 0.573 0.000 0.000 0.000
Problem 289 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 168 168 108 164 202 283 0 0 -1
normalized size 1 1.00 0.64 0.98 1.20 1.68 0.00 0.00 -0.01
time (sec) N/A 0.132 0.086 0.150 0.333 0.579 0.000 0.000 0.000
Problem 290 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A C F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 216 216 177 590 194 395 0 0 -1
normalized size 1 1.00 0.82 2.73 0.90 1.83 0.00 0.00 -0.00
time (sec) N/A 2.714 0.112 0.185 0.376 0.659 0.000 0.000 0.000
Problem 291 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A C F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 269 269 235 666 254 479 0 0 -1
normalized size 1 1.00 0.87 2.48 0.94 1.78 0.00 0.00 -0.00
time (sec) N/A 2.586 0.076 0.184 0.375 0.705 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 F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 17 17 17 19 21 21 14 0 15
normalized size 1 1.00 1.00 1.12 1.24 1.24 0.82 0.00 0.88
time (sec) N/A 0.044 0.058 0.066 0.331 0.730 0.567 0.000 1.395
Problem 293 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 44 44 39 46 37 58 60 0 107
normalized size 1 1.00 0.89 1.05 0.84 1.32 1.36 0.00 2.43
time (sec) N/A 0.052 0.018 0.068 0.325 0.607 4.217 0.000 1.561
Problem 294 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A B F(-2) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 47 47 42 118 40 108 0 0 58
normalized size 1 1.00 0.89 2.51 0.85 2.30 0.00 0.00 1.23
time (sec) N/A 0.055 0.038 0.129 0.304 0.637 0.000 0.000 2.510
Problem 295 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C B B F(-1) F B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 107 107 153 794 184 233 0 0 187
normalized size 1 1.00 1.43 7.42 1.72 2.18 0.00 0.00 1.75
time (sec) N/A 0.155 0.181 0.513 0.415 0.590 0.000 0.000 1.672
Problem 296 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A A F(-1) F B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 49 49 60 824 64 92 0 0 119
normalized size 1 1.00 1.22 16.82 1.31 1.88 0.00 0.00 2.43
time (sec) N/A 0.079 0.093 0.430 0.326 0.496 0.000 0.000 1.830
Problem 297 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A A A F B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 45 45 46 349 43 25 66 0 28
normalized size 1 1.00 1.02 7.76 0.96 0.56 1.47 0.00 0.62
time (sec) N/A 0.060 0.095 0.384 0.335 0.584 3.118 0.000 0.103
Problem 298 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 45 45 46 68 42 25 0 35 28
normalized size 1 1.00 1.02 1.51 0.93 0.56 0.00 0.78 0.62
time (sec) N/A 0.059 0.092 0.294 0.315 0.526 0.000 0.137 1.205
Problem 299 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A A F(-1) F B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 49 49 59 939 64 93 0 0 111
normalized size 1 1.00 1.20 19.16 1.31 1.90 0.00 0.00 2.27
time (sec) N/A 0.071 0.089 0.482 0.334 0.667 0.000 0.000 1.437
Problem 300 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C B B F F B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 107 107 150 920 184 234 0 0 179
normalized size 1 1.00 1.40 8.60 1.72 2.19 0.00 0.00 1.67
time (sec) N/A 0.148 0.167 0.646 0.421 0.460 0.000 0.000 1.604

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 [75] had the largest ratio of [1.333]

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 4 3 1.00 8 0.375
2 A 4 3 1.00 8 0.375
3 A 4 3 1.00 8 0.375
4 A 4 3 1.00 8 0.375
5 A 3 3 1.00 6 0.500
6 A 2 2 1.00 4 0.500
7 A 1 1 1.00 8 0.125
8 A 5 5 1.00 8 0.625
9 A 3 3 1.00 8 0.375
10 A 4 3 1.00 8 0.375
11 A 4 3 1.00 8 0.375
12 A 15 7 1.00 10 0.700
13 A 14 9 1.00 10 0.900
14 A 10 7 1.00 10 0.700
15 A 9 8 1.00 10 0.800
16 A 5 5 1.00 8 0.625
17 A 5 5 1.00 6 0.833
18 A 6 5 1.00 10 0.500
19 A 4 4 1.00 10 0.400
20 A 8 7 1.00 10 0.700
21 A 8 7 1.00 10 0.700
22 A 13 8 1.00 10 0.800
23 A 33 11 1.00 10 1.100
24 A 22 11 1.00 10 1.100
25 A 18 10 1.00 10 1.000
26 A 11 9 1.00 10 0.900
27 A 8 8 1.00 8 1.000
28 A 5 6 1.00 6 1.000
29 A 8 6 1.00 10 0.600
30 A 5 6 1.00 10 0.600
31 A 7 6 1.00 10 0.600
32 A 14 11 1.00 10 1.100
33 A 16 8 1.00 10 0.800
34 A 1 1 1.00 14 0.071
35 A 4 4 1.00 14 0.286
36 A 4 4 1.00 14 0.286
37 A 5 5 1.00 14 0.357
38 A 5 4 1.00 12 0.333
39 A 27 13 1.00 14 0.929
40 A 25 13 1.00 14 0.929
41 A 23 11 1.00 14 0.786
42 A 0 0 0.00 0 0.000
43 A 0 0 0.00 0 0.000
44 A 5 6 1.00 16 0.375
45 A 7 9 1.00 16 0.562
46 A 8 9 1.00 16 0.562
47 A 8 9 1.00 16 0.562
48 A 3 3 1.00 15 0.200
49 A 2 2 1.00 15 0.133
50 A 1 1 1.00 15 0.067
51 A 2 2 1.00 15 0.133
52 A 3 2 1.00 15 0.133
53 A 1 1 1.00 14 0.071
54 A 1 1 1.00 14 0.071
55 A 4 4 1.00 14 0.286
56 A 4 4 1.00 13 0.308
57 A 1 1 1.00 12 0.083
58 A 3 3 1.00 13 0.231
59 A 2 2 1.00 12 0.167
60 A 4 3 1.00 13 0.231
61 A 3 3 1.00 12 0.250
62 A 7 5 1.00 10 0.500
63 A 7 5 1.00 10 0.500
64 A 7 5 1.00 8 0.625
65 A 3 3 1.00 6 0.500
66 A 5 5 1.00 10 0.500
67 A 7 5 1.00 10 0.500
68 A 5 4 1.00 10 0.400
69 A 19 15 1.00 12 1.250
70 A 15 13 1.00 12 1.083
71 A 12 10 1.00 10 1.000
72 A 6 6 1.00 8 0.750
73 A 2 2 1.00 12 0.167
74 A 17 15 1.00 12 1.250
75 A 21 16 1.00 12 1.333
76 A 37 7 0.89 16 0.438
77 A 5 5 1.00 14 0.357
78 A 37 10 1.23 16 0.625
79 A 57 11 1.00 16 0.688
80 A 55 16 1.00 18 0.889
81 A 65 19 1.00 18 1.056
82 A 12 8 1.00 19 0.421
83 A 6 4 1.00 10 0.400
84 A 5 4 1.00 8 0.500
85 A 4 4 1.00 6 0.667
86 A 2 2 1.00 10 0.200
87 A 4 4 1.00 10 0.400
88 A 5 4 1.00 10 0.400
89 A 3 2 1.00 12 0.167
90 A 3 2 1.00 12 0.167
91 A 2 2 1.00 12 0.167
92 A 4 4 1.00 12 0.333
93 A 2 2 1.00 10 0.200
94 A 3 3 1.00 4 0.750
95 A 2 2 1.00 10 0.200
96 A 4 4 1.00 12 0.333
97 A 5 4 1.00 14 0.286
98 A 2 2 1.00 14 0.143
99 A 6 6 1.00 14 0.429
100 A 3 3 1.00 12 0.250
101 A 3 3 1.00 19 0.158
102 A 7 5 1.00 18 0.278
103 A 7 5 1.00 18 0.278
104 A 7 5 1.00 16 0.312
105 A 4 3 1.00 10 0.300
106 A 5 5 1.00 18 0.278
107 A 7 5 1.00 18 0.278
108 A 5 4 1.00 18 0.222
109 A 16 13 1.00 20 0.650
110 A 13 10 1.00 18 0.556
111 A 6 6 1.00 12 0.500
112 A 2 2 1.00 20 0.100
113 A 21 19 1.01 20 0.950
114 A 21 14 1.00 20 0.700
115 A 15 11 1.00 18 0.611
116 A 6 7 1.00 12 0.583
117 A 2 2 1.00 20 0.100
118 A 30 18 1.00 20 0.900
119 A 6 4 1.00 18 0.222
120 A 0 0 0.00 0 0.000
121 A 0 0 0.00 0 0.000
122 A 0 0 0.00 0 0.000
123 A 9 7 1.00 40 0.175
124 A 7 6 1.00 40 0.150
125 A 2 3 1.00 38 0.079
126 A 0 0 0.00 0 0.000
127 A 0 0 0.00 0 0.000
128 A 2 2 1.00 11 0.182
129 A 2 2 1.00 11 0.182
130 A 2 2 1.00 9 0.222
131 A 2 2 1.00 7 0.286
132 A 2 2 1.00 11 0.182
133 A 2 2 1.00 11 0.182
134 A 2 2 1.00 11 0.182
135 A 2 2 1.00 11 0.182
136 A 3 2 1.00 13 0.154
137 A 3 2 1.00 13 0.154
138 A 3 2 1.00 13 0.154
139 A 3 3 1.00 11 0.273
140 A 2 2 1.00 9 0.222
141 A 3 3 1.00 13 0.231
142 A 3 3 1.00 13 0.231
143 A 3 2 1.00 13 0.154
144 A 1 1 1.00 13 0.077
145 A 2 2 1.00 13 0.154
146 A 4 2 1.00 13 0.154
147 A 4 2 1.00 13 0.154
148 A 4 2 1.00 13 0.154
149 A 4 3 1.00 13 0.231
150 A 3 3 1.00 11 0.273
151 A 2 2 1.00 9 0.222
152 A 4 3 1.00 13 0.231
153 A 4 4 1.00 13 0.308
154 A 4 3 1.00 13 0.231
155 A 4 2 1.00 13 0.154
156 A 1 1 1.00 13 0.077
157 A 2 2 1.00 13 0.154
158 A 1 1 1.00 13 0.077
159 A 5 4 1.00 13 0.308
160 A 4 4 1.00 13 0.308
161 A 3 3 1.00 11 0.273
162 A 2 2 1.00 9 0.222
163 A 4 3 1.00 13 0.231
164 A 5 4 1.00 13 0.308
165 A 6 4 1.00 13 0.308
166 A 2 2 1.00 13 0.154
167 A 6 5 1.00 13 0.385
168 A 5 5 1.00 13 0.385
169 A 4 4 1.00 13 0.308
170 A 3 3 1.00 11 0.273
171 A 2 2 1.00 9 0.222
172 A 5 4 1.00 13 0.308
173 A 6 5 1.00 13 0.385
174 A 7 5 1.00 13 0.385
175 A 3 2 1.00 13 0.154
176 A 6 5 1.00 13 0.385
177 A 5 4 1.00 13 0.308
178 A 4 3 1.00 13 0.231
179 A 3 3 1.00 11 0.273
180 A 2 2 1.00 9 0.222
181 A 6 4 1.00 13 0.308
182 A 7 5 1.00 13 0.385
183 A 8 5 1.00 13 0.385
184 A 1 1 1.00 13 0.077
185 A 6 3 1.00 13 0.231
186 A 5 3 1.00 13 0.231
187 A 4 3 1.00 13 0.231
188 A 3 3 1.00 11 0.273
189 A 2 2 1.00 9 0.222
190 A 1 1 1.00 13 0.077
191 A 2 2 1.00 13 0.154
192 A 3 2 1.00 13 0.154
193 A 2 2 1.00 11 0.182
194 A 2 2 1.00 11 0.182
195 A 2 2 1.00 9 0.222
196 A 2 2 1.00 7 0.286
197 A 2 2 1.00 11 0.182
198 A 2 2 1.00 11 0.182
199 A 2 2 1.00 11 0.182
200 A 6 4 1.00 3 1.333
201 A 8 5 1.00 5 1.000
202 A 10 6 1.00 7 0.857
203 A 11 6 1.00 15 0.400
204 A 9 5 1.00 13 0.385
205 A 7 4 1.00 11 0.364
206 A 0 0 0.00 0 0.000
207 A 8 7 1.00 16 0.438
208 A 7 7 1.00 16 0.438
209 A 6 6 1.00 14 0.429
210 A 5 5 1.00 12 0.417
211 A 0 0 0.00 0 0.000
212 A 8 7 1.00 19 0.368
213 A 7 7 1.00 19 0.368
214 A 6 6 1.00 17 0.353
215 A 5 5 1.00 15 0.333
216 A 0 0 0.00 0 0.000
217 A 11 6 1.00 15 0.400
218 A 9 5 1.00 13 0.385
219 A 7 4 1.00 11 0.364
220 A 0 0 0.00 0 0.000
221 A 8 7 1.00 16 0.438
222 A 7 7 1.00 16 0.438
223 A 6 6 1.00 14 0.429
224 A 5 5 1.00 12 0.417
225 A 0 0 0.00 0 0.000
226 A 8 7 1.00 19 0.368
227 A 7 7 1.00 19 0.368
228 A 6 6 1.00 17 0.353
229 A 5 5 1.00 15 0.333
230 A 0 0 0.00 0 0.000
231 A 12 6 1.00 15 0.400
232 A 10 6 1.00 15 0.400
233 A 8 5 1.00 13 0.385
234 A 6 4 1.00 7 0.571
235 A 0 0 0.00 0 0.000
236 A 11 6 1.00 15 0.400
237 A 9 5 1.00 13 0.385
238 A 7 4 1.00 11 0.364
239 A 0 0 0.00 0 0.000
240 A 7 7 1.00 20 0.350
241 A 6 6 1.00 18 0.333
242 A 5 5 1.00 16 0.312
243 A 0 0 0.00 0 0.000
244 A 7 7 1.00 21 0.333
245 A 6 6 1.00 19 0.316
246 A 5 5 1.00 17 0.294
247 A 0 0 0.00 0 0.000
248 A 12 6 1.00 15 0.400
249 A 10 6 1.00 15 0.400
250 A 8 5 1.00 13 0.385
251 A 6 4 1.00 7 0.571
252 A 0 0 0.00 0 0.000
253 A 11 6 1.00 15 0.400
254 A 9 5 1.00 13 0.385
255 A 7 4 1.00 11 0.364
256 A 0 0 0.00 0 0.000
257 A 7 7 1.00 20 0.350
258 A 6 6 1.00 18 0.333
259 A 5 5 1.00 16 0.312
260 A 0 0 0.00 0 0.000
261 A 7 7 1.00 21 0.333
262 A 6 6 1.00 19 0.316
263 A 5 5 1.00 17 0.294
264 A 0 0 0.00 0 0.000
265 A 11 8 1.00 24 0.333
266 A 23 11 1.00 27 0.407
267 A 14 11 1.00 27 0.407
268 A 7 8 1.00 25 0.320
269 A 21 11 1.00 27 0.407
270 A 13 13 1.00 27 0.482
271 A 17 14 1.00 27 0.518
272 A 26 15 1.00 27 0.556
273 A 21 15 1.00 27 0.556
274 A 9 8 1.00 24 0.333
275 A 8 8 0.90 27 0.296
276 A 17 16 0.97 27 0.593
277 A 26 18 0.98 27 0.667
278 A 22 17 1.00 22 0.773
279 A 38 20 1.00 21 0.952
280 A 0 0 0.00 0 0.000
281 A 38 22 1.00 24 0.917
282 A 32 17 1.00 24 0.708
283 A 2 2 1.00 4 0.500
284 A 7 4 1.00 6 0.667
285 A 9 5 1.00 8 0.625
286 A 2 2 1.00 8 0.250
287 A 7 4 1.00 10 0.400
288 A 9 5 1.00 12 0.417
289 A 6 6 1.00 12 0.500
290 A 25 8 1.00 14 0.571
291 A 29 9 1.00 16 0.562
292 A 1 1 1.00 20 0.050
293 A 4 4 1.00 12 0.333
294 A 4 4 1.00 14 0.286
295 A 8 7 1.00 20 0.350
296 A 5 5 1.00 20 0.250
297 A 3 2 1.00 20 0.100
298 A 3 2 1.00 20 0.100
299 A 5 5 1.00 20 0.250
300 A 8 7 1.00 20 0.350

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