I have a table: voj_submission with following structure:
CREATE TABLE IF NOT EXISTS `voj_submissions` (
    `submission_id` bigint(20) NOT NULL,
    `problem_id` bigint(20) NOT NULL,
    `uid` bigint(20) NOT NULL,
    `submission_judge_result` varchar(8) DEFAULT NULL,
) ENGINE=InnoDB AUTO_INCREMENT=1004 DEFAULT CHARSET=utf8;
And the data in the table may like this:
SubmissionID ProblemID UserID JudgeResult
1000         1000      User1   AC
1001         1000      User1   WA
1002         1000      User2   CE
1003         1001      User1   AC
And following SQL wants to get the latest judge result of problems:
SELECT submission_id, problem_id, submission_judge_result 
FROM (
    SELECT * FROM 
    voj_submissions 
    ORDER BY submission_id DESC 
) s 
WHERE uid = 'User1'
AND problem_id >= 1000
AND problem_id < 1010
GROUP BY problem_id
In MySQL 5.6, it works properly and returns following result set:
SubmissionID ProblemID JudgeResult
1001         1000      WA
1003         1001      AC
But in MariaDB 10.0.14, it returns:
SubmissionID ProblemID JudgeResult
1000         1000      AC
1003         1001      AC
That means the ORDER BY DESC didn't execute in MariaDB.
How can I solve this problem?
Reference:
 
    