Pages moved to http://verif.cs.vsb.cz/sb