Commit 64bb2468 authored by Jaime Arias's avatar Jaime Arias
Browse files

remove old figures

parent 7c0fc7af
......@@ -16,6 +16,10 @@ ipython_config.py
results/pmc-sog/
results/pnml2lts-mc/
results/output.csv
results/figures/compare_multicore
results/figures/compare_thread_library
results/figures/compare_couvreur_algorithm
results/figures/others
results/figures/**/*.html
......
......@@ -26,6 +26,11 @@ git clone https://depot.lipn.univ-paris13.fr/PMC-SOG/experiments/hybrid.git && c
├── formulas # folder containing the LTL\X formulas
├── models # folder containing the models
├── results
│ ├── figures
│ │ ├── compare_distributed # figures comparing the parallel and distributed version of pmc-sog
│ │ ├── compare_tools # figures comparing our tool and pnml2lts-mc
│ │ ├── explored-states # figures showing the states explored by pnml2lts-mc for each formula
│ │ └── time-plots # figures showing the performance of the tool for each formula
│   ├── pmc-sog.zip # results (logs) related to our model-checker
│   └── pnml2lts-mc.zip # results (logs) related to the ltsmin model-checker
├── run-experiment.py # script that run a experiment on the local machine
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment