[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, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385 }

B grade: { 344 }

C grade: { }

F grade: { }

2.1.2 Mathematica

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 134, 135, 136, 137, 138, 139, 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, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 295, 296, 297, 298, 299, 300, 301, 303, 304, 305, 306, 307, 308, 309, 310, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 344, 345, 346, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 365, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385 }

B grade: { }

C grade: { 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, 140, 141, 142, 143, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 248, 249, 250, 251, 252, 263, 264, 265, 266, 277, 278, 279, 280, 291, 292, 293, 294, 302, 311, 343, 347 }

F grade: { 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 236, 364, 366, 367, 368, 369, 370 }

2.1.3 Maple

A grade: { 1, 2, 3, 4, 5, 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, 44, 45, 46, 47, 48, 49, 50, 51, 140, 141, 165, 166, 202, 203, 248, 249, 250, 251, 252, 256, 257, 258, 263, 264, 265, 266, 270, 271, 272, 277, 278, 279, 280, 284, 285, 286, 291, 292, 293, 294, 298, 299, 300, 301, 302, 303, 304, 305, 306, 308, 310, 312, 314, 315, 316, 317, 318, 319, 321, 323, 324, 325, 326, 327, 328, 330, 332, 333, 335, 343, 347, 372, 373, 374, 375, 376, 377, 378, 380, 381, 382, 383, 384, 385 }

B grade: { 6, 35, 36, 37, 38, 39, 40, 41, 42, 43, 52, 53, 54, 55, 56, 57, 58, 59, 60, 162, 163, 164, 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, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 307, 309, 311, 313, 320, 322, 329, 331, 334, 336, 379 }

C grade: { 134, 135, 136, 137, 138, 139 }

F grade: { 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, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 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, 253, 254, 255, 259, 260, 261, 262, 267, 268, 269, 273, 274, 275, 276, 281, 282, 283, 287, 288, 289, 290, 295, 296, 297, 337, 338, 339, 340, 341, 342, 344, 345, 346, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371 }

2.1.4 Maxima

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, 44, 45, 46, 47, 48, 49, 50, 51, 52, 54, 55, 166, 191, 192, 193, 198, 199, 200, 201, 202, 203, 211, 248, 263, 277, 291, 301, 303, 304, 306, 307, 308, 315, 316, 317, 318, 322, 323, 325, 326, 333, 334, 335, 343, 372, 383, 384 }

B grade: { 53, 162, 163, 164, 165, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 204, 205, 206, 207, 208, 209, 210, 302, 305, 309, 319, 320, 321, 327, 336, 375, 376, 377, 385 }

C grade: { }

F grade: { 40, 41, 42, 43, 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, 194, 195, 196, 197, 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, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 292, 293, 294, 295, 296, 297, 298, 299, 300, 310, 311, 312, 313, 314, 324, 328, 329, 330, 331, 332, 337, 338, 339, 340, 341, 342, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 373, 374, 378, 379, 380, 381, 382 }

2.1.5 FriCAS

A grade: { 1, 2, 3, 4, 5, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 58, 59, 60, 61, 62, 63, 64, 66, 67, 68, 69, 70, 71, 72, 73, 74, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 94, 95, 96, 97, 98, 99, 100, 101, 103, 104, 105, 106, 107, 108, 109, 110, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 162, 163, 164, 165, 166, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 189, 190, 191, 192, 193, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 216, 217, 218, 219, 221, 222, 223, 226, 227, 228, 229, 231, 232, 233, 248, 249, 250, 251, 252, 256, 257, 258, 263, 264, 265, 266, 270, 271, 272, 277, 278, 279, 280, 284, 285, 286, 291, 292, 293, 294, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 319, 320, 321, 322, 325, 326, 327, 328, 329, 330, 331, 334, 335, 336, 343, 347, 372, 373, 374, 377, 378 }

B grade: { 6, 7, 23, 24, 39, 40, 56, 57, 65, 75, 93, 102, 111, 112, 167, 168, 169, 170, 185, 186, 187, 188, 194, 195, 196, 197, 212, 213, 214, 215, 220, 224, 225, 230, 234, 235, 310, 311, 312, 313, 314, 315, 316, 317, 318, 323, 324, 332, 333, 375, 376, 379, 380, 381, 384, 385 }

C grade: { }

F grade: { 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, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 253, 254, 255, 259, 260, 261, 262, 267, 268, 269, 273, 274, 275, 276, 281, 282, 283, 287, 288, 289, 290, 295, 296, 297, 337, 338, 339, 340, 341, 342, 344, 345, 346, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 382, 383 }

2.1.6 Sympy

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 27, 28, 29, 30, 31, 32, 33, 34, 44, 45, 46, 47, 48, 49, 50, 51, 141, 166, 171, 172, 173, 174, 175, 198, 199, 200, 201, 202, 301, 303, 305, 306, 308, 319, 321, 323, 324, 326, 377, 378 }

B grade: { 136, 137, 176, 177, 178, 179, 203, 204, 205, 206, 375, 376, 379 }

C grade: { }

F grade: { 19, 20, 21, 22, 23, 24, 25, 26, 35, 36, 37, 38, 39, 40, 41, 42, 43, 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, 138, 139, 140, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 167, 168, 169, 170, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 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, 302, 304, 307, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 320, 322, 325, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 380, 381, 382, 383, 384, 385 }

2.1.7 Giac

A grade: { 2, 4, 5, 11, 12, 13, 14, 15, 16, 17, 18, 27, 28, 29, 30, 31, 32, 33, 34, 37, 38, 49, 51, 162, 163, 164, 165, 166, 167, 168, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 189, 190, 191, 192, 193, 194, 195, 202, 207, 208, 209, 210, 248, 263, 277, 291, 301, 302, 303, 305, 306, 308, 309, 311, 313, 316, 318, 319, 321, 322, 323, 324, 325, 326, 331, 334, 343, 377 }

B grade: { 6, 7, 8, 9, 10, 39, 44, 45, 46, 47, 48, 50, 169, 170, 184, 185, 196, 197, 198, 199, 200, 201, 203, 204, 205, 206, 211, 212, 320, 327, 329, 336, 375, 376, 378, 379 }

C grade: { }

F grade: { 1, 3, 19, 20, 21, 22, 23, 24, 25, 26, 35, 36, 40, 41, 42, 43, 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, 186, 187, 188, 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, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 292, 293, 294, 295, 296, 297, 298, 299, 300, 304, 307, 310, 312, 314, 315, 317, 328, 330, 332, 333, 335, 337, 338, 339, 340, 341, 342, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 380, 381, 382, 383, 384, 385 }

2.1.8 Mupad

A grade: { }

B 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, 166, 167, 168, 171, 172, 173, 174, 175, 176, 177, 178, 179, 198, 199, 200, 201, 202, 203, 204, 205, 206, 248, 249, 250, 251, 252, 256, 257, 258, 263, 264, 265, 266, 270, 271, 272, 277, 278, 279, 280, 284, 285, 286, 291, 292, 293, 294, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 334, 335, 336, 343, 347, 372, 373, 376, 377, 378, 379, 380, 381, 384, 385 }

C grade: { }

