Current status of the machines

Green means it is available, gray means it is occupied, yellow means that the status of the machine is unknown and red means that the computer is broken (or just powered off). This information is updated every two minutes.