DOMjudge Manual

Contents:

• Overview
  • Features
  • Requirements and contest planning
  • Copyright and licencing
  • About the name and logo
  • Contact
• Installation of the DOMserver
  • Requirements
  • Installation
  • Database configuration
  • Web server configuration
  • Running behind a proxy or loadbalancer
  • Log in to DOMjudge
• Installation of the judgehosts
  • Requirements
  • Removing apport
  • Building and installing
  • Sudo permissions
  • Creating a chroot environment
  • Linux Control Groups
  • REST API credentials
  • Starting the judgedaemon
• Installation of the team workstations
  • Command line submit client
  • Rebuilding team documentation
• Upgrading
  • Upgrading from pre-7.0 versions
• Configuring the system
  • Setting up users and teams
  • Resetting the password for a user
  • Adding a contest
  • Setting up problems
  • Checking your configuration
  • Testing jury solutions
• Adding contest data in bulk
  • Importing team categories
  • Importing team affiliations
  • Importing teams
  • Importing accounts
  • Importing contest metadata
  • Importing problem metadata
  • Importing problems
  • Putting all API imports together
  • Importing from ICPC CMS API
  • Importing DOMjudge configuration
• Advanced configuration topics
  • Adding graphics, custom styling and custom JavaScript
  • Adding links to documentation to the team interface
  • Authentication and registration
  • Executables
  • Programming languages
  • Special run and compare programs
  • Compare programs
  • Run programs
  • Printing
  • Multiple judgedaemons per machine
  • Multi-site contests
  • Clearing the PHP/Symfony cache
  • Sending errors to Sentry
• Running the contest
  • Team status
  • Clarification Requests
  • Balloon handling
  • Static scoreboard
• Judging topics
  • Flow of a submission
  • Rejudging
  • Ignoring a submission
  • Enforcement of time limits
  • Judging consistency
  • Lazy judging and results priority
  • Disk space and cleanup
  • Solutions to common issues
• Development
  • API
  • Bootstrapping from Git repository sources
  • Maintainer mode installation
  • Makefile structure
  • Debugging and developing
  • Running the test suite
  • Loading development fixture data

Appendices

• Appendix: Quick installation checklist
  • DOMserver
  • Judgehosts
  • Submit client
  • Checking if it works
• DOMjudge team manual
  • Overview of the interface
  • Submitting solutions
    • Command-line: submit
    • Web interface
  • Viewing the results of submissions
    • Possible results
  • Clarifications
  • How are submissions being judged?
    • Submitting solutions
    • Compilation
    • Testing
    • Restrictions
  • Code examples
  • Improvements to DOMjudge
• Appendix: Problem format specification
• Appendix: Running DOMjudge as a shadow system
  • Configuring DOMjudge
  • Importing or creating the contest and problems
  • Configuration the external contest source
  • Running the event feed import command
  • Viewing import warnings
  • Viewing shadow differences
• Appendix: Configuration reference
  • Scoring
    • verification_required
    • compile_penalty
    • penalty_time
    • results_prio
    • results_remap
    • score_in_seconds
  • Judging
    • memory_limit
    • output_limit
    • process_limit
    • sourcesize_limit
    • sourcefiles_limit
    • script_timelimit
    • script_memory_limit
    • script_filesize_limit
    • timelimit_overshoot
    • output_storage_limit
    • lazy_eval_results
    • judgehost_warning
    • judgehost_critical
    • diskspace_error
    • default_compare
    • default_run
    • default_full_debug
    • enable_parallel_judging
    • judgehost_activated_by_default
  • Clarifications
    • clar_categories
    • clar_answers
    • clar_queues
    • clar_default_problem_queue
  • Display
    • output_display_limit
    • show_pending
    • show_flags
    • show_affiliations
    • show_affiliation_logos
    • show_teams_submissions
    • show_compile
    • show_sample_output
    • show_too_late_result
    • show_balloons_postfreeze
    • show_relative_time
    • time_format
    • thumbnail_size
    • show_limits_on_team_page
    • allow_team_submission_download
    • team_column_width
    • show_public_stats
    • show_language_versions
    • show_teams_on_scoreboard
    • enable_ranking
  • Authentication
    • auth_methods
    • ip_autologin
  • External systems
    • print_command
    • event_feed_format
    • data_source
    • external_contest_sources_allow_untrusted_certificates
    • external_judgement_types
    • external_ccs_submission_url
    • icat_url
    • external_contest_source_critical
    • adminer_enabled