The following are integrals solved by CAS but the verification phase failed to verify the anti-derivative produced is correct. This does not mean necessarily that the anti-derivative is wrong, as additional methods of verification might be needed, or more time is needed (3 minutes time limit was used). These integrals are listed here to make it easier to do further investigation to determine why it was not possible to verify the result produced.
Rubi
{57, 182, 730, 782, 1121, 1632, 2058, 2494, 3169, 3671, 5641, 6400, 6431, 6940, 7007, 7319, 7608, 7981, 8033, 8630, 9563, 9742}
Mathematica
{369, 782, 1020, 2167, 2439, 2806, 2863, 2997, 3000, 3195, 3248, 3351, 5355, 5511, 7026, 7495, 7738, 8916, 9064, 9261, 9686}
Maple
Verification phase not implemented yet.
Maxima
Verification phase not implemented yet.
Fricas
Verification phase not implemented yet.
Sympy
Verification phase not implemented yet.
Giac
Verification phase not implemented yet.
Mupad
Verification phase not implemented yet.