[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, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 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, 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, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 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, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 394, 395, 396, 397, 398, 399, 400, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 414, 415, 416, 417, 418, 419, 420, 421, 422, 423, 425, 426, 427, 428, 429, 430, 431, 432, 433, 434, 435, 436, 437, 438, 439, 440, 441, 442, 443, 444, 445, 446, 447, 448, 449, 450, 451, 452, 453, 454, 455, 456, 457, 458, 459, 460, 461, 462, 463, 464, 465, 466, 467, 468, 469, 470, 471, 472, 473, 474, 475, 476, 477, 478, 479, 480, 481, 482, 483, 484, 485, 486, 487, 488, 489, 490, 491, 492 }

B grade: { 65, 77, 221, 222, 233, 424 }

C grade: { 174 }

F grade: { 393, 493, 494}

2.1.2 Mathematica

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 39, 40, 41, 42, 45, 46, 47, 48, 51, 52, 53, 54, 57, 58, 59, 60, 63, 64, 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, 93, 94, 96, 97, 98, 99, 100, 101, 102, 106, 113, 116, 117, 118, 119, 123, 124, 125, 126, 130, 131, 132, 133, 158, 159, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 177, 178, 179, 180, 181, 182, 183, 186, 187, 188, 189, 190, 191, 193, 194, 208, 209, 216, 217, 218, 219, 220, 223, 224, 225, 226, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 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, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 394, 395, 396, 397, 398, 399, 400, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 414, 415, 416, 417, 418, 419, 420, 422, 423, 424, 425, 426, 427, 428, 429, 430, 431, 432, 433, 434, 435, 436, 437, 438, 439, 440, 441, 442, 443, 444, 445, 446, 447, 448, 449, 450, 451, 452, 453, 454, 455, 456, 457, 458, 459, 460, 461, 462, 463, 464, 465, 466, 467, 468, 469, 470, 471, 472, 473, 474, 475, 476, 477, 478, 479, 480, 481, 482, 483, 484, 485, 486, 487, 488, 489, 490, 492, 493, 494 }

B grade: { 65, 92, 95, 160, 161, 162, 192, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 210, 211, 212, 213, 214, 215, 221, 222, 421 }

C grade: { 12, 13, 14, 32, 37, 38, 43, 44, 49, 50, 55, 56, 61, 62, 103, 104, 105, 107, 108, 109, 110, 111, 112, 114, 115, 120, 121, 122, 127, 128, 129, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 173, 174, 175, 176, 184, 185, 227, 250, 251, 252, 253, 254, 255, 256, 257, 387, 388, 389, 390, 391, 392, 393, 491 }

F grade: { }

2.1.3 Maple

A grade: { 2, 5, 6, 7, 8, 10, 11, 16, 17, 18, 19, 21, 22, 23, 24, 25, 26, 27, 28, 33, 34, 35, 36, 39, 40, 41, 42, 45, 46, 47, 48, 51, 52, 53, 54, 57, 58, 59, 60, 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, 93, 94, 96, 97, 98, 99, 100, 117, 118, 119, 123, 124, 125, 126, 130, 131, 132, 133, 158, 159, 164, 165, 166, 167, 172, 173, 175, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 208, 209, 216, 217, 218, 219, 220, 223, 224, 225, 226, 228, 229, 230, 231, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 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, 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, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 394, 395, 396, 397, 398, 399, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 414, 415, 416, 417, 418, 419, 420, 422, 423, 425, 426, 427, 428, 429, 430, 431, 432, 433, 434, 435, 436, 437, 438, 439, 440, 441, 442, 444, 445, 446, 447, 448, 449, 450, 451, 452, 453, 454, 455, 456, 457, 458, 459, 460, 461, 462, 463, 464, 465, 466, 467, 468, 469, 470, 471, 472, 473, 474, 475, 476, 477, 478, 479, 480, 481, 482, 483, 484, 485, 486, 487, 488, 489, 490, 492 }

B grade: { 3, 4, 9, 15, 20, 63, 64, 65, 92, 95, 101, 102, 116, 160, 161, 162, 163, 168, 169, 170, 171, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 210, 211, 212, 213, 214, 215, 221, 222, 227, 232, 337, 338, 400, 421, 424, 443, 491, 494 }

C grade: { 1, 12, 13, 14, 37, 38, 43, 44, 49, 50, 55, 56, 61, 62, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 120, 121, 122, 127, 128, 129, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 174, 250, 251, 252, 253, 254, 255, 256, 257, 387, 388, 389, 390, 391, 392, 393, 493 }

F grade: { 29, 30, 31, 32, 176 }

2.1.4 Maxima

