[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, 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 }

B grade: { }

C grade: { }

F grade: { }

2.1.2 Mathematica

A grade: { 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 14, 15, 16, 18, 19, 20, 22, 23, 24, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 41, 44, 45, 46, 47, 49, 50, 51, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 116, 117, 118, 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, 149, 150, 151, 152, 153, 154, 155, 156, 157, 159, 161, 163, 165, 166, 167, 168, 169, 170, 172, 173, 174, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 189, 191, 193, 195, 196, 197, 198, 199, 201, 203, 204, 205, 206, 207, 209, 211, 212, 214, 216, 219, 221, 222, 224, 226, 228, 230, 231, 232, 233, 234, 235, 236, 238, 240, 241, 242, 243, 244, 245, 246, 247, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 275, 276, 277, 278, 279, 281, 282, 283, 286, 287, 288, 289, 290, 291, 292, 293, 294, 296, 299, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 318, 319, 322, 323, 324, 325, 326, 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, 363, 364, 366, 367 }

B grade: { 1, 40, 42, 43, 48, 52, 53, 54, 55, 68, 92, 93, 94, 95, 115, 119, 158, 160, 162, 164, 171, 175, 194, 208, 210, 213, 215, 217, 218, 220, 223, 225, 227, 248, 274, 295, 297, 298, 300, 327, 362, 365 }

C grade: { 9, 13, 17, 21, 25, 29, 148, 188, 190, 192, 200, 202, 229, 237, 239, 259, 280, 284, 285, 316, 317, 320, 321, 368, 369 }

F grade: { }

2.1.3 Maple

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 44, 45, 46, 47, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 74, 75, 76, 77, 78, 79, 80, 81, 83, 85, 86, 87, 88, 89, 90, 91, 92, 96, 97, 98, 99, 100, 101, 102, 108, 110, 111, 116, 117, 118, 119, 120, 121, 122, 130, 133, 134, 136, 137, 140, 141, 142, 145, 152, 153, 156, 157, 163, 165, 176, 183, 186, 193, 194, 195, 203, 205, 207, 212, 213, 222, 223, 224, 228, 230, 231, 232, 236, 238, 240, 244, 245, 246, 247, 248, 249, 250, 251, 252, 254, 260, 264, 265, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 289, 290, 291, 292, 293, 294, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 314, 315, 318, 319, 322, 323, 324, 329, 330, 331, 336, 337, 338, 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 }

B grade: { 24, 40, 41, 42, 43, 48, 49, 50, 68, 72, 73, 82, 84, 93, 94, 95, 103, 104, 105, 106, 107, 109, 115, 126, 127, 128, 129, 131, 132, 135, 138, 139, 143, 144, 154, 155, 158, 159, 160, 161, 162, 164, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 177, 178, 179, 180, 181, 182, 184, 185, 187, 188, 189, 190, 191, 192, 196, 197, 198, 199, 200, 201, 202, 204, 206, 208, 209, 210, 211, 214, 215, 216, 217, 218, 219, 220, 221, 225, 226, 227, 229, 233, 234, 235, 237, 239, 241, 242, 243, 253, 255, 256, 257, 258, 259, 295, 296, 297, 298, 299, 300 }

C grade: { 312, 313, 316, 317, 320, 321, 339 }

F grade: { 31, 32, 33, 34, 35, 36, 37, 38, 39, 64, 65, 66, 67, 69, 70, 71, 112, 113, 114, 123, 124, 125, 146, 147, 148, 149, 150, 151, 261, 262, 263, 266, 267, 268, 269, 270, 271, 272, 273, 285, 286, 287, 288, 325, 326, 327, 328, 332, 333, 334, 335 }

2.1.4 Maxima

A grade: { 1, 2, 4, 6, 40, 41, 43, 44, 48, 49, 50, 56, 57, 60, 61, 72, 73, 74, 75, 76, 77, 79, 80, 81, 82, 84, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 115, 119, 136, 140, 141, 142, 143, 144, 145, 152, 153, 154, 155, 165, 171, 173, 175, 176, 181, 183, 184, 186, 190, 192, 193, 194, 195, 196, 202, 203, 204, 229, 230, 231, 233, 238, 239, 246, 247, 248, 249, 250, 251, 260, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 277, 301, 302, 303, 304, 305, 306, 308, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 329, 330, 331, 332, 333, 334, 337, 338, 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 }

B grade: { 3, 5, 42, 45, 46, 47, 51, 52, 53, 54, 55, 58, 59, 62, 63, 78, 83, 85, 86, 87, 103, 104, 116, 117, 118, 120, 121, 122, 129, 130, 131, 132, 133, 134, 135, 156, 157, 158, 159, 160, 161, 162, 163, 164, 166, 167, 168, 169, 170, 172, 174, 177, 178, 179, 180, 182, 185, 187, 188, 189, 191, 197, 198, 199, 200, 201, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 232, 234, 235, 236, 237, 240, 241, 242, 243, 252, 253, 254, 255, 256, 276, 278, 307, 309, 335 }

C grade: { 339 }

F grade: { 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, 64, 65, 66, 67, 68, 69, 70, 71, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 123, 124, 125, 126, 127, 128, 137, 138, 139, 146, 147, 148, 149, 150, 151, 244, 245, 257, 258, 259, 261, 262, 263, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 325, 326, 327, 328, 336, 368, 369 }

2.1.5 FriCAS

A grade: { 1, 2, 3, 4, 6, 40, 43, 51, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 88, 89, 90, 92, 93, 96, 97, 98, 99, 100, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 134, 136, 163, 167, 171, 173, 175, 176, 178, 194, 212, 231, 232, 247, 248, 260, 264, 265, 266, 267, 268, 269, 270, 271, 274, 275, 276, 277, 285, 286, 287, 288, 289, 290, 295, 298, 301, 303, 305, 311, 316, 320, 329, 330, 331, 332, 336, 337, 338, 339, 340, 341, 349, 366, 367 }

B grade: { 5, 41, 42, 44, 45, 46, 47, 48, 49, 50, 52, 53, 54, 55, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 91, 94, 95, 101, 102, 103, 104, 123, 124, 125, 129, 130, 131, 132, 133, 135, 140, 141, 142, 143, 144, 145, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 164, 165, 166, 168, 169, 170, 172, 174, 177, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 249, 250, 251, 252, 253, 254, 255, 256, 259, 272, 273, 278, 291, 292, 293, 294, 296, 297, 299, 300, 302, 304, 306, 307, 308, 309, 310, 312, 313, 314, 315, 317, 318, 319, 321, 322, 323, 324, 333, 334, 335, 342, 343, 344, 345, 346, 347, 348, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 368, 369 }

C grade: { 257, 258 }

F grade: { 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, 105, 106, 107, 108, 109, 110, 111, 126, 127, 128, 137, 138, 139, 146, 147, 148, 149, 150, 151, 261, 262, 263, 279, 280, 281, 282, 283, 284, 325, 326, 327, 328 }

2.1.6 Sympy

A grade: { 1, 2, 3, 4, 5, 6, 40, 41, 42, 43, 48, 49, 50, 51, 56, 57, 58, 59, 60, 61, 62, 63, 75, 88, 89, 90, 91, 96, 97, 98, 99, 100, 101, 115, 116, 117, 118, 119, 120, 121, 122, 129, 133, 134, 136, 142, 171, 173, 175, 181, 184, 185, 192, 193, 201, 203, 211, 212, 220, 221, 224, 246, 247, 248, 253, 264, 265, 274, 276, 278, 301, 302, 303, 304, 311, 315, 319, 323, 324, 331, 336, 366, 367 }

B grade: { 158, 159, 160, 161, 162, 163, 164, 165, 172, 174, 176, 182, 183, 186, 208, 209, 210, 213, 214, 215, 216, 217, 218, 219, 222, 223, 225, 226, 227, 310, 314, 318 }

C grade: { }

F grade: { 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, 52, 53, 54, 55, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 92, 93, 94, 95, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 123, 124, 125, 126, 127, 128, 130, 131, 132, 135, 137, 138, 139, 140, 141, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 166, 167, 168, 169, 170, 177, 178, 179, 180, 187, 188, 189, 190, 191, 194, 195, 196, 197, 198, 199, 200, 202, 204, 205, 206, 207, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 249, 250, 251, 252, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 266, 267, 268, 269, 270, 271, 272, 273, 275, 277, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 305, 306, 307, 308, 309, 312, 313, 316, 317, 320, 321, 322, 325, 326, 327, 328, 329, 330, 332, 333, 334, 335, 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, 368, 369 }

2.1.7 Giac

A grade: { 2, 4, 6, 40, 41, 42, 43, 44, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 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, 101, 102, 103, 115, 116, 117, 118, 119, 120, 121, 122, 129, 130, 133, 134, 136, 143, 144, 145, 152, 153, 154, 155, 156, 157, 167, 171, 173, 175, 176, 178, 180, 181, 182, 183, 184, 185, 186, 187, 189, 190, 191, 192, 193, 194, 195, 197, 202, 203, 205, 210, 212, 220, 222, 226, 228, 230, 231, 232, 233, 236, 238, 241, 243, 246, 247, 248, 249, 250, 251, 252, 253, 254, 260, 264, 265, 266, 267, 276, 277, 278, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 313, 314, 315, 316, 317, 318, 319, 320, 321, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 340, 341, 342, 344, 345, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367 }

B grade: { 1, 3, 5, 45, 100, 104, 131, 132, 135, 140, 141, 142, 158, 159, 160, 161, 162, 163, 164, 165, 166, 168, 169, 170, 172, 174, 177, 179, 188, 196, 198, 199, 200, 201, 204, 206, 207, 208, 209, 211, 213, 214, 215, 216, 217, 218, 219, 221, 223, 224, 225, 227, 229, 234, 235, 237, 239, 240, 242, 255, 256, 268, 269, 270, 271, 272, 273, 274, 275, 289, 290, 291, 295, 296, 297, 298, 299, 300, 312 }

C grade: { 322, 323, 324, 339, 343, 346 }

F grade: { 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, 64, 65, 66, 67, 68, 69, 70, 71, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 123, 124, 125, 126, 127, 128, 137, 138, 139, 146, 147, 148, 149, 150, 151, 244, 245, 257, 258, 259, 261, 262, 263, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 292, 293, 294, 325, 326, 327, 328, 368, 369 }

2.1.8 Mupad

A grade: { 264, 265 }

B grade: { 1, 2, 3, 4, 5, 6, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 68, 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, 115, 116, 117, 118, 119, 120, 121, 122, 129, 130, 133, 134, 135, 136, 142, 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, 246, 247, 248, 249, 250, 251, 252, 253, 254, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 331, 333, 334, 335, 336, 366, 367 }

C grade: { }

