In most cases turingmachine.info can only tell you *possible* solutions to a given set of criteria cards. Yes, if it is a "0-test" puzzle (i.e. when there is only one possible solution to a given set of verifiers) then this would give you the only solution, but even then the user could never be

sure that there isn't another solution that they just failed to generate.
Also, in such a case, it is perfectly possible to deduce the answer via deduction alone; there's no reason to assume that turingmachine.info was used.
I tend to see it as a tool to check my working occasionally, not a method to cheat; I only ever submit an answer if I can fully deduce it using logic alone.
TheRealEronaay wrote: ↑09 January 2024, 15:01I think every combination of verifiers on classic easy have only one punch card that will give a correct answer.
This is true for Easy/6 Verifiers but I don't think it's necessarily true for other verifier counts. However it is true that the variety of puzzles at Easy setting is much lower. At Easy/6 for example there really are only variants of 1 basic puzzle; once you spot the pattern you can solve all of them at a glance.
TheRealEronaay wrote: ↑09 January 2024, 15:01
When you get into the standard and hard variants then the same combination of verifiers might have more than 1 punch card that a given verifier could use to give a correct answer (i.e. could us blue slashes or green diamonds, etc. for two different codes).
I think you are misunderstanding something here.
The blue slashes/green diamonds etc. appear on *verifier cards* (not "criteria cards" or "punch cards") and they are irrelevant, as they have no bearing on the solution. They are merely a feature of the physical game that allows you to refer to the same verifier card by different names, so that it's less easy for a physical player to "learn" verifier card numbers. The BGA implementation doesn't even use verifier card numbers, so this is irrelevant here.
What I think you are really talking about is whether a certain set of *criteria cards* have just a single possible solution (a "0-test" puzzle) or multiple possible solutions, requiring at least 1 test. For this, you can find examples of 0-test puzzles at all difficulties and all verifier counts.
I find that the number of Verifiers is useful here. With 6 Verifiers there are more restrictions, so it seems more likely to result in 0-test puzzles, whereas with 4 Verifiers it might be more open and require tests. Neither are guarantees though; there are still plenty of examples of 6-verifier combinations that have multiple solutions, and 4-verifier combinations that only have 1.
TheRealEronaay wrote: ↑09 January 2024, 15:01
I'm of the opinion that the arena rules set at Classic, Easy, and 4 verifiers, makes the answers very predictable for those who play a lot.
Even more so at Easy/6 Verifiers. Its completely unacceptable that Arena Mode allows players to select their own settings. There needs to be a fixed mode for each season that all players use, and *not Easy*!