output - ミニ亜鉛出力なし

Question

MiniZinc で出力が得られないのはなぜですか? 私のプログラムは次のように終了します：

var int: Cost = sum (p in 1 .. nP) (Score [p]);
solve minimize Cost;
output ["Test"];

私が得るのは次のとおりです。

2015/2/7 再び起こりました。これはコードを取り除いたものです：

array[1 .. 2] of var int: D; 
array[1 .. 2] of var int: F; 
array[1 .. 2] of var int: S; 
constraint forall (i in 1 .. 2) (S [i] = D [i] * F [i]); 
var int: Cost = 1; 
solve minimize Cost; 
output ["test"]; 

出力も「UNSATISFIABLE」もありません。