CPALockator test set does not check expected result of tasks
The CPALockator test set does not set a property file, and the program files to not have the expected format, so BenchExec cannot check whether the results are as expected. This limits the usefulness of the test set as integration test.