8000 GitHub - tquatmann/qcomp23-multi: Experimental results for the multi-objective analysis category of QComp 2023
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Experimental results for the multi-objective analysis category of QComp 2023

License

Notifications You must be signed in to change notification settings

tquatmann/qcomp23-multi

8000

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

2 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Experimental Data for Multi-Objective Analysis (QComp 2023)

Overview of Contents

This package contains the experimental data for the category Multi-Objective Analysis of QComp 2023

  • models contains all benchmark models and verification queries
  • results contains the obtained log-files and processed data
  • scripts contains a set of python scripts used to invoke the tools and process their output

Browsing the Results

The directory results contains all raw logfiles and the derived data, including browsable html tables. The data directory was generated using the commands

cd path/to/results/
python3 ../scripts/postprocess.py logs

Generating Replication Scripts

To run custom experiments, cd into an empty directory and run python3 path/to/scripts/run.py. The script guides the user to generate the command lines and stores them in an invocations file in .json format. These command lines can then be executed using python3 path/to/scripts/run.py inv*.json

Considered Tool Versions

We considered the following tool versions:

About

Experimental results for the multi-objective analysis category of QComp 2023

Resources

License

Stars

Watchers

Forks

Packages

No packages published
0