206               parseIntegerPolyhedron("(x) : (7 * x >= 0, -7 * x + 5 >= 0)"));  in TEST()
210       false, parseIntegerPolyhedron("(x) : (5 * x - 1 >= 0, -5 * x + 4 >= 0)"));  in TEST()
214       true, parseIntegerPolyhedron("(x) : (5 * x - 1 >= 0, -5 * x + 9 >= 0)"));  in TEST()
218   checkSample(true, parseIntegerPolyhedron(  in TEST()
224               parseIntegerPolyhedron("(x,y,z) : (-x + 10 >= 0, -y + 10 >= 0, "  in TEST()
230               parseIntegerPolyhedron("(x,y,z) : (-x + 10 >= 0, -y + 10 >= 0, "  in TEST()
235   checkSample(true, parseIntegerPolyhedron(  in TEST()
241               parseIntegerPolyhedron("(q,r) : (4 * q + r - 7 == 0, r == 0)"));  in TEST()
249       true, parseIntegerPolyhedron("(x,y) : (y >= 0, "  in TEST()
270               parseIntegerPolyhedron(  in TEST()
292               parseIntegerPolyhedron(  in TEST()
296   checkSample(false, parseIntegerPolyhedron(  in TEST()
301               parseIntegerPolyhedron("(x,y) : (2 * x >= 0, -2 * x + 99 >= 0, "  in TEST()
306   checkSample(true, parseIntegerPolyhedron(  in TEST()
421   checkSample(true, parseIntegerPolyhedron(  in TEST()
426   checkSample(true, parseIntegerPolyhedron("(x) : (x == 5*(x floordiv 2))"));  in TEST()
429   checkSample(false, parseIntegerPolyhedron("(x, y, z) : ("  in TEST()
435   checkSample(true, parseIntegerPolyhedron("(x, y, z) : ("  in TEST()
445   EXPECT_TRUE(parseIntegerPolyhedron("(x) : (5 * x - 1 >= 0, -5 * x + 4 >= 0)")  in TEST()
448   EXPECT_FALSE(parseIntegerPolyhedron("(x) : (5 * x - 1 >= 0, -5 * x + 9 >= 0)")  in TEST()
453       parseIntegerPolyhedron("(x,y,z) : (2 * y - 1 >= 0, -2 * y + 1 >= 0, "  in TEST()
457   EXPECT_FALSE(parseIntegerPolyhedron(  in TEST()
462   EXPECT_FALSE(parseIntegerPolyhedron(  in TEST()
471   EXPECT_TRUE(parseIntegerPolyhedron(  in TEST()
479   EXPECT_TRUE(parseIntegerPolyhedron(  in TEST()
490       parseIntegerPolyhedron(  in TEST()
496   EXPECT_FALSE(parseIntegerPolyhedron("(x)[s] : (x + s >= 0, x - s == 0)")  in TEST()
502       parseIntegerPolyhedron("(x) : (x - 2 >= 0, -x + 2 >= 0, x - 2 == 0)");  in TEST()
510       parseIntegerPolyhedron("(x,y) : (x - 3 >= 0, y - 2 >= 0, x - y == 0)");  in TEST()
520       parseIntegerPolyhedron("(x,y,z) : (x - y == 0, x - z == 0, y - z == 0)");  in TEST()
527   IntegerPolyhedron poly4 = parseIntegerPolyhedron(  in TEST()
580   IntegerPolyhedron poly5 = parseIntegerPolyhedron(  in TEST()
710     IntegerPolyhedron poly = parseIntegerPolyhedron("(i) : (i mod 3 - 1 >= 0)");  in TEST()
730     IntegerPolyhedron poly = parseIntegerPolyhedron(  in TEST()
746         parseIntegerPolyhedron("(i, j, q) : (-4*q + i + j == 0)");  in TEST()
757         parseIntegerPolyhedron("(i, j, q) : (4*q - i - j == 0)");  in TEST()
768         parseIntegerPolyhedron("(i, j, q) : (3*q + i + j - 2 == 0)");  in TEST()
782         parseIntegerPolyhedron("(i, j, q, k) : (-3*k + i + j == 0, 4*q - "  in TEST()
797       parseIntegerPolyhedron("(x, q) : (x - 3 * q >= 0, -x + 3 * q + 3 >= 0)");  in TEST()
809   IntegerPolyhedron poly = parseIntegerPolyhedron(  in TEST()
1105       parseIntegerPolyhedron(  in TEST()
1109       parseIntegerPolyhedron(  in TEST()
1113       parseIntegerPolyhedron("(x, y) : (3*x + 2*y + 10 >= 0, -3*y + 10 >= "  in TEST()
1120       parseIntegerPolyhedron(  in TEST()
1125       parseIntegerPolyhedron("(x, y) : (3*x + 2*y + 10 >= 0,"  in TEST()
1131       parseIntegerPolyhedron(  in TEST()
1143       parseIntegerPolyhedron(  in TEST()
1152       parseIntegerPolyhedron(  in TEST()
1160       parseIntegerPolyhedron(  in TEST()
1167       parseIntegerPolyhedron("(x) : (2*x >= 0, -x - 1 >= 0)"));  in TEST()
1184       parseIntegerPolyhedron("(x, y, z) : (2*x + 13 >= 0, 4*y - 3*x - 2  >= "  in TEST()
1190       parseIntegerPolyhedron("(x, y, z) : (2*x + 13 >= 0, 4*y - 3*x - 2  "  in TEST()
1198   IntegerPolyhedron poly = parseIntegerPolyhedron(polyStr);  in expectSymbolicIntegerLexMin()
1420       parseIntegerPolyhedron(  in TEST()
1428       parseIntegerPolyhedron(  in TEST()
1435       parseIntegerPolyhedron("(x, y, z) : (-3*x + 10 >= 0, 5*y - 11 >= 0,"  in TEST()
1443       parseIntegerPolyhedron(  in TEST()
1454       parseIntegerPolyhedron(  in TEST()
1462       parseIntegerPolyhedron("(x, y) : (2*x - y >= 0, y - 3*x >= 0)"),  in TEST()
1473       parseIntegerPolyhedron("(x) : ((x floordiv 2) - x == 0)");  in TEST()
1477   IntegerPolyhedron poly2 = parseIntegerPolyhedron(  in TEST()
1483       parseIntegerPolyhedron("(x, y) : (2*x - y >= 0, y - 3*x >= 0)");  in TEST()