vj4. Next generation version of Vijos, the 10+ years' (since 2005) online judge service with millions of submissions.