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]
      CallforParticipation [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]