GUI Souffle profiler

Select Relation or Rules from the top bar to see a table of Relations or Rules

Tables show:

Name/description
ID(generated by profiler)
Total time the rule/relation was being processed
Non-recursive time
Recursive time
Copy time
number of Tuples of the Rule/relation
Percentage of time the rule/relation ran in comparison to the total
Percentage of tuples generated by the rule/relation compared to the total
The source location of the rule/relation in the datalog file

The tables are sortable by all columns by clicking on the header. Number precision can be toggled by pressing the button at the top of the page to show either shorthand or full precision.

In the relation tab, to see the rules of a relation, select a relation from the table, and a table of rules will appear below. Similary, by selecting a Rule in the Rule tab, a list of versions of the rule will show up (for recursive rules).

To visualise a graph of a relation, select the relation from the Relations table, then press the graph selected button to show the iterations of the Relation

Similarly for a Rule, in the Rules table, select a rule, and select either graph the selected rule's iterations or the versions of the selected rule.

Top

Relations table

Name	ID	Total Time	Non Rec Time	Rec Time	Copy Time	Tuples	% of Time	% of Tuples	Source

Rules table

Name	ID	Total Time	Non Rec Time	Rec Time	Copy Time	Tuples	% of Time	% of Tuples	Source

GUI Souffle profiler

Top

Relations table

Rules of Relation

Rules table

Rule Versions Table

Total run time

Total number of tuples

Source Code