591200:56:50
-86 days 15:03:10
Contest is over

CS@Mines HSPC 2025 - Upsolving


Time elapsed

2079:03:10

Time Remaining

591200:56:50

Starts in

-86 days 15:03:10

Ends in

24633 days 8:56:50

Start

2025-04-26 19:20 MDT

End

2092-12-30 18:20 MST

Visit Scoreboard
Log in
 

CS@Mines HSPC 2025 - Upsolving

Ada

Compiler settings

We use gnatmake 13.3.0 to compile your program with the following command:

$ gnatmake -g -O2 -o {executable} {mainfile}

  • {mainfile} is the entrypoint file (you can specify which file this is when submitting).
  • {executable} is the compiled executable.

File Extensions

Files with any of the following file extensions will be used: .adb, .ads

Additional information

Additional language-specific advice and information for many languages is available in the knowledge base