Judge Server #0 (2004-2008)

Machine	we have migrated
Operating System	Linux (coLinux) on Windows XP
Processor	Pentium (R) M 1.30 GHz
Memory	1024 Mbyte
Software	Perl, C++

Judge Server #1 (2009-2012)

Machine	Dell PowerEdge R300
Operating System	Linux
Processor	Dual Core Intel(R) Xeon(R) E3113 3GHz
Memory	1 GB
Software	closed

Judge Server #2 (2009-2012)

Machine	Dell PowerEdge R300
Operating System	Linux
Processor	Dual Core Intel(R) Xeon(R) E3113 3GHz
Memory	1 GB
Software	closed

Judge Server #3 (2012-)

Machine	Dell PowerEdge R210
Operating System	Linux
Processor	Intel(R) Xeon(R) Processor E3-1270 3.40 GHz
Memory	2 GB
Software	closed

Judge Server #4 (2012-)

Machine	Dell PowerEdge R210 II
Operating System	Linux
Processor	Intel(R) Xeon(R) Processor E3-1270 3.40 GHz
Memory	4 GB
Software	closed

Judge Server #5 (2013-)

Machine	Dell PowerEdge R210 II
Operating System	Linux
Processor	Intel(R) Xeon(R) Processor E3-1240v2 3.40 GHz
Memory	8 GB
Software	closed

Judge Server #6 (2015-)

Machine	Dell PowerEdge R210 II
Operating System	Linux
Processor	Intel(R) Xeon(R) Processor E3-1280 v2 3.6 GHz, Turbo 4C/8T
Memory	8 GB
Software	closed

Judge Server #7 (2015-)

Machine	Dell PowerEdge R220
Operating System	Linux
Processor	Intel(R) Xeon(R) Processor E3-1286 v3 3.7 GHz, Turbo 4C/8T
Memory	8 GB
Software	closed

Judge Server #8 (2015-)

Machine	Dell PowerEdge R220
Operating System	Linux
Processor	Intel(R) Xeon(R) Processor E3-1286 v3 3.7 GHz, Turbo 4C/8T
Memory	8 GB
Software	closed

Judge Server #9 (2017-)

Machine	Dell PowerEdge R210 II
Operating System	Linux
Processor	Intel(R) Xeon(R) Processor E3-1280 v2 3.6 GHz, Turbo 4C/8T
Memory	8 GB
Software	closed

Judge Server #10 (2020-)

Machine	Dell PowerEdge R240
Operating System	Linux
Processor	Intel(R) Xeon(R) Processor E-2286G 4.0 GHz, 6C/12T
Memory	8 GB
Software	closed

Judge Server #11 (2021-)

Machine	Dell PowerEdge R240
Operating System	Linux
Processor	Intel(R) Xeon(R) Processor E-2286G 4.0 GHz, 6C/12T
Memory	8 GB
Software	closed

Judge Server #12 (2022-)

Machine	Dell PowerEdge R250
Operating System	Linux
Processor	Intel(R) Xeon(R) Processor E-2378G 2.8 GHz, Turbo 8C/16T
Memory	8 GB
Software	closed

Judge Server #13 (2022-)

Machine	Dell PowerEdge R250
Operating System	Linux
Processor	Intel(R) Xeon(R) Processor E-2378G 2.8 GHz, Turbo 8C/16T
Memory	8 GB
Software	closed

Web Server (2011.4-)

Machine	Dell PowerEdge
Service	Database, Judge Queue, etc.

Web Service Server #1

Machine	Dell PowerEdge
Service	BBS, Tags, Statistics, Ranking, etc.

Web Service Server #2

Machine	Dell PowerEdge
Service	Virtual Arena, etc.