All experiments with configuration information, dataset are in the process of being standardized and made available at PAT website. The data is to show that PAT’s model checking library is highly optimized.
Details about the experiments can be found in Post to Post Links II error: No post found with slug "experiments".