PVS: gute Leistung in neuer Struktur