Product of Kripke Structures

Question

my question and the answer are here. my product is correct as well. But the system says its wrong. Where am I going wrong?

Comments

Hence my answer was
vars b,c,d;
init 0;
labels 0:b,c,d; 1:;
transitions 0->1; 1->0;
why is the system saying its wrong?

Answer 1

I think a self-loop on the initial state is missing since S1 and Q1 have self-loops, and therefore also the product state S1,Q1 should have one.

Comments

Thank you, I have over looked that transition when I copied the question down on my paper.