Dear all, I think the proposed new categories (integer transitions systems, C language, ...) need benchmarks (problem sets) for testing. Please upload some to starexec, and make them public (and announce here). - Johannes.