CallforParticipation [view]
      FrontPage [view]
           Pictures [view]
           SystemTrackFinalResults [view]
           Model&SolveTrackFinalResults [view]
           Participants [view]
                Participants/clasp(folio)(d)-Potassco [view]
                Participants/IDP [view]
                Participants/Cmodels [view]
                Participants/SUP [view]
                Participants/Aalto_lp2diffz3 [view]
                Participants/Aalto_lp2sat2gminisat [view]
                Participants/Aalto_lp2sat2minisat [view]
                Participants/Aalto_lp2sat2lminisat [view]
                Participants/Aalto_smodels [view]
                Participants/aclasp [view]
                Participants/BPSolver [view]
                Participants/EZCSP [view]
                Participants/FastDownward [view]
                Participants/Model&Solve-IDP [view]
                Participants/Potassco [view]
           OfficialProblemSuite [view]
           ParticipantSubmission [view]
                RunModelSolve [view]
                RunSystem [view]
           MSCompetition [view]
           SystemCompetition [view]
                Benchmark problems classification [view]
           ParticipationRules [view]
           BenchmarkProblems [view]
           BenchmarkSubmission [view]
                ProblemPackageFormats [view]
           NewsUpdates [view]
           ToolsUtilities [view]
           PreliminaryProblemList [view]
           OrganizingCommittee [view]