F grade: { 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, 169, 170, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 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, 253, 254, 255, 259, 260, 261, 262, 267, 268, 269, 273, 274, 275, 276, 281, 282, 283, 287, 288, 289, 290, 295, 296, 297, 310, 311, 312, 313, 314, 315, 316, 317, 318, 332, 333, 337, 338, 339, 340, 341, 342, 344, 345, 346, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 374, 375, 382, 383 }

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(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 113 113 64 128 100 67 138 0 98
normalized size 1 1.00 0.57 1.13 0.88 0.59 1.22 0.00 0.87
time (sec) N/A 0.088 0.056 0.164 0.359 0.461 5.024 0.000 0.098
Problem 2 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 90 90 56 109 81 59 119 73 85
normalized size 1 1.00 0.62 1.21 0.90 0.66 1.32 0.81 0.94
time (sec) N/A 0.064 0.044 0.176 0.317 0.468 4.494 2.008 0.425
Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 75 75 46 89 62 51 75 0 71
normalized size 1 1.00 0.61 1.19 0.83 0.68 1.00 0.00 0.95
time (sec) N/A 0.047 0.034 0.182 0.317 0.427 3.213 0.000 0.411
Problem 4 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 42 42 38 69 42 43 51 54 51
normalized size 1 1.00 0.90 1.64 1.00 1.02 1.21 1.29 1.21
time (sec) N/A 0.019 0.028 0.168 0.332 0.431 3.122 0.122 0.041
Problem 5 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 29 29 26 48 25 37 68 41 32
normalized size 1 1.00 0.90 1.66 0.86 1.28 2.34 1.41 1.10
time (sec) N/A 0.009 0.015 0.104 0.320 0.446 1.253 0.135 0.037
Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A B A B B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 25 25 29 48 18 58 53 69 32
normalized size 1 1.00 1.16 1.92 0.72 2.32 2.12 2.76 1.28
time (sec) N/A 0.037 0.015 0.157 0.313 0.425 3.346 0.137 0.037
Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B A B B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 38 38 47 34 29 66 26 76 33
normalized size 1 1.00 1.24 0.89 0.76 1.74 0.68 2.00 0.87
time (sec) N/A 0.038 0.030 0.164 0.339 0.454 2.302 0.137 0.037
Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A B B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 63 63 57 53 48 83 48 155 52
normalized size 1 1.00 0.90 0.84 0.76 1.32 0.76 2.46 0.83
time (sec) N/A 0.050 0.042 0.161 0.331 1.198 2.911 0.150 0.040
Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A B B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 90 90 70 75 67 92 75 164 74
normalized size 1 1.00 0.78 0.83 0.74 1.02 0.83 1.82 0.82
time (sec) N/A 0.069 0.063 0.157 0.329 0.411 3.090 0.158 0.036
Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A B B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 113 113 76 97 86 101 122 240 95
normalized size 1 1.00 0.67 0.86 0.76 0.89 1.08 2.12 0.84
time (sec) N/A 0.090 0.063 0.162 0.333 0.467 4.301 0.157 0.031
Problem 11 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 48 48 48 55 56 46 42 48 43
normalized size 1 1.00 1.00 1.15 1.17 0.96 0.88 1.00 0.90
time (sec) N/A 0.036 0.022 0.042 0.429 0.445 0.125 0.114 0.418
Problem 12 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 39 39 39 47 47 37 32 39 36
normalized size 1 1.00 1.00 1.21 1.21 0.95 0.82 1.00 0.92
time (sec) N/A 0.028 0.015 0.045 0.433 0.464 0.130 0.147 0.421
Problem 13 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 29 29 29 38 38 29 24 30 27
normalized size 1 1.00 1.00 1.31 1.31 1.00 0.83 1.03 0.93
time (sec) N/A 0.019 0.012 0.043 0.441 0.380 0.104 0.138 0.062
Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 19 19 30 30 28 21 14 16 19
normalized size 1 1.00 1.58 1.58 1.47 1.11 0.74 0.84 1.00
time (sec) N/A 0.009 0.010 0.040 0.441 0.417 0.106 0.119 0.043
Problem 15 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 13 13 13 23 21 15 17 15 14
normalized size 1 1.00 1.00 1.77 1.62 1.15 1.31 1.15 1.08
time (sec) N/A 0.019 0.007 0.045 0.453 0.391 0.152 0.124 0.439
Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 26 26 26 34 31 26 32 23 17
normalized size 1 1.00 1.00 1.31 1.19 1.00 1.23 0.88 0.65
time (sec) N/A 0.024 0.010 0.047 0.442 0.396 0.163 0.132 0.062
Problem 17 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 36 36 36 45 42 39 42 32 27
normalized size 1 1.00 1.00 1.25 1.17 1.08 1.17 0.89 0.75
time (sec) N/A 0.027 0.012 0.046 0.430 0.421 0.185 0.115 0.079
Problem 18 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 48 48 48 55 51 47 54 42 34
normalized size 1 1.00 1.00 1.15 1.06 0.98 1.12 0.88 0.71
time (sec) N/A 0.030 0.014 0.050 0.416 0.405 0.206 0.140 0.072
Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 137 137 80 143 114 88 0 0 137
normalized size 1 1.00 0.58 1.04 0.83 0.64 0.00 0.00 1.00
time (sec) N/A 0.621 0.063 0.163 0.316 0.416 0.000 0.000 0.456
Problem 20 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 102 102 63 123 95 81 0 0 114
normalized size 1 1.00 0.62 1.21 0.93 0.79 0.00 0.00 1.12
time (sec) N/A 0.568 0.056 0.159 0.319 0.410 0.000 0.000 0.063
Problem 21 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 92 92 54 104 76 72 0 0 104
normalized size 1 1.00 0.59 1.13 0.83 0.78 0.00 0.00 1.13
time (sec) N/A 0.326 0.067 0.156 0.323 0.439 0.000 0.000 0.427
Problem 22 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 60 60 42 81 57 60 0 0 72
normalized size 1 1.00 0.70 1.35 0.95 1.00 0.00 0.00 1.20
time (sec) N/A 0.045 0.035 0.114 0.312 0.419 0.000 0.000 0.422
Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F F B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 51 51 55 77 46 100 0 0 73
normalized size 1 1.00 1.08 1.51 0.90 1.96 0.00 0.00 1.43
time (sec) N/A 0.663 0.044 0.143 0.321 0.447 0.000 0.000 0.428
Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F F B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 63 63 61 80 60 109 0 0 75
normalized size 1 1.00 0.97 1.27 0.95 1.73 0.00 0.00 1.19
time (sec) N/A 0.560 0.050 0.148 0.313 0.441 0.000 0.000 0.059
Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 92 92 79 105 81 131 0 0 99
normalized size 1 1.00 0.86 1.14 0.88 1.42 0.00 0.00 1.08
time (sec) N/A 0.601 0.082 0.153 0.311 0.483 0.000 0.000 0.426
Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 117 117 89 141 100 139 0 0 116
normalized size 1 1.00 0.76 1.21 0.85 1.19 0.00 0.00 0.99
time (sec) N/A 0.616 0.081 0.150 0.313 0.461 0.000 0.000 0.415
Problem 27 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 65 65 65 70 77 70 56 63 60
normalized size 1 1.00 1.00 1.08 1.18 1.08 0.86 0.97 0.92
time (sec) N/A 0.045 0.048 0.060 0.416 0.421 0.239 0.121 0.431
Problem 28 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 53 53 53 60 68 62 44 53 51
normalized size 1 1.00 1.00 1.13 1.28 1.17 0.83 1.00 0.96
time (sec) N/A 0.040 0.035 0.056 0.420 0.851 0.235 0.123 0.059
Problem 29 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 45 45 45 53 60 54 36 45 43
normalized size 1 1.00 1.00 1.18 1.33 1.20 0.80 1.00 0.96
time (sec) N/A 0.026 0.028 0.056 0.419 0.421 0.190 0.137 0.064
Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 31 31 42 41 45 43 22 26 32
normalized size 1 1.00 1.35 1.32 1.45 1.39 0.71 0.84 1.03
time (sec) N/A 0.014 0.021 0.052 0.425 0.522 0.173 0.121 0.427
Problem 31 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 16 16 16 15 22 18 10 14 14
normalized size 1 1.00 1.00 0.94 1.38 1.12 0.62 0.88 0.88
time (sec) N/A 0.022 0.010 0.054 0.423 0.536 0.211 0.132 0.077
Problem 32 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 38 38 38 45 53 60 44 37 37
normalized size 1 1.00 1.00 1.18 1.39 1.58 1.16 0.97 0.97
time (sec) N/A 0.031 0.026 0.059 0.424 0.419 0.297 0.141 0.450
Problem 33 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 52 52 52 60 69 78 60 47 43
normalized size 1 1.00 1.00 1.15 1.33 1.50 1.15 0.90 0.83
time (sec) N/A 0.035 0.041 0.056 0.423 0.469 0.347 0.123 0.468
Problem 34 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 62 62 62 68 77 86 71 59 55
normalized size 1 1.00 1.00 1.10 1.24 1.39 1.15 0.95 0.89
time (sec) N/A 0.039 0.040 0.058 0.419 0.466 0.382 0.137 0.130
Problem 35 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 90 90 56 187 76 59 0 0 85
normalized size 1 1.00 0.62 2.08 0.84 0.66 0.00 0.00 0.94
time (sec) N/A 0.066 0.047 0.190 0.426 0.457 0.000 0.000 0.063
Problem 36 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 75 75 46 168 59 51 0 0 71
normalized size 1 1.00 0.61 2.24 0.79 0.68 0.00 0.00 0.95
time (sec) N/A 0.047 0.035 0.165 0.437 0.571 0.000 0.000 0.416
Problem 37 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 42 42 38 152 42 43 0 54 51
normalized size 1 1.00 0.90 3.62 1.00 1.02 0.00 1.29 1.21
time (sec) N/A 0.020 0.028 0.155 0.428 0.544 0.000 0.121 0.404
Problem 38 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 29 29 26 97 25 37 0 42 32
normalized size 1 1.00 0.90 3.34 0.86 1.28 0.00 1.45 1.10
time (sec) N/A 0.009 0.015 0.102 0.428 0.442 0.000 0.121 0.405
Problem 39 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A B F B B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 25 25 29 121 26 58 0 68 32
normalized size 1 1.00 1.16 4.84 1.04 2.32 0.00 2.72 1.28
time (sec) N/A 0.037 0.015 0.162 0.474 0.464 0.000 0.141 0.038
Problem 40 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F B F F(-2) B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 38 38 47 194 0 66 0 0 33
normalized size 1 1.00 1.24 5.11 0.00 1.74 0.00 0.00 0.87
time (sec) N/A 0.037 0.027 0.168 0.000 0.487 0.000 0.000 0.036
Problem 41 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F A F F B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 63 63 57 219 0 83 0 0 52
normalized size 1 1.00 0.90 3.48 0.00 1.32 0.00 0.00 0.83
time (sec) N/A 0.051 0.044 0.167 0.000 0.438 0.000 0.000 0.039
Problem 42 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F A F F(-2) B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 90 90 70 237 0 92 0 0 74
normalized size 1 1.00 0.78 2.63 0.00 1.02 0.00 0.00 0.82
time (sec) N/A 0.070 0.054 0.170 0.000 0.446 0.000 0.000 0.035
Problem 43 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F A F F B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 113 113 76 259 0 101 0 0 95
normalized size 1 1.00 0.67 2.29 0.00 0.89 0.00 0.00 0.84
time (sec) N/A 0.089 0.064 0.179 0.000 0.460 0.000 0.000 0.033
Problem 44 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 49 49 49 55 44 46 42 80 43
normalized size 1 1.00 1.00 1.12 0.90 0.94 0.86 1.63 0.88
time (sec) N/A 0.035 0.021 0.053 0.319 0.406 0.124 0.117 0.056
Problem 45 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 40 40 40 47 35 37 32 68 36
normalized size 1 1.00 1.00 1.18 0.88 0.92 0.80 1.70 0.90
time (sec) N/A 0.030 0.014 0.053 0.319 0.469 0.128 0.117 0.415
Problem 46 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 30 30 30 38 28 29 24 58 27
normalized size 1 1.00 1.00 1.27 0.93 0.97 0.80 1.93 0.90
time (sec) N/A 0.021 0.012 0.052 0.330 0.401 0.106 0.129 0.420
Problem 47 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A B B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 20 20 30 30 16 21 15 67 19
normalized size 1 1.00 1.50 1.50 0.80 1.05 0.75 3.35 0.95
time (sec) N/A 0.010 0.011 0.050 0.327 0.439 0.114 0.133 0.409
Problem 48 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 14 14 14 23 12 15 17 47 14
normalized size 1 1.00 1.00 1.64 0.86 1.07 1.21 3.36 1.00
time (sec) N/A 0.020 0.007 0.055 0.320 0.408 0.151 0.131 0.451
Problem 49 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 27 27 27 34 34 26 32 37 17
normalized size 1 1.00 1.00 1.26 1.26 0.96 1.19 1.37 0.63
time (sec) N/A 0.026 0.011 0.066 0.327 0.422 0.156 0.133 0.420
Problem 50 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 37 37 37 45 50 39 42 63 26
normalized size 1 1.00 1.00 1.22 1.35 1.05 1.14 1.70 0.70
time (sec) N/A 0.027 0.012 0.059 0.332 0.400 0.182 0.133 0.068
Problem 51 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 49 49 49 55 57 47 54 77 33
normalized size 1 1.00 1.00 1.12 1.16 0.96 1.10 1.57 0.67
time (sec) N/A 0.032 0.015 0.059 0.326 0.422 0.209 0.136 0.430
Problem 52 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 137 137 80 296 216 88 0 0 138
normalized size 1 1.00 0.58 2.16 1.58 0.64 0.00 0.00 1.01
time (sec) N/A 0.624 0.062 0.179 0.455 0.409 0.000 0.000 0.466
Problem 53 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 102 102 63 224 181 81 0 0 115
normalized size 1 1.00 0.62 2.20 1.77 0.79 0.00 0.00 1.13
time (sec) N/A 0.574 0.056 0.172 0.441 0.411 0.000 0.000 0.071
Problem 54 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 92 92 60 226 112 72 0 0 105
normalized size 1 1.00 0.65 2.46 1.22 0.78 0.00 0.00 1.14
time (sec) N/A 0.324 0.046 0.169 0.454 0.420 0.000 0.000 0.421
Problem 55 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 60 60 42 219 65 60 0 0 73
normalized size 1 1.00 0.70 3.65 1.08 1.00 0.00 0.00 1.22
time (sec) N/A 0.044 0.036 0.111 0.453 0.487 0.000 0.000 0.416
Problem 56 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F B F F B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 52 52 55 257 0 100 0 0 74
normalized size 1 1.00 1.06 4.94 0.00 1.92 0.00 0.00 1.42
time (sec) N/A 0.572 0.045 0.171 0.000 0.437 0.000 0.000 0.433
Problem 57 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F B F F B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 64 64 61 305 0 109 0 0 76
normalized size 1 1.00 0.95 4.77 0.00 1.70 0.00 0.00 1.19
time (sec) N/A 0.552 0.053 0.168 0.000 0.409 0.000 0.000 0.422
Problem 58 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F A F F B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 93 93 79 376 0 131 0 0 100
normalized size 1 1.00 0.85 4.04 0.00 1.41 0.00 0.00 1.08
time (sec) N/A 0.593 0.087 0.175 0.000 0.439 0.000 0.000 0.432
Problem 59 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F A F F B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 118 118 89 392 0 139 0 0 117
normalized size 1 1.00 0.75 3.32 0.00 1.18 0.00 0.00 0.99
time (sec) N/A 0.604 0.082 0.176 0.000 0.556 0.000 0.000 0.066
Problem 60 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F A F F B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 139 139 95 416 0 146 0 0 139
normalized size 1 1.00 0.68 2.99 0.00 1.05 0.00 0.00 1.00
time (sec) N/A 0.662 0.088 0.193 0.000 0.479 0.000 0.000 0.434
Problem 61 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 339 339 82 0 0 244 0 0 -1
normalized size 1 1.00 0.24 0.00 0.00 0.72 0.00 0.00 -0.00
time (sec) N/A 0.228 0.041 0.248 0.000 0.611 0.000 0.000 0.000
Problem 62 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 295 295 63 0 0 236 0 0 -1
normalized size 1 1.00 0.21 0.00 0.00 0.80 0.00 0.00 -0.00
time (sec) N/A 0.179 0.023 0.168 0.000 0.524 0.000 0.000 0.000
Problem 63 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 268 268 41 0 0 209 0 0 -1
normalized size 1 1.00 0.15 0.00 0.00 0.78 0.00 0.00 -0.00
time (sec) N/A 0.147 0.030 0.112 0.000 0.461 0.000 0.000 0.000
Problem 64 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 267 267 97 0 0 243 0 0 -1
normalized size 1 1.00 0.36 0.00 0.00 0.91 0.00 0.00 -0.00
time (sec) N/A 0.174 0.040 0.161 0.000 0.432 0.000 0.000 0.000
Problem 65 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F B F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 92 92 71 0 0 151 0 0 -1
normalized size 1 1.00 0.77 0.00 0.00 1.64 0.00 0.00 -0.01
time (sec) N/A 0.034 0.020 0.162 0.000 0.448 0.000 0.000 0.000
Problem 66 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 132 132 81 0 0 175 0 0 -1
normalized size 1 1.00 0.61 0.00 0.00 1.33 0.00 0.00 -0.01
time (sec) N/A 0.043 0.024 0.164 0.000 0.506 0.000 0.000 0.000
Problem 67 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 170 170 93 0 0 183 0 0 -1
normalized size 1 1.00 0.55 0.00 0.00 1.08 0.00 0.00 -0.01
time (sec) N/A 0.063 0.028 0.167 0.000 0.435 0.000 0.000 0.000
Problem 68 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 202 202 99 0 0 192 0 0 -1
normalized size 1 1.00 0.49 0.00 0.00 0.95 0.00 0.00 -0.00
time (sec) N/A 0.079 0.033 0.162 0.000 0.434 0.000 0.000 0.000
Problem 69 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 240 240 111 0 0 199 0 0 -1
normalized size 1 1.00 0.46 0.00 0.00 0.83 0.00 0.00 -0.00
time (sec) N/A 0.102 0.037 0.165 0.000 0.451 0.000 0.000 0.000
Problem 70 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F(-1) F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 337 337 148 0 0 254 0 0 -1
normalized size 1 1.00 0.44 0.00 0.00 0.75 0.00 0.00 -0.00
time (sec) N/A 0.215 0.146 0.178 0.000 0.450 0.000 0.000 0.000
Problem 71 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 339 339 82 0 0 247 0 0 -1
normalized size 1 1.00 0.24 0.00 0.00 0.73 0.00 0.00 -0.00
time (sec) N/A 0.210 0.043 0.173 0.000 0.484 0.000 0.000 0.000
Problem 72 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 295 295 61 0 0 239 0 0 -1
normalized size 1 1.00 0.21 0.00 0.00 0.81 0.00 0.00 -0.00
time (sec) N/A 0.177 0.020 0.179 0.000 0.446 0.000 0.000 0.000
Problem 73 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 268 268 41 0 0 215 0 0 -1
normalized size 1 1.00 0.15 0.00 0.00 0.80 0.00 0.00 -0.00
time (sec) N/A 0.143 0.030 0.116 0.000 0.511 0.000 0.000 0.000
Problem 74 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 267 267 96 0 0 243 0 0 -1
normalized size 1 1.00 0.36 0.00 0.00 0.91 0.00 0.00 -0.00
time (sec) N/A 0.166 0.035 0.181 0.000 0.534 0.000 0.000 0.000
Problem 75 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F B F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 92 92 68 0 0 157 0 0 -1
normalized size 1 1.00 0.74 0.00 0.00 1.71 0.00 0.00 -0.01
time (sec) N/A 0.032 0.016 0.170 0.000 0.743 0.000 0.000 0.000
Problem 76 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 132 132 81 0 0 179 0 0 -1
normalized size 1 1.00 0.61 0.00 0.00 1.36 0.00 0.00 -0.01
time (sec) N/A 0.042 0.020 0.172 0.000 1.188 0.000 0.000 0.000
Problem 77 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 170 170 93 0 0 186 0 0 -1
normalized size 1 1.00 0.55 0.00 0.00 1.09 0.00 0.00 -0.01
time (sec) N/A 0.063 0.025 0.173 0.000 0.491 0.000 0.000 0.000
Problem 78 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F(-1) F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 202 202 99 0 0 195 0 0 -1
normalized size 1 1.00 0.49 0.00 0.00 0.97 0.00 0.00 -0.00
time (sec) N/A 0.081 0.033 0.168 0.000 0.440 0.000 0.000 0.000
Problem 79 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F(-1) F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 373 373 96 0 0 251 0 0 -1
normalized size 1 1.00 0.26 0.00 0.00 0.67 0.00 0.00 -0.00
time (sec) N/A 0.255 0.046 0.187 0.000 0.559 0.000 0.000 0.000
Problem 80 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F(-1) F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 371 371 86 0 0 244 0 0 -1
normalized size 1 1.00 0.23 0.00 0.00 0.66 0.00 0.00 -0.00
time (sec) N/A 0.244 0.037 0.197 0.000 0.524 0.000 0.000 0.000
Problem 81 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F(-1) F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 324 324 72 0 0 236 0 0 -1
normalized size 1 1.00 0.22 0.00 0.00 0.73 0.00 0.00 -0.00
time (sec) N/A 0.210 0.039 0.181 0.000 0.799 0.000 0.000 0.000
Problem 82 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F(-1) F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 299 299 41 0 0 209 0 0 -1
normalized size 1 1.00 0.14 0.00 0.00 0.70 0.00 0.00 -0.00
time (sec) N/A 0.178 0.041 0.121 0.000 0.424 0.000 0.000 0.000
Problem 83 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 293 293 112 0 0 267 0 0 -1
normalized size 1 1.00 0.38 0.00 0.00 0.91 0.00 0.00 -0.00
time (sec) N/A 0.219 0.044 0.179 0.000 0.729 0.000 0.000 0.000
Problem 84 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F(-1) F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 121 121 87 0 0 152 0 0 -1
normalized size 1 1.00 0.72 0.00 0.00 1.26 0.00 0.00 -0.01
time (sec) N/A 0.038 0.021 0.179 0.000 0.417 0.000 0.000 0.000
Problem 85 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F(-1) F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 163 163 99 0 0 176 0 0 -1
normalized size 1 1.00 0.61 0.00 0.00 1.08 0.00 0.00 -0.01
time (sec) N/A 0.051 0.025 0.184 0.000 1.007 0.000 0.000 0.000
Problem 86 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F(-1) F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 203 203 106 0 0 183 0 0 -1
normalized size 1 1.00 0.52 0.00 0.00 0.90 0.00 0.00 -0.00
time (sec) N/A 0.082 0.031 0.185 0.000 0.728 0.000 0.000 0.000
Problem 87 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F(-1) F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 233 233 118 0 0 192 0 0 -1
normalized size 1 1.00 0.51 0.00 0.00 0.82 0.00 0.00 -0.00
time (sec) N/A 0.100 0.037 0.187 0.000 0.519 0.000 0.000 0.000
Problem 88 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 337 337 127 0 0 255 0 0 -1
normalized size 1 1.00 0.38 0.00 0.00 0.76 0.00 0.00 -0.00
time (sec) N/A 0.213 0.108 0.188 0.000 0.541 0.000 0.000 0.000
Problem 89 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 339 339 73 0 0 247 0 0 -1
normalized size 1 1.00 0.22 0.00 0.00 0.73 0.00 0.00 -0.00
time (sec) N/A 0.216 0.032 0.178 0.000 0.452 0.000 0.000 0.000
Problem 90 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 295 295 63 0 0 238 0 0 -1
normalized size 1 1.00 0.21 0.00 0.00 0.81 0.00 0.00 -0.00
time (sec) N/A 0.173 0.018 0.179 0.000 0.497 0.000 0.000 0.000
Problem 91 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 268 268 41 0 0 213 0 0 -1
normalized size 1 1.00 0.15 0.00 0.00 0.79 0.00 0.00 -0.00
time (sec) N/A 0.146 0.030 0.119 0.000 0.421 0.000 0.000 0.000
Problem 92 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 267 267 96 0 0 243 0 0 -1
normalized size 1 1.00 0.36 0.00 0.00 0.91 0.00 0.00 -0.00
time (sec) N/A 0.161 0.033 0.177 0.000 0.469 0.000 0.000 0.000
Problem 93 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F B F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 92 92 69 0 0 156 0 0 -1
normalized size 1 1.00 0.75 0.00 0.00 1.70 0.00 0.00 -0.01
time (sec) N/A 0.035 0.016 0.167 0.000 0.458 0.000 0.000 0.000
Problem 94 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 132 132 81 0 0 178 0 0 -1
normalized size 1 1.00 0.61 0.00 0.00 1.35 0.00 0.00 -0.01
time (sec) N/A 0.043 0.020 0.215 0.000 0.443 0.000 0.000 0.000
Problem 95 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 170 170 92 0 0 186 0 0 -1
normalized size 1 1.00 0.54 0.00 0.00 1.09 0.00 0.00 -0.01
time (sec) N/A 0.069 0.027 0.171 0.000 0.489 0.000 0.000 0.000
Problem 96 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 202 202 99 0 0 195 0 0 -1
normalized size 1 1.00 0.49 0.00 0.00 0.97 0.00 0.00 -0.00
time (sec) N/A 0.081 0.034 0.171 0.000 0.463 0.000 0.000 0.000
Problem 97 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 337 337 127 0 0 251 0 0 -1
normalized size 1 1.00 0.38 0.00 0.00 0.74 0.00 0.00 -0.00
time (sec) N/A 0.217 0.115 0.189 0.000 0.432 0.000 0.000 0.000
Problem 98 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 339 339 73 0 0 243 0 0 -1
normalized size 1 1.00 0.22 0.00 0.00 0.72 0.00 0.00 -0.00
time (sec) N/A 0.219 0.031 0.191 0.000 0.449 0.000 0.000 0.000
Problem 99 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 295 295 63 0 0 236 0 0 -1
normalized size 1 1.00 0.21 0.00 0.00 0.80 0.00 0.00 -0.00
time (sec) N/A 0.178 0.016 0.180 0.000 0.477 0.000 0.000 0.000
Problem 100 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 268 268 39 0 0 210 0 0 -1
normalized size 1 1.00 0.15 0.00 0.00 0.78 0.00 0.00 -0.00
time (sec) N/A 0.150 0.041 0.126 0.000 0.508 0.000 0.000 0.000
Problem 101 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 267 267 97 0 0 243 0 0 -1
normalized size 1 1.00 0.36 0.00 0.00 0.91 0.00 0.00 -0.00
time (sec) N/A 0.168 0.031 0.178 0.000 0.632 0.000 0.000 0.000
Problem 102 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F B F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 92 92 69 0 0 152 0 0 -1
normalized size 1 1.00 0.75 0.00 0.00 1.65 0.00 0.00 -0.01
time (sec) N/A 0.032 0.018 0.199 0.000 1.111 0.000 0.000 0.000
Problem 103 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 132 132 81 0 0 175 0 0 -1
normalized size 1 1.00 0.61 0.00 0.00 1.33 0.00 0.00 -0.01
time (sec) N/A 0.043 0.035 0.187 0.000 0.418 0.000 0.000 0.000
Problem 104 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 170 170 93 0 0 183 0 0 -1
normalized size 1 1.00 0.55 0.00 0.00 1.08 0.00 0.00 -0.01
time (sec) N/A 0.065 0.027 0.188 0.000 0.421 0.000 0.000 0.000
Problem 105 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 202 202 99 0 0 191 0 0 -1
normalized size 1 1.00 0.49 0.00 0.00 0.95 0.00 0.00 -0.00
time (sec) N/A 0.081 0.037 0.199 0.000 0.499 0.000 0.000 0.000
Problem 106 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 373 373 100 0 0 306 0 0 -1
normalized size 1 1.00 0.27 0.00 0.00 0.82 0.00 0.00 -0.00
time (sec) N/A 0.254 0.045 0.187 0.000 0.426 0.000 0.000 0.000
Problem 107 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 371 371 91 0 0 298 0 0 -1
normalized size 1 1.00 0.25 0.00 0.00 0.80 0.00 0.00 -0.00
time (sec) N/A 0.241 0.033 0.181 0.000 0.423 0.000 0.000 0.000
Problem 108 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 324 324 63 0 0 292 0 0 -1
normalized size 1 1.00 0.19 0.00 0.00 0.90 0.00 0.00 -0.00
time (sec) N/A 0.206 0.031 0.175 0.000 0.652 0.000 0.000 0.000
Problem 109 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 299 299 39 0 0 262 0 0 -1
normalized size 1 1.00 0.13 0.00 0.00 0.88 0.00 0.00 -0.00
time (sec) N/A 0.172 0.050 0.115 0.000 0.580 0.000 0.000 0.000
Problem 110 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 293 293 106 0 0 330 0 0 -1
normalized size 1 1.00 0.36 0.00 0.00 1.13 0.00 0.00 -0.00
time (sec) N/A 0.219 0.069 0.171 0.000 0.560 0.000 0.000 0.000
Problem 111 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F B F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 121 121 69 0 0 213 0 0 -1
normalized size 1 1.00 0.57 0.00 0.00 1.76 0.00 0.00 -0.01
time (sec) N/A 0.039 0.019 0.173 0.000 0.618 0.000 0.000 0.000
Problem 112 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F B F(-1) F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 163 163 81 0 0 238 0 0 -1
normalized size 1 1.00 0.50 0.00 0.00 1.46 0.00 0.00 -0.01
time (sec) N/A 0.050 0.020 0.171 0.000 0.636 0.000 0.000 0.000
Problem 113 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F(-1) F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 203 203 93 0 0 246 0 0 -1
normalized size 1 1.00 0.46 0.00 0.00 1.21 0.00 0.00 -0.00
time (sec) N/A 0.079 0.027 0.170 0.000 0.750 0.000 0.000 0.000
Problem 114 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F(-1) F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 233 233 99 0 0 252 0 0 -1
normalized size 1 1.00 0.42 0.00 0.00 1.08 0.00 0.00 -0.00
time (sec) N/A 0.099 0.037 0.167 0.000 0.541 0.000 0.000 0.000
Problem 115 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 319 319 73 0 0 208 0 0 -1
normalized size 1 1.00 0.23 0.00 0.00 0.65 0.00 0.00 -0.00
time (sec) N/A 0.384 0.036 0.166 0.000 0.628 0.000 0.000 0.000
Problem 116 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 278 278 57 0 0 195 0 0 -1
normalized size 1 1.00 0.21 0.00 0.00 0.70 0.00 0.00 -0.00
time (sec) N/A 0.338 0.024 0.139 0.000 0.475 0.000 0.000 0.000
Problem 117 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 262 262 34 0 0 198 0 0 -1
normalized size 1 1.00 0.13 0.00 0.00 0.76 0.00 0.00 -0.00
time (sec) N/A 0.310 0.018 0.085 0.000 0.440 0.000 0.000 0.000
Problem 118 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 430 430 90 0 0 339 0 0 -1
normalized size 1 1.00 0.21 0.00 0.00 0.79 0.00 0.00 -0.00
time (sec) N/A 0.458 0.031 0.103 0.000 0.505 0.000 0.000 0.000
Problem 119 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 253 253 64 0 0 211 0 0 -1
normalized size 1 1.00 0.25 0.00 0.00 0.83 0.00 0.00 -0.00
time (sec) N/A 0.156 0.016 0.101 0.000 3.169 0.000 0.000 0.000
Problem 120 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 280 280 72 0 0 234 0 0 -1
normalized size 1 1.00 0.26 0.00 0.00 0.84 0.00 0.00 -0.00
time (sec) N/A 0.176 0.018 0.104 0.000 2.273 0.000 0.000 0.000
Problem 121 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 319 319 81 0 0 244 0 0 -1
normalized size 1 1.00 0.25 0.00 0.00 0.76 0.00 0.00 -0.00
time (sec) N/A 0.200 0.021 0.101 0.000 1.957 0.000 0.000 0.000
Problem 122 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 177 177 73 0 0 121 0 0 -1
normalized size 1 1.00 0.41 0.00 0.00 0.68 0.00 0.00 -0.01
time (sec) N/A 0.055 0.036 0.063 0.000 1.536 0.000 0.000 0.000
Problem 123 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 140 140 54 0 0 116 0 0 -1
normalized size 1 1.00 0.39 0.00 0.00 0.83 0.00 0.00 -0.01
time (sec) N/A 0.036 0.022 0.130 0.000 0.624 0.000 0.000 0.000
Problem 124 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 116 116 34 0 0 107 0 0 -1
normalized size 1 1.00 0.29 0.00 0.00 0.92 0.00 0.00 -0.01
time (sec) N/A 0.021 0.019 0.106 0.000 0.634 0.000 0.000 0.000
Problem 125 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 163 163 90 0 0 147 0 0 -1
normalized size 1 1.00 0.55 0.00 0.00 0.90 0.00 0.00 -0.01
time (sec) N/A 0.040 0.027 0.092 0.000 0.507 0.000 0.000 0.000
Problem 126 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 111 111 59 0 0 120 0 0 -1
normalized size 1 1.00 0.53 0.00 0.00 1.08 0.00 0.00 -0.01
time (sec) N/A 0.029 0.013 0.065 0.000 0.629 0.000 0.000 0.000
Problem 127 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 142 142 69 0 0 138 0 0 -1
normalized size 1 1.00 0.49 0.00 0.00 0.97 0.00 0.00 -0.01
time (sec) N/A 0.040 0.016 0.099 0.000 0.640 0.000 0.000 0.000
Problem 128 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 741 741 83 0 0 435 0 0 -1
normalized size 1 1.00 0.11 0.00 0.00 0.59 0.00 0.00 -0.00
time (sec) N/A 0.733 0.041 0.206 0.000 0.652 0.000 0.000 0.000
Problem 129 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 689 689 63 0 0 428 0 0 -1
normalized size 1 1.00 0.09 0.00 0.00 0.62 0.00 0.00 -0.00
time (sec) N/A 0.495 0.025 0.161 0.000 0.901 0.000 0.000 0.000
Problem 130 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 674 674 41 0 0 383 0 0 -1
normalized size 1 1.00 0.06 0.00 0.00 0.57 0.00 0.00 -0.00
time (sec) N/A 0.434 0.025 0.105 0.000 0.675 0.000 0.000 0.000
Problem 131 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 859 859 97 0 0 509 0 0 -1
normalized size 1 1.00 0.11 0.00 0.00 0.59 0.00 0.00 -0.00
time (sec) N/A 0.546 0.036 0.162 0.000 0.632 0.000 0.000 0.000
Problem 132 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 328 328 71 0 0 345 0 0 -1
normalized size 1 1.00 0.22 0.00 0.00 1.05 0.00 0.00 -0.00
time (sec) N/A 0.132 0.017 0.151 0.000 0.542 0.000 0.000 0.000
Problem 133 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 364 364 84 0 0 381 0 0 -1
normalized size 1 1.00 0.23 0.00 0.00 1.05 0.00 0.00 -0.00
time (sec) N/A 0.161 0.023 0.158 0.000 0.496 0.000 0.000 0.000
Problem 134 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 114 114 94 748 0 0 0 0 -1
normalized size 1 1.00 0.82 6.56 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.095 0.045 0.752 0.000 0.589 0.000 0.000 0.000
Problem 135 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 50 50 58 417 0 0 0 0 -1
normalized size 1 1.00 1.16 8.34 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.042 0.024 0.574 0.000 0.570 0.000 0.000 0.000
Problem 136 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 39 39 29 175 0 0 136 0 -1
normalized size 1 1.00 0.74 4.49 0.00 0.00 3.49 0.00 -0.03
time (sec) N/A 0.023 0.007 0.513 0.000 0.634 3.404 0.000 0.000
Problem 137 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 39 39 29 158 0 0 136 0 -1
normalized size 1 1.00 0.74 4.05 0.00 0.00 3.49 0.00 -0.03
time (sec) N/A 0.023 0.009 0.420 0.000 0.462 4.063 0.000 0.000
Problem 138 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 50 50 58 428 0 0 0 0 -1
normalized size 1 1.00 1.16 8.56 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.039 0.022 0.565 0.000 0.428 0.000 0.000 0.000
Problem 139 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 115 115 94 1196 0 0 0 0 -1
normalized size 1 1.00 0.82 10.40 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.090 0.043 0.744 0.000 0.460 0.000 0.000 0.000
Problem 140 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 159 159 113 146 0 0 0 0 -1
normalized size 1 1.00 0.71 0.92 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.774 0.085 0.428 0.000 0.469 0.000 0.000 0.000
Problem 141 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F A F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 79 79 85 71 0 0 95 0 -1
normalized size 1 1.00 1.08 0.90 0.00 0.00 1.20 0.00 -0.01
time (sec) N/A 0.041 0.037 0.313 0.000 0.464 3.130 0.000 0.000
Problem 142 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 79 79 85 0 0 0 0 0 -1
normalized size 1 1.00 1.08 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.040 0.042 0.449 0.000 0.486 0.000 0.000 0.000
Problem 143 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 159 159 113 0 0 0 0 0 -1
normalized size 1 1.00 0.71 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.705 0.083 0.476 0.000 0.468 0.000 0.000 0.000
Problem 144 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F F F(-1) F(-2) F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 36 36 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.03
time (sec) N/A 0.027 0.309 0.125 0.000 0.493 0.000 0.000 0.000
Problem 145 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F F F(-1) F(-2) F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 36 36 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.03
time (sec) N/A 0.026 0.265 0.120 0.000 0.455 0.000 0.000 0.000
Problem 146 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F F F F(-2) F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 36 36 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.03
time (sec) N/A 0.026 0.244 0.123 0.000 0.605 0.000 0.000 0.000
Problem 147 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F F F F(-2) F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 36 36 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.03
time (sec) N/A 0.026 0.268 0.114 0.000 0.451 0.000 0.000 0.000
Problem 148 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F F F F(-2) F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 36 36 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.03
time (sec) N/A 0.025 0.278 0.114 0.000 0.439 0.000 0.000 0.000
Problem 149 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F F F(-1) F(-2) F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 36 36 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.03
time (sec) N/A 0.026 0.339 0.115 0.000 0.535 0.000 0.000 0.000
Problem 150 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 38 38 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.03
time (sec) N/A 0.023 0.216 0.214 0.000 0.454 0.000 0.000 0.000
Problem 151 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 38 38 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.03
time (sec) N/A 0.023 0.209 0.193 0.000 0.466 0.000 0.000 0.000
Problem 152 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F F F(-1) F(-2) F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 36 36 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.03
time (sec) N/A 0.025 0.245 0.114 0.000 0.474 0.000 0.000 0.000
Problem 153 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 40 40 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.02
time (sec) N/A 0.028 0.249 0.171 0.000 0.447 0.000 0.000 0.000
Problem 154 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 171 171 210 0 0 0 0 0 -1
normalized size 1 1.00 1.23 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.114 0.198 0.135 0.000 0.439 0.000 0.000 0.000
Problem 155 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 159 159 116 0 0 0 0 0 -1
normalized size 1 1.00 0.73 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.086 0.054 0.133 0.000 0.453 0.000 0.000 0.000
Problem 156 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 107 107 105 0 0 0 0 0 -1
normalized size 1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.046 0.029 0.132 0.000 0.473 0.000 0.000 0.000
Problem 157 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 71 71 53 0 0 0 0 0 -1
normalized size 1 1.00 0.75 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.013 0.034 0.119 0.000 0.447 0.000 0.000 0.000
Problem 158 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 125 125 106 0 0 0 0 0 -1
normalized size 1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.050 0.029 0.132 0.000 0.450 0.000 0.000 0.000
Problem 159 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 79 79 82 0 0 0 0 0 -1
normalized size 1 1.00 1.04 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.031 0.016 0.132 0.000 0.529 0.000 0.000 0.000
Problem 160 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 120 120 114 0 0 0 0 0 -1
normalized size 1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.049 0.034 0.157 0.000 0.600 0.000 0.000 0.000
Problem 161 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 171 171 119 0 0 0 0 0 -1
normalized size 1 1.00 0.70 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.072 0.064 0.161 0.000 0.471 0.000 0.000 0.000
Problem 162 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A F A F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 276 276 217 656 749 175 0 214 -1
normalized size 1 1.00 0.79 2.38 2.71 0.63 0.00 0.78 -0.00
time (sec) N/A 0.201 0.526 0.200 0.356 0.494 0.000 0.196 0.000
Problem 163 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A F A F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 201 201 176 465 529 137 0 163 -1
normalized size 1 1.00 0.88 2.31 2.63 0.68 0.00 0.81 -0.00
time (sec) N/A 0.192 0.308 0.186 0.352 0.628 0.000 0.868 0.000
Problem 164 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A F A F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 171 171 135 302 351 106 0 117 -1
normalized size 1 1.00 0.79 1.77 2.05 0.62 0.00 0.68 -0.01
time (sec) N/A 0.125 0.143 0.177 0.348 0.476 0.000 0.195 0.000
Problem 165 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F A F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 110 110 108 171 209 77 0 76 -1
normalized size 1 1.00 0.98 1.55 1.90 0.70 0.00 0.69 -0.01
time (sec) N/A 0.075 0.122 0.170 0.331 0.432 0.000 0.188 0.000
Problem 166 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 52 52 28 69 62 60 36 51 97
normalized size 1 1.00 0.54 1.33 1.19 1.15 0.69 0.98 1.87
time (sec) N/A 0.034 0.021 0.109 0.329 0.436 3.414 0.482 1.092
Problem 167 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F A B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 89 89 142 157 233 155 0 112 118
normalized size 1 1.00 1.60 1.76 2.62 1.74 0.00 1.26 1.33
time (sec) N/A 0.075 0.080 0.165 0.331 0.468 0.000 3.919 1.149
Problem 168 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F A B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 130 130 120 236 239 227 0 145 218
normalized size 1 1.00 0.92 1.82 1.84 1.75 0.00 1.12 1.68
time (sec) N/A 0.064 0.087 0.171 0.322 0.496 0.000 0.232 1.676
Problem 169 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F B F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 201 201 154 405 424 455 0 475 -1
normalized size 1 1.00 0.77 2.01 2.11 2.26 0.00 2.36 -0.00
time (sec) N/A 0.138 0.136 0.175 0.344 0.450 0.000 0.218 0.000
Problem 170 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F B F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 283 283 247 611 644 700 0 900 -1
normalized size 1 1.00 0.87 2.16 2.28 2.47 0.00 3.18 -0.00
time (sec) N/A 0.183 0.286 0.181 0.351 0.568 0.000 0.289 0.000
Problem 171 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 92 92 92 347 150 105 114 130 201
normalized size 1 1.00 1.00 3.77 1.63 1.14 1.24 1.41 2.18
time (sec) N/A 0.083 0.078 0.044 0.451 0.478 0.502 0.125 0.585
Problem 172 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 72 255 118 77 78 88 153
normalized size 1 1.00 1.00 3.54 1.64 1.07 1.08 1.22 2.12
time (sec) N/A 0.059 0.071 0.044 0.428 0.473 0.380 0.134 0.532
Problem 173 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 54 54 54 176 87 53 49 57 107
normalized size 1 1.00 1.00 3.26 1.61 0.98 0.91 1.06 1.98
time (sec) N/A 0.048 0.035 0.042 0.420 0.414 0.311 0.135 0.513
Problem 174 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 37 37 37 107 66 35 32 36 60
normalized size 1 1.00 1.00 2.89 1.78 0.95 0.86 0.97 1.62
time (sec) N/A 0.030 0.023 0.041 0.441 0.502 0.224 0.133 0.129
Problem 175 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A A A B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 20 20 32 51 46 22 17 17 21
normalized size 1 1.00 1.60 2.55 2.30 1.10 0.85 0.85 1.05
time (sec) N/A 0.012 0.012 0.040 0.423 0.584 0.156 0.119 0.464
Problem 176 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 38 38 31 149 80 27 107 36 32
normalized size 1 1.00 0.82 3.92 2.11 0.71 2.82 0.95 0.84
time (sec) N/A 0.034 0.021 0.046 0.415 0.629 0.796 0.121 0.704
Problem 177 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 55 55 39 260 125 40 158 68 98
normalized size 1 1.00 0.71 4.73 2.27 0.73 2.87 1.24 1.78
time (sec) N/A 0.041 0.029 0.051 0.421 0.502 0.610 0.122 0.637
Problem 178 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 76 76 63 406 188 70 226 98 154
normalized size 1 1.00 0.83 5.34 2.47 0.92 2.97 1.29 2.03
time (sec) N/A 0.049 0.038 0.052 0.432 0.428 0.876 0.122 0.693
Problem 179 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 93 93 88 560 263 94 286 136 199
normalized size 1 1.00 0.95 6.02 2.83 1.01 3.08 1.46 2.14
time (sec) N/A 0.056 0.052 0.062 0.440 0.513 1.153 0.123 0.718
Problem 180 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A F A F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 324 324 249 933 3117 263 0 345 -1
normalized size 1 1.00 0.77 2.88 9.62 0.81 0.00 1.06 -0.00
time (sec) N/A 0.267 0.480 0.196 0.408 0.496 0.000 0.212 0.000
Problem 181 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A F A F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 249 249 201 711 2321 217 0 293 -1
normalized size 1 1.00 0.81 2.86 9.32 0.87 0.00 1.18 -0.00
time (sec) N/A 0.242 0.279 0.186 0.371 0.515 0.000 0.186 0.000
Problem 182 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A F A F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 227 227 160 519 1626 174 0 249 -1
normalized size 1 1.00 0.70 2.29 7.16 0.77 0.00 1.10 -0.00
time (sec) N/A 0.169 0.239 0.182 0.359 0.459 0.000 0.191 0.000
Problem 183 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A F A F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 163 163 132 358 1116 137 0 214 -1
normalized size 1 1.00 0.81 2.20 6.85 0.84 0.00 1.31 -0.01
time (sec) N/A 0.120 0.182 0.175 0.366 0.506 0.000 0.192 0.000
Problem 184 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A F B F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 94 94 45 362 740 102 0 183 -1
normalized size 1 1.00 0.48 3.85 7.87 1.09 0.00 1.95 -0.01
time (sec) N/A 0.042 0.045 0.111 0.344 0.520 0.000 0.211 0.000
Problem 185 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F B F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 134 134 196 818 738 381 0 259 -1
normalized size 1 1.00 1.46 6.10 5.51 2.84 0.00 1.93 -0.01
time (sec) N/A 0.095 0.800 0.171 0.345 0.512 0.000 0.363 0.000
Problem 186 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 176 176 145 1358 993 404 0 0 -1
normalized size 1 1.00 0.82 7.72 5.64 2.30 0.00 0.00 -0.01
time (sec) N/A 0.083 0.169 0.174 0.352 0.471 0.000 0.000 0.000
Problem 187 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 264 264 194 1955 1541 580 0 0 -1
normalized size 1 1.00 0.73 7.41 5.84 2.20 0.00 0.00 -0.00
time (sec) N/A 0.158 0.243 0.178 0.367 0.559 0.000 0.000 0.000
Problem 188 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 338 338 282 2624 2327 853 0 0 -1
normalized size 1 1.00 0.83 7.76 6.88 2.52 0.00 0.00 -0.00
time (sec) N/A 0.270 0.426 0.181 0.377 0.546 0.000 0.000 0.000
Problem 189 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A F A F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 276 276 248 1208 456 175 0 214 -1
normalized size 1 1.00 0.90 4.38 1.65 0.63 0.00 0.78 -0.00
time (sec) N/A 0.225 0.718 0.225 0.467 0.468 0.000 0.157 0.000
Problem 190 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A F A F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 201 201 202 894 308 137 0 163 -1
normalized size 1 1.00 1.00 4.45 1.53 0.68 0.00 0.81 -0.00
time (sec) N/A 0.194 0.516 0.190 0.440 0.515 0.000 0.148 0.000
Problem 191 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A F A F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 171 171 162 605 161 106 0 117 -1
normalized size 1 1.00 0.95 3.54 0.94 0.62 0.00 0.68 -0.01
time (sec) N/A 0.126 0.299 0.183 0.439 0.447 0.000 0.138 0.000
Problem 192 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A F A F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 110 110 131 350 97 77 0 78 -1
normalized size 1 1.00 1.19 3.18 0.88 0.70 0.00 0.71 -0.01
time (sec) N/A 0.076 0.137 0.175 0.430 0.469 0.000 0.161 0.000
Problem 193 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 52 52 28 122 35 60 0 52 -1
normalized size 1 1.00 0.54 2.35 0.67 1.15 0.00 1.00 -0.02
time (sec) N/A 0.034 0.020 0.110 0.425 0.551 0.000 0.128 0.000
Problem 194 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) B F A F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 89 89 142 283 0 155 0 77 -1
normalized size 1 1.00 1.60 3.18 0.00 1.74 0.00 0.87 -0.01
time (sec) N/A 0.065 0.077 0.177 0.000 0.471 0.000 0.151 0.000
Problem 195 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F B F A F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 130 130 119 602 0 227 0 147 -1
normalized size 1 1.00 0.92 4.63 0.00 1.75 0.00 1.13 -0.01
time (sec) N/A 0.064 0.083 0.184 0.000 0.489 0.000 0.230 0.000
Problem 196 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F B F B F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 201 201 154 1146 0 455 0 481 -1
normalized size 1 1.00 0.77 5.70 0.00 2.26 0.00 2.39 -0.00
time (sec) N/A 0.117 0.149 0.181 0.000 0.522 0.000 0.259 0.000
Problem 197 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F B F B F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 283 282 247 1738 0 700 0 906 -1
normalized size 1 1.00 0.87 6.14 0.00 2.47 0.00 3.20 -0.00
time (sec) N/A 0.183 0.299 0.201 0.000 0.521 0.000 0.232 0.000
Problem 198 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 99 99 95 292 102 105 117 235 165
normalized size 1 1.00 0.96 2.95 1.03 1.06 1.18 2.37 1.67
time (sec) N/A 0.086 0.074 0.056 0.318 0.462 0.516 0.122 0.166
Problem 199 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 77 77 77 211 74 77 80 173 129
normalized size 1 1.00 1.00 2.74 0.96 1.00 1.04 2.25 1.68
time (sec) N/A 0.059 0.063 0.056 0.318 0.439 0.486 0.126 0.538
Problem 200 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 59 59 55 143 52 53 53 120 90
normalized size 1 1.00 0.93 2.42 0.88 0.90 0.90 2.03 1.53
time (sec) N/A 0.048 0.034 0.056 0.320 0.527 0.359 0.138 0.537
Problem 201 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 40 40 40 85 36 35 32 80 51
normalized size 1 1.00 1.00 2.12 0.90 0.88 0.80 2.00 1.28
time (sec) N/A 0.032 0.023 0.056 0.316 0.442 0.249 0.138 0.503
Problem 202 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 23 23 32 40 19 22 19 38 21
normalized size 1 1.00 1.39 1.74 0.83 0.96 0.83 1.65 0.91
time (sec) N/A 0.013 0.012 0.054 0.318 0.508 0.216 0.133 0.060
Problem 203 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 41 41 34 74 47 27 102 77 34
normalized size 1 1.00 0.83 1.80 1.15 0.66 2.49 1.88 0.83
time (sec) N/A 0.036 0.021 0.056 0.330 0.443 0.972 0.135 0.715
Problem 204 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 62 62 42 152 113 40 156 106 100
normalized size 1 1.00 0.68 2.45 1.82 0.65 2.52 1.71 1.61
time (sec) N/A 0.042 0.027 0.062 0.325 0.453 0.741 0.121 0.654
Problem 205 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 83 81 66 246 163 70 226 157 156
normalized size 1 0.98 0.80 2.96 1.96 0.84 2.72 1.89 1.88
time (sec) N/A 0.052 0.040 0.065 0.340 0.462 0.958 0.136 0.698
Problem 206 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 104 102 91 349 222 94 286 202 199
normalized size 1 0.98 0.88 3.36 2.13 0.90 2.75 1.94 1.91
time (sec) N/A 0.061 0.050 0.062 0.341 0.434 1.402 0.124 0.772
Problem 207 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A F(-1) A F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 324 324 299 2058 1368 263 0 353 -1
normalized size 1 1.00 0.92 6.35 4.22 0.81 0.00 1.09 -0.00
time (sec) N/A 0.281 0.524 0.199 0.478 0.504 0.000 0.196 0.000
Problem 208 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A F(-1) A F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 249 249 244 1529 979 217 0 303 -1
normalized size 1 1.00 0.98 6.14 3.93 0.87 0.00 1.22 -0.00
time (sec) N/A 0.246 0.390 0.188 0.465 0.439 0.000 0.181 0.000
Problem 209 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A F(-1) A F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 229 229 198 1026 624 174 0 257 -1
normalized size 1 1.00 0.86 4.48 2.72 0.76 0.00 1.12 -0.00
time (sec) N/A 0.168 0.322 0.184 0.442 0.441 0.000 0.179 0.000
Problem 210 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A F(-1) A F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 163 163 157 676 293 137 0 219 -1
normalized size 1 1.00 0.96 4.15 1.80 0.84 0.00 1.34 -0.01
time (sec) N/A 0.119 0.335 0.183 0.438 0.478 0.000 0.148 0.000
Problem 211 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A F B F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 94 94 45 329 103 102 0 185 -1
normalized size 1 1.00 0.48 3.50 1.10 1.09 0.00 1.97 -0.01
time (sec) N/A 0.044 0.043 0.115 0.436 0.471 0.000 0.167 0.000
Problem 212 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F B F B F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 134 134 189 1278 0 381 0 263 -1
normalized size 1 1.00 1.41 9.54 0.00 2.84 0.00 1.96 -0.01
time (sec) N/A 0.094 0.658 0.145 0.000 0.493 0.000 0.331 0.000
Problem 213 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F B F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 178 178 145 1917 0 404 0 0 -1
normalized size 1 1.00 0.81 10.77 0.00 2.27 0.00 0.00 -0.01
time (sec) N/A 0.085 0.174 0.188 0.000 0.461 0.000 0.000 0.000
Problem 214 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F B F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 264 264 194 3042 0 580 0 0 -1
normalized size 1 1.00 0.73 11.52 0.00 2.20 0.00 0.00 -0.00
time (sec) N/A 0.160 0.269 0.198 0.000 0.486 0.000 0.000 0.000
Problem 215 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F B F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 339 339 275 4390 0 853 0 0 -1
normalized size 1 1.00 0.81 12.95 0.00 2.52 0.00 0.00 -0.00
time (sec) N/A 0.271 0.424 0.200 0.000 0.529 0.000 0.000 0.000
Problem 216 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F(-1) F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 494 494 121 0 0 554 0 0 -1
normalized size 1 1.00 0.24 0.00 0.00 1.12 0.00 0.00 -0.00
time (sec) N/A 0.405 0.095 0.345 0.000 0.508 0.000 0.000 0.000
Problem 217 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F(-1) F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 410 410 81 0 0 415 0 0 -1
normalized size 1 1.00 0.20 0.00 0.00 1.01 0.00 0.00 -0.00
time (sec) N/A 0.307 0.048 0.190 0.000 0.497 0.000 0.000 0.000
Problem 218 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 338 338 45 0 0 257 0 0 -1
normalized size 1 1.00 0.13 0.00 0.00 0.76 0.00 0.00 -0.00
time (sec) N/A 0.195 0.017 0.115 0.000 0.446 0.000 0.000 0.000
Problem 219 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 395 395 124 0 0 414 0 0 -1
normalized size 1 1.00 0.31 0.00 0.00 1.05 0.00 0.00 -0.00
time (sec) N/A 0.246 0.102 0.171 0.000 0.493 0.000 0.000 0.000
Problem 220 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F B F(-1) F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 205 205 110 0 0 612 0 0 -1
normalized size 1 1.00 0.54 0.00 0.00 2.99 0.00 0.00 -0.00
time (sec) N/A 0.103 0.034 0.168 0.000 0.605 0.000 0.000 0.000
Problem 221 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F(-1) F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 494 494 121 0 0 561 0 0 -1
normalized size 1 1.00 0.24 0.00 0.00 1.14 0.00 0.00 -0.00
time (sec) N/A 0.383 0.093 0.194 0.000 0.478 0.000 0.000 0.000
Problem 222 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F(-1) F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 410 410 79 0 0 421 0 0 -1
normalized size 1 1.00 0.19 0.00 0.00 1.03 0.00 0.00 -0.00
time (sec) N/A 0.292 0.047 0.190 0.000 0.463 0.000 0.000 0.000
Problem 223 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F(-1) F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 338 338 45 0 0 268 0 0 -1
normalized size 1 1.00 0.13 0.00 0.00 0.79 0.00 0.00 -0.00
time (sec) N/A 0.197 0.019 0.125 0.000 0.461 0.000 0.000 0.000
Problem 224 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F B F(-1) F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 427 427 122 0 0 690 0 0 -1
normalized size 1 1.00 0.29 0.00 0.00 1.62 0.00 0.00 -0.00
time (sec) N/A 0.251 0.096 0.181 0.000 0.514 0.000 0.000 0.000
Problem 225 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F B F(-1) F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 211 211 106 0 0 711 0 0 -1
normalized size 1 1.00 0.50 0.00 0.00 3.37 0.00 0.00 -0.00
time (sec) N/A 0.108 0.028 0.181 0.000 0.479 0.000 0.000 0.000
Problem 226 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 494 494 99 0 0 561 0 0 -1
normalized size 1 1.00 0.20 0.00 0.00 1.14 0.00 0.00 -0.00
time (sec) N/A 0.401 0.097 0.186 0.000 0.481 0.000 0.000 0.000
Problem 227 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 410 410 84 0 0 421 0 0 -1
normalized size 1 1.00 0.20 0.00 0.00 1.03 0.00 0.00 -0.00
time (sec) N/A 0.307 0.064 0.185 0.000 0.445 0.000 0.000 0.000
Problem 228 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 338 338 45 0 0 266 0 0 -1
normalized size 1 1.00 0.13 0.00 0.00 0.79 0.00 0.00 -0.00
time (sec) N/A 0.197 0.023 0.123 0.000 0.478 0.000 0.000 0.000
Problem 229 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 395 395 126 0 0 470 0 0 -1
normalized size 1 1.00 0.32 0.00 0.00 1.19 0.00 0.00 -0.00
time (sec) N/A 0.206 0.040 0.184 0.000 0.543 0.000 0.000 0.000
Problem 230 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F B F(-1) F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 210 210 107 0 0 728 0 0 -1
normalized size 1 1.00 0.51 0.00 0.00 3.47 0.00 0.00 -0.00
time (sec) N/A 0.101 0.032 0.172 0.000 0.469 0.000 0.000 0.000
Problem 231 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F(-1) F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 494 494 98 0 0 555 0 0 -1
normalized size 1 1.00 0.20 0.00 0.00 1.12 0.00 0.00 -0.00
time (sec) N/A 0.390 0.093 0.198 0.000 0.472 0.000 0.000 0.000
Problem 232 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F(-1) F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 410 410 84 0 0 415 0 0 -1
normalized size 1 1.00 0.20 0.00 0.00 1.01 0.00 0.00 -0.00
time (sec) N/A 0.297 0.045 0.190 0.000 0.626 0.000 0.000 0.000
Problem 233 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F A F(-1) F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 338 338 43 0 0 258 0 0 -1
normalized size 1 1.00 0.13 0.00 0.00 0.76 0.00 0.00 -0.00
time (sec) N/A 0.197 0.020 0.128 0.000 0.485 0.000 0.000 0.000
Problem 234 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F B F(-1) F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 427 427 128 0 0 629 0 0 -1
normalized size 1 1.00 0.30 0.00 0.00 1.47 0.00 0.00 -0.00
time (sec) N/A 0.240 0.043 0.194 0.000 0.540 0.000 0.000 0.000
Problem 235 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F B F(-1) F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 211 211 107 0 0 626 0 0 -1
normalized size 1 1.00 0.51 0.00 0.00 2.97 0.00 0.00 -0.00
time (sec) N/A 0.118 0.034 0.198 0.000 0.504 0.000 0.000 0.000
Problem 236 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F F F(-1) F(-1) F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 140 140 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.074 0.942 0.208 0.000 0.506 0.000 0.000 0.000
Problem 237 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 260 260 272 0 0 0 0 0 -1
normalized size 1 1.00 1.05 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.186 0.385 0.118 0.000 0.437 0.000 0.000 0.000
Problem 238 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 220 220 160 0 0 0 0 0 -1
normalized size 1 1.00 0.73 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.139 0.165 0.074 0.000 0.486 0.000 0.000 0.000
Problem 239 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 147 147 128 0 0 0 0 0 -1
normalized size 1 1.00 0.87 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.067 0.132 0.070 0.000 0.457 0.000 0.000 0.000
Problem 240 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 91 91 60 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.014 0.033 0.066 0.000 0.433 0.000 0.000 0.000
Problem 241 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 191 191 170 0 0 0 0 0 -1
normalized size 1 1.00 0.89 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.074 0.047 0.110 0.000 0.605 0.000 0.000 0.000
Problem 242 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 128 128 125 0 0 0 0 0 -1
normalized size 1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.043 0.026 0.105 0.000 0.489 0.000 0.000 0.000
Problem 243 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 207 207 173 0 0 0 0 0 -1
normalized size 1 1.00 0.84 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.109 0.081 0.124 0.000 0.459 0.000 0.000 0.000
Problem 244 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 102 102 102 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.075 0.032 0.306 0.000 0.519 0.000 0.000 0.000
Problem 245 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 63 63 63 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.037 0.015 0.273 0.000 0.447 0.000 0.000 0.000
Problem 246 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 61 61 61 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.026 0.013 0.066 0.000 0.469 0.000 0.000 0.000
Problem 247 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 60 60 45 0 0 0 0 0 -1
normalized size 1 1.00 0.75 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.011 0.019 0.063 0.000 0.472 0.000 0.000 0.000
Problem 248 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A A F A B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 13 13 35 13 12 12 0 12 12
normalized size 1 1.00 2.69 1.00 0.92 0.92 0.00 0.92 0.92
time (sec) N/A 0.026 0.008 0.038 0.435 0.433 0.000 0.128 0.534
Problem 249 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F A F F B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 50 50 60 39 0 39 0 0 44
normalized size 1 1.00 1.20 0.78 0.00 0.78 0.00 0.00 0.88
time (sec) N/A 0.050 0.024 0.041 0.000 0.532 0.000 0.000 0.556
Problem 250 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F A F F B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 83 83 114 55 0 66 0 0 74
normalized size 1 1.00 1.37 0.66 0.00 0.80 0.00 0.00 0.89
time (sec) N/A 0.078 0.285 0.041 0.000 0.544 0.000 0.000 0.624
Problem 251 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F A F F B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 116 116 123 71 0 93 0 0 104
normalized size 1 1.00 1.06 0.61 0.00 0.80 0.00 0.00 0.90
time (sec) N/A 0.110 0.303 0.040 0.000 0.468 0.000 0.000 0.687
Problem 252 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F A F F(-1) B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 149 149 153 87 0 120 0 0 134
normalized size 1 1.00 1.03 0.58 0.00 0.81 0.00 0.00 0.90
time (sec) N/A 0.140 0.324 0.042 0.000 0.515 0.000 0.000 0.738
Problem 253 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 98 98 98 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.075 0.024 0.295 0.000 0.506 0.000 0.000 0.000
Problem 254 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 97 97 97 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.070 0.020 0.291 0.000 0.533 0.000 0.000 0.000
Problem 255 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 93 93 93 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.071 0.021 0.290 0.000 0.644 0.000 0.000 0.000
Problem 256 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 35 35 35 37 0 42 0 0 33
normalized size 1 1.00 1.00 1.06 0.00 1.20 0.00 0.00 0.94
time (sec) N/A 0.036 0.019 0.040 0.000 0.508 0.000 0.000 0.602
Problem 257 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 60 54 0 70 0 0 78
normalized size 1 1.00 0.83 0.75 0.00 0.97 0.00 0.00 1.08
time (sec) N/A 0.073 0.038 0.037 0.000 0.477 0.000 0.000 0.646
Problem 258 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 108 108 79 70 0 97 0 0 120
normalized size 1 1.00 0.73 0.65 0.00 0.90 0.00 0.00 1.11
time (sec) N/A 0.113 0.040 0.037 0.000 0.658 0.000 0.000 0.666
Problem 259 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 90 90 90 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.070 0.029 0.319 0.000 0.677 0.000 0.000 0.000
Problem 260 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 53 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.039 0.016 0.265 0.000 0.521 0.000 0.000 0.000
Problem 261 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 51 51 51 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.026 0.013 0.065 0.000 0.501 0.000 0.000 0.000
Problem 262 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 46 46 37 0 0 0 0 0 -1
normalized size 1 1.00 0.80 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.012 0.024 0.062 0.000 0.552 0.000 0.000 0.000
Problem 263 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A A F A B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 18 18 34 16 15 15 0 15 15
normalized size 1 1.00 1.89 0.89 0.83 0.83 0.00 0.83 0.83
time (sec) N/A 0.028 0.008 0.036 0.431 0.560 0.000 0.123 0.532
Problem 264 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F A F F B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 53 53 55 40 0 40 0 0 46
normalized size 1 1.00 1.04 0.75 0.00 0.75 0.00 0.00 0.87
time (sec) N/A 0.057 0.022 0.037 0.000 0.477 0.000 0.000 0.577
Problem 265 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F A F F(-1) B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 88 88 86 57 0 68 0 0 79
normalized size 1 1.00 0.98 0.65 0.00 0.77 0.00 0.00 0.90
time (sec) N/A 0.089 0.137 0.041 0.000 0.565 0.000 0.000 0.623
Problem 266 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F A F F(-1) B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 123 123 122 73 0 95 0 0 111
normalized size 1 1.00 0.99 0.59 0.00 0.77 0.00 0.00 0.90
time (sec) N/A 0.120 0.273 0.042 0.000 0.483 0.000 0.000 0.666
Problem 267 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 88 88 88 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.080 0.024 0.325 0.000 0.478 0.000 0.000 0.000
Problem 268 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 87 87 87 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.074 0.022 0.290 0.000 0.450 0.000 0.000 0.000
Problem 269 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 87 87 87 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.076 0.020 0.288 0.000 0.501 0.000 0.000 0.000
Problem 270 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 37 37 37 39 0 44 0 0 35
normalized size 1 1.00 1.00 1.05 0.00 1.19 0.00 0.00 0.95
time (sec) N/A 0.040 0.018 0.039 0.000 0.475 0.000 0.000 0.608
Problem 271 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 76 76 62 56 0 72 0 0 80
normalized size 1 1.00 0.82 0.74 0.00 0.95 0.00 0.00 1.05
time (sec) N/A 0.081 0.037 0.037 0.000 0.428 0.000 0.000 0.219
Problem 272 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 114 114 81 72 0 99 0 0 122
normalized size 1 1.00 0.71 0.63 0.00 0.87 0.00 0.00 1.07
time (sec) N/A 0.125 0.040 0.040 0.000 0.421 0.000 0.000 0.694
Problem 273 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 102 0 0 0 0 0 -1
normalized size 1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.073 0.028 0.312 0.000 0.457 0.000 0.000 0.000
Problem 274 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 63 63 63 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.037 0.016 0.267 0.000 0.458 0.000 0.000 0.000
Problem 275 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 61 61 61 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.026 0.014 0.070 0.000 0.532 0.000 0.000 0.000
Problem 276 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 60 60 45 0 0 0 0 0 -1
normalized size 1 1.00 0.75 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.011 0.024 0.060 0.000 0.489 0.000 0.000 0.000
Problem 277 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A A F A B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 16 16 36 16 23 15 0 15 15
normalized size 1 1.00 2.25 1.00 1.44 0.94 0.00 0.94 0.94
time (sec) N/A 0.027 0.010 0.039 0.353 0.471 0.000 0.107 0.526
Problem 278 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F A F F B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 54 54 60 41 0 41 0 0 47
normalized size 1 1.00 1.11 0.76 0.00 0.76 0.00 0.00 0.87
time (sec) N/A 0.054 0.026 0.040 0.000 0.569 0.000 0.000 0.556
Problem 279 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F A F(-1) F B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 89 89 91 57 0 68 0 0 80
normalized size 1 1.00 1.02 0.64 0.00 0.76 0.00 0.00 0.90
time (sec) N/A 0.083 0.176 0.039 0.000 0.457 0.000 0.000 0.617
Problem 280 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F A F(-1) F B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 124 124 127 73 0 95 0 0 112
normalized size 1 1.00 1.02 0.59 0.00 0.77 0.00 0.00 0.90
time (sec) N/A 0.119 0.389 0.040 0.000 0.456 0.000 0.000 0.678
Problem 281 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 98 98 98 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.076 0.026 0.291 0.000 0.463 0.000 0.000 0.000
Problem 282 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 97 97 97 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.071 0.023 0.290 0.000 0.457 0.000 0.000 0.000
Problem 283 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 93 93 93 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.076 0.026 0.283 0.000 0.439 0.000 0.000 0.000
Problem 284 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 38 38 37 39 0 44 0 0 35
normalized size 1 1.00 0.97 1.03 0.00 1.16 0.00 0.00 0.92
time (sec) N/A 0.039 0.025 0.039 0.000 0.428 0.000 0.000 0.626
Problem 285 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 77 77 62 56 0 72 0 0 81
normalized size 1 1.00 0.81 0.73 0.00 0.94 0.00 0.00 1.05
time (sec) N/A 0.080 0.050 0.038 0.000 0.418 0.000 0.000 0.650
Problem 286 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 115 115 81 72 0 99 0 0 123
normalized size 1 1.00 0.70 0.63 0.00 0.86 0.00 0.00 1.07
time (sec) N/A 0.124 0.051 0.038 0.000 0.415 0.000 0.000 0.667
Problem 287 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 90 90 90 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.068 0.027 0.312 0.000 0.473 0.000 0.000 0.000
Problem 288 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 53 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.037 0.017 0.272 0.000 0.413 0.000 0.000 0.000
Problem 289 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 51 51 51 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.026 0.015 0.066 0.000 0.409 0.000 0.000 0.000
Problem 290 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 46 46 37 0 0 0 0 0 -1
normalized size 1 1.00 0.80 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.011 0.023 0.064 0.000 0.448 0.000 0.000 0.000
Problem 291 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A A F A B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 18 18 34 18 23 15 0 15 15
normalized size 1 1.00 1.89 1.00 1.28 0.83 0.00 0.83 0.83
time (sec) N/A 0.028 0.009 0.037 0.341 0.441 0.000 0.125 0.532
Problem 292 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F A F F B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 54 54 55 42 0 40 0 0 47
normalized size 1 1.00 1.02 0.78 0.00 0.74 0.00 0.00 0.87
time (sec) N/A 0.058 0.025 0.039 0.000 0.475 0.000 0.000 0.566
Problem 293 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F A F(-1) F(-1) B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 89 89 85 59 0 68 0 0 79
normalized size 1 1.00 0.96 0.66 0.00 0.76 0.00 0.00 0.89
time (sec) N/A 0.088 0.175 0.039 0.000 0.443 0.000 0.000 0.621
Problem 294 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F A F(-1) F(-1) B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 124 124 121 75 0 95 0 0 111
normalized size 1 1.00 0.98 0.60 0.00 0.77 0.00 0.00 0.90
time (sec) N/A 0.121 0.369 0.039 0.000 0.491 0.000 0.000 0.672
Problem 295 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 88 88 88 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.079 0.028 0.313 0.000 0.531 0.000 0.000 0.000
Problem 296 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 87 87 87 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.072 0.021 0.291 0.000 0.436 0.000 0.000 0.000
Problem 297 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 87 87 87 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.075 0.022 0.297 0.000 0.478 0.000 0.000 0.000
Problem 298 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 38 38 37 41 0 44 0 0 35
normalized size 1 1.00 0.97 1.08 0.00 1.16 0.00 0.00 0.92
time (sec) N/A 0.039 0.024 0.037 0.000 0.429 0.000 0.000 0.178
Problem 299 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 77 77 62 58 0 72 0 0 81
normalized size 1 1.00 0.81 0.75 0.00 0.94 0.00 0.00 1.05
time (sec) N/A 0.080 0.052 0.036 0.000 0.507 0.000 0.000 0.633
Problem 300 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 115 115 81 74 0 99 0 0 123
normalized size 1 1.00 0.70 0.64 0.00 0.86 0.00 0.00 1.07
time (sec) N/A 0.125 0.056 0.039 0.000 0.503 0.000 0.000 0.661
Problem 301 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 50 50 42 45 63 53 37 30 49
normalized size 1 1.00 0.84 0.90 1.26 1.06 0.74 0.60 0.98
time (sec) N/A 0.043 0.025 0.060 0.428 0.508 0.308 0.147 0.135
Problem 302 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B A F A B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 73 73 48 113 112 86 0 24 92
normalized size 1 1.00 0.66 1.55 1.53 1.18 0.00 0.33 1.26
time (sec) N/A 0.039 0.014 0.181 0.324 0.433 0.000 0.151 0.530
Problem 303 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 30 30 30 40 44 31 19 25 28
normalized size 1 1.00 1.00 1.33 1.47 1.03 0.63 0.83 0.93
time (sec) N/A 0.038 0.018 0.056 0.426 0.411 0.163 0.119 0.491
Problem 304 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 41 41 52 63 40 54 0 0 55
normalized size 1 1.00 1.27 1.54 0.98 1.32 0.00 0.00 1.34
time (sec) N/A 0.035 0.033 0.170 0.325 0.432 0.000 0.000 0.489
Problem 305 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 15 15 15 26 24 15 10 13 15
normalized size 1 1.00 1.00 1.73 1.60 1.00 0.67 0.87 1.00
time (sec) N/A 0.029 0.006 0.036 0.428 0.431 0.058 0.109 0.474
Problem 306 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 16 16 16 26 12 15 14 13 15
normalized size 1 1.00 1.00 1.62 0.75 0.94 0.88 0.81 0.94
time (sec) N/A 0.032 0.006 0.033 0.319 0.392 0.054 0.112 0.475
Problem 307 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A F F B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 41 41 56 143 33 54 0 0 56
normalized size 1 1.00 1.37 3.49 0.80 1.32 0.00 0.00 1.37
time (sec) N/A 0.035 0.066 0.184 0.434 0.483 0.000 0.000 0.486
Problem 308 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 32 32 32 41 41 31 19 28 29
normalized size 1 1.00 1.00 1.28 1.28 0.97 0.59 0.88 0.91
time (sec) N/A 0.038 0.016 0.052 0.316 0.511 0.158 0.136 0.493
Problem 309 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A F A B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 73 73 82 262 108 86 0 24 93
normalized size 1 1.00 1.12 3.59 1.48 1.18 0.00 0.33 1.27
time (sec) N/A 0.038 0.085 0.186 0.423 0.476 0.000 0.151 0.102
Problem 310 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 131 131 69 84 0 366 0 0 -1
normalized size 1 1.00 0.53 0.64 0.00 2.79 0.00 0.00 -0.01
time (sec) N/A 0.083 0.041 0.197 0.000 0.602 0.000 0.000 0.000
Problem 311 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F B F A F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 96 96 71 800 0 187 0 139 -1
normalized size 1 1.00 0.74 8.33 0.00 1.95 0.00 1.45 -0.01
time (sec) N/A 0.085 0.025 0.242 0.000 0.613 0.000 0.283 0.000
Problem 312 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 84 84 55 61 0 360 0 0 -1
normalized size 1 1.00 0.65 0.73 0.00 4.29 0.00 0.00 -0.01
time (sec) N/A 0.077 0.031 0.159 0.000 0.571 0.000 0.000 0.000
Problem 313 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F B F A F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 63 63 91 204 0 152 0 72 -1
normalized size 1 1.00 1.44 3.24 0.00 2.41 0.00 1.14 -0.02
time (sec) N/A 0.060 0.039 0.181 0.000 0.434 0.000 0.173 0.000
Problem 314 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 42 42 42 53 0 255 0 0 -1
normalized size 1 1.00 1.00 1.26 0.00 6.07 0.00 0.00 -0.02
time (sec) N/A 0.065 0.016 0.099 0.000 0.479 0.000 0.000 0.000
Problem 315 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 43 43 43 42 15 255 0 0 -1
normalized size 1 1.00 1.00 0.98 0.35 5.93 0.00 0.00 -0.02
time (sec) N/A 0.066 0.017 0.047 0.336 0.539 0.000 0.000 0.000
Problem 316 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 63 63 117 87 40 152 0 70 -1
normalized size 1 1.00 1.86 1.38 0.63 2.41 0.00 1.11 -0.02
time (sec) N/A 0.061 0.065 0.218 0.422 0.547 0.000 0.205 0.000
Problem 317 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 86 86 60 66 35 360 0 0 -1
normalized size 1 1.00 0.70 0.77 0.41 4.19 0.00 0.00 -0.01
time (sec) N/A 0.076 0.033 0.155 0.336 0.621 0.000 0.000 0.000
Problem 318 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 96 96 132 136 76 187 0 137 -1
normalized size 1 1.00 1.38 1.42 0.79 1.95 0.00 1.43 -0.01
time (sec) N/A 0.078 0.096 0.192 0.422 0.506 0.000 0.250 0.000
Problem 319 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 35 35 24 20 59 35 37 19 21
normalized size 1 1.00 0.69 0.57 1.69 1.00 1.06 0.54 0.60
time (sec) N/A 0.038 0.019 0.057 0.428 0.422 0.311 0.115 0.097
Problem 320 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 67 67 47 269 95 76 0 111 41
normalized size 1 1.00 0.70 4.01 1.42 1.13 0.00 1.66 0.61
time (sec) N/A 0.039 0.017 0.178 0.333 0.435 0.000 0.175 0.515
Problem 321 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 19 19 18 15 35 22 20 13 24
normalized size 1 1.00 0.95 0.79 1.84 1.16 1.05 0.68 1.26
time (sec) N/A 0.032 0.022 0.056 0.425 0.381 0.190 0.140 0.500
Problem 322 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 67 67 48 104 45 51 0 66 33
normalized size 1 1.00 0.72 1.55 0.67 0.76 0.00 0.99 0.49
time (sec) N/A 0.039 0.014 0.178 0.322 0.473 0.000 0.139 0.496
Problem 323 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 28 28 21 38 28 49 34 41 23
normalized size 1 1.00 0.75 1.36 1.00 1.75 1.21 1.46 0.82
time (sec) N/A 0.042 0.018 0.040 0.426 0.452 0.210 0.137 0.482
Problem 324 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) B A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 29 29 21 25 0 49 34 44 25
normalized size 1 1.00 0.72 0.86 0.00 1.69 1.17 1.52 0.86
time (sec) N/A 0.041 0.017 0.097 0.000 0.562 0.204 0.133 0.482
Problem 325 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 67 67 48 93 59 51 0 66 31
normalized size 1 1.00 0.72 1.39 0.88 0.76 0.00 0.99 0.46
time (sec) N/A 0.040 0.014 0.175 0.415 0.504 0.000 0.158 0.060
Problem 326 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 19 19 18 16 13 22 22 14 24
normalized size 1 1.00 0.95 0.84 0.68 1.16 1.16 0.74 1.26
time (sec) N/A 0.032 0.021 0.034 0.319 0.368 0.172 0.111 0.051
Problem 327 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 67 67 47 92 100 76 0 111 40
normalized size 1 1.00 0.70 1.37 1.49 1.13 0.00 1.66 0.60
time (sec) N/A 0.039 0.017 0.175 0.320 0.459 0.000 0.195 0.516
Problem 328 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 95 95 56 48 0 101 0 0 48
normalized size 1 1.00 0.59 0.51 0.00 1.06 0.00 0.00 0.51
time (sec) N/A 0.080 0.033 0.165 0.000 0.494 0.000 0.000 1.620
Problem 329 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F A F B B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 69 69 77 940 0 67 0 135 46
normalized size 1 1.00 1.12 13.62 0.00 0.97 0.00 1.96 0.67
time (sec) N/A 0.065 0.038 0.193 0.000 0.516 0.000 0.158 0.979
Problem 330 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 49 49 57 44 0 71 0 0 41
normalized size 1 1.00 1.16 0.90 0.00 1.45 0.00 0.00 0.84
time (sec) N/A 0.069 0.041 0.096 0.000 0.480 0.000 0.000 1.245
Problem 331 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F A F A B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 54 54 78 398 0 47 0 76 32
normalized size 1 1.00 1.44 7.37 0.00 0.87 0.00 1.41 0.59
time (sec) N/A 0.055 0.032 0.182 0.000 0.555 0.000 0.180 0.652
Problem 332 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) B F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 88 88 51 54 0 317 0 0 -1
normalized size 1 1.00 0.58 0.61 0.00 3.60 0.00 0.00 -0.01
time (sec) N/A 0.081 0.035 0.182 0.000 0.479 0.000 0.000 0.000
Problem 333 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 89 89 60 86 52 317 0 0 -1
normalized size 1 1.00 0.67 0.97 0.58 3.56 0.00 0.00 -0.01
time (sec) N/A 0.081 0.041 0.197 0.332 0.477 0.000 0.000 0.000
Problem 334 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A F A B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 54 54 78 137 59 47 0 75 32
normalized size 1 1.00 1.44 2.54 1.09 0.87 0.00 1.39 0.59
time (sec) N/A 0.055 0.037 0.181 0.327 0.456 0.000 0.254 0.652
Problem 335 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 49 49 57 45 29 71 0 0 49
normalized size 1 1.00 1.16 0.92 0.59 1.45 0.00 0.00 1.00
time (sec) N/A 0.072 0.048 0.041 0.335 0.540 0.000 0.000 1.065
Problem 336 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A F B B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 69 69 77 307 120 67 0 134 45
normalized size 1 1.00 1.12 4.45 1.74 0.97 0.00 1.94 0.65
time (sec) N/A 0.066 0.046 0.185 0.332 0.720 0.000 0.166 0.996
Problem 337 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 86 86 90 0 0 0 0 0 -1
normalized size 1 1.00 1.05 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.053 0.024 0.270 0.000 0.606 0.000 0.000 0.000
Problem 338 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 84 84 88 0 0 0 0 0 -1
normalized size 1 1.00 1.05 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.039 0.018 0.067 0.000 0.478 0.000 0.000 0.000
Problem 339 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 81 81 56 0 0 0 0 0 -1
normalized size 1 1.00 0.69 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.016 0.019 0.066 0.000 0.410 0.000 0.000 0.000
Problem 340 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A NO NO TBD TBD TBD TBD TBD TBD
size 131 206 141 0 0 0 0 0 -1
normalized size 1 1.57 1.08 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.227 0.129 0.306 0.000 0.529 0.000 0.000 0.000
Problem 341 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 164 164 121 0 0 0 0 0 -1
normalized size 1 1.00 0.74 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.132 0.128 0.286 0.000 0.473 0.000 0.000 0.000
Problem 342 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 122 122 109 0 0 0 0 0 -1
normalized size 1 1.00 0.89 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.078 0.064 0.315 0.000 0.429 0.000 0.000 0.000
Problem 343 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A A F A B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 18 18 42 18 17 17 0 17 17
normalized size 1 1.00 2.33 1.00 0.94 0.94 0.00 0.94 0.94
time (sec) N/A 0.030 0.008 0.036 0.426 0.423 0.000 0.122 0.634
Problem 344 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A B A F F F F F F
verified N/A NO NO TBD TBD TBD TBD TBD TBD
size 65 132 120 0 0 0 0 0 -1
normalized size 1 2.03 1.85 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.098 0.042 0.295 0.000 0.455 0.000 0.000 0.000
Problem 345 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A NO NO TBD TBD TBD TBD TBD TBD
size 90 180 142 0 0 0 0 0 -1
normalized size 1 2.00 1.58 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.137 0.056 0.298 0.000 0.462 0.000 0.000 0.000
Problem 346 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A NO NO TBD TBD TBD TBD TBD TBD
size 126 242 174 0 0 0 0 0 -1
normalized size 1 1.92 1.38 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.183 0.081 0.293 0.000 0.485 0.000 0.000 0.000
Problem 347 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F A F(-1) F(-1) B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 181 181 165 166 0 298 0 0 281
normalized size 1 1.00 0.91 0.92 0.00 1.65 0.00 0.00 1.55
time (sec) N/A 0.175 0.521 0.041 0.000 0.455 0.000 0.000 0.869
Problem 348 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 121 121 118 0 0 0 0 0 -1
normalized size 1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.104 0.116 0.300 0.000 0.455 0.000 0.000 0.000
Problem 349 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 120 120 117 0 0 0 0 0 -1
normalized size 1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.097 0.057 0.287 0.000 0.542 0.000 0.000 0.000
Problem 350 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 120 120 117 0 0 0 0 0 -1
normalized size 1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.098 0.039 0.291 0.000 0.442 0.000 0.000 0.000
Problem 351 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 283 283 217 0 0 0 0 0 -1
normalized size 1 1.00 0.77 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.311 0.275 0.287 0.000 0.577 0.000 0.000 0.000
Problem 352 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 280 280 214 0 0 0 0 0 -1
normalized size 1 1.00 0.76 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.289 0.218 0.295 0.000 0.451 0.000 0.000 0.000
Problem 353 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 322 322 248 0 0 0 0 0 -1
normalized size 1 1.00 0.77 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.357 0.324 0.296 0.000 0.516 0.000 0.000 0.000
Problem 354 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 291 291 206 0 0 0 0 0 -1
normalized size 1 1.00 0.71 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.342 0.185 0.289 0.000 0.487 0.000 0.000 0.000
Problem 355 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 202 202 187 0 0 0 0 0 -1
normalized size 1 1.00 0.93 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.187 0.147 0.286 0.000 0.428 0.000 0.000 0.000
Problem 356 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 120 120 117 0 0 0 0 0 -1
normalized size 1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.083 0.029 0.034 0.000 0.578 0.000 0.000 0.000
Problem 357 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 121 121 120 0 0 0 0 0 -1
normalized size 1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.203 0.047 0.291 0.000 0.442 0.000 0.000 0.000
Problem 358 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 196 196 142 0 0 0 0 0 -1
normalized size 1 1.00 0.72 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.233 0.069 0.289 0.000 0.446 0.000 0.000 0.000
Problem 359 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 281 281 159 0 0 0 0 0 -1
normalized size 1 1.00 0.57 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.253 0.084 0.295 0.000 0.457 0.000 0.000 0.000
Problem 360 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 120 120 120 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.107 0.069 0.289 0.000 0.453 0.000 0.000 0.000
Problem 361 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 120 120 120 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.109 0.050 0.293 0.000 0.451 0.000 0.000 0.000
Problem 362 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 120 120 120 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.111 0.048 0.292 0.000 0.477 0.000 0.000 0.000
Problem 363 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 123 123 123 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.119 0.057 0.288 0.000 0.450 0.000 0.000 0.000
Problem 364 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 49 49 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.02
time (sec) N/A 0.068 0.521 0.189 0.000 0.509 0.000 0.000 0.000
Problem 365 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 51 51 96 0 0 0 0 0 -1
normalized size 1 1.00 1.88 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.092 0.171 0.346 0.000 0.489 0.000 0.000 0.000
Problem 366 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 51 51 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.02
time (sec) N/A 0.090 0.495 0.344 0.000 0.488 0.000 0.000 0.000
Problem 367 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F F F(-1) F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 51 51 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.02
time (sec) N/A 0.089 0.794 0.357 0.000 0.481 0.000 0.000 0.000
Problem 368 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 79 79 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.194 0.372 0.315 0.000 0.483 0.000 0.000 0.000
Problem 369 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 82 82 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.211 0.483 0.312 0.000 0.488 0.000 0.000 0.000
Problem 370 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F F F(-1) F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 82 82 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.214 0.629 0.312 0.000 0.505 0.000 0.000 0.000
Problem 371 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 115 115 115 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.087 0.036 0.294 0.000 0.430 0.000 0.000 0.000
Problem 372 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 53 53 39 41 76 42 0 0 54
normalized size 1 1.00 0.74 0.77 1.43 0.79 0.00 0.00 1.02
time (sec) N/A 0.065 0.032 0.095 0.361 0.629 0.000 0.000 0.658
Problem 373 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 53 53 39 41 0 44 0 0 54
normalized size 1 1.00 0.74 0.77 0.00 0.83 0.00 0.00 1.02
time (sec) N/A 0.061 0.028 0.086 0.000 0.444 0.000 0.000 0.591
Problem 374 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 60 60 55 62 0 78 0 0 -1
normalized size 1 1.00 0.92 1.03 0.00 1.30 0.00 0.00 -0.02
time (sec) N/A 0.112 0.026 0.142 0.000 0.469 0.000 0.000 0.000
Problem 375 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B B B F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 38 38 36 34 292 379 437 318 -1
normalized size 1 1.00 0.95 0.89 7.68 9.97 11.50 8.37 -0.03
time (sec) N/A 0.079 1.227 0.370 0.539 1.341 6.496 0.137 0.000
Problem 376 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 38 38 36 35 155 171 192 151 160
normalized size 1 1.00 0.95 0.92 4.08 4.50 5.05 3.97 4.21
time (sec) N/A 0.078 0.235 0.129 0.433 0.410 1.765 0.145 3.581
Problem 377 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 38 38 36 34 62 49 53 48 47
normalized size 1 1.00 0.95 0.89 1.63 1.29 1.39 1.26 1.24
time (sec) N/A 0.077 0.038 0.062 0.417 0.537 0.435 0.118 0.640
Problem 378 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) A A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 38 38 36 62 0 49 53 93 65
normalized size 1 1.00 0.95 1.63 0.00 1.29 1.39 2.45 1.71
time (sec) N/A 0.077 0.036 0.101 0.000 0.522 0.404 0.131 0.588
Problem 379 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 38 38 36 218 0 171 192 151 159
normalized size 1 1.00 0.95 5.74 0.00 4.50 5.05 3.97 4.18
time (sec) N/A 0.078 0.229 0.112 0.000 0.514 1.493 0.145 3.400
Problem 380 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) B F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 65 65 63 58 0 497 0 0 46
normalized size 1 1.00 0.97 0.89 0.00 7.65 0.00 0.00 0.71
time (sec) N/A 0.201 0.568 0.175 0.000 0.611 0.000 0.000 2.210
Problem 381 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) B F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 65 65 65 58 0 193 0 0 48
normalized size 1 1.00 1.00 0.89 0.00 2.97 0.00 0.00 0.74
time (sec) N/A 0.204 0.109 0.151 0.000 0.493 0.000 0.000 1.598
Problem 382 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 142 142 74 87 0 0 0 0 -1
normalized size 1 1.00 0.52 0.61 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.219 0.059 0.174 0.000 0.651 0.000 0.000 0.000
Problem 383 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 143 143 75 86 55 0 0 0 -1
normalized size 1 1.00 0.52 0.60 0.38 0.00 0.00 0.00 -0.01
time (sec) N/A 0.224 0.064 0.176 0.337 0.592 0.000 0.000 0.000
Problem 384 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 65 65 65 58 93 193 0 0 57
normalized size 1 1.00 1.00 0.89 1.43 2.97 0.00 0.00 0.88
time (sec) N/A 0.208 0.118 0.154 0.356 0.497 0.000 0.000 1.589
Problem 385 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F(-1) F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 65 65 63 58 274 497 0 0 47
normalized size 1 1.00 0.97 0.89 4.22 7.65 0.00 0.00 0.72
time (sec) N/A 0.209 0.601 0.164 0.450 0.659 0.000 0.000 3.089

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 [131] had the largest ratio of [1.250]

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 6 4 1.00 14 0.286
2 A 5 4 1.00 14 0.286
3 A 7 5 1.00 14 0.357
4 A 3 3 1.00 12 0.250
5 A 3 3 1.00 10 0.300
6 A 6 6 1.00 14 0.429
7 A 5 5 1.00 14 0.357
8 A 6 6 1.00 14 0.429
9 A 7 6 1.00 14 0.429
10 A 8 6 1.00 14 0.429
11 A 3 2 1.00 14 0.143
12 A 3 2 1.00 14 0.143
13 A 3 2 1.00 12 0.167
14 A 3 2 1.00 10 0.200
15 A 3 2 1.00 14 0.143
16 A 3 2 1.00 14 0.143
17 A 3 2 1.00 14 0.143
18 A 3 2 1.00 14 0.143
19 A 14 11 1.00 14 0.786
20 A 10 9 1.00 14 0.643
21 A 9 7 1.00 12 0.583
22 A 5 5 1.00 10 0.500
23 A 8 7 1.00 14 0.500
24 A 8 7 1.00 14 0.500
25 A 12 8 1.00 14 0.571
26 A 14 9 1.00 14 0.643
27 A 3 2 1.00 14 0.143
28 A 3 2 1.00 14 0.143
29 A 3 2 1.00 12 0.167
30 A 3 2 1.00 10 0.200
31 A 3 2 1.00 14 0.143
32 A 3 2 1.00 14 0.143
33 A 3 2 1.00 14 0.143
34 A 3 2 1.00 14 0.143
35 A 5 4 1.00 14 0.286
36 A 7 5 1.00 14 0.357
37 A 3 3 1.00 12 0.250
38 A 3 3 1.00 10 0.300
39 A 6 6 1.00 14 0.429
40 A 5 5 1.00 14 0.357
41 A 6 6 1.00 14 0.429
42 A 7 6 1.00 14 0.429
43 A 8 6 1.00 14 0.429
44 A 3 2 1.00 14 0.143
45 A 3 2 1.00 14 0.143
46 A 3 2 1.00 12 0.167
47 A 3 2 1.00 10 0.200
48 A 3 2 1.00 14 0.143
49 A 3 2 1.00 14 0.143
50 A 3 2 1.00 14 0.143
51 A 3 2 1.00 14 0.143
52 A 14 11 1.00 14 0.786
53 A 10 9 1.00 14 0.643
54 A 9 7 1.00 12 0.583
55 A 5 5 1.00 10 0.500
56 A 8 7 1.00 14 0.500
57 A 8 7 1.00 14 0.500
58 A 12 8 1.00 14 0.571
59 A 14 9 1.00 14 0.643
60 A 19 9 1.00 14 0.643
61 A 15 12 1.00 16 0.750
62 A 14 11 1.00 14 0.786
63 A 13 10 1.00 12 0.833
64 A 17 14 1.00 16 0.875
65 A 6 6 1.00 16 0.375
66 A 7 7 1.00 16 0.438
67 A 9 8 1.00 16 0.500
68 A 10 8 1.00 16 0.500
69 A 11 8 1.00 16 0.500
70 A 15 12 1.00 16 0.750
71 A 15 12 1.00 16 0.750
72 A 14 11 1.00 14 0.786
73 A 13 10 1.00 12 0.833
74 A 17 14 1.00 16 0.875
75 A 6 6 1.00 16 0.375
76 A 7 7 1.00 16 0.438
77 A 9 8 1.00 16 0.500
78 A 10 8 1.00 16 0.500
79 A 16 13 1.00 16 0.812
80 A 16 12 1.00 16 0.750
81 A 15 11 1.00 14 0.786
82 A 14 11 1.00 12 0.917
83 A 19 16 1.00 16 1.000
84 A 7 6 1.00 16 0.375
85 A 8 7 1.00 16 0.438
86 A 10 9 1.00 16 0.562
87 A 11 9 1.00 16 0.562
88 A 15 12 1.00 16 0.750
89 A 15 12 1.00 16 0.750
90 A 14 11 1.00 14 0.786
91 A 13 10 1.00 12 0.833
92 A 17 14 1.00 16 0.875
93 A 6 6 1.00 16 0.375
94 A 7 7 1.00 16 0.438
95 A 9 8 1.00 16 0.500
96 A 10 8 1.00 16 0.500
97 A 15 12 1.00 16 0.750
98 A 15 12 1.00 16 0.750
99 A 14 11 1.00 14 0.786
100 A 13 10 1.00 12 0.833
101 A 17 14 1.00 16 0.875
102 A 6 6 1.00 16 0.375
103 A 7 7 1.00 16 0.438
104 A 9 8 1.00 16 0.500
105 A 10 8 1.00 16 0.500
106 A 16 13 1.00 16 0.812
107 A 16 12 1.00 16 0.750
108 A 15 11 1.00 14 0.786
109 A 14 11 1.00 12 0.917
110 A 19 16 1.00 16 1.000
111 A 7 6 1.00 16 0.375
112 A 8 7 1.00 16 0.438
113 A 10 9 1.00 16 0.562
114 A 11 9 1.00 16 0.562
115 A 16 12 1.00 14 0.857
116 A 15 11 1.00 12 0.917
117 A 14 10 1.00 10 1.000
118 A 25 13 1.00 14 0.929
119 A 13 9 1.00 14 0.643
120 A 14 10 1.00 14 0.714
121 A 16 11 1.00 14 0.786
122 A 5 5 1.00 14 0.357
123 A 4 4 1.00 12 0.333
124 A 3 3 1.00 10 0.300
125 A 4 4 1.00 14 0.286
126 A 3 3 1.00 14 0.214
127 A 4 4 1.00 14 0.286
128 A 27 13 1.00 16 0.812
129 A 26 12 1.00 14 0.857
130 A 25 11 1.00 12 0.917
131 A 39 20 1.00 16 1.250
132 A 16 13 1.00 16 0.812
133 A 17 14 1.00 16 0.875
134 A 4 4 1.00 14 0.286
135 A 4 4 1.00 14 0.286
136 A 3 3 1.00 14 0.214
137 A 3 3 1.00 14 0.214
138 A 4 4 1.00 14 0.286
139 A 4 4 1.00 14 0.286
140 A 9 5 1.00 14 0.357
141 A 4 3 1.00 14 0.214
142 A 4 3 1.00 14 0.214
143 A 9 5 1.00 14 0.357
144 A 2 2 1.00 16 0.125
145 A 2 2 1.00 16 0.125
146 A 2 2 1.00 16 0.125
147 A 2 2 1.00 16 0.125
148 A 2 2 1.00 16 0.125
149 A 2 2 1.00 16 0.125
150 A 2 2 1.00 12 0.167
151 A 2 2 1.00 12 0.167
152 A 2 2 1.00 16 0.125
153 A 2 2 1.00 15 0.133
154 A 4 4 1.00 15 0.267
155 A 4 4 1.00 15 0.267
156 A 3 3 1.00 13 0.231
157 A 2 2 1.00 11 0.182
158 A 4 4 1.00 15 0.267
159 A 2 2 1.00 15 0.133
160 A 3 3 1.00 15 0.200
161 A 5 5 1.00 15 0.333
162 A 8 8 1.00 16 0.500
163 A 7 7 1.00 16 0.438
164 A 7 7 1.00 16 0.438
165 A 6 6 1.00 14 0.429
166 A 5 5 1.00 12 0.417
167 A 7 7 1.00 16 0.438
168 A 4 4 1.00 16 0.250
169 A 5 5 1.00 16 0.312
170 A 7 6 1.00 16 0.375
171 A 3 2 1.00 16 0.125
172 A 3 2 1.00 16 0.125
173 A 3 2 1.00 16 0.125
174 A 3 2 1.00 14 0.143
175 A 3 2 1.00 12 0.167
176 A 3 2 1.00 16 0.125
177 A 3 2 1.00 16 0.125
178 A 3 2 1.00 16 0.125
179 A 3 2 1.00 16 0.125
180 A 9 8 1.00 16 0.500
181 A 8 8 1.00 16 0.500
182 A 8 7 1.00 16 0.438
183 A 7 6 1.00 14 0.429
184 A 6 6 1.00 12 0.500
185 A 8 8 1.00 16 0.500
186 A 5 4 1.00 16 0.250
187 A 6 5 1.00 16 0.312
188 A 8 7 1.00 16 0.438
189 A 8 8 1.00 16 0.500
190 A 7 7 1.00 16 0.438
191 A 7 7 1.00 16 0.438
192 A 6 6 1.00 14 0.429
193 A 5 5 1.00 12 0.417
194 A 7 7 1.00 16 0.438
195 A 4 4 1.00 16 0.250
196 A 5 5 1.00 16 0.312
197 A 7 6 1.00 16 0.375
198 A 3 2 1.00 16 0.125
199 A 3 2 1.00 16 0.125
200 A 3 2 1.00 16 0.125
201 A 3 2 1.00 14 0.143
202 A 3 2 1.00 12 0.167
203 A 3 2 1.00 16 0.125
204 A 3 2 1.00 16 0.125
205 A 3 2 0.98 16 0.125
206 A 3 2 0.98 16 0.125
207 A 9 8 1.00 16 0.500
208 A 8 8 1.00 16 0.500
209 A 8 7 1.00 16 0.438
210 A 7 6 1.00 14 0.429
211 A 6 6 1.00 12 0.500
212 A 8 8 1.00 16 0.500
213 A 5 4 1.00 16 0.250
214 A 6 5 1.00 16 0.312
215 A 8 7 1.00 16 0.438
216 A 15 12 1.00 18 0.667
217 A 14 11 1.00 16 0.688
218 A 13 10 1.00 14 0.714
219 A 15 12 1.00 18 0.667
220 A 6 6 1.00 18 0.333
221 A 15 12 1.00 18 0.667
222 A 14 11 1.00 16 0.688
223 A 13 10 1.00 14 0.714
224 A 17 14 1.00 18 0.778
225 A 6 6 1.00 18 0.333
226 A 15 12 1.00 18 0.667
227 A 14 11 1.00 16 0.688
228 A 13 10 1.00 14 0.714
229 A 14 11 1.00 18 0.611
230 A 5 5 1.00 18 0.278
231 A 15 12 1.00 18 0.667
232 A 14 11 1.00 16 0.688
233 A 13 10 1.00 14 0.714
234 A 17 14 1.00 18 0.778
235 A 6 6 1.00 18 0.333
236 A 4 3 1.00 14 0.214
237 A 4 4 1.00 14 0.286
238 A 4 4 1.00 14 0.286
239 A 3 3 1.00 12 0.250
240 A 2 2 1.00 10 0.200
241 A 4 4 1.00 14 0.286
242 A 2 2 1.00 14 0.143
243 A 3 3 1.00 14 0.214
244 A 3 3 1.00 19 0.158
245 A 2 2 1.00 19 0.105
246 A 2 2 1.00 17 0.118
247 A 2 2 1.00 6 0.333
248 A 1 1 1.00 19 0.053
249 A 2 2 1.00 19 0.105
250 A 3 2 1.00 19 0.105
251 A 4 2 1.00 19 0.105
252 A 5 2 1.00 19 0.105
253 A 3 3 1.00 21 0.143
254 A 3 3 1.00 21 0.143
255 A 3 3 1.00 21 0.143
256 A 1 1 1.00 21 0.048
257 A 2 2 1.00 21 0.095
258 A 3 2 1.00 21 0.095
259 A 3 3 1.00 21 0.143
260 A 2 2 1.00 21 0.095
261 A 2 2 1.00 19 0.105
262 A 2 2 1.00 8 0.250
263 A 1 1 1.00 21 0.048
264 A 2 2 1.00 21 0.095
265 A 3 2 1.00 21 0.095
266 A 4 2 1.00 21 0.095
267 A 3 3 1.00 23 0.130
268 A 3 3 1.00 23 0.130
269 A 3 3 1.00 23 0.130
270 A 1 1 1.00 23 0.043
271 A 2 2 1.00 23 0.087
272 A 3 2 1.00 23 0.087
273 A 3 3 1.00 21 0.143
274 A 2 2 1.00 21 0.095
275 A 2 2 1.00 19 0.105
276 A 2 2 1.00 8 0.250
277 A 1 1 1.00 21 0.048
278 A 2 2 1.00 21 0.095
279 A 3 2 1.00 21 0.095
280 A 4 2 1.00 21 0.095
281 A 3 3 1.00 23 0.130
282 A 3 3 1.00 23 0.130
283 A 3 3 1.00 23 0.130
284 A 1 1 1.00 23 0.043
285 A 2 2 1.00 23 0.087
286 A 3 2 1.00 23 0.087
287 A 3 3 1.00 21 0.143
288 A 2 2 1.00 21 0.095
289 A 2 2 1.00 19 0.105
290 A 2 2 1.00 8 0.250
291 A 1 1 1.00 21 0.048
292 A 2 2 1.00 21 0.095
293 A 3 2 1.00 21 0.095
294 A 4 2 1.00 21 0.095
295 A 3 3 1.00 23 0.130
296 A 3 3 1.00 23 0.130
297 A 3 3 1.00 23 0.130
298 A 1 1 1.00 23 0.043
299 A 2 2 1.00 23 0.087
300 A 3 2 1.00 23 0.087
301 A 3 2 1.00 24 0.083
302 A 5 4 1.00 24 0.167
303 A 3 2 1.00 24 0.083
304 A 4 4 1.00 24 0.167
305 A 2 2 1.00 24 0.083
306 A 2 2 1.00 24 0.083
307 A 4 4 1.00 24 0.167
308 A 3 2 1.00 24 0.083
309 A 5 4 1.00 24 0.167
310 A 4 3 1.00 25 0.120
311 A 5 5 1.00 25 0.200
312 A 4 3 1.00 25 0.120
313 A 4 4 1.00 25 0.160
314 A 3 3 1.00 25 0.120
315 A 3 3 1.00 25 0.120
316 A 4 4 1.00 25 0.160
317 A 4 3 1.00 25 0.120
318 A 5 5 1.00 25 0.200
319 A 3 2 1.00 24 0.083
320 A 3 3 1.00 24 0.125
321 A 2 2 1.00 24 0.083
322 A 3 3 1.00 24 0.125
323 A 4 3 1.00 24 0.125
324 A 4 3 1.00 24 0.125
325 A 3 3 1.00 24 0.125
326 A 2 2 1.00 24 0.083
327 A 3 3 1.00 24 0.125
328 A 4 3 1.00 25 0.120
329 A 3 3 1.00 25 0.120
330 A 3 3 1.00 25 0.120
331 A 3 3 1.00 25 0.120
332 A 5 4 1.00 25 0.160
333 A 5 4 1.00 25 0.160
334 A 3 3 1.00 25 0.120
335 A 3 3 1.00 25 0.120
336 A 3 3 1.00 25 0.120
337 A 2 2 1.00 21 0.095
338 A 2 2 1.00 19 0.105
339 A 2 2 1.00 8 0.250
340 A 4 4 1.57 24 0.167
341 A 4 4 1.00 24 0.167
342 A 3 3 1.00 22 0.136
343 A 1 1 1.00 21 0.048
344 B 3 3 2.03 24 0.125
345 A 5 5 2.00 24 0.208
346 A 6 6 1.92 24 0.250
347 A 4 2 1.00 21 0.095
348 A 3 3 1.00 23 0.130
349 A 3 3 1.00 23 0.130
350 A 3 3 1.00 23 0.130
351 A 5 5 1.00 26 0.192
352 A 5 5 1.00 26 0.192
353 A 5 5 1.00 26 0.192
354 A 5 5 1.00 26 0.192
355 A 4 4 1.00 24 0.167
356 A 3 3 1.00 23 0.130
357 A 3 3 1.00 26 0.115
358 A 4 4 1.00 26 0.154
359 A 6 6 1.00 26 0.231
360 A 3 3 1.00 23 0.130
361 A 3 3 1.00 23 0.130
362 A 3 3 1.00 23 0.130
363 A 3 3 1.00 23 0.130
364 A 2 2 1.00 22 0.091
365 A 2 2 1.00 24 0.083
366 A 2 2 1.00 24 0.083
367 A 2 2 1.00 24 0.083
368 A 3 3 1.00 26 0.115
369 A 3 3 1.00 26 0.115
370 A 3 3 1.00 26 0.115
371 A 3 3 1.00 21 0.143
372 A 3 3 1.00 24 0.125
373 A 3 3 1.00 24 0.125
374 A 1 1 1.00 35 0.029
375 A 2 2 1.00 26 0.077
376 A 2 2 1.00 26 0.077
377 A 2 2 1.00 26 0.077
378 A 2 2 1.00 26 0.077
379 A 2 2 1.00 26 0.077
380 A 3 3 1.00 28 0.107
381 A 3 3 1.00 28 0.107
382 A 4 3 1.00 28 0.107
383 A 4 3 1.00 28 0.107
384 A 3 3 1.00 28 0.107
385 A 3 3 1.00 28 0.107

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