Each version contains a fault header file (FaultSeeds.h) and 
fault-seeded programs named xxx.cpp.
