/////////////////////////////////////////////////////////////////////////////////
//                                                                             //
//                                                                             //
// RDDL MDP version of Red-finned Blue-eye instance #12 for IPC 2018 by Iadine //
// Chades (iadine.chades [at] csiro.au) and Thomas Keller (tho.keller [at]     //
// unibas.ch), based on the paper "Finding the best management policy to       //
// eradicate invasive species from spatial ecological networks with            //
// simultaneous actions" by Sam Nicol, Regis Sabbadin, Nathalie Peyrard and    //
// Iadine Chades (Journal of Applied Ecology, 2017).                           //
//                                                                             //
//                                                                             //
/////////////////////////////////////////////////////////////////////////////////

instance red-finned-blue-eye_inst_mdp__12 {
    domain = red-finned-blue-eye_mdp;

    objects {
        spring: {s00, s01, s02, s03, s04, s05, s06, s07, s08, s09, s10, s11, s12, s13, s14, s15, s16, s17, s18};
    };

    non-fluents {
        POISON_SUCCESS_PROB = 0.9;
        TRANSLOCATION_SUCCESS_PROB = 0.42;
        ACTION_POINTS = 4;
        REMOVE_MANUALLY_SUCCESS_PROB = 0.25;

        HIGH_WATER_PROB(@exceptionally-low) = 0.025;
        HIGH_WATER_PROB(@very-low) = 0.1;
        HIGH_WATER_PROB(@low) = 0.2;
        HIGH_WATER_PROB(@average) = 0.35;
        HIGH_WATER_PROB(@high) = 0.2;
        HIGH_WATER_PROB(@very-high) = 0.1;
        HIGH_WATER_PROB(@exceptionally-high) = 0.025;

        // Colonization probabilities
        GAMBUSIA_COLONIZE_PROB(s00, s01) = 0.52;
        GAMBUSIA_COLONIZE_PROB(s00, s02) = 0.03;
        GAMBUSIA_COLONIZE_PROB(s00, s03) = 0.2;
        GAMBUSIA_COLONIZE_PROB(s00, s04) = 0.24;
        GAMBUSIA_COLONIZE_PROB(s03, s07) = 0.1;
        GAMBUSIA_COLONIZE_PROB(s05, s06) = 0.25;
        GAMBUSIA_COLONIZE_PROB(s06, s12) = 0.01;
        GAMBUSIA_COLONIZE_PROB(s06, s07) = 0.43;
        GAMBUSIA_COLONIZE_PROB(s07, s08) = 0.07;
        GAMBUSIA_COLONIZE_PROB(s08, s09) = 0.09;
        GAMBUSIA_COLONIZE_PROB(s10, s18) = 0.14;
        GAMBUSIA_COLONIZE_PROB(s10, s11) = 0.19;
        GAMBUSIA_COLONIZE_PROB(s10, s13) = 0.08;
        GAMBUSIA_COLONIZE_PROB(s11, s12) = 0.05;
        GAMBUSIA_COLONIZE_PROB(s12, s13) = 0.18;
        GAMBUSIA_COLONIZE_PROB(s14, s16) = 0.13;
        GAMBUSIA_COLONIZE_PROB(s14, s17) = 0.13;
        GAMBUSIA_COLONIZE_PROB(s14, s18) = 0.24;
        GAMBUSIA_COLONIZE_PROB(s14, s15) = 0.35;


        NATURAL_MORTALITY_PROB(s00) = 0.11;
        NATURAL_MORTALITY_PROB(s01) = 0.1;
        NATURAL_MORTALITY_PROB(s02) = 0.1;
        NATURAL_MORTALITY_PROB(s03) = 0.06;
        NATURAL_MORTALITY_PROB(s04) = 0.11;
        NATURAL_MORTALITY_PROB(s05) = 0.06;
        NATURAL_MORTALITY_PROB(s06) = 0.1;
        NATURAL_MORTALITY_PROB(s07) = 0.1;
        NATURAL_MORTALITY_PROB(s08) = 0.02;
        NATURAL_MORTALITY_PROB(s09) = 0.02;
        NATURAL_MORTALITY_PROB(s10) = 0.06;
        NATURAL_MORTALITY_PROB(s11) = 0.06;
        NATURAL_MORTALITY_PROB(s12) = 0.06;
        NATURAL_MORTALITY_PROB(s13) = 0.1;
        NATURAL_MORTALITY_PROB(s14) = 0.06;
        NATURAL_MORTALITY_PROB(s15) = 0.04;
        NATURAL_MORTALITY_PROB(s16) = 0.06;
        NATURAL_MORTALITY_PROB(s17) = 0.04;
        NATURAL_MORTALITY_PROB(s18) = 0.08;


        SPRINGS_CONNECTED(s08, s09, @exceptionally-high);
        SPRINGS_CONNECTED(s10, s18, @exceptionally-high);
        SPRINGS_CONNECTED(s11, s12, @exceptionally-high);
        SPRINGS_CONNECTED(s12, s13, @exceptionally-high);
        SPRINGS_CONNECTED(s00, s02, @exceptionally-high);
        SPRINGS_CONNECTED(s00, s02, @very-high);
        SPRINGS_CONNECTED(s14, s17, @exceptionally-high);
        SPRINGS_CONNECTED(s14, s17, @very-high);
        SPRINGS_CONNECTED(s00, s03, @exceptionally-high);
        SPRINGS_CONNECTED(s00, s03, @very-high);
        SPRINGS_CONNECTED(s00, s03, @high);
        SPRINGS_CONNECTED(s05, s06, @exceptionally-high);
        SPRINGS_CONNECTED(s05, s06, @very-high);
        SPRINGS_CONNECTED(s05, s06, @high);
        SPRINGS_CONNECTED(s10, s11, @exceptionally-high);
        SPRINGS_CONNECTED(s10, s11, @very-high);
        SPRINGS_CONNECTED(s10, s11, @high);
        SPRINGS_CONNECTED(s14, s18, @exceptionally-high);
        SPRINGS_CONNECTED(s14, s18, @very-high);
        SPRINGS_CONNECTED(s14, s18, @high);
        SPRINGS_CONNECTED(s14, s16, @exceptionally-high);
        SPRINGS_CONNECTED(s14, s16, @very-high);
        SPRINGS_CONNECTED(s14, s16, @high);
        SPRINGS_CONNECTED(s14, s16, @average);
        SPRINGS_CONNECTED(s14, s15, @exceptionally-high);
        SPRINGS_CONNECTED(s14, s15, @very-high);
        SPRINGS_CONNECTED(s14, s15, @high);
        SPRINGS_CONNECTED(s14, s15, @average);
        SPRINGS_CONNECTED(s00, s04, @exceptionally-high);
        SPRINGS_CONNECTED(s00, s04, @very-high);
        SPRINGS_CONNECTED(s00, s04, @high);
        SPRINGS_CONNECTED(s00, s04, @average);
        SPRINGS_CONNECTED(s00, s04, @low);
        SPRINGS_CONNECTED(s03, s07, @exceptionally-high);
        SPRINGS_CONNECTED(s03, s07, @very-high);
        SPRINGS_CONNECTED(s03, s07, @high);
        SPRINGS_CONNECTED(s03, s07, @average);
        SPRINGS_CONNECTED(s03, s07, @low);
        SPRINGS_CONNECTED(s06, s07, @exceptionally-high);
        SPRINGS_CONNECTED(s06, s07, @very-high);
        SPRINGS_CONNECTED(s06, s07, @high);
        SPRINGS_CONNECTED(s06, s07, @average);
        SPRINGS_CONNECTED(s06, s07, @low);
        SPRINGS_CONNECTED(s00, s01, @exceptionally-high);
        SPRINGS_CONNECTED(s00, s01, @very-high);
        SPRINGS_CONNECTED(s00, s01, @high);
        SPRINGS_CONNECTED(s00, s01, @average);
        SPRINGS_CONNECTED(s00, s01, @low);
        SPRINGS_CONNECTED(s00, s01, @very-low);
    };

    init-state {
        population(s00) = @red-finned-blue-eye;
        population(s01) = @gambusia;
        population(s02) = @red-finned-blue-eye;
        population(s03) = @red-finned-blue-eye;
        population(s04) = @gambusia;
        population(s05) = @gambusia;
        population(s06) = @red-finned-blue-eye;
        population(s09) = @gambusia;
        population(s11) = @red-finned-blue-eye;
        population(s12) = @gambusia;
        population(s13) = @red-finned-blue-eye;
        population(s14) = @gambusia;
        population(s15) = @red-finned-blue-eye;
        population(s16) = @gambusia;
        population(s17) = @gambusia;
    };

    horizon = 100;

    discount = 1.0;
}
