What kind of reduction method in the query dialog is the fastest?

Created by Kenneth Yrke Jørgensen on on 2009-05-09

The Optimised Symmetry Reduction method is the fastest one at most occasions, it includes some improvements over the Symmetry Reduction method. The Standard method should be selected if a debugging trace is needed, however, this method can be significantly slower than the other ones and it is recommended to decrease the total number of tokens if this method is selected.