[35s] Bizarre program bugs when running under solver

Printable View