Constraint that goes to core that should not

Veripb reports deletion errors.

Veripb mistakenly identifies a constraint as a core when it is not.

For example, constraint 581 (1 ~_bu188 1 y120 >= 1) was derived by a pol line. There was no transfer made, and no duplicate copy exists in the database. Yet, Veripb reports it as a core constraint and claims that DELD 581 is incorrect.

I’ve attached the MaxSAT instance KARATE.wcnf and the corresponding proof, which is produced by the trimmertrimmed_proof.pbp.