Initial commit
parents
No related branches found
No related tags found
Showing
- .gitignore 224 additions, 0 deletions.gitignore
- README.md 44 additions, 0 deletionsREADME.md
- benchmarks/README.md 28 additions, 0 deletionsbenchmarks/README.md
- benchmarks/analysis.ipynb 0 additions, 0 deletionsbenchmarks/analysis.ipynb
- benchmarks/analysis.py 209 additions, 0 deletionsbenchmarks/analysis.py
- benchmarks/benchmarks.sh 145 additions, 0 deletionsbenchmarks/benchmarks.sh
- benchmarks/models/Pipeline_KP12_2_3-EFwitness.imiprop 26 additions, 0 deletionsbenchmarks/models/Pipeline_KP12_2_3-EFwitness.imiprop
- benchmarks/models/Pipeline_KP12_2_3.collapsing.maude 0 additions, 0 deletionsbenchmarks/models/Pipeline_KP12_2_3.collapsing.maude
- benchmarks/models/Pipeline_KP12_2_3.imi 166 additions, 0 deletionsbenchmarks/models/Pipeline_KP12_2_3.imi
- benchmarks/models/Pipeline_KP12_2_3.imi.full 0 additions, 0 deletionsbenchmarks/models/Pipeline_KP12_2_3.imi.full
- benchmarks/models/Pipeline_KP12_2_3.maude 0 additions, 0 deletionsbenchmarks/models/Pipeline_KP12_2_3.maude
- benchmarks/models/Pipeline_KP12_2_5-EFwitness.imiprop 24 additions, 0 deletionsbenchmarks/models/Pipeline_KP12_2_5-EFwitness.imiprop
- benchmarks/models/Pipeline_KP12_2_5.imi 180 additions, 0 deletionsbenchmarks/models/Pipeline_KP12_2_5.imi
- benchmarks/models/Pipeline_KP12_2_5.imi.full 0 additions, 0 deletionsbenchmarks/models/Pipeline_KP12_2_5.imi.full
- benchmarks/models/Pipeline_KP12_2_5.maude 0 additions, 0 deletionsbenchmarks/models/Pipeline_KP12_2_5.maude
- benchmarks/models/Pipeline_KP12_3_2-EFwitness.imiprop 25 additions, 0 deletionsbenchmarks/models/Pipeline_KP12_3_2-EFwitness.imiprop
- benchmarks/models/Pipeline_KP12_3_2.imi 183 additions, 0 deletionsbenchmarks/models/Pipeline_KP12_3_2.imi
- benchmarks/models/Pipeline_KP12_3_2.imi.full 0 additions, 0 deletionsbenchmarks/models/Pipeline_KP12_3_2.imi.full
- benchmarks/models/Pipeline_KP12_3_2.maude 0 additions, 0 deletionsbenchmarks/models/Pipeline_KP12_3_2.maude
- benchmarks/models/Pipeline_KP12_3_3-EFwitness.imiprop 25 additions, 0 deletionsbenchmarks/models/Pipeline_KP12_3_3-EFwitness.imiprop
Loading
Please register or sign in to comment