{% extends "basic_template.html" %} {% block title %} {{ super() }} {% endblock %} {% block head %} {{ super() }} {% endblock %} {% block content %}

Results

{% if complete_results %}

Complete state space search performed

{% endif %}

Cycle Counts by Length

{% for length, count in cycle_len_counts %} {% endfor %}
LengthCount
{{ length }}{{ count }}
{% for cycle in cycles %}

{% if cycle['len'] == 1 %}Fixed Point{% else %}Length {{ cycle['len'] }} Cycle{% endif %}

{% for variable in variables %} {% endfor %} {% for state in cycle['states'] %} {% for value in state %} {% endfor %} {% endfor %}
{{ variable }}
{{ value }}
{{ cycle['percent'] }}%
Count {{ cycle['count'] }}
{{ cycle['len-dist-image'] }}
{% for key in cycle['limit-set-stats-images'] %} {{ cycle['limit-set-stats-images'][key] }} {% endfor %}
{% endfor %}
{% endblock %}