clpfd - Sicstus 4.2.3 と 4.3.0 の time_out の違いによるラベル付け

Question

Sicstus 4.2.3 では、次のようにすることができます。

| ?- X in 0..2, labeling( [minimize(X), time_out(1000, Lr)],[X] ). 
X = 0,
Lr = success ? yes
| ?- 

Sicstus 4.3.0 で同じことを行うと、次のようになります。

| ?- X in 0..2, labeling( [minimize(X), time_out(1000, Lr)],[X] ). 
X = 0 ? yes
| ?- 

Lr 4.3.0 で何が起こったのですか?

また、4.3.0 で取得したソリューションが最適なソリューションであるか、最適でないソリューションであるかをどのように判断しますか?