Ramsey-Infinite: ok ClockSynchInst: ok Depth-First-Search: ok Completeness: ok Abstract-Hoare-Logics: ok Group-Ring-Module: ok Valuation: ok FunWithFunctions: ok POPLmark-deBruijn: ok DiskPaxos: ok FeatherweightJava: ok Ordinal: ok Functional-Automata: ok Cauchy: ok Fermat3_4: ok Program-Conflict-Analysis: ok LinearQuantifierElim: ok FOL-Fitting: ok MuchAdoAboutTwo: ok GenClock: ok Recursion-Theory-I: ok BinarySearchTree: ok CoreC++: ok SATSolverVerification: ok Example-Submission: ok SumSquares: ok BDD: ok JiveDataStoreModel: ok Verified-Prover: ok Topology: ok Lazy-Lists-II: ok Simpl: ok NormByEval: ok Integration: FAIL MiniML: ok JinjaThreads: ok FileRefinement: ok FFT: ok Compiling-Exceptions-Correctly: ok Flyspeck-Tame: ok RSAPSS: ok HotelKeyCards: ok AVL-Trees: ok Jinja: ok Category: ok