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

Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336 }

B grade: { }

C grade: { }

F grade: { }

2.1.2 Mathematica

A grade: { 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 14, 15, 16, 18, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 239, 240, 241, 242, 243, 244, 245, 246, 248, 249, 250, 251, 252, 254, 255, 256, 259, 260, 261, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 276, 277, 278, 281, 282, 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, 326, 327, 330, 331, 333, 334 }

B grade: { 1, 75, 247, 262, 325, 328, 329 }

C grade: { 9, 13, 17, 21, 130, 143, 210, 253, 257, 258, 275, 279, 280, 283, 284, 332, 335, 336 }

F grade: { 238}

2.1.3 Maple

A grade: { 1, 2, 3, 4, 5, 6, 12, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 41, 42, 43, 44, 48, 49, 50, 51, 52, 53, 56, 57, 58, 59, 60, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 104, 105, 106, 111, 112, 113, 115, 117, 118, 121, 122, 123, 124, 134, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 159, 160, 161, 162, 163, 164, 171, 172, 173, 174, 175, 176, 177, 178, 182, 183, 184, 185, 186, 188, 190, 191, 192, 193, 194, 195, 196, 197, 198, 200, 201, 203, 204, 205, 207, 208, 209, 216, 217, 220, 221, 225, 226, 227, 232, 233, 238, 247, 248, 249, 250, 251, 256, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 277, 278, 281, 282, 285, 286, 287, 299, 300, 301, 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, 333, 334, 335, 336 }

B grade: { 7, 8, 9, 10, 11, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 26, 40, 45, 46, 47, 54, 55, 61, 79, 80, 81, 82, 83, 84, 85, 101, 102, 103, 107, 108, 109, 110, 114, 116, 119, 120, 125, 126, 127, 135, 136, 137, 152, 153, 154, 155, 156, 157, 158, 165, 166, 167, 168, 169, 170, 179, 180, 181, 187, 189, 199, 202, 206, 210, 211, 212, 218, 219, 224, 230, 231, 236, 237, 252, 253, 254, 255, 257, 262, 263 }

C grade: { 275, 276, 279, 280, 283, 284, 302 }

F grade: { 23, 128, 129, 130, 131, 132, 133, 213, 214, 215, 222, 223, 228, 229, 234, 235, 239, 240, 241, 242, 243, 244, 245, 246, 258, 259, 260, 261, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 329, 330, 331, 332 }

2.1.4 Maxima

