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