Problem: F5-I5-I4 Solution: Bag1: F5 -- -- -- 12 -- -- 08 12 12 12 08 08 08 11 12 08 07 11 11 11 07 07 07 10 11 07 06 10 10 10 06 06 06 0f 10 06 05 0f 0f 0f 05 05 05 0e 0f 05 04 0e 0e 0e 04 04 04 0d 0e 04 03 0d 0d 0d 03 03 03 0c 0d 03 02 0c 0c 0c 02 02 02 0b 0c 02 01 0b 0b 0b 01 01 01 0a 0b 01 00 0a 0a 0a 00 00 00 09 0a 00 13 09 09 09 13 13 13 -- 09 13 -- -- -- -- Bag2: I5 -- -- -- 1f -- -- 19 10 1f 23 15 19 10 1f 23 15 19 10 1f 23 15 19 10 1f 23 15 19 10 1e 23 15 18 1b 1e 22 04 18 1b 1e 22 04 18 1b 1e 22 04 18 1b 1e 22 04 18 1b 1d 22 04 17 0b 1d 21 14 17 0b 1d 21 14 17 0b 1d 21 14 17 0b 1d 21 14 17 0b 1c 21 14 16 1a 1c 20 13 16 1a 1c 20 13 16 1a 1c 20 13 16 1a 1c 20 13 16 1a -- 20 13 -- -- -- -- Bag3: I4 -- -- -- 2f -- -- 27 2b 2f 33 07 27 2b 2f 33 07 27 2b 2f 33 07 27 2b 2e 33 07 26 2a 2e 32 05 26 2a 2e 32 05 26 2a 2e 32 05 26 2a 2d 32 05 25 29 2d 31 03 25 29 2d 31 03 25 29 2d 31 03 25 29 2c 31 03 24 28 2c 30 01 24 28 2c 30 01 24 28 2c 30 01 24 28 1c 30 01 16 1a 1c 20 13 16 1a 1c 20 13 16 1a 1c 20 13 16 1a -- 20 13 -- -- -- -- #squares: 100 #pieces: Bag1: 20 Bag2: 20 Bag3: 25 CPU Time: 19197.190s Optimum: unknown Board Size: 25x25 Threads: 16 Choices: 294315342 Conflicts: 202777556 Restarts: 162135 Variables: 23974 Constraints: 82665