README for files used in the experiments of the paper: Reachability for Linear Hybrid Automata Using Iterative Abstraction
Benchmark for Verification of Automated Highway system
************************
We provide the following XML files which we used in our experiments:

motorcar_5.xml
motorcar_6.xml
motorcar_7.xml 
motorcar_8.xml
motorcar_9.xml 
motorcar_10.xml
motorcar_11.xml
motorcar_12.xml
motorcar_13.xml
motorcar_14.xml
motorcar_15.xml
motorcar_100.xml
motorcar_200.xml
motorcar_500.xml    

To each XML file corresponds a CFG (configuration file):

motorcar_5.cfg
motorcar_6.cfg
motorcar_7.cfg 
motorcar_8.cfg
motorcar_9.cfg 
motorcar_10.cfg
motorcar_11.cfg
motorcar_12.cfg
motorcar_13.cfg
motorcar_14.cfg
motorcar_15.cfg
motorcar_100.cfg
motorcar_200.cfg
motorcar_500.cfg 
 


