Unsatisfiability bug due to symmetry breaking

[Broes De Cat]

In attached file, idp regurlarly gives unsatisfiable (incorrectly), but no idea where it comes from. Only checked on windows.

[Bart Bogaerts]

Getest onder linux

Dit is een memory bug in symmetry breaking.

Afhankelijk van de verbosity van symmetrybreaking geeft hij soms unsat, soms niet. ligt NIET aan bdds.

Configuraties die ik getest heb op huidige master (0fc3bf5c8b846fbea9aeaa8bf8ded0680c9b9b6e)

• zoals file in bijlage: SAT
• zoals file in bijlage, zonder de regel van symmetryverbosity: UNSAT
• zoals file in bijlage, maar extra regels: stdoptions.groundwithbounds=false; stdoptions.liftedunitpropagation=false: UNSAT
• zoals file in bijlage, maar extra regels: stdoptions.groundwithbounds=false; stdoptions.liftedunitpropagation=false; zonder de regel van symmetryverbosity: SAT

[JoD]

by pull request #389