I have successfully replicated sligocki’s backward reasoning code results, matching exactly his depth and node numbers for multiple test cases, and when run on counterexamples the test returns inconclusive (as expected). I may post python code later once it’s fully documented (currently it’s a bit of a mess).
1 Like