[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.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, 370, 371, 372, 373, 374, 375, 376 }

B grade: { }

C grade: { }

F grade: { }

2.1.2 Mathematica

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 101, 105, 106, 107, 108, 109, 110, 111, 112, 114, 115, 116, 117, 118, 119, 120, 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, 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, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 213, 214, 215, 216, 217, 218, 219, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 237, 238, 239, 240, 241, 242, 243, 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, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 329, 330, 331, 332, 333, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 371, 372, 373, 374, 375, 376 }

B grade: { 80, 81, 100, 102, 103, 104, 113, 121, 152, 195, 211, 212, 221, 245, 246, 297, 328, 355, 370 }

C grade: { 220, 235, 236, 244, 316, 334 }

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, 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, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 90, 91, 94, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 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, 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, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 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, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 309, 310, 311, 312, 313, 315, 316, 317, 318, 319, 320, 321, 322, 324, 325, 326, 327, 328, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 364, 365, 366, 367, 368, 369, 371, 372, 373, 374, 375, 376 }

B grade: { 63, 74, 89, 92, 93, 95, 117, 226, 227, 256, 270, 296, 308, 314, 329, 341, 370 }

C grade: { 323, 363 }

F grade: { }

2.1.4 Maxima

A grade: { 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, 30, 31, 32, 33, 36, 37, 38, 39, 40, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 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, 96, 98, 99, 100, 101, 102, 105, 106, 107, 108, 109, 110, 111, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 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, 222, 223, 224, 226, 227, 228, 229, 230, 231, 232, 233, 234, 236, 237, 238, 239, 240, 242, 243, 247, 249, 251, 252, 254, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 272, 273, 274, 275, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 292, 293, 294, 295, 296, 297, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 331, 332, 333, 334, 335, 336, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 356, 357, 358, 359, 360, 361, 362, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376

B grade: { 29, 34, 35, 41, 95, 97, 103, 104, 112, 113, 220, 221, 225, 235, 241, 244, 245, 246, 248, 253, 255, 271, 276, 291, 298, 313, 328, 329, 355, 363 }

C grade: { }

F grade: { 1, 133, 250, 330, 337 }

2.1.5 FriCAS

A grade: { 1, 2, 3, 4, 5, 6, 9, 10, 11, 12, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 80, 81, 82, 83, 84, 85, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 106, 107, 109, 110, 111, 112, 114, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 131, 132, 133, 134, 135, 136, 137, 138, 140, 141, 142, 144, 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, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 222, 223, 224, 226, 227, 228, 229, 230, 231, 232, 233, 234, 236, 237, 238, 239, 240, 242, 243, 245, 247, 252, 253, 254, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 292, 293, 294, 296, 297, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 329, 330, 331, 332, 333, 335, 336, 338, 339, 340, 342, 343, 345, 346, 347, 348, 349, 350, 352, 353, 354, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 371, 372, 373, 374, 375, 376 }

B grade: { 7, 8, 13, 14, 29, 41, 67, 79, 86, 97, 98, 99, 100, 101, 102, 103, 104, 105, 108, 113, 115, 130, 139, 143, 145, 195, 220, 221, 225, 235, 241, 244, 246, 248, 249, 250, 251, 255, 270, 291, 295, 298, 311, 312, 313, 314, 328, 334, 337, 341, 344, 351, 355, 370 }

C grade: { }

F grade: { }

2.1.6 Sympy

A grade: { 1, 2, 3, 4, 5, 6, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 68, 69, 70, 71, 72, 73, 77, 78, 79, 81, 83, 85, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 101, 103, 105, 107, 109, 110, 112, 114, 115, 116, 117, 118, 119, 120, 121, 122, 124, 125, 126, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 140, 141, 143, 148, 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, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 221, 222, 223, 224, 225, 227, 228, 229, 231, 232, 233, 234, 236, 237, 239, 240, 242, 243, 245, 246, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 267, 268, 269, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 284, 285, 286, 287, 289, 290, 292, 293, 294, 299, 300, 302, 303, 304, 305, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 321, 323, 326, 327, 329, 331, 332, 333, 335, 336, 338, 339, 342, 343, 345, 346, 347, 348, 349, 350, 352, 354, 355, 356, 357, 358, 361, 362, 363, 364, 366, 367, 368, 369, 371, 373, 374, 375, 376 }

B grade: { 7, 8, 42, 67, 75, 76, 80, 82, 84, 86, 87, 100, 102, 104, 106, 108, 111, 113, 127, 139, 142, 181, 195, 226, 230, 235, 241, 266, 270, 283, 291, 296, 297, 298, 306, 320, 330, 334, 341, 344, 370, 372 }

C grade: { 324 }

F grade: { 29, 41, 74, 123, 144, 145, 146, 147, 149, 220, 238, 244, 247, 248, 249, 250, 288, 295, 301, 322, 325, 328, 337, 340, 351, 353, 359, 360, 365 }

2.1.7 Giac

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 99, 100, 101, 102, 105, 106, 107, 108, 109, 110, 111, 112, 114, 116, 117, 118, 119, 120, 121, 122, 123, 125, 126, 127, 128, 129, 131, 132, 134, 135, 136, 137, 139, 140, 141, 142, 143, 144, 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, 196, 197, 198, 199, 200, 201, 202, 203, 204, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 242, 243, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 256, 257, 258, 259, 260, 261, 262, 264, 265, 266, 267, 268, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 292, 294, 295, 296, 297, 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, 330, 331, 332, 333, 334, 335, 336, 338, 339, 340, 341, 342, 343, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 369, 370, 371, 372, 373, 374, 375, 376 }

B grade: { 11, 12, 14, 29, 41, 79, 97, 98, 103, 104, 113, 115, 124, 130, 133, 138, 145, 195, 205, 225, 241, 244, 255, 263, 270, 291, 293, 298, 328, 329, 344, 368 }

C grade: { }

