%---------------- SGGS v1.0 (IJCAR 2020 submission) ----------------% ------ Parsing...successful ------ Proving... use I- Gamma_0: (extend-no-conflict) 0: [stable(sk2)] Gamma_1: (extend-no-conflict) 0: [stable(sk2)] 1: [environment(sk2)] Gamma_2: (extend-no-conflict) 0: [stable(sk2)] 1: [environment(sk2)] 2: [in_environment(sk2,sk1(sk2))], ~(stable(sk2)), ~(environment(sk2)) Gamma_3: (extend-no-conflict) 0: [stable(sk2)] 1: [environment(sk2)] 2: [in_environment(sk2,sk1(sk2))], ~(stable(sk2)), ~(environment(sk2)) 3: [subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))], ~( in_environment(sk2,sk1(sk2))) Gamma_4: (extend-no-conflict) 0: [stable(sk2)] 1: [environment(sk2)] 2: [in_environment(sk2,sk1(sk2))], ~(stable(sk2)), ~(environment(sk2)) 3: [subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))], ~( in_environment(sk2,sk1(sk2))) 4: [greater_or_equal(sk3(sk1(sk2)),sk1(sk2))], ~(in_environment(sk2,sk1(sk2))) Gamma_5: (extend-no-conflict) 0: [stable(sk2)] 1: [environment(sk2)] 2: [in_environment(sk2,sk1(sk2))], ~(stable(sk2)), ~(environment(sk2)) 3: [subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))], ~( in_environment(sk2,sk1(sk2))) 4: [greater_or_equal(sk3(sk1(sk2)),sk1(sk2))], ~(in_environment(sk2,sk1(sk2))) 5: ~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))), [greater( growth_rate(efficient_producers,sk3(sk1(sk2))),growth_rate(first_movers,sk3(sk1(sk2))))], ~( greater_or_equal(sk3(sk1(sk2)),sk1(sk2))), ~(stable(sk2)), ~(environment(sk2)) Gamma_6: (extend-no-conflict) 0: [stable(sk2)] 1: [environment(sk2)] 2: [in_environment(sk2,sk1(sk2))], ~(stable(sk2)), ~(environment(sk2)) 3: [subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))], ~( in_environment(sk2,sk1(sk2))) 4: [greater_or_equal(sk3(sk1(sk2)),sk1(sk2))], ~(in_environment(sk2,sk1(sk2))) 5: ~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))), [greater( growth_rate(efficient_producers,sk3(sk1(sk2))),growth_rate(first_movers,sk3(sk1(sk2))))], ~( greater_or_equal(sk3(sk1(sk2)),sk1(sk2))), ~(stable(sk2)), ~(environment(sk2)) 6: ~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))), [selection_favors( efficient_producers,first_movers,sk3(sk1(sk2)))], ~(greater(growth_rate(efficient_producers,sk3(sk1(sk2))),growth_rate(first_movers,sk3(sk1(sk2))))), ~( environment(sk2)) Gamma_7: (extend-conflict) 0: [stable(sk2)] 1: [environment(sk2)] 2: [in_environment(sk2,sk1(sk2))], ~(stable(sk2)), ~(environment(sk2)) 3: [subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))], ~( in_environment(sk2,sk1(sk2))) 4: [greater_or_equal(sk3(sk1(sk2)),sk1(sk2))], ~(in_environment(sk2,sk1(sk2))) 5: ~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))), [greater( growth_rate(efficient_producers,sk3(sk1(sk2))),growth_rate(first_movers,sk3(sk1(sk2))))], ~( greater_or_equal(sk3(sk1(sk2)),sk1(sk2))), ~(stable(sk2)), ~(environment(sk2)) 6: ~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))), [selection_favors( efficient_producers,first_movers,sk3(sk1(sk2)))], ~(greater(growth_rate(efficient_producers,sk3(sk1(sk2))),growth_rate(first_movers,sk3(sk1(sk2))))), ~( environment(sk2)) 7: [~(selection_favors(efficient_producers,first_movers,sk3(sk1(sk2))))], ~( in_environment(sk2,sk1(sk2))) Gamma_8: (move) 0: [stable(sk2)] 1: [environment(sk2)] 2: [in_environment(sk2,sk1(sk2))], ~(stable(sk2)), ~(environment(sk2)) 3: [subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))], ~( in_environment(sk2,sk1(sk2))) 4: [greater_or_equal(sk3(sk1(sk2)),sk1(sk2))], ~(in_environment(sk2,sk1(sk2))) 5: ~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))), [greater( growth_rate(efficient_producers,sk3(sk1(sk2))),growth_rate(first_movers,sk3(sk1(sk2))))], ~( greater_or_equal(sk3(sk1(sk2)),sk1(sk2))), ~(stable(sk2)), ~(environment(sk2)) 6: [~(selection_favors(efficient_producers,first_movers,sk3(sk1(sk2))))], ~( in_environment(sk2,sk1(sk2))) 7: ~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))), [selection_favors( efficient_producers,first_movers,sk3(sk1(sk2)))], ~(greater(growth_rate(efficient_producers,sk3(sk1(sk2))),growth_rate(first_movers,sk3(sk1(sk2))))), ~( environment(sk2)) Gamma_9: (resolve) 0: [stable(sk2)] 1: [environment(sk2)] 2: [in_environment(sk2,sk1(sk2))], ~(stable(sk2)), ~(environment(sk2)) 3: [subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))], ~( in_environment(sk2,sk1(sk2))) 4: [greater_or_equal(sk3(sk1(sk2)),sk1(sk2))], ~(in_environment(sk2,sk1(sk2))) 5: ~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))), [greater( growth_rate(efficient_producers,sk3(sk1(sk2))),growth_rate(first_movers,sk3(sk1(sk2))))], ~( greater_or_equal(sk3(sk1(sk2)),sk1(sk2))), ~(stable(sk2)), ~(environment(sk2)) 6: [~(selection_favors(efficient_producers,first_movers,sk3(sk1(sk2))))], ~( in_environment(sk2,sk1(sk2))) 7: [~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2))))], ~( greater(growth_rate(efficient_producers,sk3(sk1(sk2))),growth_rate(first_movers,sk3(sk1(sk2))))), ~( in_environment(sk2,sk1(sk2))), ~(environment(sk2)) Gamma_10: (extend-conflict) 0: [stable(sk2)] 1: [environment(sk2)] 2: [in_environment(sk2,sk1(sk2))], ~(stable(sk2)), ~(environment(sk2)) 3: [subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))], ~( in_environment(sk2,sk1(sk2))) 4: [greater_or_equal(sk3(sk1(sk2)),sk1(sk2))], ~(in_environment(sk2,sk1(sk2))) 5: ~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))), [greater( growth_rate(efficient_producers,sk3(sk1(sk2))),growth_rate(first_movers,sk3(sk1(sk2))))], ~( greater_or_equal(sk3(sk1(sk2)),sk1(sk2))), ~(stable(sk2)), ~(environment(sk2)) 6: [~(selection_favors(efficient_producers,first_movers,sk3(sk1(sk2))))], ~( in_environment(sk2,sk1(sk2))) 7: ~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))), [~( greater(growth_rate(efficient_producers,sk3(sk1(sk2))),growth_rate(first_movers,sk3(sk1(sk2)))))], ~( in_environment(sk2,sk1(sk2))), ~(environment(sk2)) Gamma_11: (move) 0: [stable(sk2)] 1: [environment(sk2)] 2: [in_environment(sk2,sk1(sk2))], ~(stable(sk2)), ~(environment(sk2)) 3: [subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))], ~( in_environment(sk2,sk1(sk2))) 4: [greater_or_equal(sk3(sk1(sk2)),sk1(sk2))], ~(in_environment(sk2,sk1(sk2))) 5: ~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))), [~( greater(growth_rate(efficient_producers,sk3(sk1(sk2))),growth_rate(first_movers,sk3(sk1(sk2)))))], ~( in_environment(sk2,sk1(sk2))), ~(environment(sk2)) 6: ~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))), [greater( growth_rate(efficient_producers,sk3(sk1(sk2))),growth_rate(first_movers,sk3(sk1(sk2))))], ~( greater_or_equal(sk3(sk1(sk2)),sk1(sk2))), ~(stable(sk2)), ~(environment(sk2)) 7: [~(selection_favors(efficient_producers,first_movers,sk3(sk1(sk2))))], ~( in_environment(sk2,sk1(sk2))) Gamma_12: (resolve) 0: [stable(sk2)] 1: [environment(sk2)] 2: [in_environment(sk2,sk1(sk2))], ~(stable(sk2)), ~(environment(sk2)) 3: [subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))], ~( in_environment(sk2,sk1(sk2))) 4: [greater_or_equal(sk3(sk1(sk2)),sk1(sk2))], ~(in_environment(sk2,sk1(sk2))) 5: ~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))), [~( greater(growth_rate(efficient_producers,sk3(sk1(sk2))),growth_rate(first_movers,sk3(sk1(sk2)))))], ~( in_environment(sk2,sk1(sk2))), ~(environment(sk2)) 6: [~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2))))], ~( greater_or_equal(sk3(sk1(sk2)),sk1(sk2))), ~(in_environment(sk2,sk1(sk2))), ~( stable(sk2)), ~(environment(sk2)) 7: [~(selection_favors(efficient_producers,first_movers,sk3(sk1(sk2))))], ~( in_environment(sk2,sk1(sk2))) Gamma_13: (extend-conflict) 0: [stable(sk2)] 1: [environment(sk2)] 2: [in_environment(sk2,sk1(sk2))], ~(stable(sk2)), ~(environment(sk2)) 3: [subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))], ~( in_environment(sk2,sk1(sk2))) 4: [greater_or_equal(sk3(sk1(sk2)),sk1(sk2))], ~(in_environment(sk2,sk1(sk2))) 5: ~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))), [~( greater(growth_rate(efficient_producers,sk3(sk1(sk2))),growth_rate(first_movers,sk3(sk1(sk2)))))], ~( in_environment(sk2,sk1(sk2))), ~(environment(sk2)) 6: ~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))), [~( greater_or_equal(sk3(sk1(sk2)),sk1(sk2)))], ~(in_environment(sk2,sk1(sk2))), ~( stable(sk2)), ~(environment(sk2)) 7: [~(selection_favors(efficient_producers,first_movers,sk3(sk1(sk2))))], ~( in_environment(sk2,sk1(sk2))) Gamma_14: (move) 0: [stable(sk2)] 1: [environment(sk2)] 2: [in_environment(sk2,sk1(sk2))], ~(stable(sk2)), ~(environment(sk2)) 3: [subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))], ~( in_environment(sk2,sk1(sk2))) 4: ~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))), [~( greater_or_equal(sk3(sk1(sk2)),sk1(sk2)))], ~(in_environment(sk2,sk1(sk2))), ~( stable(sk2)), ~(environment(sk2)) 5: [greater_or_equal(sk3(sk1(sk2)),sk1(sk2))], ~(in_environment(sk2,sk1(sk2))) 6: ~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))), [~( greater(growth_rate(efficient_producers,sk3(sk1(sk2))),growth_rate(first_movers,sk3(sk1(sk2)))))], ~( in_environment(sk2,sk1(sk2))), ~(environment(sk2)) 7: [~(selection_favors(efficient_producers,first_movers,sk3(sk1(sk2))))], ~( in_environment(sk2,sk1(sk2))) Gamma_15: (resolve) 0: [stable(sk2)] 1: [environment(sk2)] 2: [in_environment(sk2,sk1(sk2))], ~(stable(sk2)), ~(environment(sk2)) 3: [subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))], ~( in_environment(sk2,sk1(sk2))) 4: ~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))), [~( greater_or_equal(sk3(sk1(sk2)),sk1(sk2)))], ~(in_environment(sk2,sk1(sk2))), ~( stable(sk2)), ~(environment(sk2)) 5: ~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))), [~( in_environment(sk2,sk1(sk2)))], ~(stable(sk2)), ~(environment(sk2)) 6: ~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))), [~( greater(growth_rate(efficient_producers,sk3(sk1(sk2))),growth_rate(first_movers,sk3(sk1(sk2)))))], ~( in_environment(sk2,sk1(sk2))), ~(environment(sk2)) 7: [~(selection_favors(efficient_producers,first_movers,sk3(sk1(sk2))))], ~( in_environment(sk2,sk1(sk2))) Gamma_16: (extend-conflict) 0: [stable(sk2)] 1: [environment(sk2)] 2: [in_environment(sk2,sk1(sk2))], ~(stable(sk2)), ~(environment(sk2)) 3: [subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))], ~( in_environment(sk2,sk1(sk2))) 4: ~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))), [~( greater_or_equal(sk3(sk1(sk2)),sk1(sk2)))], ~(in_environment(sk2,sk1(sk2))), ~( stable(sk2)), ~(environment(sk2)) 5: [~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2))))], ~( in_environment(sk2,sk1(sk2))), ~(stable(sk2)), ~(environment(sk2)) 6: ~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))), [~( greater(growth_rate(efficient_producers,sk3(sk1(sk2))),growth_rate(first_movers,sk3(sk1(sk2)))))], ~( in_environment(sk2,sk1(sk2))), ~(environment(sk2)) 7: [~(selection_favors(efficient_producers,first_movers,sk3(sk1(sk2))))], ~( in_environment(sk2,sk1(sk2))) Gamma_17: (move) 0: [stable(sk2)] 1: [environment(sk2)] 2: [in_environment(sk2,sk1(sk2))], ~(stable(sk2)), ~(environment(sk2)) 3: [~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2))))], ~( in_environment(sk2,sk1(sk2))), ~(stable(sk2)), ~(environment(sk2)) 4: [subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))], ~( in_environment(sk2,sk1(sk2))) 5: ~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))), [~( greater_or_equal(sk3(sk1(sk2)),sk1(sk2)))], ~(in_environment(sk2,sk1(sk2))), ~( stable(sk2)), ~(environment(sk2)) 6: ~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))), [~( greater(growth_rate(efficient_producers,sk3(sk1(sk2))),growth_rate(first_movers,sk3(sk1(sk2)))))], ~( in_environment(sk2,sk1(sk2))), ~(environment(sk2)) 7: [~(selection_favors(efficient_producers,first_movers,sk3(sk1(sk2))))], ~( in_environment(sk2,sk1(sk2))) Gamma_18: (resolve) 0: [stable(sk2)] 1: [environment(sk2)] 2: [in_environment(sk2,sk1(sk2))], ~(stable(sk2)), ~(environment(sk2)) 3: [~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2))))], ~( in_environment(sk2,sk1(sk2))), ~(stable(sk2)), ~(environment(sk2)) 4: [~(in_environment(sk2,sk1(sk2)))], ~(stable(sk2)), ~(environment(sk2)) 5: [~(selection_favors(efficient_producers,first_movers,sk3(sk1(sk2))))], ~( in_environment(sk2,sk1(sk2))) Gamma_19: (extend-conflict) 0: [stable(sk2)] 1: [environment(sk2)] 2: [in_environment(sk2,sk1(sk2))], ~(stable(sk2)), ~(environment(sk2)) 3: [~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2))))], ~( in_environment(sk2,sk1(sk2))), ~(stable(sk2)), ~(environment(sk2)) 4: [~(in_environment(sk2,sk1(sk2)))], ~(stable(sk2)), ~(environment(sk2)) 5: [~(selection_favors(efficient_producers,first_movers,sk3(sk1(sk2))))], ~( in_environment(sk2,sk1(sk2))) Gamma_20: (move) 0: [stable(sk2)] 1: [environment(sk2)] 2: [~(in_environment(sk2,sk1(sk2)))], ~(stable(sk2)), ~(environment(sk2)) 3: [in_environment(sk2,sk1(sk2))], ~(stable(sk2)), ~(environment(sk2)) 4: [~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2))))], ~( in_environment(sk2,sk1(sk2))), ~(stable(sk2)), ~(environment(sk2)) 5: [~(selection_favors(efficient_producers,first_movers,sk3(sk1(sk2))))], ~( in_environment(sk2,sk1(sk2))) Gamma_21: (resolve) 0: [stable(sk2)] 1: [environment(sk2)] 2: [~(in_environment(sk2,sk1(sk2)))], ~(stable(sk2)), ~(environment(sk2)) 3: [~(stable(sk2))], ~(environment(sk2)) Gamma_22: (extend-conflict) 0: [stable(sk2)] 1: [environment(sk2)] 2: [~(in_environment(sk2,sk1(sk2)))], ~(stable(sk2)), ~(environment(sk2)) 3: ~(stable(sk2)), [~(environment(sk2))] Gamma_23: (move) 0: [stable(sk2)] 1: ~(stable(sk2)), [~(environment(sk2))] 2: [environment(sk2)] 3: [~(in_environment(sk2,sk1(sk2)))], ~(stable(sk2)), ~(environment(sk2)) Gamma_24: (resolve) 0: [stable(sk2)] 1: ~(stable(sk2)), [~(environment(sk2))] 2: [~(stable(sk2))] Gamma_25: (extend-conflict) 0: [stable(sk2)] 1: ~(stable(sk2)), [~(environment(sk2))] 2: [~(stable(sk2))] Gamma_26: (move) 0: [~(stable(sk2))] 1: [stable(sk2)] 2: ~(stable(sk2)), [~(environment(sk2))] Gamma_27: (resolve) 0: [~(stable(sk2))] 1: [] SZS status Unsatisfiable %---------------- SGGS v1.0 (IJCAR 2020 submission) ----------------% ------ Parsing...successful ------ Proving... use I- Gamma_0: (extend-no-conflict) 0: [stable(sk2)] Gamma_1: (extend-no-conflict) 0: [stable(sk2)] 1: [environment(sk2)] Gamma_2: (extend-no-conflict) 0: [stable(sk2)] 1: [environment(sk2)] 2: [in_environment(sk2,sk1(sk2))], ~(stable(sk2)), ~(environment(sk2)) Gamma_3: (extend-no-conflict) 0: [stable(sk2)] 1: [environment(sk2)] 2: [in_environment(sk2,sk1(sk2))], ~(stable(sk2)), ~(environment(sk2)) 3: [subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))], ~( in_environment(sk2,sk1(sk2))) Gamma_4: (extend-no-conflict) 0: [stable(sk2)] 1: [environment(sk2)] 2: [in_environment(sk2,sk1(sk2))], ~(stable(sk2)), ~(environment(sk2)) 3: [subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))], ~( in_environment(sk2,sk1(sk2))) 4: [greater_or_equal(sk3(sk1(sk2)),sk1(sk2))], ~(in_environment(sk2,sk1(sk2))) Gamma_5: (extend-no-conflict) 0: [stable(sk2)] 1: [environment(sk2)] 2: [in_environment(sk2,sk1(sk2))], ~(stable(sk2)), ~(environment(sk2)) 3: [subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))], ~( in_environment(sk2,sk1(sk2))) 4: [greater_or_equal(sk3(sk1(sk2)),sk1(sk2))], ~(in_environment(sk2,sk1(sk2))) 5: ~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))), [greater( growth_rate(efficient_producers,sk3(sk1(sk2))),growth_rate(first_movers,sk3(sk1(sk2))))], ~( greater_or_equal(sk3(sk1(sk2)),sk1(sk2))), ~(stable(sk2)), ~(environment(sk2)) Gamma_6: (extend-no-conflict) 0: [stable(sk2)] 1: [environment(sk2)] 2: [in_environment(sk2,sk1(sk2))], ~(stable(sk2)), ~(environment(sk2)) 3: [subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))], ~( in_environment(sk2,sk1(sk2))) 4: [greater_or_equal(sk3(sk1(sk2)),sk1(sk2))], ~(in_environment(sk2,sk1(sk2))) 5: ~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))), [greater( growth_rate(efficient_producers,sk3(sk1(sk2))),growth_rate(first_movers,sk3(sk1(sk2))))], ~( greater_or_equal(sk3(sk1(sk2)),sk1(sk2))), ~(stable(sk2)), ~(environment(sk2)) 6: ~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))), [selection_favors( efficient_producers,first_movers,sk3(sk1(sk2)))], ~(greater(growth_rate(efficient_producers,sk3(sk1(sk2))),growth_rate(first_movers,sk3(sk1(sk2))))), ~( environment(sk2)) Gamma_7: (extend-conflict) 0: [stable(sk2)] 1: [environment(sk2)] 2: [in_environment(sk2,sk1(sk2))], ~(stable(sk2)), ~(environment(sk2)) 3: [subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))], ~( in_environment(sk2,sk1(sk2))) 4: [greater_or_equal(sk3(sk1(sk2)),sk1(sk2))], ~(in_environment(sk2,sk1(sk2))) 5: ~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))), [greater( growth_rate(efficient_producers,sk3(sk1(sk2))),growth_rate(first_movers,sk3(sk1(sk2))))], ~( greater_or_equal(sk3(sk1(sk2)),sk1(sk2))), ~(stable(sk2)), ~(environment(sk2)) 6: ~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))), [selection_favors( efficient_producers,first_movers,sk3(sk1(sk2)))], ~(greater(growth_rate(efficient_producers,sk3(sk1(sk2))),growth_rate(first_movers,sk3(sk1(sk2))))), ~( environment(sk2)) 7: [~(selection_favors(efficient_producers,first_movers,sk3(sk1(sk2))))], ~( in_environment(sk2,sk1(sk2))) Gamma_8: (move) 0: [stable(sk2)] 1: [environment(sk2)] 2: [in_environment(sk2,sk1(sk2))], ~(stable(sk2)), ~(environment(sk2)) 3: [subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))], ~( in_environment(sk2,sk1(sk2))) 4: [greater_or_equal(sk3(sk1(sk2)),sk1(sk2))], ~(in_environment(sk2,sk1(sk2))) 5: ~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))), [greater( growth_rate(efficient_producers,sk3(sk1(sk2))),growth_rate(first_movers,sk3(sk1(sk2))))], ~( greater_or_equal(sk3(sk1(sk2)),sk1(sk2))), ~(stable(sk2)), ~(environment(sk2)) 6: [~(selection_favors(efficient_producers,first_movers,sk3(sk1(sk2))))], ~( in_environment(sk2,sk1(sk2))) 7: ~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))), [selection_favors( efficient_producers,first_movers,sk3(sk1(sk2)))], ~(greater(growth_rate(efficient_producers,sk3(sk1(sk2))),growth_rate(first_movers,sk3(sk1(sk2))))), ~( environment(sk2)) Gamma_9: (resolve) 0: [stable(sk2)] 1: [environment(sk2)] 2: [in_environment(sk2,sk1(sk2))], ~(stable(sk2)), ~(environment(sk2)) 3: [subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))], ~( in_environment(sk2,sk1(sk2))) 4: [greater_or_equal(sk3(sk1(sk2)),sk1(sk2))], ~(in_environment(sk2,sk1(sk2))) 5: ~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))), [greater( growth_rate(efficient_producers,sk3(sk1(sk2))),growth_rate(first_movers,sk3(sk1(sk2))))], ~( greater_or_equal(sk3(sk1(sk2)),sk1(sk2))), ~(stable(sk2)), ~(environment(sk2)) 6: [~(selection_favors(efficient_producers,first_movers,sk3(sk1(sk2))))], ~( in_environment(sk2,sk1(sk2))) 7: [~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2))))], ~( greater(growth_rate(efficient_producers,sk3(sk1(sk2))),growth_rate(first_movers,sk3(sk1(sk2))))), ~( in_environment(sk2,sk1(sk2))), ~(environment(sk2)) Gamma_10: (extend-conflict) 0: [stable(sk2)] 1: [environment(sk2)] 2: [in_environment(sk2,sk1(sk2))], ~(stable(sk2)), ~(environment(sk2)) 3: [subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))], ~( in_environment(sk2,sk1(sk2))) 4: [greater_or_equal(sk3(sk1(sk2)),sk1(sk2))], ~(in_environment(sk2,sk1(sk2))) 5: ~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))), [greater( growth_rate(efficient_producers,sk3(sk1(sk2))),growth_rate(first_movers,sk3(sk1(sk2))))], ~( greater_or_equal(sk3(sk1(sk2)),sk1(sk2))), ~(stable(sk2)), ~(environment(sk2)) 6: [~(selection_favors(efficient_producers,first_movers,sk3(sk1(sk2))))], ~( in_environment(sk2,sk1(sk2))) 7: ~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))), [~( greater(growth_rate(efficient_producers,sk3(sk1(sk2))),growth_rate(first_movers,sk3(sk1(sk2)))))], ~( in_environment(sk2,sk1(sk2))), ~(environment(sk2)) Gamma_11: (move) 0: [stable(sk2)] 1: [environment(sk2)] 2: [in_environment(sk2,sk1(sk2))], ~(stable(sk2)), ~(environment(sk2)) 3: [subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))], ~( in_environment(sk2,sk1(sk2))) 4: [greater_or_equal(sk3(sk1(sk2)),sk1(sk2))], ~(in_environment(sk2,sk1(sk2))) 5: ~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))), [~( greater(growth_rate(efficient_producers,sk3(sk1(sk2))),growth_rate(first_movers,sk3(sk1(sk2)))))], ~( in_environment(sk2,sk1(sk2))), ~(environment(sk2)) 6: ~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))), [greater( growth_rate(efficient_producers,sk3(sk1(sk2))),growth_rate(first_movers,sk3(sk1(sk2))))], ~( greater_or_equal(sk3(sk1(sk2)),sk1(sk2))), ~(stable(sk2)), ~(environment(sk2)) 7: [~(selection_favors(efficient_producers,first_movers,sk3(sk1(sk2))))], ~( in_environment(sk2,sk1(sk2))) Gamma_12: (resolve) 0: [stable(sk2)] 1: [environment(sk2)] 2: [in_environment(sk2,sk1(sk2))], ~(stable(sk2)), ~(environment(sk2)) 3: [subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))], ~( in_environment(sk2,sk1(sk2))) 4: [greater_or_equal(sk3(sk1(sk2)),sk1(sk2))], ~(in_environment(sk2,sk1(sk2))) 5: ~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))), [~( greater(growth_rate(efficient_producers,sk3(sk1(sk2))),growth_rate(first_movers,sk3(sk1(sk2)))))], ~( in_environment(sk2,sk1(sk2))), ~(environment(sk2)) 6: [~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2))))], ~( greater_or_equal(sk3(sk1(sk2)),sk1(sk2))), ~(in_environment(sk2,sk1(sk2))), ~( stable(sk2)), ~(environment(sk2)) 7: [~(selection_favors(efficient_producers,first_movers,sk3(sk1(sk2))))], ~( in_environment(sk2,sk1(sk2))) Gamma_13: (extend-conflict) 0: [stable(sk2)] 1: [environment(sk2)] 2: [in_environment(sk2,sk1(sk2))], ~(stable(sk2)), ~(environment(sk2)) 3: [subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))], ~( in_environment(sk2,sk1(sk2))) 4: [greater_or_equal(sk3(sk1(sk2)),sk1(sk2))], ~(in_environment(sk2,sk1(sk2))) 5: ~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))), [~( greater(growth_rate(efficient_producers,sk3(sk1(sk2))),growth_rate(first_movers,sk3(sk1(sk2)))))], ~( in_environment(sk2,sk1(sk2))), ~(environment(sk2)) 6: ~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))), [~( greater_or_equal(sk3(sk1(sk2)),sk1(sk2)))], ~(in_environment(sk2,sk1(sk2))), ~( stable(sk2)), ~(environment(sk2)) 7: [~(selection_favors(efficient_producers,first_movers,sk3(sk1(sk2))))], ~( in_environment(sk2,sk1(sk2))) Gamma_14: (move) 0: [stable(sk2)] 1: [environment(sk2)] 2: [in_environment(sk2,sk1(sk2))], ~(stable(sk2)), ~(environment(sk2)) 3: [subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))], ~( in_environment(sk2,sk1(sk2))) 4: ~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))), [~( greater_or_equal(sk3(sk1(sk2)),sk1(sk2)))], ~(in_environment(sk2,sk1(sk2))), ~( stable(sk2)), ~(environment(sk2)) 5: [greater_or_equal(sk3(sk1(sk2)),sk1(sk2))], ~(in_environment(sk2,sk1(sk2))) 6: ~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))), [~( greater(growth_rate(efficient_producers,sk3(sk1(sk2))),growth_rate(first_movers,sk3(sk1(sk2)))))], ~( in_environment(sk2,sk1(sk2))), ~(environment(sk2)) 7: [~(selection_favors(efficient_producers,first_movers,sk3(sk1(sk2))))], ~( in_environment(sk2,sk1(sk2))) Gamma_15: (resolve) 0: [stable(sk2)] 1: [environment(sk2)] 2: [in_environment(sk2,sk1(sk2))], ~(stable(sk2)), ~(environment(sk2)) 3: [subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))], ~( in_environment(sk2,sk1(sk2))) 4: ~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))), [~( greater_or_equal(sk3(sk1(sk2)),sk1(sk2)))], ~(in_environment(sk2,sk1(sk2))), ~( stable(sk2)), ~(environment(sk2)) 5: ~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))), [~( in_environment(sk2,sk1(sk2)))], ~(stable(sk2)), ~(environment(sk2)) 6: ~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))), [~( greater(growth_rate(efficient_producers,sk3(sk1(sk2))),growth_rate(first_movers,sk3(sk1(sk2)))))], ~( in_environment(sk2,sk1(sk2))), ~(environment(sk2)) 7: [~(selection_favors(efficient_producers,first_movers,sk3(sk1(sk2))))], ~( in_environment(sk2,sk1(sk2))) Gamma_16: (extend-conflict) 0: [stable(sk2)] 1: [environment(sk2)] 2: [in_environment(sk2,sk1(sk2))], ~(stable(sk2)), ~(environment(sk2)) 3: [subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))], ~( in_environment(sk2,sk1(sk2))) 4: ~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))), [~( greater_or_equal(sk3(sk1(sk2)),sk1(sk2)))], ~(in_environment(sk2,sk1(sk2))), ~( stable(sk2)), ~(environment(sk2)) 5: [~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2))))], ~( in_environment(sk2,sk1(sk2))), ~(stable(sk2)), ~(environment(sk2)) 6: ~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))), [~( greater(growth_rate(efficient_producers,sk3(sk1(sk2))),growth_rate(first_movers,sk3(sk1(sk2)))))], ~( in_environment(sk2,sk1(sk2))), ~(environment(sk2)) 7: [~(selection_favors(efficient_producers,first_movers,sk3(sk1(sk2))))], ~( in_environment(sk2,sk1(sk2))) Gamma_17: (move) 0: [stable(sk2)] 1: [environment(sk2)] 2: [in_environment(sk2,sk1(sk2))], ~(stable(sk2)), ~(environment(sk2)) 3: [~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2))))], ~( in_environment(sk2,sk1(sk2))), ~(stable(sk2)), ~(environment(sk2)) 4: [subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))], ~( in_environment(sk2,sk1(sk2))) 5: ~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))), [~( greater_or_equal(sk3(sk1(sk2)),sk1(sk2)))], ~(in_environment(sk2,sk1(sk2))), ~( stable(sk2)), ~(environment(sk2)) 6: ~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2)))), [~( greater(growth_rate(efficient_producers,sk3(sk1(sk2))),growth_rate(first_movers,sk3(sk1(sk2)))))], ~( in_environment(sk2,sk1(sk2))), ~(environment(sk2)) 7: [~(selection_favors(efficient_producers,first_movers,sk3(sk1(sk2))))], ~( in_environment(sk2,sk1(sk2))) Gamma_18: (resolve) 0: [stable(sk2)] 1: [environment(sk2)] 2: [in_environment(sk2,sk1(sk2))], ~(stable(sk2)), ~(environment(sk2)) 3: [~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2))))], ~( in_environment(sk2,sk1(sk2))), ~(stable(sk2)), ~(environment(sk2)) 4: [~(in_environment(sk2,sk1(sk2)))], ~(stable(sk2)), ~(environment(sk2)) 5: [~(selection_favors(efficient_producers,first_movers,sk3(sk1(sk2))))], ~( in_environment(sk2,sk1(sk2))) Gamma_19: (extend-conflict) 0: [stable(sk2)] 1: [environment(sk2)] 2: [in_environment(sk2,sk1(sk2))], ~(stable(sk2)), ~(environment(sk2)) 3: [~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2))))], ~( in_environment(sk2,sk1(sk2))), ~(stable(sk2)), ~(environment(sk2)) 4: [~(in_environment(sk2,sk1(sk2)))], ~(stable(sk2)), ~(environment(sk2)) 5: [~(selection_favors(efficient_producers,first_movers,sk3(sk1(sk2))))], ~( in_environment(sk2,sk1(sk2))) Gamma_20: (move) 0: [stable(sk2)] 1: [environment(sk2)] 2: [~(in_environment(sk2,sk1(sk2)))], ~(stable(sk2)), ~(environment(sk2)) 3: [in_environment(sk2,sk1(sk2))], ~(stable(sk2)), ~(environment(sk2)) 4: [~(subpopulations(first_movers,efficient_producers,sk2,sk3(sk1(sk2))))], ~( in_environment(sk2,sk1(sk2))), ~(stable(sk2)), ~(environment(sk2)) 5: [~(selection_favors(efficient_producers,first_movers,sk3(sk1(sk2))))], ~( in_environment(sk2,sk1(sk2))) Gamma_21: (resolve) 0: [stable(sk2)] 1: [environment(sk2)] 2: [~(in_environment(sk2,sk1(sk2)))], ~(stable(sk2)), ~(environment(sk2)) 3: [~(stable(sk2))], ~(environment(sk2)) Gamma_22: (extend-conflict) 0: [stable(sk2)] 1: [environment(sk2)] 2: [~(in_environment(sk2,sk1(sk2)))], ~(stable(sk2)), ~(environment(sk2)) 3: ~(stable(sk2)), [~(environment(sk2))] Gamma_23: (move) 0: [stable(sk2)] 1: ~(stable(sk2)), [~(environment(sk2))] 2: [environment(sk2)] 3: [~(in_environment(sk2,sk1(sk2)))], ~(stable(sk2)), ~(environment(sk2)) Gamma_24: (resolve) 0: [stable(sk2)] 1: ~(stable(sk2)), [~(environment(sk2))] 2: [~(stable(sk2))] Gamma_25: (extend-conflict) 0: [stable(sk2)] 1: ~(stable(sk2)), [~(environment(sk2))] 2: [~(stable(sk2))] Gamma_26: (move) 0: [~(stable(sk2))] 1: [stable(sk2)] 2: ~(stable(sk2)), [~(environment(sk2))] Gamma_27: (resolve) 0: [~(stable(sk2))] 1: [] SZS status Unsatisfiable