NoMystery gives inconsistent results

[JoD]

In de resultaten van Benchie blijkt dat tussen 8 oktober (9bc0d6f26a6c0991bce136d41607a0ba75b42f57) en 22 oktober (ed384478eb396cfff6cc7801f5404c33d52784e4) ergens een commit gebeurd is die de NoMystery modellering breekt. Er wordt in minder dan een seconde unsat gegeven, terwijl het probleem vooral sat is, en er vaak meer dan een minuut nodig is om een model te vinden.

[Bart Bogaerts]

Kan je 1 concrete instance + de gebruikte modellering toevoegen aub?

[JoD]

Attached file

[JoD]

Issue is broken symmetry detection. Given in the structure:

Action={drive;load;unload;nothing}
  Drive={->drive}
  PickUp={->load}
  DropOff={->unload}
  Nothing={->nothing}

Symmetry detection derives all Actions are interchangeable, which given the different constants is not true.

[JoD]

Added two test cases which capture issue #652 and #650's functionality.

→ <<cset bbaec457cb50>>