Hi, I noticed that kleaver generates different solutions if the .kquery filename is longer than 32 characters. Is the filename used as some kind of seed for the solver? Best, Weiqi -------------- next part -------------- HTML attachment scrubbed and removed