F grade: { 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, 64, 65, 66, 67, 69, 70, 71, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 123, 124, 125, 126, 127, 128, 131, 132, 137, 138, 139, 140, 141, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 244, 245, 255, 256, 257, 258, 259, 260, 261, 262, 263, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 325, 326, 327, 328, 329, 330, 332, 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, 368, 369 }

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 B A A A A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 10 10 21 11 10 10 12 26 10
normalized size 1 1.00 2.10 1.10 1.00 1.00 1.20 2.60 1.00
time (sec) N/A 0.006 0.008 0.006 1.163 0.592 0.130 0.112 0.045
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 25 25 23 27 32 23 46 32 18
normalized size 1 1.00 0.92 1.08 1.28 0.92 1.84 1.28 0.72
time (sec) N/A 0.009 0.023 0.018 1.606 0.465 0.205 0.132 0.373
Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 27 27 29 23 54 38 36 54 24
normalized size 1 1.00 1.07 0.85 2.00 1.41 1.33 2.00 0.89
time (sec) N/A 0.014 0.010 0.017 1.716 0.513 0.405 0.122 0.055
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 46 46 33 39 60 49 95 60 32
normalized size 1 1.00 0.72 0.85 1.30 1.07 2.07 1.30 0.70
time (sec) N/A 0.021 0.042 0.118 2.201 0.478 0.831 0.126 0.080
Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 41 41 44 33 82 79 58 82 31
normalized size 1 1.00 1.07 0.80 2.00 1.93 1.41 2.00 0.76
time (sec) N/A 0.017 0.014 0.117 0.314 0.501 1.510 0.140 0.409
Problem 6 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 67 67 43 49 86 90 139 88 42
normalized size 1 1.00 0.64 0.73 1.28 1.34 2.07 1.31 0.63
time (sec) N/A 0.033 0.039 0.115 0.309 0.576 2.851 0.124 0.133
Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 103 103 75 116 0 0 0 0 -1
normalized size 1 1.00 0.73 1.13 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.049 0.139 0.090 0.000 0.626 0.000 0.000 0.000
Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 80 80 68 164 0 0 0 0 -1
normalized size 1 1.00 0.85 2.05 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.032 0.075 0.069 0.000 0.564 0.000 0.000 0.000
Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 80 80 83 100 0 0 0 0 -1
normalized size 1 1.00 1.04 1.25 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.032 0.090 0.066 0.000 0.440 0.000 0.000 0.000
Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 54 54 50 108 0 0 0 0 -1
normalized size 1 1.00 0.93 2.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.019 0.105 0.056 0.000 0.396 0.000 0.000 0.000
Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 54 54 48 87 0 0 0 0 -1
normalized size 1 1.00 0.89 1.61 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.020 0.120 0.048 0.000 0.642 0.000 0.000 0.000
Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 76 76 57 154 0 0 0 0 -1
normalized size 1 1.00 0.75 2.03 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.029 0.053 0.062 0.000 0.698 0.000 0.000 0.000
Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 80 80 86 101 0 0 0 0 -1
normalized size 1 1.00 1.08 1.26 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.032 0.078 0.065 0.000 0.472 0.000 0.000 0.000
Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 103 103 73 192 0 0 0 0 -1
normalized size 1 1.00 0.71 1.86 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.044 0.170 0.068 0.000 0.593 0.000 0.000 0.000
Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 116 116 76 122 0 0 0 0 -1
normalized size 1 1.00 0.66 1.05 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.058 0.278 0.069 0.000 0.565 0.000 0.000 0.000
Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 88 88 68 170 0 0 0 0 -1
normalized size 1 1.00 0.77 1.93 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.037 0.123 0.062 0.000 0.541 0.000 0.000 0.000
Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 88 88 88 106 0 0 0 0 -1
normalized size 1 1.00 1.00 1.20 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.037 0.129 0.066 0.000 0.506 0.000 0.000 0.000
Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 56 56 52 111 0 0 0 0 -1
normalized size 1 1.00 0.93 1.98 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.022 0.046 0.060 0.000 0.604 0.000 0.000 0.000
Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 56 56 54 89 0 0 0 0 -1
normalized size 1 1.00 0.96 1.59 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.022 0.034 0.053 0.000 0.506 0.000 0.000 0.000
Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 86 86 62 159 0 0 0 0 -1
normalized size 1 1.00 0.72 1.85 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.038 0.062 0.069 0.000 0.640 0.000 0.000 0.000
Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 90 90 84 114 0 0 0 0 -1
normalized size 1 1.00 0.93 1.27 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.038 0.100 0.066 0.000 0.489 0.000 0.000 0.000
Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 118 118 79 205 0 0 0 0 -1
normalized size 1 1.00 0.67 1.74 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.056 0.166 0.073 0.000 0.557 0.000 0.000 0.000
Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 91 91 65 122 0 0 0 0 -1
normalized size 1 1.00 0.71 1.34 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.034 0.166 0.073 0.000 0.632 0.000 0.000 0.000
Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 62 62 55 169 0 0 0 0 -1
normalized size 1 1.00 0.89 2.73 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.020 0.059 0.068 0.000 0.596 0.000 0.000 0.000
Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 62 62 94 104 0 0 0 0 -1
normalized size 1 1.00 1.52 1.68 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.021 0.138 0.067 0.000 0.805 0.000 0.000 0.000
Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 30 30 28 91 0 0 0 0 -1
normalized size 1 1.00 0.93 3.03 0.00 0.00 0.00 0.00 -0.03
time (sec) N/A 0.009 0.021 0.067 0.000 0.500 0.000 0.000 0.000
Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 30 30 28 68 0 0 0 0 -1
normalized size 1 1.00 0.93 2.27 0.00 0.00 0.00 0.00 -0.03
time (sec) N/A 0.009 0.024 0.055 0.000 0.557 0.000 0.000 0.000
Problem 28 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 50 159 0 0 0 0 -1
normalized size 1 1.00 0.86 2.74 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.019 0.099 0.080 0.000 1.271 0.000 0.000 0.000
Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 62 62 83 113 0 0 0 0 -1
normalized size 1 1.00 1.34 1.82 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.020 0.062 0.070 0.000 0.478 0.000 0.000 0.000
Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 91 91 80 204 0 0 0 0 -1
normalized size 1 1.00 0.88 2.24 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.033 0.134 0.076 0.000 0.595 0.000 0.000 0.000
Problem 31 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 60 60 57 0 0 0 0 0 -1
normalized size 1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.015 0.054 0.043 0.000 0.580 0.000 0.000 0.000
Problem 32 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 60 60 57 0 0 0 0 0 -1
normalized size 1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.015 0.037 0.106 0.000 0.474 0.000 0.000 0.000
Problem 33 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 60 60 57 0 0 0 0 0 -1
normalized size 1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.016 0.035 0.079 0.000 0.574 0.000 0.000 0.000
Problem 34 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 60 60 57 0 0 0 0 0 -1
normalized size 1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.015 0.040 0.066 0.000 0.912 0.000 0.000 0.000
Problem 35 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 58 58 55 0 0 0 0 0 -1
normalized size 1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.016 0.041 0.056 0.000 0.663 0.000 0.000 0.000
Problem 36 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 58 58 55 0 0 0 0 0 -1
normalized size 1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.015 0.039 0.040 0.000 0.504 0.000 0.000 0.000
Problem 37 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 70 70 65 0 0 0 0 0 -1
normalized size 1 1.00 0.93 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.019 0.044 0.237 0.000 0.762 0.000 0.000 0.000
Problem 38 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 67 0 0 0 0 0 -1
normalized size 1 1.00 0.93 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.015 0.041 0.194 0.000 0.549 0.000 0.000 0.000
Problem 39 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 72 72 67 0 0 0 0 0 -1
normalized size 1 1.00 0.93 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.016 0.042 0.186 0.000 0.603 0.000 0.000 0.000
Problem 40 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 46 46 134 138 59 64 60 50 50
normalized size 1 1.00 2.91 3.00 1.28 1.39 1.30 1.09 1.09
time (sec) N/A 0.065 0.191 0.060 0.316 0.616 0.196 0.203 0.490
Problem 41 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A B A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 36 36 41 93 45 57 41 38 38
normalized size 1 1.00 1.14 2.58 1.25 1.58 1.14 1.06 1.06
time (sec) N/A 0.046 0.111 0.054 0.443 0.612 0.166 0.252 0.430
Problem 42 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B B B A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 22 22 79 52 33 38 20 26 24
normalized size 1 1.00 3.59 2.36 1.50 1.73 0.91 1.18 1.09
time (sec) N/A 0.059 0.111 0.049 0.531 0.417 0.127 0.187 0.425
Problem 43 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 14 14 43 29 12 16 8 10 12
normalized size 1 1.00 3.07 2.07 0.86 1.14 0.57 0.71 0.86
time (sec) N/A 0.027 0.057 0.039 0.593 1.020 0.088 0.193 0.407
Problem 44 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 19 19 30 21 29 33 0 24 35
normalized size 1 1.00 1.58 1.11 1.53 1.74 0.00 1.26 1.84
time (sec) N/A 0.039 0.020 0.044 0.359 0.529 0.000 0.214 0.490
Problem 45 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 23 23 36 35 53 77 0 44 51
normalized size 1 1.00 1.57 1.52 2.30 3.35 0.00 1.91 2.22
time (sec) N/A 0.058 0.042 0.046 0.361 0.490 0.000 0.306 0.636
Problem 46 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 37 37 49 53 79 129 0 51 70
normalized size 1 1.00 1.32 1.43 2.14 3.49 0.00 1.38 1.89
time (sec) N/A 0.073 0.189 0.053 0.323 0.730 0.000 0.190 0.665
Problem 47 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 47 47 53 71 105 178 0 58 85
normalized size 1 1.00 1.13 1.51 2.23 3.79 0.00 1.23 1.81
time (sec) N/A 0.073 0.236 0.053 0.346 1.161 0.000 0.439 0.719
Problem 48 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B A B A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 147 116 71 91 68 50 97
normalized size 1 1.00 2.53 2.00 1.22 1.57 1.17 0.86 1.67
time (sec) N/A 0.102 0.190 0.071 0.317 0.484 0.210 0.165 0.566
Problem 49 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A B A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 44 44 45 75 59 74 54 38 79
normalized size 1 1.00 1.02 1.70 1.34 1.68 1.23 0.86 1.80
time (sec) N/A 0.129 0.129 0.069 0.474 0.523 0.180 0.181 0.576
Problem 50 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A B A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 32 32 55 52 40 50 39 22 71
normalized size 1 1.00 1.72 1.62 1.25 1.56 1.22 0.69 2.22
time (sec) N/A 0.061 0.150 0.062 0.320 0.518 0.139 0.164 0.567
Problem 51 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 31 31 22 25 81 34 37 20 25
normalized size 1 1.00 0.71 0.81 2.61 1.10 1.19 0.65 0.81
time (sec) N/A 0.030 0.009 0.048 0.312 0.486 0.129 0.198 0.522
Problem 52 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 34 34 91 44 55 82 0 34 41
normalized size 1 1.00 2.68 1.29 1.62 2.41 0.00 1.00 1.21
time (sec) N/A 0.083 0.089 0.065 0.396 0.500 0.000 0.395 0.283
Problem 53 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 42 42 88 58 81 129 0 46 85
normalized size 1 1.00 2.10 1.38 1.93 3.07 0.00 1.10 2.02
time (sec) N/A 0.117 0.395 0.069 0.321 0.473 0.000 0.206 0.709
Problem 54 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A B B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 131 76 105 179 0 59 79
normalized size 1 1.00 2.26 1.31 1.81 3.09 0.00 1.02 1.36
time (sec) N/A 0.140 0.372 0.076 0.328 0.606 0.000 0.183 0.774
Problem 55 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A B B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 64 64 143 92 129 225 0 84 189
normalized size 1 1.00 2.23 1.44 2.02 3.52 0.00 1.31 2.95
time (sec) N/A 0.131 1.870 0.082 0.507 0.480 0.000 0.175 1.095
Problem 56 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 42 20 20 16 17 15 17
normalized size 1 1.00 1.56 0.74 0.74 0.59 0.63 0.56 0.63
time (sec) N/A 0.011 0.053 0.037 0.476 0.465 0.127 0.194 0.199
Problem 57 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 59 59 61 55 94 50 68 25 29
normalized size 1 1.00 1.03 0.93 1.59 0.85 1.15 0.42 0.49
time (sec) N/A 0.026 0.103 0.079 0.347 0.522 0.201 0.344 0.530
Problem 58 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 88 88 81 88 211 85 114 36 40
normalized size 1 1.00 0.92 1.00 2.40 0.97 1.30 0.41 0.45
time (sec) N/A 0.042 0.126 0.091 0.448 0.539 0.306 0.234 0.691
Problem 59 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 117 117 87 121 372 121 162 47 53
normalized size 1 1.00 0.74 1.03 3.18 1.03 1.38 0.40 0.45
time (sec) N/A 0.060 0.170 0.110 0.347 0.493 0.442 0.183 0.959
Problem 60 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 42 20 20 16 17 15 17
normalized size 1 1.00 1.56 0.74 0.74 0.59 0.63 0.56 0.63
time (sec) N/A 0.012 0.063 0.043 0.384 0.544 0.118 0.157 0.146
Problem 61 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 59 59 59 55 94 50 68 25 29
normalized size 1 1.00 1.00 0.93 1.59 0.85 1.15 0.42 0.49
time (sec) N/A 0.027 0.075 0.068 0.319 0.688 0.202 0.235 0.536
Problem 62 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 88 88 81 88 211 85 114 36 40
normalized size 1 1.00 0.92 1.00 2.40 0.97 1.30 0.41 0.45
time (sec) N/A 0.042 0.123 0.072 0.324 0.777 0.309 0.177 0.635
Problem 63 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 117 117 87 121 372 121 162 47 52
normalized size 1 1.00 0.74 1.03 3.18 1.03 1.38 0.40 0.44
time (sec) N/A 0.060 0.152 0.072 0.326 0.506 0.446 0.183 0.906
Problem 64 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 57 57 75 0 0 76 0 0 -1
normalized size 1 1.00 1.32 0.00 0.00 1.33 0.00 0.00 -0.02
time (sec) N/A 0.056 0.073 0.411 0.000 0.623 0.000 0.000 0.000
Problem 65 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 57 57 76 0 0 76 0 0 -1
normalized size 1 1.00 1.33 0.00 0.00 1.33 0.00 0.00 -0.02
time (sec) N/A 0.056 0.078 0.364 0.000 0.507 0.000 0.000 0.000
Problem 66 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 104 104 145 0 0 101 0 0 -1
normalized size 1 1.00 1.39 0.00 0.00 0.97 0.00 0.00 -0.01
time (sec) N/A 0.053 0.461 0.149 0.000 0.849 0.000 0.000 0.000
Problem 67 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 69 69 113 0 0 63 0 0 -1
normalized size 1 1.00 1.64 0.00 0.00 0.91 0.00 0.00 -0.01
time (sec) N/A 0.031 0.205 0.119 0.000 0.539 0.000 0.000 0.000
Problem 68 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B F A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 31 31 74 89 0 28 0 0 53
normalized size 1 1.00 2.39 2.87 0.00 0.90 0.00 0.00 1.71
time (sec) N/A 0.014 0.041 0.128 0.000 0.486 0.000 0.000 0.754
Problem 69 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 52 52 84 0 0 93 0 0 -1
normalized size 1 1.00 1.62 0.00 0.00 1.79 0.00 0.00 -0.02
time (sec) N/A 0.024 0.086 0.536 0.000 0.673 0.000 0.000 0.000
Problem 70 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 87 87 156 0 0 234 0 0 -1
normalized size 1 1.00 1.79 0.00 0.00 2.69 0.00 0.00 -0.01
time (sec) N/A 0.045 0.236 0.132 0.000 0.624 0.000 0.000 0.000
Problem 71 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 122 122 210 0 0 348 0 0 -1
normalized size 1 1.00 1.72 0.00 0.00 2.85 0.00 0.00 -0.01
time (sec) N/A 0.068 0.204 0.123 0.000 0.530 0.000 0.000 0.000
Problem 72 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 108 108 105 262 158 799 0 156 199
normalized size 1 1.00 0.97 2.43 1.46 7.40 0.00 1.44 1.84
time (sec) N/A 0.315 0.436 0.042 0.432 0.857 0.000 0.189 0.757
Problem 73 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 82 82 82 174 118 459 0 117 159
normalized size 1 1.00 1.00 2.12 1.44 5.60 0.00 1.43 1.94
time (sec) N/A 0.185 0.141 0.047 0.424 0.501 0.000 0.211 0.612
Problem 74 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 57 57 61 92 84 238 0 86 129
normalized size 1 1.00 1.07 1.61 1.47 4.18 0.00 1.51 2.26
time (sec) N/A 0.116 0.097 0.038 0.498 0.583 0.000 0.191 0.542
Problem 75 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 47 47 52 63 65 134 252 67 99
normalized size 1 1.00 1.11 1.34 1.38 2.85 5.36 1.43 2.11
time (sec) N/A 0.061 0.050 0.028 0.417 0.528 58.299 0.249 0.534
Problem 76 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 50 50 58 49 83 156 0 82 287
normalized size 1 1.00 1.16 0.98 1.66 3.12 0.00 1.64 5.74
time (sec) N/A 0.076 0.052 0.039 0.425 0.535 0.000 0.234 0.638
Problem 77 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 59 59 81 73 100 345 0 98 292
normalized size 1 1.00 1.37 1.24 1.69 5.85 0.00 1.66 4.95
time (sec) N/A 0.121 0.404 0.046 0.419 1.503 0.000 0.345 0.697
Problem 78 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 81 81 118 108 154 929 0 137 617
normalized size 1 1.00 1.46 1.33 1.90 11.47 0.00 1.69 7.62
time (sec) N/A 0.318 0.544 0.049 0.408 1.060 0.000 0.211 0.998
Problem 79 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 109 109 186 158 194 1676 0 171 694
normalized size 1 1.00 1.71 1.45 1.78 15.38 0.00 1.57 6.37
time (sec) N/A 0.491 0.945 0.054 0.429 0.562 0.000 0.176 0.879
Problem 80 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 162 162 118 296 256 1769 0 235 305
normalized size 1 1.00 0.73 1.83 1.58 10.92 0.00 1.45 1.88
time (sec) N/A 0.405 0.436 0.067 0.418 0.680 0.000 0.178 0.862
Problem 81 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 115 115 95 213 208 1053 0 184 274
normalized size 1 1.00 0.83 1.85 1.81 9.16 0.00 1.60 2.38
time (sec) N/A 0.238 0.370 0.057 0.441 0.780 0.000 0.230 0.781
Problem 82 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 83 83 86 175 149 521 0 131 228
normalized size 1 1.00 1.04 2.11 1.80 6.28 0.00 1.58 2.75
time (sec) N/A 0.134 0.190 0.062 0.409 0.630 0.000 0.390 0.791
Problem 83 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 60 60 68 97 117 341 0 99 142
normalized size 1 1.00 1.13 1.62 1.95 5.68 0.00 1.65 2.37
time (sec) N/A 0.074 0.107 0.037 0.417 0.553 0.000 0.201 0.701
Problem 84 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 85 85 91 166 162 672 0 142 1001
normalized size 1 1.00 1.07 1.95 1.91 7.91 0.00 1.67 11.78
time (sec) N/A 0.216 0.196 0.062 0.433 0.716 0.000 0.190 2.700
Problem 85 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 115 115 118 193 251 1740 0 205 1017
normalized size 1 1.00 1.03 1.68 2.18 15.13 0.00 1.78 8.84
time (sec) N/A 0.372 0.678 0.082 0.408 0.807 0.000 0.179 3.393
Problem 86 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 158 158 156 227 363 3754 0 203 977
normalized size 1 1.00 0.99 1.44 2.30 23.76 0.00 1.28 6.18
time (sec) N/A 0.675 0.738 0.088 0.427 1.097 0.000 0.166 3.400
Problem 87 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 198 198 214 277 477 6430 0 236 975
normalized size 1 1.00 1.08 1.40 2.41 32.47 0.00 1.19 4.92
time (sec) N/A 0.884 0.957 0.084 0.426 0.961 0.000 0.328 3.301
Problem 88 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 73 73 81 42 19 28 34 32 39
normalized size 1 1.00 1.11 0.58 0.26 0.38 0.47 0.44 0.53
time (sec) N/A 0.028 0.034 0.046 0.416 0.512 0.309 0.578 0.351
Problem 89 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 102 102 142 82 79 100 87 67 106
normalized size 1 1.00 1.39 0.80 0.77 0.98 0.85 0.66 1.04
time (sec) N/A 0.051 0.264 0.076 0.432 0.620 0.406 0.156 0.979
Problem 90 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 131 131 204 124 124 190 148 89 147
normalized size 1 1.00 1.56 0.95 0.95 1.45 1.13 0.68 1.12
time (sec) N/A 0.085 0.514 0.093 0.419 0.726 0.548 0.371 1.056
Problem 91 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 160 160 265 164 167 280 209 111 237
normalized size 1 1.00 1.66 1.02 1.04 1.75 1.31 0.69 1.48
time (sec) N/A 0.126 0.634 0.091 0.427 0.955 0.734 0.161 1.261
Problem 92 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F(-2) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 37 37 171 44 36 26 0 28 32
normalized size 1 1.00 4.62 1.19 0.97 0.70 0.00 0.76 0.86
time (sec) N/A 0.013 0.032 0.047 0.413 0.482 0.000 0.240 0.615
Problem 93 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B A A F(-2) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 66 66 183 134 64 102 0 65 102
normalized size 1 1.00 2.77 2.03 0.97 1.55 0.00 0.98 1.55
time (sec) N/A 0.035 0.247 0.076 0.447 0.491 0.000 0.224 1.068
Problem 94 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B A B F(-2) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 95 95 277 224 108 191 0 87 143
normalized size 1 1.00 2.92 2.36 1.14 2.01 0.00 0.92 1.51
time (sec) N/A 0.067 0.690 0.097 0.406 0.942 0.000 0.271 1.617
Problem 95 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B A B F(-2) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 124 124 308 314 152 281 0 109 232
normalized size 1 1.00 2.48 2.53 1.23 2.27 0.00 0.88 1.87
time (sec) N/A 0.102 1.925 0.091 0.422 0.546 0.000 0.175 2.112
Problem 96 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 183 183 138 155 272 223 314 269 160
normalized size 1 1.00 0.75 0.85 1.49 1.22 1.72 1.47 0.87
time (sec) N/A 0.273 0.651 0.041 0.323 0.490 2.174 0.419 0.603
Problem 97 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 137 137 108 119 182 146 240 200 114
normalized size 1 1.00 0.79 0.87 1.33 1.07 1.75 1.46 0.83
time (sec) N/A 0.156 0.370 0.037 0.323 0.826 1.053 0.466 0.336
Problem 98 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 92 92 71 77 115 91 128 135 75
normalized size 1 1.00 0.77 0.84 1.25 0.99 1.39 1.47 0.82
time (sec) N/A 0.073 0.181 0.039 0.321 0.438 0.513 0.152 0.502
Problem 99 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 48 51 55 46 78 76 41
normalized size 1 1.00 0.92 0.98 1.06 0.88 1.50 1.46 0.79
time (sec) N/A 0.017 0.080 0.028 0.302 0.402 0.262 0.163 0.491
Problem 100 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 15 15 26 16 15 17 17 31 15
normalized size 1 1.00 1.73 1.07 1.00 1.13 1.13 2.07 1.00
time (sec) N/A 0.010 0.008 0.004 0.325 0.662 0.130 0.256 0.428
Problem 101 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 44 44 52 43 67 162 187 67 55
normalized size 1 1.00 1.18 0.98 1.52 3.68 4.25 1.52 1.25
time (sec) N/A 0.036 0.035 0.038 0.436 0.654 8.950 0.149 0.760
Problem 102 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 79 79 85 118 138 423 0 119 200
normalized size 1 1.00 1.08 1.49 1.75 5.35 0.00 1.51 2.53
time (sec) N/A 0.063 0.263 0.068 0.418 0.511 0.000 0.427 0.876
Problem 103 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F(-1) A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 127 127 117 280 315 1347 0 231 -1
normalized size 1 1.00 0.92 2.20 2.48 10.61 0.00 1.82 -0.01
time (sec) N/A 0.122 0.278 0.092 0.427 0.615 0.000 0.386 0.000
Problem 104 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F(-1) B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 174 174 159 494 551 2934 0 357 -1
normalized size 1 1.00 0.91 2.84 3.17 16.86 0.00 2.05 -0.01
time (sec) N/A 0.220 0.724 0.101 0.447 0.604 0.000 0.232 0.000
Problem 105 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 179 179 178 917 0 0 0 0 -1
normalized size 1 1.00 0.99 5.12 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.258 0.434 0.204 0.000 0.491 0.000 0.000 0.000
Problem 106 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 150 150 139 676 0 0 0 0 -1
normalized size 1 1.00 0.93 4.51 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.166 0.382 0.125 0.000 0.620 0.000 0.000 0.000
Problem 107 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 60 60 65 262 0 0 0 0 -1
normalized size 1 1.00 1.08 4.37 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.037 0.188 0.119 0.000 0.831 0.000 0.000 0.000
Problem 108 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 60 60 60 125 0 0 0 0 -1
normalized size 1 1.00 1.00 2.08 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.037 0.193 0.101 0.000 0.512 0.000 0.000 0.000
Problem 109 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 94 94 81 456 0 0 0 0 -1
normalized size 1 1.00 0.86 4.85 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.060 0.156 0.136 0.000 0.779 0.000 0.000 0.000
Problem 110 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 197 197 166 438 0 0 0 0 -1
normalized size 1 1.00 0.84 2.22 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.212 0.644 0.234 0.000 0.841 0.000 0.000 0.000
Problem 111 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 128 128 101 218 0 0 0 0 -1
normalized size 1 1.00 0.79 1.70 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.114 0.363 0.122 0.000 0.523 0.000 0.000 0.000
Problem 112 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F A F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 112 112 100 0 0 125 0 0 -1
normalized size 1 1.00 0.89 0.00 0.00 1.12 0.00 0.00 -0.01
time (sec) N/A 0.100 0.358 0.156 0.000 0.483 0.000 0.000 0.000
Problem 113 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 81 81 83 0 0 80 0 0 -1
normalized size 1 1.00 1.02 0.00 0.00 0.99 0.00 0.00 -0.01
time (sec) N/A 0.081 0.220 0.136 0.000 0.667 0.000 0.000 0.000
Problem 114 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 48 48 66 0 0 48 0 0 -1
normalized size 1 1.00 1.38 0.00 0.00 1.00 0.00 0.00 -0.02
time (sec) N/A 0.054 0.074 0.184 0.000 0.403 0.000 0.000 0.000
Problem 115 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 23 23 53 46 26 23 19 17 21
normalized size 1 1.00 2.30 2.00 1.13 1.00 0.83 0.74 0.91
time (sec) N/A 0.038 0.249 0.043 0.316 0.430 0.116 0.203 0.117
Problem 116 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 43 43 32 52 141 46 51 32 39
normalized size 1 1.00 0.74 1.21 3.28 1.07 1.19 0.74 0.91
time (sec) N/A 0.042 0.030 0.041 0.331 0.460 0.203 0.176 0.607
Problem 117 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 68 68 50 91 280 71 83 46 52
normalized size 1 1.00 0.74 1.34 4.12 1.04 1.22 0.68 0.76
time (sec) N/A 0.054 0.040 0.043 0.337 0.565 0.392 0.214 0.835
Problem 118 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 91 91 67 128 468 96 110 60 66
normalized size 1 1.00 0.74 1.41 5.14 1.05 1.21 0.66 0.73
time (sec) N/A 0.068 0.051 0.052 0.342 0.507 0.777 0.176 1.039
Problem 119 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 27 27 59 46 29 24 19 18 21
normalized size 1 1.00 2.19 1.70 1.07 0.89 0.70 0.67 0.78
time (sec) N/A 0.043 0.079 0.049 0.316 0.470 0.156 0.386 0.109
Problem 120 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 49 49 32 52 141 46 51 32 37
normalized size 1 1.00 0.65 1.06 2.88 0.94 1.04 0.65 0.76
time (sec) N/A 0.044 0.029 0.048 0.336 0.465 0.222 0.175 0.595
Problem 121 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 76 76 92 91 281 70 82 46 52
normalized size 1 1.00 1.21 1.20 3.70 0.92 1.08 0.61 0.68
time (sec) N/A 0.059 0.223 0.053 0.333 0.624 0.389 0.175 0.804
Problem 122 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 101 101 63 128 468 96 109 60 68
normalized size 1 1.00 0.62 1.27 4.63 0.95 1.08 0.59 0.67
time (sec) N/A 0.070 0.051 0.056 0.345 0.577 0.664 0.201 1.004
Problem 123 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 66 66 85 0 0 186 0 0 -1
normalized size 1 1.00 1.29 0.00 0.00 2.82 0.00 0.00 -0.02
time (sec) N/A 0.066 0.124 0.148 0.000 0.477 0.000 0.000 0.000
Problem 124 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 79 79 105 0 0 267 0 0 -1
normalized size 1 1.00 1.33 0.00 0.00 3.38 0.00 0.00 -0.01
time (sec) N/A 0.077 0.247 0.116 0.000 0.582 0.000 0.000 0.000
Problem 125 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F B F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 110 110 184 0 0 356 0 0 -1
normalized size 1 1.00 1.67 0.00 0.00 3.24 0.00 0.00 -0.01
time (sec) N/A 0.100 0.222 0.128 0.000 0.482 0.000 0.000 0.000
Problem 126 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 259 259 241 1893 0 0 0 0 -1
normalized size 1 1.00 0.93 7.31 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.446 0.802 0.164 0.000 0.715 0.000 0.000 0.000
Problem 127 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 207 207 196 1037 0 0 0 0 -1
normalized size 1 1.00 0.95 5.01 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.311 0.568 0.314 0.000 0.508 0.000 0.000 0.000
Problem 128 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 164 164 151 897 0 0 0 0 -1
normalized size 1 1.00 0.92 5.47 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.212 0.407 0.141 0.000 0.500 0.000 0.000 0.000
Problem 129 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 55 55 61 101 124 147 422 75 269
normalized size 1 1.00 1.11 1.84 2.25 2.67 7.67 1.36 4.89
time (sec) N/A 0.075 0.106 0.032 0.401 0.740 64.572 0.360 0.930
Problem 130 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 74 74 82 113 229 444 0 119 223
normalized size 1 1.00 1.11 1.53 3.09 6.00 0.00 1.61 3.01
time (sec) N/A 0.083 0.153 0.044 0.415 0.603 0.000 0.174 0.879
Problem 131 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F(-1) B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 128 128 131 314 537 1614 0 279 -1
normalized size 1 1.00 1.02 2.45 4.20 12.61 0.00 2.18 -0.01
time (sec) N/A 0.175 0.289 0.055 0.431 1.003 0.000 0.246 0.000
Problem 132 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F(-1) B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 187 187 189 633 982 3870 0 477 -1
normalized size 1 1.00 1.01 3.39 5.25 20.70 0.00 2.55 -0.01
time (sec) N/A 0.325 0.487 0.063 0.460 0.843 0.000 0.226 0.000
Problem 133 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 60 60 66 105 128 154 340 82 331
normalized size 1 1.00 1.10 1.75 2.13 2.57 5.67 1.37 5.52
time (sec) N/A 0.084 0.072 0.038 0.412 0.801 60.555 0.351 1.202
Problem 134 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 6 6 6 7 128 6 3 6 6
normalized size 1 1.00 1.00 1.17 21.33 1.00 0.50 1.00 1.00
time (sec) N/A 0.001 0.000 0.000 0.406 0.511 0.325 0.166 0.021
Problem 135 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 12 12 12 36 230 58 0 30 49
normalized size 1 1.00 1.00 3.00 19.17 4.83 0.00 2.50 4.08
time (sec) N/A 0.032 0.035 0.049 0.421 0.442 0.000 0.188 0.571
Problem 136 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 34 34 28 37 34 42 51 33 48
normalized size 1 1.00 0.82 1.09 1.00 1.24 1.50 0.97 1.41
time (sec) N/A 0.037 0.088 0.030 0.408 0.866 1.711 0.189 0.589
Problem 137 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 136 136 109 266 0 0 0 0 -1
normalized size 1 1.00 0.80 1.96 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.120 0.525 0.142 0.000 0.895 0.000 0.000 0.000
Problem 138 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 176 176 159 517 0 0 0 0 -1
normalized size 1 1.00 0.90 2.94 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.227 0.654 0.240 0.000 0.565 0.000 0.000 0.000
Problem 139 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 251 251 236 806 0 0 0 0 -1
normalized size 1 1.00 0.94 3.21 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.335 0.825 0.349 0.000 0.467 0.000 0.000 0.000
Problem 140 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 53 53 36 32 53 511 0 120 -1
normalized size 1 1.00 0.68 0.60 1.00 9.64 0.00 2.26 -0.02
time (sec) N/A 0.037 0.041 0.070 0.421 0.650 0.000 0.155 0.000
Problem 141 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 34 34 26 24 35 226 0 70 -1
normalized size 1 1.00 0.76 0.71 1.03 6.65 0.00 2.06 -0.03
time (sec) N/A 0.024 0.038 0.059 0.412 0.747 0.000 0.459 0.000
Problem 142 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 13 13 13 15 17 71 19 34 21
normalized size 1 1.00 1.00 1.15 1.31 5.46 1.46 2.62 1.62
time (sec) N/A 0.013 0.004 0.050 0.412 0.463 0.332 0.231 0.459
Problem 143 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A B F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 17 17 20 49 24 110 0 1 -1
normalized size 1 1.00 1.18 2.88 1.41 6.47 0.00 0.06 -0.06
time (sec) N/A 0.013 0.006 0.075 0.418 0.795 0.000 0.234 0.000
Problem 144 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A B F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 42 42 44 71 62 327 0 37 -1
normalized size 1 1.00 1.05 1.69 1.48 7.79 0.00 0.88 -0.02
time (sec) N/A 0.026 0.040 0.080 0.416 0.587 0.000 0.200 0.000
Problem 145 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 61 61 67 89 96 875 0 52 -1
normalized size 1 1.00 1.10 1.46 1.57 14.34 0.00 0.85 -0.02
time (sec) N/A 0.037 0.101 0.099 0.422 0.573 0.000 0.224 0.000
Problem 146 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 135 135 67 0 0 0 0 0 -1
normalized size 1 1.00 0.50 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.061 0.185 0.114 0.000 0.455 0.000 0.000 0.000
Problem 147 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 83 83 57 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.044 0.064 0.092 0.000 0.468 0.000 0.000 0.000
Problem 148 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 62 62 60 0 0 0 0 0 -1
normalized size 1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.033 0.086 0.097 0.000 0.827 0.000 0.000 0.000
Problem 149 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 60 60 42 0 0 0 0 0 -1
normalized size 1 1.00 0.70 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.030 0.029 0.098 0.000 0.559 0.000 0.000 0.000
Problem 150 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 53 0 0 0 0 0 -1
normalized size 1 1.00 0.61 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.042 0.086 0.088 0.000 0.943 0.000 0.000 0.000
Problem 151 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 135 135 69 0 0 0 0 0 -1
normalized size 1 1.00 0.51 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.061 0.204 0.093 0.000 0.420 0.000 0.000 0.000
Problem 152 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 132 132 53 171 100 1597 0 114 -1
normalized size 1 1.00 0.40 1.30 0.76 12.10 0.00 0.86 -0.01
time (sec) N/A 0.049 0.162 0.203 0.426 0.576 0.000 0.301 0.000
Problem 153 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 78 78 38 125 63 659 0 50 -1
normalized size 1 1.00 0.49 1.60 0.81 8.45 0.00 0.64 -0.01
time (sec) N/A 0.032 0.089 0.154 0.419 0.638 0.000 0.166 0.000
Problem 154 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A B F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 36 36 24 84 27 180 0 26 -1
normalized size 1 1.00 0.67 2.33 0.75 5.00 0.00 0.72 -0.03
time (sec) N/A 0.015 0.037 0.183 0.416 0.539 0.000 0.299 0.000
Problem 155 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 16 16 16 50 18 122 0 13 38
normalized size 1 1.00 1.00 3.12 1.12 7.62 0.00 0.81 2.38
time (sec) N/A 0.014 0.006 0.141 0.430 0.485 0.000 0.172 0.466
Problem 156 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 68 68 34 74 171 1163 0 27 48
normalized size 1 1.00 0.50 1.09 2.51 17.10 0.00 0.40 0.71
time (sec) N/A 0.022 0.039 0.140 0.411 0.438 0.000 0.216 0.528
Problem 157 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 118 118 47 90 467 3093 0 39 256
normalized size 1 1.00 0.40 0.76 3.96 26.21 0.00 0.33 2.17
time (sec) N/A 0.033 0.060 0.133 0.424 0.824 0.000 0.359 0.542
Problem 158 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 50 50 219 292 90 91 124 86 93
normalized size 1 1.00 4.38 5.84 1.80 1.82 2.48 1.72 1.86
time (sec) N/A 0.055 0.160 0.095 0.344 0.524 0.300 0.182 0.777
Problem 159 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 43 43 42 142 75 72 100 71 77
normalized size 1 1.00 0.98 3.30 1.74 1.67 2.33 1.65 1.79
time (sec) N/A 0.045 0.031 0.080 0.334 0.476 0.260 0.197 0.670
Problem 160 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 38 38 131 210 66 67 82 62 67
normalized size 1 1.00 3.45 5.53 1.74 1.76 2.16 1.63 1.76
time (sec) N/A 0.047 0.241 0.064 0.318 0.683 0.234 0.228 0.622
Problem 161 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 33 33 28 94 51 48 63 47 51
normalized size 1 1.00 0.85 2.85 1.55 1.45 1.91 1.42 1.55
time (sec) N/A 0.039 0.021 0.060 0.313 0.520 0.196 0.357 0.559
Problem 162 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 26 26 93 126 42 41 48 38 41
normalized size 1 1.00 3.58 4.85 1.62 1.58 1.85 1.46 1.58
time (sec) N/A 0.041 0.160 0.055 0.312 0.573 0.176 0.442 0.123
Problem 163 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 15 15 12 13 27 22 27 23 31
normalized size 1 1.00 0.80 0.87 1.80 1.47 1.80 1.53 2.07
time (sec) N/A 0.034 0.011 0.032 0.310 0.783 0.145 0.190 0.475
Problem 164 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 8 8 34 40 14 17 14 14 7
normalized size 1 1.00 4.25 5.00 1.75 2.12 1.75 1.75 0.88
time (sec) N/A 0.031 0.047 0.046 0.314 0.610 0.118 0.154 0.462
Problem 165 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 7 7 7 7 5 11 15 11 10
normalized size 1 1.00 1.00 1.00 0.71 1.57 2.14 1.57 1.43
time (sec) N/A 0.018 0.006 0.020 0.322 0.501 0.127 0.301 0.466
Problem 166 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 24 24 18 43 41 53 0 51 46
normalized size 1 1.00 0.75 1.79 1.71 2.21 0.00 2.12 1.92
time (sec) N/A 0.035 0.023 0.048 0.314 0.587 0.000 0.487 0.198
Problem 167 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 25 25 22 49 53 28 0 29 63
normalized size 1 1.00 0.88 1.96 2.12 1.12 0.00 1.16 2.52
time (sec) N/A 0.041 0.034 0.052 0.318 0.405 0.000 0.142 0.581
Problem 168 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 52 52 61 91 92 153 0 92 115
normalized size 1 1.00 1.17 1.75 1.77 2.94 0.00 1.77 2.21
time (sec) N/A 0.053 0.045 0.059 0.320 0.509 0.000 0.448 0.899
Problem 169 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 37 37 35 93 205 64 0 53 231
normalized size 1 1.00 0.95 2.51 5.54 1.73 0.00 1.43 6.24
time (sec) N/A 0.044 0.069 0.062 0.311 0.439 0.000 0.187 1.012
Problem 170 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 80 80 94 137 140 249 0 118 249
normalized size 1 1.00 1.18 1.71 1.75 3.11 0.00 1.48 3.11
time (sec) N/A 0.067 0.072 0.061 0.356 0.540 0.000 0.376 1.911
Problem 171 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 40 40 121 166 54 55 65 50 54
normalized size 1 1.00 3.02 4.15 1.35 1.38 1.62 1.25 1.35
time (sec) N/A 0.074 0.188 0.072 0.348 0.580 0.236 0.175 0.143
Problem 172 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 14 14 18 70 39 34 44 35 37
normalized size 1 1.00 1.29 5.00 2.79 2.43 3.14 2.50 2.64
time (sec) N/A 0.034 0.020 0.068 0.327 0.463 0.186 0.357 0.095
Problem 173 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 30 30 46 82 30 31 29 26 28
normalized size 1 1.00 1.53 2.73 1.00 1.03 0.97 0.87 0.93
time (sec) N/A 0.068 0.078 0.071 0.332 0.457 0.162 0.492 0.477
Problem 174 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 14 14 14 53 23 26 26 21 24
normalized size 1 1.00 1.00 3.79 1.64 1.86 1.86 1.50 1.71
time (sec) N/A 0.038 0.013 0.067 0.320 0.816 0.185 0.163 0.549
Problem 175 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 14 14 69 29 12 16 8 10 12
normalized size 1 1.00 4.93 2.07 0.86 1.14 0.57 0.71 0.86
time (sec) N/A 0.034 0.055 0.062 0.324 0.511 0.116 0.169 0.648
Problem 176 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 10 10 10 10 8 16 17 10 12
normalized size 1 1.00 1.00 1.00 0.80 1.60 1.70 1.00 1.20
time (sec) N/A 0.020 0.010 0.027 0.314 0.565 0.120 0.141 0.578
Problem 177 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 34 34 26 70 70 104 0 70 86
normalized size 1 1.00 0.76 2.06 2.06 3.06 0.00 2.06 2.53
time (sec) N/A 0.039 0.044 0.062 0.345 0.736 0.000 0.157 0.754
Problem 178 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 37 37 31 70 117 46 0 41 109
normalized size 1 1.00 0.84 1.89 3.16 1.24 0.00 1.11 2.95
time (sec) N/A 0.071 0.022 0.060 0.323 0.641 0.000 0.203 0.732
Problem 179 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 60 60 68 116 120 200 0 105 198
normalized size 1 1.00 1.13 1.93 2.00 3.33 0.00 1.75 3.30
time (sec) N/A 0.055 0.048 0.079 0.338 0.510 0.000 0.433 1.196
Problem 180 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 49 49 47 116 317 82 0 65 139
normalized size 1 1.00 0.96 2.37 6.47 1.67 0.00 1.33 2.84
time (sec) N/A 0.078 0.040 0.086 0.338 0.586 0.000 0.227 0.533
Problem 181 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A B A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 28 28 45 56 33 49 31 27 41
normalized size 1 1.00 1.61 2.00 1.18 1.75 1.11 0.96 1.46
time (sec) N/A 0.044 0.090 0.081 0.349 0.483 0.173 0.193 0.186
Problem 182 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 20 20 40 36 53 29 31 16 19
normalized size 1 1.00 2.00 1.80 2.65 1.45 1.55 0.80 0.95
time (sec) N/A 0.033 0.065 0.080 0.327 0.479 0.147 0.213 0.658
Problem 183 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 16 16 14 13 10 30 37 12 16
normalized size 1 1.00 0.88 0.81 0.62 1.88 2.31 0.75 1.00
time (sec) N/A 0.021 0.026 0.025 0.317 0.596 0.152 0.366 0.652
Problem 184 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A B A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 26 26 45 56 33 49 32 27 39
normalized size 1 1.00 1.73 2.15 1.27 1.88 1.23 1.04 1.50
time (sec) N/A 0.040 0.085 0.084 0.323 0.481 0.152 0.468 0.157
Problem 185 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 20 20 38 36 53 29 31 16 19
normalized size 1 1.00 1.90 1.80 2.65 1.45 1.55 0.80 0.95
time (sec) N/A 0.033 0.064 0.069 0.325 0.792 0.149 0.150 0.592
Problem 186 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 16 16 14 13 10 30 36 12 16
normalized size 1 1.00 0.88 0.81 0.62 1.88 2.25 0.75 1.00
time (sec) N/A 0.022 0.027 0.029 0.329 0.580 0.148 0.192 0.200
Problem 187 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 138 138 121 837 308 2105 0 254 287
normalized size 1 1.00 0.88 6.07 2.23 15.25 0.00 1.84 2.08
time (sec) N/A 0.138 0.159 0.057 0.337 0.624 0.000 0.228 1.318
Problem 188 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B B B F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 145 145 463 674 283 1486 0 288 302
normalized size 1 1.00 3.19 4.65 1.95 10.25 0.00 1.99 2.08
time (sec) N/A 0.414 5.831 0.056 0.426 0.675 0.000 0.470 1.241
Problem 189 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 81 81 76 447 180 865 0 139 169
normalized size 1 1.00 0.94 5.52 2.22 10.68 0.00 1.72 2.09
time (sec) N/A 0.091 0.091 0.053 0.322 0.699 0.000 0.494 0.875
Problem 190 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 97 97 553 336 170 569 0 168 200
normalized size 1 1.00 5.70 3.46 1.75 5.87 0.00 1.73 2.06
time (sec) N/A 0.241 2.245 0.050 0.412 1.346 0.000 0.230 0.856
Problem 191 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 38 38 38 185 81 221 0 61 77
normalized size 1 1.00 1.00 4.87 2.13 5.82 0.00 1.61 2.03
time (sec) N/A 0.061 0.036 0.044 0.328 0.650 0.000 0.188 0.617
Problem 192 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B A B A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 54 54 396 126 81 171 377 83 87
normalized size 1 1.00 7.33 2.33 1.50 3.17 6.98 1.54 1.61
time (sec) N/A 0.109 0.768 0.040 0.412 0.772 138.906 0.222 0.632
Problem 193 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 11 11 11 12 11 27 14 22 11
normalized size 1 1.00 1.00 1.09 1.00 2.45 1.27 2.00 1.00
time (sec) N/A 0.025 0.006 0.020 0.304 0.641 0.309 0.221 0.063
Problem 194 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 48 48 99 71 66 57 0 89 93
normalized size 1 1.00 2.06 1.48 1.38 1.19 0.00 1.85 1.94
time (sec) N/A 0.060 0.096 0.043 0.413 1.020 0.000 0.178 1.352
Problem 195 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 59 59 67 71 89 259 0 87 321
normalized size 1 1.00 1.14 1.20 1.51 4.39 0.00 1.47 5.44
time (sec) N/A 0.079 0.170 0.048 0.417 2.362 0.000 0.177 1.044
Problem 196 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 87 87 77 353 159 652 0 214 291
normalized size 1 1.00 0.89 4.06 1.83 7.49 0.00 2.46 3.34
time (sec) N/A 0.122 0.129 0.056 0.418 1.482 0.000 0.195 2.237
Problem 197 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 100 100 102 182 230 1142 0 180 634
normalized size 1 1.00 1.02 1.82 2.30 11.42 0.00 1.80 6.34
time (sec) N/A 0.213 0.343 0.063 0.441 0.613 0.000 0.470 1.607
Problem 198 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 135 135 135 1140 345 2707 0 369 548
normalized size 1 1.00 1.00 8.44 2.56 20.05 0.00 2.73 4.06
time (sec) N/A 0.197 0.236 0.073 0.440 1.694 0.000 0.390 4.894
Problem 199 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 146 146 146 350 438 3175 0 323 1010
normalized size 1 1.00 1.00 2.40 3.00 21.75 0.00 2.21 6.92
time (sec) N/A 0.417 0.450 0.080 0.433 2.855 0.000 0.185 2.197
Problem 200 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B B B F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 94 94 660 290 176 833 0 178 256
normalized size 1 1.00 7.02 3.09 1.87 8.86 0.00 1.89 2.72
time (sec) N/A 0.220 4.462 0.080 0.418 0.541 0.000 0.185 0.880
Problem 201 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 40 40 37 141 102 370 133 82 60
normalized size 1 1.00 0.92 3.52 2.55 9.25 3.32 2.05 1.50
time (sec) N/A 0.060 0.067 0.077 0.331 0.831 1.062 0.236 0.706
Problem 202 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 62 62 502 119 100 362 0 97 132
normalized size 1 1.00 8.10 1.92 1.61 5.84 0.00 1.56 2.13
time (sec) N/A 0.111 1.791 0.061 0.412 2.987 0.000 0.228 0.671
Problem 203 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 13 13 13 14 13 51 19 22 14
normalized size 1 1.00 1.00 1.08 1.00 3.92 1.46 1.69 1.08
time (sec) N/A 0.025 0.012 0.033 0.308 0.658 0.614 0.342 0.532
Problem 204 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 79 79 121 201 149 383 0 186 186
normalized size 1 1.00 1.53 2.54 1.89 4.85 0.00 2.35 2.35
time (sec) N/A 0.103 0.456 0.072 0.415 0.509 0.000 0.559 1.795
Problem 205 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 93 93 94 138 215 802 0 167 302
normalized size 1 1.00 1.01 1.48 2.31 8.62 0.00 1.80 3.25
time (sec) N/A 0.170 0.235 0.067 0.422 1.936 0.000 0.174 0.971
Problem 206 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 136 136 260 548 375 2615 0 295 519
normalized size 1 1.00 1.91 4.03 2.76 19.23 0.00 2.17 3.82
time (sec) N/A 0.165 2.438 0.099 0.415 1.706 0.000 0.183 5.073
Problem 207 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 144 144 137 266 490 3044 0 287 476
normalized size 1 1.00 0.95 1.85 3.40 21.14 0.00 1.99 3.31
time (sec) N/A 0.310 0.442 0.119 0.424 1.000 0.000 0.263 1.058
Problem 208 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 31 31 96 93 413 88 107 53 231
normalized size 1 1.00 3.10 3.00 13.32 2.84 3.45 1.71 7.45
time (sec) N/A 0.079 0.142 0.097 0.320 0.660 0.294 0.277 1.172
Problem 209 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 36 36 42 79 95 152 100 92 113
normalized size 1 1.00 1.17 2.19 2.64 4.22 2.78 2.56 3.14
time (sec) N/A 0.092 0.081 0.088 0.302 0.981 0.259 0.482 0.446
Problem 210 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B B B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 23 23 67 47 109 40 46 29 80
normalized size 1 1.00 2.91 2.04 4.74 1.74 2.00 1.26 3.48
time (sec) N/A 0.076 0.058 0.060 0.312 0.614 0.174 0.196 0.672
Problem 211 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 26 26 20 45 42 56 32 53 29
normalized size 1 1.00 0.77 1.73 1.62 2.15 1.23 2.04 1.12
time (sec) N/A 0.055 0.021 0.059 0.307 3.172 0.209 0.175 0.171
Problem 212 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 19 17 28 17 15 23 24
normalized size 1 1.00 1.00 0.89 1.47 0.89 0.79 1.21 1.26
time (sec) N/A 0.032 0.008 0.037 0.298 0.912 0.270 0.236 0.150
Problem 213 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 12 12 32 23 27 37 22 24 28
normalized size 1 1.00 2.67 1.92 2.25 3.08 1.83 2.00 2.33
time (sec) N/A 0.044 0.034 0.043 0.300 0.860 0.145 0.547 0.181
Problem 214 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 15 15 15 34 67 33 32 24 25
normalized size 1 1.00 1.00 2.27 4.47 2.20 2.13 1.60 1.67
time (sec) N/A 0.059 0.011 0.066 0.307 1.016 0.165 0.157 0.574
Problem 215 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 26 26 100 59 61 90 61 44 74
normalized size 1 1.00 3.85 2.27 2.35 3.46 2.35 1.69 2.85
time (sec) N/A 0.078 0.038 0.074 0.872 3.279 0.278 0.177 0.307
Problem 216 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 23 23 33 68 205 63 70 51 44
normalized size 1 1.00 1.43 2.96 8.91 2.74 3.04 2.22 1.91
time (sec) N/A 0.077 0.010 0.089 0.483 0.986 0.207 0.176 0.614
Problem 217 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 36 36 164 93 91 144 100 62 124
normalized size 1 1.00 4.56 2.58 2.53 4.00 2.78 1.72 3.44
time (sec) N/A 0.097 0.040 0.096 0.313 1.869 0.306 0.203 0.973
Problem 218 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 47 47 112 116 573 106 128 65 395
normalized size 1 1.00 2.38 2.47 12.19 2.26 2.72 1.38 8.40
time (sec) N/A 0.123 0.152 0.121 0.882 0.504 0.292 0.370 4.070
Problem 219 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 66 66 52 114 115 201 129 102 209
normalized size 1 1.00 0.79 1.73 1.74 3.05 1.95 1.55 3.17
time (sec) N/A 0.065 0.102 0.108 0.356 0.872 0.305 0.180 1.503
Problem 220 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B B B A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 37 37 84 70 197 58 66 41 139
normalized size 1 1.00 2.27 1.89 5.32 1.57 1.78 1.11 3.76
time (sec) N/A 0.118 0.096 0.084 0.361 1.580 0.198 0.367 0.296
Problem 221 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 36 36 29 66 61 95 58 66 99
normalized size 1 1.00 0.81 1.83 1.69 2.64 1.61 1.83 2.75
time (sec) N/A 0.037 0.031 0.082 0.333 1.741 0.227 0.523 0.873
Problem 222 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 25 25 25 23 48 56 39 33 49
normalized size 1 1.00 1.00 0.92 1.92 2.24 1.56 1.32 1.96
time (sec) N/A 0.040 0.029 0.058 0.346 0.818 0.261 0.157 0.304
Problem 223 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 26 26 66 35 54 79 49 47 60
normalized size 1 1.00 2.54 1.35 2.08 3.04 1.88 1.81 2.31
time (sec) N/A 0.068 0.146 0.077 0.356 1.596 0.220 0.170 0.746
Problem 224 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 29 29 29 51 64 72 53 53 56
normalized size 1 1.00 1.00 1.76 2.21 2.48 1.83 1.83 1.93
time (sec) N/A 0.048 0.016 0.096 0.387 1.017 0.275 0.203 0.260
Problem 225 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 28 28 107 58 67 98 66 50 111
normalized size 1 1.00 3.82 2.07 2.39 3.50 2.36 1.79 3.96
time (sec) N/A 0.094 0.056 0.076 0.336 0.795 0.303 0.158 0.208
Problem 226 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 27 27 27 68 171 59 65 38 40
normalized size 1 1.00 1.00 2.52 6.33 2.19 2.41 1.41 1.48
time (sec) N/A 0.043 0.013 0.092 0.335 1.296 0.292 0.176 0.606
Problem 227 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 48 48 175 74 103 158 114 74 246
normalized size 1 1.00 3.65 1.54 2.15 3.29 2.38 1.54 5.12
time (sec) N/A 0.091 0.061 0.108 0.357 0.895 0.340 0.188 0.770
Problem 228 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 124 124 108 163 241 1199 0 197 654
normalized size 1 1.00 0.87 1.31 1.94 9.67 0.00 1.59 5.27
time (sec) N/A 0.184 0.366 0.065 0.440 1.446 0.000 0.437 1.475
Problem 229 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B A B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 88 88 153 357 160 655 0 211 291
normalized size 1 1.00 1.74 4.06 1.82 7.44 0.00 2.40 3.31
time (sec) N/A 0.175 0.187 0.063 0.507 0.877 0.000 0.186 2.278
Problem 230 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 69 69 69 84 89 257 0 87 330
normalized size 1 1.00 1.00 1.22 1.29 3.72 0.00 1.26 4.78
time (sec) N/A 0.091 0.195 0.053 0.454 0.835 0.000 0.171 0.938
Problem 231 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 48 48 36 84 66 57 0 89 95
normalized size 1 1.00 0.75 1.75 1.38 1.19 0.00 1.85 1.98
time (sec) N/A 0.069 0.060 0.046 0.499 0.632 0.000 0.275 1.404
Problem 232 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 20 20 20 21 46 40 0 39 195
normalized size 1 1.00 1.00 1.05 2.30 2.00 0.00 1.95 9.75
time (sec) N/A 0.041 0.010 0.041 0.365 1.121 0.000 0.202 0.887
Problem 233 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 56 56 82 107 97 228 0 95 304
normalized size 1 1.00 1.46 1.91 1.73 4.07 0.00 1.70 5.43
time (sec) N/A 0.235 0.183 0.057 0.464 0.618 0.000 0.497 0.835
Problem 234 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 52 52 45 120 116 427 0 125 1163
normalized size 1 1.00 0.87 2.31 2.23 8.21 0.00 2.40 22.37
time (sec) N/A 0.095 0.063 0.066 0.350 0.750 0.000 0.270 1.236
Problem 235 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 108 108 176 232 212 1303 0 194 778
normalized size 1 1.00 1.63 2.15 1.96 12.06 0.00 1.80 7.20
time (sec) N/A 0.413 0.429 0.065 0.460 2.020 0.000 0.456 1.414
Problem 236 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 224 224 144 262 523 3534 0 292 543
normalized size 1 1.00 0.64 1.17 2.33 15.78 0.00 1.30 2.42
time (sec) N/A 0.435 0.412 0.103 0.447 0.945 0.000 0.539 1.297
Problem 237 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B B B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 135 135 150 491 375 2850 0 307 501
normalized size 1 1.00 1.11 3.64 2.78 21.11 0.00 2.27 3.71
time (sec) N/A 0.356 0.700 0.096 0.468 1.660 0.000 0.447 3.890
Problem 238 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 144 144 100 142 223 900 0 181 377
normalized size 1 1.00 0.69 0.99 1.55 6.25 0.00 1.26 2.62
time (sec) N/A 0.249 0.270 0.080 0.523 0.912 0.000 0.611 1.149
Problem 239 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B A B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 85 85 146 248 155 423 0 199 190
normalized size 1 1.00 1.72 2.92 1.82 4.98 0.00 2.34 2.24
time (sec) N/A 0.103 0.239 0.069 0.485 1.535 0.000 0.170 1.755
Problem 240 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 32 32 27 33 75 158 0 75 240
normalized size 1 1.00 0.84 1.03 2.34 4.94 0.00 2.34 7.50
time (sec) N/A 0.053 0.051 0.054 0.329 1.158 0.000 0.145 0.974
Problem 241 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 80 80 102 170 165 1257 0 148 897
normalized size 1 1.00 1.28 2.12 2.06 15.71 0.00 1.85 11.21
time (sec) N/A 0.402 0.479 0.069 0.474 1.487 0.000 0.249 1.776
Problem 242 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 76 76 73 184 202 1463 0 190 1375
normalized size 1 1.00 0.96 2.42 2.66 19.25 0.00 2.50 18.09
time (sec) N/A 0.110 0.213 0.088 0.365 1.358 0.000 0.337 1.633
Problem 243 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 159 159 214 357 339 3648 0 242 1450
normalized size 1 1.00 1.35 2.25 2.13 22.94 0.00 1.52 9.12
time (sec) N/A 0.671 0.823 0.084 0.450 1.970 0.000 0.250 1.534
Problem 244 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 37 37 37 30 0 356 0 0 -1
normalized size 1 1.00 1.00 0.81 0.00 9.62 0.00 0.00 -0.03
time (sec) N/A 0.062 0.023 0.033 0.000 1.151 0.000 0.000 0.000
Problem 245 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 24 24 24 19 0 370 0 0 -1
normalized size 1 1.00 1.00 0.79 0.00 15.42 0.00 0.00 -0.04
time (sec) N/A 0.059 0.013 0.035 0.000 1.401 0.000 0.000 0.000
Problem 246 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 51 51 59 88 68 170 745 87 198
normalized size 1 1.00 1.16 1.73 1.33 3.33 14.61 1.71 3.88
time (sec) N/A 0.135 0.079 0.045 0.451 2.170 73.278 0.295 2.643
Problem 247 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 25 25 48 46 19 37 24 22 24
normalized size 1 1.00 1.92 1.84 0.76 1.48 0.96 0.88 0.96
time (sec) N/A 0.083 0.069 0.056 0.356 1.997 0.168 0.238 0.135
Problem 248 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 27 27 81 44 20 36 22 21 23
normalized size 1 1.00 3.00 1.63 0.74 1.33 0.81 0.78 0.85
time (sec) N/A 0.087 0.095 0.061 0.371 1.035 0.161 0.189 0.118
Problem 249 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 89 89 132 150 125 172 0 123 914
normalized size 1 1.00 1.48 1.69 1.40 1.93 0.00 1.38 10.27
time (sec) N/A 0.177 0.368 0.054 0.466 6.493 0.000 0.210 8.673
Problem 250 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 60 60 65 73 106 183 0 102 164
normalized size 1 1.00 1.08 1.22 1.77 3.05 0.00 1.70 2.73
time (sec) N/A 0.150 0.165 0.059 0.479 1.628 0.000 0.361 11.212
Problem 251 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 89 89 93 150 125 172 0 123 864
normalized size 1 1.00 1.04 1.69 1.40 1.93 0.00 1.38 9.71
time (sec) N/A 0.252 0.250 0.058 0.535 8.215 0.000 0.512 10.644
Problem 252 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 67 86 141 172 0 90 539
normalized size 1 1.00 1.16 1.48 2.43 2.97 0.00 1.55 9.29
time (sec) N/A 0.157 0.118 0.053 0.462 1.468 0.000 0.179 2.182
Problem 253 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 81 81 85 213 176 249 1318 131 656
normalized size 1 1.00 1.05 2.63 2.17 3.07 16.27 1.62 8.10
time (sec) N/A 0.169 0.290 0.115 0.442 1.398 40.013 0.201 1.849
Problem 254 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 113 113 113 151 339 570 0 177 279
normalized size 1 1.00 1.00 1.34 3.00 5.04 0.00 1.57 2.47
time (sec) N/A 0.169 0.519 0.184 0.449 0.682 0.000 0.297 1.196
Problem 255 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F(-1) B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 180 180 170 416 726 1880 0 423 -1
normalized size 1 1.00 0.94 2.31 4.03 10.44 0.00 2.35 -0.01
time (sec) N/A 0.270 0.685 0.208 0.467 1.278 0.000 0.353 0.000
Problem 256 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F(-1) B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 250 250 235 844 1263 4350 0 717 -1
normalized size 1 1.00 0.94 3.38 5.05 17.40 0.00 2.87 -0.00
time (sec) N/A 0.440 1.580 0.230 0.510 1.018 0.000 0.504 0.000
Problem 257 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 439 439 319 919 0 1655 0 0 -1
normalized size 1 1.00 0.73 2.09 0.00 3.77 0.00 0.00 -0.00
time (sec) N/A 0.730 0.859 0.109 0.000 0.851 0.000 0.000 0.000
Problem 258 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 327 327 240 710 0 1247 0 0 -1
normalized size 1 1.00 0.73 2.17 0.00 3.81 0.00 0.00 -0.00
time (sec) N/A 0.538 0.754 0.090 0.000 1.921 0.000 0.000 0.000
Problem 259 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 215 215 576 505 0 837 0 0 -1
normalized size 1 1.00 2.68 2.35 0.00 3.89 0.00 0.00 -0.00
time (sec) N/A 0.329 0.818 0.091 0.000 3.276 0.000 0.000 0.000
Problem 260 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 47 47 41 47 42 67 0 42 -1
normalized size 1 1.00 0.87 1.00 0.89 1.43 0.00 0.89 -0.02
time (sec) N/A 0.456 0.103 0.214 0.455 1.078 0.000 0.337 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 58 58 55 0 0 0 0 0 -1
normalized size 1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.112 0.081 0.228 0.000 1.451 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 Yes TBD TBD TBD TBD TBD TBD
size 58 58 57 0 0 0 0 0 -1
normalized size 1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.081 0.037 0.157 0.000 0.796 0.000 0.000 0.000
Problem 263 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 26 26 26 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.038 0.031 0.105 0.000 1.084 0.000 0.000 0.000
Problem 264 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 40 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.037 13.090 0.105 0.000 1.985 0.000 0.000 0.000
Problem 265 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 42 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.080 38.063 0.102 0.000 0.940 0.000 0.000 0.000
Problem 266 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 54 54 41 0 52 44 0 47 43
normalized size 1 1.00 0.76 0.00 0.96 0.81 0.00 0.87 0.80
time (sec) N/A 0.011 0.070 0.035 0.349 0.810 0.000 0.283 0.646
Problem 267 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 88 88 55 0 67 91 0 169 53
normalized size 1 1.00 0.62 0.00 0.76 1.03 0.00 1.92 0.60
time (sec) N/A 0.021 0.115 0.200 0.356 1.050 0.000 0.264 0.646
Problem 268 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 149 149 120 0 114 200 0 665 93
normalized size 1 1.00 0.81 0.00 0.77 1.34 0.00 4.46 0.62
time (sec) N/A 0.041 0.526 0.192 0.402 0.758 0.000 0.264 0.720
Problem 269 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 191 191 167 0 129 294 0 777 102
normalized size 1 1.00 0.87 0.00 0.68 1.54 0.00 4.07 0.53
time (sec) N/A 0.051 0.442 0.249 0.394 2.892 0.000 0.297 0.689
Problem 270 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 73 73 54 0 64 98 0 235 56
normalized size 1 1.00 0.74 0.00 0.88 1.34 0.00 3.22 0.77
time (sec) N/A 0.024 0.141 0.041 0.377 4.615 0.000 0.237 0.704
Problem 271 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 120 120 89 0 87 248 0 758 74
normalized size 1 1.00 0.74 0.00 0.72 2.07 0.00 6.32 0.62
time (sec) N/A 0.048 0.302 0.187 0.363 1.377 0.000 0.227 0.754
Problem 272 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A B F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 203 197 292 0 138 585 0 3225 118
normalized size 1 0.97 1.44 0.00 0.68 2.88 0.00 15.89 0.58
time (sec) N/A 0.086 1.346 0.191 0.397 1.926 0.000 0.357 0.849
Problem 273 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A B F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 266 260 311 0 161 1125 0 6884 136
normalized size 1 0.98 1.17 0.00 0.61 4.23 0.00 25.88 0.51
time (sec) N/A 0.128 3.492 0.272 0.391 0.618 0.000 0.437 0.867
Problem 274 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 18 18 37 19 18 19 37 40 18
normalized size 1 1.00 2.06 1.06 1.00 1.06 2.06 2.22 1.00
time (sec) N/A 0.017 0.012 0.009 0.325 0.606 0.991 0.186 0.658
Problem 275 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 39 39 36 52 49 40 0 81 32
normalized size 1 1.00 0.92 1.33 1.26 1.03 0.00 2.08 0.82
time (sec) N/A 0.029 0.029 0.020 0.325 2.131 0.000 0.187 0.693
Problem 276 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 43 43 45 36 86 65 82 81 37
normalized size 1 1.00 1.05 0.84 2.00 1.51 1.91 1.88 0.86
time (sec) N/A 0.035 0.014 0.022 0.329 1.411 10.438 0.211 0.724
Problem 277 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 73 73 51 84 93 84 0 114 51
normalized size 1 1.00 0.70 1.15 1.27 1.15 0.00 1.56 0.70
time (sec) N/A 0.047 0.045 0.025 0.335 0.718 0.000 0.292 0.785
Problem 278 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 65 65 68 51 130 130 122 115 49
normalized size 1 1.00 1.05 0.78 2.00 2.00 1.88 1.77 0.75
time (sec) N/A 0.042 0.019 0.031 0.337 1.085 94.651 0.209 0.839
Problem 279 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 111 111 96 227 0 0 0 0 -1
normalized size 1 1.00 0.86 2.05 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.065 0.090 0.089 0.000 1.219 0.000 0.000 0.000
Problem 280 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 111 111 114 143 0 0 0 0 -1
normalized size 1 1.00 1.03 1.29 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.060 0.138 0.020 0.000 0.673 0.000 0.000 0.000
Problem 281 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 68 146 0 0 0 0 -1
normalized size 1 1.00 0.94 2.03 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.044 0.041 0.076 0.000 0.830 0.000 0.000 0.000
Problem 282 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 66 120 0 0 0 0 -1
normalized size 1 1.00 0.92 1.67 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.044 0.045 0.061 0.000 0.490 0.000 0.000 0.000
Problem 283 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 107 107 80 212 0 0 0 0 -1
normalized size 1 1.00 0.75 1.98 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.057 0.062 0.083 0.000 0.711 0.000 0.000 0.000
Problem 284 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 111 111 122 144 0 0 0 0 -1
normalized size 1 1.00 1.10 1.30 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.061 0.128 0.085 0.000 0.749 0.000 0.000 0.000
Problem 285 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 209 209 86 0 0 162 0 0 -1
normalized size 1 1.00 0.41 0.00 0.00 0.78 0.00 0.00 -0.00
time (sec) N/A 0.160 0.443 0.397 0.000 1.049 0.000 0.000 0.000
Problem 286 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F A F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 103 103 74 0 0 117 0 0 -1
normalized size 1 1.00 0.72 0.00 0.00 1.14 0.00 0.00 -0.01
time (sec) N/A 0.087 0.287 0.273 0.000 1.399 0.000 0.000 0.000
Problem 287 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F A F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 43 43 61 0 0 68 0 0 -1
normalized size 1 1.00 1.42 0.00 0.00 1.58 0.00 0.00 -0.02
time (sec) N/A 0.053 0.155 0.225 0.000 0.577 0.000 0.000 0.000
Problem 288 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F A F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 103 103 121 0 0 128 0 0 -1
normalized size 1 1.00 1.17 0.00 0.00 1.24 0.00 0.00 -0.01
time (sec) N/A 0.079 0.273 0.227 0.000 0.554 0.000 0.000 0.000
Problem 289 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 36 36 36 38 0 48 0 102 -1
normalized size 1 1.00 1.00 1.06 0.00 1.33 0.00 2.83 -0.03
time (sec) N/A 0.047 0.020 0.020 0.000 0.834 0.000 2.635 0.000
Problem 290 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A F(-1) B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 39 39 37 50 0 73 0 97 -1
normalized size 1 1.00 0.95 1.28 0.00 1.87 0.00 2.49 -0.03
time (sec) N/A 0.064 0.038 0.037 0.000 1.004 0.000 3.084 0.000
Problem 291 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F B F(-1) B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 59 59 54 74 0 118 0 167 -1
normalized size 1 1.00 0.92 1.25 0.00 2.00 0.00 2.83 -0.02
time (sec) N/A 0.085 0.060 0.033 0.000 1.139 0.000 3.904 0.000
Problem 292 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 74 74 70 113 0 253 0 0 -1
normalized size 1 1.00 0.95 1.53 0.00 3.42 0.00 0.00 -0.01
time (sec) N/A 0.130 0.302 0.054 0.000 1.121 0.000 0.000 0.000
Problem 293 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F B F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 80 80 85 120 0 277 0 0 -1
normalized size 1 1.00 1.06 1.50 0.00 3.46 0.00 0.00 -0.01
time (sec) N/A 0.146 0.384 0.184 0.000 0.494 0.000 0.000 0.000
Problem 294 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F B F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 143 143 172 228 0 701 0 0 -1
normalized size 1 1.00 1.20 1.59 0.00 4.90 0.00 0.00 -0.01
time (sec) N/A 0.246 0.487 0.186 0.000 0.630 0.000 0.000 0.000
Problem 295 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B F A F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 101 101 373 347 0 171 0 764 -1
normalized size 1 1.00 3.69 3.44 0.00 1.69 0.00 7.56 -0.01
time (sec) N/A 0.179 0.713 0.051 0.000 0.434 0.000 4.233 0.000
Problem 296 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F B F(-1) B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 107 107 112 358 0 370 0 749 -1
normalized size 1 1.00 1.05 3.35 0.00 3.46 0.00 7.00 -0.01
time (sec) N/A 0.182 0.867 0.210 0.000 3.329 0.000 17.256 0.000
Problem 297 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B F B F(-1) B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 194 194 599 700 0 717 0 1383 -1
normalized size 1 1.00 3.09 3.61 0.00 3.70 0.00 7.13 -0.01
time (sec) N/A 0.328 1.420 0.183 0.000 1.332 0.000 24.021 0.000
Problem 298 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B F A F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 121 121 449 459 0 202 0 1736 -1
normalized size 1 1.00 3.71 3.79 0.00 1.67 0.00 14.35 -0.01
time (sec) N/A 0.259 1.476 0.085 0.000 1.609 0.000 34.354 0.000
Problem 299 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F B F(-1) B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 129 129 136 468 0 477 0 1703 -1
normalized size 1 1.00 1.05 3.63 0.00 3.70 0.00 13.20 -0.01
time (sec) N/A 0.279 2.100 0.241 0.000 1.654 0.000 154.691 0.000
Problem 300 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B F B F(-1) B F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 226 226 671 922 0 942 0 3230 -1
normalized size 1 1.00 2.97 4.08 0.00 4.17 0.00 14.29 -0.00
time (sec) N/A 0.476 6.004 0.218 0.000 1.953 0.000 178.857 0.000
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 83 83 62 45 68 113 139 60 58
normalized size 1 1.00 0.75 0.54 0.82 1.36 1.67 0.72 0.70
time (sec) N/A 0.040 0.044 0.018 0.398 0.774 59.123 0.127 0.532
Problem 302 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 57 57 45 49 53 95 182 57 42
normalized size 1 1.00 0.79 0.86 0.93 1.67 3.19 1.00 0.74
time (sec) N/A 0.038 0.035 0.020 0.352 0.647 17.824 0.136 0.799
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 49 49 39 35 40 54 78 34 36
normalized size 1 1.00 0.80 0.71 0.82 1.10 1.59 0.69 0.73
time (sec) N/A 0.031 0.021 0.018 0.379 0.804 5.154 0.136 0.615
Problem 304 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 23 23 23 37 24 50 80 24 18
normalized size 1 1.00 1.00 1.61 1.04 2.17 3.48 1.04 0.78
time (sec) N/A 0.016 0.012 0.013 0.358 4.003 1.072 0.110 0.069
Problem 305 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 19 19 19 19 27 30 0 24 16
normalized size 1 1.00 1.00 1.00 1.42 1.58 0.00 1.26 0.84
time (sec) N/A 0.019 0.010 0.019 0.301 2.029 0.000 0.116 0.070
Problem 306 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 42 42 38 25 52 157 0 48 52
normalized size 1 1.00 0.90 0.60 1.24 3.74 0.00 1.14 1.24
time (sec) N/A 0.031 0.072 0.022 0.383 0.852 0.000 0.134 0.617
Problem 307 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 31 31 29 24 68 88 0 31 31
normalized size 1 1.00 0.94 0.77 2.19 2.84 0.00 1.00 1.00
time (sec) N/A 0.028 0.019 0.034 0.296 0.542 0.000 0.126 0.582
Problem 308 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 101 101 75 37 100 705 0 75 135
normalized size 1 1.00 0.74 0.37 0.99 6.98 0.00 0.74 1.34
time (sec) N/A 0.054 0.073 0.033 0.302 2.047 0.000 0.138 0.602
Problem 309 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 66 66 44 35 172 233 0 42 42
normalized size 1 1.00 0.67 0.53 2.61 3.53 0.00 0.64 0.64
time (sec) N/A 0.056 0.037 0.122 0.361 2.728 0.000 0.130 0.601
Problem 310 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 26 26 26 34 17 47 42 17 17
normalized size 1 1.00 1.00 1.31 0.65 1.81 1.62 0.65 0.65
time (sec) N/A 0.020 0.014 0.040 0.312 0.654 0.665 0.111 0.085
Problem 311 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 16 22 13 26 20 13 12
normalized size 1 1.00 0.84 1.16 0.68 1.37 1.05 0.68 0.63
time (sec) N/A 0.011 0.008 0.015 0.316 0.591 0.265 0.131 0.562
Problem 312 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 11 11 11 34 18 25 0 19 26
normalized size 1 1.00 1.00 3.09 1.64 2.27 0.00 1.73 2.36
time (sec) N/A 0.013 0.009 0.079 0.410 0.759 0.000 0.126 0.170
Problem 313 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 32 32 32 46 32 182 0 33 36
normalized size 1 1.00 1.00 1.44 1.00 5.69 0.00 1.03 1.12
time (sec) N/A 0.024 0.037 0.086 0.398 2.302 0.000 0.114 0.715
Problem 314 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 26 26 26 34 17 67 42 17 17
normalized size 1 1.00 1.00 1.31 0.65 2.58 1.62 0.65 0.65
time (sec) N/A 0.020 0.016 0.029 0.303 3.422 0.662 0.113 0.580
Problem 315 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 19 19 16 26 13 40 20 13 12
normalized size 1 1.00 0.84 1.37 0.68 2.11 1.05 0.68 0.63
time (sec) N/A 0.012 0.009 0.036 0.302 1.434 0.260 0.112 0.053
Problem 316 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 54 54 22 79 73 83 0 43 65
normalized size 1 1.00 0.41 1.46 1.35 1.54 0.00 0.80 1.20
time (sec) N/A 0.057 0.012 0.082 0.405 1.090 0.000 0.134 0.178
Problem 317 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 105 105 34 148 85 560 0 86 91
normalized size 1 1.00 0.32 1.41 0.81 5.33 0.00 0.82 0.87
time (sec) N/A 0.139 0.026 0.099 0.405 0.855 0.000 0.126 0.401
Problem 318 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 26 26 26 34 17 87 42 17 17
normalized size 1 1.00 1.00 1.31 0.65 3.35 1.62 0.65 0.65
time (sec) N/A 0.021 0.017 0.029 0.303 1.396 0.654 0.129 0.085
Problem 319 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 19 19 19 26 13 46 20 13 13
normalized size 1 1.00 1.00 1.37 0.68 2.42 1.05 0.68 0.68
time (sec) N/A 0.012 0.010 0.016 0.305 1.368 0.262 0.128 0.055
Problem 320 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 113 113 22 56 95 132 0 96 106
normalized size 1 1.00 0.19 0.50 0.84 1.17 0.00 0.85 0.94
time (sec) N/A 0.077 0.012 0.091 0.413 1.332 0.000 0.130 0.371
Problem 321 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 131 131 34 68 107 207 0 108 120
normalized size 1 1.00 0.26 0.52 0.82 1.58 0.00 0.82 0.92
time (sec) N/A 0.088 0.025 0.099 0.413 2.978 0.000 0.135 0.921
Problem 322 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F(-1) C B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 202 202 157 326 134 2228 0 1239 166
normalized size 1 1.00 0.78 1.61 0.66 11.03 0.00 6.13 0.82
time (sec) N/A 0.082 0.692 0.129 0.332 1.006 0.000 0.266 1.565
Problem 323 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B A C B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 132 132 86 143 94 703 604 904 97
normalized size 1 1.00 0.65 1.08 0.71 5.33 4.58 6.85 0.73
time (sec) N/A 0.053 0.206 0.071 0.323 0.516 34.104 0.221 0.916
Problem 324 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B A C B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 75 75 50 77 63 244 342 612 73
normalized size 1 1.00 0.67 1.03 0.84 3.25 4.56 8.16 0.97
time (sec) N/A 0.019 0.115 0.020 0.320 0.534 7.846 0.200 0.657
Problem 325 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 66 66 93 0 0 0 0 0 -1
normalized size 1 1.00 1.41 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.022 5.611 0.041 0.000 0.840 0.000 0.000 0.000
Problem 326 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 68 68 87 0 0 0 0 0 -1
normalized size 1 1.00 1.28 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.029 2.816 0.040 0.000 0.733 0.000 0.000 0.000
Problem 327 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 122 122 299 0 0 0 0 0 -1
normalized size 1 1.00 2.45 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.053 20.196 0.056 0.000 0.929 0.000 0.000 0.000
Problem 328 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 131 131 202 0 0 0 0 0 -1
normalized size 1 1.00 1.54 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.060 7.062 0.060 0.000 0.571 0.000 0.000 0.000
Problem 329 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 250 250 106 184 90 218 0 269 -1
normalized size 1 1.00 0.42 0.74 0.36 0.87 0.00 1.08 -0.00
time (sec) N/A 0.248 0.113 0.226 0.412 0.665 0.000 0.188 0.000
Problem 330 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 162 162 76 152 62 126 0 195 -1
normalized size 1 1.00 0.47 0.94 0.38 0.78 0.00 1.20 -0.01
time (sec) N/A 0.139 0.061 0.182 0.415 0.801 0.000 0.153 0.000
Problem 331 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 74 74 48 100 36 66 175 71 77
normalized size 1 1.00 0.65 1.35 0.49 0.89 2.36 0.96 1.04
time (sec) N/A 0.112 0.037 0.200 0.411 0.686 17.302 0.124 0.632
Problem 332 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-2) A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 46 46 44 0 39 42 0 85 -1
normalized size 1 1.00 0.96 0.00 0.85 0.91 0.00 1.85 -0.02
time (sec) N/A 0.129 0.055 180.000 0.413 0.468 0.000 0.143 0.000
Problem 333 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-2) A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 46 0 84 121 0 87 76
normalized size 1 1.00 0.79 0.00 1.45 2.09 0.00 1.50 1.31
time (sec) N/A 0.143 0.071 180.000 0.414 0.812 0.000 0.188 0.588
Problem 334 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-2) A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 147 147 72 0 209 315 0 122 89
normalized size 1 1.00 0.49 0.00 1.42 2.14 0.00 0.83 0.61
time (sec) N/A 0.214 0.069 180.000 0.416 0.679 0.000 0.204 0.616
Problem 335 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-2) B B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 199 199 84 0 386 592 0 161 353
normalized size 1 1.00 0.42 0.00 1.94 2.97 0.00 0.81 1.77
time (sec) N/A 0.279 0.077 180.000 0.417 0.572 0.000 0.211 0.622
Problem 336 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 41 41 28 62 0 42 99 32 45
normalized size 1 1.00 0.68 1.51 0.00 1.02 2.41 0.78 1.10
time (sec) N/A 0.013 0.047 0.038 0.000 0.887 0.757 0.115 0.095
Problem 337 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 85 85 80 72 65 103 0 73 -1
normalized size 1 1.00 0.94 0.85 0.76 1.21 0.00 0.86 -0.01
time (sec) N/A 0.081 0.093 0.147 0.306 0.879 0.000 0.125 0.000
Problem 338 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 101 101 92 97 81 129 0 91 -1
normalized size 1 1.00 0.91 0.96 0.80 1.28 0.00 0.90 -0.01
time (sec) N/A 0.147 0.171 0.227 0.316 0.647 0.000 0.145 0.000
Problem 339 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C C A F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 65 65 51 52 45 45 0 45 -1
normalized size 1 1.00 0.78 0.80 0.69 0.69 0.00 0.69 -0.02
time (sec) N/A 0.065 0.067 0.121 0.312 0.759 0.000 0.123 0.000
Problem 340 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 65 65 72 48 47 75 0 49 -1
normalized size 1 1.00 1.11 0.74 0.72 1.15 0.00 0.75 -0.02
time (sec) N/A 0.083 0.112 0.352 0.307 0.963 0.000 0.140 0.000
Problem 341 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 115 115 123 105 89 164 0 101 -1
normalized size 1 1.00 1.07 0.91 0.77 1.43 0.00 0.88 -0.01
time (sec) N/A 0.168 0.399 0.392 0.319 0.480 0.000 0.145 0.000
Problem 342 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 110 110 103 100 90 213 0 106 -1
normalized size 1 1.00 0.94 0.91 0.82 1.94 0.00 0.96 -0.01
time (sec) N/A 0.154 0.141 0.154 0.319 0.454 0.000 0.144 0.000
Problem 343 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 148 148 149 126 127 278 0 356 -1
normalized size 1 1.00 1.01 0.85 0.86 1.88 0.00 2.41 -0.01
time (sec) N/A 0.194 0.765 0.220 0.412 0.708 0.000 0.184 0.000
Problem 344 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 239 239 287 207 200 445 0 223 -1
normalized size 1 1.00 1.20 0.87 0.84 1.86 0.00 0.93 -0.00
time (sec) N/A 0.286 0.429 0.274 0.424 0.494 0.000 0.168 0.000
Problem 345 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 115 115 124 126 102 253 0 134 -1
normalized size 1 1.00 1.08 1.10 0.89 2.20 0.00 1.17 -0.01
time (sec) N/A 0.225 0.313 0.132 0.335 0.562 0.000 0.137 0.000
Problem 346 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 161 161 220 158 143 334 0 390 -1
normalized size 1 1.00 1.37 0.98 0.89 2.07 0.00 2.42 -0.01
time (sec) N/A 0.284 0.643 0.213 0.428 0.429 0.000 0.199 0.000
Problem 347 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F(-1) A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 257 257 354 265 228 541 0 285 -1
normalized size 1 1.00 1.38 1.03 0.89 2.11 0.00 1.11 -0.00
time (sec) N/A 0.477 0.777 0.257 0.425 0.518 0.000 0.186 0.000
Problem 348 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 133 133 104 117 105 217 0 132 -1
normalized size 1 1.00 0.78 0.88 0.79 1.63 0.00 0.99 -0.01
time (sec) N/A 0.198 0.162 0.136 0.319 0.506 0.000 0.146 0.000
Problem 349 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 161 161 131 139 131 244 0 150 -1
normalized size 1 1.00 0.81 0.86 0.81 1.52 0.00 0.93 -0.01
time (sec) N/A 0.226 0.266 0.168 0.318 0.515 0.000 0.159 0.000
Problem 350 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 271 271 214 234 211 427 0 264 -1
normalized size 1 1.00 0.79 0.86 0.78 1.58 0.00 0.97 -0.00
time (sec) N/A 0.345 0.463 0.207 0.326 0.513 0.000 0.160 0.000
Problem 351 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 81 81 76 70 69 146 0 75 -1
normalized size 1 1.00 0.94 0.86 0.85 1.80 0.00 0.93 -0.01
time (sec) N/A 0.170 0.351 0.117 0.321 0.433 0.000 0.155 0.000
Problem 352 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 128 128 179 101 100 254 0 107 -1
normalized size 1 1.00 1.40 0.79 0.78 1.98 0.00 0.84 -0.01
time (sec) N/A 0.204 0.537 0.153 0.323 0.420 0.000 0.141 0.000
Problem 353 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 171 171 272 144 143 492 0 155 -1
normalized size 1 1.00 1.59 0.84 0.84 2.88 0.00 0.91 -0.01
time (sec) N/A 0.300 1.226 0.213 0.328 0.738 0.000 0.155 0.000
Problem 354 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 140 140 166 147 127 322 0 172 -1
normalized size 1 1.00 1.19 1.05 0.91 2.30 0.00 1.23 -0.01
time (sec) N/A 0.321 0.742 0.156 0.323 0.485 0.000 0.141 0.000
Problem 355 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 183 183 258 177 161 422 0 198 -1
normalized size 1 1.00 1.41 0.97 0.88 2.31 0.00 1.08 -0.01
time (sec) N/A 0.334 1.464 0.181 0.416 0.657 0.000 0.177 0.000
Problem 356 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F(-1) A F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 300 300 480 302 263 848 0 352 -1
normalized size 1 1.00 1.60 1.01 0.88 2.83 0.00 1.17 -0.00
time (sec) N/A 0.587 5.936 0.276 0.346 0.606 0.000 0.181 0.000
Problem 357 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 153 153 135 156 129 263 0 169 -1
normalized size 1 1.00 0.88 1.02 0.84 1.72 0.00 1.10 -0.01
time (sec) N/A 0.301 0.339 0.145 0.338 0.676 0.000 0.150 0.000
Problem 358 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 219 219 183 211 185 343 0 225 -1
normalized size 1 1.00 0.84 0.96 0.84 1.57 0.00 1.03 -0.00
time (sec) N/A 0.364 0.626 0.218 0.337 0.585 0.000 0.164 0.000
Problem 359 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F(-1) A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 315 315 263 316 263 527 0 343 -1
normalized size 1 1.00 0.83 1.00 0.83 1.67 0.00 1.09 -0.00
time (sec) N/A 0.462 1.020 0.240 0.373 0.646 0.000 0.181 0.000
Problem 360 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 154 154 179 160 139 325 0 181 -1
normalized size 1 1.00 1.16 1.04 0.90 2.11 0.00 1.18 -0.01
time (sec) N/A 0.332 0.811 0.180 0.327 0.491 0.000 0.154 0.000
Problem 361 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 225 225 257 217 199 466 0 239 -1
normalized size 1 1.00 1.14 0.96 0.88 2.07 0.00 1.06 -0.00
time (sec) N/A 0.395 2.275 0.220 0.330 0.561 0.000 0.170 0.000
Problem 362 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A B F(-1) A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 323 323 2511 326 287 852 0 369 -1
normalized size 1 1.00 7.77 1.01 0.89 2.64 0.00 1.14 -0.00
time (sec) N/A 0.530 6.517 0.291 0.344 1.720 0.000 0.192 0.000
Problem 363 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 161 161 252 186 151 363 0 209 -1
normalized size 1 1.00 1.57 1.16 0.94 2.25 0.00 1.30 -0.01
time (sec) N/A 0.449 1.555 0.170 0.364 0.982 0.000 0.220 0.000
Problem 364 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F(-1) A F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 239 239 339 249 215 516 0 273 -1
normalized size 1 1.00 1.42 1.04 0.90 2.16 0.00 1.14 -0.00
time (sec) N/A 0.546 6.234 0.217 0.360 0.496 0.000 0.202 0.000
Problem 365 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A B F(-1) A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 344 344 2991 384 315 940 0 431 -1
normalized size 1 1.00 8.69 1.12 0.92 2.73 0.00 1.25 -0.00
time (sec) N/A 0.779 6.652 0.299 0.408 0.705 0.000 0.203 0.000
Problem 366 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 25 35 22 41 35 24
normalized size 1 1.00 1.00 0.83 1.17 0.73 1.37 1.17 0.80
time (sec) N/A 0.038 0.057 0.021 0.325 0.546 0.179 0.134 0.598
Problem 367 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 56 56 48 52 81 58 85 75 46
normalized size 1 1.00 0.86 0.93 1.45 1.04 1.52 1.34 0.82
time (sec) N/A 0.077 0.087 0.023 0.348 0.460 0.323 0.129 0.082
Problem 368 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F B F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 213 213 180 212 0 316 0 0 -1
normalized size 1 1.00 0.85 1.00 0.00 1.48 0.00 0.00 -0.00
time (sec) N/A 0.556 0.327 0.069 0.000 0.457 0.000 0.000 0.000
Problem 369 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F(-2) B F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 271 271 248 376 0 671 0 0 -1
normalized size 1 1.00 0.92 1.39 0.00 2.48 0.00 0.00 -0.00
time (sec) N/A 0.809 0.537 0.067 0.000 0.539 0.000 0.000 0.000

2.3 Detailed conclusion table specific for Rubi results

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

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

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