1. Unzip the zip files.
2. For Windows, run "TestAllImpl.bat";
For Linux, run "TestAllImpl.sh";
Results will be available in the "log" folder.