Created oracle for PS4.
Merge branch 'master' into official_solution_4
Merge branch 'master' into official_solution_4
Updated parallel execution of OfficialSolution4.
Updated number of test repetitions for PS4 to 100.
Merge branch 'master' into official_solution_4
Merge branch 'master' into official_solution_4
Moved dependency on Atlas to 0.17.1, fixed compilation errors from Atlas library method refactoring.
Merge branch 'master' into official_solution_4
Replaced OfficialSolution4 preview jar with source.