F grade: { 269, 337 }

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac{\text{antiderivative leaf size}}{\text{optimal antiderivative leaf size}}\)

Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 11 11 11 12 0 20 12 15
normalized size 1 1. 1. 1.09 0. 1.82 1.09 1.36
time (sec) N/A 0.002 0.001 0.003 0. 1.896 0.053 1.071
Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 3 3 3 3 3 7 2 3
normalized size 1 1. 1. 1. 1. 2.33 0.67 1.
time (sec) N/A 0.001 0. 0. 0.917 1.798 0.039 1.059
Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 2 2 2 3 3 11 2 4
normalized size 1 1. 1. 1.5 1.5 5.5 1. 2.
time (sec) N/A 0. 0. 0. 0.922 1.782 0.05 1.051
Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 8 8 8 9 11 16 8 11
normalized size 1 1. 1. 1.12 1.38 2. 1. 1.38
time (sec) N/A 0.002 0.001 0. 0.922 1.9 0.083 1.041
Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 4 4 4 5 5 12 3 5
normalized size 1 1. 1. 1.25 1.25 3. 0.75 1.25
time (sec) N/A 0.002 0.001 0. 0.926 2.005 0.053 1.066
Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 2 2 2 3 3 11 2 3
normalized size 1 1. 1. 1.5 1.5 5.5 1. 1.5
time (sec) N/A 0.002 0.001 0.001 0.928 1.986 0.053 1.058
Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 2 2 2 3 3 20 5 3
normalized size 1 1. 1. 1.5 1.5 10. 2.5 1.5
time (sec) N/A 0.006 0.002 0.003 0.927 1.91 0.059 1.063
Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 4 4 4 5 8 22 7 8
normalized size 1 1. 1. 1.25 2. 5.5 1.75 2.
time (sec) N/A 0.005 0.002 0.003 0.938 1.847 0.059 1.082
Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 2 2 2 3 5 14 3 5
normalized size 1 1. 1. 1.5 2.5 7. 1.5 2.5
time (sec) N/A 0.007 0.001 0.006 0.928 1.855 0.061 1.064
Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 4 4 4 5 8 15 5 8
normalized size 1 1. 1. 1.25 2. 3.75 1.25 2.
time (sec) N/A 0.008 0.002 0.005 0.919 1.866 0.063 1.06
Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 2 2 2 3 3 12 2 15
normalized size 1 1. 1. 1.5 1.5 6. 1. 7.5
time (sec) N/A 0.003 0.001 0. 0.919 1.904 0.11 1.059
Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 2 2 2 3 3 12 2 15
normalized size 1 1. 1. 1.5 1.5 6. 1. 7.5
time (sec) N/A 0.002 0.001 0.002 0.921 1.891 0.11 1.056
Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 5 5 5 6 4 38 5 8
normalized size 1 1. 1. 1.2 0.8 7.6 1. 1.6
time (sec) N/A 0.002 0.002 0. 0.929 2.006 0.058 1.06
Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 3 3 3 4 4 41 3 15
normalized size 1 1. 1. 1.33 1.33 13.67 1. 5.
time (sec) N/A 0.002 0.002 0. 0.927 2.031 0.058 1.056
Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 8 8 8 9 11 27 7 11
normalized size 1 1. 1. 1.12 1.38 3.38 0.88 1.38
time (sec) N/A 0.009 0.002 0. 0.933 1.91 0.167 1.049
Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 8 8 8 9 11 19 5 11
normalized size 1 1. 1. 1.12 1.38 2.38 0.62 1.38
time (sec) N/A 0.001 0.001 0.001 0.922 1.828 0.076 1.059
Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 19 19 12 12 15 28 10 15
normalized size 1 1. 0.63 0.63 0.79 1.47 0.53 0.79
time (sec) N/A 0.02 0.005 0.002 0.935 1.889 0.078 1.049
Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 19 19 14 14 15 46 15 15
normalized size 1 1. 0.74 0.74 0.79 2.42 0.79 0.79
time (sec) N/A 0.007 0.005 0. 0.928 1.924 0.283 1.047
Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 15 15 15 14 18 43 12 18
normalized size 1 1. 1. 0.93 1.2 2.87 0.8 1.2
time (sec) N/A 0.004 0.002 0.001 0.937 2.02 0.184 1.042
Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 20 20 15 12 15 31 10 15
normalized size 1 1. 0.75 0.6 0.75 1.55 0.5 0.75
time (sec) N/A 0.008 0.004 0. 0.936 1.831 0.075 1.055
Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 7 7 7 8 9 26 7 9
normalized size 1 1. 1. 1.14 1.29 3.71 1. 1.29
time (sec) N/A 0.009 0.002 0. 0.938 1.901 0.164 1.041
Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 18 18 18 15 19 45 14 19
normalized size 1 1. 1. 0.83 1.06 2.5 0.78 1.06
time (sec) N/A 0.01 0.011 0.008 0.949 1.947 0.167 1.05
Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 17 14 18 35 12 18
normalized size 1 1. 1. 0.82 1.06 2.06 0.71 1.06
time (sec) N/A 0.003 0.001 0. 0.935 1.873 0.08 1.051
Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 29 29 25 24 28 59 27 28
normalized size 1 1. 0.86 0.83 0.97 2.03 0.93 0.97
time (sec) N/A 0.025 0.027 0.008 0.941 2.028 0.304 1.04
Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 29 29 25 24 28 59 24 28
normalized size 1 1. 0.86 0.83 0.97 2.03 0.83 0.97
time (sec) N/A 0.023 0.024 0.006 0.948 1.94 0.292 1.043
Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 15 15 15 16 16 42 15 20
normalized size 1 1. 1. 1.07 1.07 2.8 1. 1.33
time (sec) N/A 0.003 0.001 0. 0.936 1.751 0.087 1.046
Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 16 15 19 41 12 19
normalized size 1 1. 1. 0.94 1.19 2.56 0.75 1.19
time (sec) N/A 0.004 0.002 0. 1.402 2.025 0.117 1.065
Problem 28 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 23 23 18 18 19 61 24 19
normalized size 1 1. 0.78 0.78 0.83 2.65 1.04 0.83
time (sec) N/A 0.013 0.003 0.001 0.938 1.956 0.313 1.051
Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 8 8 8 9 100 55 0 139
normalized size 1 1. 1. 1.12 12.5 6.88 0. 17.38
time (sec) N/A 0.018 0.005 0.004 1.426 2.087 0. 1.102
Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 17 14 18 35 12 18
normalized size 1 1. 1. 0.82 1.06 2.06 0.71 1.06
time (sec) N/A 0.007 0.001 0.001 0.936 1.834 0.083 1.059
Problem 31 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 27 27 17 17 22 39 15 22
normalized size 1 1. 0.63 0.63 0.81 1.44 0.56 0.81
time (sec) N/A 0.031 0.006 0.002 0.934 1.831 0.08 1.05
Problem 32 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 27 27 22 22 26 65 26 26
normalized size 1 1. 0.81 0.81 0.96 2.41 0.96 0.96
time (sec) N/A 0.011 0.032 0.004 0.926 1.925 0.293 1.059
Problem 33 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 27 27 20 22 23 62 20 23
normalized size 1 1. 0.74 0.81 0.85 2.3 0.74 0.85
time (sec) N/A 0.011 0.027 0.007 0.937 1.879 0.458 1.052
Problem 34 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 9 9 9 10 46 28 7 23
normalized size 1 1. 1. 1.11 5.11 3.11 0.78 2.56
time (sec) N/A 0.012 0.003 0.001 0.948 1.781 0.171 1.049
Problem 35 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 19 19 19 19 77 45 20 41
normalized size 1 1. 1. 1. 4.05 2.37 1.05 2.16
time (sec) N/A 0.016 0.013 0.009 0.95 1.771 0.212 1.053
Problem 36 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 11 10 12 23 7 12
normalized size 1 1. 0.69 0.62 0.75 1.44 0.44 0.75
time (sec) N/A 0.009 0.004 0.001 0.925 1.991 0.073 1.048
Problem 37 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 21 21 15 14 18 43 66 18
normalized size 1 1. 0.71 0.67 0.86 2.05 3.14 0.86
time (sec) N/A 0.008 0.003 0.003 0.934 2.175 2.037 1.049
Problem 38 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 18 18 18 15 19 42 14 19
normalized size 1 1. 1. 0.83 1.06 2.33 0.78 1.06
time (sec) N/A 0.012 0.009 0.005 0.936 2.375 0.162 1.041
Problem 39 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 26 26 16 15 19 34 12 19
normalized size 1 1. 0.62 0.58 0.73 1.31 0.46 0.73
time (sec) N/A 0.018 0.006 0.001 0.938 2.061 0.079 1.054
Problem 40 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 18 18 18 17 22 41 12 22
normalized size 1 1. 1. 0.94 1.22 2.28 0.67 1.22
time (sec) N/A 0.004 0.002 0.001 1.406 2.39 0.118 1.048
Problem 41 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 9 9 9 10 140 61 0 70
normalized size 1 1. 1. 1.11 15.56 6.78 0. 7.78
time (sec) N/A 0.016 0.015 0.003 0.945 2.618 0. 1.095
Problem 42 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 17 14 18 76 26 18
normalized size 1 1. 1. 0.82 1.06 4.47 1.53 1.06
time (sec) N/A 0.009 0.007 0.074 0.934 2.692 0.513 1.059
Problem 43 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 17 9 18 43 22 18
normalized size 1 1. 1. 0.53 1.06 2.53 1.29 1.06
time (sec) N/A 0.008 0.006 0.01 0.933 2.415 0.558 1.101
Problem 44 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 11 11 11 12 15 39 10 15
normalized size 1 1. 1. 1.09 1.36 3.55 0.91 1.36
time (sec) N/A 0.01 0.002 0.004 0.926 2.28 0.876 1.058
Problem 45 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 22 22 14 12 15 31 10 15
normalized size 1 1. 0.64 0.55 0.68 1.41 0.45 0.68
time (sec) N/A 0.019 0.002 0.002 0.941 2.326 0.078 1.06
Problem 46 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 15 15 9 9 16 20 7 11
normalized size 1 1. 0.6 0.6 1.07 1.33 0.47 0.73
time (sec) N/A 0.008 0.009 0. 0.944 2.242 0.074 1.055
Problem 47 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 19 19 14 15 19 39 14 19
normalized size 1 1. 0.74 0.79 1. 2.05 0.74 1.
time (sec) N/A 0.009 0.003 0.004 1.425 2.24 0.091 1.049
Problem 48 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 17 14 14 53 15 18
normalized size 1 1. 1. 0.82 0.82 3.12 0.88 1.06
time (sec) N/A 0.003 0.003 0. 0.937 2.374 0.376 1.052
Problem 49 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 24 24 16 17 15 36 20 15
normalized size 1 1. 0.67 0.71 0.62 1.5 0.83 0.62
time (sec) N/A 0.008 0.006 0. 0.946 2.218 0.178 1.067
Problem 50 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 14 14 12 10 12 30 8 12
normalized size 1 1. 0.86 0.71 0.86 2.14 0.57 0.86
time (sec) N/A 0.001 0.001 0. 0.937 2.215 0.079 1.05
Problem 51 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 17 14 16 54 15 18
normalized size 1 1. 1. 0.82 0.94 3.18 0.88 1.06
time (sec) N/A 0.003 0.002 0.001 0.938 2.36 0.375 1.048
Problem 52 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 22 22 22 17 22 57 20 22
normalized size 1 1. 1. 0.77 1. 2.59 0.91 1.
time (sec) N/A 0.011 0.012 0. 0.935 2.258 0.294 1.049
Problem 53 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 20 20 20 17 22 45 15 22
normalized size 1 1. 1. 0.85 1.1 2.25 0.75 1.1
time (sec) N/A 0.016 0.009 0.004 0.939 2.307 1.852 1.065
Problem 54 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 28 28 19 17 22 42 15 22
normalized size 1 1. 0.68 0.61 0.79 1.5 0.54 0.79
time (sec) N/A 0.034 0.002 0.001 0.943 2.288 0.085 1.066
Problem 55 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 21 21 21 16 20 45 15 20
normalized size 1 1. 1. 0.76 0.95 2.14 0.71 0.95
time (sec) N/A 0.009 0.003 0. 1.42 2.278 0.334 1.056
Problem 56 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 18 18 18 17 22 47 15 24
normalized size 1 1. 1. 0.94 1.22 2.61 0.83 1.33
time (sec) N/A 0.013 0.015 0.005 0.935 2.561 0.217 1.052
Problem 57 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 21 21 15 14 18 43 66 18
normalized size 1 1. 0.71 0.67 0.86 2.05 3.14 0.86
time (sec) N/A 0.006 0.002 0.002 0.94 2.51 2.123 1.061
Problem 58 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 18 18 14 15 14 43 14 14
normalized size 1 1. 0.78 0.83 0.78 2.39 0.78 0.78
time (sec) N/A 0.006 0.006 0.007 0.936 2.583 0.061 1.073
Problem 59 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 14 14 14 11 14 36 10 14
normalized size 1 1. 1. 0.79 1. 2.57 0.71 1.
time (sec) N/A 0.006 0.002 0.005 0.94 2.218 0.058 1.05
Problem 60 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 24 24 22 18 22 59 24 22
normalized size 1 1. 0.92 0.75 0.92 2.46 1. 0.92
time (sec) N/A 0.013 0.002 0.001 0.953 2.089 0.059 1.058
Problem 61 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 13 13 15 11 15 31 8 15
normalized size 1 1. 1.15 0.85 1.15 2.38 0.62 1.15
time (sec) N/A 0.005 0.002 0. 0.928 1.971 0.064 1.077
Problem 62 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 31 18 18 39 12 18
normalized size 1 1. 1.82 1.06 1.06 2.29 0.71 1.06
time (sec) N/A 0.023 0.01 0.006 0.957 2.219 0.062 1.06
Problem 63 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 31 30 18 73 12 18
normalized size 1 1. 1.82 1.76 1.06 4.29 0.71 1.06
time (sec) N/A 0.022 0.009 0.004 0.928 2.132 0.063 1.046
Problem 64 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 36 36 30 29 24 81 31 30
normalized size 1 1. 0.83 0.81 0.67 2.25 0.86 0.83
time (sec) N/A 0.045 0.007 0.006 0.937 2.018 0.061 1.065
Problem 65 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 24 24 14 19 14 58 14 14
normalized size 1 1. 0.58 0.79 0.58 2.42 0.58 0.58
time (sec) N/A 0.025 0.004 0. 0.925 2.039 0.066 1.051
Problem 66 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 22 22 18 19 19 58 37 19
normalized size 1 1. 0.82 0.86 0.86 2.64 1.68 0.86
time (sec) N/A 0.009 0.008 0.023 0.936 1.976 0.177 1.056
Problem 67 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 20 20 20 15 19 105 37 19
normalized size 1 1. 1. 0.75 0.95 5.25 1.85 0.95
time (sec) N/A 0.014 0.011 0.029 0.933 1.983 0.545 1.06
Problem 68 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 25 28 26 63 19 26
normalized size 1 1. 1. 1.12 1.04 2.52 0.76 1.04
time (sec) N/A 0.03 0.01 0.007 0.928 2.003 0.068 1.051
Problem 69 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 34 34 30 24 32 84 36 30
normalized size 1 1. 0.88 0.71 0.94 2.47 1.06 0.88
time (sec) N/A 0.017 0.002 0. 0.924 1.998 0.061 1.053
Problem 70 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 34 34 30 24 32 82 36 30
normalized size 1 1. 0.88 0.71 0.94 2.41 1.06 0.88
time (sec) N/A 0.017 0.002 0.029 0.927 2.051 0.057 1.047
Problem 71 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 46 46 30 36 24 92 41 30
normalized size 1 1. 0.65 0.78 0.52 2. 0.89 0.65
time (sec) N/A 0.036 0.014 0.011 0.939 1.995 0.062 1.052
Problem 72 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 21 21 23 17 23 53 17 23
normalized size 1 1. 1.1 0.81 1.1 2.52 0.81 1.1
time (sec) N/A 0.007 0.002 0.004 0.929 1.977 0.063 1.045
Problem 73 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 46 46 22 36 22 103 31 22
normalized size 1 1. 0.48 0.78 0.48 2.24 0.67 0.48
time (sec) N/A 0.052 0.007 0.005 0.929 2.105 0.067 1.048
Problem 74 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 21 21 34 39 18 58 0 18
normalized size 1 1. 1.62 1.86 0.86 2.76 0. 0.86
time (sec) N/A 0.022 0.063 0.033 0.93 2.062 0. 1.053
Problem 75 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 21 21 18 14 18 49 167 18
normalized size 1 1. 0.86 0.67 0.86 2.33 7.95 0.86
time (sec) N/A 0.022 0.011 0.02 0.933 2.066 42.137 1.05
Problem 76 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 19 19 18 14 16 50 39 16
normalized size 1 1. 0.95 0.74 0.84 2.63 2.05 0.84
time (sec) N/A 0.02 0.027 0.009 0.927 1.879 0.321 1.048
Problem 77 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 19 19 19 15 20 42 22 20
normalized size 1 1. 1. 0.79 1.05 2.21 1.16 1.05
time (sec) N/A 0.014 0.015 0.006 0.931 2.066 0.572 1.056
Problem 78 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 14 14 14 13 22 39 10 19
normalized size 1 1. 1. 0.93 1.57 2.79 0.71 1.36
time (sec) N/A 0.013 0.005 0.011 0.93 2.115 0.08 1.071
Problem 79 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 22 22 20 29 27 116 20 49
normalized size 1 1. 0.91 1.32 1.23 5.27 0.91 2.23
time (sec) N/A 0.029 0.023 0.013 0.931 2.069 0.095 1.07
Problem 80 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 5 5 36 6 7 23 19 7
normalized size 1 1. 7.2 1.2 1.4 4.6 3.8 1.4
time (sec) N/A 0.013 0.007 0.021 0.935 2.076 0.318 1.054
Problem 81 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 11 11 25 11 20 61 8 14
normalized size 1 1. 2.27 1. 1.82 5.55 0.73 1.27
time (sec) N/A 0.008 0.012 0. 0.932 1.942 0.381 1.056
Problem 82 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 6 6 6 7 8 18 7 8
normalized size 1 1. 1. 1.17 1.33 3. 1.17 1.33
time (sec) N/A 0.004 0.002 0.002 1.407 1.977 0.062 1.064
Problem 83 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 14 14 18 13 16 36 19 16
normalized size 1 1. 1.29 0.93 1.14 2.57 1.36 1.14
time (sec) N/A 0.008 0.004 0.001 1.41 1.91 0.066 1.055
Problem 84 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 11 11 17 13 12 51 19 12
normalized size 1 1. 1.55 1.18 1.09 4.64 1.73 1.09
time (sec) N/A 0.007 0.002 0.027 0.924 1.965 0.061 1.079
Problem 85 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 19 19 27 19 20 70 31 20
normalized size 1 1. 1.42 1. 1.05 3.68 1.63 1.05
time (sec) N/A 0.009 0.003 0.027 0.926 1.948 0.062 1.056
Problem 86 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 8 8 8 11 8 66 29 8
normalized size 1 1. 1. 1.38 1. 8.25 3.62 1.
time (sec) N/A 0.02 0.002 0.011 0.924 1.977 0.063 1.056
Problem 87 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 27 22 18 69 29 18
normalized size 1 1. 1.59 1.29 1.06 4.06 1.71 1.06
time (sec) N/A 0.022 0.019 0.012 0.924 1.975 0.065 1.07
Problem 88 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 8 8 8 7 8 19 7 8
normalized size 1 1. 1. 0.88 1. 2.38 0.88 1.
time (sec) N/A 0.012 0.005 0.006 0.927 1.972 0.065 1.054
Problem 89 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 17 42 19 45 15 19
normalized size 1 1. 1. 2.47 1.12 2.65 0.88 1.12
time (sec) N/A 0.023 0.023 0.011 0.925 2.237 0.097 1.051
Problem 90 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 22 22 20 23 46 77 20 30
normalized size 1 1. 0.91 1.05 2.09 3.5 0.91 1.36
time (sec) N/A 0.01 0.003 0.002 0.925 2.259 0.104 1.059
Problem 91 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 22 22 30 19 24 57 31 24
normalized size 1 1. 1.36 0.86 1.09 2.59 1.41 1.09
time (sec) N/A 0.013 0.004 0.002 1.411 2.036 0.067 1.058
Problem 92 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 19 19 19 48 27 63 20 27
normalized size 1 1. 1. 2.53 1.42 3.32 1.05 1.42
time (sec) N/A 0.016 0.01 0.008 0.938 2.028 0.104 1.059
Problem 93 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 25 58 27 66 20 27
normalized size 1 1. 1. 2.32 1.08 2.64 0.8 1.08
time (sec) N/A 0.029 0.012 0.012 0.926 2.058 0.115 1.065
Problem 94 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 8 8 8 7 14 19 7 8
normalized size 1 1. 1. 0.88 1.75 2.38 0.88 1.
time (sec) N/A 0.013 0.004 0.007 0.925 2.003 0.068 1.058
Problem 95 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 17 32 49 45 15 19
normalized size 1 1. 1. 1.88 2.88 2.65 0.88 1.12
time (sec) N/A 0.028 0.013 0.013 0.928 1.945 0.127 1.049
Problem 96 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 8 8 8 7 14 19 7 8
normalized size 1 1. 1. 0.88 1.75 2.38 0.88 1.
time (sec) N/A 0.012 0.004 0.01 0.925 2.04 0.067 1.054
Problem 97 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 16 24 36 109 27 39
normalized size 1 1. 1. 1.5 2.25 6.81 1.69 2.44
time (sec) N/A 0.015 0.006 0.008 0.929 2.172 0.109 1.059
Problem 98 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 8 8 8 12 14 53 8 24
normalized size 1 1. 1. 1.5 1.75 6.62 1. 3.
time (sec) N/A 0.005 0.002 0.003 1.409 2.098 0.059 1.068
Problem 99 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 14 14 14 17 19 90 14 30
normalized size 1 1. 1. 1.21 1.36 6.43 1. 2.14
time (sec) N/A 0.007 0.003 0.002 0.93 1.972 0.088 1.061
Problem 100 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A A B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 37 22 19 112 41 19
normalized size 1 1. 2.18 1.29 1.12 6.59 2.41 1.12
time (sec) N/A 0.026 0.027 0.013 0.934 1.958 0.067 1.077
Problem 101 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 17 22 19 86 14 24
normalized size 1 1. 1. 1.29 1.12 5.06 0.82 1.41
time (sec) N/A 0.026 0.007 0.013 0.94 2.018 0.103 1.053
Problem 102 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A A B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 5 5 17 9 11 77 15 8
normalized size 1 1. 3.4 1.8 2.2 15.4 3. 1.6
time (sec) N/A 0.002 0.003 0.002 0.931 2.151 0.093 1.073
Problem 103 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 47 18 36 150 27 73
normalized size 1 1. 2.94 1.12 2.25 9.38 1.69 4.56
time (sec) N/A 0.007 0.005 0.031 0.932 2.044 0.112 1.065
Problem 104 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 8 8 19 12 23 88 19 26
normalized size 1 1. 2.38 1.5 2.88 11. 2.38 3.25
time (sec) N/A 0.011 0.004 0.007 0.924 2.153 0.093 1.055
Problem 105 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 13 13 17 12 19 73 20 19
normalized size 1 1. 1.31 0.92 1.46 5.62 1.54 1.46
time (sec) N/A 0.007 0.002 0.026 0.93 1.962 0.057 1.058
Problem 106 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 17 14 18 81 26 18
normalized size 1 1. 1. 0.82 1.06 4.76 1.53 1.06
time (sec) N/A 0.008 0.007 0.046 0.933 2.082 0.503 1.046
Problem 107 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 17 14 18 35 22 18
normalized size 1 1. 1. 0.82 1.06 2.06 1.29 1.06
time (sec) N/A 0.008 0.005 0.029 0.93 1.934 0.512 1.072
Problem 108 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 15 15 15 12 15 78 26 15
normalized size 1 1. 1. 0.8 1. 5.2 1.73 1.
time (sec) N/A 0.008 0.006 0.049 0.925 2.13 0.493 1.054
Problem 109 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 17 9 18 43 24 18
normalized size 1 1. 1. 0.53 1.06 2.53 1.41 1.06
time (sec) N/A 0.008 0.006 0.01 0.939 2.103 0.533 1.052
Problem 110 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 8 8 8 7 8 20 7 8
normalized size 1 1. 1. 0.88 1. 2.5 0.88 1.
time (sec) N/A 0.013 0.001 0.001 0.928 1.951 0.056 1.053
Problem 111 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 30 30 30 23 30 81 112 30
normalized size 1 1. 1. 0.77 1. 2.7 3.73 1.
time (sec) N/A 0.031 0.008 0. 0.931 1.97 14.487 1.067
Problem 112 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 5 5 8 6 15 20 7 12
normalized size 1 1. 1.6 1.2 3. 4. 1.4 2.4
time (sec) N/A 0.022 0.002 0.016 0.93 2.124 0.414 1.063
Problem 113 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 15 15 61 20 93 149 32 39
normalized size 1 1. 4.07 1.33 6.2 9.93 2.13 2.6
time (sec) N/A 0.053 0.009 0.049 1.438 2.096 1.051 1.101
Problem 114 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 14 14 14 13 22 39 10 24
normalized size 1 1. 1. 0.93 1.57 2.79 0.71 1.71
time (sec) N/A 0.015 0.005 0.011 0.927 2.167 0.077 1.081
Problem 115 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 22 22 20 29 27 116 20 49
normalized size 1 1. 0.91 1.32 1.23 5.27 0.91 2.23
time (sec) N/A 0.052 0.012 0.013 0.926 2.074 0.095 1.06
Problem 116 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 8 8 8 7 8 19 7 8
normalized size 1 1. 1. 0.88 1. 2.38 0.88 1.
time (sec) N/A 0.015 0.003 0. 0.935 1.996 0.062 1.049
Problem 117 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 17 42 19 45 15 19
normalized size 1 1. 1. 2.47 1.12 2.65 0.88 1.12
time (sec) N/A 0.026 0.012 0. 0.935 1.914 0.097 1.056
Problem 118 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 25 34 28 77 15 53
normalized size 1 1. 1. 1.36 1.12 3.08 0.6 2.12
time (sec) N/A 0.004 0.007 0.003 1.407 1.795 0.227 1.061
Problem 119 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 16 13 16 38 12 26
normalized size 1 1. 1. 0.81 1. 2.38 0.75 1.62
time (sec) N/A 0.003 0.003 0.003 1.398 2.046 0.712 1.056
Problem 120 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 9 9 9 8 9 20 7 9
normalized size 1 1. 1. 0.89 1. 2.22 0.78 1.
time (sec) N/A 0.002 0.001 0.003 0.925 1.796 0.125 1.052
Problem 121 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 46 15 24 39 20 26
normalized size 1 1. 2.88 0.94 1.5 2.44 1.25 1.62
time (sec) N/A 0.002 0.003 0.001 0.974 1.884 1.02 1.057
Problem 122 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 31 31 22 19 35 45 27 31
normalized size 1 1. 0.71 0.61 1.13 1.45 0.87 1.
time (sec) N/A 0.015 0.008 0.003 1.411 1.823 0.547 1.049
Problem 123 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 27 27 27 24 28 105 0 31
normalized size 1 1. 1. 0.89 1.04 3.89 0. 1.15
time (sec) N/A 0.01 0.007 0.005 1.405 2.028 0. 1.068
Problem 124 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 16 20 19 26 27 45
normalized size 1 1. 1. 1.25 1.19 1.62 1.69 2.81
time (sec) N/A 0.003 0.003 0.003 1.396 1.848 0.708 1.062
Problem 125 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 31 31 22 25 35 57 39 41
normalized size 1 1. 0.71 0.81 1.13 1.84 1.26 1.32
time (sec) N/A 0.014 0.009 0.005 1.404 1.898 0.568 1.056
Problem 126 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 13 13 13 17 15 23 8 15
normalized size 1 1. 1. 1.31 1.15 1.77 0.62 1.15
time (sec) N/A 0.002 0. 0.003 0.924 1.811 0.128 1.056
Problem 127 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 15 15 15 18 15 41 24 15
normalized size 1 1. 1. 1.2 1. 2.73 1.6 1.
time (sec) N/A 0.002 0.002 0.003 0.92 2.008 0.18 1.072
Problem 128 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 25 20 26 90 19 26
normalized size 1 1. 1. 0.8 1.04 3.6 0.76 1.04
time (sec) N/A 0.003 0.007 0.004 1.403 1.98 0.187 1.058
Problem 129 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 18 15 30 39 24 26
normalized size 1 1. 0.72 0.6 1.2 1.56 0.96 1.04
time (sec) N/A 0.011 0.004 0.005 1.405 1.732 0.342 1.044
Problem 130 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 6 6 6 5 5 35 3 19
normalized size 1 1. 1. 0.83 0.83 5.83 0.5 3.17
time (sec) N/A 0.001 0.003 0.001 1.409 1.928 0.125 1.059
Problem 131 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 21 21 18 16 20 69 15 34
normalized size 1 1. 0.86 0.76 0.95 3.29 0.71 1.62
time (sec) N/A 0.003 0.004 0.003 1.397 1.993 0.176 1.054
Problem 132 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 35 35 46 26 30 96 66 34
normalized size 1 1. 1.31 0.74 0.86 2.74 1.89 0.97
time (sec) N/A 0.013 0.02 0.005 1.402 1.879 2.23 1.052
Problem 133 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 23 23 23 28 0 57 78 65
normalized size 1 1. 1. 1.22 0. 2.48 3.39 2.83
time (sec) N/A 0.004 0.004 0.004 0. 2.059 0.629 1.065
Problem 134 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 30 30 30 25 26 78 92 32
normalized size 1 1. 1. 0.83 0.87 2.6 3.07 1.07
time (sec) N/A 0.016 0.006 0.005 1.406 1.975 1.293 1.067
Problem 135 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 18 18 18 25 19 43 37 31
normalized size 1 1. 1. 1.39 1.06 2.39 2.06 1.72
time (sec) N/A 0.003 0.003 0.003 1.409 1.985 0.744 1.054
Problem 136 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 34 34 39 31 32 111 51 32
normalized size 1 1. 1.15 0.91 0.94 3.26 1.5 0.94
time (sec) N/A 0.006 0.03 0.01 1.404 2.222 1.522 1.076
Problem 137 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 29 29 29 23 30 73 24 30
normalized size 1 1. 1. 0.79 1.03 2.52 0.83 1.03
time (sec) N/A 0.006 0.009 0.005 1.4 2.271 0.202 1.081
Problem 138 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 23 23 23 18 19 63 15 50
normalized size 1 1. 1. 0.78 0.83 2.74 0.65 2.17
time (sec) N/A 0.011 0.004 0.004 1.401 2.29 0.987 1.05
Problem 139 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 13 13 13 10 12 53 26 12
normalized size 1 1. 1. 0.77 0.92 4.08 2. 0.92
time (sec) N/A 0.002 0.002 0.003 0.921 2.368 2.328 1.057
Problem 140 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 31 31 22 29 35 66 44 43
normalized size 1 1. 0.71 0.94 1.13 2.13 1.42 1.39
time (sec) N/A 0.014 0.011 0.004 1.398 2.566 0.593 1.064
Problem 141 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 45 45 33 32 42 97 112 35
normalized size 1 1. 0.73 0.71 0.93 2.16 2.49 0.78
time (sec) N/A 0.01 0.015 0.003 1.406 2.418 2.672 1.062
Problem 142 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 13 13 13 10 12 28 26 12
normalized size 1 1. 1. 0.77 0.92 2.15 2. 0.92
time (sec) N/A 0.002 0.002 0.001 0.926 2.065 0.175 1.046
Problem 143 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 16 23 16 76 36 16
normalized size 1 1. 1. 1.44 1. 4.75 2.25 1.
time (sec) N/A 0.001 0.004 0.002 0.921 2.062 0.722 1.064
Problem 144 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 33 33 32 26 49 80 0 31
normalized size 1 1. 0.97 0.79 1.48 2.42 0. 0.94
time (sec) N/A 0.008 0.039 0.003 1.397 2.169 0. 1.057
Problem 145 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 8 8 8 7 8 49 0 24
normalized size 1 1. 1. 0.88 1. 6.12 0. 3.
time (sec) N/A 0.006 0.005 0.003 1.406 2.107 0. 1.06
Problem 146 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 24 30 30 59 0 28
normalized size 1 1. 0.96 1.2 1.2 2.36 0. 1.12
time (sec) N/A 0.006 0.006 0.003 1.402 2.086 0. 1.049
Problem 147 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 44 44 47 37 49 85 0 34
normalized size 1 1. 1.07 0.84 1.11 1.93 0. 0.77
time (sec) N/A 0.017 0.053 0.003 1.406 2.198 0. 1.057
Problem 148 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 26 26 23 25 30 82 19 30
normalized size 1 1. 0.88 0.96 1.15 3.15 0.73 1.15
time (sec) N/A 0.006 0.007 0.001 1.408 2.219 0.113 1.051
Problem 149 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 43 43 31 36 80 123 0 49
normalized size 1 1. 0.72 0.84 1.86 2.86 0. 1.14
time (sec) N/A 0.008 0.009 0.001 0.921 2.306 0. 1.073
Problem 150 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 33 33 32 23 30 97 29 30
normalized size 1 1. 0.97 0.7 0.91 2.94 0.88 0.91
time (sec) N/A 0.025 0.013 0.008 1.407 2.289 1.234 1.058
Problem 151 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 30 30 30 23 30 72 22 30
normalized size 1 1. 1. 0.77 1. 2.4 0.73 1.
time (sec) N/A 0.015 0.007 0.004 1.401 2.216 1.115 1.058
Problem 152 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 14 14 42 13 11 38 3 22
normalized size 1 1. 3. 0.93 0.79 2.71 0.21 1.57
time (sec) N/A 0.002 0.003 0.002 0.919 2.029 0.939 1.062
Problem 153 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 15 15 15 14 18 38 10 20
normalized size 1 1. 1. 0.93 1.2 2.53 0.67 1.33
time (sec) N/A 0.004 0.003 0.005 0.922 2.13 0.087 1.052
Problem 154 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 26 26 25 21 27 54 19 28
normalized size 1 1. 0.96 0.81 1.04 2.08 0.73 1.08
time (sec) N/A 0.016 0.004 0.002 0.919 2.041 0.068 1.049
Problem 155 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 25 20 26 68 19 30
normalized size 1 1. 1. 0.8 1.04 2.72 0.76 1.2
time (sec) N/A 0.042 0.006 0.006 0.918 2.134 0.123 1.048
Problem 156 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 30 30 29 25 32 109 20 35
normalized size 1 1. 0.97 0.83 1.07 3.63 0.67 1.17
time (sec) N/A 0.03 0.016 0.008 0.926 2.073 0.09 1.051
Problem 157 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 23 23 23 18 23 65 17 24
normalized size 1 1. 1. 0.78 1. 2.83 0.74 1.04
time (sec) N/A 0.038 0.005 0.005 1.409 2.052 0.12 1.1
Problem 158 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 38 38 38 32 42 101 34 42
normalized size 1 1. 1. 0.84 1.11 2.66 0.89 1.11
time (sec) N/A 0.038 0.01 0.004 1.405 2.157 0.106 1.058
Problem 159 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 103 103 93 73 104 387 88 100
normalized size 1 1. 0.9 0.71 1.01 3.76 0.85 0.97
time (sec) N/A 0.537 0.044 0.01 1.413 2.12 0.46 1.058
Problem 160 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 33 33 33 28 39 130 27 41
normalized size 1 1. 1. 0.85 1.18 3.94 0.82 1.24
time (sec) N/A 0.047 0.02 0.007 1.404 1.905 0.131 1.063
Problem 161 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 19 19 16 16 20 55 12 20
normalized size 1 1. 0.84 0.84 1.05 2.89 0.63 1.05
time (sec) N/A 0.003 0.005 0.001 1.404 1.77 0.095 1.051
Problem 162 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 19 19 19 14 18 46 12 20
normalized size 1 1. 1. 0.74 0.95 2.42 0.63 1.05
time (sec) N/A 0.003 0.002 0.004 0.925 1.75 0.09 1.073
Problem 163 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 19 19 21 16 20 50 17 23
normalized size 1 1. 1.11 0.84 1.05 2.63 0.89 1.21
time (sec) N/A 0.007 0.003 0.006 0.92 1.882 0.091 1.059
Problem 164 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 32 32 32 27 35 107 26 58
normalized size 1 1. 1. 0.84 1.09 3.34 0.81 1.81
time (sec) N/A 0.026 0.015 0.008 0.92 1.837 0.123 1.064
Problem 165 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 43 43 33 34 46 170 32 42
normalized size 1 1. 0.77 0.79 1.07 3.95 0.74 0.98
time (sec) N/A 0.042 0.022 0.007 0.928 1.925 0.141 1.076
Problem 166 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 21 21 21 18 26 72 17 28
normalized size 1 1. 1. 0.86 1.24 3.43 0.81 1.33
time (sec) N/A 0.011 0.002 0.006 0.923 1.864 0.097 1.055
Problem 167 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 25 24 31 55 17 35
normalized size 1 1. 1. 0.96 1.24 2.2 0.68 1.4
time (sec) N/A 0.05 0.005 0.007 0.926 1.928 0.087 1.053
Problem 168 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 11 11 11 12 18 31 8 18
normalized size 1 1. 1. 1.09 1.64 2.82 0.73 1.64
time (sec) N/A 0.012 0.004 0.004 0.925 1.835 0.087 1.067
Problem 169 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 36 36 36 32 42 111 36 42
normalized size 1 1. 1. 0.89 1.17 3.08 1. 1.17
time (sec) N/A 0.118 0.015 0.005 1.404 1.882 0.169 1.055
Problem 170 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 29 29 29 22 28 105 22 28
normalized size 1 1. 1. 0.76 0.97 3.62 0.76 0.97
time (sec) N/A 0.113 0.016 0.009 1.401 1.905 0.157 1.049
Problem 171 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 60 60 54 48 63 236 63 81
normalized size 1 1. 0.9 0.8 1.05 3.93 1.05 1.35
time (sec) N/A 0.254 0.052 0.009 1.416 2.008 0.228 1.065
Problem 172 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 37 37 28 25 41 104 26 34
normalized size 1 1. 0.76 0.68 1.11 2.81 0.7 0.92
time (sec) N/A 0.008 0.013 0.007 1.414 1.929 0.116 1.056
Problem 173 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 97 97 78 68 101 378 88 96
normalized size 1 1. 0.8 0.7 1.04 3.9 0.91 0.99
time (sec) N/A 0.077 0.041 0.01 1.412 1.97 0.206 1.055
Problem 174 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 46 46 46 36 47 128 46 49
normalized size 1 1. 1. 0.78 1.02 2.78 1. 1.07
time (sec) N/A 0.059 0.025 0.007 1.411 1.96 0.149 1.064
Problem 175 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 48 48 48 38 50 138 48 51
normalized size 1 1. 1. 0.79 1.04 2.88 1. 1.06
time (sec) N/A 0.024 0.012 0.004 1.43 1.847 0.13 1.056
Problem 176 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 15 15 19 14 18 35 10 19
normalized size 1 1. 1.27 0.93 1.2 2.33 0.67 1.27
time (sec) N/A 0.006 0.003 0.001 0.951 1.806 0.068 1.045
Problem 177 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 10 10 8 9 11 24 7 12
normalized size 1 1. 0.8 0.9 1.1 2.4 0.7 1.2
time (sec) N/A 0.004 0.001 0.002 0.928 1.786 0.068 1.05
Problem 178 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 13 13 13 12 15 36 10 18
normalized size 1 1. 1. 0.92 1.15 2.77 0.77 1.38
time (sec) N/A 0.006 0.004 0.004 0.919 1.918 0.094 1.054
Problem 179 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 11 11 11 12 15 35 8 18
normalized size 1 1. 1. 1.09 1.36 3.18 0.73 1.64
time (sec) N/A 0.001 0.003 0.004 0.926 1.913 0.091 1.063
Problem 180 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 12 12 15 13 16 30 10 18
normalized size 1 1. 1.25 1.08 1.33 2.5 0.83 1.5
time (sec) N/A 0.006 0.003 0.002 0.921 1.81 0.07 1.063
Problem 181 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 26 26 19 27 35 49 80 38
normalized size 1 1. 0.73 1.04 1.35 1.88 3.08 1.46
time (sec) N/A 0.006 0.007 0.006 0.929 1.864 0.197 1.05
Problem 182 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 14 14 14 13 16 36 10 19
normalized size 1 1. 1. 0.93 1.14 2.57 0.71 1.36
time (sec) N/A 0.018 0.003 0.004 0.927 1.68 0.09 1.05
Problem 183 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 26 26 26 19 24 58 17 27
normalized size 1 1. 1. 0.73 0.92 2.23 0.65 1.04
time (sec) N/A 0.016 0.005 0.005 0.931 1.812 0.088 1.052
Problem 184 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 14 14 14 15 19 49 10 20
normalized size 1 1. 1. 1.07 1.36 3.5 0.71 1.43
time (sec) N/A 0.005 0.004 0.004 0.93 1.87 0.076 1.043
Problem 185 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 23 23 23 20 26 59 19 30
normalized size 1 1. 1. 0.87 1.13 2.57 0.83 1.3
time (sec) N/A 0.008 0.004 0.006 0.935 1.903 0.118 1.055
Problem 186 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 17 16 20 51 15 24
normalized size 1 1. 1. 0.94 1.18 3. 0.88 1.41
time (sec) N/A 0.04 0.006 0.008 0.933 1.867 0.121 1.07
Problem 187 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 12 12 12 13 16 46 8 18
normalized size 1 1. 1. 1.08 1.33 3.83 0.67 1.5
time (sec) N/A 0.005 0.003 0.006 0.926 1.688 0.072 1.069
Problem 188 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 30 30 22 21 27 81 19 28
normalized size 1 1. 0.73 0.7 0.9 2.7 0.63 0.93
time (sec) N/A 0.01 0.007 0.006 0.929 1.931 0.104 1.052
Problem 189 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 28 28 26 21 27 89 22 35
normalized size 1 1. 0.93 0.75 0.96 3.18 0.79 1.25
time (sec) N/A 0.01 0.016 0.006 0.926 1.832 0.113 1.048
Problem 190 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 14 14 14 15 19 50 14 22
normalized size 1 1. 1. 1.07 1.36 3.57 1. 1.57
time (sec) N/A 0.023 0.004 0.006 0.927 1.746 0.1 1.057
Problem 191 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 19 19 25 18 23 58 17 27
normalized size 1 1. 1.32 0.95 1.21 3.05 0.89 1.42
time (sec) N/A 0.027 0.007 0.007 0.93 1.781 0.115 1.055
Problem 192 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 15 15 15 14 18 35 12 19
normalized size 1 1. 1. 0.93 1.2 2.33 0.8 1.27
time (sec) N/A 0.009 0.004 0. 0.927 1.849 0.081 1.065
Problem 193 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 25 24 36 92 20 41
normalized size 1 1. 1. 0.96 1.44 3.68 0.8 1.64
time (sec) N/A 0.008 0.01 0.008 0.923 1.742 0.1 1.05
Problem 194 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 21 21 21 20 30 84 19 24
normalized size 1 1. 1. 0.95 1.43 4. 0.9 1.14
time (sec) N/A 0.007 0.008 0.005 0.923 1.805 0.086 1.05
Problem 195 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A A B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 8 8 22 17 22 57 15 24
normalized size 1 1. 2.75 2.12 2.75 7.12 1.88 3.
time (sec) N/A 0.005 0.003 0.006 0.929 1.772 0.089 1.055
Problem 196 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 15 15 15 14 18 32 10 18
normalized size 1 1. 1. 0.93 1.2 2.13 0.67 1.2
time (sec) N/A 0.009 0.006 0.001 0.925 1.812 0.084 1.065
Problem 197 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 18 18 18 15 19 38 12 19
normalized size 1 1. 1. 0.83 1.06 2.11 0.67 1.06
time (sec) N/A 0.008 0.003 0.001 0.927 1.816 0.069 1.059
Problem 198 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 20 20 20 19 24 58 17 24
normalized size 1 1. 1. 0.95 1.2 2.9 0.85 1.2
time (sec) N/A 0.009 0.005 0.001 1.406 1.735 0.091 1.061
Problem 199 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 31 31 31 27 35 90 34 35
normalized size 1 1. 1. 0.87 1.13 2.9 1.1 1.13
time (sec) N/A 0.014 0.007 0.003 1.406 1.747 0.093 1.059
Problem 200 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 27 27 31 22 28 70 22 28
normalized size 1 1. 1.15 0.81 1.04 2.59 0.81 1.04
time (sec) N/A 0.025 0.005 0.004 1.404 1.935 0.098 1.049
Problem 201 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 23 23 28 20 26 65 19 27
normalized size 1 1. 1.22 0.87 1.13 2.83 0.83 1.17
time (sec) N/A 0.035 0.007 0.004 1.417 1.76 0.119 1.062
Problem 202 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 28 28 28 24 31 85 29 32
normalized size 1 1. 1. 0.86 1.11 3.04 1.04 1.14
time (sec) N/A 0.022 0.008 0.004 1.413 1.906 0.117 1.056
Problem 203 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 41 33 43 113 41 45
normalized size 1 1. 1. 0.8 1.05 2.76 1. 1.1
time (sec) N/A 0.02 0.005 0.001 1.412 1.766 0.117 1.062
Problem 204 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 42 36 47 119 42 49
normalized size 1 1. 1.02 0.88 1.15 2.9 1.02 1.2
time (sec) N/A 0.024 0.007 0.005 1.412 1.881 0.121 1.057
Problem 205 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 24 24 22 21 27 115 20 63
normalized size 1 1. 0.92 0.88 1.12 4.79 0.83 2.62
time (sec) N/A 0.034 0.014 0.006 1.403 1.952 0.126 1.068
Problem 206 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 14 14 26 19 24 72 19 27
normalized size 1 1. 1.86 1.36 1.71 5.14 1.36 1.93
time (sec) N/A 0.006 0.004 0.004 1.401 1.903 0.114 1.059
Problem 207 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 29 29 29 25 32 86 29 32
normalized size 1 1. 1. 0.86 1.1 2.97 1. 1.1
time (sec) N/A 0.114 0.013 0.003 1.408 1.817 0.163 1.063
Problem 208 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 23 23 23 18 23 69 19 23
normalized size 1 1. 1. 0.78 1. 3. 0.83 1.
time (sec) N/A 0.031 0.01 0.003 1.411 1.799 0.155 1.062
Problem 209 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 39 39 39 35 43 123 41 43
normalized size 1 1. 1. 0.9 1.1 3.15 1.05 1.1
time (sec) N/A 0.014 0.022 0.004 1.421 2.012 0.115 1.06
Problem 210 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 10 10 10 11 19 46 8 19
normalized size 1 1. 1. 1.1 1.9 4.6 0.8 1.9
time (sec) N/A 0.017 0.006 0.005 0.926 1.918 0.092 1.064
Problem 211 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 11 11 26 12 15 55 12 20
normalized size 1 1. 2.36 1.09 1.36 5. 1.09 1.82
time (sec) N/A 0.048 0.087 0.026 0.937 2.12 0.215 1.062
Problem 212 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 20 20 82 18 23 61 19 23
normalized size 1 1. 4.1 0.9 1.15 3.05 0.95 1.15
time (sec) N/A 0.052 0.163 0.015 1.408 1.992 0.577 1.059
Problem 213 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 19 19 19 14 18 46 12 20
normalized size 1 1. 1. 0.74 0.95 2.42 0.63 1.05
time (sec) N/A 0.004 0.002 0.005 0.926 1.807 0.089 1.06
Problem 214 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 17 12 15 39 10 18
normalized size 1 1. 1. 0.71 0.88 2.29 0.59 1.06
time (sec) N/A 0.002 0.002 0.004 0.924 1.862 0.087 1.054
Problem 215 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 21 21 21 18 23 50 17 26
normalized size 1 1. 1. 0.86 1.1 2.38 0.81 1.24
time (sec) N/A 0.005 0.004 0.005 0.944 1.868 0.122 1.056
Problem 216 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 49 49 44 27 50 127 46 54
normalized size 1 1. 0.9 0.55 1.02 2.59 0.94 1.1
time (sec) N/A 0.012 0.017 0.002 1.404 1.899 0.106 1.05
Problem 217 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 57 51 68 216 68 72
normalized size 1 1. 0.9 0.81 1.08 3.43 1.08 1.14
time (sec) N/A 0.087 0.027 0.012 1.418 1.902 0.317 1.06
Problem 218 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 86 86 67 54 80 312 63 80
normalized size 1 1. 0.78 0.63 0.93 3.63 0.73 0.93
time (sec) N/A 0.098 0.044 0.012 1.421 1.981 0.203 1.075
Problem 219 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 24 24 24 29 38 88 44 39
normalized size 1 1. 1. 1.21 1.58 3.67 1.83 1.62
time (sec) N/A 0.005 0.005 0.007 0.94 1.791 0.716 1.06
Problem 220 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A B B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 200 200 22 175 367 2130 0 188
normalized size 1 1. 0.11 0.88 1.84 10.65 0. 0.94
time (sec) N/A 0.378 0.005 0.033 1.44 12.908 0. 1.398
Problem 221 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A B B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 18 18 41 22 41 109 20 31
normalized size 1 1. 2.28 1.22 2.28 6.06 1.11 1.72
time (sec) N/A 0.012 0.017 0.031 0.936 1.928 0.251 1.08
Problem 222 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 18 18 18 27 20 43 15 19
normalized size 1 1. 1. 1.5 1.11 2.39 0.83 1.06
time (sec) N/A 0.006 0.007 0.003 0.929 1.794 0.109 1.045
Problem 223 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 32 32 28 21 38 68 26 27
normalized size 1 1. 0.88 0.66 1.19 2.12 0.81 0.84
time (sec) N/A 0.013 0.011 0.002 0.931 1.909 0.113 1.049
Problem 224 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 16 13 16 42 14 16
normalized size 1 1. 1. 0.81 1. 2.62 0.88 1.
time (sec) N/A 0.003 0.003 0.003 1.402 1.919 0.149 1.049
Problem 225 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 10 10 10 9 26 62 26 27
normalized size 1 1. 1. 0.9 2.6 6.2 2.6 2.7
time (sec) N/A 0.003 0.002 0.003 0.936 1.872 0.482 1.054
Problem 226 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 14 14 14 50 23 30 22 24
normalized size 1 1. 1. 3.57 1.64 2.14 1.57 1.71
time (sec) N/A 0.004 0.002 0.011 0.927 1.91 0.178 1.054
Problem 227 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 31 31 31 54 28 72 36 30
normalized size 1 1. 1. 1.74 0.9 2.32 1.16 0.97
time (sec) N/A 0.023 0.01 0.013 0.927 1.899 1.312 1.079
Problem 228 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 32 32 21 18 30 49 76 30
normalized size 1 1. 0.66 0.56 0.94 1.53 2.38 0.94
time (sec) N/A 0.005 0.006 0.003 0.926 1.796 1.076 1.05
Problem 229 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 31 31 31 25 32 81 76 32
normalized size 1 1. 1. 0.81 1.03 2.61 2.45 1.03
time (sec) N/A 0.008 0.007 0.005 1.406 1.88 1.214 1.05
Problem 230 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 29 29 22 20 26 50 117 26
normalized size 1 1. 0.76 0.69 0.9 1.72 4.03 0.9
time (sec) N/A 0.007 0.007 0.005 0.928 2.055 0.76 1.064
Problem 231 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 8 8 8 7 8 26 7 8
normalized size 1 1. 1. 0.88 1. 3.25 0.88 1.
time (sec) N/A 0.005 0.002 0.003 1.414 2.295 0.291 1.059
Problem 232 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 21 21 20 16 20 49 17 22
normalized size 1 1. 0.95 0.76 0.95 2.33 0.81 1.05
time (sec) N/A 0.011 0.008 0.003 0.951 2.191 0.136 1.051
Problem 233 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 30 30 30 23 30 66 26 31
normalized size 1 1. 1. 0.77 1. 2.2 0.87 1.03
time (sec) N/A 0.017 0.013 0.003 0.944 2.129 0.15 1.053
Problem 234 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 27 27 20 17 26 46 26 26
normalized size 1 1. 0.74 0.63 0.96 1.7 0.96 0.96
time (sec) N/A 0.01 0.007 0.003 0.946 2.099 0.798 1.068
Problem 235 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A B B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 201 201 29 242 396 1858 561 189
normalized size 1 1. 0.14 1.2 1.97 9.24 2.79 0.94
time (sec) N/A 0.216 0.007 0.013 1.476 14.307 36.272 1.409
Problem 236 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 62 62 24 46 61 167 68 61
normalized size 1 1. 0.39 0.74 0.98 2.69 1.1 0.98
time (sec) N/A 0.037 0.007 0.007 1.443 2.153 0.701 1.054
Problem 237 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 130 130 130 83 111 286 121 111
normalized size 1 1. 1. 0.64 0.85 2.2 0.93 0.85
time (sec) N/A 0.046 0.037 0.004 0.947 2.129 2.022 1.062
Problem 238 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 24 24 24 40 50 63 0 38
normalized size 1 1. 1. 1.67 2.08 2.62 0. 1.58
time (sec) N/A 0.009 0.008 0.007 1.425 2.215 0. 1.067
Problem 239 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 11 11 11 12 15 47 10 16
normalized size 1 1. 1. 1.09 1.36 4.27 0.91 1.45
time (sec) N/A 0.021 0.007 0.031 0.938 2.335 0.196 1.056
Problem 240 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 17 16 20 42 14 20
normalized size 1 1. 1. 0.94 1.18 2.47 0.82 1.18
time (sec) N/A 0.032 0.013 0.007 0.95 2.255 0.112 1.066
Problem 241 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 12 12 12 10 28 68 26 28
normalized size 1 1. 1. 0.83 2.33 5.67 2.17 2.33
time (sec) N/A 0.008 0.003 0.005 0.935 2.063 1.041 1.05
Problem 242 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 28 28 28 36 47 95 32 50
normalized size 1 1. 1. 1.29 1.68 3.39 1.14 1.79
time (sec) N/A 0.013 0.009 0.002 0.951 2.028 1.243 1.068
Problem 243 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 43 43 43 22 41 95 20 31
normalized size 1 1. 1. 0.51 0.95 2.21 0.47 0.72
time (sec) N/A 0.019 0.011 0.011 0.928 2.306 0.209 1.083
Problem 244 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A B B F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 21 21 24 19 53 126 0 50
normalized size 1 1. 1.14 0.9 2.52 6. 0. 2.38
time (sec) N/A 0.01 0.02 0.019 1.408 2.226 0. 1.126
Problem 245 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 11 11 24 16 34 68 14 23
normalized size 1 1. 2.18 1.45 3.09 6.18 1.27 2.09
time (sec) N/A 0.011 0.014 0.027 0.944 2.252 0.237 1.099
Problem 246 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A B B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 18 18 43 22 41 109 20 31
normalized size 1 1. 2.39 1.22 2.28 6.06 1.11 1.72
time (sec) N/A 0.012 0.016 0.031 0.943 2.222 0.249 1.081
Problem 247 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 24 24 35 24 34 132 0 38
normalized size 1 1. 1.46 1. 1.42 5.5 0. 1.58
time (sec) N/A 0.052 0.02 0.036 0.954 2.318 0. 1.067
Problem 248 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 24 24 39 24 297 132 0 38
normalized size 1 1. 1.62 1. 12.38 5.5 0. 1.58
time (sec) N/A 0.027 0.029 0.052 0.964 2.343 0. 1.061
Problem 249 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 18 18 18 24 31 115 0 34
normalized size 1 1. 1. 1.33 1.72 6.39 0. 1.89
time (sec) N/A 0.03 0.017 0.03 0.93 2.358 0. 1.057
Problem 250 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F(-2) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 36 36 38 35 0 242 0 82
normalized size 1 1. 1.06 0.97 0. 6.72 0. 2.28
time (sec) N/A 0.022 0.043 0.046 0. 2.25 0. 1.116
Problem 251 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 15 15 15 16 20 99 2866 35
normalized size 1 1. 1. 1.07 1.33 6.6 191.07 2.33
time (sec) N/A 0.025 0.042 0. 1.447 2.523 40.291 1.066
Problem 252 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 12 12 10 14 11 24 7 12
normalized size 1 1. 0.83 1.17 0.92 2. 0.58 1.
time (sec) N/A 0.002 0.001 0.001 0.917 2.011 0.072 1.059
Problem 253 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 17 12 35 31 12 15
normalized size 1 1. 1. 0.71 2.06 1.82 0.71 0.88
time (sec) N/A 0.003 0.002 0.001 0.926 2.095 0.121 1.041
Problem 254 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 12 12 8 9 14 30 7 11
normalized size 1 1. 0.67 0.75 1.17 2.5 0.58 0.92
time (sec) N/A 0.009 0.008 0.006 0.921 2.082 0.349 1.068
Problem 255 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 16 24 36 109 27 39
normalized size 1 1. 1. 1.5 2.25 6.81 1.69 2.44
time (sec) N/A 0.014 0.007 0. 0.936 1.973 0.111 1.067
Problem 256 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 17 42 19 45 15 19
normalized size 1 1. 1. 2.47 1.12 2.65 0.88 1.12
time (sec) N/A 0.025 0.016 0. 0.945 1.85 0.096 1.064
Problem 257 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 24 24 16 17 15 36 20 15
normalized size 1 1. 0.67 0.71 0.62 1.5 0.83 0.62
time (sec) N/A 0.009 0.006 0. 0.942 1.867 0.176 1.063
Problem 258 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 42 42 42 31 41 108 36 45
normalized size 1 1. 1. 0.74 0.98 2.57 0.86 1.07
time (sec) N/A 0.043 0.007 0.007 0.971 1.709 0.13 1.064
Problem 259 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 8 8 8 7 8 22 7 8
normalized size 1 1. 1. 0.88 1. 2.75 0.88 1.
time (sec) N/A 0.014 0.001 0.003 0.956 1.871 0.41 1.057
Problem 260 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 12 12 12 11 14 28 8 15
normalized size 1 1. 1. 0.92 1.17 2.33 0.67 1.25
time (sec) N/A 0.006 0.003 0.003 0.958 1.797 0.069 1.046
Problem 261 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 5 5 5 4 4 12 3 4
normalized size 1 1. 1. 0.8 0.8 2.4 0.6 0.8
time (sec) N/A 0.006 0.005 0.002 0.971 1.941 0.624 1.055
Problem 262 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 24 24 14 19 14 58 14 14
normalized size 1 1. 0.58 0.79 0.58 2.42 0.58 0.58
time (sec) N/A 0.028 0.004 0. 0.969 1.996 0.062 1.051
Problem 263 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 8 8 8 9 11 42 8 24
normalized size 1 1. 1. 1.12 1.38 5.25 1. 3.
time (sec) N/A 0.023 0.023 0.029 0.954 2.058 0.129 1.085
Problem 264 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 13 13 13 17 15 23 8 15
normalized size 1 1. 1. 1.31 1.15 1.77 0.62 1.15
time (sec) N/A 0.002 0.001 0. 0.957 1.878 0.125 1.058
Problem 265 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 17 14 18 36 12 18
normalized size 1 1. 1. 0.82 1.06 2.12 0.71 1.06
time (sec) N/A 0.007 0.001 0.001 0.973 1.889 0.086 1.058
Problem 266 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 24 24 24 19 24 58 107 24
normalized size 1 1. 1. 0.79 1. 2.42 4.46 1.
time (sec) N/A 0.006 0.006 0.006 1.422 1.902 1.249 1.059
Problem 267 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 12 12 12 13 16 46 8 18
normalized size 1 1. 1. 1.08 1.33 3.83 0.67 1.5
time (sec) N/A 0.005 0.003 0.004 0.935 1.818 0.078 1.051
Problem 268 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 16 17 22 49 15 22
normalized size 1 1. 1. 1.06 1.38 3.06 0.94 1.38
time (sec) N/A 0.005 0.002 0.002 1.431 1.935 0.117 1.055
Problem 269 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 22 22 22 30 39 103 32 0
normalized size 1 1. 1. 1.36 1.77 4.68 1.45 0.
time (sec) N/A 0.056 0.021 0.002 0.95 1.972 1.791 0.
Problem 270 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 27 27 22 43 26 122 54 57
normalized size 1 1. 0.81 1.59 0.96 4.52 2. 2.11
time (sec) N/A 0.006 0.017 0.001 0.93 1.816 0.808 1.098
Problem 271 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 17 22 41 45 15 19
normalized size 1 1. 1. 1.29 2.41 2.65 0.88 1.12
time (sec) N/A 0.025 0.011 0.012 0.943 2.046 0.105 1.072
Problem 272 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 22 22 22 17 22 54 15 22
normalized size 1 1. 1. 0.77 1. 2.45 0.68 1.
time (sec) N/A 0.008 0.003 0.003 1.414 1.769 0.091 1.072
Problem 273 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 32 32 28 25 32 68 24 35
normalized size 1 1. 0.88 0.78 1. 2.12 0.75 1.09
time (sec) N/A 0.01 0.009 0.003 1.448 1.984 0.182 1.071
Problem 274 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 30 30 30 25 47 65 73 54
normalized size 1 1. 1. 0.83 1.57 2.17 2.43 1.8
time (sec) N/A 0.015 0.005 0.004 1.425 1.878 1.3 1.06
Problem 275 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 13 13 13 14 18 36 10 20
normalized size 1 1. 1. 1.08 1.38 2.77 0.77 1.54
time (sec) N/A 0.003 0.003 0.001 0.948 1.706 0.089 1.087
Problem 276 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 14 17 59 46 17 36
normalized size 1 1. 0.88 1.06 3.69 2.88 1.06 2.25
time (sec) N/A 0.027 0.013 0.004 0.953 1.85 0.326 1.092
Problem 277 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 20 14 20 38 14 24
normalized size 1 1. 1.18 0.82 1.18 2.24 0.82 1.41
time (sec) N/A 0.009 0.005 0.003 0.937 1.889 0.092 1.068
Problem 278 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 3 3 3 4 4 22 3 4
normalized size 1 1. 1. 1.33 1.33 7.33 1. 1.33
time (sec) N/A 0.018 0.004 0.01 1.422 1.94 0.224 1.068
Problem 279 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 22 22 22 17 22 55 20 22
normalized size 1 1. 1. 0.77 1. 2.5 0.91 1.
time (sec) N/A 0.011 0.013 0. 0.941 2.038 0.295 1.068
Problem 280 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 9 9 9 10 12 20 7 12
normalized size 1 1. 1. 1.11 1.33 2.22 0.78 1.33
time (sec) N/A 0.004 0.004 0.003 0.968 2.028 0.06 1.048
Problem 281 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 12 12 12 11 14 27 8 14
normalized size 1 1. 1. 0.92 1.17 2.25 0.67 1.17
time (sec) N/A 0.02 0.007 0. 0.955 2.002 0.082 1.073
Problem 282 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 27 27 22 22 26 63 26 26
normalized size 1 1. 0.81 0.81 0.96 2.33 0.96 0.96
time (sec) N/A 0.01 0.027 0.007 0.954 1.97 0.297 1.059
Problem 283 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 17 14 18 65 26 18
normalized size 1 1. 1. 0.82 1.06 3.82 1.53 1.06
time (sec) N/A 0.008 0.007 0.041 0.948 2.001 0.532 1.057
Problem 284 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 25 20 26 69 19 27
normalized size 1 1. 1. 0.8 1.04 2.76 0.76 1.08
time (sec) N/A 0.014 0.005 0.004 1.447 1.815 0.112 1.067
Problem 285 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 39 39 28 46 39 74 29 66
normalized size 1 1. 0.72 1.18 1. 1.9 0.74 1.69
time (sec) N/A 0.015 0.009 0.002 0.953 1.915 0.107 1.045
Problem 286 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 26 26 16 14 18 34 12 18
normalized size 1 1. 0.62 0.54 0.69 1.31 0.46 0.69
time (sec) N/A 0.027 0.003 0.002 0.969 1.921 0.085 1.046
Problem 287 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 12 12 18 11 14 26 12 14
normalized size 1 1. 1.5 0.92 1.17 2.17 1. 1.17
time (sec) N/A 0.005 0.008 0.003 1.466 2.016 0.063 1.064
Problem 288 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 24 30 30 61 0 28
normalized size 1 1. 0.96 1.2 1.2 2.44 0. 1.12
time (sec) N/A 0.005 0.006 0.004 1.418 1.984 0. 1.071
Problem 289 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 27 27 23 22 28 65 20 28
normalized size 1 1. 0.85 0.81 1.04 2.41 0.74 1.04
time (sec) N/A 0.015 0.004 0.002 0.939 1.979 0.34 1.061
Problem 290 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 19 19 19 12 15 38 15 15
normalized size 1 1. 1. 0.63 0.79 2. 0.79 0.79
time (sec) N/A 0.003 0.003 0.002 0.94 1.901 1.855 1.051
Problem 291 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 6 6 6 6 26 51 19 22
normalized size 1 1. 1. 1. 4.33 8.5 3.17 3.67
time (sec) N/A 0.01 0.003 0.002 0.936 1.907 0.101 1.051
Problem 292 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 14 14 14 11 14 36 10 14
normalized size 1 1. 1. 0.79 1. 2.57 0.71 1.
time (sec) N/A 0.013 0.004 0.002 1.418 1.839 0.096 1.052
Problem 293 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 12 12 12 9 11 30 10 43
normalized size 1 1. 1. 0.75 0.92 2.5 0.83 3.58
time (sec) N/A 0.003 0.002 0.003 1.415 2.152 0.218 1.055
Problem 294 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 34 34 30 26 24 81 31 30
normalized size 1 1. 0.88 0.76 0.71 2.38 0.91 0.88
time (sec) N/A 0.033 0.008 0.001 0.938 2.305 0.06 1.064
Problem 295 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 12 12 12 7 11 74 0 8
normalized size 1 1. 1. 0.58 0.92 6.17 0. 0.67
time (sec) N/A 0.007 0.006 0.003 1.404 2.105 0. 1.064
Problem 296 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 16 59 19 53 44 19
normalized size 1 1. 1. 3.69 1.19 3.31 2.75 1.19
time (sec) N/A 0.046 0.03 0.016 0.928 2.02 2.747 1.052
Problem 297 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 7 7 20 6 7 32 12 9
normalized size 1 1. 2.86 0.86 1. 4.57 1.71 1.29
time (sec) N/A 0.013 0.005 0.014 0.929 2.149 2.022 1.054
Problem 298 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 6 6 6 6 20 51 15 22
normalized size 1 1. 1. 1. 3.33 8.5 2.5 3.67
time (sec) N/A 0.017 0.002 0.003 0.949 1.902 0.096 1.05
Problem 299 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 43 43 43 35 43 117 41 45
normalized size 1 1. 1. 0.81 1. 2.72 0.95 1.05
time (sec) N/A 0.02 0.008 0.005 1.408 1.987 0.122 1.044
Problem 300 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 37 37 29 38 100 88 42 77
normalized size 1 1. 0.78 1.03 2.7 2.38 1.14 2.08
time (sec) N/A 0.076 0.016 0.005 0.969 1.822 2.097 1.046
Problem 301 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 9 9 9 8 9 35 0 9
normalized size 1 1. 1. 0.89 1. 3.89 0. 1.
time (sec) N/A 0.023 0.005 0.02 0.932 2.032 0. 1.056
Problem 302 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 20 20 20 17 22 34 12 22
normalized size 1 1. 1. 0.85 1.1 1.7 0.6 1.1
time (sec) N/A 0.002 0. 0. 0.937 1.598 0.049 1.044
Problem 303 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 12 12 12 12 12 27 8 14
normalized size 1 1. 1. 1. 1. 2.25 0.67 1.17
time (sec) N/A 0.021 0.008 0.005 0.942 1.918 0.079 1.052
Problem 304 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 21 21 21 18 23 51 15 23
normalized size 1 1. 1. 0.86 1.1 2.43 0.71 1.1
time (sec) N/A 0.011 0.005 0.004 0.928 1.814 0.096 1.05
Problem 305 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 43 43 43 22 41 105 20 31
normalized size 1 1. 1. 0.51 0.95 2.44 0.47 0.72
time (sec) N/A 0.018 0.012 0.012 0.937 2.29 0.223 1.08
Problem 306 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 24 24 18 15 22 58 144 22
normalized size 1 1. 0.75 0.62 0.92 2.42 6. 0.92
time (sec) N/A 0.004 0.006 0.003 0.937 1.99 0.926 1.052
Problem 307 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 38 38 24 26 22 55 34 22
normalized size 1 1. 0.63 0.68 0.58 1.45 0.89 0.58
time (sec) N/A 0.019 0.008 0.002 0.937 2.198 0.318 1.056
Problem 308 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 37 37 37 93 41 126 39 41
normalized size 1 1. 1. 2.51 1.11 3.41 1.05 1.11
time (sec) N/A 0.036 0.013 0.012 1.412 2.082 1.264 1.052
Problem 309 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 17 16 20 55 14 23
normalized size 1 1. 1. 0.94 1.18 3.24 0.82 1.35
time (sec) N/A 0.029 0.004 0.007 0.936 2.143 0.097 1.057
Problem 310 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 40 40 29 35 51 76 39 35
normalized size 1 1. 0.72 0.88 1.27 1.9 0.98 0.88
time (sec) N/A 0.067 0.037 0.007 0.952 2.268 0.315 1.048
Problem 311 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 5 5 5 6 7 59 5 7
normalized size 1 1. 1. 1.2 1.4 11.8 1. 1.4
time (sec) N/A 0.009 2.479 0.007 0.926 2.284 0.506 1.052
Problem 312 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 6 6 6 5 5 49 3 5
normalized size 1 1. 1. 0.83 0.83 8.17 0.5 0.83
time (sec) N/A 0.001 0.004 0.003 1.401 2.208 0.131 1.071
Problem 313 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 37 37 24 30 84 157 61 30
normalized size 1 1. 0.65 0.81 2.27 4.24 1.65 0.81
time (sec) N/A 0.011 0.007 0.005 0.944 2.038 0.14 1.062
Problem 314 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 21 21 21 58 24 93 17 24
normalized size 1 1. 1. 2.76 1.14 4.43 0.81 1.14
time (sec) N/A 0.029 0.023 0.028 0.932 2.325 0.099 1.085
Problem 315 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 30 30 30 25 32 76 41 32
normalized size 1 1. 1. 0.83 1.07 2.53 1.37 1.07
time (sec) N/A 0.034 0.058 0.008 0.936 2.18 0.192 1.054
Problem 316 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A A A A A
verified N/A Yes NO TBD TBD TBD TBD TBD
size 4 4 27 4 4 18 3 4
normalized size 1 1. 6.75 1. 1. 4.5 0.75 1.
time (sec) N/A 0.021 0.004 0.003 0.925 2.185 0.866 1.048
Problem 317 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 13 13 13 12 20 38 10 20
normalized size 1 1. 1. 0.92 1.54 2.92 0.77 1.54
time (sec) N/A 0.005 0.003 0.004 0.929 2.021 0.09 1.048
Problem 318 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 44 44 24 24 28 55 22 28
normalized size 1 1. 0.55 0.55 0.64 1.25 0.5 0.64
time (sec) N/A 0.039 0.009 0.001 0.937 2.107 0.083 1.05
Problem 319 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 41 28 36 90 37 36
normalized size 1 1. 1. 0.68 0.88 2.2 0.9 0.88
time (sec) N/A 0.012 0.01 0.005 1.407 2.128 2.931 1.053
Problem 320 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 25 20 26 54 114 18
normalized size 1 1. 1. 0.8 1.04 2.16 4.56 0.72
time (sec) N/A 0.03 0.01 0.046 0.928 2.309 15.042 1.051
Problem 321 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 12 12 12 11 14 24 7 14
normalized size 1 1. 1. 0.92 1.17 2. 0.58 1.17
time (sec) N/A 0.001 0.001 0.001 0.937 2.351 0.081 1.049
Problem 322 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 62 41 58 90 0 41
normalized size 1 1. 1.51 1. 1.41 2.2 0. 1.
time (sec) N/A 0.013 0.023 0.008 1.411 2.276 0. 1.072
Problem 323 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 34 34 27 119 36 80 29 38
normalized size 1 1. 0.79 3.5 1.06 2.35 0.85 1.12
time (sec) N/A 0.037 0.02 0. 1.417 2.355 2.89 1.068
Problem 324 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A C A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 19 19 19 18 23 46 42 23
normalized size 1 1. 1. 0.95 1.21 2.42 2.21 1.21
time (sec) N/A 0.006 0.004 0.001 1.42 2.092 0.102 1.053
Problem 325 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 38 38 39 30 53 101 0 42
normalized size 1 1. 1.03 0.79 1.39 2.66 0. 1.11
time (sec) N/A 0.012 0.015 0.003 1.415 2.129 0. 1.058
Problem 326 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 12 12 12 9 11 30 7 11
normalized size 1 1. 1. 0.75 0.92 2.5 0.58 0.92
time (sec) N/A 0.005 0.004 0.001 1.407 2.144 0.112 1.069
Problem 327 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 31 31 31 27 35 89 36 35
normalized size 1 1. 1. 0.87 1.13 2.87 1.16 1.13
time (sec) N/A 0.015 0.01 0.001 1.405 2.113 0.1 1.054
Problem 328 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A B B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 10 10 37 16 163 95 0 203
normalized size 1 1. 3.7 1.6 16.3 9.5 0. 20.3
time (sec) N/A 0.01 0.01 0.004 1.422 2.116 0. 1.16
Problem 329 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 15 15 15 30 39 61 22 41
normalized size 1 1. 1. 2. 2.6 4.07 1.47 2.73
time (sec) N/A 0.007 0.004 0.006 0.926 1.842 0.132 1.071
Problem 330 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 21 21 21 14 0 45 63 18
normalized size 1 1. 1. 0.67 0. 2.14 3. 0.86
time (sec) N/A 0.006 0.016 0.002 0. 1.841 0.352 1.05
Problem 331 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 23 23 16 18 26 53 19 24
normalized size 1 1. 0.7 0.78 1.13 2.3 0.83 1.04
time (sec) N/A 0.017 0.011 0.005 0.933 1.933 0.108 1.05
Problem 332 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 20 20 20 17 22 54 17 22
normalized size 1 1. 1. 0.85 1.1 2.7 0.85 1.1
time (sec) N/A 0.008 0.007 0.004 0.927 2.013 0.481 1.049
Problem 333 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 18 18 18 16 24 49 14 27
normalized size 1 1. 1. 0.89 1.33 2.72 0.78 1.5
time (sec) N/A 0.008 0.003 0.006 0.924 1.818 0.121 1.053
Problem 334 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A A B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 12 12 19 20 26 74 20 27
normalized size 1 1. 1.58 1.67 2.17 6.17 1.67 2.25
time (sec) N/A 0.012 0.005 0.005 0.935 1.985 0.109 1.059
Problem 335 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 8 8 8 11 14 42 12 22
normalized size 1 1. 1. 1.38 1.75 5.25 1.5 2.75
time (sec) N/A 0.037 0.008 0.032 1.41 2.158 1.311 1.066
Problem 336 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 18 18 18 13 16 43 44 16
normalized size 1 1. 1. 0.72 0.89 2.39 2.44 0.89
time (sec) N/A 0.003 0.002 0.006 1.406 1.855 0.979 1.059
Problem 337 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 11 11 11 10 0 72 0 0
normalized size 1 1. 1. 0.91 0. 6.55 0. 0.
time (sec) N/A 0.05 0.016 0.03 0. 2.553 0. 0.
Problem 338 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 30 30 30 23 30 85 27 30
normalized size 1 1. 1. 0.77 1. 2.83 0.9 1.
time (sec) N/A 0.006 0.008 0.004 1.446 1.995 0.207 1.072
Problem 339 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 24 24 20 25 28 57 26 28
normalized size 1 1. 0.83 1.04 1.17 2.38 1.08 1.17
time (sec) N/A 0.037 0.015 0.004 0.952 1.965 0.555 1.083
Problem 340 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 50 50 38 42 66 109 0 54
normalized size 1 1. 0.76 0.84 1.32 2.18 0. 1.08
time (sec) N/A 0.015 0.018 0.004 1.423 1.949 0. 1.059
Problem 341 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 11 11 11 47 12 153 51 12
normalized size 1 1. 1. 4.27 1.09 13.91 4.64 1.09
time (sec) N/A 0.001 0.002 0. 0.931 1.575 0.055 1.057
Problem 342 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 31 28 26 61 20 26
normalized size 1 1. 1.24 1.12 1.04 2.44 0.8 1.04
time (sec) N/A 0.027 0.01 0.006 0.949 2.075 0.062 1.058
Problem 343 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 27 27 22 22 26 68 26 26
normalized size 1 1. 0.81 0.81 0.96 2.52 0.96 0.96
time (sec) N/A 0.01 0.027 0.006 0.937 1.872 0.459 1.052
Problem 344 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 24 24 41 24 46 182 36 95
normalized size 1 1. 1.71 1. 1.92 7.58 1.5 3.96
time (sec) N/A 0.011 0.009 0.009 0.98 2.024 0.116 1.066
Problem 345 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 34 34 35 47 45 84 17 59
normalized size 1 1. 1.03 1.38 1.32 2.47 0.5 1.74
time (sec) N/A 0.008 0.015 0.005 1.424 1.891 0.225 1.073
Problem 346 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 30 30 30 25 47 70 75 51
normalized size 1 1. 1. 0.83 1.57 2.33 2.5 1.7
time (sec) N/A 0.017 0.005 0.004 1.426 1.967 1.485 1.05
Problem 347 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 32 32 19 17 22 43 15 22
normalized size 1 1. 0.59 0.53 0.69 1.34 0.47 0.69
time (sec) N/A 0.019 0.006 0.001 0.942 1.733 0.079 1.066
Problem 348 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 23 23 31 18 23 47 26 23
normalized size 1 1. 1.35 0.78 1. 2.04 1.13 1.
time (sec) N/A 0.037 0.022 0.006 0.958 2.046 0.322 1.059
Problem 349 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 27 27 24 22 28 57 19 28
normalized size 1 1. 0.89 0.81 1.04 2.11 0.7 1.04
time (sec) N/A 0.015 0.004 0.002 1.416 2.059 0.175 1.055
Problem 350 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 38 38 32 31 72 73 29 43
normalized size 1 1. 0.84 0.82 1.89 1.92 0.76 1.13
time (sec) N/A 0.023 0.011 0.002 1.438 2.185 0.562 1.08
Problem 351 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 5 5 5 5 5 82 0 8
normalized size 1 1. 1. 1. 1. 16.4 0. 1.6
time (sec) N/A 0.01 0.005 0.002 0.953 1.923 0. 1.067
Problem 352 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 29 29 25 24 28 59 27 28
normalized size 1 1. 0.86 0.83 0.97 2.03 0.93 0.97
time (sec) N/A 0.028 0.024 0. 0.941 1.922 0.316 1.062
Problem 353 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 36 36 33 29 49 126 0 35
normalized size 1 1. 0.92 0.81 1.36 3.5 0. 0.97
time (sec) N/A 0.01 0.016 0.003 1.431 2.054 0. 1.061
Problem 354 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 28 28 31 23 30 65 24 30
normalized size 1 1. 1.11 0.82 1.07 2.32 0.86 1.07
time (sec) N/A 0.019 0.011 0.007 1.443 1.88 0.115 1.058
Problem 355 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A B B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 26 26 58 25 57 138 46 51
normalized size 1 1. 2.23 0.96 2.19 5.31 1.77 1.96
time (sec) N/A 0.014 0.113 0.032 0.946 2.161 0.135 1.082
Problem 356 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 46 46 30 32 32 95 46 30
normalized size 1 1. 0.65 0.7 0.7 2.07 1. 0.65
time (sec) N/A 0.02 0.006 0.007 0.949 1.927 0.059 1.057
Problem 357 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 20 20 15 17 22 92 17 22
normalized size 1 1. 0.75 0.85 1.1 4.6 0.85 1.1
time (sec) N/A 0.035 0.015 0.006 0.946 2.091 6.153 1.051
Problem 358 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 21 21 21 22 22 62 14 26
normalized size 1 1. 1. 1.05 1.05 2.95 0.67 1.24
time (sec) N/A 0.026 0.016 0.007 0.926 2.025 0.09 1.052
Problem 359 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 37 37 33 31 63 182 0 68
normalized size 1 1. 0.89 0.84 1.7 4.92 0. 1.84
time (sec) N/A 0.041 0.019 0.016 1.406 3.008 0. 1.069
Problem 360 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes NO TBD TBD TBD TBD TBD
size 28 28 40 26 39 69 0 38
normalized size 1 1. 1.43 0.93 1.39 2.46 0. 1.36
time (sec) N/A 0.008 0.029 0.003 0.93 1.967 0. 1.064
Problem 361 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 19 19 23 17 20 58 17 20
normalized size 1 1. 1.21 0.89 1.05 3.05 0.89 1.05
time (sec) N/A 0.009 0.002 0.027 0.942 1.963 0.058 1.078
Problem 362 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 46 46 26 25 32 59 22 32
normalized size 1 1. 0.57 0.54 0.7 1.28 0.48 0.7
time (sec) N/A 0.04 0.007 0.002 0.925 1.965 0.082 1.055
Problem 363 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 18 18 18 34 45 45 34 23
normalized size 1 1. 1. 1.89 2.5 2.5 1.89 1.28
time (sec) N/A 0.007 0.003 0.043 0.932 1.811 1.012 1.074
Problem 364 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 27 27 22 22 26 63 24 26
normalized size 1 1. 0.81 0.81 0.96 2.33 0.89 0.96
time (sec) N/A 0.009 0.042 0.007 0.943 1.919 0.288 1.053
Problem 365 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 18 22 18 17 22 41 0 22
normalized size 1 1.22 1. 0.94 1.22 2.28 0. 1.22
time (sec) N/A 0.03 0.006 0.002 0.931 1.928 0. 1.048
Problem 366 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 27 27 23 22 28 65 20 28
normalized size 1 1. 0.85 0.81 1.04 2.41 0.74 1.04
time (sec) N/A 0.016 0.004 0. 0.92 2.031 0.325 1.065
Problem 367 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 26 26 26 21 27 63 19 27
normalized size 1 1. 1. 0.81 1.04 2.42 0.73 1.04
time (sec) N/A 0.012 0.006 0.004 1.412 1.863 1.077 1.069
Problem 368 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 15 15 11 14 12 34 15 721
normalized size 1 1. 0.73 0.93 0.8 2.27 1. 48.07
time (sec) N/A 0.017 0.015 0.009 0.944 1.971 2.25 1.094
Problem 369 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 47 47 35 35 46 89 122 39
normalized size 1 1. 0.74 0.74 0.98 1.89 2.6 0.83
time (sec) N/A 0.01 0.018 0.005 1.409 2.022 2.636 1.068
Problem 370 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B A B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 11 11 36 27 12 70 27 12
normalized size 1 1. 3.27 2.45 1.09 6.36 2.45 1.09
time (sec) N/A 0.002 0.001 0.001 0.93 1.569 0.051 1.059
Problem 371 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 17 18 18 39 12 18
normalized size 1 1. 1. 1.06 1.06 2.29 0.71 1.06
time (sec) N/A 0.022 0.006 0.006 0.923 2.005 0.059 1.055
Problem 372 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 27 22 18 69 29 18
normalized size 1 1. 1.59 1.29 1.06 4.06 1.71 1.06
time (sec) N/A 0.023 0.016 0. 0.924 2.228 0.063 1.061
Problem 373 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 27 27 18 15 26 49 36 26
normalized size 1 1. 0.67 0.56 0.96 1.81 1.33 0.96
time (sec) N/A 0.005 0.006 0.002 0.925 2.095 0.844 1.057
Problem 374 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 24 24 22 18 22 59 24 22
normalized size 1 1. 0.92 0.75 0.92 2.46 1. 0.92
time (sec) N/A 0.009 0.002 0.004 0.92 1.921 0.056 1.063
Problem 375 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 12 12 12 17 27 57 12 22
normalized size 1 1. 1. 1.42 2.25 4.75 1. 1.83
time (sec) N/A 0.006 0.003 0.001 0.924 2.076 0.086 1.077
Problem 376 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 40 40 25 22 46 68 53 38
normalized size 1 1. 0.62 0.55 1.15 1.7 1.32 0.95
time (sec) N/A 0.014 0.007 0.005 1.404 1.82 2.029 1.054

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 [19] had the largest ratio of [ 1. ]

