@Test(groups = "1s")
public void test3() {
for (String a : ALGOS) {
for (int i = 0; i < 10; i++) {
Tuples tuples = new Tuples(true);
tuples.add(-2, -2);
tuples.add(-1, -1);
tuples.add(0, 0);
tuples.add(1, 1);
Solver solver = new Solver();
IntVar[] vars = VF.enumeratedArray("X", 2, -1, 1, solver);
solver.post(ICF.table(vars[0], vars[1], tuples, a));