{% extends "basic_template.html" %}
{% block title %}
{{ super() }}
{% endblock %}
{% block head %}
{{ super() }}
{% endblock %}
{% block content %}
Results
{% if complete_results %}
Complete state space search performed
{% endif %}
Length | Count |
{% for length, count in cycle_len_counts %}
{{ length }} | {{ count }} |
{% endfor %}
{% for cycle in cycles %}
{% if cycle['len'] == 1 %}Fixed Point{% else %}Length {{ cycle['len'] }} Cycle{% endif %}
{% for variable in variables %}
{{ variable }} |
{% endfor %}
{% for state in cycle['states'] %}
{% for value in state %}
{{ value }} |
{% endfor %}
{% endfor %}
{{ cycle['len-dist-image'] }}
{% for key in cycle['limit-set-stats-images'] %}
{{ cycle['limit-set-stats-images'][key] }}
{% endfor %}
{% endfor %}
{% endblock %}