+coq: nuovo nucleo mooooolto lento in guarded by: cic:/Coq/ZArith/Zsqrt/sqrtrempos.con
+orsay: nuovo nucleo diverge (vedi sopra)
+Sophia-Antipolis/Buchberger: nuovo nucleo diverge
+
+Sophia-Antipolis/huffmann: Unknown constant
+Sophia-Antipolis/MATH/GROUPS: Unknown constant