An error occurred while fetching the assigned milestone of the selected merge_request.
WIP: Enable runs with 3 different rngSeeds
Compare changes
+ 1
− 1
@@ -9,7 +9,7 @@
Don't merge this into master, just check whether this is okay and use it for runs for promising parameters.
Also see http://pg-andi-redmine.cs.upb.de/issues/494 for results from different runs (or look into Aug9 on oculus for all results).