compile2 behaves non-deterministically in the ordering of the facts/rules produces

[MaxOstrowski]

The amount of rules/atoms/constraints in clasp is exactly the same, just a different search space is explored every time.