# the best I have seen is 13.449 param numNODES:=5; param numSTATES:=2; param numACTIONS:=3; param numOBSERVATIONS:=2; param discount:=0.9; param initial_belief:= 1 0.5 2 0.5 ; param trans default 0.0 [1, 1, 1, 1] 0.5 [1, 1, 1, 2] 0.5 [1, 1, 2, 1] 0.5 [1, 1, 2, 2] 0.5 [1, 1, 3, 1] 0.5 [1, 1, 3, 2] 0.5 [1, 2, 1, 1] 0.5 [1, 2, 1, 2] 0.5 [1, 2, 2, 1] 0.5 [1, 2, 2, 2] 0.5 [1, 2, 3, 1] 0.5 [1, 2, 3, 2] 0.5 [1, 3, 1, 1] 0.5 [1, 3, 1, 2] 0.5 [1, 3, 2, 1] 0.5 [1, 3, 2, 2] 0.5 [1, 3, 3, 1] 1.0 [2, 1, 1, 1] 0.5 [2, 1, 1, 2] 0.5 [2, 1, 2, 1] 0.5 [2, 1, 2, 2] 0.5 [2, 1, 3, 1] 0.5 [2, 1, 3, 2] 0.5 [2, 2, 1, 1] 0.5 [2, 2, 1, 2] 0.5 [2, 2, 2, 1] 0.5 [2, 2, 2, 2] 0.5 [2, 2, 3, 1] 0.5 [2, 2, 3, 2] 0.5 [2, 3, 1, 1] 0.5 [2, 3, 1, 2] 0.5 [2, 3, 2, 1] 0.5 [2, 3, 2, 2] 0.5 [2, 3, 3, 2] 1.0 ; param obs default 0.0 [1, 1, 1, 1, 1, 1] 0.25 [1, 1, 1, 1, 1, 2] 0.25 [1, 1, 1, 1, 2, 1] 0.25 [1, 1, 1, 1, 2, 2] 0.25 [1, 1, 1, 1, 3, 1] 0.25 [1, 1, 1, 1, 3, 2] 0.25 [1, 1, 1, 2, 1, 1] 0.25 [1, 1, 1, 2, 1, 2] 0.25 [1, 1, 1, 2, 2, 1] 0.25 [1, 1, 1, 2, 2, 2] 0.25 [1, 1, 1, 2, 3, 1] 0.25 [1, 1, 1, 2, 3, 2] 0.25 [1, 1, 1, 3, 1, 1] 0.25 [1, 1, 1, 3, 1, 2] 0.25 [1, 1, 1, 3, 2, 1] 0.25 [1, 1, 1, 3, 2, 2] 0.25 [1, 1, 1, 3, 3, 1] 0.7225 [1, 1, 1, 3, 3, 2] 0.25 [1, 1, 2, 1, 1, 1] 0.25 [1, 1, 2, 1, 1, 2] 0.25 [1, 1, 2, 1, 2, 1] 0.25 [1, 1, 2, 1, 2, 2] 0.25 [1, 1, 2, 1, 3, 1] 0.25 [1, 1, 2, 1, 3, 2] 0.25 [1, 1, 2, 2, 1, 1] 0.25 [1, 1, 2, 2, 1, 2] 0.25 [1, 1, 2, 2, 2, 1] 0.25 [1, 1, 2, 2, 2, 2] 0.25 [1, 1, 2, 2, 3, 1] 0.25 [1, 1, 2, 2, 3, 2] 0.25 [1, 1, 2, 3, 1, 1] 0.25 [1, 1, 2, 3, 1, 2] 0.25 [1, 1, 2, 3, 2, 1] 0.25 [1, 1, 2, 3, 2, 2] 0.25 [1, 1, 2, 3, 3, 1] 0.25 [1, 1, 2, 3, 3, 2] 0.0225 [1, 2, 1, 1, 1, 1] 0.25 [1, 2, 1, 1, 1, 2] 0.25 [1, 2, 1, 1, 2, 1] 0.25 [1, 2, 1, 1, 2, 2] 0.25 [1, 2, 1, 1, 3, 1] 0.25 [1, 2, 1, 1, 3, 2] 0.25 [1, 2, 1, 2, 1, 1] 0.25 [1, 2, 1, 2, 1, 2] 0.25 [1, 2, 1, 2, 2, 1] 0.25 [1, 2, 1, 2, 2, 2] 0.25 [1, 2, 1, 2, 3, 1] 0.25 [1, 2, 1, 2, 3, 2] 0.25 [1, 2, 1, 3, 1, 1] 0.25 [1, 2, 1, 3, 1, 2] 0.25 [1, 2, 1, 3, 2, 1] 0.25 [1, 2, 1, 3, 2, 2] 0.25 [1, 2, 1, 3, 3, 1] 0.1275 [1, 2, 1, 3, 3, 2] 0.25 [1, 2, 2, 1, 1, 1] 0.25 [1, 2, 2, 1, 1, 2] 0.25 [1, 2, 2, 1, 2, 1] 0.25 [1, 2, 2, 1, 2, 2] 0.25 [1, 2, 2, 1, 3, 1] 0.25 [1, 2, 2, 1, 3, 2] 0.25 [1, 2, 2, 2, 1, 1] 0.25 [1, 2, 2, 2, 1, 2] 0.25 [1, 2, 2, 2, 2, 1] 0.25 [1, 2, 2, 2, 2, 2] 0.25 [1, 2, 2, 2, 3, 1] 0.25 [1, 2, 2, 2, 3, 2] 0.25 [1, 2, 2, 3, 1, 1] 0.25 [1, 2, 2, 3, 1, 2] 0.25 [1, 2, 2, 3, 2, 1] 0.25 [1, 2, 2, 3, 2, 2] 0.25 [1, 2, 2, 3, 3, 1] 0.25 [1, 2, 2, 3, 3, 2] 0.1275 [2, 1, 1, 1, 1, 1] 0.25 [2, 1, 1, 1, 1, 2] 0.25 [2, 1, 1, 1, 2, 1] 0.25 [2, 1, 1, 1, 2, 2] 0.25 [2, 1, 1, 1, 3, 1] 0.25 [2, 1, 1, 1, 3, 2] 0.25 [2, 1, 1, 2, 1, 1] 0.25 [2, 1, 1, 2, 1, 2] 0.25 [2, 1, 1, 2, 2, 1] 0.25 [2, 1, 1, 2, 2, 2] 0.25 [2, 1, 1, 2, 3, 1] 0.25 [2, 1, 1, 2, 3, 2] 0.25 [2, 1, 1, 3, 1, 1] 0.25 [2, 1, 1, 3, 1, 2] 0.25 [2, 1, 1, 3, 2, 1] 0.25 [2, 1, 1, 3, 2, 2] 0.25 [2, 1, 1, 3, 3, 1] 0.1275 [2, 1, 1, 3, 3, 2] 0.25 [2, 1, 2, 1, 1, 1] 0.25 [2, 1, 2, 1, 1, 2] 0.25 [2, 1, 2, 1, 2, 1] 0.25 [2, 1, 2, 1, 2, 2] 0.25 [2, 1, 2, 1, 3, 1] 0.25 [2, 1, 2, 1, 3, 2] 0.25 [2, 1, 2, 2, 1, 1] 0.25 [2, 1, 2, 2, 1, 2] 0.25 [2, 1, 2, 2, 2, 1] 0.25 [2, 1, 2, 2, 2, 2] 0.25 [2, 1, 2, 2, 3, 1] 0.25 [2, 1, 2, 2, 3, 2] 0.25 [2, 1, 2, 3, 1, 1] 0.25 [2, 1, 2, 3, 1, 2] 0.25 [2, 1, 2, 3, 2, 1] 0.25 [2, 1, 2, 3, 2, 2] 0.25 [2, 1, 2, 3, 3, 1] 0.25 [2, 1, 2, 3, 3, 2] 0.1275 [2, 2, 1, 1, 1, 1] 0.25 [2, 2, 1, 1, 1, 2] 0.25 [2, 2, 1, 1, 2, 1] 0.25 [2, 2, 1, 1, 2, 2] 0.25 [2, 2, 1, 1, 3, 1] 0.25 [2, 2, 1, 1, 3, 2] 0.25 [2, 2, 1, 2, 1, 1] 0.25 [2, 2, 1, 2, 1, 2] 0.25 [2, 2, 1, 2, 2, 1] 0.25 [2, 2, 1, 2, 2, 2] 0.25 [2, 2, 1, 2, 3, 1] 0.25 [2, 2, 1, 2, 3, 2] 0.25 [2, 2, 1, 3, 1, 1] 0.25 [2, 2, 1, 3, 1, 2] 0.25 [2, 2, 1, 3, 2, 1] 0.25 [2, 2, 1, 3, 2, 2] 0.25 [2, 2, 1, 3, 3, 1] 0.0225 [2, 2, 1, 3, 3, 2] 0.25 [2, 2, 2, 1, 1, 1] 0.25 [2, 2, 2, 1, 1, 2] 0.25 [2, 2, 2, 1, 2, 1] 0.25 [2, 2, 2, 1, 2, 2] 0.25 [2, 2, 2, 1, 3, 1] 0.25 [2, 2, 2, 1, 3, 2] 0.25 [2, 2, 2, 2, 1, 1] 0.25 [2, 2, 2, 2, 1, 2] 0.25 [2, 2, 2, 2, 2, 1] 0.25 [2, 2, 2, 2, 2, 2] 0.25 [2, 2, 2, 2, 3, 1] 0.25 [2, 2, 2, 2, 3, 2] 0.25 [2, 2, 2, 3, 1, 1] 0.25 [2, 2, 2, 3, 1, 2] 0.25 [2, 2, 2, 3, 2, 1] 0.25 [2, 2, 2, 3, 2, 2] 0.25 [2, 2, 2, 3, 3, 1] 0.25 [2, 2, 2, 3, 3, 2] 0.7225 ; param reward default 0.0 [1, 1, 1] -50.0 [1, 1, 2] -100.0 [1, 1, 3] -101.0 [1, 2, 1] -100.0 [1, 2, 2] 20.0 [1, 2, 3] 9.0 [1, 3, 1] -101.0 [1, 3, 2] 9.0 [1, 3, 3] -2.0 [2, 1, 1] 20.0 [2, 1, 2] -100.0 [2, 1, 3] 9.0 [2, 2, 1] -100.0 [2, 2, 2] -50.0 [2, 2, 3] -101.0 [2, 3, 1] 9.0 [2, 3, 2] -101.0 [2, 3, 3] -2.0 ;