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

instance dice_game_demo_inst_ssp__1 {
    domain = dice_game_demo_ssp;

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

    terminal = forall_{?d : die} [ die-value(?d) == @6 ];

    discount = 1.0;
}