This page provides a description of all the subjects with their corresponding ground truth properties. As we describe in our paper, our ground truth is composed of 65 postcondition assertions, corresponding to 43 Java methods. Below we list each one of these 43 subject methods, as well as the ground truth that corresponds to the postconditions assertions.