non-fluents nf_sysadmin_inst_pomdp__1 {
domain = sysadmin_pomdp;
objects {
computer : {c1, c2, c3, c4, c5, c6, c7, c8, c9, c10};
};
non-fluents {
REBOOT-PROB = 0.02;
CONNECTED(c1, c3);
CONNECTED(c1, c7);
CONNECTED(c2, c5);
CONNECTED(c3, c1);
CONNECTED(c3, c4);
CONNECTED(c4, c5);
CONNECTED(c4, c8);
CONNECTED(c5, c7);
CONNECTED(c6, c3);
CONNECTED(c6, c4);
CONNECTED(c8, c5);
CONNECTED(c8, c10);
CONNECTED(c9, c2);
CONNECTED(c9, c6);
CONNECTED(c10, c6);
CONNECTED(c10, c8);
};
}
instance sysadmin_inst_pomdp__1 {
domain = sysadmin_pomdp;
non-fluents = nf_sysadmin_inst_pomdp__1;
init-state {
running(c1);
running(c2);
running(c3);
running(c4);
running(c5);
running(c6);
running(c7);
running(c8);
running(c9);
running(c10);
};
max-nondef-actions = 1;
horizon = 40;
discount = 1.0;
}