Bei mir laufen wieder AP27. Die werden auch recht schnell validiert. Wenn genug Leute große GFN rechnen, sollten die Dinger auch validiert werden. Es kann allerdings sein, dass ein ganzer Schwung Proof Tasks bei einem User mit ewig langem Cache landet, und dann bleiben die da ggfs. erst einmal. Was ...