Table 2.1Rubi specific breakdown of results for each integral
# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac{\text{number of rules}}{\text{integrand leaf size}}\)
1 A 1 1 1. 3 0.333
2 A 1 1 1. 3 0.333
3 A 1 1 1. 3 0.333
4 A 1 1 1. 3 0.333
5 A 1 1 1. 2 0.5
6 A 1 1 1. 2 0.5
7 A 2 2 1. 4 0.5
8 A 2 2 1. 4 0.5
9 A 2 2 1. 5 0.4
10 A 2 2 1. 5 0.4
11 A 1 1 1. 2 0.5
12 A 1 1 1. 2 0.5
13 A 1 1 1. 2 0.5
14 A 1 1 1. 2 0.5
15 A 2 2 1. 4 0.5
16 A 1 1 1. 2 0.5
17 A 3 2 1. 7 0.286
18 A 1 1 1. 6 0.167
19 A 2 2 1. 2 1.
20 A 2 2 1. 7 0.286
21 A 2 2 1. 4 0.5
22 A 2 2 1. 6 0.333
23 A 1 1 1. 4 0.25
24 A 3 2 1. 8 0.25
25 A 3 2 1. 8 0.25
26 A 2 2 1. 4 0.5
27 A 2 2 1. 2 1.
28 A 3 3 1. 6 0.5
29 A 2 2 1. 6 0.333
30 A 1 1 1. 6 0.167
31 A 4 2 1. 7 0.286
32 A 1 1 1. 10 0.1
33 A 1 1 1. 10 0.1
34 A 2 2 1. 4 0.5
35 A 2 2 1. 6 0.333
36 A 2 2 1. 7 0.286
37 A 1 1 1. 8 0.125
38 A 2 2 1. 6 0.333
39 A 3 2 1. 9 0.222
40 A 2 2 1. 2 1.
41 A 2 2 1. 6 0.333
42 A 1 1 1. 9 0.111
43 A 1 1 1. 9 0.111
44 A 2 2 1. 6 0.333
45 A 2 2 1. 9 0.222
46 A 2 2 1. 9 0.222
47 A 2 2 1. 5 0.4
48 A 1 1 1. 3 0.333
49 A 3 3 1. 7 0.429
50 A 1 1 1. 6 0.167
51 A 1 1 1. 3 0.333
52 A 3 3 1. 6 0.5
53 A 3 3 1. 8 0.375
54 A 3 2 1. 9 0.222
55 A 3 3 1. 4 0.75
56 A 2 2 1. 6 0.333
57 A 1 1 1. 8 0.125
58 A 2 2 1. 6 0.333
59 A 2 2 1. 4 0.5
60 A 3 2 1. 4 0.5
61 A 2 1 1. 4 0.25
62 A 3 2 1. 9 0.222
63 A 3 2 1. 9 0.222
64 A 4 3 1. 9 0.333
65 A 3 3 1. 9 0.333
66 A 1 1 1. 10 0.1
67 A 3 2 1. 11 0.182
68 A 4 3 1. 9 0.333
69 A 4 2 1. 4 0.5
70 A 4 2 1. 4 0.5
71 A 4 3 1. 13 0.231
72 A 2 1 1. 4 0.25
73 A 5 3 1. 9 0.333
74 A 3 2 1. 11 0.182
75 A 3 2 1. 11 0.182
76 A 3 3 1. 14 0.214
77 A 3 2 1. 8 0.25
78 A 3 2 1. 7 0.286
79 A 4 3 1. 9 0.333
80 A 2 2 1. 9 0.222
81 A 1 1 1. 8 0.125
82 A 2 2 1. 4 0.5
83 A 3 2 1. 4 0.5
84 A 2 1 1. 4 0.25
85 A 2 1 1. 4 0.25
86 A 2 2 1. 9 0.222
87 A 3 2 1. 9 0.222
88 A 2 2 1. 7 0.286
89 A 3 2 1. 9 0.222
90 A 3 2 1. 4 0.5
91 A 4 2 1. 4 0.5
92 A 3 2 1. 7 0.286
93 A 3 2 1. 9 0.222
94 A 2 2 1. 7 0.286
95 A 3 2 1. 9 0.222
96 A 2 2 1. 7 0.286
97 A 2 2 1. 7 0.286
98 A 2 2 1. 4 0.5
99 A 2 2 1. 4 0.5
100 A 3 2 1. 9 0.222
101 A 3 2 1. 9 0.222
102 A 1 1 1. 2 0.5
103 A 2 2 1. 4 0.5
104 A 3 3 1. 5 0.6
105 A 2 1 1. 4 0.25
106 A 1 1 1. 9 0.111
107 A 1 1 1. 7 0.143
108 A 1 1 1. 9 0.111
109 A 1 1 1. 9 0.111
110 A 2 2 1. 7 0.286
111 A 5 2 1. 11 0.182
112 A 2 2 1. 13 0.154
113 A 6 4 1. 10 0.4
114 A 3 2 1. 7 0.286
115 A 4 3 1. 9 0.333
116 A 2 2 1. 7 0.286
117 A 3 2 1. 9 0.222
118 A 2 2 1. 15 0.133
119 A 1 1 1. 13 0.077
120 A 1 1 1. 11 0.091
121 A 2 2 1. 13 0.154
122 A 3 2 1. 15 0.133
123 A 3 3 1. 16 0.188
124 A 1 1 1. 15 0.067
125 A 3 2 1. 15 0.133
126 A 1 1 1. 13 0.077
127 A 1 1 1. 13 0.077
128 A 2 2 1. 11 0.182
129 A 3 2 1. 13 0.154
130 A 1 1 1. 9 0.111
131 A 2 2 1. 9 0.222
132 A 4 4 1. 13 0.308
133 A 1 1 1. 17 0.059
134 A 4 4 1. 15 0.267
135 A 1 1 1. 15 0.067
136 A 3 3 1. 17 0.176
137 A 2 2 1. 15 0.133
138 A 3 3 1. 13 0.231
139 A 1 1 1. 11 0.091
140 A 3 2 1. 15 0.133
141 A 3 3 1. 15 0.2
142 A 2 2 1. 12 0.167
143 A 1 1 1. 11 0.091
144 A 3 3 1. 13 0.231
145 A 2 2 1. 12 0.167
146 A 2 2 1. 14 0.143
147 A 4 4 1. 17 0.235
148 A 3 3 1. 10 0.3
149 A 2 2 1. 14 0.143
150 A 3 3 1. 17 0.176
151 A 4 4 1. 11 0.364
152 A 2 2 1. 11 0.182
153 A 3 2 1. 12 0.167
154 A 3 2 1. 11 0.182
155 A 3 2 1. 25 0.08
156 A 2 1 1. 29 0.034
157 A 6 5 1. 20 0.25
158 A 6 5 1. 23 0.217
159 A 14 10 1. 32 0.312
160 A 6 5 1. 26 0.192
161 A 2 2 1. 7 0.286
162 A 3 2 1. 11 0.182
163 A 4 3 1. 14 0.214
164 A 2 1 1. 23 0.043
165 A 3 2 1. 22 0.091
166 A 3 2 1. 11 0.182
167 A 4 3 1. 26 0.115
168 A 3 2 1. 16 0.125
169 A 8 4 1. 25 0.16
170 A 6 3 1. 23 0.13
171 A 6 5 1. 26 0.192
172 A 3 2 1. 11 0.182
173 A 8 7 1. 20 0.35
174 A 7 6 1. 23 0.261
175 A 8 8 1. 11 0.727
176 A 2 1 1. 9 0.111
177 A 2 1 1. 7 0.143
178 A 2 1 1. 16 0.062
179 A 3 2 1. 11 0.182
180 A 2 1 1. 13 0.077
181 A 3 2 1. 11 0.182
182 A 3 2 1. 15 0.133
183 A 5 3 1. 20 0.15
184 A 2 1 1. 11 0.091
185 A 2 1 1. 16 0.062
186 A 3 2 1. 25 0.08
187 A 3 2 1. 12 0.167
188 A 2 1 1. 11 0.091
189 A 2 1 1. 14 0.071
190 A 3 2 1. 22 0.091
191 A 2 1 1. 24 0.042
192 A 1 1 1. 20 0.05
193 A 2 1 1. 9 0.111
194 A 2 1 1. 9 0.111
195 A 3 3 1. 11 0.273
196 A 1 1 1. 22 0.045
197 A 3 2 1. 11 0.182
198 A 4 4 1. 14 0.286
199 A 4 4 1. 10 0.4
200 A 6 5 1. 23 0.217
201 A 5 4 1. 23 0.174
202 A 6 5 1. 15 0.333
203 A 6 6 1. 7 0.857
204 A 7 7 1. 11 0.636
205 A 5 4 1. 21 0.19
206 A 4 4 1. 11 0.364
207 A 6 4 1. 30 0.133
208 A 7 6 1. 24 0.25
209 A 3 3 1. 14 0.214
210 A 3 2 1. 16 0.125
211 A 2 2 1. 21 0.095
212 A 3 3 1. 15 0.2
213 A 3 2 1. 10 0.2
214 A 1 1 1. 9 0.111
215 A 3 2 1. 18 0.111
216 A 3 2 1. 10 0.2
217 A 6 5 1. 43 0.116
218 A 7 5 1. 50 0.1
219 A 3 3 1. 11 0.273
220 A 9 9 1. 15 0.6
221 A 2 2 1. 11 0.182
222 A 3 2 1. 9 0.222
223 A 3 2 1. 9 0.222
224 A 3 3 1. 11 0.273
225 A 2 2 1. 11 0.182
226 A 2 2 1. 11 0.182
227 A 4 2 1. 13 0.154
228 A 2 1 1. 11 0.091
229 A 3 3 1. 13 0.231
230 A 3 2 1. 11 0.182
231 A 3 3 1. 13 0.231
232 A 3 2 1. 17 0.118
233 A 4 3 1. 17 0.176
234 A 3 2 1. 13 0.154
235 A 10 9 1. 21 0.429
236 A 9 9 1. 13 0.692
237 A 4 3 1. 13 0.231
238 A 5 5 1. 13 0.385
239 A 2 2 1. 12 0.167
240 A 4 3 1. 20 0.15
241 A 3 3 1. 9 0.333
242 A 4 4 1. 11 0.364
243 A 4 3 1. 8 0.375
244 A 2 2 1. 7 0.286
245 A 2 2 1. 10 0.2
246 A 2 2 1. 11 0.182
247 A 6 6 1. 7 0.857
248 A 4 2 1. 11 0.182
249 A 4 3 1. 9 0.333
250 A 2 2 1. 11 0.182
251 A 2 1 1. 19 0.053
252 A 1 1 1. 9 0.111
253 A 2 1 1. 13 0.077
254 A 1 1 1. 8 0.125
255 A 2 2 1. 7 0.286
256 A 3 2 1. 9 0.222
257 A 3 3 1. 7 0.429
258 A 3 2 1. 20 0.1
259 A 2 2 1. 10 0.2
260 A 2 1 1. 11 0.091
261 A 2 2 1. 7 0.286
262 A 3 3 1. 9 0.333
263 A 1 1 1. 15 0.067
264 A 1 1 1. 13 0.077
265 A 1 1 1. 6 0.167
266 A 3 3 1. 13 0.231
267 A 2 1 1. 7 0.143
268 A 3 3 1. 6 0.5
269 A 4 4 1. 16 0.25
270 A 3 2 1. 9 0.222
271 A 3 2 1. 9 0.222
272 A 4 4 1. 12 0.333
273 A 3 3 1. 4 0.75
274 A 4 4 1. 15 0.267
275 A 3 2 1. 12 0.167
276 A 3 2 1. 6 0.333
277 A 1 1 1. 21 0.048
278 A 2 2 1. 11 0.182
279 A 3 3 1. 6 0.5
280 A 1 1 1. 4 0.25
281 A 3 2 1. 13 0.154
282 A 1 1 1. 10 0.1
283 A 1 1 1. 9 0.111
284 A 5 4 1. 11 0.364
285 A 3 2 1. 8 0.25
286 A 2 2 1. 11 0.182
287 A 2 2 1. 6 0.333
288 A 2 2 1. 14 0.143
289 A 4 3 1. 6 0.5
290 A 2 1 1. 15 0.067
291 A 2 2 1. 13 0.154
292 A 3 3 1. 14 0.214
293 A 2 2 1. 9 0.222
294 A 4 3 1. 9 0.333
295 A 2 2 1. 14 0.143
296 A 3 2 1. 22 0.091
297 A 2 2 1. 7 0.286
298 A 2 2 1. 13 0.154
299 A 6 6 1. 7 0.857
300 A 6 2 1. 6 0.333
301 A 1 3 1. 8 0.375
302 A 1 0 1. 10 0.
303 A 3 2 1. 15 0.133
304 A 4 3 1. 16 0.188
305 A 4 3 1. 8 0.375
306 A 2 1 1. 9 0.111
307 A 4 3 1. 7 0.429
308 A 5 4 1. 12 0.333
309 A 3 2 1. 17 0.118
310 A 8 4 1. 13 0.308
311 A 2 2 1. 6 0.333
312 A 1 1 1. 11 0.091
313 A 2 1 1. 9 0.111
314 A 3 2 1. 13 0.154
315 A 6 5 1. 6 0.833
316 A 1 1 1. 12 0.083
317 A 4 4 1. 11 0.364
318 A 4 2 1. 9 0.222
319 A 7 4 1. 15 0.267
320 A 5 2 1. 11 0.182
321 A 1 1 1. 6 0.167
322 A 3 3 1. 15 0.2
323 A 5 5 1. 13 0.385
324 A 3 3 1. 13 0.231
325 A 3 3 1. 12 0.25
326 A 2 2 1. 11 0.182
327 A 4 4 1. 12 0.333
328 A 2 2 1. 6 0.333
329 A 2 2 1. 13 0.154
330 A 3 3 1. 15 0.2
331 A 4 3 1. 16 0.188
332 A 2 2 1. 12 0.167
333 A 4 4 1. 8 0.5
334 A 3 3 1. 13 0.231
335 A 4 4 1. 17 0.235
336 A 2 2 1. 13 0.154
337 A 5 4 1. 17 0.235
338 A 2 2 1. 15 0.133
339 A 4 2 1. 6 0.333
340 A 4 4 1. 14 0.286
341 A 1 1 1. 9 0.111
342 A 3 2 1. 9 0.222
343 A 1 1 1. 10 0.1
344 A 2 2 1. 8 0.25
345 A 3 3 1. 15 0.2
346 A 4 4 1. 15 0.267
347 A 3 2 1. 9 0.222
348 A 3 2 1. 13 0.154
349 A 3 3 1. 6 0.5
350 A 5 5 1. 8 0.625
351 A 2 2 1. 8 0.25
352 A 3 2 1. 8 0.25
353 A 3 3 1. 14 0.214
354 A 3 2 1. 15 0.133
355 A 3 2 1. 4 0.5
356 A 4 2 1. 6 0.333
357 A 4 4 1. 10 0.4
358 A 3 2 1. 15 0.133
359 A 4 4 1. 13 0.308
360 A 3 3 1. 13 0.231
361 A 2 1 1. 4 0.25
362 A 5 2 1. 9 0.222
363 A 3 3 1. 13 0.231
364 A 1 1 1. 10 0.1
365 A 4 4 1.22 10 0.4
366 A 4 3 1. 6 0.5
367 A 4 4 1. 11 0.364
368 A 4 3 1. 9 0.333
369 A 3 3 1. 15 0.2
370 A 1 1 1. 11 0.091
371 A 3 2 1. 9 0.222
372 A 3 2 1. 9 0.222
373 A 2 1 1. 11 0.091
374 A 3 2 1. 4 0.5
375 A 2 2 1. 4 0.5
376 A 3 2 1. 13 0.154

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