Basic statistic
If a problem not solved by this program and it also not solved by Maple, then it is now counted as solved as it means the problem has no analytical solution. Only problems that are solved by Maple but not solved by this program are now counted as not solved.
Problems not solved by this program and also not solved by Maple, are marked with ❇ in the summary tables.
The number of problems is \(15568\).
Number of problems solved and verified is \(14485\) [\(93.04\%\)].
Number of problems solved (verified or not) is \(14589\). [\(93.71\%\)].
Number of problems not solved is \(979\) [\(6.29\%\)].
Number of problems solved but not verified is \(42\) [\(0.27\%\)].
Percentage of verified problems among those that were solved is \(99.29\%\).
Percentage of not verified problems among those that were solved is \(0.29\%\).
Number of problems solved by Maple is 14871.
Number of problems not solved by Maple is 697.
Percentage of problems solved by Maple is \(95.52\%\).
Number of problems solved by Mathematica is \(14732\).
Number of problems not solved by Mathematica is \(836\).
Percentage of problems solved by Mathematica is \(94.63\%\).