A grade: { 1, 2, 4, 6, 24, 25, 26, 27, 28, 29, 30, 31, 32, 36, 42, 43, 44, 62, 63, 64, 65, 66, 71, 72, 73, 74, 75, 76, 77, 78, 93, 97, 117, 121, 122, 123, 124, 125, 126, 127, 134, 135, 136, 137, 140, 141, 142, 143, 145, 146, 147, 151, 153, 155, 158, 159, 171, 172, 174, 180, 182, 183, 185, 191, 192, 193, 200, 201, 216, 217, 220, 221, 225, 226, 227, 232, 233, 238, 239, 240, 241, 242, 243, 245, 247, 248, 250, 264, 265, 266, 267, 268, 269, 271, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 285, 286, 287, 292, 293, 294, 295, 296, 297, 300, 301, 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, 333, 334

B grade: { 3, 5, 33, 34, 35, 37, 38, 39, 40, 45, 46, 47, 48, 49, 50, 87, 88, 89, 90, 91, 92, 94, 95, 96, 98, 99, 100, 101, 102, 103, 138, 139, 144, 148, 149, 150, 152, 154, 156, 157, 160, 161, 162, 163, 164, 165, 167, 169, 176, 187, 188, 189, 190, 194, 195, 196, 237, 249, 251, 270, 272, 298 }

C grade: { 302 }

F grade: { 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 41, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 67, 68, 69, 70, 79, 80, 81, 82, 83, 84, 85, 86, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 118, 119, 120, 128, 129, 130, 131, 132, 133, 166, 168, 170, 173, 175, 177, 178, 179, 181, 184, 186, 197, 198, 199, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 218, 219, 222, 223, 224, 228, 229, 230, 231, 234, 235, 236, 244, 246, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 283, 284, 288, 289, 290, 291, 299, 329, 330, 331, 332, 335, 336 }

2.1.5 FriCAS

A grade: { 1, 2, 3, 4, 5, 6, 25, 26, 27, 28, 32, 36, 40, 44, 45, 50, 51, 57, 58, 62, 63, 64, 65, 66, 67, 71, 75, 93, 94, 97, 98, 101, 110, 114, 115, 117, 142, 143, 154, 155, 156, 157, 158, 159, 172, 182, 183, 192, 203, 204, 205, 206, 216, 217, 220, 221, 226, 227, 232, 233, 238, 239, 240, 241, 242, 243, 244, 247, 248, 249, 250, 251, 258, 259, 260, 261, 262, 264, 266, 268, 274, 275, 279, 280, 292, 293, 294, 295, 299, 300, 301, 302, 303, 304, 312, 333, 334 }

B grade: { 24, 29, 30, 31, 33, 34, 35, 37, 38, 39, 41, 42, 43, 46, 47, 48, 49, 52, 53, 54, 55, 56, 59, 60, 61, 68, 69, 70, 72, 73, 74, 76, 77, 78, 87, 88, 89, 90, 91, 92, 95, 96, 99, 100, 102, 103, 104, 105, 106, 111, 112, 113, 116, 121, 122, 123, 124, 125, 126, 127, 134, 135, 136, 137, 138, 139, 140, 141, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 173, 174, 175, 176, 177, 178, 179, 180, 181, 184, 185, 186, 187, 188, 189, 190, 191, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 207, 208, 209, 210, 218, 219, 224, 225, 230, 231, 236, 237, 245, 246, 263, 265, 267, 269, 270, 271, 272, 273, 276, 277, 278, 281, 282, 283, 284, 285, 286, 287, 296, 297, 298, 305, 306, 307, 308, 309, 310, 311, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 330, 335, 336 }

C grade: { 211, 212, 222, 223, 228, 229, 234, 235 }

F grade: { 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 79, 80, 81, 82, 83, 84, 85, 86, 107, 108, 109, 118, 119, 120, 128, 129, 130, 131, 132, 133, 213, 214, 215, 252, 253, 254, 255, 256, 257, 288, 289, 290, 291, 329, 331, 332 }

2.1.6 Sympy

A grade: { 1, 2, 3, 4, 5, 6, 27, 32, 33, 34, 35, 36, 37, 38, 39, 57, 62, 63, 64, 65, 66, 67, 71, 75, 76, 77, 78, 93, 94, 95, 96, 97, 98, 99, 100, 110, 114, 115, 117, 124, 140, 141, 142, 143, 146, 147, 148, 149, 159, 171, 199, 200, 201, 216, 221, 225, 226, 227, 233, 247, 249, 264, 265, 266, 267, 274, 278, 282, 286, 287, 299, 333, 334 }

B grade: { 24, 25, 26, 144, 145, 150, 151, 152, 153, 154, 155, 156, 157, 158, 273, 277, 281 }

C grade: { }

F grade: { 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 28, 29, 30, 31, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 58, 59, 60, 61, 68, 69, 70, 72, 73, 74, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 101, 102, 103, 104, 105, 106, 107, 108, 109, 111, 112, 113, 116, 118, 119, 120, 121, 122, 123, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 217, 218, 219, 220, 222, 223, 224, 228, 229, 230, 231, 232, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 248, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 268, 269, 270, 271, 272, 275, 276, 279, 280, 283, 284, 285, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 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, 335, 336 }

2.1.7 Giac

A grade: { 4, 5, 6, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 42, 43, 44, 45, 46, 47, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 87, 93, 94, 95, 96, 97, 98, 99, 100, 102, 103, 110, 111, 114, 115, 117, 121, 122, 123, 124, 126, 127, 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, 161, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 175, 178, 179, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 196, 199, 200, 201, 202, 203, 204, 205, 206, 207, 216, 217, 220, 221, 225, 226, 227, 231, 232, 233, 237, 238, 239, 240, 250, 251, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 281, 282, 283, 284, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 303, 304, 305, 307, 308, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 333, 334 }

B grade: { 1, 2, 3, 48, 49, 50, 66, 88, 89, 90, 91, 92, 105, 106, 112, 113, 116, 160, 162, 174, 176, 177, 180, 195, 208, 209, 241, 242, 243, 244, 245, 246, 247, 248, 249 }

C grade: { 40, 41, 101, 104, 285, 286, 287, 302, 306, 309 }

F grade: { 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 79, 80, 81, 82, 83, 84, 85, 86, 107, 108, 109, 118, 119, 120, 125, 128, 129, 130, 131, 132, 133, 197, 198, 210, 211, 212, 213, 214, 215, 218, 219, 222, 223, 224, 228, 229, 230, 234, 235, 236, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 280, 288, 289, 290, 291, 329, 330, 331, 332, 335, 336 }

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 B A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 10 10 21 11 14 23 12 35
normalized size 1 1. 2.1 1.1 1.4 2.3 1.2 3.5
time (sec) N/A 0.005 0.008 0.03 1.059 1.665 0.145 1.179
Problem 2 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 25 25 23 27 43 58 46 62
normalized size 1 1. 0.92 1.08 1.72 2.32 1.84 2.48
time (sec) N/A 0.01 0.022 0.019 1.075 1.802 0.233 1.272
Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 26 26 26 23 73 89 36 65
normalized size 1 1. 1. 0.88 2.81 3.42 1.38 2.5
time (sec) N/A 0.012 0.006 0.06 1.045 1.704 0.487 1.295
Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 46 46 33 39 81 134 95 92
normalized size 1 1. 0.72 0.85 1.76 2.91 2.07 2.
time (sec) N/A 0.02 0.039 0.043 1.07 1.719 1.074 1.28
Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 41 33 111 182 58 95
normalized size 1 1. 1. 0.8 2.71 4.44 1.41 2.32
time (sec) N/A 0.013 0.013 0.036 1.029 1.696 2.107 1.267
Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 67 67 43 49 116 248 139 122
normalized size 1 1. 0.64 0.73 1.73 3.7 2.07 1.82
time (sec) N/A 0.033 0.039 0.035 1.074 1.758 4.16 1.269
Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 69 69 55 201 0 0 0 0
normalized size 1 1. 0.8 2.91 0. 0. 0. 0.
time (sec) N/A 0.033 0.107 0.114 0. 0. 0. 0.
Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 46 46 44 188 0 0 0 0
normalized size 1 1. 0.96 4.09 0. 0. 0. 0.
time (sec) N/A 0.02 0.051 0.037 0. 0. 0. 0.
Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 46 46 81 174 0 0 0 0
normalized size 1 1. 1.76 3.78 0. 0. 0. 0.
time (sec) N/A 0.019 0.094 0.033 0. 0. 0. 0.
Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 20 20 20 135 0 0 0 0
normalized size 1 1. 1. 6.75 0. 0. 0. 0.
time (sec) N/A 0.009 0.027 0.032 0. 0. 0. 0.
Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 20 20 20 135 0 0 0 0
normalized size 1 1. 1. 6.75 0. 0. 0. 0.
time (sec) N/A 0.009 0.026 0.036 0. 0. 0. 0.
Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 42 42 42 103 0 0 0 0
normalized size 1 1. 1. 2.45 0. 0. 0. 0.
time (sec) N/A 0.019 0.056 0.045 0. 0. 0. 0.
Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 46 46 84 217 0 0 0 0
normalized size 1 1. 1.83 4.72 0. 0. 0. 0.
time (sec) N/A 0.019 0.064 0.06 0. 0. 0. 0.
Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 69 69 63 363 0 0 0 0
normalized size 1 1. 0.91 5.26 0. 0. 0. 0.
time (sec) N/A 0.03 0.128 0.068 0. 0. 0. 0.
Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 53 145 0 0 0 0
normalized size 1 1. 0.82 2.23 0. 0. 0. 0.
time (sec) N/A 0.037 0.048 0.078 0. 0. 0. 0.
Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 48 48 41 184 0 0 0 0
normalized size 1 1. 0.85 3.83 0. 0. 0. 0.
time (sec) N/A 0.025 0.041 0.043 0. 0. 0. 0.
Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 48 48 57 130 0 0 0 0
normalized size 1 1. 1.19 2.71 0. 0. 0. 0.
time (sec) N/A 0.024 0.055 0.041 0. 0. 0. 0.
Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 27 27 27 118 0 0 0 0
normalized size 1 1. 1. 4.37 0. 0. 0. 0.
time (sec) N/A 0.015 0.009 0.043 0. 0. 0. 0.
Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 27 27 27 100 0 0 0 0
normalized size 1 1. 1. 3.7 0. 0. 0. 0.
time (sec) N/A 0.015 0.011 0.037 0. 0. 0. 0.
Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 46 46 34 159 0 0 0 0
normalized size 1 1. 0.74 3.46 0. 0. 0. 0.
time (sec) N/A 0.025 0.022 0.052 0. 0. 0. 0.
Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 50 50 56 177 0 0 0 0
normalized size 1 1. 1.12 3.54 0. 0. 0. 0.
time (sec) N/A 0.027 0.035 0.052 0. 0. 0. 0.
Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 67 67 43 254 0 0 0 0
normalized size 1 1. 0.64 3.79 0. 0. 0. 0.
time (sec) N/A 0.039 0.045 0.082 0. 0. 0. 0.
Problem 23 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 71 71 65 0 0 0 0 0
normalized size 1 1. 0.92 0. 0. 0. 0. 0.
time (sec) N/A 0.019 0.057 0.217 0. 0. 0. 0.
Problem 24 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 54 54 53 111 89 346 337 95
normalized size 1 1. 0.98 2.06 1.65 6.41 6.24 1.76
time (sec) N/A 0.076 0.075 0.024 1.066 1.919 3.197 1.126
Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 43 43 45 87 76 242 189 69
normalized size 1 1. 1.05 2.02 1.77 5.63 4.4 1.6
time (sec) N/A 0.051 0.048 0.021 1.115 1.874 1.747 1.155
Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 32 59 55 151 63 47
normalized size 1 1. 1.28 2.36 2.2 6.04 2.52 1.88
time (sec) N/A 0.069 0.054 0.02 1.177 1.9 0.897 1.169
Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 18 18 14 34 24 82 8 23
normalized size 1 1. 0.78 1.89 1.33 4.56 0.44 1.28
time (sec) N/A 0.032 0.024 0.011 1.27 1.921 0.414 1.165
Problem 28 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 20 20 22 21 31 117 0 27
normalized size 1 1. 1.1 1.05 1.55 5.85 0. 1.35
time (sec) N/A 0.042 0.024 0.017 1.819 1.79 0. 1.171
Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 28 28 43 39 61 467 0 49
normalized size 1 1. 1.54 1.39 2.18 16.68 0. 1.75
time (sec) N/A 0.068 0.08 0.022 1.793 1.8 0. 1.185
Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 43 43 49 61 99 1099 0 65
normalized size 1 1. 1.14 1.42 2.3 25.56 0. 1.51
time (sec) N/A 0.074 0.083 0.024 1.673 1.892 0. 1.145
Problem 31 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 56 56 60 81 136 2018 0 77
normalized size 1 1. 1.07 1.45 2.43 36.04 0. 1.38
time (sec) N/A 0.077 0.176 0.024 1.667 1.957 0. 1.156
Problem 32 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 20 20 14 14 24 59 17 20
normalized size 1 1. 0.7 0.7 1.2 2.95 0.85 1.
time (sec) N/A 0.01 0.014 0.01 1.165 1.731 0.592 1.163
Problem 33 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 47 47 34 30 122 319 36 34
normalized size 1 1. 0.72 0.64 2.6 6.79 0.77 0.72
time (sec) N/A 0.022 0.029 0.01 1.071 1.793 1.347 1.157
Problem 34 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 70 70 44 43 277 486 51 49
normalized size 1 1. 0.63 0.61 3.96 6.94 0.73 0.7
time (sec) N/A 0.036 0.055 0.009 1.055 1.797 3.491 1.147
Problem 35 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 93 93 54 56 491 984 68 63
normalized size 1 1. 0.58 0.6 5.28 10.58 0.73 0.68
time (sec) N/A 0.054 0.077 0.01 1.096 1.75 9.119 1.171
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 23 23 14 16 24 58 32 20
normalized size 1 1. 0.61 0.7 1.04 2.52 1.39 0.87
time (sec) N/A 0.011 0.023 0.01 1.066 1.825 0.712 1.182
Problem 37 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 51 51 31 32 122 319 48 34
normalized size 1 1. 0.61 0.63 2.39 6.25 0.94 0.67
time (sec) N/A 0.025 0.027 0.015 1.099 1.858 1.618 1.197
Problem 38 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 76 76 41 45 277 485 65 49
normalized size 1 1. 0.54 0.59 3.64 6.38 0.86 0.64
time (sec) N/A 0.04 0.051 0.013 1.081 1.798 3.947 1.166
Problem 39 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 101 101 51 58 491 984 82 63
normalized size 1 1. 0.5 0.57 4.86 9.74 0.81 0.62
time (sec) N/A 0.057 0.071 0.014 1.087 1.745 9.601 1.139
Problem 40 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 51 51 34 92 154 228 0 76
normalized size 1 1. 0.67 1.8 3.02 4.47 0. 1.49
time (sec) N/A 0.045 0.02 0.085 1.847 1.784 0. 1.222
Problem 41 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F B F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 35 40 0 308 0 134
normalized size 1 1. 0.66 0.75 0. 5.81 0. 2.53
time (sec) N/A 0.049 0.028 0.053 0. 1.91 0. 1.181
Problem 42 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 89 89 71 73 163 856 0 142
normalized size 1 1. 0.8 0.82 1.83 9.62 0. 1.6
time (sec) N/A 0.047 0.125 0.042 1.597 1.852 0. 1.195
Problem 43 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 59 59 55 58 109 385 0 101
normalized size 1 1. 0.93 0.98 1.85 6.53 0. 1.71
time (sec) N/A 0.029 0.063 0.03 1.559 1.854 0. 1.115
Problem 44 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 26 26 29 43 54 123 0 47
normalized size 1 1. 1.12 1.65 2.08 4.73 0. 1.81
time (sec) N/A 0.013 0.03 0.026 1.784 1.852 0. 1.155
Problem 45 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 46 46 40 103 116 456 0 28
normalized size 1 1. 0.87 2.24 2.52 9.91 0. 0.61
time (sec) N/A 0.023 0.015 0.036 1.833 1.931 0. 1.198
Problem 46 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 77 77 63 144 230 632 0 99
normalized size 1 1. 0.82 1.87 2.99 8.21 0. 1.29
time (sec) N/A 0.041 0.081 0.045 1.998 1.903 0. 1.253
Problem 47 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 107 107 91 178 338 1454 0 138
normalized size 1 1. 0.85 1.66 3.16 13.59 0. 1.29
time (sec) N/A 0.062 0.263 0.046 1.89 1.964 0. 1.378
Problem 48 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 92 92 72 71 257 857 0 262
normalized size 1 1. 0.78 0.77 2.79 9.32 0. 2.85
time (sec) N/A 0.052 0.133 0.042 1.619 1.803 0. 1.18
Problem 49 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 61 61 56 56 167 387 0 171
normalized size 1 1. 0.92 0.92 2.74 6.34 0. 2.8
time (sec) N/A 0.031 0.091 0.036 1.607 1.882 0. 1.185
Problem 50 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 27 27 30 41 78 124 0 85
normalized size 1 1. 1.11 1.52 2.89 4.59 0. 3.15
time (sec) N/A 0.014 0.032 0.034 1.592 1.749 0. 1.191
Problem 51 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 48 48 41 41 0 458 0 54
normalized size 1 1. 0.85 0.85 0. 9.54 0. 1.12
time (sec) N/A 0.025 0.03 0.036 0. 1.906 0. 1.203
Problem 52 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 79 79 85 87 0 783 0 153
normalized size 1 1. 1.08 1.1 0. 9.91 0. 1.94
time (sec) N/A 0.041 0.164 0.053 0. 1.929 0. 1.277
Problem 53 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 110 110 115 137 0 1605 0 227
normalized size 1 1. 1.05 1.25 0. 14.59 0. 2.06
time (sec) N/A 0.063 0.194 0.053 0. 2.064 0. 1.379
Problem 54 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 112 112 99 264 0 3691 0 180
normalized size 1 1. 0.88 2.36 0. 32.96 0. 1.61
time (sec) N/A 0.309 0.186 0.032 0. 2.113 0. 1.2
Problem 55 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 85 85 78 174 0 2083 0 124
normalized size 1 1. 0.92 2.05 0. 24.51 0. 1.46
time (sec) N/A 0.169 0.127 0.023 0. 2.396 0. 1.237
Problem 56 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 62 62 57 94 0 1080 0 84
normalized size 1 1. 0.92 1.52 0. 17.42 0. 1.35
time (sec) N/A 0.106 0.105 0.02 0. 2.253 0. 1.201
Problem 57 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 52 52 48 64 0 535 241 57
normalized size 1 1. 0.92 1.23 0. 10.29 4.63 1.1
time (sec) N/A 0.053 0.045 0.014 0. 2.309 135.171 1.198
Problem 58 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 54 54 54 51 0 602 0 61
normalized size 1 1. 1. 0.94 0. 11.15 0. 1.13
time (sec) N/A 0.067 0.051 0.02 0. 2.511 0. 1.188
Problem 59 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 64 64 63 73 0 1301 0 82
normalized size 1 1. 0.98 1.14 0. 20.33 0. 1.28
time (sec) N/A 0.117 0.103 0.03 0. 2.569 0. 1.161
Problem 60 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 87 87 82 146 0 3337 0 120
normalized size 1 1. 0.94 1.68 0. 38.36 0. 1.38
time (sec) N/A 0.3 0.199 0.027 0. 3.531 0. 1.199
Problem 61 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 114 114 101 239 0 5894 0 166
normalized size 1 1. 0.89 2.1 0. 51.7 0. 1.46
time (sec) N/A 0.472 0.382 0.029 0. 3.904 0. 1.275
Problem 62 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 183 183 133 155 369 463 314 362
normalized size 1 1. 0.73 0.85 2.02 2.53 1.72 1.98
time (sec) N/A 0.26 0.349 0.014 1.121 2.184 2.662 1.184
Problem 63 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 137 137 104 119 247 296 240 259
normalized size 1 1. 0.76 0.87 1.8 2.16 1.75 1.89
time (sec) N/A 0.151 0.212 0.013 1.046 2.123 1.407 1.13
Problem 64 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 90 90 80 77 157 188 128 167
normalized size 1 1. 0.89 0.86 1.74 2.09 1.42 1.86
time (sec) N/A 0.068 0.124 0.013 1.051 2.214 0.665 1.155
Problem 65 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 50 50 46 51 74 96 78 95
normalized size 1 1. 0.92 1.02 1.48 1.92 1.56 1.9
time (sec) N/A 0.017 0.073 0.011 1.046 2.073 0.308 1.148
Problem 66 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 26 16 20 39 17 43
normalized size 1 1. 1.73 1.07 1.33 2.6 1.13 2.87
time (sec) N/A 0.008 0.008 0.004 1.017 2.091 0.143 1.179
Problem 67 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 49 49 48 44 0 585 163 53
normalized size 1 1. 0.98 0.9 0. 11.94 3.33 1.08
time (sec) N/A 0.035 0.048 0.01 0. 2.256 15.524 1.222
Problem 68 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 86 86 84 118 0 1787 0 138
normalized size 1 1. 0.98 1.37 0. 20.78 0. 1.6
time (sec) N/A 0.084 0.207 0.02 0. 2.419 0. 1.232
Problem 69 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 133 133 113 186 0 5711 0 271
normalized size 1 1. 0.85 1.4 0. 42.94 0. 2.04
time (sec) N/A 0.147 0.386 0.023 0. 2.739 0. 1.229
Problem 70 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 184 184 160 284 0 12951 0 451
normalized size 1 1. 0.87 1.54 0. 70.39 0. 2.45
time (sec) N/A 0.253 0.998 0.024 0. 2.955 0. 1.237
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 22 22 23 18 26 80 24 22
normalized size 1 1. 1.05 0.82 1.18 3.64 1.09 1.
time (sec) N/A 0.015 0.034 0.01 1.564 2.283 0.863 1.199
Problem 72 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F(-2) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 48 48 45 48 86 435 0 74
normalized size 1 1. 0.94 1. 1.79 9.06 0. 1.54
time (sec) N/A 0.032 0.1 0.015 1.53 2.098 0. 1.156
Problem 73 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 73 73 55 79 146 1214 0 104
normalized size 1 1. 0.75 1.08 2. 16.63 0. 1.42
time (sec) N/A 0.065 0.153 0.016 1.55 2.214 0. 1.131
Problem 74 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 65 110 205 2473 0 134
normalized size 1 1. 0.66 1.12 2.09 25.23 0. 1.37
time (sec) N/A 0.097 0.245 0.016 1.575 2.489 0. 1.132
Problem 75 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 31 31 77 36 50 126 41 42
normalized size 1 1. 2.48 1.16 1.61 4.06 1.32 1.35
time (sec) N/A 0.013 0.029 0.014 1.033 2.322 0.727 1.16
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 56 56 45 72 109 621 199 93
normalized size 1 1. 0.8 1.29 1.95 11.09 3.55 1.66
time (sec) N/A 0.036 0.113 0.016 1.043 2.573 2.425 1.157
Problem 77 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 81 81 58 108 169 1661 445 123
normalized size 1 1. 0.72 1.33 2.09 20.51 5.49 1.52
time (sec) N/A 0.063 0.188 0.017 1.033 2.173 5.735 1.151
Problem 78 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 106 106 68 144 228 3320 784 153
normalized size 1 1. 0.64 1.36 2.15 31.32 7.4 1.44
time (sec) N/A 0.097 0.247 0.019 1.072 2.242 12.986 1.137
Problem 79 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 153 153 150 685 0 0 0 0
normalized size 1 1. 0.98 4.48 0. 0. 0. 0.
time (sec) N/A 0.244 0.501 0.102 0. 0. 0. 0.
Problem 80 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 124 124 111 458 0 0 0 0
normalized size 1 1. 0.9 3.69 0. 0. 0. 0.
time (sec) N/A 0.157 0.227 0.063 0. 0. 0. 0.
Problem 81 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 61 61 61 276 0 0 0 0
normalized size 1 1. 1. 4.52 0. 0. 0. 0.
time (sec) N/A 0.039 0.085 0.062 0. 0. 0. 0.
Problem 82 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 46 46 46 146 0 0 0 0
normalized size 1 1. 1. 3.17 0. 0. 0. 0.
time (sec) N/A 0.034 0.037 0.051 0. 0. 0. 0.
Problem 83 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 84 84 68 296 0 0 0 0
normalized size 1 1. 0.81 3.52 0. 0. 0. 0.
time (sec) N/A 0.057 0.12 0.079 0. 0. 0. 0.
Problem 84 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 177 177 135 459 0 0 0 0
normalized size 1 1. 0.76 2.59 0. 0. 0. 0.
time (sec) N/A 0.207 0.527 0.147 0. 0. 0. 0.
Problem 85 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 227 227 165 566 0 0 0 0
normalized size 1 1. 0.73 2.49 0. 0. 0. 0.
time (sec) N/A 0.313 0.656 0.198 0. 0. 0. 0.
Problem 86 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 100 100 73 181 0 0 0 0
normalized size 1 1. 0.73 1.81 0. 0. 0. 0.
time (sec) N/A 0.107 0.346 0.068 0. 0. 0. 0.
Problem 87 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 94 94 60 71 320 1553 0 207
normalized size 1 1. 0.64 0.76 3.4 16.52 0. 2.2
time (sec) N/A 0.092 0.119 0.046 1.645 2.261 0. 1.248
Problem 88 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 68 68 46 57 220 805 0 153
normalized size 1 1. 0.68 0.84 3.24 11.84 0. 2.25
time (sec) N/A 0.074 0.087 0.04 1.617 2.174 0. 1.154
Problem 89 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 40 40 31 39 122 317 0 93
normalized size 1 1. 0.78 0.98 3.05 7.92 0. 2.32
time (sec) N/A 0.052 0.038 0.042 1.629 2.174 0. 1.114
Problem 90 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 61 69 389 1554 0 398
normalized size 1 1. 0.62 0.7 3.97 15.86 0. 4.06
time (sec) N/A 0.104 0.135 0.05 1.673 2.254 0. 1.338
Problem 91 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 71 71 47 55 269 807 0 286
normalized size 1 1. 0.66 0.77 3.79 11.37 0. 4.03
time (sec) N/A 0.08 0.097 0.049 1.605 2.154 0. 1.254
Problem 92 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 44 44 32 39 147 319 0 166
normalized size 1 1. 0.73 0.89 3.34 7.25 0. 3.77
time (sec) N/A 0.058 0.051 0.052 1.638 2.147 0. 1.233
Problem 93 Optimal Rubi Mathematica Maple 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 23 34 35 96 15 23
normalized size 1 1. 1.28 1.89 1.94 5.33 0.83 1.28
time (sec) N/A 0.036 0.058 0.01 1.04 2.147 0.411 1.162
Problem 94 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 35 35 25 34 174 165 36 41
normalized size 1 1. 0.71 0.97 4.97 4.71 1.03 1.17
time (sec) N/A 0.038 0.05 0.007 1.037 2.076 0.857 1.213
Problem 95 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 56 56 42 38 355 427 46 62
normalized size 1 1. 0.75 0.68 6.34 7.62 0.82 1.11
time (sec) N/A 0.048 0.076 0.009 1.044 2.108 1.819 1.177
Problem 96 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 75 75 57 55 606 586 78 81
normalized size 1 1. 0.76 0.73 8.08 7.81 1.04 1.08
time (sec) N/A 0.059 0.092 0.009 1.075 2.097 4.364 1.197
Problem 97 Optimal Rubi Mathematica Maple 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 35 37 36 97 15 22
normalized size 1 1. 1.75 1.85 1.8 4.85 0.75 1.1
time (sec) N/A 0.04 0.054 0.016 1.033 2.172 0.66 1.163
Problem 98 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 37 37 25 26 177 163 36 43
normalized size 1 1. 0.68 0.7 4.78 4.41 0.97 1.16
time (sec) N/A 0.041 0.049 0.013 1.048 2.061 1.204 1.164
Problem 99 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 60 60 42 39 360 425 46 62
normalized size 1 1. 0.7 0.65 6. 7.08 0.77 1.03
time (sec) N/A 0.055 0.073 0.013 1.052 2.032 2.334 1.179
Problem 100 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 81 81 57 56 609 585 78 81
normalized size 1 1. 0.7 0.69 7.52 7.22 0.96 1.
time (sec) N/A 0.066 0.088 0.013 1.066 2.084 5.146 1.19
Problem 101 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 56 56 41 128 235 244 0 100
normalized size 1 1. 0.73 2.29 4.2 4.36 0. 1.79
time (sec) N/A 0.066 0.034 0.053 1.946 2.168 0. 1.236
Problem 102 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 65 65 44 159 405 581 0 105
normalized size 1 1. 0.68 2.45 6.23 8.94 0. 1.62
time (sec) N/A 0.068 0.077 0.062 2.036 2.184 0. 1.336
Problem 103 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 93 93 57 209 576 1453 0 159
normalized size 1 1. 0.61 2.25 6.19 15.62 0. 1.71
time (sec) N/A 0.089 0.154 0.065 2.072 2.25 0. 1.415
Problem 104 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F B F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 57 57 40 63 0 324 0 157
normalized size 1 1. 0.7 1.11 0. 5.68 0. 2.75
time (sec) N/A 0.065 0.054 0.066 0. 2.117 0. 1.198
Problem 105 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 71 83 0 680 0 150
normalized size 1 1. 1.09 1.28 0. 10.46 0. 2.31
time (sec) N/A 0.073 0.149 0.07 0. 2.197 0. 1.228
Problem 106 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 94 94 108 118 0 1553 0 255
normalized size 1 1. 1.15 1.26 0. 16.52 0. 2.71
time (sec) N/A 0.096 0.36 0.07 0. 2.249 0. 1.34
Problem 107 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 233 233 203 1365 0 0 0 0
normalized size 1 1. 0.87 5.86 0. 0. 0. 0.
time (sec) N/A 0.454 0.563 0.168 0. 0. 0. 0.
Problem 108 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 181 181 124 973 0 0 0 0
normalized size 1 1. 0.69 5.38 0. 0. 0. 0.
time (sec) N/A 0.322 0.639 0.105 0. 0. 0. 0.
Problem 109 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 138 138 123 605 0 0 0 0
normalized size 1 1. 0.89 4.38 0. 0. 0. 0.
time (sec) N/A 0.206 0.333 0.094 0. 0. 0. 0.
Problem 110 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 60 60 59 103 0 574 403 68
normalized size 1 1. 0.98 1.72 0. 9.57 6.72 1.13
time (sec) N/A 0.068 0.091 0.016 0. 2.276 154.892 1.18
Problem 111 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 82 82 81 108 0 1914 0 144
normalized size 1 1. 0.99 1.32 0. 23.34 0. 1.76
time (sec) N/A 0.078 0.167 0.018 0. 2.3 0. 1.157
Problem 112 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 135 135 134 207 0 7004 0 336
normalized size 1 1. 0.99 1.53 0. 51.88 0. 2.49
time (sec) N/A 0.169 0.395 0.023 0. 2.672 0. 1.203
Problem 113 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 197 197 196 342 0 17173 0 612
normalized size 1 1. 0.99 1.74 0. 87.17 0. 3.11
time (sec) N/A 0.348 0.754 0.025 0. 3.395 0. 1.199
Problem 114 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 56 56 56 107 0 491 170 77
normalized size 1 1. 1. 1.91 0. 8.77 3.04 1.38
time (sec) N/A 0.078 0.069 0.021 0. 2.283 154.659 1.207
Problem 115 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 6 6 6 7 0 9 3 8
normalized size 1 1. 1. 1.17 0. 1.5 0.5 1.33
time (sec) N/A 0.001 0. 0. 0. 2.018 0.389 1.163
Problem 116 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 11 11 11 29 0 159 0 35
normalized size 1 1. 1. 2.64 0. 14.45 0. 3.18
time (sec) N/A 0.029 0.052 0.017 0. 2.089 0. 1.184
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 36 36 24 32 46 139 44 50
normalized size 1 1. 0.67 0.89 1.28 3.86 1.22 1.39
time (sec) N/A 0.05 0.072 0.016 1.532 2.247 1.077 1.195
Problem 118 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 108 108 80 218 0 0 0 0
normalized size 1 1. 0.74 2.02 0. 0. 0. 0.
time (sec) N/A 0.112 0.443 0.096 0. 0. 0. 0.
Problem 119 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 152 152 133 483 0 0 0 0
normalized size 1 1. 0.88 3.18 0. 0. 0. 0.
time (sec) N/A 0.205 0.357 0.197 0. 0. 0. 0.
Problem 120 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 231 231 172 797 0 0 0 0
normalized size 1 1. 0.74 3.45 0. 0. 0. 0.
time (sec) N/A 0.35 0.841 0.346 0. 0. 0. 0.
Problem 121 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 42 38 96 2461 0 107
normalized size 1 1. 0.58 0.53 1.33 34.18 0. 1.49
time (sec) N/A 0.055 0.026 0.04 1.521 2.286 0. 1.25
Problem 122 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 36 32 72 1462 0 82
normalized size 1 1. 0.68 0.6 1.36 27.58 0. 1.55
time (sec) N/A 0.036 0.016 0.037 1.564 2.208 0. 1.167
Problem 123 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 34 34 26 24 47 672 0 39
normalized size 1 1. 0.76 0.71 1.38 19.76 0. 1.15
time (sec) N/A 0.023 0.009 0.037 1.597 2.424 0. 1.143
Problem 124 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 13 13 13 15 23 216 19 19
normalized size 1 1. 1. 1.15 1.77 16.62 1.46 1.46
time (sec) N/A 0.012 0.004 0.028 1.598 2.4 0.618 1.156
Problem 125 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A B F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 21 55 11 552 0 0
normalized size 1 1. 1.31 3.44 0.69 34.5 0. 0.
time (sec) N/A 0.015 0.007 0.044 1.693 2.184 0. 0.
Problem 126 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 42 42 31 82 55 878 0 76
normalized size 1 1. 0.74 1.95 1.31 20.9 0. 1.81
time (sec) N/A 0.025 0.014 0.059 1.773 2.188 0. 1.155
Problem 127 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 61 61 40 102 101 2461 0 100
normalized size 1 1. 0.66 1.67 1.66 40.34 0. 1.64
time (sec) N/A 0.039 0.035 0.062 1.802 2.335 0. 1.145
Problem 128 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 121 121 65 0 0 0 0 0
normalized size 1 1. 0.54 0. 0. 0. 0. 0.
time (sec) N/A 0.054 0.115 0.075 0. 0. 0. 0.
Problem 129 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 71 71 54 0 0 0 0 0
normalized size 1 1. 0.76 0. 0. 0. 0. 0.
time (sec) N/A 0.034 0.071 0.051 0. 0. 0. 0.
Problem 130 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 48 48 59 0 0 0 0 0
normalized size 1 1. 1.23 0. 0. 0. 0. 0.
time (sec) N/A 0.024 0.051 0.05 0. 0. 0. 0.
Problem 131 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 46 46 36 0 0 0 0 0
normalized size 1 1. 0.78 0. 0. 0. 0. 0.
time (sec) N/A 0.024 0.021 0.056 0. 0. 0. 0.
Problem 132 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 75 75 48 0 0 0 0 0
normalized size 1 1. 0.64 0. 0. 0. 0. 0.
time (sec) N/A 0.034 0.059 0.052 0. 0. 0. 0.
Problem 133 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 121 121 61 0 0 0 0 0
normalized size 1 1. 0.5 0. 0. 0. 0. 0.
time (sec) N/A 0.052 0.1 0.052 0. 0. 0. 0.
Problem 134 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 132 132 53 177 135 4963 0 154
normalized size 1 1. 0.4 1.34 1.02 37.6 0. 1.17
time (sec) N/A 0.053 0.116 0.138 1.722 2.139 0. 1.163
Problem 135 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 38 131 84 2068 0 70
normalized size 1 1. 0.49 1.68 1.08 26.51 0. 0.9
time (sec) N/A 0.035 0.064 0.111 1.652 2.117 0. 1.152
Problem 136 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 36 36 25 89 36 551 0 38
normalized size 1 1. 0.69 2.47 1. 15.31 0. 1.06
time (sec) N/A 0.016 0.014 0.107 1.633 1.973 0. 1.165
Problem 137 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 15 15 15 56 22 338 0 18
normalized size 1 1. 1. 3.73 1.47 22.53 0. 1.2
time (sec) N/A 0.017 0.005 0.085 1.724 1.881 0. 1.161
Problem 138 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 67 67 30 80 223 3163 0 47
normalized size 1 1. 0.45 1.19 3.33 47.21 0. 0.7
time (sec) N/A 0.025 0.027 0.096 1.582 1.972 0. 1.183
Problem 139 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 117 117 47 96 617 9072 0 72
normalized size 1 1. 0.4 0.82 5.27 77.54 0. 0.62
time (sec) N/A 0.035 0.048 0.095 1.652 2.494 0. 1.153
Problem 140 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 8 8 12 9 11 122 7 14
normalized size 1 1. 1.5 1.12 1.38 15.25 0.88 1.75
time (sec) N/A 0.021 0.011 0.004 1.068 2.105 0.432 1.156
Problem 141 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 8 8 12 9 11 122 7 14
normalized size 1 1. 1.5 1.12 1.38 15.25 0.88 1.75
time (sec) N/A 0.022 0.01 0.005 1.034 2.066 0.44 1.143
Problem 142 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 12 12 18 24 16 77 7 14
normalized size 1 1. 1.5 2. 1.33 6.42 0.58 1.17
time (sec) N/A 0.031 0.006 0.014 1.083 2.195 0.734 1.225
Problem 143 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 14 14 24 26 16 77 7 14
normalized size 1 1. 1.71 1.86 1.14 5.5 0.5 1.
time (sec) N/A 0.031 0.01 0.016 1.049 2.153 1.426 1.136
Problem 144 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 10 10 13 11 31 197 70 28
normalized size 1 1. 1.3 1.1 3.1 19.7 7. 2.8
time (sec) N/A 0.038 0.018 0.012 1.13 2.221 0.658 1.162
Problem 145 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 12 12 13 11 31 198 70 30
normalized size 1 1. 1.08 0.92 2.58 16.5 5.83 2.5
time (sec) N/A 0.037 0.017 0.015 1.029 2.096 0.643 1.12
Problem 146 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 10 10 12 9 11 197 15 16
normalized size 1 1. 1.2 0.9 1.1 19.7 1.5 1.6
time (sec) N/A 0.021 0.009 0.004 1.063 2.045 0.818 1.185
Problem 147 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 12 12 12 11 11 196 14 16
normalized size 1 1. 1. 0.92 0.92 16.33 1.17 1.33
time (sec) N/A 0.021 0.01 0.005 1.062 2.132 0.842 1.144
Problem 148 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 14 14 12 9 66 127 7 22
normalized size 1 1. 0.86 0.64 4.71 9.07 0.5 1.57
time (sec) N/A 0.032 0.026 0.011 1.066 2.112 1.506 1.167
Problem 149 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 12 9 66 126 8 22
normalized size 1 1. 0.75 0.56 4.12 7.88 0.5 1.38
time (sec) N/A 0.033 0.029 0.013 1.105 2.056 2.576 1.156
Problem 150 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 20 15 42 336 194 28
normalized size 1 1. 1.43 1.07 3. 24. 13.86 2.
time (sec) N/A 0.04 0.009 0.014 1.156 1.866 0.915 1.149
Problem 151 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 20 20 27 17 47 335 194 27
normalized size 1 1. 1.35 0.85 2.35 16.75 9.7 1.35
time (sec) N/A 0.04 0.012 0.018 1.158 1.889 0.95 1.137
Problem 152 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 57 57 51 208 138 340 1253 122
normalized size 1 1. 0.89 3.65 2.42 5.96 21.98 2.14
time (sec) N/A 0.059 0.067 0.04 1.112 1.999 22.958 1.178
Problem 153 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 46 46 27 107 113 313 218 101
normalized size 1 1. 0.59 2.33 2.46 6.8 4.74 2.2
time (sec) N/A 0.065 0.03 0.034 1.099 1.815 12.796 1.208
Problem 154 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 44 44 39 156 105 188 692 89
normalized size 1 1. 0.89 3.55 2.39 4.27 15.73 2.02
time (sec) N/A 0.054 0.052 0.033 1.109 1.892 7.642 1.255
Problem 155 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 33 33 21 87 81 165 104 69
normalized size 1 1. 0.64 2.64 2.45 5. 3.15 2.09
time (sec) N/A 0.056 0.02 0.027 1.146 1.799 4.058 1.205
Problem 156 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 31 31 25 103 73 89 294 54
normalized size 1 1. 0.81 3.32 2.35 2.87 9.48 1.74
time (sec) N/A 0.046 0.035 0.023 1.113 1.862 2.149 1.279
Problem 157 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 19 19 13 47 49 58 27 36
normalized size 1 1. 0.68 2.47 2.58 3.05 1.42 1.89
time (sec) N/A 0.043 0.012 0.02 1.112 1.88 1.106 1.247
Problem 158 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 13 13 17 51 31 24 46 23
normalized size 1 1. 1.31 3.92 2.38 1.85 3.54 1.77
time (sec) N/A 0.039 0.008 0.017 1.104 1.827 0.555 1.187
Problem 159 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 9 9 12 12 15 53 7 23
normalized size 1 1. 1.33 1.33 1.67 5.89 0.78 2.56
time (sec) N/A 0.024 0.005 0.006 1.06 1.967 0.157 1.132
Problem 160 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 23 23 42 23 63 397 0 70
normalized size 1 1. 1.83 1. 2.74 17.26 0. 3.04
time (sec) N/A 0.052 0.027 0.016 1.017 1.837 0. 1.189
Problem 161 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 24 24 30 29 80 292 0 47
normalized size 1 1. 1.25 1.21 3.33 12.17 0. 1.96
time (sec) N/A 0.048 0.046 0.016 1.01 1.855 0. 1.173
Problem 162 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 49 49 60 45 139 2066 0 127
normalized size 1 1. 1.22 0.92 2.84 42.16 0. 2.59
time (sec) N/A 0.081 0.129 0.02 1.061 1.951 0. 1.188
Problem 163 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 37 37 38 45 315 809 0 80
normalized size 1 1. 1.03 1.22 8.51 21.86 0. 2.16
time (sec) N/A 0.051 0.053 0.02 1.034 1.76 0. 1.132
Problem 164 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 89 67 209 5257 0 157
normalized size 1 1. 1.14 0.86 2.68 67.4 0. 2.01
time (sec) N/A 0.106 0.256 0.022 1.027 2.085 0. 1.161
Problem 165 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 140 140 144 1039 419 5296 0 309
normalized size 1 1. 1.03 7.42 2.99 37.83 0. 2.21
time (sec) N/A 0.167 0.175 0.034 1.065 2.157 0. 1.132
Problem 166 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 154 154 154 679 0 7443 0 359
normalized size 1 1. 1. 4.41 0. 48.33 0. 2.33
time (sec) N/A 0.425 0.226 0.028 0. 2.344 0. 1.184
Problem 167 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 83 83 84 599 240 2228 0 167
normalized size 1 1. 1.01 7.22 2.89 26.84 0. 2.01
time (sec) N/A 0.107 0.107 0.026 1.05 1.935 0. 1.224
Problem 168 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 104 104 95 338 0 2843 0 197
normalized size 1 1. 0.91 3.25 0. 27.34 0. 1.89
time (sec) N/A 0.241 0.18 0.021 0. 2.084 0. 1.165
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 40 40 40 283 113 629 0 76
normalized size 1 1. 1. 7.08 2.82 15.72 0. 1.9
time (sec) N/A 0.069 0.053 0.02 1.024 1.942 0. 1.184
Problem 170 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 59 59 54 129 0 805 0 92
normalized size 1 1. 0.92 2.19 0. 13.64 0. 1.56
time (sec) N/A 0.112 0.078 0.019 0. 2.067 0. 1.126
Problem 171 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 11 11 11 12 15 72 14 26
normalized size 1 1. 1. 1.09 1.36 6.55 1.27 2.36
time (sec) N/A 0.027 0.015 0.006 0.999 1.913 0.415 1.164
Problem 172 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 53 53 37 52 80 181 0 90
normalized size 1 1. 0.7 0.98 1.51 3.42 0. 1.7
time (sec) N/A 0.077 0.065 0.016 1.036 2.019 0. 1.2
Problem 173 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 67 67 77 78 0 1172 0 103
normalized size 1 1. 1.15 1.16 0. 17.49 0. 1.54
time (sec) N/A 0.09 0.198 0.019 0. 2.065 0. 1.164
Problem 174 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 91 91 100 97 208 2072 0 242
normalized size 1 1. 1.1 1.07 2.29 22.77 0. 2.66
time (sec) N/A 0.159 0.269 0.023 1.105 2.259 0. 1.159
Problem 175 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 110 110 141 127 0 5405 0 211
normalized size 1 1. 1.28 1.15 0. 49.14 0. 1.92
time (sec) N/A 0.246 0.534 0.024 0. 2.152 0. 1.194
Problem 176 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 151 151 148 191 470 8195 0 456
normalized size 1 1. 0.98 1.26 3.11 54.27 0. 3.02
time (sec) N/A 0.254 0.861 0.026 1.149 2.762 0. 1.16
Problem 177 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 159 159 201 213 0 15046 0 409
normalized size 1 1. 1.26 1.34 0. 94.63 0. 2.57
time (sec) N/A 0.477 1.714 0.026 0. 2.785 0. 1.199
Problem 178 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 67 67 61 99 0 1663 0 92
normalized size 1 1. 0.91 1.48 0. 24.82 0. 1.37
time (sec) N/A 0.104 0.099 0.023 0. 2.103 0. 1.166
Problem 179 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 113 113 100 315 0 5057 0 194
normalized size 1 1. 0.88 2.79 0. 44.75 0. 1.72
time (sec) N/A 0.406 0.412 0.032 0. 2.735 0. 1.208
Problem 180 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 57 57 46 140 130 1166 0 155
normalized size 1 1. 0.81 2.46 2.28 20.46 0. 2.72
time (sec) N/A 0.099 0.093 0.03 1.569 2.006 0. 1.156
Problem 181 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 61 61 61 108 0 984 0 90
normalized size 1 1. 1. 1.77 0. 16.13 0. 1.48
time (sec) N/A 0.232 0.105 0.022 0. 2.173 0. 1.147
Problem 182 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 20 20 20 21 45 116 0 45
normalized size 1 1. 1. 1.05 2.25 5.8 0. 2.25
time (sec) N/A 0.042 0.009 0.014 1.594 1.957 0. 1.233
Problem 183 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 54 54 38 53 80 182 0 90
normalized size 1 1. 0.7 0.98 1.48 3.37 0. 1.67
time (sec) N/A 0.07 0.07 0.02 1.033 2.1 0. 1.229
Problem 184 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 77 77 77 78 0 1172 0 103
normalized size 1 1. 1. 1.01 0. 15.22 0. 1.34
time (sec) N/A 0.094 0.201 0.024 0. 1.962 0. 1.194
Problem 185 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 94 94 101 97 211 2071 0 240
normalized size 1 1. 1.07 1.03 2.24 22.03 0. 2.55
time (sec) N/A 0.199 0.21 0.029 1.094 2.242 0. 1.196
Problem 186 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 137 137 131 127 0 5677 0 232
normalized size 1 1. 0.96 0.93 0. 41.44 0. 1.69
time (sec) N/A 0.196 0.507 0.029 0. 2.302 0. 1.21
Problem 187 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 46 46 58 115 120 2522 0 78
normalized size 1 1. 1.26 2.5 2.61 54.83 0. 1.7
time (sec) N/A 0.093 0.085 0.06 1.56 1.888 0. 1.181
Problem 188 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 30 30 25 30 301 562 0 65
normalized size 1 1. 0.83 1. 10.03 18.73 0. 2.17
time (sec) N/A 0.086 0.027 0.051 1.08 1.837 0. 1.194
Problem 189 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 33 33 46 71 77 1031 0 53
normalized size 1 1. 1.39 2.15 2.33 31.24 0. 1.61
time (sec) N/A 0.08 0.059 0.036 1.559 1.736 0. 1.182
Problem 190 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 19 19 17 18 95 221 0 30
normalized size 1 1. 0.89 0.95 5. 11.63 0. 1.58
time (sec) N/A 0.066 0.021 0.026 1.071 1.822 0. 1.156
Problem 191 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 15 15 18 31 31 185 0 30
normalized size 1 1. 1.2 2.07 2.07 12.33 0. 2.
time (sec) N/A 0.049 0.045 0.02 1.543 1.924 0. 1.169
Problem 192 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 18 18 12 19 32 96 0 30
normalized size 1 1. 0.67 1.06 1.78 5.33 0. 1.67
time (sec) N/A 0.04 0.017 0.016 1.054 1.905 0. 1.248
Problem 193 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 33 33 42 23 65 397 0 70
normalized size 1 1. 1.27 0.7 1.97 12.03 0. 2.12
time (sec) N/A 0.065 0.037 0.019 1.072 1.969 0. 1.229
Problem 194 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 30 30 25 29 163 292 0 47
normalized size 1 1. 0.83 0.97 5.43 9.73 0. 1.57
time (sec) N/A 0.079 0.048 0.021 1.017 1.766 0. 1.188
Problem 195 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 46 46 60 45 139 2071 0 127
normalized size 1 1. 1.3 0.98 3.02 45.02 0. 2.76
time (sec) N/A 0.107 0.099 0.027 1.086 2.01 0. 1.175
Problem 196 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 41 45 633 728 0 80
normalized size 1 1. 1. 1.1 15.44 17.76 0. 1.95
time (sec) N/A 0.081 0.073 0.028 1.067 1.851 0. 1.314
Problem 197 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 37 37 37 30 0 1162 0 0
normalized size 1 1. 1. 0.81 0. 31.41 0. 0.
time (sec) N/A 0.063 0.02 0.013 0. 4.114 0. 0.
Problem 198 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 24 24 24 19 0 1099 0 0
normalized size 1 1. 1. 0.79 0. 45.79 0. 0.
time (sec) N/A 0.057 0.011 0.016 0. 2.048 0. 0.
Problem 199 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 56 56 55 137 0 717 741 81
normalized size 1 1. 0.98 2.45 0. 12.8 13.23 1.45
time (sec) N/A 0.128 0.082 0.017 0. 1.92 138.828 1.219
Problem 200 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 18 18 19 28 26 169 20 30
normalized size 1 1. 1.06 1.56 1.44 9.39 1.11 1.67
time (sec) N/A 0.077 0.032 0.011 1.055 2.052 0.409 1.155
Problem 201 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 24 24 19 36 27 167 31 30
normalized size 1 1. 0.79 1.5 1.12 6.96 1.29 1.25
time (sec) N/A 0.086 0.044 0.017 1.061 1.79 0.665 1.16
Problem 202 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 61 125 0 806 0 89
normalized size 1 1. 0.94 1.92 0. 12.4 0. 1.37
time (sec) N/A 0.148 0.143 0.029 0. 2.095 0. 1.193
Problem 203 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 100 100 81 139 0 842 0 122
normalized size 1 1. 0.81 1.39 0. 8.42 0. 1.22
time (sec) N/A 0.166 0.244 0.026 0. 14.019 0. 1.176
Problem 204 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 62 62 63 89 0 643 0 72
normalized size 1 1. 1.02 1.44 0. 10.37 0. 1.16
time (sec) N/A 0.133 0.114 0.03 0. 4.647 0. 1.21
Problem 205 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 99 99 81 138 0 840 0 122
normalized size 1 1. 0.82 1.39 0. 8.48 0. 1.23
time (sec) N/A 0.305 0.188 0.025 0. 22.681 0. 1.237
Problem 206 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 86 86 81 276 0 948 0 135
normalized size 1 1. 0.94 3.21 0. 11.02 0. 1.57
time (sec) N/A 0.154 0.234 0.036 0. 2.04 0. 1.226
Problem 207 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 121 121 115 144 0 2384 0 225
normalized size 1 1. 0.95 1.19 0. 19.7 0. 1.86
time (sec) N/A 0.176 0.409 0.036 0. 2.224 0. 1.217
Problem 208 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 187 187 175 273 0 8046 0 539
normalized size 1 1. 0.94 1.46 0. 43.03 0. 2.88
time (sec) N/A 0.264 0.785 0.042 0. 2.981 0. 1.176
Problem 209 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 260 260 245 459 0 19134 0 946
normalized size 1 1. 0.94 1.77 0. 73.59 0. 3.64
time (sec) N/A 0.448 2.407 0.046 0. 3.965 0. 1.3
Problem 210 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 191 191 536 487 0 1968 0 0
normalized size 1 1. 2.81 2.55 0. 10.3 0. 0.
time (sec) N/A 0.377 0.562 0.046 0. 1.954 0. 0.
Problem 211 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 291 291 221 686 0 2967 0 0
normalized size 1 1. 0.76 2.36 0. 10.2 0. 0.
time (sec) N/A 0.567 0.717 0.038 0. 2.121 0. 0.
Problem 212 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 391 391 295 889 0 3956 0 0
normalized size 1 1. 0.75 2.27 0. 10.12 0. 0.
time (sec) N/A 0.599 0.61 0.039 0. 2.363 0. 0.
Problem 213 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 58 58 55 0 0 0 0 0
normalized size 1 1. 0.95 0. 0. 0. 0. 0.
time (sec) N/A 0.119 0.077 0.133 0. 0. 0. 0.
Problem 214 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 58 58 57 0 0 0 0 0
normalized size 1 1. 0.98 0. 0. 0. 0. 0.
time (sec) N/A 0.081 0.035 0.083 0. 0. 0. 0.
Problem 215 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 26 26 26 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.039 0.033 0.023 0. 0. 0. 0.
Problem 216 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 39 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.038 5.706 0.028 0. 0. 0. 0.
Problem 217 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 41 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.08 23.486 0.035 0. 0. 0. 0.
Problem 218 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 60 60 59 138 0 1202 0 0
normalized size 1 1. 0.98 2.3 0. 20.03 0. 0.
time (sec) N/A 0.057 0.125 0.069 0. 1.94 0. 0.
Problem 219 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 87 87 87 231 0 3969 0 0
normalized size 1 1. 1. 2.66 0. 45.62 0. 0.
time (sec) N/A 0.089 0.244 0.083 0. 2.058 0. 0.
Problem 220 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 47 47 41 47 57 204 0 57
normalized size 1 1. 0.87 1. 1.21 4.34 0. 1.21
time (sec) N/A 0.462 0.106 0.075 1.313 1.829 0. 1.171
Problem 221 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.038 5.098 0.072 0. 0. 0. 0.
Problem 222 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 327 327 326 0 0 1585 0 0
normalized size 1 1. 1. 0. 0. 4.85 0. 0.
time (sec) N/A 0.479 0.033 0.227 0. 2.091 0. 0.
Problem 223 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 245 245 244 0 0 1245 0 0
normalized size 1 1. 1. 0. 0. 5.08 0. 0.
time (sec) N/A 0.39 0.021 0.172 0. 1.995 0. 0.
Problem 224 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 161 161 160 368 0 902 0 0
normalized size 1 1. 0.99 2.29 0. 5.6 0. 0.
time (sec) N/A 0.242 0.012 0.047 0. 1.979 0. 0.
Problem 225 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 18 18 18 19 24 104 41 42
normalized size 1 1. 1. 1.06 1.33 5.78 2.28 2.33
time (sec) N/A 0.032 0.037 0.004 1.005 1.863 1.033 1.321
Problem 226 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.036 13.026 0.127 0. 0. 0. 0.
Problem 227 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 26 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.061 23.641 0.102 0. 0. 0. 0.
Problem 228 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 495 495 386 0 0 2889 0 0
normalized size 1 1. 0.78 0. 0. 5.84 0. 0.
time (sec) N/A 0.839 1.392 0.117 0. 2.217 0. 0.
Problem 229 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 370 370 293 0 0 2303 0 0
normalized size 1 1. 0.79 0. 0. 6.22 0. 0.
time (sec) N/A 0.704 1.197 0.109 0. 2.137 0. 0.
Problem 230 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 244 244 187 862 0 1666 0 0
normalized size 1 1. 0.77 3.53 0. 6.83 0. 0.
time (sec) N/A 0.418 0.949 0.056 0. 2.113 0. 0.
Problem 231 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 73 73 69 177 0 1085 0 131
normalized size 1 1. 0.95 2.42 0. 14.86 0. 1.79
time (sec) N/A 0.123 0.18 0.009 0. 2.03 0. 1.243
Problem 232 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 26 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.057 108.57 0.076 0. 0. 0. 0.
Problem 233 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 26 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.064 31.047 0.054 0. 0. 0. 0.
Problem 234 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F C F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 586 586 1082 0 0 4741 0 0
normalized size 1 1. 1.85 0. 0. 8.09 0. 0.
time (sec) N/A 0.686 11.851 0.205 0. 2.472 0. 0.
Problem 235 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 432 432 831 0 0 3811 0 0
normalized size 1 1. 1.92 0. 0. 8.82 0. 0.
time (sec) N/A 0.563 8.913 0.17 0. 2.247 0. 0.
Problem 236 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 288 288 414 860 0 2828 0 0
normalized size 1 1. 1.44 2.99 0. 9.82 0. 0.
time (sec) N/A 0.336 2.926 0.066 0. 2.12 0. 0.
Problem 237 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 61 61 55 415 176 848 0 123
normalized size 1 1. 0.9 6.8 2.89 13.9 0. 2.02
time (sec) N/A 0.073 0.102 0.026 1.057 1.931 0. 1.176
Problem 238 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A F A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 26 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.055 180. 0.148 0. 0. 0. 0.
Problem 239 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F A A F(-2) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 54 54 41 0 69 123 0 63
normalized size 1 1. 0.76 0. 1.28 2.28 0. 1.17
time (sec) N/A 0.012 0.06 0.034 1.099 1.787 0. 1.196
Problem 240 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F A A F(-2) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 88 88 56 0 90 258 0 228
normalized size 1 1. 0.64 0. 1.02 2.93 0. 2.59
time (sec) N/A 0.02 0.088 0.097 1.112 1.921 0. 1.277
Problem 241 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F A A F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 149 149 117 0 155 536 0 898
normalized size 1 1. 0.79 0. 1.04 3.6 0. 6.03
time (sec) N/A 0.039 0.521 0.115 1.198 1.875 0. 1.36
Problem 242 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F A A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 191 191 167 0 174 801 0 1049
normalized size 1 1. 0.87 0. 0.91 4.19 0. 5.49
time (sec) N/A 0.051 0.416 0.116 1.221 1.807 0. 1.294
Problem 243 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F A A F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 73 73 54 0 86 305 0 317
normalized size 1 1. 0.74 0. 1.18 4.18 0. 4.34
time (sec) N/A 0.023 0.122 0.038 1.12 1.814 0. 1.182
Problem 244 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) A F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 120 120 87 0 0 726 0 1025
normalized size 1 1. 0.72 0. 0. 6.05 0. 8.54
time (sec) N/A 0.048 0.272 0.1 0. 1.976 0. 1.297
Problem 245 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F A B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 203 197 292 0 186 1547 0 4354
normalized size 1 0.97 1.44 0. 0.92 7.62 0. 21.45
time (sec) N/A 0.083 1.339 0.128 1.219 1.931 0. 1.51
Problem 246 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 266 260 311 0 0 2880 0 9288
normalized size 1 0.98 1.17 0. 0. 10.83 0. 34.92
time (sec) N/A 0.128 3.378 0.138 0. 2.074 0. 1.73
Problem 247 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 18 18 37 19 24 53 41 57
normalized size 1 1. 2.06 1.06 1.33 2.94 2.28 3.17
time (sec) N/A 0.016 0.011 0.007 1.049 1.919 1.188 1.136
Problem 248 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 39 39 36 52 66 122 0 108
normalized size 1 1. 0.92 1.33 1.69 3.13 0. 2.77
time (sec) N/A 0.031 0.027 0.014 1.056 1.989 0. 1.196
Problem 249 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 42 42 42 36 116 167 87 109
normalized size 1 1. 1. 0.86 2.76 3.98 2.07 2.6
time (sec) N/A 0.032 0.009 0.014 1.028 1.918 16.149 1.208
Problem 250 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 73 73 51 84 126 270 0 154
normalized size 1 1. 0.7 1.15 1.73 3.7 0. 2.11
time (sec) N/A 0.047 0.046 0.015 1.046 1.876 0. 1.268
Problem 251 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 65 51 176 333 0 157
normalized size 1 1. 1. 0.78 2.71 5.12 0. 2.42
time (sec) N/A 0.037 0.018 0.017 1.04 1.946 0. 1.192
Problem 252 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 67 67 62 256 0 0 0 0
normalized size 1 1. 0.93 3.82 0. 0. 0. 0.
time (sec) N/A 0.044 0.056 0.085 0. 0. 0. 0.
Problem 253 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 67 67 114 237 0 0 0 0
normalized size 1 1. 1.7 3.54 0. 0. 0. 0.
time (sec) N/A 0.044 0.122 0.09 0. 0. 0. 0.
Problem 254 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 28 28 28 183 0 0 0 0
normalized size 1 1. 1. 6.54 0. 0. 0. 0.
time (sec) N/A 0.028 0.021 0.07 0. 0. 0. 0.
Problem 255 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 28 28 28 183 0 0 0 0
normalized size 1 1. 1. 6.54 0. 0. 0. 0.
time (sec) N/A 0.028 0.02 0.069 0. 0. 0. 0.
Problem 256 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 58 141 0 0 0 0
normalized size 1 1. 0.92 2.24 0. 0. 0. 0.
time (sec) N/A 0.042 0.057 0.098 0. 0. 0. 0.
Problem 257 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 67 67 122 295 0 0 0 0
normalized size 1 1. 1.82 4.4 0. 0. 0. 0.
time (sec) N/A 0.042 0.085 0.089 0. 0. 0. 0.
Problem 258 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F A F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 206 206 85 0 0 475 0 0
normalized size 1 1. 0.41 0. 0. 2.31 0. 0.
time (sec) N/A 0.154 0.459 0.334 0. 1.863 0. 0.
Problem 259 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F A F F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 102 102 74 0 0 360 0 0
normalized size 1 1. 0.73 0. 0. 3.53 0. 0.
time (sec) N/A 0.082 0.318 0.151 0. 1.797 0. 0.
Problem 260 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 42 42 61 0 0 167 0 0
normalized size 1 1. 1.45 0. 0. 3.98 0. 0.
time (sec) N/A 0.05 0.149 0.149 0. 1.8 0. 0.
Problem 261 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 101 101 121 0 0 312 0 0
normalized size 1 1. 1.2 0. 0. 3.09 0. 0.
time (sec) N/A 0.075 0.252 0.148 0. 1.874 0. 0.
Problem 262 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 101 101 373 347 0 344 0 0
normalized size 1 1. 3.69 3.44 0. 3.41 0. 0.
time (sec) N/A 0.177 0.352 0.04 0. 1.902 0. 0.
Problem 263 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 107 107 111 358 0 774 0 0
normalized size 1 1. 1.04 3.35 0. 7.23 0. 0.
time (sec) N/A 0.194 0.285 0.091 0. 1.837 0. 0.
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 83 83 62 77 92 325 139 81
normalized size 1 1. 0.75 0.93 1.11 3.92 1.67 0.98
time (sec) N/A 0.039 0.042 0.011 1.065 1.793 82.59 1.326
Problem 265 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 57 57 47 67 72 263 182 77
normalized size 1 1. 0.82 1.18 1.26 4.61 3.19 1.35
time (sec) N/A 0.037 0.033 0.01 1.017 1.682 21.157 1.289
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 49 49 39 49 54 154 78 46
normalized size 1 1. 0.8 1. 1.1 3.14 1.59 0.94
time (sec) N/A 0.029 0.02 0.01 1.184 2.012 5.695 1.227
Problem 267 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 37 32 131 80 30
normalized size 1 1. 1. 1.61 1.39 5.7 3.48 1.3
time (sec) N/A 0.015 0.011 0.007 1.113 1.796 1.256 1.199
Problem 268 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 17 17 17 19 22 76 0 22
normalized size 1 1. 1. 1.12 1.29 4.47 0. 1.29
time (sec) N/A 0.017 0.012 0.006 1.593 1.783 0. 1.161
Problem 269 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 40 40 36 45 50 304 0 50
normalized size 1 1. 0.9 1.12 1.25 7.6 0. 1.25
time (sec) N/A 0.029 0.061 0.011 1.652 1.739 0. 1.308
Problem 270 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 29 29 29 30 92 238 0 42
normalized size 1 1. 1. 1.03 3.17 8.21 0. 1.45
time (sec) N/A 0.027 0.018 0.037 1.066 1.66 0. 1.281
Problem 271 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 64 83 112 1424 0 82
normalized size 1 1. 0.67 0.87 1.18 14.99 0. 0.86
time (sec) N/A 0.047 0.083 0.04 1.567 1.841 0. 1.252
Problem 272 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 60 60 44 61 232 635 0 57
normalized size 1 1. 0.73 1.02 3.87 10.58 0. 0.95
time (sec) N/A 0.048 0.034 0.035 1.041 1.781 0. 1.22
Problem 273 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 26 26 26 34 23 170 42 23
normalized size 1 1. 1. 1.31 0.88 6.54 1.62 0.88
time (sec) N/A 0.02 0.013 0.019 1.062 1.826 0.814 1.238
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 19 19 16 22 18 95 20 18
normalized size 1 1. 0.84 1.16 0.95 5. 1.05 0.95
time (sec) N/A 0.011 0.008 0.007 1.004 1.745 0.302 1.258
Problem 275 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 92 92 24 25 103 354 0 103
normalized size 1 1. 0.26 0.27 1.12 3.85 0. 1.12
time (sec) N/A 0.064 0.01 0.041 1.562 1.964 0. 1.168
Problem 276 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C A B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 111 111 106 36 119 494 0 119
normalized size 1 1. 0.95 0.32 1.07 4.45 0. 1.07
time (sec) N/A 0.075 0.085 0.043 1.562 1.939 0. 1.221
Problem 277 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 26 26 26 34 23 240 42 23
normalized size 1 1. 1. 1.31 0.88 9.23 1.62 0.88
time (sec) N/A 0.019 0.015 0.016 1.047 1.789 0.803 1.21
Problem 278 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 19 19 16 26 18 130 20 18
normalized size 1 1. 0.84 1.37 0.95 6.84 1.05 0.95
time (sec) N/A 0.012 0.009 0.018 1.056 1.901 0.302 1.223
Problem 279 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 55 55 24 79 96 288 0 59
normalized size 1 1. 0.44 1.44 1.75 5.24 0. 1.07
time (sec) N/A 0.058 0.011 0.04 1.566 2.064 0. 1.209
Problem 280 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 110 110 34 59 107 474 0 0
normalized size 1 1. 0.31 0.54 0.97 4.31 0. 0.
time (sec) N/A 0.205 0.02 0.053 1.599 2.084 0. 0.
Problem 281 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 26 26 26 34 23 311 42 23
normalized size 1 1. 1. 1.31 0.88 11.96 1.62 0.88
time (sec) N/A 0.019 0.015 0.013 1.034 1.906 0.816 1.332
Problem 282 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 19 19 19 26 18 163 20 18
normalized size 1 1. 1. 1.37 0.95 8.58 1.05 0.95
time (sec) N/A 0.011 0.009 0.008 1.04 1.865 0.304 1.262
Problem 283 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 371 371 24 25 0 3322 0 336
normalized size 1 1. 0.06 0.07 0. 8.95 0. 0.91
time (sec) N/A 0.321 0.01 0.036 0. 2.22 0. 1.357
Problem 284 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 379 379 34 36 0 4143 0 352
normalized size 1 1. 0.09 0.09 0. 10.93 0. 0.93
time (sec) N/A 0.319 0.02 0.046 0. 2.112 0. 1.254
Problem 285 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 202 202 159 326 181 5434 0 1673
normalized size 1 1. 0.79 1.61 0.9 26.9 0. 8.28
time (sec) N/A 0.078 0.657 0.065 1.088 2.032 0. 1.466
Problem 286 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B A C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 132 132 85 143 127 1783 604 1219
normalized size 1 1. 0.64 1.08 0.96 13.51 4.58 9.23
time (sec) N/A 0.053 0.225 0.037 1.089 2.526 110.87 1.453
Problem 287 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B A C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 75 75 50 74 85 643 316 825
normalized size 1 1. 0.67 0.99 1.13 8.57 4.21 11.
time (sec) N/A 0.018 0.104 0.017 1.05 2.519 12.015 1.371
Problem 288 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 68 68 70 0 0 0 0 0
normalized size 1 1. 1.03 0. 0. 0. 0. 0.
time (sec) N/A 0.022 0.019 0.016 0. 0. 0. 0.
Problem 289 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 70 70 70 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.029 0.016 0.023 0. 0. 0. 0.
Problem 290 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 124 124 96 0 0 0 0 0
normalized size 1 1. 0.77 0. 0. 0. 0. 0.
time (sec) N/A 0.052 0.217 0.029 0. 0. 0. 0.
Problem 291 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 133 133 101 0 0 0 0 0
normalized size 1 1. 0.76 0. 0. 0. 0. 0.
time (sec) N/A 0.059 0.185 0.033 0. 0. 0. 0.
Problem 292 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 250 250 106 0 151 562 0 136
normalized size 1 1. 0.42 0. 0.6 2.25 0. 0.54
time (sec) N/A 0.229 0.097 180. 1.096 2.195 0. 1.212
Problem 293 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 162 162 78 0 100 323 0 99
normalized size 1 1. 0.48 0. 0.62 1.99 0. 0.61
time (sec) N/A 0.124 0.107 180. 1.151 2.018 0. 1.291
Problem 294 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F A A F(-2) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 48 0 39 163 0 31
normalized size 1 1. 0.65 0. 0.53 2.2 0. 0.42
time (sec) N/A 0.099 0.038 180. 1.151 1.726 0. 1.228
Problem 295 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 44 44 42 0 28 97 0 27
normalized size 1 1. 0.95 0. 0.64 2.2 0. 0.61
time (sec) N/A 0.113 0.054 180. 1.714 1.826 0. 1.233
Problem 296 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F A B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 56 56 46 0 113 302 0 51
normalized size 1 1. 0.82 0. 2.02 5.39 0. 0.91
time (sec) N/A 0.129 0.072 180. 1.068 1.793 0. 1.251
Problem 297 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F A B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 141 141 72 0 282 797 0 69
normalized size 1 1. 0.51 0. 2. 5.65 0. 0.49
time (sec) N/A 0.197 0.069 180. 1.056 1.923 0. 1.208
Problem 298 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F B B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 191 191 84 0 521 1516 0 86
normalized size 1 1. 0.44 0. 2.73 7.94 0. 0.45
time (sec) N/A 0.259 0.079 180. 1.082 1.858 0. 1.269
Problem 299 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 41 41 28 62 0 135 99 43
normalized size 1 1. 0.68 1.51 0. 3.29 2.41 1.05
time (sec) N/A 0.013 0.046 0.016 0. 1.888 1.428 1.232
Problem 300 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 85 85 79 72 88 286 0 99
normalized size 1 1. 0.93 0.85 1.04 3.36 0. 1.16
time (sec) N/A 0.081 0.081 0.124 1.1 1.853 0. 1.31
Problem 301 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 101 101 91 97 109 367 0 123
normalized size 1 1. 0.9 0.96 1.08 3.63 0. 1.22
time (sec) N/A 0.125 0.146 0.099 1.09 1.755 0. 1.258
Problem 302 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C C A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 51 52 61 130 0 61
normalized size 1 1. 0.78 0.8 0.94 2. 0. 0.94
time (sec) N/A 0.064 0.067 0.069 1.061 1.925 0. 1.204
Problem 303 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 65 65 71 48 63 234 0 66
normalized size 1 1. 1.09 0.74 0.97 3.6 0. 1.02
time (sec) N/A 0.079 0.096 0.072 1.083 1.886 0. 1.277
Problem 304 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 115 115 122 105 120 466 0 136
normalized size 1 1. 1.06 0.91 1.04 4.05 0. 1.18
time (sec) N/A 0.159 0.353 0.139 1.078 1.822 0. 1.228
Problem 305 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 110 110 102 100 122 591 0 143
normalized size 1 1. 0.93 0.91 1.11 5.37 0. 1.3
time (sec) N/A 0.148 0.122 0.122 1.083 1.872 0. 1.234
Problem 306 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 148 148 149 126 171 826 0 479
normalized size 1 1. 1.01 0.85 1.16 5.58 0. 3.24
time (sec) N/A 0.191 0.677 0.172 1.574 1.959 0. 1.3
Problem 307 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 239 239 286 207 270 1287 0 301
normalized size 1 1. 1.2 0.87 1.13 5.38 0. 1.26
time (sec) N/A 0.286 0.41 0.208 1.665 2.098 0. 1.302
Problem 308 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 115 115 123 126 138 699 0 181
normalized size 1 1. 1.07 1.1 1.2 6.08 0. 1.57
time (sec) N/A 0.22 0.267 0.098 1.028 1.972 0. 1.229
Problem 309 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 161 161 220 158 193 956 0 525
normalized size 1 1. 1.37 0.98 1.2 5.94 0. 3.26
time (sec) N/A 0.273 0.626 0.127 1.536 1.925 0. 1.294
Problem 310 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 257 257 353 265 308 1519 0 385
normalized size 1 1. 1.37 1.03 1.2 5.91 0. 1.5
time (sec) N/A 0.466 0.77 0.171 1.565 2.102 0. 1.283
Problem 311 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 133 133 104 117 142 598 0 178
normalized size 1 1. 0.78 0.88 1.07 4.5 0. 1.34
time (sec) N/A 0.194 0.151 0.097 1.064 1.935 0. 1.284
Problem 312 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 161 161 131 139 177 678 0 203
normalized size 1 1. 0.81 0.86 1.1 4.21 0. 1.26
time (sec) N/A 0.22 0.225 0.113 1.048 2.018 0. 1.37
Problem 313 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 271 271 214 234 285 1202 0 356
normalized size 1 1. 0.79 0.86 1.05 4.44 0. 1.31
time (sec) N/A 0.338 0.448 0.14 1.067 2.023 0. 1.348
Problem 314 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 81 81 75 70 93 412 0 101
normalized size 1 1. 0.93 0.86 1.15 5.09 0. 1.25
time (sec) N/A 0.158 0.317 0.073 1.035 1.887 0. 1.317
Problem 315 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 128 128 179 101 135 720 0 144
normalized size 1 1. 1.4 0.79 1.05 5.62 0. 1.12
time (sec) N/A 0.203 0.542 0.091 1.103 2.018 0. 1.358
Problem 316 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 171 171 270 144 193 1301 0 209
normalized size 1 1. 1.58 0.84 1.13 7.61 0. 1.22
time (sec) N/A 0.297 1.196 0.127 1.128 2.045 0. 1.34
Problem 317 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 140 140 165 147 171 855 0 232
normalized size 1 1. 1.18 1.05 1.22 6.11 0. 1.66
time (sec) N/A 0.311 0.652 0.157 1.073 2.011 0. 1.3
Problem 318 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 183 183 258 177 217 1119 0 267
normalized size 1 1. 1.41 0.97 1.19 6.11 0. 1.46
time (sec) N/A 0.332 1.427 0.168 1.1 1.917 0. 1.24
Problem 319 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F(-1) A
verified N/A Yes NO TBD TBD TBD TBD TBD
size 300 300 478 302 355 2219 0 475
normalized size 1 1. 1.59 1.01 1.18 7.4 0. 1.58
time (sec) N/A 0.581 5.745 0.236 1.136 2.154 0. 1.388
Problem 320 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 153 153 134 156 174 717 0 228
normalized size 1 1. 0.88 1.02 1.14 4.69 0. 1.49
time (sec) N/A 0.291 0.309 0.106 1.089 2.029 0. 1.309
Problem 321 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 219 219 183 211 250 934 0 304
normalized size 1 1. 0.84 0.96 1.14 4.26 0. 1.39
time (sec) N/A 0.369 0.522 0.171 1.081 1.978 0. 1.247
Problem 322 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 315 315 262 316 355 1434 0 463
normalized size 1 1. 0.83 1. 1.13 4.55 0. 1.47
time (sec) N/A 0.457 0.957 0.159 1.109 1.991 0. 1.307
Problem 323 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 154 154 185 160 188 878 0 244
normalized size 1 1. 1.2 1.04 1.22 5.7 0. 1.58
time (sec) N/A 0.321 0.658 0.164 1.075 1.914 0. 1.268
Problem 324 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 225 225 257 217 269 1269 0 323
normalized size 1 1. 1.14 0.96 1.2 5.64 0. 1.44
time (sec) N/A 0.35 2.2 0.213 1.079 2.075 0. 1.295
Problem 325 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A A B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 323 323 2511 326 387 2249 0 498
normalized size 1 1. 7.77 1.01 1.2 6.96 0. 1.54
time (sec) N/A 0.512 6.498 0.233 1.11 2.088 0. 1.267
Problem 326 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F A
verified N/A Yes NO TBD TBD TBD TBD TBD
size 161 161 251 186 204 975 0 282
normalized size 1 1. 1.56 1.16 1.27 6.06 0. 1.75
time (sec) N/A 0.426 1.494 0.124 1.081 1.997 0. 1.254
Problem 327 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F(-1) A
verified N/A Yes NO TBD TBD TBD TBD TBD
size 239 239 339 249 290 1382 0 369
normalized size 1 1. 1.42 1.04 1.21 5.78 0. 1.54
time (sec) N/A 0.506 5.978 0.149 1.149 1.982 0. 1.332
Problem 328 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A A B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 344 344 2991 384 425 2454 0 582
normalized size 1 1. 8.69 1.12 1.24 7.13 0. 1.69
time (sec) N/A 0.734 6.643 0.197 1.133 2.187 0. 1.295
Problem 329 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B F F F(-2) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 20 20 46 0 0 0 0 0
normalized size 1 1. 2.3 0. 0. 0. 0. 0.
time (sec) N/A 0.05 0.346 0.07 0. 0. 0. 0.
Problem 330 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 24 24 16 0 0 374 0 0
normalized size 1 1. 0.67 0. 0. 15.58 0. 0.
time (sec) N/A 0.051 0.075 0.069 0. 1.798 0. 0.
Problem 331 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 47 47 64 0 0 0 0 0
normalized size 1 1. 1.36 0. 0. 0. 0. 0.
time (sec) N/A 0.071 0.584 0.093 0. 0. 0. 0.
Problem 332 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 36 36 76 0 0 0 0 0
normalized size 1 1. 2.11 0. 0. 0. 0. 0.
time (sec) N/A 0.094 0.18 0.063 0. 0. 0. 0.
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 30 30 26 25 49 80 41 49
normalized size 1 1. 0.87 0.83 1.63 2.67 1.37 1.63
time (sec) N/A 0.038 0.064 0.007 1.049 1.835 0.252 1.237
Problem 334 Optimal Rubi Mathematica Maple 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 51 52 109 184 85 101
normalized size 1 1. 0.91 0.93 1.95 3.29 1.52 1.8
time (sec) N/A 0.075 0.088 0.007 1.043 1.805 0.896 1.213
Problem 335 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-2) B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 213 213 180 212 0 624 0 0
normalized size 1 1. 0.85 1. 0. 2.93 0. 0.
time (sec) N/A 0.523 0.281 0.039 0. 1.85 0. 0.
Problem 336 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-2) B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 271 271 248 370 0 1445 0 0
normalized size 1 1. 0.92 1.37 0. 5.33 0. 0.
time (sec) N/A 0.751 0.467 0.04 0. 1.982 0. 0.

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 [279] had the largest ratio of [ 1.125 ]

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

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