(BIN) rigor-optimization.hpi