Ramsey-Infinite: ok
ClockSynchInst: ok
BinarySearchTree: ok
Depth-First-Search: ok
CoreC++: ok
Example-Submission: ok
JiveDataStoreModel: ok
Verified-Prover: ok
Topology: ok
Lazy-Lists-II: ok
Completeness: ok
Abstract-Hoare-Logics: ok
Group-Ring-Module: ok
MiniML: ok
Integration: ok
FileRefinement: ok
DiskPaxos: ok
FFT: ok
FeatherweightJava: ok
Compiling-Exceptions-Correctly: ok
Flyspeck-Tame: FAIL
Ordinal: ok
Cauchy: ok
Functional-Automata: ok
RSAPSS: ok
HotelKeyCards: ok
AVL-Trees: ok
Jinja: ok
Category: ok
GenClock: ok

