////////////////////////////////////////////////////////////////////
//
// RDDL MDP version without enums of the Dice Game demo instance for
// IPC 2018 by Thomas Keller (tho.keller [at] unibas.ch).
//
////////////////////////////////////////////////////////////////////

instance dice_game_demo_inst_mdp__1 {
    domain = dice_game_demo_mdp;

    objects {
        die : {d1, d2, d3};
    };

    horizon = 10;

    discount = 1.0;
}