Skip to content

False unsolvable boards using the C solver #5

Description

@marccane

I'm attaching two solvable boards that are reported unsolvable by the C solver with default parameters

% flow_solver -q *
levelpack_2_13x13_24.txt u        1.464       193471
levelpack_16_12x12_3.txt u        0.139        15292


                 2 total u        1.603       208763

levelpack_2_13x13_24.txt
levelpack_16_12x12_3.txt

I found out that when you add the -O parameter (Disable outside-in searching) both get solved correctly

levelpack_2_13x13_24
levelpack_2_13x13_24

levelpack_16_12x12_3
levelpack_16_12x12_3

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions