======================================================================= the Parma Polyhedra Library 1.2: tests/MIP_Problem/test-suite.log ======================================================================= # TOTAL: 6 # PASS: 5 # SKIP: 0 # XFAIL: 0 # FAIL: 1 # XPASS: 0 # ERROR: 0 .. contents:: :depth: 2 FAIL: mipproblem2 =================