bool check() { int min = INT_MAX; for (int i = 0; i < sz; i++) if (x[i].getShadowVal() < min) min = x[i].getShadowVal(); return (y.getShadowVal() == min); }
bool check() { return ((x.getShadowVal() == y.getShadowVal()) || (x.getShadowVal() == -y.getShadowVal())); }
bool check() { return ((int) ceil(x.getShadowVal() / y.getShadowVal()) == z.getShadowVal()); }
bool check() { return ((int) std::min(x.getShadowVal(), y.getShadowVal()) == z.getShadowVal()); }
bool check() { return (x.getShadowVal() * y.getShadowVal() == z.getShadowVal()); }