Preview

TACASartifact
- LICENSE
  
  302 Bytes
- README
  
  5.3 kB
- artifact
  - models
    - brp.N16.MAX2.jani
      
      51.2 kB
    - brp.N16.MAX3.jani
      
      51.2 kB
    - brp.N16.MAX4.jani
      
      51.2 kB
    - brp.N16.MAX5.jani
      
      51.2 kB
    - brp.N32.MAX2.jani
      
      51.2 kB
    - brp.N32.MAX3.jani
      
      51.2 kB
    - brp.N32.MAX4.jani
      
      51.2 kB
    - brp.N32.MAX5.jani
      
      51.2 kB
    - brp.N64.MAX2.jani
      
      51.2 kB
    - brp.N64.MAX3.jani
      
      51.2 kB
    - brp.N64.MAX4.jani
      
      51.2 kB
    - brp.N64.MAX5.jani
      
      51.2 kB
    - coupon.N5DRAWS2.jani
      
      27.7 kB
    - coupon.N7DRAWS3.jani
      
      48.2 kB
    - coupon.N9DRAWS4.jani
      
      74.9 kB
    - crowds.TotalRuns03.CrowdSize10.jani
      
      140.8 kB
    - crowds.TotalRuns04.CrowdSize10.jani
      
      140.8 kB
    - crowds.TotalRuns05.CrowdSize10.jani
      
      140.8 kB
    - crowds.TotalRuns06.CrowdSize10.jani
      
      140.8 kB
    - crowds.TotalRuns07.CrowdSize10.jani
      
      140.8 kB
    - crowds.TotalRuns08.CrowdSize10.jani
      
      140.8 kB
    - crowds.TotalRuns09.CrowdSize10.jani
      
      140.8 kB
    - crowds.TotalRuns10.CrowdSize10.jani
      
      140.8 kB
    - crowds.TotalRuns11.CrowdSize10.jani
      
      140.8 kB
    - crowds.TotalRuns12.CrowdSize10.jani
      
      140.8 kB
    - crowds.TotalRuns13.CrowdSize10.jani
      
      140.8 kB
    - crowds.TotalRuns14.CrowdSize10.jani
      
      140.8 kB
    - crowds.TotalRuns15.CrowdSize10.jani
      
      140.8 kB
    - factory.N08.jani
      
      38.7 kB
    - factory.N09.jani
      
      45.3 kB
    - factory.N10.jani
      
      46.0 kB
    - lumbroso.jani
      
      17.3 kB
    - nand.N20.K4.jani
      
      74.3 kB
    - nand.N40.K4.jani
      
      74.3 kB
    - nand.N60.K4.jani
      
      74.3 kB
    - weatherfactory.N08.jani
      
      76.0 kB
    - weatherfactory.N09.jani
      
      85.2 kB
    - weatherfactory.N10.jani
      
      95.6 kB
  - results
    - results_example.csv
      
      3.9 kB
  - tools
    - benchmark
      - benchmark.sh
        
        5.6 kB
    - gpuexplore
      - SLCOtoGPUexplore
        
        headers
        
        gpuexplore-bitmixer.cuh
        
        2.0 kB
        
        gpuexplore-hash-256.cuh
        
        29.2 kB
        
        gpuexplore-hash-32x58.cuh
        
        10.8 kB
        
        gpuexplore-helper.cuh
        
        7.1 kB
        
        gpuexplore-options.cuh
        
        3.2 kB
        
        python-textx-jinja2
        
        __pycache__
        
        buchi.cpython-38.pyc
        
        15.8 kB
        
        color.cpython-38.pyc
        
        631 Bytes
        
        gpuexplore.cpython-38.pyc
        
        70.6 kB
        
        hash.cpython-38.pyc
        
        8.0 kB
        
        helper.cpython-38.pyc
        
        10.1 kB
        
        printer.cpython-38.pyc
        
        6.5 kB
        
        slco2gpuexplore.cpython-38.pyc
        
        115.4 kB
        
        buchi.py
        
        20.2 kB
        
        color.py
        
        348 Bytes
        
        gpuexplore.py
        
        98.6 kB
        
        hash.py
        
        8.6 kB
        
        helper.py
        
        9.6 kB
        
        jani2gpuexplore.py
        
        2.3 kB
        
        printer.py
        
        5.3 kB
        
        slco2gpuexplore.py
        
        196.9 kB
      - jinja2_templates
        
        gpuexplore.jinja
        
        214.5 kB
        
        gpuexplore_labels.jinja
        
        773 Bytes
        
        gpuexplore_main.jinja
        
        62.1 kB
      - libraries
        
        __pycache__
        
        compiler.cpython-38.pyc
        
        55.8 kB
        
        janilib.cpython-38.pyc
        
        18.5 kB
        
        slcolib.cpython-38.pyc
        
        19.8 kB
        
        compiler.py
        
        35.9 kB
        
        janilib.py
        
        19.0 kB
        
        slcolib.py
        
        26.7 kB
      - textx_grammars
        
        jani.tx
        
        13.0 kB
    - storm
      - LICENSE
        
        35.1 kB
      - storm
        
        63.5 kB
- build

GPUExploreProb.zip