List of long proofs

Wish someone would organize a sensible collection of of Large Theories Common Sense problems, a bit like the TPTP collection. Also need to check out the Intuitionistic Logic benchmarks, the ILTP Library.