Empirical Evaluation

Worry: Size is not a fool-proof indication of performance

--So, check empirically

Our causal encodings are over 100x faster than the existing

causal encodings

But are still over 60x slower than the best state-based encodings