A grade: { 2, 5, 6, 10, 11, 15, 16, 17, 18, 21, 22, 23, 24, 25, 28, 33, 34, 35, 36, 39, 40, 41, 42, 45, 46, 47, 48, 51, 52, 53, 54, 57, 58, 59, 60, 69, 70, 71, 72, 73, 75, 76, 77, 89, 90, 93, 96, 97, 98, 99, 100, 116, 117, 118, 119, 123, 124, 125, 126, 130, 131, 132, 133, 158, 159, 160, 164, 165, 166, 168, 173, 174, 175, 176, 177, 178, 182, 185, 188, 189, 190, 191, 192, 193, 195, 196, 198, 199, 208, 209, 216, 217, 218, 219, 220, 223, 224, 225, 226, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 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, 339, 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, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 415, 416, 417, 418, 419, 420, 422, 423, 425, 426, 427, 428, 429, 430, 431, 432, 433, 434, 435, 436, 437, 438, 439, 440, 441, 442, 443, 444, 445, 446, 447, 448, 449, 450, 451, 452, 453, 454, 455, 456, 457, 458, 460, 461, 462, 463, 464, 465, 466, 467, 468, 469, 470, 471, 472, 473, 474, 475, 476, 478, 479, 480, 481, 482, 483, 484, 485, 486, 487, 488, 492

B grade: { 3, 4, 7, 8, 9, 19, 20, 63, 64, 65, 66, 67, 68, 74, 88, 91, 92, 94, 95, 161, 162, 167, 169, 170, 171, 194, 197, 200, 201, 202, 203, 204, 205, 206, 207, 210, 211, 212, 213, 214, 215, 221, 222, 421, 424, 477, 493, 494 }

C grade: { }

F grade: { 1, 12, 13, 14, 26, 27, 29, 30, 31, 32, 37, 38, 43, 44, 49, 50, 55, 56, 61, 62, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 120, 121, 122, 127, 128, 129, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 163, 172, 179, 180, 181, 183, 184, 186, 187, 227, 228, 250, 251, 252, 253, 254, 255, 256, 257, 334, 335, 336, 337, 338, 340, 341, 342, 387, 388, 389, 390, 391, 392, 393, 394, 395, 396, 397, 398, 399, 400, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 414, 459, 489, 490, 491 }

2.1.5 FriCAS

A grade: { 1, 2, 5, 6, 10, 11, 16, 17, 18, 21, 22, 23, 24, 25, 26, 27, 28, 33, 34, 35, 36, 39, 40, 41, 42, 45, 46, 47, 48, 51, 52, 53, 54, 57, 58, 59, 60, 69, 70, 71, 72, 73, 78, 79, 80, 81, 82, 83, 84, 85, 86, 88, 89, 90, 96, 98, 99, 100, 101, 102, 106, 113, 117, 118, 119, 123, 124, 125, 126, 130, 131, 132, 133, 158, 159, 164, 165, 166, 167, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 208, 209, 216, 217, 218, 219, 220, 224, 225, 226, 228, 230, 231, 232, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 269, 270, 271, 272, 273, 274, 275, 276, 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, 335, 336, 339, 340, 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, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 397, 404, 411, 415, 416, 417, 418, 419, 420, 422, 425, 426, 427, 428, 429, 430, 431, 432, 433, 434, 435, 436, 437, 438, 439, 440, 441, 442, 443, 444, 445, 446, 447, 448, 449, 450, 451, 452, 454, 456, 457, 458, 459, 460, 461, 462, 463, 464, 465, 466, 467, 468, 469, 470, 471, 472, 473, 474, 475, 476, 478, 479, 480, 481, 482, 485, 486, 487, 488, 489, 490, 491, 492 }

B grade: { 3, 4, 7, 8, 9, 12, 13, 14, 15, 37, 38, 43, 44, 63, 64, 65, 66, 67, 68, 74, 75, 76, 77, 87, 91, 92, 93, 94, 95, 97, 116, 120, 121, 122, 146, 154, 160, 161, 162, 163, 168, 169, 170, 171, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 210, 211, 212, 213, 214, 215, 221, 222, 223, 229, 233, 250, 251, 252, 253, 254, 255, 256, 257, 268, 277, 343, 344, 387, 388, 389, 390, 421, 423, 424, 453, 455, 477, 484, 493, 494 }

C grade: { 49, 50, 55, 56, 104, 105, 107, 108, 109, 334, 341, 368, 393 }

F grade: { 19, 20, 29, 30, 31, 32, 61, 62, 103, 110, 111, 112, 114, 115, 127, 128, 129, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 147, 148, 149, 150, 151, 152, 153, 155, 156, 157, 227, 337, 338, 342, 391, 392, 394, 395, 396, 398, 399, 400, 401, 402, 403, 405, 406, 407, 408, 409, 410, 412, 413, 414, 483 }

2.1.6 Sympy

A grade: { 1, 5, 10, 11, 12, 13, 14, 16, 17, 21, 22, 23, 24, 25, 27, 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, 69, 70, 71, 72, 73, 75, 76, 93, 96, 97, 98, 99, 103, 104, 105, 106, 110, 111, 112, 113, 116, 117, 118, 119, 120, 123, 124, 125, 126, 127, 130, 131, 132, 133, 138, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 164, 165, 166, 167, 172, 177, 178, 187, 188, 189, 191, 208, 219, 220, 224, 225, 226, 228, 229, 230, 231, 232, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 255, 256, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 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, 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, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393, 394, 395, 396, 397, 401, 402, 403, 404, 408, 409, 410, 411, 415, 416, 417, 418, 419, 420, 422, 425, 426, 427, 428, 429, 430, 431, 432, 433, 434, 435, 436, 437, 438, 439, 440, 441, 442, 443, 444, 445, 446, 447, 448, 449, 450, 451, 452, 453, 454, 455, 456, 457, 460, 461, 462, 463, 464, 465, 466, 467, 468, 469, 470, 471, 472, 473, 474, 475, 476, 478, 479, 480, 481, 482, 483, 484, 485, 486, 487, 488, 491, 492 }

B grade: { 3, 4, 6, 7, 8, 9, 15, 26, 63, 64, 65, 66, 67, 68, 74, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 92, 94, 95, 107, 121, 128, 134, 135, 160, 161, 162, 168, 179, 184, 185, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 210, 211, 212, 213, 214, 215, 216, 221, 222, 223, 233, 254, 268, 339, 340, 421, 423, 424, 459, 477, 489, 490, 493, 494 }

C grade: { 32, 89, 90, 91, 257, 279, 458 }

F grade: { 2, 18, 19, 20, 28, 29, 30, 31, 100, 101, 102, 108, 109, 114, 115, 122, 129, 136, 137, 139, 140, 141, 142, 163, 169, 170, 171, 173, 174, 175, 176, 180, 181, 182, 183, 186, 190, 209, 217, 218, 227, 234, 235, 236, 237, 238, 239, 240, 241, 337, 338, 341, 342, 398, 399, 400, 405, 406, 407, 412, 413, 414 }

2.1.7 Giac

A grade: { 1, 5, 6, 7, 8, 10, 11, 12, 16, 17, 21, 22, 23, 24, 25, 26, 27, 28, 33, 34, 35, 36, 37, 39, 40, 41, 42, 45, 46, 47, 48, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 66, 67, 68, 69, 70, 71, 72, 73, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 93, 94, 96, 97, 98, 99, 100, 101, 102, 106, 113, 117, 118, 119, 123, 124, 125, 126, 130, 131, 132, 133, 158, 164, 165, 166, 168, 169, 170, 172, 177, 178, 179, 184, 185, 189, 208, 216, 217, 218, 219, 220, 223, 224, 225, 226, 228, 229, 230, 231, 232, 233, 242, 243, 244, 245, 246, 247, 248, 249, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 340, 341, 342, 343, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 394, 395, 396, 397, 398, 400, 401, 402, 403, 404, 405, 407, 408, 409, 410, 411, 412, 414, 415, 416, 417, 418, 419, 420, 422, 423, 425, 426, 427, 428, 429, 430, 431, 432, 433, 434, 435, 436, 437, 438, 439, 440, 441, 442, 443, 444, 445, 446, 447, 448, 449, 450, 451, 452, 453, 454, 455, 456, 457, 458, 459, 460, 461, 462, 463, 464, 465, 466, 467, 468, 469, 470, 471, 472, 473, 474, 475, 476, 477, 478, 479, 480, 481, 482, 483, 484, 486, 487, 488, 489, 490, 492 }

B grade: { 2, 3, 4, 9, 13, 14, 15, 63, 64, 65, 74, 92, 95, 116, 159, 160, 161, 162, 163, 173, 175, 180, 181, 182, 183, 186, 187, 188, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 209, 210, 211, 212, 213, 214, 215, 221, 222, 234, 235, 236, 237, 257, 268, 282, 303, 324, 344, 359, 421, 424, 485, 494 }

C grade: { 337, 338 }

F grade: { 18, 19, 20, 29, 30, 31, 32, 38, 43, 44, 49, 50, 61, 62, 103, 104, 105, 107, 108, 109, 110, 111, 112, 114, 115, 120, 121, 122, 127, 128, 129, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 167, 171, 174, 176, 227, 238, 239, 240, 241, 250, 251, 252, 253, 254, 255, 256, 339, 387, 388, 389, 390, 391, 392, 393, 399, 406, 413, 491, 493 }

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 C F A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 77 77 143 43 0 184 60 73
normalized size 1 1. 1.86 0.56 0. 2.39 0.78 0.95
time (sec) N/A 0.134 0.048 0.007 0. 1.388 0.444 1.097
Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 30 30 23 46 34 90 0 99
normalized size 1 1. 0.77 1.53 1.13 3. 0. 3.3
time (sec) N/A 0.018 0.055 0.002 1.177 1.255 0. 1.098
Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 14 14 14 98 292 212 107 131
normalized size 1 1. 1. 7. 20.86 15.14 7.64 9.36
time (sec) N/A 0.007 0.001 0.002 1.169 1.114 0.084 1.061
Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 14 14 14 65 134 128 66 86
normalized size 1 1. 1. 4.64 9.57 9.14 4.71 6.14
time (sec) N/A 0.007 0.001 0. 1.162 1.08 0.073 1.062
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 35 35 35 32 42 66 32 42
normalized size 1 1. 1. 0.91 1.2 1.89 0.91 1.2
time (sec) N/A 0.007 0. 0.001 1.09 1.083 0.062 1.084
Problem 6 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 14 14 14 13 32 49 26 16
normalized size 1 1. 1. 0.93 2.29 3.5 1.86 1.14
time (sec) N/A 0.009 0.003 0.003 1.17 1.229 0.325 1.082
Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 14 14 14 13 77 116 61 16
normalized size 1 1. 1. 0.93 5.5 8.29 4.36 1.14
time (sec) N/A 0.009 0.003 0.003 1.195 1.188 0.494 1.088
Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 14 14 14 13 122 185 97 16
normalized size 1 1. 1. 0.93 8.71 13.21 6.93 1.14
time (sec) N/A 0.008 0.003 0.003 1.138 1.213 0.73 1.075
Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 84 84 159 295 275 375 175 224
normalized size 1 1. 1.89 3.51 3.27 4.46 2.08 2.67
time (sec) N/A 0.125 0.019 0.001 1.715 1.227 0.093 1.076
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 56 56 82 84 126 177 87 112
normalized size 1 1. 1.46 1.5 2.25 3.16 1.55 2.
time (sec) N/A 0.068 0.008 0.001 1.25 1.141 0.079 1.07
Problem 11 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 29 38 63 31 38
normalized size 1 1. 1. 0.91 1.19 1.97 0.97 1.19
time (sec) N/A 0.006 0. 0. 1.146 1.152 0.06 1.067
Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 188 188 63 57 0 878 53 281
normalized size 1 1. 0.34 0.3 0. 4.67 0.28 1.49
time (sec) N/A 0.312 0.016 0.003 0. 1.414 0.375 1.112
Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 245 245 112 136 0 1536 192 551
normalized size 1 1. 0.46 0.56 0. 6.27 0.78 2.25
time (sec) N/A 0.249 0.054 0.007 0. 1.447 1.491 1.168
Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 305 305 149 276 0 2731 474 817
normalized size 1 1. 0.49 0.9 0. 8.95 1.55 2.68
time (sec) N/A 0.302 0.08 0.014 0. 1.466 5.974 1.285
Problem 15 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 361 361 653 861 622 2136 1018 1311
normalized size 1 1. 1.81 2.39 1.72 5.92 2.82 3.63
time (sec) N/A 0.658 0.205 0.001 1.203 1.123 0.216 1.108
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 193 193 241 188 243 774 345 467
normalized size 1 1. 1.25 0.97 1.26 4.01 1.79 2.42
time (sec) N/A 0.231 0.078 0.002 1.091 1.1 0.124 1.083
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 56 56 76 51 68 163 63 73
normalized size 1 1. 1.36 0.91 1.21 2.91 1.12 1.3
time (sec) N/A 0.016 0. 0. 1.223 1.084 0.068 1.069
Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 86 86 80 87 151 230 0 0
normalized size 1 1. 0.93 1.01 1.76 2.67 0. 0.
time (sec) N/A 0.073 0.048 0.008 1.045 28.686 0. 0.
Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B F(-1) F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 234 234 232 398 2830 0 0 0
normalized size 1 1. 0.99 1.7 12.09 0. 0. 0.
time (sec) N/A 0.405 0.653 0.05 1.85 0. 0. 0.
Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B F(-1) F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 495 495 490 1076 14857 0 0 0
normalized size 1 1. 0.99 2.17 30.01 0. 0. 0.
time (sec) N/A 1.462 1.281 0.032 4.525 0. 0. 0.
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 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.015 0.008 0.004 1.594 1.806 0.119 1.245
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 31 31 31 26 34 81 24 35
normalized size 1 1. 1. 0.84 1.1 2.61 0.77 1.13
time (sec) N/A 0.02 0.008 0.006 1.554 1.831 0.132 1.239
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 10 10 10 9 11 19 8 11
normalized size 1 1. 1. 0.9 1.1 1.9 0.8 1.1
time (sec) N/A 0.001 0. 0.002 1.006 1.498 0.063 1.224
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 28 28 28 29 38 61 19 41
normalized size 1 1. 1. 1.04 1.36 2.18 0.68 1.46
time (sec) N/A 0.015 0.004 0.007 1.147 1.229 0.436 1.265
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 22 22 22 21 27 49 15 32
normalized size 1 1. 1. 0.95 1.23 2.23 0.68 1.45
time (sec) N/A 0.012 0.005 0.006 1.035 1.288 0.188 1.188
Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 62 62 61 62 0 494 564 84
normalized size 1 1. 0.98 1. 0. 7.97 9.1 1.35
time (sec) N/A 0.055 0.069 0.007 0. 1.311 1.931 1.127
Problem 27 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 115 115 89 91 0 749 20 151
normalized size 1 1. 0.77 0.79 0. 6.51 0.17 1.31
time (sec) N/A 0.063 0.027 0.004 0. 1.222 0.145 1.156
Problem 28 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-2) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 16 17 23 31 0 22
normalized size 1 1. 1. 1.06 1.44 1.94 0. 1.38
time (sec) N/A 0.004 0.002 0.002 1.131 1.371 0. 1.14
Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 55 55 53 0 0 0 0 0
normalized size 1 1. 0.96 0. 0. 0. 0. 0.
time (sec) N/A 0.019 0.012 0.033 0. 0. 0. 0.
Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 59 61 0 0 0 0 0
normalized size 1 1.11 1.15 0. 0. 0. 0. 0.
time (sec) N/A 0.023 0.012 0.033 0. 0. 0. 0.
Problem 31 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 132 132 157 0 0 0 0 0
normalized size 1 1. 1.19 0. 0. 0. 0. 0.
time (sec) N/A 0.158 0.284 0.02 0. 0. 0. 0.
Problem 32 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F C F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 35 44 196 0 0 0 34 0
normalized size 1 1.26 5.6 0. 0. 0. 0.97 0.
time (sec) N/A 0.009 0.151 0.029 0. 0. 16.009 0.
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 270 270 285 392 502 684 299 374
normalized size 1 1. 1.06 1.45 1.86 2.53 1.11 1.39
time (sec) N/A 0.539 0.036 0.003 1.181 1.037 0.119 1.143
Problem 34 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 171 171 171 231 277 383 180 224
normalized size 1 1. 1. 1.35 1.62 2.24 1.05 1.31
time (sec) N/A 0.092 0.017 0.001 1.111 1.177 0.092 1.112
Problem 35 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 92 92 92 84 127 192 95 112
normalized size 1 1. 1. 0.91 1.38 2.09 1.03 1.22
time (sec) N/A 0.043 0.008 0. 1.091 1.121 0.078 1.142
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 32 32 32 29 38 63 31 38
normalized size 1 1. 1. 0.91 1.19 1.97 0.97 1.19
time (sec) N/A 0.006 0. 0. 1.049 1.105 0.066 1.119
Problem 37 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 529 529 71 64 0 1770 88 471
normalized size 1 1. 0.13 0.12 0. 3.35 0.17 0.89
time (sec) N/A 0.896 0.026 0.059 0. 1.388 0.936 1.322
Problem 38 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F B A F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 746 746 182 232 0 6965 427 0
normalized size 1 1. 0.24 0.31 0. 9.34 0.57 0.
time (sec) N/A 1.328 0.103 0.014 0. 1.828 5.815 0.
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 295 295 345 500 517 884 366 436
normalized size 1 1. 1.17 1.69 1.75 3. 1.24 1.48
time (sec) N/A 0.532 0.049 0.003 1.026 1.136 0.124 1.117
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 203 203 207 288 289 482 218 252
normalized size 1 1. 1.02 1.42 1.42 2.37 1.07 1.24
time (sec) N/A 0.123 0.025 0.001 1.162 1.156 0.1 1.145
Problem 41 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 107 107 109 100 136 225 112 122
normalized size 1 1. 1.02 0.93 1.27 2.1 1.05 1.14
time (sec) N/A 0.051 0.013 0. 1.122 1.387 0.08 1.13
Problem 42 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 37 34 45 72 36 41
normalized size 1 1. 1. 0.92 1.22 1.95 0.97 1.11
time (sec) N/A 0.007 0. 0. 1.152 1.263 0.063 1.145
Problem 43 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F B A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 153 153 71 67 0 2630 122 0
normalized size 1 1. 0.46 0.44 0. 17.19 0.8 0.
time (sec) N/A 0.254 0.022 0.067 0. 1.695 1.454 0.
Problem 44 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F(-2) B A F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 342 342 234 288 0 12891 580 0
normalized size 1 1. 0.68 0.84 0. 37.69 1.7 0.
time (sec) N/A 0.532 0.18 0.015 0. 2.36 14.049 0.
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 96 96 96 85 113 281 94 113
normalized size 1 1. 1. 0.89 1.18 2.93 0.98 1.18
time (sec) N/A 0.03 0.002 0. 1.047 1.111 0.074 1.164
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 74 74 74 65 86 190 71 86
normalized size 1 1. 1. 0.88 1.16 2.57 0.96 1.16
time (sec) N/A 0.023 0.001 0.002 1.166 1.128 0.064 1.111
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 54 54 54 45 59 116 49 59
normalized size 1 1. 1. 0.83 1.09 2.15 0.91 1.09
time (sec) N/A 0.017 0.001 0.001 1.134 1.068 0.059 1.108
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 23 23 23 20 26 45 19 26
normalized size 1 1. 1. 0.87 1.13 1.96 0.83 1.13
time (sec) N/A 0.003 0. 0.001 1.161 1.082 0.053 1.125
Problem 49 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F C A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 268 268 45 41 0 4797 41 0
normalized size 1 1. 0.17 0.15 0. 17.9 0.15 0.
time (sec) N/A 0.396 0.008 0.003 0. 10.65 0.8 0.
Problem 50 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F C A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 357 357 113 83 0 8227 71 0
normalized size 1 1. 0.32 0.23 0. 23.04 0.2 0.
time (sec) N/A 0.397 0.016 0.007 0. 12.607 0.916 0.
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 97 97 97 78 104 254 94 104
normalized size 1 1. 1. 0.8 1.07 2.62 0.97 1.07
time (sec) N/A 0.028 0.001 0.001 1.151 1.119 0.068 1.113
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 69 69 69 58 77 163 66 77
normalized size 1 1. 1. 0.84 1.12 2.36 0.96 1.12
time (sec) N/A 0.02 0.001 0. 1.16 1.126 0.065 1.125
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 45 45 45 38 50 96 42 50
normalized size 1 1. 1. 0.84 1.11 2.13 0.93 1.11
time (sec) N/A 0.015 0.001 0.002 1.781 1.09 0.059 1.121
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 21 21 21 18 23 42 19 23
normalized size 1 1. 1. 0.86 1.1 2. 0.9 1.1
time (sec) N/A 0.003 0. 0.001 1.093 1.091 0.053 1.143
Problem 55 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F C A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 234 234 47 41 0 2303 36 374
normalized size 1 1. 0.2 0.18 0. 9.84 0.15 1.6
time (sec) N/A 0.315 0.015 0.004 0. 8.501 0.724 1.159
Problem 56 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F C A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 317 317 108 79 0 4027 71 463
normalized size 1 1. 0.34 0.25 0. 12.7 0.22 1.46
time (sec) N/A 0.335 0.023 0.008 0. 9.997 0.875 1.293
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 104 104 104 85 113 321 100 113
normalized size 1 1. 1. 0.82 1.09 3.09 0.96 1.09
time (sec) N/A 0.034 0.002 0.003 1.204 1.233 0.077 1.117
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 76 76 76 65 86 209 73 86
normalized size 1 1. 1. 0.86 1.13 2.75 0.96 1.13
time (sec) N/A 0.024 0.002 0. 1.159 1.256 0.068 1.137
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 52 52 52 45 59 122 49 59
normalized size 1 1. 1. 0.87 1.13 2.35 0.94 1.13
time (sec) N/A 0.016 0.001 0. 1.34 1.332 0.063 1.116
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 30 30 30 25 32 61 27 32
normalized size 1 1. 1. 0.83 1.07 2.03 0.9 1.07
time (sec) N/A 0.004 0. 0.002 1.196 1.241 0.052 1.128
Problem 61 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F(-1) A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 263 263 55 49 0 0 41 0
normalized size 1 1. 0.21 0.19 0. 0. 0.16 0.
time (sec) N/A 0.493 0.01 0.005 0. 0. 0.852 0.
Problem 62 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F(-1) A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 366 366 128 96 0 0 76 0
normalized size 1 1. 0.35 0.26 0. 0. 0.21 0.
time (sec) N/A 0.508 0.019 0.007 0. 0. 0.957 0.
Problem 63 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 14 14 14 164 799 402 185 220
normalized size 1 1. 1. 11.71 57.07 28.71 13.21 15.71
time (sec) N/A 0.017 0.001 0.001 1.195 1.591 0.106 1.14
Problem 64 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 14 14 14 109 308 230 114 146
normalized size 1 1. 1. 7.79 22. 16.43 8.14 10.43
time (sec) N/A 0.018 0.001 0.001 1.159 1.535 0.087 1.102
Problem 65 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A B B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 14 61 61 54 72 116 60 72
normalized size 1 4.36 4.36 3.86 5.14 8.29 4.29 5.14
time (sec) N/A 0.014 0. 0.001 1.178 1.484 0.071 1.118
Problem 66 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 14 14 14 13 62 92 49 16
normalized size 1 1. 1. 0.93 4.43 6.57 3.5 1.14
time (sec) N/A 0.018 0.004 0.004 1.206 1.698 0.444 1.096
Problem 67 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 14 14 14 13 136 212 109 16
normalized size 1 1. 1. 0.93 9.71 15.14 7.79 1.14
time (sec) N/A 0.017 0.004 0.003 1.263 1.624 0.841 1.134
Problem 68 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 14 14 14 13 211 370 168 16
normalized size 1 1. 1. 0.93 15.07 26.43 12. 1.14
time (sec) N/A 0.018 0.004 0.003 1.67 1.764 1.551 1.146
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 38 38 38 31 41 100 29 42
normalized size 1 1. 1. 0.82 1.08 2.63 0.76 1.11
time (sec) N/A 0.025 0.007 0.007 2.706 1.8 0.142 1.145
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 84 84 84 65 86 266 80 86
normalized size 1 1. 1. 0.77 1.02 3.17 0.95 1.02
time (sec) N/A 0.086 0.002 0.002 1.754 1.547 0.072 1.14
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 63 63 63 50 66 180 60 66
normalized size 1 1. 1. 0.79 1.05 2.86 0.95 1.05
time (sec) N/A 0.076 0.002 0.001 1.205 1.515 0.069 1.117
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 44 44 44 35 46 108 41 46
normalized size 1 1. 1. 0.8 1.05 2.45 0.93 1.05
time (sec) N/A 0.069 0.001 0. 1.146 1.526 0.062 1.123
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 25 25 25 20 26 53 22 26
normalized size 1 1. 1. 0.8 1.04 2.12 0.88 1.04
time (sec) N/A 0.003 0. 0. 1.172 1.437 0.054 1.124
Problem 74 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 31 31 62 42 73 149 63 84
normalized size 1 1. 2. 1.35 2.35 4.81 2.03 2.71
time (sec) N/A 0.023 0.013 0.01 1.733 1.632 0.14 1.128
Problem 75 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 89 89 103 84 120 467 104 131
normalized size 1 1. 1.16 0.94 1.35 5.25 1.17 1.47
time (sec) N/A 0.061 0.051 0.02 1.749 1.779 1.103 1.12
Problem 76 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 161 161 137 126 161 849 134 151
normalized size 1 1. 0.85 0.78 1. 5.27 0.83 0.94
time (sec) N/A 0.119 0.084 0.021 1.855 1.757 1.241 1.156
Problem 77 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A B A A A B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 91 205 132 116 154 589 296 181
normalized size 1 2.25 1.45 1.27 1.69 6.47 3.25 1.99
time (sec) N/A 0.13 0.088 0.019 1.957 1.788 1.112 1.112
Problem 78 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 73 127 0 466 209 104
normalized size 1 1. 0.94 1.63 0. 5.97 2.68 1.33
time (sec) N/A 0.063 0.05 0.005 0. 1.834 0.76 1.119
Problem 79 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 50 50 54 89 0 377 153 73
normalized size 1 1. 1.08 1.78 0. 7.54 3.06 1.46
time (sec) N/A 0.039 0.028 0.002 0. 1.78 0.577 1.173
Problem 80 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 38 54 0 333 124 58
normalized size 1 1. 0.93 1.32 0. 8.12 3.02 1.41
time (sec) N/A 0.021 0.014 0.003 0. 1.831 0.23 1.142
Problem 81 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 21 21 21 28 0 205 54 23
normalized size 1 1. 1. 1.33 0. 9.76 2.57 1.1
time (sec) N/A 0.008 0.003 0.003 0. 1.749 0.175 1.123
Problem 82 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 59 59 48 72 0 385 738 84
normalized size 1 1. 0.81 1.22 0. 6.53 12.51 1.42
time (sec) N/A 0.035 0.033 0.006 0. 1.863 1.708 1.124
Problem 83 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 79 79 81 123 0 533 1620 158
normalized size 1 1. 1.03 1.56 0. 6.75 20.51 2.
time (sec) N/A 0.086 0.044 0.007 0. 1.921 4.434 1.116
Problem 84 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 121 121 106 198 0 811 3284 263
normalized size 1 1. 0.88 1.64 0. 6.7 27.14 2.17
time (sec) N/A 0.125 0.129 0.01 0. 1.926 7.246 1.16
Problem 85 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 31 31 31 34 0 243 61 32
normalized size 1 1. 1. 1.1 0. 7.84 1.97 1.03
time (sec) N/A 0.024 0.009 0.006 0. 1.671 0.202 1.13
Problem 86 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 60 86 0 555 117 88
normalized size 1 1. 0.95 1.37 0. 8.81 1.86 1.4
time (sec) N/A 0.033 0.025 0.004 0. 1.812 0.727 1.113
Problem 87 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 91 91 75 147 0 1231 257 139
normalized size 1 1. 0.82 1.62 0. 13.53 2.82 1.53
time (sec) N/A 0.048 0.06 0.005 0. 1.948 1.652 1.1
Problem 88 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 35 35 35 42 89 576 92 41
normalized size 1 1. 1. 1.2 2.54 16.46 2.63 1.17
time (sec) N/A 0.035 0.014 0.006 1.658 2.115 0.198 1.146
Problem 89 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 10 10 10 11 24 26 24 14
normalized size 1 1. 1. 1.1 2.4 2.6 2.4 1.4
time (sec) N/A 0.003 0.004 0.003 1.561 1.686 0.159 1.127
Problem 90 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 37 37 31 59 69 134 56 55
normalized size 1 1. 0.84 1.59 1.86 3.62 1.51 1.49
time (sec) N/A 0.01 0.012 0.004 1.458 1.8 0.587 1.155
Problem 91 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B C A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 60 60 52 94 155 347 146 99
normalized size 1 1. 0.87 1.57 2.58 5.78 2.43 1.65
time (sec) N/A 0.016 0.015 0.003 1.48 1.748 1.241 1.114
Problem 92 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 10 10 32 26 34 61 22 36
normalized size 1 1. 3.2 2.6 3.4 6.1 2.2 3.6
time (sec) N/A 0.003 0.005 0.007 0.959 1.742 0.16 1.116
Problem 93 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 39 39 45 52 76 208 53 76
normalized size 1 1. 1.15 1.33 1.95 5.33 1.36 1.95
time (sec) N/A 0.013 0.02 0.008 1.055 1.716 0.596 1.15
Problem 94 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 64 64 65 78 165 498 141 119
normalized size 1 1. 1.02 1.22 2.58 7.78 2.2 1.86
time (sec) N/A 0.022 0.027 0.008 1.014 1.696 1.307 1.14
Problem 95 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 4 4 15 12 15 39 10 18
normalized size 1 1. 3.75 3. 3.75 9.75 2.5 4.5
time (sec) N/A 0.002 0.002 0.005 1.007 1.668 0.093 1.117
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 27 27 26 24 34 99 22 36
normalized size 1 1. 0.96 0.89 1.26 3.67 0.81 1.33
time (sec) N/A 0.007 0.016 0.007 1.168 1.671 0.11 1.115
Problem 97 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 45 45 37 36 59 170 44 53
normalized size 1 1. 0.82 0.8 1.31 3.78 0.98 1.18
time (sec) N/A 0.012 0.017 0.009 1.182 1.746 0.138 1.142
Problem 98 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 59 59 64 64 73 130 58 84
normalized size 1 1. 1.08 1.08 1.24 2.2 0.98 1.42
time (sec) N/A 0.055 0.021 0.003 1.13 1.77 0.312 1.123
Problem 99 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 11 12 15 32 10 15
normalized size 1 1. 1.1 1.2 1.5 3.2 1. 1.5
time (sec) N/A 0.011 0.006 0.002 1.114 1.643 0.082 1.13
Problem 100 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 51 35 49 84 0 31
normalized size 1 1. 1.16 0.8 1.11 1.91 0. 0.7
time (sec) N/A 0.026 0.021 0.002 1.651 1.769 0. 1.111
Problem 101 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 67 67 55 152 0 211 0 74
normalized size 1 1. 0.82 2.27 0. 3.15 0. 1.1
time (sec) N/A 0.049 0.069 0.016 0. 1.874 0. 1.16
Problem 102 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 51 146 0 165 0 95
normalized size 1 1. 0.81 2.32 0. 2.62 0. 1.51
time (sec) N/A 0.04 0.057 0.01 0. 1.744 0. 1.191
Problem 103 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F(-2) F(-1) A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 234 234 132 108 0 0 238 0
normalized size 1 1. 0.56 0.46 0. 0. 1.02 0.
time (sec) N/A 0.372 0.047 0.006 0. 0. 2.524 0.
Problem 104 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F C A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 210 210 81 74 0 10654 158 0
normalized size 1 1. 0.39 0.35 0. 50.73 0.75 0.
time (sec) N/A 0.228 0.029 0.002 0. 8.125 0.953 0.
Problem 105 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F C A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 180 180 79 72 0 4685 83 0
normalized size 1 1. 0.44 0.4 0. 26.03 0.46 0.
time (sec) N/A 0.156 0.022 0.001 0. 7.861 0.66 0.
Problem 106 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 140 140 116 71 0 1079 26 211
normalized size 1 1. 0.83 0.51 0. 7.71 0.19 1.51
time (sec) N/A 0.107 0.03 0.003 0. 1.374 0.25 1.133
Problem 107 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F(-2) C B F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 224 238 119 105 0 9806 559 0
normalized size 1 1.06 0.53 0.47 0. 43.78 2.5 0.
time (sec) N/A 0.482 0.048 0.007 0. 8.207 17.941 0.
Problem 108 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F(-1) C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 314 312 173 144 0 18572 0 0
normalized size 1 0.99 0.55 0.46 0. 59.15 0. 0.
time (sec) N/A 0.545 0.09 0.007 0. 11.262 0. 0.
Problem 109 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F(-1) C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 393 393 244 217 0 29965 0 0
normalized size 1 1. 0.62 0.55 0. 76.25 0. 0.
time (sec) N/A 0.604 0.143 0.01 0. 53.037 0. 0.
Problem 110 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F(-1) A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 356 356 106 97 0 0 374 0
normalized size 1 1. 0.3 0.27 0. 0. 1.05 0.
time (sec) N/A 0.426 0.042 0.012 0. 0. 3.399 0.
Problem 111 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F(-1) A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 318 318 106 97 0 0 274 0
normalized size 1 1. 0.33 0.31 0. 0. 0.86 0.
time (sec) N/A 0.312 0.033 0.003 0. 0. 2.546 0.
Problem 112 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F(-1) A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 261 261 104 95 0 0 131 0
normalized size 1 1. 0.4 0.36 0. 0. 0.5 0.
time (sec) N/A 0.264 0.027 0.003 0. 0. 0.902 0.
Problem 113 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 221 221 161 94 0 443 26 196
normalized size 1 1. 0.73 0.43 0. 2. 0.12 0.89
time (sec) N/A 0.185 0.071 0.003 0. 1.557 0.285 1.137
Problem 114 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F(-2) F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 393 393 163 139 0 0 0 0
normalized size 1 1. 0.41 0.35 0. 0. 0. 0.
time (sec) N/A 0.466 0.063 0.008 0. 0. 0. 0.
Problem 115 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F(-2) F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 496 496 238 188 0 0 0 0
normalized size 1 1. 0.48 0.38 0. 0. 0. 0.
time (sec) N/A 0.894 0.124 0.01 0. 0. 0. 0.
Problem 116 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 123 123 195 264 259 624 199 296
normalized size 1 1. 1.59 2.15 2.11 5.07 1.62 2.41
time (sec) N/A 0.24 0.028 0.002 1.131 1.262 0.112 1.252
Problem 117 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 120 120 114 138 161 335 114 173
normalized size 1 1. 0.95 1.15 1.34 2.79 0.95 1.44
time (sec) N/A 0.063 0.013 0.002 1.192 1.283 0.086 1.117
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 72 72 66 63 88 165 65 88
normalized size 1 1. 0.92 0.88 1.22 2.29 0.9 1.22
time (sec) N/A 0.03 0.007 0.001 1.082 1.34 0.068 1.113
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 26 26 26 23 30 54 22 30
normalized size 1 1. 1. 0.88 1.15 2.08 0.85 1.15
time (sec) N/A 0.004 0. 0. 1.067 1.276 0.057 1.104
Problem 120 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F B A F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 89 89 57 49 0 1254 66 0
normalized size 1 1. 0.64 0.55 0. 14.09 0.74 0.
time (sec) N/A 0.087 0.014 0.013 0. 1.547 0.705 0.
Problem 121 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F(-2) B B F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 169 169 150 158 0 5716 292 0
normalized size 1 1. 0.89 0.93 0. 33.82 1.73 0.
time (sec) N/A 0.291 0.054 0.01 0. 1.798 4.605 0.
Problem 122 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F(-2) B F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 252 252 254 398 0 13437 0 0
normalized size 1 1. 1.01 1.58 0. 53.32 0. 0.
time (sec) N/A 0.532 0.119 0.016 0. 1.902 0. 0.
Problem 123 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 210 210 204 267 246 655 212 300
normalized size 1 1. 0.97 1.27 1.17 3.12 1.01 1.43
time (sec) N/A 0.226 0.026 0.001 1.103 1.315 0.148 1.148
Problem 124 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 134 134 130 143 153 367 128 180
normalized size 1 1. 0.97 1.07 1.14 2.74 0.96 1.34
time (sec) N/A 0.14 0.015 0.001 1.118 1.305 0.125 1.131
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 79 79 75 66 80 180 70 92
normalized size 1 1. 0.95 0.84 1.01 2.28 0.89 1.16
time (sec) N/A 0.076 0.008 0.001 1.08 1.34 0.072 1.129
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 35 35 35 28 36 68 29 36
normalized size 1 1. 1. 0.8 1.03 1.94 0.83 1.03
time (sec) N/A 0.01 0.001 0.001 1.084 1.3 0.058 1.131
Problem 127 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F(-1) A F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 116 116 59 50 0 0 155 0
normalized size 1 1. 0.51 0.43 0. 0. 1.34 0.
time (sec) N/A 0.083 0.016 0.003 0. 0. 2.577 0.
Problem 128 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F(-2) F(-1) B F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 231 231 166 162 0 0 539 0
normalized size 1 1. 0.72 0.7 0. 0. 2.33 0.
time (sec) N/A 0.241 0.06 0.01 0. 0. 16.462 0.
Problem 129 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F(-2) F(-1) F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 349 349 284 405 0 0 0 0
normalized size 1 1. 0.81 1.16 0. 0. 0. 0.
time (sec) N/A 0.369 0.119 0.016 0. 0. 0. 0.
Problem 130 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 210 210 204 267 246 671 219 300
normalized size 1 1. 0.97 1.27 1.17 3.2 1.04 1.43
time (sec) N/A 0.164 0.027 0.002 1.032 1.304 0.117 1.103
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 138 138 132 143 153 379 134 180
normalized size 1 1. 0.96 1.04 1.11 2.75 0.97 1.3
time (sec) N/A 0.121 0.015 0.001 1.002 1.254 0.091 1.134
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 79 79 73 66 80 185 73 92
normalized size 1 1. 0.92 0.84 1.01 2.34 0.92 1.16
time (sec) N/A 0.077 0.008 0.001 1.088 1.275 0.073 1.14
Problem 133 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 35 28 36 68 29 36
normalized size 1 1. 1. 0.8 1.03 1.94 0.83 1.03
time (sec) N/A 0.009 0.002 0. 1.133 1.299 0.057 1.142
Problem 134 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F(-1) B F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 99 99 61 52 0 0 172 0
normalized size 1 1. 0.62 0.53 0. 0. 1.74 0.
time (sec) N/A 0.087 0.015 0.003 0. 0. 3.884 0.
Problem 135 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F(-2) F(-1) B F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 225 225 182 160 0 0 559 0
normalized size 1 1. 0.81 0.71 0. 0. 2.48 0.
time (sec) N/A 0.213 0.061 0.01 0. 0. 18.002 0.
Problem 136 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 545 545 99 93 0 0 0 0
normalized size 1 1. 0.18 0.17 0. 0. 0. 0.
time (sec) N/A 1.476 0.062 0.01 0. 0. 0. 0.
Problem 137 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 487 487 99 93 0 0 0 0
normalized size 1 1. 0.2 0.19 0. 0. 0. 0.
time (sec) N/A 0.756 0.049 0.003 0. 0. 0. 0.
Problem 138 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F(-1) A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 334 334 97 93 0 0 167 0
normalized size 1 1. 0.29 0.28 0. 0. 0.5 0.
time (sec) N/A 0.47 0.041 0.003 0. 0. 28.181 0.
Problem 139 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 469 469 95 91 0 0 0 0
normalized size 1 1. 0.2 0.19 0. 0. 0. 0.
time (sec) N/A 0.684 0.045 0.003 0. 0. 0. 0.
Problem 140 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 522 522 99 90 0 0 0 0
normalized size 1 1. 0.19 0.17 0. 0. 0. 0.
time (sec) N/A 0.861 0.059 0.003 0. 0. 0. 0.
Problem 141 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F(-1) F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 563 563 157 134 0 0 0 0
normalized size 1 1. 0.28 0.24 0. 0. 0. 0.
time (sec) N/A 1.157 0.096 0.008 0. 0. 0. 0.
Problem 142 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F(-1) F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 645 640 163 133 0 0 0 0
normalized size 1 0.99 0.25 0.21 0. 0. 0. 0.
time (sec) N/A 1.38 0.12 0.007 0. 0. 0. 0.
Problem 143 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F(-1) A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 395 395 61 56 0 0 70 0
normalized size 1 1. 0.15 0.14 0. 0. 0.18 0.
time (sec) N/A 1.438 0.016 0.007 0. 0. 0.218 0.
Problem 144 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F(-1) A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 377 377 61 56 0 0 65 0
normalized size 1 1. 0.16 0.15 0. 0. 0.17 0.
time (sec) N/A 0.91 0.013 0.006 0. 0. 0.231 0.
Problem 145 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F(-1) A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 361 361 61 56 0 0 61 0
normalized size 1 1. 0.17 0.16 0. 0. 0.17 0.
time (sec) N/A 0.515 0.013 0.006 0. 0. 0.22 0.
Problem 146 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F B A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 248 248 59 56 0 4757 48 0
normalized size 1 1. 0.24 0.23 0. 19.18 0.19 0.
time (sec) N/A 0.323 0.012 0.005 0. 8.111 0.174 0.
Problem 147 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F(-1) A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 361 361 57 54 0 0 61 0
normalized size 1 1. 0.16 0.15 0. 0. 0.17 0.
time (sec) N/A 0.548 0.012 0.005 0. 0. 0.216 0.
Problem 148 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F(-1) A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 377 377 62 53 0 0 65 0
normalized size 1 1. 0.16 0.14 0. 0. 0.17 0.
time (sec) N/A 0.721 0.012 0.004 0. 0. 0.225 0.
Problem 149 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F(-1) A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 415 415 103 75 0 0 82 0
normalized size 1 1. 0.25 0.18 0. 0. 0.2 0.
time (sec) N/A 0.902 0.018 0.007 0. 0. 0.367 0.
Problem 150 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F(-1) A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 448 448 109 74 0 0 70 0
normalized size 1 1. 0.24 0.17 0. 0. 0.16 0.
time (sec) N/A 1.102 0.019 0.007 0. 0. 0.269 0.
Problem 151 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F(-1) A F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 1064 1064 167 122 0 0 112 0
normalized size 1 1. 0.16 0.11 0. 0. 0.11 0.
time (sec) N/A 2.504 0.041 0.01 0. 0. 0.372 0.
Problem 152 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F(-1) A F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 1005 1005 167 122 0 0 112 0
normalized size 1 1. 0.17 0.12 0. 0. 0.11 0.
time (sec) N/A 2.403 0.03 0.01 0. 0. 0.382 0.
Problem 153 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F(-1) A F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 677 677 167 122 0 0 112 0
normalized size 1 1. 0.25 0.18 0. 0. 0.17 0.
time (sec) N/A 1.553 0.045 0.01 0. 0. 0.358 0.
Problem 154 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F B A F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 682 682 167 122 0 8841 104 0
normalized size 1 1. 0.24 0.18 0. 12.96 0.15 0.
time (sec) N/A 1.235 0.025 0.008 0. 9.747 0.282 0.
Problem 155 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F(-1) A F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 850 850 167 122 0 0 112 0
normalized size 1 1. 0.2 0.14 0. 0. 0.13 0.
time (sec) N/A 1.47 0.035 0.009 0. 0. 0.369 0.
Problem 156 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F(-1) A F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 873 873 167 122 0 0 112 0
normalized size 1 1. 0.19 0.14 0. 0. 0.13 0.
time (sec) N/A 1.916 0.027 0.009 0. 0. 0.371 0.
Problem 157 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F(-1) A F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 986 986 167 122 0 0 112 0
normalized size 1 1. 0.17 0.12 0. 0. 0.11 0.
time (sec) N/A 1.927 0.034 0.009 0. 0. 0.362 0.
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 25 25 25 22 28 47 22 28
normalized size 1 1. 1. 0.88 1.12 1.88 0.88 1.12
time (sec) N/A 0.055 0.002 0. 1.099 1.258 0.082 1.196
Problem 159 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 94 94 79 114 142 223 90 493
normalized size 1 1. 0.84 1.21 1.51 2.37 0.96 5.24
time (sec) N/A 0.127 0.039 0.004 1.055 1.243 0.45 1.487
Problem 160 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B A B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 15 15 172 155 18 387 175 208
normalized size 1 1. 11.47 10.33 1.2 25.8 11.67 13.87
time (sec) N/A 0.018 0.006 0.001 0.988 1.216 0.116 1.17
Problem 161 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 182 157 211 402 182 211
normalized size 1 1. 11.38 9.81 13.19 25.12 11.38 13.19
time (sec) N/A 0.055 0.006 0.002 1.028 1.091 0.122 1.211
Problem 162 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 186 157 211 408 185 211
normalized size 1 1. 11.62 9.81 13.19 25.5 11.56 13.19
time (sec) N/A 0.05 0.006 0.001 1.019 1.188 0.126 1.153
Problem 163 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 21 21 21 230 0 657 0 255
normalized size 1 1. 1. 10.95 0. 31.29 0. 12.14
time (sec) N/A 0.031 0.115 0.038 0. 1.615 0. 1.868
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 10 10 9 9 14 24 8 15
normalized size 1 1. 0.9 0.9 1.4 2.4 0.8 1.5
time (sec) N/A 0.004 0.004 0. 1.018 1.303 0.285 1.212
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 15 15 15 14 18 39 12 24
normalized size 1 1. 1. 0.93 1.2 2.6 0.8 1.6
time (sec) N/A 0.026 0.005 0.004 1.036 1.257 0.321 1.222
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 15 15 15 14 18 39 12 20
normalized size 1 1. 1. 0.93 1.2 2.6 0.8 1.33
time (sec) N/A 0.027 0.006 0.005 1.045 1.362 0.334 1.197
Problem 167 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 15 15 15 18 63 61 29 0
normalized size 1 1. 1. 1.2 4.2 4.07 1.93 0.
time (sec) N/A 0.025 0.012 0.013 1.059 1.547 1.418 0.
Problem 168 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 15 15 14 177 18 171 87 18
normalized size 1 1. 0.93 11.8 1.2 11.4 5.8 1.2
time (sec) N/A 0.004 0.022 0. 1.075 1.352 3.977 1.238
Problem 169 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 16 197 109 177 0 20
normalized size 1 1. 1. 12.31 6.81 11.06 0. 1.25
time (sec) N/A 0.023 0.029 0.018 1.1 1.405 0. 1.349
Problem 170 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 16 197 109 177 0 20
normalized size 1 1. 1. 12.31 6.81 11.06 0. 1.25
time (sec) N/A 0.023 0.036 0.013 1.13 1.318 0. 1.433
Problem 171 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 21 21 21 203 826 328 0 0
normalized size 1 1. 1. 9.67 39.33 15.62 0. 0.
time (sec) N/A 0.032 0.172 0.049 1.239 2.469 0. 0.
Problem 172 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 19 19 17 24 0 53 46 50
normalized size 1 1. 0.89 1.26 0. 2.79 2.42 2.63
time (sec) N/A 0.005 0.009 0. 0. 1.336 0.56 1.259
Problem 173 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A A A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 27 27 97 31 47 72 0 73
normalized size 1 1. 3.59 1.15 1.74 2.67 0. 2.7
time (sec) N/A 0.023 0.075 0.004 1.299 1.425 0. 1.182
Problem 174 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A C C C A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 27 116 97 142 47 74 0 0
normalized size 1 4.3 3.59 5.26 1.74 2.74 0. 0.
time (sec) N/A 0.102 0.027 0.114 1.214 1.315 0. 0.
Problem 175 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A A A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 29 29 99 33 47 74 0 78
normalized size 1 1. 3.41 1.14 1.62 2.55 0. 2.69
time (sec) N/A 0.024 0.076 0.003 1.593 1.392 0. 1.174
Problem 176 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 36 36 108 0 53 101 0 0
normalized size 1 1. 3. 0. 1.47 2.81 0. 0.
time (sec) N/A 0.086 0.148 0.07 1.369 1.468 0. 0.
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 32 32 32 27 35 66 29 35
normalized size 1 1. 1. 0.84 1.09 2.06 0.91 1.09
time (sec) N/A 0.034 0.002 0. 1.022 1.253 0.08 1.13
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 12 12 12 11 14 23 8 14
normalized size 1 1. 1. 0.92 1.17 1.92 0.67 1.17
time (sec) N/A 0.049 0.001 0. 1.019 1.241 0.082 1.244
Problem 179 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 42 42 42 32 0 225 124 42
normalized size 1 1. 1. 0.76 0. 5.36 2.95 1.
time (sec) N/A 0.057 0.014 0.004 0. 1.336 0.287 1.226
Problem 180 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 23 26 0 85 0 122
normalized size 1 1. 0.92 1.04 0. 3.4 0. 4.88
time (sec) N/A 0.024 0.014 0.004 0. 1.398 0. 1.297
Problem 181 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 24 24 21 34 0 74 0 92
normalized size 1 1. 0.88 1.42 0. 3.08 0. 3.83
time (sec) N/A 0.018 0.047 0.005 0. 1.496 0. 1.165
Problem 182 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 24 26 53 74 0 88
normalized size 1 1. 0.96 1.04 2.12 2.96 0. 3.52
time (sec) N/A 0.021 0.02 0.003 1.201 1.355 0. 1.193
Problem 183 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 20 20 20 21 0 63 0 72
normalized size 1 1. 1. 1.05 0. 3.15 0. 3.6
time (sec) N/A 0.01 0.009 0.003 0. 1.469 0. 1.188
Problem 184 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 19 19 106 26 0 53 73 50
normalized size 1 1. 5.58 1.37 0. 2.79 3.84 2.63
time (sec) N/A 0.009 0.065 0.003 0. 1.641 12.45 1.204
Problem 185 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 22 22 108 23 42 55 76 53
normalized size 1 1. 4.91 1.05 1.91 2.5 3.45 2.41
time (sec) N/A 0.008 0.035 0.003 1.2 1.632 58.611 1.153
Problem 186 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 22 22 21 23 0 69 0 82
normalized size 1 1. 0.95 1.05 0. 3.14 0. 3.73
time (sec) N/A 0.018 0.012 0.003 0. 1.625 0. 1.177
Problem 187 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 21 21 19 28 0 58 53 58
normalized size 1 1. 0.9 1.33 0. 2.76 2.52 2.76
time (sec) N/A 0.012 0.011 0.003 0. 1.294 0.763 1.285
Problem 188 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 28 43 61 56 69
normalized size 1 1. 0.92 1.17 1.79 2.54 2.33 2.88
time (sec) N/A 0.023 0.013 0.001 1.174 1.423 5.156 1.122
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 22 22 22 23 43 61 53 55
normalized size 1 1. 1. 1.05 1.95 2.77 2.41 2.5
time (sec) N/A 0.009 0.01 0.003 1.166 1.431 5.103 1.156
Problem 190 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 22 22 21 23 43 69 0 82
normalized size 1 1. 0.95 1.05 1.95 3.14 0. 3.73
time (sec) N/A 0.013 0.006 0.002 1.152 1.542 0. 1.261
Problem 191 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 21 21 19 28 43 58 53 58
normalized size 1 1. 0.9 1.33 2.05 2.76 2.52 2.76
time (sec) N/A 0.012 0.005 0.002 1.172 1.417 0.774 1.291
Problem 192 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B A B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 21 21 143 25686 26 4385 1771 2641
normalized size 1 1. 6.81 1223.14 1.24 208.81 84.33 125.76
time (sec) N/A 0.125 0.146 0.005 1.002 1.159 0.345 1.221
Problem 193 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 20 20 18 5596 24 1118 469 670
normalized size 1 1. 0.9 279.8 1.2 55.9 23.45 33.5
time (sec) N/A 0.052 0.026 0.003 1.001 1.205 0.164 1.173
Problem 194 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 19 19 18 5596 595 1118 469 670
normalized size 1 1. 0.95 294.53 31.32 58.84 24.68 35.26
time (sec) N/A 0.069 0.011 0.002 0.979 1.124 0.154 1.143
Problem 195 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B A B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 127 2185 19 1071 483 656
normalized size 1 1. 7.94 136.56 1.19 66.94 30.19 41.
time (sec) N/A 0.024 0.057 0.002 0.987 1.175 0.151 1.213
Problem 196 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B A B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 15 15 98 89 18 197 97 119
normalized size 1 1. 6.53 5.93 1.2 13.13 6.47 7.93
time (sec) N/A 0.013 0.003 0.002 1.01 1.126 0.089 1.19
Problem 197 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 98 89 119 197 97 119
normalized size 1 1. 6.12 5.56 7.44 12.31 6.06 7.44
time (sec) N/A 0.028 0.002 0. 0.986 1.208 0.083 1.323
Problem 198 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B A B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 18 18 115 2205 22 1085 484 659
normalized size 1 1. 6.39 122.5 1.22 60.28 26.89 36.61
time (sec) N/A 0.044 0.053 0.002 0.985 1.136 0.152 1.211
Problem 199 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B A B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 98 89 20 198 97 119
normalized size 1 1. 5.76 5.24 1.18 11.65 5.71 7.
time (sec) N/A 0.025 0.003 0.002 0.978 1.131 0.091 1.31
Problem 200 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 14 14 98 89 119 198 97 119
normalized size 1 1. 7. 6.36 8.5 14.14 6.93 8.5
time (sec) N/A 0.227 0.003 0.003 0.974 1.077 0.092 1.274
Problem 201 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 14 14 98 89 119 198 97 119
normalized size 1 1. 7. 6.36 8.5 14.14 6.93 8.5
time (sec) N/A 0.011 0.003 0.003 0.982 1.069 0.094 1.28
Problem 202 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 18 18 115 2205 618 1085 484 659
normalized size 1 1. 6.39 122.5 34.33 60.28 26.89 36.61
time (sec) N/A 0.06 0.011 0.002 0.996 1.042 0.152 1.197
Problem 203 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 14 14 98 89 119 198 97 119
normalized size 1 1. 7. 6.36 8.5 14.14 6.93 8.5
time (sec) N/A 0.022 0.003 0.001 1.158 1.08 0.089 1.183
Problem 204 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 18 18 98 89 119 198 97 119
normalized size 1 1. 5.44 4.94 6.61 11. 5.39 6.61
time (sec) N/A 0.019 0.003 0.003 1.012 1.039 0.088 1.197
Problem 205 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 14 14 98 89 119 198 97 119
normalized size 1 1. 7. 6.36 8.5 14.14 6.93 8.5
time (sec) N/A 0.002 0.002 0.002 1.038 1.068 0.082 1.21
Problem 206 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 28 28 80 67 89 158 70 89
normalized size 1 1. 2.86 2.39 3.18 5.64 2.5 3.18
time (sec) N/A 0.027 0.005 0.002 1.009 1.11 0.081 1.236
Problem 207 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 31 31 108 325 252 470 194 281
normalized size 1 1. 3.48 10.48 8.13 15.16 6.26 9.06
time (sec) N/A 0.031 0.034 0.002 1.021 1.14 0.107 1.173
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 34 34 34 31 70 112 230 41
normalized size 1 1. 1. 0.91 2.06 3.29 6.76 1.21
time (sec) N/A 0.008 0.055 0.003 1.696 1.393 87.108 1.128
Problem 209 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 35 35 35 33 73 126 0 107
normalized size 1 1. 1. 0.94 2.09 3.6 0. 3.06
time (sec) N/A 0.009 0.054 0.003 1.665 1.378 0. 1.211
Problem 210 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 30 30 93 78 104 197 87 104
normalized size 1 1. 3.1 2.6 3.47 6.57 2.9 3.47
time (sec) N/A 0.02 0.006 0.002 1.01 1.114 0.09 1.222
Problem 211 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 31 31 140 618 378 710 314 393
normalized size 1 1. 4.52 19.94 12.19 22.9 10.13 12.68
time (sec) N/A 0.038 0.046 0.002 1.069 1.167 0.13 1.238
Problem 212 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 34 34 98 81 108 213 90 108
normalized size 1 1. 2.88 2.38 3.18 6.26 2.65 3.18
time (sec) N/A 0.033 0.008 0.003 0.975 1.229 0.095 1.172
Problem 213 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 146 646 390 747 321 402
normalized size 1 1. 3.56 15.76 9.51 18.22 7.83 9.8
time (sec) N/A 0.045 0.05 0.002 0.988 1.123 0.146 1.201
Problem 214 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 46 46 244 1523 390 782 323 417
normalized size 1 1. 5.3 33.11 8.48 17. 7.02 9.07
time (sec) N/A 0.047 0.062 0.002 1.056 1.099 0.146 1.182
Problem 215 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 47 47 248 4284 1044 2256 930 1253
normalized size 1 1. 5.28 91.15 22.21 48. 19.79 26.66
time (sec) N/A 0.091 0.117 0.003 1.013 1.062 0.236 1.218
Problem 216 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 34 34 36 31 73 112 201 41
normalized size 1 1. 1.06 0.91 2.15 3.29 5.91 1.21
time (sec) N/A 0.009 0.062 0.001 1.651 1.354 175.955 1.178
Problem 217 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 44 44 42 37 96 131 0 49
normalized size 1 1. 0.95 0.84 2.18 2.98 0. 1.11
time (sec) N/A 0.01 0.083 0.003 1.701 1.395 0. 1.15
Problem 218 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 50 50 49 43 112 171 0 57
normalized size 1 1. 0.98 0.86 2.24 3.42 0. 1.14
time (sec) N/A 0.009 0.188 0.003 1.736 1.373 0. 1.196
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 19 19 33 30 23 70 29 39
normalized size 1 1. 1.74 1.58 1.21 3.68 1.53 2.05
time (sec) N/A 0.009 0.002 0.001 1.052 1.118 0.058 1.198
Problem 220 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 21 18 19 42 17 23
normalized size 1 1. 1.31 1.12 1.19 2.62 1.06 1.44
time (sec) N/A 0.007 0.001 0.001 0.985 1.108 0.054 1.196
Problem 221 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A B B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 33 96 96 87 116 263 94 116
normalized size 1 2.91 2.91 2.64 3.52 7.97 2.85 3.52
time (sec) N/A 0.198 0.006 0.002 0.993 1.146 0.075 1.227
Problem 222 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A B B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 33 96 96 87 116 263 94 116
normalized size 1 2.91 2.91 2.64 3.52 7.97 2.85 3.52
time (sec) N/A 0.154 0.005 0.001 0.986 1.123 0.083 1.262
Problem 223 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 14 14 14 13 16 151 56 16
normalized size 1 1. 1. 0.93 1.14 10.79 4. 1.14
time (sec) N/A 0.008 0.005 0.001 1.021 1.307 0.208 1.237
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 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.005 0.003 1.011 1.256 0.084 1.184
Problem 225 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.01 0.006 0. 1.071 1.19 0.095 1.125
Problem 226 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 23 28 31 50 19 32
normalized size 1 1. 0.57 0.7 0.78 1.25 0.48 0.8
time (sec) N/A 0.097 0.062 0.009 1.054 1.247 30.034 1.899
Problem 227 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 605 605 98 2105 0 0 0 0
normalized size 1 1. 0.16 3.48 0. 0. 0. 0.
time (sec) N/A 4.535 0.075 0.047 0. 0. 0. 0.
Problem 228 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 55 82 0 193 58 78
normalized size 1 1. 0.87 1.3 0. 3.06 0.92 1.24
time (sec) N/A 0.066 0.027 0.024 0. 1.483 0.114 1.201
Problem 229 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 13 30 97 20 18
normalized size 1 1. 1. 0.93 2.14 6.93 1.43 1.29
time (sec) N/A 0.05 0.007 0.006 1.049 1.494 0.092 1.164
Problem 230 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 24 27 43 119 29 31
normalized size 1 1. 0.86 0.96 1.54 4.25 1.04 1.11
time (sec) N/A 0.028 0.012 0.005 1.008 1.494 0.104 1.283
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 59 59 28 30 51 86 34 38
normalized size 1 1. 0.47 0.51 0.86 1.46 0.58 0.64
time (sec) N/A 0.091 0.012 0.006 1.011 1.207 0.181 1.195
Problem 232 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 11 11 11 41 15 24 8 15
normalized size 1 1. 1. 3.73 1.36 2.18 0.73 1.36
time (sec) N/A 0.007 0.007 0.009 1.022 1.351 0.119 1.244
Problem 233 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A B A A A B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 91 205 132 116 154 585 272 181
normalized size 1 2.25 1.45 1.27 1.69 6.43 2.99 1.99
time (sec) N/A 0.149 0.089 0.016 1.515 1.318 1.041 1.238
Problem 234 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 23 26 59 85 0 134
normalized size 1 1. 0.92 1.04 2.36 3.4 0. 5.36
time (sec) N/A 0.025 0.336 0.007 1.381 3.317 0. 1.617
Problem 235 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 23 23 21 24 53 82 0 120
normalized size 1 1. 0.91 1.04 2.3 3.57 0. 5.22
time (sec) N/A 0.082 0.234 0.008 1.326 1.684 0. 1.788
Problem 236 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 23 23 21 24 53 82 0 120
normalized size 1 1. 0.91 1.04 2.3 3.57 0. 5.22
time (sec) N/A 0.059 0.178 0.006 1.204 1.424 0. 1.366
Problem 237 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 21 21 19 22 50 80 0 117
normalized size 1 1. 0.9 1.05 2.38 3.81 0. 5.57
time (sec) N/A 0.044 0.12 0.006 1.216 1.465 0. 1.286
Problem 238 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 19 19 17 20 45 74 0 0
normalized size 1 1. 0.89 1.05 2.37 3.89 0. 0.
time (sec) N/A 0.043 0.01 0.004 1.294 1.42 0. 0.
Problem 239 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 23 23 21 24 49 77 0 0
normalized size 1 1. 0.91 1.04 2.13 3.35 0. 0.
time (sec) N/A 0.034 0.175 0.004 1.276 1.61 0. 0.
Problem 240 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 23 23 21 24 49 80 0 0
normalized size 1 1. 0.91 1.04 2.13 3.48 0. 0.
time (sec) N/A 0.035 0.182 0.007 1.314 1.824 0. 0.
Problem 241 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 23 23 21 24 49 80 0 0
normalized size 1 1. 0.91 1.04 2.13 3.48 0. 0.
time (sec) N/A 0.036 0.213 0.005 1.322 2.043 0. 0.
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 97 97 83 74 99 262 97 99
normalized size 1 1. 0.86 0.76 1.02 2.7 1. 1.02
time (sec) N/A 0.138 0.037 0.007 1.5 1.235 0.213 1.138
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 90 90 78 69 92 246 92 92
normalized size 1 1. 0.87 0.77 1.02 2.73 1.02 1.02
time (sec) N/A 0.123 0.023 0.006 1.55 1.402 0.21 1.217
Problem 244 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 77 77 72 62 82 220 78 82
normalized size 1 1. 0.94 0.81 1.06 2.86 1.01 1.06
time (sec) N/A 0.121 0.03 0.004 1.645 1.507 0.204 1.202
Problem 245 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 72 72 69 57 76 212 75 76
normalized size 1 1. 0.96 0.79 1.06 2.94 1.04 1.06
time (sec) N/A 0.093 0.022 0.005 1.628 1.387 0.2 1.243
Problem 246 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 71 71 65 56 74 205 75 74
normalized size 1 1. 0.92 0.79 1.04 2.89 1.06 1.04
time (sec) N/A 0.078 0.017 0.005 1.473 1.431 0.195 1.192
Problem 247 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 75 75 69 60 80 220 78 81
normalized size 1 1. 0.92 0.8 1.07 2.93 1.04 1.08
time (sec) N/A 0.135 0.02 0.006 1.504 1.491 0.25 1.234
Problem 248 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 84 84 78 65 86 250 87 88
normalized size 1 1. 0.93 0.77 1.02 2.98 1.04 1.05
time (sec) N/A 0.152 0.033 0.007 1.511 1.41 0.276 1.198
Problem 249 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 91 91 82 70 93 281 94 95
normalized size 1 1. 0.9 0.77 1.02 3.09 1.03 1.04
time (sec) N/A 0.157 0.055 0.008 1.488 1.305 0.289 1.133
Problem 250 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F B A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 307 307 109 74 0 5511 61 0
normalized size 1 1. 0.36 0.24 0. 17.95 0.2 0.
time (sec) N/A 0.578 0.019 0.007 0. 9.7 0.802 0.
Problem 251 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F B A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 269 269 101 67 0 5019 53 0
normalized size 1 1. 0.38 0.25 0. 18.66 0.2 0.
time (sec) N/A 0.392 0.016 0.006 0. 9.302 0.725 0.
Problem 252 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F B A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 230 230 94 62 0 4852 48 0
normalized size 1 1. 0.41 0.27 0. 21.1 0.21 0.
time (sec) N/A 0.357 0.014 0.004 0. 9.299 0.731 0.
Problem 253 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F B A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 198 198 90 58 0 4867 46 0
normalized size 1 1. 0.45 0.29 0. 24.58 0.23 0.
time (sec) N/A 0.194 0.013 0.005 0. 9.758 0.717 0.
Problem 254 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F B B F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 245 245 101 67 0 5003 6967 0
normalized size 1 1. 0.41 0.27 0. 20.42 28.44 0.
time (sec) N/A 0.473 0.017 0.008 0. 9.442 14.651 0.
Problem 255 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F B A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 281 281 109 72 0 5700 65 0
normalized size 1 1. 0.39 0.26 0. 20.28 0.23 0.
time (sec) N/A 0.467 0.019 0.008 0. 9.749 2.415 0.
Problem 256 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F B A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 317 317 116 77 0 6164 70 0
normalized size 1 1. 0.37 0.24 0. 19.44 0.22 0.
time (sec) N/A 0.539 0.018 0.008 0. 9.78 1.673 0.
Problem 257 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F B C B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 19 19 87 75 0 171 44 117
normalized size 1 1. 4.58 3.95 0. 9. 2.32 6.16
time (sec) N/A 0.105 0.045 0.107 0. 1.416 1.048 3.987
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 43 43 57 34 45 144 36 46
normalized size 1 1. 1.33 0.79 1.05 3.35 0.84 1.07
time (sec) N/A 0.067 0.023 0.01 1.537 1.47 0.154 1.142
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 17 17 17 16 20 49 14 24
normalized size 1 1. 1. 0.94 1.18 2.88 0.82 1.41
time (sec) N/A 0.037 0.005 0.006 0.975 1.443 0.116 1.412
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 25 25 25 22 28 68 20 32
normalized size 1 1. 1. 0.88 1.12 2.72 0.8 1.28
time (sec) N/A 0.037 0.005 0.007 0.989 1.398 0.116 1.145
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 22 22 20 19 24 73 14 38
normalized size 1 1. 0.91 0.86 1.09 3.32 0.64 1.73
time (sec) N/A 0.013 0.01 0.007 0.986 1.227 0.102 1.172
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 27 27 38 22 28 76 26 30
normalized size 1 1. 1.41 0.81 1.04 2.81 0.96 1.11
time (sec) N/A 0.039 0.011 0.006 1.519 1.516 0.126 1.149
Problem 263 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 46 15 23
normalized size 1 1. 1. 0.86 1.1 2.19 0.71 1.1
time (sec) N/A 0.015 0.004 0.001 1.474 1.437 0.077 1.099
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 27 27 27 24 31 72 22 31
normalized size 1 1. 1. 0.89 1.15 2.67 0.81 1.15
time (sec) N/A 0.026 0.007 0.004 1.495 1.402 0.098 1.193
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 39 39 39 26 34 96 26 39
normalized size 1 1. 1. 0.67 0.87 2.46 0.67 1.
time (sec) N/A 0.02 0.006 0.007 0.975 1.263 0.211 1.161
Problem 266 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 23 19 24 49 17 26
normalized size 1 1. 1.05 0.86 1.09 2.23 0.77 1.18
time (sec) N/A 0.015 0.004 0.003 0.984 1.369 0.071 1.123
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 15 15 15 14 18 39 14 18
normalized size 1 1. 1. 0.93 1.2 2.6 0.93 1.2
time (sec) N/A 0.029 0.005 0.003 1.528 1.507 0.084 1.151
Problem 268 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 12 12 24 21 27 80 17 30
normalized size 1 1. 2. 1.75 2.25 6.67 1.42 2.5
time (sec) N/A 0.021 0.011 0.007 0.986 1.223 0.093 1.118
Problem 269 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 22 28 63 19 31
normalized size 1 1. 1. 0.88 1.12 2.52 0.76 1.24
time (sec) N/A 0.036 0.006 0.007 1.02 1.261 0.095 1.206
Problem 270 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 41 10 15
normalized size 1 1. 1. 0.92 1.15 3.15 0.77 1.15
time (sec) N/A 0.028 0.007 0.003 1.504 1.345 0.104 1.11
Problem 271 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 35 31 47 150 36 41
normalized size 1 1. 1. 0.89 1.34 4.29 1.03 1.17
time (sec) N/A 0.034 0.017 0.008 1.495 1.442 0.136 1.158
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 23 23 23 18 23 57 17 27
normalized size 1 1. 1. 0.78 1. 2.48 0.74 1.17
time (sec) N/A 0.037 0.006 0.007 0.97 1.348 0.123 1.112
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 23 23 23 20 26 58 19 27
normalized size 1 1. 1. 0.87 1.13 2.52 0.83 1.17
time (sec) N/A 0.054 0.007 0.004 0.994 1.445 0.099 1.383
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 29 29 25 24 31 90 20 31
normalized size 1 1. 0.86 0.83 1.07 3.1 0.69 1.07
time (sec) N/A 0.014 0.011 0.006 1.489 1.458 0.111 1.112
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 44 44 44 42 55 186 49 58
normalized size 1 1. 1. 0.95 1.25 4.23 1.11 1.32
time (sec) N/A 0.243 0.025 0.008 1.485 1.416 0.187 1.21
Problem 276 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 41 51 132 51 51
normalized size 1 1. 1. 0.89 1.11 2.87 1.11 1.11
time (sec) N/A 0.133 0.02 0.006 1.516 1.301 0.187 1.139
Problem 277 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 33 33 33 34 59 186 39 59
normalized size 1 1. 1. 1.03 1.79 5.64 1.18 1.79
time (sec) N/A 0.166 0.019 0.01 1.054 1.372 0.177 1.117
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 17 17 17 12 15 49 10 15
normalized size 1 1. 1. 0.71 0.88 2.88 0.59 0.88
time (sec) N/A 0.007 0.006 0.006 1.607 1.461 0.124 1.126
Problem 279 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 24 24 22 21 27 62 34 27
normalized size 1 1. 0.92 0.88 1.12 2.58 1.42 1.12
time (sec) N/A 0.018 0.009 0.003 1.506 1.51 0.305 1.294
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 15 15 23 18 23 62 17 27
normalized size 1 1. 1.53 1.2 1.53 4.13 1.13 1.8
time (sec) N/A 0.06 0.006 0.008 1.49 1.665 0.123 1.262
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 20 20 20 18 23 62 19 23
normalized size 1 1. 1. 0.9 1.15 3.1 0.95 1.15
time (sec) N/A 0.012 0.009 0.006 1.544 1.67 0.133 1.089
Problem 282 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 37 37 33 28 36 138 29 81
normalized size 1 1. 0.89 0.76 0.97 3.73 0.78 2.19
time (sec) N/A 0.04 0.023 0.005 1.513 1.609 0.144 1.168
Problem 283 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 22 28 69 26 28
normalized size 1 1. 1. 0.85 1.08 2.65 1. 1.08
time (sec) N/A 0.011 0.008 0.003 1.459 1.633 0.087 1.223
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 12 12 12 11 14 43 10 15
normalized size 1 1. 1. 0.92 1.17 3.58 0.83 1.25
time (sec) N/A 0.032 0.004 0.004 0.99 1.515 0.091 1.132
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 21 21 21 18 23 54 15 27
normalized size 1 1. 1. 0.86 1.1 2.57 0.71 1.29
time (sec) N/A 0.03 0.007 0.007 0.993 1.57 0.118 1.316
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 22 22 22 21 27 95 17 27
normalized size 1 1. 1. 0.95 1.23 4.32 0.77 1.23
time (sec) N/A 0.015 0.008 0.003 1.463 1.516 0.103 1.206
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 24 24 24 21 27 92 19 27
normalized size 1 1. 1. 0.88 1.12 3.83 0.79 1.12
time (sec) N/A 0.016 0.01 0.005 1.511 1.594 0.112 1.137
Problem 288 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 34 45 113 39 45
normalized size 1 1. 1. 0.94 1.25 3.14 1.08 1.25
time (sec) N/A 0.026 0.015 0.003 1.452 1.51 0.167 1.189
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 37 37 37 28 36 100 29 36
normalized size 1 1. 1. 0.76 0.97 2.7 0.78 0.97
time (sec) N/A 0.024 0.008 0.004 1.466 1.556 0.153 1.235
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 29 29 29 22 28 69 22 31
normalized size 1 1. 1. 0.76 0.97 2.38 0.76 1.07
time (sec) N/A 0.017 0.006 0.006 1.074 1.496 0.102 1.134
Problem 291 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 16 20 43 14 22
normalized size 1 1. 1. 0.84 1.05 2.26 0.74 1.16
time (sec) N/A 0.013 0.004 0.001 0.962 1.438 0.075 1.177
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 41 41 41 35 46 112 46 46
normalized size 1 1. 1. 0.85 1.12 2.73 1.12 1.12
time (sec) N/A 0.028 0.016 0.003 1.483 1.463 0.104 1.234
Problem 293 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 39 32 42 95 34 42
normalized size 1 1. 0.95 0.78 1.02 2.32 0.83 1.02
time (sec) N/A 0.028 0.01 0.004 1.458 1.562 0.111 1.121
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 30 30 24 21 27 73 24 31
normalized size 1 1. 0.8 0.7 0.9 2.43 0.8 1.03
time (sec) N/A 0.058 0.012 0.007 0.968 1.539 0.135 1.126
Problem 295 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 35 28 36 90 31 41
normalized size 1 1. 1. 0.8 1.03 2.57 0.89 1.17
time (sec) N/A 0.04 0.01 0.008 0.963 1.531 0.132 1.124
Problem 296 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 32 25 32 112 27 46
normalized size 1 1. 0.94 0.74 0.94 3.29 0.79 1.35
time (sec) N/A 0.057 0.017 0.007 0.985 1.537 0.133 1.153
Problem 297 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 35 45 130 36 45
normalized size 1 1. 1. 0.83 1.07 3.1 0.86 1.07
time (sec) N/A 0.021 0.036 0.007 1.464 1.476 0.122 1.149
Problem 298 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 49 38 50 163 46 50
normalized size 1 1. 1. 0.78 1.02 3.33 0.94 1.02
time (sec) N/A 0.157 0.014 0.007 1.473 1.672 0.196 1.121
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 29 29 29 20 26 70 24 30
normalized size 1 1. 1. 0.69 0.9 2.41 0.83 1.03
time (sec) N/A 0.053 0.007 0.009 0.972 1.561 0.13 1.154
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 46 46 43 34 45 115 41 46
normalized size 1 1. 0.93 0.74 0.98 2.5 0.89 1.
time (sec) N/A 0.044 0.016 0.004 1.477 1.529 0.127 1.222
Problem 301 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 14 15 19 49 10 20
normalized size 1 1. 0.88 0.94 1.19 3.06 0.62 1.25
time (sec) N/A 0.025 0.008 0.007 0.969 1.545 0.089 1.123
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 21 21 14 16 23 43 15 16
normalized size 1 1. 0.67 0.76 1.1 2.05 0.71 0.76
time (sec) N/A 0.019 0.003 0.004 0.998 1.459 0.084 1.131
Problem 303 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 15 16 31 51 19 41
normalized size 1 1. 1. 1.07 2.07 3.4 1.27 2.73
time (sec) N/A 0.027 0.012 0.004 0.971 1.478 0.111 1.114
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 31 31 31 29 38 103 3 39
normalized size 1 1. 1. 0.94 1.23 3.32 0.1 1.26
time (sec) N/A 0.042 0.012 0.005 1.47 1.536 0.116 1.142
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 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.007 0.007 0.985 1.626 0.124 1.162
Problem 306 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.007 1.004 1.897 0.092 1.159
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 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.493 1.837 0.122 1.154
Problem 308 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.476 0.044 0.012 1.726 1.746 0.462 1.145
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 33 33 30 28 34 97 24 34
normalized size 1 1. 0.91 0.85 1.03 2.94 0.73 1.03
time (sec) N/A 0.017 0.011 0.006 1.622 1.564 0.116 1.385
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 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.041 0.019 0.007 1.629 1.563 0.133 1.189
Problem 311 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.041 0.005 0.006 1.053 1.588 0.089 1.147
Problem 312 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.115 0.015 0.004 1.685 1.536 0.171 1.169
Problem 313 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.107 0.018 0.007 1.62 1.529 0.16 1.203
Problem 314 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.058 0.026 0.007 1.578 1.494 0.146 1.226
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 22 26 26 19 24 58 17 27
normalized size 1 1.18 1.18 0.86 1.09 2.64 0.77 1.23
time (sec) N/A 0.015 0.006 0.007 1.025 1.46 0.09 1.125
Problem 316 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.039 0.006 0.007 1.082 1.489 0.118 1.446
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 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.025 0.004 0.006 1.13 1.461 0.103 1.211
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 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 1.11 1.477 0.117 1.14
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 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.029 0.009 0.004 1.568 1.466 0.159 1.143
Problem 320 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.088 0.027 0.009 1.557 1.568 0.314 1.319
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 69 86 67 54 80 312 63 80
normalized size 1 1.25 0.97 0.78 1.16 4.52 0.91 1.16
time (sec) N/A 0.099 0.046 0.013 1.54 1.496 0.197 1.404
Problem 322 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 54 12 18
normalized size 1 1. 1. 0.82 1.06 3.18 0.71 1.06
time (sec) N/A 0.013 0.006 0.004 1.562 1.521 0.099 1.227
Problem 323 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 18 23 54 15 23
normalized size 1 1. 1. 0.95 1.21 2.84 0.79 1.21
time (sec) N/A 0.027 0.005 0.001 1.46 1.462 0.091 1.289
Problem 324 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 9 9 9 8 9 32 7 38
normalized size 1 1. 1. 0.89 1. 3.56 0.78 4.22
time (sec) N/A 0.075 0.006 0.004 1.589 1.605 0.122 1.225
Problem 325 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 38 12 16
normalized size 1 1. 1. 1.08 1.33 3.17 1. 1.33
time (sec) N/A 0.016 0.005 0.001 1.045 1.525 0.08 1.121
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 65 65 58 41 69 182 99 74
normalized size 1 1. 0.89 0.63 1.06 2.8 1.52 1.14
time (sec) N/A 0.062 0.037 0.007 1.673 1.499 0.497 1.203
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 28 28 28 29 38 123 24 38
normalized size 1 1. 1. 1.04 1.36 4.39 0.86 1.36
time (sec) N/A 0.022 0.01 0.004 1.68 1.543 0.121 1.224
Problem 328 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 74 29 35
normalized size 1 1. 1. 0.84 1.09 2.31 0.91 1.09
time (sec) N/A 0.04 0.024 0.003 1.718 1.442 0.09 1.431
Problem 329 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 41 39 24 31 84 26 36
normalized size 1 1.32 1.26 0.77 1. 2.71 0.84 1.16
time (sec) N/A 0.049 0.007 0.007 1.004 1.468 0.17 1.125
Problem 330 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 23 30 74 19 31
normalized size 1 1. 1. 0.96 1.25 3.08 0.79 1.29
time (sec) N/A 0.167 0.009 0.007 1.486 1.461 0.142 1.131
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 23 19 32 90 20 26
normalized size 1 1. 1. 0.83 1.39 3.91 0.87 1.13
time (sec) N/A 0.025 0.011 0.004 1.67 1.468 0.123 1.183
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 23 23 23 19 32 90 20 26
normalized size 1 1. 1. 0.83 1.39 3.91 0.87 1.13
time (sec) N/A 0.039 0.005 0.005 1.496 1.459 0.123 1.153
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 13 13 13 14 18 38 10 18
normalized size 1 1. 1. 1.08 1.38 2.92 0.77 1.38
time (sec) N/A 0.049 0.006 0.003 1.032 1.431 0.093 1.14
Problem 334 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) C A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 206 206 193 236 0 9873 138 302
normalized size 1 1. 0.94 1.15 0. 47.93 0.67 1.47
time (sec) N/A 0.274 0.116 0.006 0. 9.598 1.303 1.192
Problem 335 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 45 45 45 41 0 132 44 51
normalized size 1 1. 1. 0.91 0. 2.93 0.98 1.13
time (sec) N/A 0.067 0.025 0.008 0. 1.483 0.148 1.117
Problem 336 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 59 59 44 41 0 180 46 57
normalized size 1 1. 0.75 0.69 0. 3.05 0.78 0.97
time (sec) N/A 0.064 0.021 0.009 0. 1.54 0.182 1.11
Problem 337 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F(-1) F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 209 209 234 616 0 0 0 9341
normalized size 1 1. 1.12 2.95 0. 0. 0. 44.69
time (sec) N/A 0.371 0.255 0.044 0. 0. 0. 3.1
Problem 338 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F(-1) F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 224 224 245 633 0 0 0 9196
normalized size 1 1. 1.09 2.83 0. 0. 0. 41.05
time (sec) N/A 0.389 0.269 0.027 0. 0. 0. 3.069
Problem 339 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A B F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 56 56 56 57 81 128 190 0
normalized size 1 1. 1. 1.02 1.45 2.29 3.39 0.
time (sec) N/A 0.047 0.035 0.005 1.235 1.457 1.041 0.
Problem 340 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 96 96 73 87 0 354 1355 115
normalized size 1 1. 0.76 0.91 0. 3.69 14.11 1.2
time (sec) N/A 0.108 0.042 0.007 0. 1.771 7.01 1.187
Problem 341 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) C F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 264 264 228 336 0 11777 0 432
normalized size 1 1. 0.86 1.27 0. 44.61 0. 1.64
time (sec) N/A 0.472 0.095 0.006 0. 10.988 0. 1.205
Problem 342 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) F(-1) F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 417 417 370 422 0 0 0 575
normalized size 1 1. 0.89 1.01 0. 0. 0. 1.38
time (sec) N/A 0.547 0.25 0.013 0. 0. 0. 1.203
Problem 343 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 24 21 27 80 19 28
normalized size 1 1. 1.5 1.31 1.69 5. 1.19 1.75
time (sec) N/A 0.008 0.009 0.006 1.54 1.408 0.1 1.151
Problem 344 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 19 19 27 24 31 90 20 41
normalized size 1 1. 1.42 1.26 1.63 4.74 1.05 2.16
time (sec) N/A 0.013 0.011 0.008 1.171 1.438 0.11 1.129
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 97 97 85 90 101 320 92 104
normalized size 1 1. 0.88 0.93 1.04 3.3 0.95 1.07
time (sec) N/A 0.071 0.047 0.012 1.87 1.513 0.329 1.159
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 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.106 0.008 0.004 1.919 1.472 0.109 1.15
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 13 13 13 12 15 41 10 15
normalized size 1 1. 1. 0.92 1.15 3.15 0.77 1.15
time (sec) N/A 0.094 0.007 0.005 2.283 1.416 0.105 1.135
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 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.118 0.014 0.004 2.14 1.449 0.165 1.327
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 14 14 14 15 19 51 10 19
normalized size 1 1. 1. 1.07 1.36 3.64 0.71 1.36
time (sec) N/A 0.011 0.009 0.005 2.365 1.478 0.123 1.168
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 12 12 12 11 14 30 7 15
normalized size 1 1. 1. 0.92 1.17 2.5 0.58 1.25
time (sec) N/A 0.011 0.003 0.005 0.983 1.427 0.084 1.143
Problem 351 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 10 12 35 8 14
normalized size 1 1. 1. 0.91 1.09 3.18 0.73 1.27
time (sec) N/A 0.034 0.005 0.005 1.532 1.475 0.114 1.157
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 12 12 12 11 14 32 8 15
normalized size 1 1. 1. 0.92 1.17 2.67 0.67 1.25
time (sec) N/A 0.021 0.003 0.006 1.1 1.46 0.084 1.163
Problem 353 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 39 12 19
normalized size 1 1. 1. 1.08 1.33 3.25 1. 1.58
time (sec) N/A 0.018 0.003 0.004 1.008 1.448 0.093 1.225
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 17 17 17 16 20 55 15 22
normalized size 1 1. 1. 0.94 1.18 3.24 0.88 1.29
time (sec) N/A 0.037 0.005 0.004 1.497 1.785 0.115 1.129
Problem 355 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 39 10 19
normalized size 1 1. 1. 1.08 1.38 3. 0.77 1.46
time (sec) N/A 0.035 0.009 0.006 1.678 1.781 0.116 1.118
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 28 28 22 21 27 82 20 30
normalized size 1 1. 0.79 0.75 0.96 2.93 0.71 1.07
time (sec) N/A 0.011 0.014 0.008 1.018 1.721 0.104 1.154
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 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.018 0.007 1.059 1.737 0.122 1.114
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 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.034 0.008 0.005 1.644 1.778 0.121 1.248
Problem 359 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.035 0.015 0.007 1.554 1.408 0.124 1.124
Problem 360 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 49 40 53 146 44 53
normalized size 1 1. 1. 0.82 1.08 2.98 0.9 1.08
time (sec) N/A 0.142 0.015 0.005 1.702 1.51 0.198 1.114
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 25 25 19 20 26 62 19 30
normalized size 1 1. 0.76 0.8 1.04 2.48 0.76 1.2
time (sec) N/A 0.055 0.008 0.005 1.165 1.518 0.133 1.134
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 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.246 0.056 0.01 1.651 1.547 0.225 1.097
Problem 363 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 10 12 18 5 12
normalized size 1 1. 1. 0.91 1.09 1.64 0.45 1.09
time (sec) N/A 0.007 0. 0. 1.105 1.369 0.054 1.137
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 29 29 29 22 28 68 22 31
normalized size 1 1. 1. 0.76 0.97 2.34 0.76 1.07
time (sec) N/A 0.016 0.005 0.006 1.05 1.433 0.096 1.102
Problem 365 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 45 37 50 165 37 50
normalized size 1 1. 1. 0.82 1.11 3.67 0.82 1.11
time (sec) N/A 0.025 0.012 0.006 1.655 1.41 0.128 1.112
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 32 32 32 29 38 158 29 39
normalized size 1 1. 1. 0.91 1.19 4.94 0.91 1.22
time (sec) N/A 0.254 0.018 0.009 1.634 1.513 0.222 1.158
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 148 148 159 110 178 635 146 165
normalized size 1 1. 1.07 0.74 1.2 4.29 0.99 1.11
time (sec) N/A 0.136 0.069 0.012 1.682 1.587 0.42 1.34
Problem 368 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A C A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 112 112 101 79 134 2269 61 124
normalized size 1 1. 0.9 0.71 1.2 20.26 0.54 1.11
time (sec) N/A 0.114 0.051 0.006 1.714 9.765 0.782 1.281
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 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.016 0.003 0.004 1.097 1.412 0.089 1.198
Problem 370 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 34 8 16
normalized size 1 1. 1. 0.92 1.17 2.83 0.67 1.33
time (sec) N/A 0.029 0.004 0.005 1.055 1.715 0.089 1.122
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 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.03 0.004 0.006 1.097 1.725 0.097 1.111
Problem 372 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 47 14 23
normalized size 1 1. 1. 0.94 1.18 2.76 0.82 1.35
time (sec) N/A 0.029 0.004 0.004 1.063 1.161 0.09 1.15
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 18 18 18 17 22 66 15 31
normalized size 1 1. 1. 0.94 1.22 3.67 0.83 1.72
time (sec) N/A 0.03 0.005 0.005 1.659 1.228 0.097 1.129
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 10 10 10 11 14 41 7 15
normalized size 1 1. 1. 1.1 1.4 4.1 0.7 1.5
time (sec) N/A 0.019 0.005 0.005 1.096 1.184 0.081 1.145
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 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.04 0.007 0.009 1.13 1.264 0.131 1.132
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 46 46 46 41 51 132 51 51
normalized size 1 1. 1. 0.89 1.11 2.87 1.11 1.11
time (sec) N/A 0.125 0.017 0. 1.679 1.223 0.182 1.086
Problem 377 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 16 20 47 14 23
normalized size 1 1. 1. 0.84 1.05 2.47 0.74 1.21
time (sec) N/A 0.062 0.003 0.006 1.086 1.239 0.099 1.159
Problem 378 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 40 31 41 108 34 43
normalized size 1 1. 1. 0.78 1.02 2.7 0.85 1.08
time (sec) N/A 0.021 0.005 0.006 1.291 1.185 0.107 1.13
Problem 379 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 26 34 85 27 36
normalized size 1 1. 1. 0.79 1.03 2.58 0.82 1.09
time (sec) N/A 0.02 0.004 0.005 1.02 1.248 0.106 1.246
Problem 380 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 66 20 30
normalized size 1 1. 1. 0.81 1.04 2.54 0.77 1.15
time (sec) N/A 0.015 0.004 0.007 1.049 1.148 0.106 1.285
Problem 381 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 54 17 26
normalized size 1 1. 1. 0.86 1.1 2.57 0.81 1.24
time (sec) N/A 0.007 0.003 0.006 0.999 1.258 0.099 1.159
Problem 382 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 15 26
normalized size 1 1. 1. 0.86 1.1 2.38 0.71 1.24
time (sec) N/A 0.01 0.003 0.004 1.009 1.252 0.096 1.103
Problem 383 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 27 22 28 70 24 32
normalized size 1 1. 1. 0.81 1.04 2.59 0.89 1.19
time (sec) N/A 0.016 0.004 0.006 0.998 1.222 0.127 1.14
Problem 384 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 34 27 35 90 31 39
normalized size 1 1. 1. 0.79 1.03 2.65 0.91 1.15
time (sec) N/A 0.03 0.004 0.006 1. 1.263 0.143 1.122
Problem 385 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 32 42 117 36 46
normalized size 1 1. 1. 0.78 1.02 2.85 0.88 1.12
time (sec) N/A 0.034 0.005 0.008 0.981 1.258 0.153 1.145
Problem 386 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 37 49 138 41 53
normalized size 1 1. 1. 0.77 1.02 2.88 0.85 1.1
time (sec) N/A 0.041 0.005 0.007 1.009 1.3 0.161 1.246
Problem 387 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F B A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 157 157 61 54 0 4887 41 0
normalized size 1 1. 0.39 0.34 0. 31.13 0.26 0.
time (sec) N/A 0.168 0.017 0.009 0. 8.713 0.206 0.
Problem 388 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F B A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 157 157 61 56 0 4898 41 0
normalized size 1 1. 0.39 0.36 0. 31.2 0.26 0.
time (sec) N/A 0.112 0.018 0.009 0. 8.615 0.202 0.
Problem 389 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F B A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 188 188 61 54 0 8759 39 0
normalized size 1 1. 0.32 0.29 0. 46.59 0.21 0.
time (sec) N/A 0.276 0.013 0.007 0. 9.791 0.189 0.
Problem 390 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F B A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 188 188 61 56 0 8735 39 0
normalized size 1 1. 0.32 0.3 0. 46.46 0.21 0.
time (sec) N/A 0.156 0.013 0.006 0. 7.331 0.188 0.
Problem 391 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F(-1) A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 663 663 63 69 0 0 133 0
normalized size 1 1. 0.1 0.1 0. 0. 0.2 0.
time (sec) N/A 1.108 0.038 0.072 0. 0. 2.988 0.
Problem 392 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F(-1) A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 663 663 63 69 0 0 133 0
normalized size 1 1. 0.1 0.1 0. 0. 0.2 0.
time (sec) N/A 0.648 0.032 0.002 0. 0. 3.01 0.
Problem 393 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A F C C F C A F
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 168 0 95 67 0 14804 42 0
normalized size 1 0. 0.57 0.4 0. 88.12 0.25 0.
time (sec) N/A 0.38 0.068 0.253 0. 10.243 1.671 0.
Problem 394 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) F(-1) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 320 320 322 314 0 0 384 420
normalized size 1 1. 1.01 0.98 0. 0. 1.2 1.31
time (sec) N/A 0.256 0.242 0.009 0. 0. 3.697 1.201
Problem 395 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) F(-1) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 291 291 243 292 0 0 277 385
normalized size 1 1. 0.84 1. 0. 0. 0.95 1.32
time (sec) N/A 0.198 0.103 0.003 0. 0. 2.561 1.115
Problem 396 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) F(-1) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 219 219 184 151 0 0 124 290
normalized size 1 1. 0.84 0.69 0. 0. 0.57 1.32
time (sec) N/A 0.174 0.058 0.003 0. 0. 0.791 1.182
Problem 397 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 185 185 134 128 0 306 20 242
normalized size 1 1. 0.72 0.69 0. 1.65 0.11 1.31
time (sec) N/A 0.098 0.018 0.002 0. 1.413 0.145 1.21
Problem 398 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) F(-1) F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 416 416 404 433 0 0 0 517
normalized size 1 1. 0.97 1.04 0. 0. 0. 1.24
time (sec) N/A 0.428 0.153 0.007 0. 0. 0. 1.179
Problem 399 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) F(-1) F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 552 552 524 866 0 0 0 0
normalized size 1 1. 0.95 1.57 0. 0. 0. 0.
time (sec) N/A 0.808 0.706 0.01 0. 0. 0. 0.
Problem 400 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F(-1) F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 680 680 738 1201 0 0 0 1266
normalized size 1 1. 1.09 1.77 0. 0. 0. 1.86
time (sec) N/A 0.95 0.986 0.013 0. 0. 0. 1.602
Problem 401 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) F(-1) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 349 349 347 390 0 0 350 462
normalized size 1 1. 0.99 1.12 0. 0. 1. 1.32
time (sec) N/A 0.298 0.386 0.005 0. 0. 6.909 1.277
Problem 402 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) F(-1) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 322 322 321 362 0 0 318 436
normalized size 1 1. 1. 1.12 0. 0. 0.99 1.35
time (sec) N/A 0.269 0.325 0.004 0. 0. 3.24 1.159
Problem 403 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) F(-1) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 241 241 224 188 0 0 155 325
normalized size 1 1. 0.93 0.78 0. 0. 0.64 1.35
time (sec) N/A 0.189 0.199 0.004 0. 0. 1.284 1.111
Problem 404 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 202 202 183 143 0 414 39 262
normalized size 1 1. 0.91 0.71 0. 2.05 0.19 1.3
time (sec) N/A 0.116 0.107 0.004 0. 0.996 0.469 1.119
Problem 405 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) F(-1) F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 855 855 558 1122 0 0 0 1038
normalized size 1 1. 0.65 1.31 0. 0. 0. 1.21
time (sec) N/A 0.849 0.422 0.025 0. 0. 0. 1.297
Problem 406 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) F(-1) F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 1141 1141 807 1636 0 0 0 0
normalized size 1 1. 0.71 1.43 0. 0. 0. 0.
time (sec) N/A 1.659 0.983 0.022 0. 0. 0. 0.
Problem 407 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) F(-1) F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 1384 1384 996 2121 0 0 0 1993
normalized size 1 1. 0.72 1.53 0. 0. 0. 1.44
time (sec) N/A 1.963 1.414 0.026 0. 0. 0. 1.705
Problem 408 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) F(-1) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 394 394 388 470 0 0 413 525
normalized size 1 1. 0.98 1.19 0. 0. 1.05 1.33
time (sec) N/A 0.346 0.356 0.006 0. 0. 9.529 1.211
Problem 409 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) F(-1) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 360 360 358 419 0 0 374 481
normalized size 1 1. 0.99 1.16 0. 0. 1.04 1.34
time (sec) N/A 0.326 0.298 0.005 0. 0. 4.518 1.261
Problem 410 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) F(-1) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 266 266 249 222 0 0 192 351
normalized size 1 1. 0.94 0.83 0. 0. 0.72 1.32
time (sec) N/A 0.249 0.191 0.006 0. 0. 2.3 1.217
Problem 411 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 219 219 200 158 0 545 63 275
normalized size 1 1. 0.91 0.72 0. 2.49 0.29 1.26
time (sec) N/A 0.142 0.084 0.004 0. 1.014 1.226 1.149
Problem 412 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) F(-1) F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 1352 1352 835 2098 0 0 0 1705
normalized size 1 1. 0.62 1.55 0. 0. 0. 1.26
time (sec) N/A 1.412 0.763 0.023 0. 0. 0. 1.37
Problem 413 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) F(-1) F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 1830 1830 1115 2769 0 0 0 0
normalized size 1 1. 0.61 1.51 0. 0. 0. 0.
time (sec) N/A 2.781 1.693 0.027 0. 0. 0. 0.
Problem 414 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) F(-1) F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 2204 2204 1338 3334 0 0 0 2869
normalized size 1 1. 0.61 1.51 0. 0. 0. 1.3
time (sec) N/A 3.165 3.048 0.035 0. 0. 0. 1.833
Problem 415 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 33 29 38 90 34 38
normalized size 1 1. 1.03 0.91 1.19 2.81 1.06 1.19
time (sec) N/A 0.019 0.009 0.003 1.465 1.443 0.101 1.113
Problem 416 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 33 29 38 90 34 38
normalized size 1 1. 1.03 0.91 1.19 2.81 1.06 1.19
time (sec) N/A 0.029 0.005 0.003 1.451 1.406 0.102 1.13
Problem 417 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 31 29 35 90 36 35
normalized size 1 1. 0.97 0.91 1.09 2.81 1.12 1.09
time (sec) N/A 0.017 0.009 0.003 1.457 0.985 0.104 1.114
Problem 418 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 31 29 35 90 36 35
normalized size 1 1. 0.97 0.91 1.09 2.81 1.12 1.09
time (sec) N/A 0.035 0.005 0.001 1.462 0.976 0.108 1.135
Problem 419 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 42 29 47 128 39 59
normalized size 1 1. 0.93 0.64 1.04 2.84 0.87 1.31
time (sec) N/A 0.012 0.02 0.003 1.484 0.983 0.101 1.134
Problem 420 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 42 29 47 128 39 59
normalized size 1 1. 0.93 0.64 1.04 2.84 0.87 1.31
time (sec) N/A 0.021 0.005 0.003 1.459 0.959 0.108 1.116
Problem 421 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 6 6 23 18 23 51 15 20
normalized size 1 1. 3.83 3. 3.83 8.5 2.5 3.33
time (sec) N/A 0.002 0.003 0.004 0.958 0.967 0.084 1.131
Problem 422 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 18 23 51 15 26
normalized size 1 1. 1.1 0.86 1.1 2.43 0.71 1.24
time (sec) N/A 0.004 0.002 0.003 0.965 0.965 0.089 1.115
Problem 423 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 11 10 12 53 22 12
normalized size 1 1. 0.85 0.77 0.92 4.08 1.69 0.92
time (sec) N/A 0.002 0.002 0.002 0.952 0.924 0.121 1.121
Problem 424 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A B A B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 13 81 11 58 77 53 22 77
normalized size 1 6.23 0.85 4.46 5.92 4.08 1.69 5.92
time (sec) N/A 0.012 0.002 0.003 0.965 1.011 0.277 1.103
Problem 425 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 69 69 78 67 89 232 85 92
normalized size 1 1. 1.13 0.97 1.29 3.36 1.23 1.33
time (sec) N/A 0.111 0.014 0.01 1.517 1.028 0.221 1.115
Problem 426 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 69 69 78 67 89 232 85 92
normalized size 1 1. 1.13 0.97 1.29 3.36 1.23 1.33
time (sec) N/A 0.124 0.006 0.002 1.46 0.986 0.227 1.107
Problem 427 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 31 21 27 55 20 28
normalized size 1 1. 1.29 0.88 1.12 2.29 0.83 1.17
time (sec) N/A 0.019 0.006 0.003 1.043 0.966 0.073 1.16
Problem 428 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 1.014 0.964 0.07 1.085
Problem 429 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 22 16 20 45 15 20
normalized size 1 1. 1.29 0.94 1.18 2.65 0.88 1.18
time (sec) N/A 0.006 0. 0.002 0.969 0.901 0.053 1.136
Problem 430 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 20 27 45 15 27
normalized size 1 1. 0.92 0.83 1.12 1.88 0.62 1.12
time (sec) N/A 0.005 0.001 0. 0.985 0.878 0.054 1.107
Problem 431 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 24 23 30 76 20 31
normalized size 1 1. 1.09 1.05 1.36 3.45 0.91 1.41
time (sec) N/A 0.019 0.005 0.006 1.482 1. 0.117 1.106
Problem 432 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 27 16 20 51 15 24
normalized size 1 1. 1.59 0.94 1.18 3. 0.88 1.41
time (sec) N/A 0.013 0.004 0.007 0.974 1.015 0.117 1.106
Problem 433 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 42 12 22
normalized size 1 1. 1. 0.74 0.95 2.21 0.63 1.16
time (sec) N/A 0.021 0.004 0.004 1.054 0.96 0.087 1.108
Problem 434 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 17 11 14 27 8 20
normalized size 1 1. 1.42 0.92 1.17 2.25 0.67 1.67
time (sec) N/A 0.006 0.003 0.002 0.993 0.948 0.083 1.112
Problem 435 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 11 11 14 24 8 22
normalized size 1 1. 1.1 1.1 1.4 2.4 0.8 2.2
time (sec) N/A 0.009 0.006 0.002 0.965 0.978 0.274 1.098
Problem 436 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 53 15 24
normalized size 1 1. 1. 0.94 1.18 3.12 0.88 1.41
time (sec) N/A 0.018 0.006 0.004 0.972 0.999 0.111 1.186
Problem 437 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 63 17 24
normalized size 1 1. 1. 0.78 1. 2.74 0.74 1.04
time (sec) N/A 0.021 0.004 0.004 1.461 1.015 0.114 1.145
Problem 438 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.004 0.002 0.962 0.97 0.086 1.112
Problem 439 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 61 20 27
normalized size 1 1. 1. 0.86 1.1 2.9 0.95 1.29
time (sec) N/A 0.021 0.005 0.006 0.975 0.963 0.118 1.107
Problem 440 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 9 14 12 19 7 12
normalized size 1 1. 0.9 1.4 1.2 1.9 0.7 1.2
time (sec) N/A 0.01 0.005 0.004 0.977 0.941 0.081 1.102
Problem 441 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 18 23 66 20 27
normalized size 1 1. 1. 0.72 0.92 2.64 0.8 1.08
time (sec) N/A 0.021 0.005 0.005 0.962 0.977 0.12 1.16
Problem 442 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 43 12 19
normalized size 1 1. 1. 1.07 1.36 3.07 0.86 1.36
time (sec) N/A 0.025 0.004 0.001 1.47 0.976 0.093 1.136
Problem 443 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 13 13 14 30 15 35 17 15
normalized size 1 1. 1.08 2.31 1.15 2.69 1.31 1.15
time (sec) N/A 0.007 0.007 0.01 0.968 0.937 0.131 1.206
Problem 444 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 32 35 54 20 36
normalized size 1 1. 0.96 1.23 1.35 2.08 0.77 1.38
time (sec) N/A 0.045 0.008 0.003 0.964 0.962 0.301 1.13
Problem 445 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 6 6 4 5 5 16 3 7
normalized size 1 1. 0.67 0.83 0.83 2.67 0.5 1.17
time (sec) N/A 0.008 0.001 0. 1.005 0.955 0.058 1.104
Problem 446 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 27 68 19 36
normalized size 1 1. 1. 0.95 1.35 3.4 0.95 1.8
time (sec) N/A 0.015 0.005 0.006 0.982 0.969 0.098 1.116
Problem 447 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 40 28 36 96 31 38
normalized size 1 1. 1.05 0.74 0.95 2.53 0.82 1.
time (sec) N/A 0.025 0.01 0.007 1.481 0.985 0.126 1.122
Problem 448 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 18 16 20 41 14 22
normalized size 1 1. 1.06 0.94 1.18 2.41 0.82 1.29
time (sec) N/A 0.008 0.003 0.002 0.969 0.964 0.07 1.131
Problem 449 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 36 22 28 80 22 30
normalized size 1 1. 1.16 0.71 0.9 2.58 0.71 0.97
time (sec) N/A 0.012 0.005 0.004 1.478 1.005 0.138 1.111
Problem 450 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 16 23 47 17 23
normalized size 1 1. 1. 0.84 1.21 2.47 0.89 1.21
time (sec) N/A 0.017 0.006 0.005 0.981 0.967 0.107 1.144
Problem 451 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 9 9 12 28 8 15
normalized size 1 1. 0.82 0.82 1.09 2.55 0.73 1.36
time (sec) N/A 0.005 0.004 0.001 1.001 0.974 0.084 1.123
Problem 452 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 53 14 16
normalized size 1 1. 1. 0.72 0.89 2.94 0.78 0.89
time (sec) N/A 0.014 0.009 0.006 1.505 1.008 0.128 1.139
Problem 453 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 46 46 44 39 62 239 46 70
normalized size 1 1. 0.96 0.85 1.35 5.2 1. 1.52
time (sec) N/A 0.023 0.016 0.01 1.024 0.989 0.176 1.154
Problem 454 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.002 0.971 0.935 0.072 1.147
Problem 455 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 21 21 27 28 31 90 20 34
normalized size 1 1. 1.29 1.33 1.48 4.29 0.95 1.62
time (sec) N/A 0.003 0.007 0.008 1.063 0.952 0.1 1.187
Problem 456 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 16 20 55 12 20
normalized size 1 1. 1. 0.84 1.05 2.89 0.63 1.05
time (sec) N/A 0.004 0.008 0.004 1.567 0.949 0.093 1.223
Problem 457 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 9 11 24 7 12
normalized size 1 1. 1. 0.9 1.1 2.4 0.7 1.2
time (sec) N/A 0.001 0.001 0. 1.133 1.192 0.052 1.234
Problem 458 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 10 10 10 11 14 20 20 14
normalized size 1 1. 1. 1.1 1.4 2. 2. 1.4
time (sec) N/A 0.003 0.002 0.003 1.682 1.319 0.102 1.202
Problem 459 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 24 24 24 16 0 151 53 20
normalized size 1 1. 1. 0.67 0. 6.29 2.21 0.83
time (sec) N/A 0.007 0.004 0.002 0. 1.288 0.121 1.109
Problem 460 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 17 22 58 26 22
normalized size 1 1. 1. 0.89 1.16 3.05 1.37 1.16
time (sec) N/A 0.011 0.006 0.003 1.602 1.23 0.097 1.12
Problem 461 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 41 17 22
normalized size 1 1. 1. 0.77 1. 1.86 0.77 1.
time (sec) N/A 0.007 0.001 0. 1.041 1.114 0.052 1.12
Problem 462 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 39 15 22
normalized size 1 1. 1. 0.77 1. 1.77 0.68 1.
time (sec) N/A 0.005 0.001 0. 1.104 1.039 0.052 1.105
Problem 463 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 35 10 19
normalized size 1 1. 1. 0.94 1.19 2.19 0.62 1.19
time (sec) N/A 0.005 0.001 0.003 1.043 1.203 0.066 1.109
Problem 464 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 37 31 41 97 39 41
normalized size 1 1. 1. 0.84 1.11 2.62 1.05 1.11
time (sec) N/A 0.021 0.01 0.004 1.523 1.159 0.106 1.083
Problem 465 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 28 10 16
normalized size 1 1. 1. 0.93 1.14 2. 0.71 1.14
time (sec) N/A 0.004 0. 0.001 1.048 1.011 0.049 1.126
Problem 466 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 10 12 20 7 12
normalized size 1 1. 1. 0.91 1.09 1.82 0.64 1.09
time (sec) N/A 0.004 0. 0. 1.054 1.138 0.054 1.106
Problem 467 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 70 20 27
normalized size 1 1. 1. 0.8 1.04 2.8 0.8 1.08
time (sec) N/A 0.01 0.006 0.004 1.606 1.362 0.117 1.153
Problem 468 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.01 0.006 0.005 1.62 1.177 0.113 1.106
Problem 469 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.017 0.006 0.004 1.657 1.278 0.109 1.118
Problem 470 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 7 7 8 9 31 5 11
normalized size 1 0.78 0.78 0.89 1. 3.44 0.56 1.22
time (sec) N/A 0.006 0.003 0.003 1.135 1.172 0.07 1.146
Problem 471 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 65 20 22
normalized size 1 1. 1. 0.77 1. 2.95 0.91 1.
time (sec) N/A 0.011 0.012 0.007 1.647 1.274 0.133 1.107
Problem 472 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 37 31 41 104 44 41
normalized size 1 1. 1. 0.84 1.11 2.81 1.19 1.11
time (sec) N/A 0.022 0.014 0.004 1.656 1.169 0.112 1.139
Problem 473 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 20 49 14 22
normalized size 1 1. 1. 0.93 1.33 3.27 0.93 1.47
time (sec) N/A 0.004 0.002 0.006 1.108 1.19 0.084 1.163
Problem 474 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 41 10 19
normalized size 1 1. 1. 0.93 1.2 2.73 0.67 1.27
time (sec) N/A 0.004 0.001 0.006 1.094 1.208 0.07 1.15
Problem 475 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.011 0.003 0.004 1.082 1.249 0.088 1.126
Problem 476 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 19 18 23 41 17 23
normalized size 1 1. 0.86 0.82 1.05 1.86 0.77 1.05
time (sec) N/A 0.004 0.001 0. 1.116 1.13 0.051 1.143
Problem 477 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 11 11 11 10 26 47 19 12
normalized size 1 1. 1. 0.91 2.36 4.27 1.73 1.09
time (sec) N/A 0.001 0.001 0.002 1.109 1.061 0.053 1.102
Problem 478 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 16 14 18 35 12 19
normalized size 1 1. 1.23 1.08 1.38 2.69 0.92 1.46
time (sec) N/A 0.01 0.003 0.002 1.152 1.222 0.071 1.121
Problem 479 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 50 14 22
normalized size 1 1. 1. 0.94 1.19 3.12 0.88 1.38
time (sec) N/A 0.006 0.002 0.006 1.114 1.209 0.093 1.082
Problem 480 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 26 24 34 99 22 36
normalized size 1 1. 0.96 0.89 1.26 3.67 0.81 1.33
time (sec) N/A 0.011 0.014 0.009 1.085 1.236 0.101 1.084
Problem 481 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 18 16 20 38 12 22
normalized size 1 1. 1.06 0.94 1.18 2.24 0.71 1.29
time (sec) N/A 0.008 0.003 0.001 1.092 1.209 0.069 1.096
Problem 482 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 51 15 23
normalized size 1 1. 1. 0.94 1.22 2.83 0.83 1.28
time (sec) N/A 0.006 0.001 0.004 1.09 1.293 0.074 1.11
Problem 483 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A F(-2) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 18 18 18 28 19 0 14 19
normalized size 1 1. 1. 1.56 1.06 0. 0.78 1.06
time (sec) N/A 0.01 0.001 0. 1.642 0. 0.052 1.129
Problem 484 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 23 23 23 22 46 117 31 34
normalized size 1 1. 1. 0.96 2. 5.09 1.35 1.48
time (sec) N/A 0.018 0.01 0.005 1.097 1.197 0.105 1.134
Problem 485 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 12 13 16 50 10 43
normalized size 1 1. 0.75 0.81 1. 3.12 0.62 2.69
time (sec) N/A 0.012 0.006 0.003 1.693 1.232 0.102 1.124
Problem 486 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 30 26 34 65 24 35
normalized size 1 1. 1.03 0.9 1.17 2.24 0.83 1.21
time (sec) N/A 0.02 0.008 0.003 1.322 0.943 0.075 1.092
Problem 487 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 31 10 16
normalized size 1 1. 1. 0.81 1. 1.94 0.62 1.
time (sec) N/A 0.006 0. 0.001 1.264 0.945 0.056 1.075
Problem 488 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 23 72 14 16
normalized size 1 1. 1. 0.94 1.35 4.24 0.82 0.94
time (sec) N/A 0.015 0.012 0.005 1.833 0.935 0.115 1.186
Problem 489 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 47 47 47 43 0 431 151 65
normalized size 1 1. 1. 0.91 0. 9.17 3.21 1.38
time (sec) N/A 0.066 0.025 0.006 0. 1.026 0.268 1.152
Problem 490 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 57 57 61 61 0 547 294 81
normalized size 1 1. 1.07 1.07 0. 9.6 5.16 1.42
time (sec) N/A 0.082 0.028 0.006 0. 1.024 0.323 1.196
Problem 491 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 188 188 39 308 0 771 24 0
normalized size 1 1. 0.21 1.64 0. 4.1 0.13 0.
time (sec) N/A 0.189 0.031 0.077 0. 1.085 0.458 0.
Problem 492 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 27 28 88 147 61 41
normalized size 1 1. 0.45 0.47 1.47 2.45 1.02 0.68
time (sec) N/A 0.136 0.015 0.009 1.671 0.938 0.244 1.127
Problem 493 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A F A C B B B F
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 27 0 27 250 88 147 61 0
normalized size 1 0. 1. 9.26 3.26 5.44 2.26 0.
time (sec) N/A 0.311 0.009 0.024 1.324 0.923 0.317 0.
Problem 494 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A F A B B B B B
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 27 0 27 112 88 147 61 150
normalized size 1 0. 1. 4.15 3.26 5.44 2.26 5.56
time (sec) N/A 0.433 0.011 0.016 1.312 0.94 0.286 1.146

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 [412] had the largest ratio of [ 0.8824 ]

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 3 2 1. 24 0.083
2 A 3 3 1. 29 0.103
3 A 2 2 1. 29 0.069
4 A 2 2 1. 29 0.069
5 A 1 0 1. 27 0.
6 A 2 2 1. 29 0.069
7 A 2 2 1. 29 0.069
8 A 2 2 1. 29 0.069
9 A 3 2 1. 27 0.074
10 A 3 2 1. 27 0.074
11 A 1 0 1. 25 0.
12 A 7 7 1. 27 0.259
13 A 8 8 1. 27 0.296
14 A 9 8 1. 27 0.296
15 A 3 2 1. 46 0.043
16 A 3 2 1. 46 0.043
17 A 1 0 1. 44 0.
18 A 2 1 1. 46 0.022
19 A 2 1 1. 46 0.022
20 A 2 1 1. 46 0.022
21 A 5 4 1. 11 0.364
22 A 5 4 1. 17 0.235
23 A 2 2 1. 7 0.286
24 A 3 2 1. 13 0.154
25 A 5 5 1. 11 0.454
26 A 7 7 1. 16 0.438
27 A 6 6 1. 9 0.667
28 A 2 2 1. 7 0.286
29 A 3 3 1. 13 0.231
30 A 3 3 1.11 11 0.273
31 A 3 3 1. 16 0.188
32 A 2 2 1.26 9 0.222
33 A 3 2 1. 29 0.069
34 A 2 1 1. 29 0.034
35 A 2 1 1. 29 0.034
36 A 1 0 1. 27 0.
37 A 10 6 1. 29 0.207
38 A 11 7 1. 29 0.241
39 A 3 2 1. 32 0.062
40 A 2 1 1. 32 0.031
41 A 2 1 1. 32 0.031
42 A 1 0 1. 30 0.
43 A 4 3 1. 32 0.094
44 A 5 4 1. 32 0.125
45 A 2 1 1. 17 0.059
46 A 2 1 1. 17 0.059
47 A 2 1 1. 17 0.059
48 A 1 0 1. 15 0.
49 A 16 9 1. 17 0.529
50 A 18 11 1. 17 0.647
51 A 2 1 1. 17 0.059
52 A 2 1 1. 17 0.059
53 A 2 1 1. 17 0.059
54 A 1 0 1. 15 0.
55 A 15 9 1. 17 0.529
56 A 17 11 1. 17 0.647
57 A 2 1 1. 22 0.045
58 A 2 1 1. 22 0.045
59 A 2 1 1. 22 0.045
60 A 1 0 1. 20 0.
61 A 16 9 1. 22 0.409
62 A 18 11 1. 22 0.5
63 A 2 2 1. 51 0.039
64 A 2 2 1. 51 0.039
65 B 1 0 4.36 49 0.
66 A 2 2 1. 51 0.039
67 A 2 2 1. 51 0.039
68 A 2 2 1. 51 0.039
69 A 6 5 1. 13 0.385
70 A 5 3 1. 19 0.158
71 A 5 3 1. 19 0.158
72 A 5 3 1. 19 0.158
73 A 1 0 1. 17 0.
74 A 5 2 1. 19 0.105
75 A 7 3 1. 19 0.158
76 A 10 3 1. 19 0.158
77 B 15 7 2.25 17 0.412
78 A 6 5 1. 15 0.333
79 A 6 5 1. 15 0.333
80 A 4 4 1. 13 0.308
81 A 2 2 1. 11 0.182
82 A 6 6 1. 15 0.4
83 A 7 6 1. 15 0.4
84 A 7 6 1. 15 0.4
85 A 2 2 1. 13 0.154
86 A 3 3 1. 13 0.231
87 A 4 3 1. 13 0.231
88 A 2 2 1. 19 0.105
89 A 2 2 1. 11 0.182
90 A 3 3 1. 11 0.273
91 A 4 3 1. 11 0.273
92 A 2 2 1. 13 0.154
93 A 3 3 1. 13 0.231
94 A 4 3 1. 13 0.231
95 A 2 2 1. 11 0.182
96 A 3 3 1. 11 0.273
97 A 4 3 1. 11 0.273
98 A 3 2 1. 15 0.133
99 A 4 3 1. 13 0.231
100 A 4 4 1. 17 0.235
101 A 4 4 1. 19 0.21
102 A 4 4 1. 17 0.235
103 A 11 10 1. 17 0.588
104 A 9 9 1. 17 0.529
105 A 7 7 1. 15 0.467
106 A 7 7 1. 13 0.538
107 A 11 10 1.06 17 0.588
108 A 11 10 0.99 17 0.588
109 A 11 10 1. 17 0.588
110 A 16 12 1. 17 0.706
111 A 14 10 1. 17 0.588
112 A 14 10 1. 15 0.667
113 A 10 7 1. 13 0.538
114 A 18 13 1. 17 0.765
115 A 18 13 1. 17 0.765
116 A 3 2 1. 22 0.091
117 A 2 1 1. 22 0.045
118 A 2 1 1. 22 0.045
119 A 1 0 1. 20 0.
120 A 4 3 1. 22 0.136
121 A 5 4 1. 22 0.182
122 A 6 5 1. 22 0.227
123 A 2 1 1. 24 0.042
124 A 2 1 1. 24 0.042
125 A 2 1 1. 24 0.042
126 A 2 1 1. 22 0.045
127 A 8 7 1. 24 0.292
128 A 10 9 1. 24 0.375
129 A 12 10 1. 24 0.417
130 A 2 1 1. 26 0.038
131 A 2 1 1. 26 0.038
132 A 2 1 1. 26 0.038
133 A 2 1 1. 24 0.042
134 A 9 8 1. 26 0.308
135 A 11 10 1. 26 0.385
136 A 14 5 1. 46 0.109
137 A 14 5 1. 46 0.109
138 A 8 3 1. 46 0.065
139 A 14 5 1. 44 0.114
140 A 14 5 1. 42 0.119
141 A 14 5 1. 46 0.109
142 A 14 5 0.99 46 0.109
143 A 14 6 1. 26 0.231
144 A 14 6 1. 26 0.231
145 A 14 6 1. 26 0.231
146 A 8 4 1. 26 0.154
147 A 14 6 1. 24 0.25
148 A 14 6 1. 22 0.273
149 A 14 6 1. 26 0.231
150 A 14 6 1. 26 0.231
151 A 23 7 1. 26 0.269
152 A 23 7 1. 26 0.269
153 A 14 6 1. 26 0.231
154 A 17 5 1. 26 0.192
155 A 23 7 1. 26 0.269
156 A 23 7 1. 26 0.269
157 A 23 7 1. 26 0.269
158 A 2 1 1. 52 0.019
159 A 4 3 1. 52 0.058
160 A 1 1 1. 18 0.056
161 A 3 3 1. 23 0.13
162 A 3 3 1. 23 0.13
163 A 3 3 1. 29 0.103
164 A 1 1 1. 18 0.056
165 A 4 3 1. 20 0.15
166 A 4 3 1. 20 0.15
167 A 4 3 1. 22 0.136
168 A 1 1 1. 18 0.056
169 A 3 3 1. 23 0.13
170 A 3 3 1. 23 0.13
171 A 3 3 1. 29 0.103
172 A 1 1 1. 18 0.056
173 A 1 1 1. 25 0.04
174 C 7 3 4.3 38 0.079
175 A 1 1 1. 27 0.037
176 A 1 1 1. 31 0.032
177 A 2 1 1. 54 0.019
178 A 3 1 1. 54 0.019
179 A 5 4 1. 54 0.074
180 A 1 1 1. 30 0.033
181 A 1 1 1. 29 0.034
182 A 1 1 1. 28 0.036
183 A 1 1 1. 21 0.048
184 A 1 1 1. 20 0.05
185 A 1 1 1. 21 0.048
186 A 1 1 1. 26 0.038
187 A 1 1 1. 25 0.04
188 A 2 2 1. 26 0.077
189 A 1 1 1. 24 0.042
190 A 1 1 1. 24 0.042
191 A 1 1 1. 23 0.043
192 A 1 1 1. 30 0.033
193 A 1 1 1. 29 0.034
194 A 1 1 1. 28 0.036
195 A 1 1 1. 21 0.048
196 A 1 1 1. 20 0.05
197 A 2 2 1. 21 0.095
198 A 1 1 1. 26 0.038
199 A 1 1 1. 25 0.04
200 A 2 2 1. 26 0.077
201 A 1 1 1. 22 0.045
202 A 1 1 1. 24 0.042
203 A 2 2 1. 23 0.087
204 A 1 1 1. 23 0.043
205 A 1 1 1. 19 0.053
206 A 2 1 1. 22 0.045
207 A 2 1 1. 23 0.043
208 A 2 1 1. 22 0.045
209 A 2 1 1. 23 0.043
210 A 2 1 1. 24 0.042
211 A 2 1 1. 25 0.04
212 A 2 1 1. 31 0.032
213 A 2 1 1. 32 0.031
214 A 2 1 1. 35 0.029
215 A 2 1 1. 36 0.028
216 A 2 1 1. 24 0.042
217 A 2 1 1. 31 0.032
218 A 2 1 1. 35 0.029
219 A 1 1 1. 22 0.045
220 A 1 1 1. 18 0.056
221 B 3 2 2.91 26 0.077
222 B 2 1 2.91 28 0.036
223 A 1 1 1. 18 0.056
224 A 1 1 1. 20 0.05
225 A 1 1 1. 21 0.048
226 A 3 3 1. 52 0.058
227 A 9 5 1. 38 0.132
228 A 3 2 1. 32 0.062
229 A 4 3 1. 33 0.091
230 A 3 2 1. 34 0.059
231 A 6 6 1. 43 0.14
232 A 1 1 1. 16 0.062
233 B 15 7 2.25 25 0.28
234 A 1 1 1. 56 0.018
235 A 1 1 1. 51 0.02
236 A 1 1 1. 49 0.02
237 A 1 1 1. 46 0.022
238 A 2 2 1. 48 0.042
239 A 1 1 1. 49 0.02
240 A 1 1 1. 48 0.021
241 A 1 1 1. 48 0.021
242 A 10 5 1. 35 0.143
243 A 10 5 1. 35 0.143
244 A 10 5 1. 35 0.143
245 A 10 5 1. 33 0.152
246 A 10 5 1. 32 0.156
247 A 13 6 1. 35 0.171
248 A 13 6 1. 35 0.171
249 A 13 6 1. 35 0.171
250 A 13 6 1. 35 0.171
251 A 13 6 1. 35 0.171
252 A 11 6 1. 33 0.182
253 A 9 5 1. 32 0.156
254 A 13 6 1. 35 0.171
255 A 13 6 1. 35 0.171
256 A 13 6 1. 35 0.171
257 A 2 2 1. 40 0.05
258 A 6 5 1. 20 0.25
259 A 3 2 1. 20 0.1
260 A 3 2 1. 20 0.1
261 A 2 1 1. 16 0.062
262 A 5 4 1. 22 0.182
263 A 3 2 1. 21 0.095
264 A 6 5 1. 26 0.192
265 A 2 1 1. 20 0.05
266 A 2 1 1. 11 0.091
267 A 4 3 1. 22 0.136
268 A 3 2 1. 21 0.095
269 A 3 2 1. 25 0.08
270 A 6 6 1. 22 0.273
271 A 5 5 1. 31 0.161
272 A 3 2 1. 21 0.095
273 A 4 3 1. 33 0.091
274 A 4 4 1. 14 0.286
275 A 7 6 1. 33 0.182
276 A 7 6 1. 29 0.207
277 A 6 5 1. 44 0.114
278 A 3 2 1. 15 0.133
279 A 5 4 1. 15 0.267
280 A 4 3 1. 18 0.167
281 A 3 2 1. 20 0.1
282 A 5 4 1. 26 0.154
283 A 3 2 1. 13 0.154
284 A 3 2 1. 18 0.111
285 A 2 1 1. 26 0.038
286 A 5 5 1. 19 0.263
287 A 5 5 1. 24 0.208
288 A 8 6 1. 20 0.3
289 A 8 6 1. 18 0.333
290 A 5 3 1. 19 0.158
291 A 4 3 1. 13 0.231
292 A 6 5 1. 22 0.227
293 A 6 5 1. 24 0.208
294 A 2 1 1. 29 0.034
295 A 2 1 1. 30 0.033
296 A 2 1 1. 19 0.053
297 A 4 4 1. 16 0.25
298 A 10 5 1. 36 0.139
299 A 2 1 1. 21 0.048
300 A 5 4 1. 16 0.25
301 A 2 1 1. 24 0.042
302 A 2 1 1. 21 0.048
303 A 2 1 1. 24 0.042
304 A 6 5 1. 26 0.192
305 A 3 2 1. 25 0.08
306 A 2 1 1. 29 0.034
307 A 6 5 1. 20 0.25
308 A 14 10 1. 32 0.312
309 A 4 4 1. 23 0.174
310 A 6 5 1. 26 0.192
311 A 4 3 1. 26 0.115
312 A 8 4 1. 25 0.16
313 A 6 3 1. 23 0.13
314 A 7 6 1. 23 0.261
315 A 5 3 1.18 20 0.15
316 A 3 2 1. 25 0.08
317 A 3 2 1. 22 0.091
318 A 2 1 1. 24 0.042
319 A 7 6 1. 24 0.25
320 A 6 5 1. 43 0.116
321 A 7 5 1.25 50 0.1
322 A 3 2 1. 16 0.125
323 A 6 5 1. 15 0.333
324 A 5 4 1. 20 0.2
325 A 3 2 1. 24 0.083
326 A 5 3 1. 27 0.111
327 A 5 5 1. 26 0.192
328 A 3 2 1. 16 0.125
329 A 11 8 1.32 22 0.364
330 A 5 4 1. 24 0.167
331 A 4 3 1. 26 0.115
332 A 5 3 1. 36 0.083
333 A 4 3 1. 26 0.115
334 A 10 9 1. 20 0.45
335 A 6 6 1. 27 0.222
336 A 7 7 1. 20 0.35
337 A 8 7 1. 25 0.28
338 A 8 7 1. 22 0.318
339 A 2 1 1. 18 0.056
340 A 5 4 1. 20 0.2
341 A 10 9 1. 20 0.45
342 A 16 12 1. 20 0.6
343 A 3 2 1. 14 0.143
344 A 2 2 1. 20 0.1
345 A 14 8 1. 20 0.4
346 A 4 3 1. 26 0.115
347 A 4 3 1. 24 0.125
348 A 6 4 1. 30 0.133
349 A 4 4 1. 21 0.19
350 A 2 1 1. 15 0.067
351 A 4 3 1. 18 0.167
352 A 3 2 1. 22 0.091
353 A 3 2 1. 16 0.125
354 A 6 5 1. 16 0.312
355 A 3 2 1. 25 0.08
356 A 3 2 1. 19 0.105
357 A 2 1 1. 23 0.043
358 A 5 4 1. 23 0.174
359 A 5 4 1. 21 0.19
360 A 10 6 1. 28 0.214
361 A 2 1 1. 24 0.042
362 A 6 5 1. 26 0.192
363 A 2 1 1. 14 0.071
364 A 5 3 1. 16 0.188
365 A 5 5 1. 16 0.312
366 A 7 5 1. 43 0.116
367 A 17 13 1. 26 0.5
368 A 18 13 1. 16 0.812
369 A 3 2 1. 15 0.133
370 A 3 2 1. 15 0.133
371 A 3 2 1. 17 0.118
372 A 3 2 1. 15 0.133
373 A 4 3 1. 15 0.2
374 A 4 3 1. 18 0.167
375 A 3 2 1. 20 0.1
376 A 7 6 1. 29 0.207
377 A 4 3 1. 22 0.136
378 A 6 4 1. 16 0.25
379 A 6 4 1. 16 0.25
380 A 5 4 1. 14 0.286
381 A 4 3 1. 12 0.25
382 A 4 3 1. 16 0.188
383 A 6 5 1. 16 0.312
384 A 4 3 1. 16 0.188
385 A 4 3 1. 16 0.188
386 A 4 3 1. 16 0.188
387 A 8 5 1. 17 0.294
388 A 8 5 1. 19 0.263
389 A 8 5 1. 15 0.333
390 A 8 5 1. 17 0.294
391 A 16 10 1. 23 0.435
392 A 17 10 1. 21 0.476
393 F 0 0 N/A 0 N/A
394 A 15 11 1. 17 0.647
395 A 13 9 1. 17 0.529
396 A 13 9 1. 15 0.6
397 A 9 6 1. 9 0.667
398 A 17 12 1. 17 0.706
399 A 17 12 1. 17 0.706
400 A 17 12 1. 17 0.706
401 A 16 12 1. 17 0.706
402 A 14 10 1. 17 0.588
403 A 14 10 1. 15 0.667
404 A 10 7 1. 9 0.778
405 A 31 14 1. 17 0.824
406 A 31 14 1. 17 0.824
407 A 31 14 1. 17 0.824
408 A 15 11 1. 17 0.647
409 A 15 10 1. 17 0.588
410 A 15 10 1. 15 0.667
411 A 11 7 1. 9 0.778
412 A 46 15 1. 17 0.882
413 A 46 15 1. 17 0.882
414 A 46 15 1. 17 0.882
415 A 4 4 1. 14 0.286
416 A 5 5 1. 13 0.385
417 A 4 4 1. 16 0.25
418 A 5 5 1. 18 0.278
419 A 3 2 1. 14 0.143
420 A 4 3 1. 16 0.188
421 A 2 2 1. 11 0.182
422 A 1 0 1. 17 0.
423 A 1 1 1. 11 0.091
424 B 1 0 6.23 73 0.
425 A 11 7 1. 13 0.538
426 A 13 9 1. 19 0.474
427 A 3 2 1. 15 0.133
428 A 3 2 1. 11 0.182
429 A 1 0 1. 11 0.
430 A 1 0 1. 11 0.
431 A 5 4 1. 16 0.25
432 A 2 1 1. 16 0.062
433 A 4 3 1. 15 0.2
434 A 1 1 1. 15 0.067
435 A 1 1 1. 20 0.05
436 A 3 2 1. 15 0.133
437 A 6 5 1. 13 0.385
438 A 1 1 1. 22 0.045
439 A 3 2 1. 18 0.111
440 A 3 3 1. 20 0.15
441 A 3 2 1. 16 0.125
442 A 6 6 1. 17 0.353
443 A 1 1 1. 17 0.059
444 A 4 3 1. 25 0.12
445 A 2 2 1. 20 0.1
446 A 3 2 1. 18 0.111
447 A 6 5 1. 15 0.333
448 A 2 1 1. 11 0.091
449 A 5 5 1. 13 0.385
450 A 3 2 1. 20 0.1
451 A 2 1 1. 16 0.062
452 A 4 3 1. 16 0.188
453 A 2 1 1. 16 0.062
454 A 1 1 1. 9 0.111
455 A 2 2 1. 7 0.286
456 A 2 2 1. 11 0.182
457 A 1 1 1. 7 0.143
458 A 1 1 1. 9 0.111
459 A 1 1 1. 9 0.111
460 A 2 2 1. 10 0.2
461 A 2 1 1. 13 0.077
462 A 2 1 1. 11 0.091
463 A 2 1 1. 14 0.071
464 A 4 4 1. 16 0.25
465 A 2 1 1. 7 0.143
466 A 2 1 1. 11 0.091
467 A 5 5 1. 13 0.385
468 A 5 5 1. 13 0.385
469 A 5 4 1. 14 0.286
470 A 2 1 0.78 13 0.077
471 A 3 2 1. 20 0.1
472 A 4 4 1. 18 0.222
473 A 2 1 1. 12 0.083
474 A 2 1 1. 10 0.1
475 A 3 2 1. 16 0.125
476 A 2 1 1. 11 0.091
477 A 1 1 1. 7 0.143
478 A 2 1 1. 15 0.067
479 A 2 1 1. 12 0.083
480 A 3 3 1. 16 0.188
481 A 2 1 1. 11 0.091
482 A 2 1 1. 17 0.059
483 A 2 1 1. 29 0.034
484 A 2 1 1. 18 0.056
485 A 3 2 1. 14 0.143
486 A 2 1 1. 24 0.042
487 A 2 1 1. 11 0.091
488 A 3 2 1. 18 0.111
489 A 3 3 1. 15 0.2
490 A 3 3 1. 16 0.188
491 A 10 7 1. 15 0.467
492 A 5 2 1. 50 0.04
493 F 0 0 N/A 0 N/A
494 F 0 0 N/A 0 N/A

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