non-fluents sysadmin_nf_test1 {
domain = sysadmin_mdp;
objects {
computer : {c1,c2,c3};
};
non-fluents {
REBOOT-PROB = 0.05;
CONNECTED(c1,c2);
CONNECTED(c2,c3);
CONNECTED(c3,c1);
//CONNECTED(c4,c1);
};
}
instance sysadmin_test1 {
domain = sysadmin_mdp;
non-fluents = sysadmin_nf_test1;
init-state {
running(c1);
running(c2);
running(c3);
//running(c4);
};
max-nondef-actions = 3;
horizon = 10;
discount = 1.0;
}
non-fluents sysadmin_nf_test2 {
domain = sysadmin_mdp;
objects {
computer : {c1,c2,c3,c4,c5,c6,c7,c8,c9,c10};
};
non-fluents {
REBOOT-PROB = 0.05;
CONNECTED(c1,c4);
CONNECTED(c1,c9);
CONNECTED(c2,c8);
CONNECTED(c3,c4);
CONNECTED(c3,c9);
CONNECTED(c4,c5);
CONNECTED(c5,c7);
CONNECTED(c6,c4);
CONNECTED(c6,c8);
CONNECTED(c7,c9);
CONNECTED(c8,c6);
CONNECTED(c8,c10);
CONNECTED(c9,c6);
CONNECTED(c10,c2);
};
}
instance sysadmin_test2 {
domain = sysadmin_mdp;
non-fluents = sysadmin_nf_test2;
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 = 10;
horizon = 40;
discount = 1.0;
}