@Test
public void test110010_2() { // 5961
stage1_110010_2();
assertEquals(5961, definerStage2.getNumber());
setCowsAmount(0, 4);
assertEquals(5961, definerStage2.getNumber());
}
@Test
public void test110010_1() { // 5169
stage1_110010_1();
assertEquals(5100, definerStage2.getNumber());
setCowsAmount(0, 2);
assertEquals(5169, definerStage2.getNumber());
}
@Test
public void test100000() { // 2522
stage1_100000();
assertEquals(1500, definerStage2.getNumber());
setCowsAmount(0, 1);
assertEquals(2500, definerStage2.getNumber());
setCowsAmount(0, 2);
assertEquals(2522, definerStage2.getNumber());
}
@Test
public void test101010_king_size() { // 3579
stage1_101010_king_size();
assertEquals(5109, definerStage2.getNumber());
setCowsAmount(1, 1);
assertEquals(2579, definerStage2.getNumber());
setCowsAmount(0, 3);
assertEquals(3579, definerStage2.getNumber());
setCowsAmount(0, 4);
assertEquals(3579, definerStage2.getNumber());
}
@Test
public void test100100_3() { // 3558
stage1_100100_2();
assertEquals(5108, definerStage2.getNumber());
setCowsAmount(1, 1);
assertEquals(2508, definerStage2.getNumber());
setCowsAmount(0, 2);
assertEquals(3558, definerStage2.getNumber());
setCowsAmount(0, 4);
assertEquals(3558, definerStage2.getNumber());
}
@Test
public void test100100_2() { // 2528
stage1_100100_1();
assertEquals(5100, definerStage2.getNumber());
setCowsAmount(1, 0);
assertEquals(2580, definerStage2.getNumber());
setCowsAmount(1, 2);
assertEquals(580, definerStage2.getNumber());
setCowsAmount(1, 1);
assertEquals(2528, definerStage2.getNumber());
}
@Test
public void test100100_1() { // 5383
stage1_100100_1();
assertEquals(5100, definerStage2.getNumber());
setCowsAmount(0, 1);
assertEquals(5280, definerStage2.getNumber());
setCowsAmount(0, 2);
assertEquals(583, definerStage2.getNumber());
setCowsAmount(1, 2);
assertEquals(588, definerStage2.getNumber());
setCowsAmount(1, 1);
assertEquals(5383, definerStage2.getNumber());
}
@Test
public void test000011() { // 9093 или 7875, 8945630217 (игра №22 в бд)
stage1_000011();
assertEquals(555, definerStage2.getNumber());
setCowsAmount(1, 0);
assertEquals(1055, definerStage2.getNumber());
setCowsAmount(0, 1);
assertEquals(2101, definerStage2.getNumber());
setCowsAmount(1, 0);
assertEquals(3110, definerStage2.getNumber());
setCowsAmount(2, 0);
assertEquals(9031, definerStage2.getNumber());
setCowsAmount(1, 2);
assertEquals(1031, definerStage2.getNumber());
setCowsAmount(1, 1);
assertEquals(9093, definerStage2.getNumber());
setCowsAmount(0, 4);
assertEquals(9093, definerStage2.getNumber());
}
@Test
public void test1111_special_case() { // 3241
stage1_1111_special_case();
assertEquals(1000, definerStage2.getNumber());
setCowsAmount(1, 0);
assertEquals(2000, definerStage2.getNumber());
setCowsAmount(1, 0);
assertEquals(3000, definerStage2.getNumber());
setCowsAmount(0, 1);
assertEquals(3130, definerStage2.getNumber());
setCowsAmount(1, 1);
assertEquals(3200, definerStage2.getNumber());
setCowsAmount(0, 2);
assertEquals(3212, definerStage2.getNumber());
setCowsAmount(1, 2);
assertEquals(3241, definerStage2.getNumber());
}
@Test
public void test0000_specialCase_5() { // 9567
stage1_0000_specialCase();
assertEquals(111, definerStage2.getNumber());
setCowsAmount(0, 0);
assertEquals(5000, definerStage2.getNumber());
setCowsAmount(1, 0);
assertEquals(6500, definerStage2.getNumber());
setCowsAmount(1, 1);
assertEquals(7500, definerStage2.getNumber());
setCowsAmount(1, 1);
assertEquals(8560, definerStage2.getNumber());
setCowsAmount(0, 2);
assertEquals(9567, definerStage2.getNumber());
setCowsAmount(0, 4);
assertEquals(9567, definerStage2.getNumber());
}
@Test
public void test0000_specialCase_3() { // 9875
stage1_0000_specialCase();
assertEquals(111, definerStage2.getNumber());
setCowsAmount(0, 0);
assertEquals(5000, definerStage2.getNumber());
setCowsAmount(1, 0);
assertEquals(6500, definerStage2.getNumber());
setCowsAmount(1, 0);
assertEquals(7050, definerStage2.getNumber());
setCowsAmount(2, 0);
assertEquals(8705, definerStage2.getNumber());
setCowsAmount(2, 1);
assertEquals(9875, definerStage2.getNumber());
setCowsAmount(0, 4);
assertEquals(9875, definerStage2.getNumber());
}
@Test
public void test0000_specialCase_1() { // 7777
stage1_0000_specialCase();
assertEquals(111, definerStage2.getNumber());
setCowsAmount(0, 0);
assertEquals(5000, definerStage2.getNumber());
setCowsAmount(0, 0);
assertEquals(6000, definerStage2.getNumber());
setCowsAmount(0, 0);
assertEquals(7000, definerStage2.getNumber());
setCowsAmount(0, 1);
assertEquals(780, definerStage2.getNumber());
setCowsAmount(0, 1);
assertEquals(779, definerStage2.getNumber());
setCowsAmount(0, 2);
assertEquals(7777, definerStage2.getNumber());
}
@Test
public void test000010_specialCase() { // 3333
stage1_000010_specialCase();
assertEquals(555, definerStage2.getNumber());
setCowsAmount(0, 0);
assertEquals(1000, definerStage2.getNumber());
setCowsAmount(0, 0);
assertEquals(2000, definerStage2.getNumber());
setCowsAmount(0, 0);
assertEquals(3000, definerStage2.getNumber());
setCowsAmount(0, 1);
assertEquals(390, definerStage2.getNumber());
setCowsAmount(0, 1);
assertEquals(3333, definerStage2.getNumber());
}
