Radboud University
iCIS

Automata Wiki

  • ↑ To Benchmarks
  • Bibliography

Benchmark Stack

  • Description

Benchmark models

  • Register
    print · login   
Home » BenchmarkStack-AartsEtAl2014 » Register

The models below are generated with the create_stack_lifo_registermodel.py python script which for a given n argument generates a lifo of size n.

  • lifo_2.register.xml
  • lifo_3.register.xml
  • lifo_4.register.xml
  • lifo_5.register.xml
  • lifo_10.register.xml
  • lifo_15.register.xml
  • lifo_20.register.xml
  • lifo_25.register.xml
  • lifo_30.register.xml
  • lifo_35.register.xml
  • lifo_40.register.xml
  • lifo_45.register.xml
  • lifo_50.register.xml