In reply to kathula venkatesh:
Your example should have var1==2 true with a 1 in 64 probability. Adding
solve var1 before var2,var3; will give it a 50% probability.
In reply to kathula venkatesh:
Your example should have var1==2 true with a 1 in 64 probability. Adding
solve var1 before var2,var3; will give it a 50% probability.