-
Notifications
You must be signed in to change notification settings - Fork 0
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
- Status: Open.#1146 In Eignex/klause;
Cold presolve exceeds 2s on ~349 klause-bench instances
enhancementNew feature or requestNew feature or requestStatus: Open.#1137 In Eignex/klause;~5s presolve with no pass firing on RoomMate instances
enhancementNew feature or requestNew feature or requestStatus: Open.#1136 In Eignex/klause;Presolve slow on very large instances dominated by parse and construction
enhancementNew feature or requestNew feature or requestStatus: Open.#1135 In Eignex/klause;Presolve times out (>120s) on WordDesign2 Mdd instances
enhancementNew feature or requestNew feature or requestStatus: Open.#1134 In Eignex/klause;Presolve ~3.5s on QF_LIA Labyrinth instances (bake-bound)
enhancementNew feature or requestNew feature or requestStatus: Open.#1133 In Eignex/klause;CoefficientStrengthening pass ~5.8s on Coprime instances
enhancementNew feature or requestNew feature or requestStatus: Open.#1132 In Eignex/klause;Presolve ~5s on large QF_LIA Petri-net models (SMPT SharedMemory-PT / RwMutex-PT)
enhancementNew feature or requestNew feature or requestStatus: Open.#1131 In Eignex/klause;- Status: Open.#1128 In Eignex/klause;
- Status: Open.#1119 In Eignex/klause;
- Status: Open.#1104 In Eignex/klause;
- Status: Open.#951 In Eignex/klause;