%------------------------------------------------------------------------------ % File : Metis---2.4 % Problem : MGT034-1 : TPTP v9.3.0. Released v2.4.0. % Transfm : none % Format : tptp:raw % Command : metis --show proof --show saturation %s % Computer : n019.cluster.edu % Model : x86_64 x86_64 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz % Memory : 8046.5625MB % OS : Linux 6.8.0-71-generic % CPULimit : 300s % WCLimit : 300s % DateTime : Tue Sep 8 06:15:45 AM UTC 2026 % Result : Satisfiable 0.14s 0.44s % Output : Saturation 0.14s % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----WARNING: Could not form TPTP format derivation %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.00/0.03 % Problem : MGT034-1 : TPTP v9.3.0. Released v2.4.0. % 0.00/0.04 % Command : metis --show proof --show saturation %s % 0.08/0.36 % Computer : n019.cluster.edu % 0.08/0.36 % Model : x86_64 x86_64 % 0.08/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.08/0.36 % Memory : 8046.5625MB % 0.08/0.36 % OS : Linux 6.8.0-71-generic % 0.08/0.36 % CPULimit : 300 % 0.08/0.36 % WCLimit : 300 % 0.08/0.36 % DateTime : Mon Sep 7 12:30:37 UTC 2026 % 0.08/0.36 % CPUTime : % 0.08/0.36 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 0.14/0.44 % SZS status Satisfiable for /export/starexec/sandbox/benchmark/theBenchmark.p % 0.14/0.44 % 0.14/0.44 SZS output start Saturation for /export/starexec/sandbox/benchmark/theBenchmark.p % 0.14/0.44 |- ~environment $A \/ ~greater (growth_rate $C $D) (growth_rate $B $D) \/ % 0.14/0.44 ~subpopulations $B $C $A $D \/ selection_favors $C $B $D % 0.14/0.44 |- ~decreases % 0.14/0.44 (difference (disbanding_rate first_movers $B) % 0.14/0.44 (disbanding_rate efficient_producers $B)) \/ ~environment $A \/ % 0.14/0.44 ~subpopulations first_movers efficient_producers $A $B % 0.14/0.44 |- ~environment $A \/ ~in_environment $A (critical_point $A) \/ % 0.14/0.44 subpopulations first_movers efficient_producers $A (critical_point $A) % 0.14/0.44 |- ~environment $A \/ ~in_environment $A (appear efficient_producers $A) \/ % 0.14/0.44 subpopulations first_movers efficient_producers $A % 0.14/0.44 (appear efficient_producers $A) % 0.14/0.44 |- ~decreases % 0.14/0.44 (difference (growth_rate first_movers $C) % 0.14/0.44 (growth_rate efficient_producers $C)) \/ ~environment $A \/ % 0.14/0.44 ~greater $B $C \/ % 0.14/0.44 ~greater_or_equal $C (appear efficient_producers $A) \/ % 0.14/0.44 ~greater_or_equal % 0.14/0.44 (difference (growth_rate first_movers $B) % 0.14/0.44 (growth_rate efficient_producers $B)) zero \/ % 0.14/0.44 ~in_environment $A $B \/ % 0.14/0.44 greater % 0.14/0.44 (difference (growth_rate first_movers $C) % 0.14/0.44 (growth_rate efficient_producers $C)) zero % 0.14/0.44 |- ~decreases % 0.14/0.44 (difference (founding_rate first_movers $A) % 0.14/0.44 (founding_rate efficient_producers $A)) \/ % 0.14/0.44 decreases % 0.14/0.44 (difference (disbanding_rate first_movers $A) % 0.14/0.44 (disbanding_rate efficient_producers $A)) \/ % 0.14/0.44 decreases % 0.14/0.44 (difference (growth_rate first_movers $A) % 0.14/0.44 (growth_rate efficient_producers $A)) % 0.14/0.44 |- ~greater zero % 0.14/0.44 (difference (growth_rate first_movers $A) % 0.14/0.44 (growth_rate efficient_producers $A)) \/ % 0.14/0.44 greater (growth_rate efficient_producers $A) % 0.14/0.44 (growth_rate first_movers $A) % 0.14/0.44 |- ~greater (growth_rate efficient_producers $A) % 0.14/0.44 (growth_rate first_movers $A) \/ % 0.14/0.44 greater zero % 0.14/0.44 (difference (growth_rate first_movers $A) % 0.14/0.44 (growth_rate efficient_producers $A)) % 0.14/0.44 |- ~greater % 0.14/0.44 (difference (growth_rate first_movers $A) % 0.14/0.44 (growth_rate efficient_producers $A)) zero \/ % 0.14/0.44 greater (growth_rate first_movers $A) % 0.14/0.44 (growth_rate efficient_producers $A) % 0.14/0.44 |- ~greater (growth_rate first_movers $A) % 0.14/0.44 (growth_rate efficient_producers $A) \/ % 0.14/0.44 greater % 0.14/0.44 (difference (growth_rate first_movers $A) % 0.14/0.44 (growth_rate efficient_producers $A)) zero % 0.14/0.44 |- ~environment $A \/ ~greater_or_equal $C $D \/ ~greater_or_equal $D $B \/ % 0.14/0.44 ~in_environment $A $B \/ ~in_environment $A $C \/ in_environment $A $D % 0.14/0.44 |- ~environment $A \/ in_environment $A (start_time $A) % 0.14/0.44 |- ~environment $A \/ % 0.14/0.44 greater_or_equal (appear first_movers $A) (start_time $A) % 0.14/0.44 |- ~environment $A \/ % 0.14/0.44 ~subpopulations first_movers efficient_producers $A $B \/ % 0.14/0.44 subpopulations efficient_producers first_movers $A $B % 0.14/0.44 |- ~environment $A \/ % 0.14/0.44 ~subpopulations first_movers efficient_producers $A $B \/ % 0.14/0.44 greater_or_equal $B (appear efficient_producers $A) % 0.14/0.44 |- ~greater_or_equal $A $B \/ $A = $B \/ greater $A $B % 0.14/0.45 |- ~greater $A $B \/ greater_or_equal $A $B % 0.14/0.45 |- greater_or_equal $B $B % 0.14/0.45 |- ~environment $A \/ % 0.14/0.45 ~subpopulations first_movers efficient_producers $A $B \/ % 0.14/0.45 greater zero % 0.14/0.45 (difference (growth_rate first_movers $B) % 0.14/0.45 (growth_rate efficient_producers $B)) \/ % 0.14/0.45 greater_or_equal % 0.14/0.45 (difference (growth_rate first_movers $B) % 0.14/0.45 (growth_rate efficient_producers $B)) zero % 0.14/0.45 |- ~environment $A \/ ~greater_or_equal $C $D \/ ~greater_or_equal $D $B \/ % 0.14/0.45 ~subpopulations first_movers efficient_producers $A $B \/ % 0.14/0.45 ~subpopulations first_movers efficient_producers $A $C \/ % 0.14/0.45 subpopulations first_movers efficient_producers $A $D % 0.14/0.45 |- ~environment $A \/ % 0.14/0.45 ~greater (growth_rate efficient_producers (critical_point $A)) % 0.14/0.45 (growth_rate first_movers (critical_point $A)) % 0.14/0.45 |- ~environment $A \/ ~greater $C (critical_point $A) \/ % 0.14/0.45 ~subpopulations first_movers efficient_producers $A $C \/ % 0.14/0.45 greater (growth_rate efficient_producers $C) % 0.14/0.45 (growth_rate first_movers $C) % 0.14/0.45 |- ~environment $A \/ % 0.14/0.45 ~subpopulations first_movers efficient_producers $A $B \/ % 0.14/0.45 decreases % 0.14/0.45 (difference (founding_rate first_movers $B) % 0.14/0.45 (founding_rate efficient_producers $B)) % 0.14/0.45 |- ~environment $A \/ ~greater_or_equal $C $D \/ ~greater_or_equal $D $C \/ % 0.14/0.45 ~in_environment $A $C \/ in_environment $A $D % 0.14/0.45 |- ~environment $A \/ ~greater_or_equal $C $D \/ ~greater_or_equal $D $C \/ % 0.14/0.45 ~subpopulations first_movers efficient_producers $A $C \/ % 0.14/0.45 subpopulations first_movers efficient_producers $A $D % 0.14/0.45 |- environment sk1 % 0.14/0.45 |- in_environment sk1 (critical_point sk1) % 0.14/0.45 |- greater_or_equal sk2 (appear efficient_producers sk1) % 0.14/0.45 |- greater (critical_point sk1) sk2 % 0.14/0.45 |- ~selection_favors first_movers efficient_producers sk2 % 0.14/0.45 |- in_environment sk1 (start_time sk1) % 0.14/0.45 |- greater_or_equal (appear first_movers sk1) (start_time sk1) % 0.14/0.45 |- greater_or_equal (critical_point sk1) sk2 % 0.14/0.45 |- subpopulations first_movers efficient_producers sk1 (critical_point sk1) % 0.14/0.45 |- appear first_movers sk1 = start_time sk1 \/ % 0.14/0.45 greater (appear first_movers sk1) (start_time sk1) % 0.14/0.45 |- sk2 = appear efficient_producers sk1 \/ % 0.14/0.45 greater sk2 (appear efficient_producers sk1) % 0.14/0.45 |- subpopulations efficient_producers first_movers sk1 (critical_point sk1) % 0.14/0.45 |- greater_or_equal (critical_point sk1) (appear efficient_producers sk1) % 0.14/0.45 |- critical_point sk1 = appear efficient_producers sk1 \/ % 0.14/0.45 greater (critical_point sk1) (appear efficient_producers sk1) % 0.14/0.45 |- decreases % 0.14/0.45 (difference (founding_rate first_movers (critical_point sk1)) % 0.14/0.45 (founding_rate efficient_producers (critical_point sk1))) % 0.14/0.45 |- decreases % 0.14/0.45 (difference (disbanding_rate first_movers (critical_point sk1)) % 0.14/0.45 (disbanding_rate efficient_producers (critical_point sk1))) \/ % 0.14/0.45 decreases % 0.14/0.45 (difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.45 (growth_rate efficient_producers (critical_point sk1))) % 0.14/0.45 |- ~greater (critical_point sk1) (critical_point sk1) \/ % 0.14/0.45 greater (growth_rate efficient_producers (critical_point sk1)) % 0.14/0.45 (growth_rate first_movers (critical_point sk1)) % 0.14/0.45 |- ~environment $_25 \/ % 0.14/0.45 ~greater_or_equal (start_time sk1) (appear first_movers sk1) \/ % 0.14/0.45 ~in_environment $_25 (appear first_movers sk1) \/ % 0.14/0.45 in_environment $_25 (start_time sk1) % 0.14/0.45 |- ~environment $_25 \/ % 0.14/0.45 ~greater_or_equal (start_time sk1) (appear first_movers sk1) \/ % 0.14/0.45 ~in_environment $_25 (start_time sk1) \/ % 0.14/0.45 in_environment $_25 (appear first_movers sk1) % 0.14/0.45 |- ~environment $_25 \/ ~greater_or_equal sk2 (critical_point sk1) \/ % 0.14/0.45 ~in_environment $_25 sk2 \/ in_environment $_25 (critical_point sk1) % 0.14/0.45 |- ~greater_or_equal $_27 (critical_point sk1) \/ % 0.14/0.45 ~greater_or_equal (critical_point sk1) $_27 \/ in_environment sk1 $_27 % 0.14/0.45 |- ~greater_or_equal $_27 (start_time sk1) \/ % 0.14/0.45 ~greater_or_equal (start_time sk1) $_27 \/ in_environment sk1 $_27 % 0.14/0.45 |- ~greater_or_equal sk2 (critical_point sk1) \/ in_environment sk1 sk2 % 0.14/0.45 |- ~greater_or_equal (start_time sk1) (appear first_movers sk1) \/ % 0.14/0.45 in_environment sk1 (appear first_movers sk1) % 0.14/0.45 |- greater zero % 0.14/0.45 (difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.45 (growth_rate efficient_producers (critical_point sk1))) \/ % 0.14/0.45 greater_or_equal % 0.14/0.45 (difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.45 (growth_rate efficient_producers (critical_point sk1))) zero % 0.14/0.45 |- ~environment $A \/ % 0.14/0.45 ~greater_or_equal zero % 0.14/0.45 (difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.45 (growth_rate efficient_producers (critical_point sk1))) \/ % 0.14/0.45 ~in_environment $A zero \/ % 0.14/0.45 greater zero % 0.14/0.45 (difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.45 (growth_rate efficient_producers (critical_point sk1))) \/ % 0.14/0.45 in_environment $A % 0.14/0.45 (difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.45 (growth_rate efficient_producers (critical_point sk1))) % 0.14/0.45 |- difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.45 (growth_rate efficient_producers (critical_point sk1)) = zero \/ % 0.14/0.45 greater % 0.14/0.45 (difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.45 (growth_rate efficient_producers (critical_point sk1))) zero \/ % 0.14/0.45 greater zero % 0.14/0.45 (difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.45 (growth_rate efficient_producers (critical_point sk1))) % 0.14/0.45 |- difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.45 (growth_rate efficient_producers (critical_point sk1)) = zero \/ % 0.14/0.45 greater (growth_rate first_movers (critical_point sk1)) % 0.14/0.45 (growth_rate efficient_producers (critical_point sk1)) \/ % 0.14/0.45 greater zero % 0.14/0.45 (difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.45 (growth_rate efficient_producers (critical_point sk1))) % 0.14/0.45 |- difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.45 (growth_rate efficient_producers (critical_point sk1)) = zero \/ % 0.14/0.45 greater (growth_rate first_movers (critical_point sk1)) % 0.14/0.45 (growth_rate efficient_producers (critical_point sk1)) \/ % 0.14/0.45 greater_or_equal zero % 0.14/0.45 (difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.45 (growth_rate efficient_producers (critical_point sk1))) % 0.14/0.45 |- difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.45 (growth_rate efficient_producers (critical_point sk1)) = zero \/ % 0.14/0.45 greater (growth_rate efficient_producers (critical_point sk1)) % 0.14/0.45 (growth_rate first_movers (critical_point sk1)) \/ % 0.14/0.45 greater (growth_rate first_movers (critical_point sk1)) % 0.14/0.45 (growth_rate efficient_producers (critical_point sk1)) % 0.14/0.45 |- difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.45 (growth_rate efficient_producers (critical_point sk1)) = zero \/ % 0.14/0.45 greater (growth_rate efficient_producers (critical_point sk1)) % 0.14/0.45 (growth_rate first_movers (critical_point sk1)) \/ % 0.14/0.45 greater_or_equal (growth_rate first_movers (critical_point sk1)) % 0.14/0.45 (growth_rate efficient_producers (critical_point sk1)) % 0.14/0.45 |- difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.45 (growth_rate efficient_producers (critical_point sk1)) = zero \/ % 0.14/0.45 greater % 0.14/0.45 (difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.45 (growth_rate efficient_producers (critical_point sk1))) zero \/ % 0.14/0.45 greater (growth_rate efficient_producers (critical_point sk1)) % 0.14/0.45 (growth_rate first_movers (critical_point sk1)) % 0.14/0.45 |- ~environment $A \/ % 0.14/0.45 ~greater_or_equal (growth_rate efficient_producers (critical_point sk1)) % 0.14/0.45 (growth_rate first_movers (critical_point sk1)) \/ % 0.14/0.45 ~in_environment $A % 0.14/0.45 (growth_rate efficient_producers (critical_point sk1)) \/ % 0.14/0.45 difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.45 (growth_rate efficient_producers (critical_point sk1)) = zero \/ % 0.14/0.45 greater (growth_rate efficient_producers (critical_point sk1)) % 0.14/0.45 (growth_rate first_movers (critical_point sk1)) \/ % 0.14/0.45 in_environment $A (growth_rate first_movers (critical_point sk1)) % 0.14/0.45 |- ~environment $A \/ % 0.14/0.45 ~greater_or_equal (growth_rate efficient_producers (critical_point sk1)) % 0.14/0.45 (growth_rate first_movers (critical_point sk1)) \/ % 0.14/0.45 ~in_environment $A (growth_rate first_movers (critical_point sk1)) \/ % 0.14/0.45 difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.45 (growth_rate efficient_producers (critical_point sk1)) = zero \/ % 0.14/0.45 greater (growth_rate efficient_producers (critical_point sk1)) % 0.14/0.45 (growth_rate first_movers (critical_point sk1)) \/ % 0.14/0.45 in_environment $A (growth_rate efficient_producers (critical_point sk1)) % 0.14/0.45 |- difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.45 (growth_rate efficient_producers (critical_point sk1)) = zero \/ % 0.14/0.45 greater (growth_rate efficient_producers (critical_point sk1)) % 0.14/0.45 (growth_rate first_movers (critical_point sk1)) \/ % 0.14/0.45 greater_or_equal % 0.14/0.45 (difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.45 (growth_rate efficient_producers (critical_point sk1))) zero % 0.14/0.45 |- ~environment $A \/ % 0.14/0.45 ~greater_or_equal zero % 0.14/0.45 (difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.45 (growth_rate efficient_producers (critical_point sk1))) \/ % 0.14/0.45 ~in_environment $A zero \/ % 0.14/0.45 difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.45 (growth_rate efficient_producers (critical_point sk1)) = zero \/ % 0.14/0.45 greater (growth_rate efficient_producers (critical_point sk1)) % 0.14/0.45 (growth_rate first_movers (critical_point sk1)) \/ % 0.14/0.45 in_environment $A % 0.14/0.45 (difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.45 (growth_rate efficient_producers (critical_point sk1))) % 0.14/0.45 |- difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.45 (growth_rate efficient_producers (critical_point sk1)) = zero \/ % 0.14/0.45 selection_favors first_movers efficient_producers (critical_point sk1) % 0.14/0.45 |- ~greater zero zero \/ % 0.14/0.45 greater (growth_rate first_movers (critical_point sk1)) % 0.14/0.45 (growth_rate efficient_producers (critical_point sk1)) \/ % 0.14/0.45 selection_favors first_movers efficient_producers (critical_point sk1) % 0.14/0.45 |- ~greater zero zero \/ % 0.14/0.45 greater (growth_rate efficient_producers (critical_point sk1)) % 0.14/0.45 (growth_rate first_movers (critical_point sk1)) \/ % 0.14/0.45 selection_favors first_movers efficient_producers (critical_point sk1) % 0.14/0.46 |- decreases zero \/ % 0.14/0.46 selection_favors first_movers efficient_producers (critical_point sk1) % 0.14/0.46 |- ~environment $_41 \/ % 0.14/0.46 ~greater_or_equal (growth_rate efficient_producers (critical_point sk1)) % 0.14/0.46 (growth_rate first_movers (critical_point sk1)) \/ % 0.14/0.46 ~subpopulations first_movers efficient_producers $_41 % 0.14/0.46 (growth_rate first_movers (critical_point sk1)) \/ % 0.14/0.46 difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.46 (growth_rate efficient_producers (critical_point sk1)) = zero \/ % 0.14/0.46 greater (growth_rate efficient_producers (critical_point sk1)) % 0.14/0.46 (growth_rate first_movers (critical_point sk1)) \/ % 0.14/0.46 subpopulations first_movers efficient_producers $_41 % 0.14/0.46 (growth_rate efficient_producers (critical_point sk1)) % 0.14/0.46 |- ~environment $_41 \/ % 0.14/0.46 ~greater_or_equal zero % 0.14/0.46 (difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.46 (growth_rate efficient_producers (critical_point sk1))) \/ % 0.14/0.46 ~subpopulations first_movers efficient_producers $_41 zero \/ % 0.14/0.46 difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.46 (growth_rate efficient_producers (critical_point sk1)) = zero \/ % 0.14/0.46 greater (growth_rate efficient_producers (critical_point sk1)) % 0.14/0.46 (growth_rate first_movers (critical_point sk1)) \/ % 0.14/0.46 subpopulations first_movers efficient_producers $_41 % 0.14/0.46 (difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.46 (growth_rate efficient_producers (critical_point sk1))) % 0.14/0.46 |- ~environment $_41 \/ % 0.14/0.46 ~greater_or_equal zero % 0.14/0.46 (difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.46 (growth_rate efficient_producers (critical_point sk1))) \/ % 0.14/0.46 ~subpopulations first_movers efficient_producers $_41 zero \/ % 0.14/0.46 greater zero % 0.14/0.46 (difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.46 (growth_rate efficient_producers (critical_point sk1))) \/ % 0.14/0.46 subpopulations first_movers efficient_producers $_41 % 0.14/0.46 (difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.46 (growth_rate efficient_producers (critical_point sk1))) % 0.14/0.46 |- ~environment $_41 \/ % 0.14/0.46 ~greater_or_equal (growth_rate efficient_producers (critical_point sk1)) % 0.14/0.46 (growth_rate first_movers (critical_point sk1)) \/ % 0.14/0.46 ~subpopulations first_movers efficient_producers $_41 % 0.14/0.46 (growth_rate efficient_producers (critical_point sk1)) \/ % 0.14/0.46 difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.46 (growth_rate efficient_producers (critical_point sk1)) = zero \/ % 0.14/0.46 greater (growth_rate efficient_producers (critical_point sk1)) % 0.14/0.46 (growth_rate first_movers (critical_point sk1)) \/ % 0.14/0.46 subpopulations first_movers efficient_producers $_41 % 0.14/0.46 (growth_rate first_movers (critical_point sk1)) % 0.14/0.46 |- ~greater_or_equal $_43 (critical_point sk1) \/ % 0.14/0.46 ~greater_or_equal (critical_point sk1) $_43 \/ % 0.14/0.46 subpopulations first_movers efficient_producers sk1 $_43 % 0.14/0.46 |- ~greater_or_equal sk2 (critical_point sk1) \/ % 0.14/0.46 subpopulations first_movers efficient_producers sk1 sk2 % 0.14/0.46 |- ~environment $_45 \/ ~in_environment $_45 zero \/ % 0.14/0.46 greater zero % 0.14/0.46 (difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.46 (growth_rate efficient_producers (critical_point sk1))) \/ % 0.14/0.46 in_environment $_45 % 0.14/0.46 (difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.46 (growth_rate efficient_producers (critical_point sk1))) \/ % 0.14/0.46 selection_favors first_movers efficient_producers (critical_point sk1) % 0.14/0.46 |- ~environment $_47 \/ ~greater_or_equal (start_time sk1) $_48 \/ % 0.14/0.46 ~in_environment $_47 $_48 \/ % 0.14/0.46 ~in_environment $_47 (appear first_movers sk1) \/ % 0.14/0.46 in_environment $_47 (start_time sk1) % 0.14/0.46 |- ~environment $_47 \/ % 0.14/0.46 ~greater_or_equal (appear efficient_producers sk1) $_48 \/ % 0.14/0.46 ~in_environment $_47 $_48 \/ % 0.14/0.46 ~in_environment $_47 (critical_point sk1) \/ % 0.14/0.46 in_environment $_47 (appear efficient_producers sk1) % 0.14/0.46 |- ~environment $_47 \/ % 0.14/0.46 ~greater_or_equal (growth_rate efficient_producers (critical_point sk1)) % 0.14/0.46 $_48 \/ ~in_environment $_47 $_48 \/ % 0.14/0.46 ~in_environment $_47 (growth_rate first_movers (critical_point sk1)) \/ % 0.14/0.46 difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.46 (growth_rate efficient_producers (critical_point sk1)) = zero \/ % 0.14/0.46 greater (growth_rate efficient_producers (critical_point sk1)) % 0.14/0.46 (growth_rate first_movers (critical_point sk1)) \/ % 0.14/0.46 in_environment $_47 % 0.14/0.46 (growth_rate efficient_producers (critical_point sk1)) % 0.14/0.46 |- ~environment $_47 \/ ~greater_or_equal $_49 (appear first_movers sk1) \/ % 0.14/0.46 ~in_environment $_47 $_49 \/ ~in_environment $_47 (start_time sk1) \/ % 0.14/0.46 in_environment $_47 (appear first_movers sk1) % 0.14/0.46 |- ~environment $_47 \/ ~greater_or_equal $_49 (critical_point sk1) \/ % 0.14/0.46 ~in_environment $_47 $_49 \/ % 0.14/0.46 ~in_environment $_47 (appear efficient_producers sk1) \/ % 0.14/0.46 in_environment $_47 (critical_point sk1) % 0.14/0.46 |- ~environment $_47 \/ ~greater_or_equal $_49 (critical_point sk1) \/ % 0.14/0.46 ~in_environment $_47 $_49 \/ ~in_environment $_47 sk2 \/ % 0.14/0.46 in_environment $_47 (critical_point sk1) % 0.14/0.46 |- ~environment $_47 \/ % 0.14/0.46 ~greater_or_equal $_49 % 0.14/0.46 (difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.46 (growth_rate efficient_producers (critical_point sk1))) \/ % 0.14/0.46 ~in_environment $_47 $_49 \/ ~in_environment $_47 zero \/ % 0.14/0.46 difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.46 (growth_rate efficient_producers (critical_point sk1)) = zero \/ % 0.14/0.46 greater (growth_rate efficient_producers (critical_point sk1)) % 0.14/0.46 (growth_rate first_movers (critical_point sk1)) \/ % 0.14/0.46 in_environment $_47 % 0.14/0.46 (difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.46 (growth_rate efficient_producers (critical_point sk1))) % 0.14/0.46 |- ~environment $_47 \/ % 0.14/0.46 ~greater_or_equal $_49 % 0.14/0.46 (difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.46 (growth_rate efficient_producers (critical_point sk1))) \/ % 0.14/0.46 ~in_environment $_47 $_49 \/ ~in_environment $_47 zero \/ % 0.14/0.46 greater zero % 0.14/0.46 (difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.46 (growth_rate efficient_producers (critical_point sk1))) \/ % 0.14/0.46 in_environment $_47 % 0.14/0.46 (difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.46 (growth_rate efficient_producers (critical_point sk1))) % 0.14/0.46 |- ~environment $_47 \/ % 0.14/0.46 ~greater_or_equal $_49 % 0.14/0.46 (growth_rate first_movers (critical_point sk1)) \/ % 0.14/0.46 ~in_environment $_47 $_49 \/ % 0.14/0.46 ~in_environment $_47 % 0.14/0.46 (growth_rate efficient_producers (critical_point sk1)) \/ % 0.14/0.46 difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.46 (growth_rate efficient_producers (critical_point sk1)) = zero \/ % 0.14/0.46 greater (growth_rate efficient_producers (critical_point sk1)) % 0.14/0.46 (growth_rate first_movers (critical_point sk1)) \/ % 0.14/0.46 in_environment $_47 (growth_rate first_movers (critical_point sk1)) % 0.14/0.46 |- ~greater_or_equal $_49 $_50 \/ % 0.14/0.46 ~greater_or_equal $_50 (critical_point sk1) \/ % 0.14/0.46 ~in_environment sk1 $_49 \/ in_environment sk1 $_50 % 0.14/0.46 |- ~greater_or_equal $_49 $_50 \/ % 0.14/0.46 ~greater_or_equal $_50 (start_time sk1) \/ ~in_environment sk1 $_49 \/ % 0.14/0.46 in_environment sk1 $_50 % 0.14/0.46 |- ~greater_or_equal $_50 $_48 \/ % 0.14/0.46 ~greater_or_equal (critical_point sk1) $_50 \/ % 0.14/0.46 ~in_environment sk1 $_48 \/ in_environment sk1 $_50 % 0.14/0.46 |- ~greater_or_equal $_50 $_48 \/ % 0.14/0.46 ~greater_or_equal (start_time sk1) $_50 \/ ~in_environment sk1 $_48 \/ % 0.14/0.46 in_environment sk1 $_50 % 0.14/0.46 |- ~environment $_47 \/ % 0.14/0.46 ~greater_or_equal (appear efficient_producers sk1) % 0.14/0.46 (critical_point sk1) \/ ~in_environment $_47 (critical_point sk1) \/ % 0.14/0.46 in_environment $_47 (appear efficient_producers sk1) % 0.14/0.46 |- ~environment $_47 \/ % 0.14/0.46 ~greater_or_equal (appear efficient_producers sk1) % 0.14/0.46 (critical_point sk1) \/ % 0.14/0.46 ~in_environment $_47 (appear efficient_producers sk1) \/ % 0.14/0.46 in_environment $_47 (critical_point sk1) % 0.14/0.46 |- ~greater_or_equal (growth_rate efficient_producers (critical_point sk1)) % 0.14/0.46 (critical_point sk1) \/ % 0.14/0.46 ~in_environment sk1 (growth_rate first_movers (critical_point sk1)) \/ % 0.14/0.46 difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.46 (growth_rate efficient_producers (critical_point sk1)) = zero \/ % 0.14/0.46 greater (growth_rate efficient_producers (critical_point sk1)) % 0.14/0.46 (growth_rate first_movers (critical_point sk1)) \/ % 0.14/0.46 in_environment sk1 % 0.14/0.46 (growth_rate efficient_producers (critical_point sk1)) % 0.14/0.46 |- ~greater_or_equal $_54 (critical_point sk1) \/ % 0.14/0.46 ~greater_or_equal (start_time sk1) $_54 \/ in_environment sk1 $_54 % 0.14/0.46 |- ~greater_or_equal (growth_rate efficient_producers (critical_point sk1)) % 0.14/0.46 (start_time sk1) \/ % 0.14/0.46 ~in_environment sk1 (growth_rate first_movers (critical_point sk1)) \/ % 0.14/0.46 difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.46 (growth_rate efficient_producers (critical_point sk1)) = zero \/ % 0.14/0.46 greater (growth_rate efficient_producers (critical_point sk1)) % 0.14/0.46 (growth_rate first_movers (critical_point sk1)) \/ % 0.14/0.46 in_environment sk1 % 0.14/0.46 (growth_rate efficient_producers (critical_point sk1)) % 0.14/0.46 |- ~greater_or_equal $_56 (appear first_movers sk1) \/ % 0.14/0.46 ~in_environment sk1 $_56 \/ in_environment sk1 (appear first_movers sk1) % 0.14/0.46 |- ~greater_or_equal $_57 (start_time sk1) \/ % 0.14/0.46 ~greater_or_equal (critical_point sk1) $_57 \/ in_environment sk1 $_57 % 0.14/0.46 |- ~greater_or_equal (critical_point sk1) (appear first_movers sk1) \/ % 0.14/0.46 in_environment sk1 (appear first_movers sk1) % 0.14/0.46 |- ~greater_or_equal sk2 (start_time sk1) \/ in_environment sk1 sk2 % 0.14/0.46 |- ~greater_or_equal (critical_point sk1) % 0.14/0.46 (growth_rate first_movers (critical_point sk1)) \/ % 0.14/0.46 ~in_environment sk1 % 0.14/0.46 (growth_rate efficient_producers (critical_point sk1)) \/ % 0.14/0.46 difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.46 (growth_rate efficient_producers (critical_point sk1)) = zero \/ % 0.14/0.46 greater (growth_rate efficient_producers (critical_point sk1)) % 0.14/0.46 (growth_rate first_movers (critical_point sk1)) \/ % 0.14/0.46 in_environment sk1 (growth_rate first_movers (critical_point sk1)) % 0.14/0.46 |- ~greater_or_equal (appear efficient_producers sk1) $_60 \/ % 0.14/0.46 ~in_environment sk1 $_60 \/ % 0.14/0.46 in_environment sk1 (appear efficient_producers sk1) % 0.14/0.46 |- ~greater_or_equal sk2 $_60 \/ ~in_environment sk1 $_60 \/ % 0.14/0.46 in_environment sk1 sk2 % 0.14/0.46 |- ~greater_or_equal (start_time sk1) % 0.14/0.46 (growth_rate first_movers (critical_point sk1)) \/ % 0.14/0.46 ~in_environment sk1 % 0.14/0.46 (growth_rate efficient_producers (critical_point sk1)) \/ % 0.14/0.46 difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.46 (growth_rate efficient_producers (critical_point sk1)) = zero \/ % 0.14/0.46 greater (growth_rate efficient_producers (critical_point sk1)) % 0.14/0.46 (growth_rate first_movers (critical_point sk1)) \/ % 0.14/0.46 in_environment sk1 (growth_rate first_movers (critical_point sk1)) % 0.14/0.46 |- ~environment $_76 \/ % 0.14/0.46 ~subpopulations first_movers efficient_producers $_76 zero \/ % 0.14/0.46 greater zero % 0.14/0.46 (difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.46 (growth_rate efficient_producers (critical_point sk1))) \/ % 0.14/0.46 selection_favors first_movers efficient_producers % 0.14/0.46 (critical_point sk1) \/ % 0.14/0.46 subpopulations first_movers efficient_producers $_76 % 0.14/0.46 (difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.46 (growth_rate efficient_producers (critical_point sk1))) % 0.14/0.46 |- ~environment $_78 \/ % 0.14/0.46 ~greater_or_equal (growth_rate efficient_producers (critical_point sk1)) % 0.14/0.46 $_79 \/ ~subpopulations first_movers efficient_producers $_78 $_79 \/ % 0.14/0.46 ~subpopulations first_movers efficient_producers $_78 % 0.14/0.46 (growth_rate first_movers (critical_point sk1)) \/ % 0.14/0.46 difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.46 (growth_rate efficient_producers (critical_point sk1)) = zero \/ % 0.14/0.46 greater (growth_rate efficient_producers (critical_point sk1)) % 0.14/0.46 (growth_rate first_movers (critical_point sk1)) \/ % 0.14/0.46 subpopulations first_movers efficient_producers $_78 % 0.14/0.46 (growth_rate efficient_producers (critical_point sk1)) % 0.14/0.46 |- ~environment $_78 \/ % 0.14/0.46 ~greater_or_equal $_80 % 0.14/0.46 (difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.46 (growth_rate efficient_producers (critical_point sk1))) \/ % 0.14/0.46 ~subpopulations first_movers efficient_producers $_78 $_80 \/ % 0.14/0.46 ~subpopulations first_movers efficient_producers $_78 zero \/ % 0.14/0.46 difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.46 (growth_rate efficient_producers (critical_point sk1)) = zero \/ % 0.14/0.46 greater (growth_rate efficient_producers (critical_point sk1)) % 0.14/0.46 (growth_rate first_movers (critical_point sk1)) \/ % 0.14/0.46 subpopulations first_movers efficient_producers $_78 % 0.14/0.46 (difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.46 (growth_rate efficient_producers (critical_point sk1))) % 0.14/0.46 |- ~environment $_78 \/ % 0.14/0.46 ~greater_or_equal $_80 % 0.14/0.46 (difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.46 (growth_rate efficient_producers (critical_point sk1))) \/ % 0.14/0.46 ~subpopulations first_movers efficient_producers $_78 $_80 \/ % 0.14/0.46 ~subpopulations first_movers efficient_producers $_78 zero \/ % 0.14/0.46 greater zero % 0.14/0.46 (difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.46 (growth_rate efficient_producers (critical_point sk1))) \/ % 0.14/0.46 subpopulations first_movers efficient_producers $_78 % 0.14/0.46 (difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.46 (growth_rate efficient_producers (critical_point sk1))) % 0.14/0.46 |- ~environment $_78 \/ % 0.14/0.46 ~greater_or_equal $_80 % 0.14/0.46 (growth_rate first_movers (critical_point sk1)) \/ % 0.14/0.46 ~subpopulations first_movers efficient_producers $_78 $_80 \/ % 0.14/0.46 ~subpopulations first_movers efficient_producers $_78 % 0.14/0.46 (growth_rate efficient_producers (critical_point sk1)) \/ % 0.14/0.46 difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.46 (growth_rate efficient_producers (critical_point sk1)) = zero \/ % 0.14/0.46 greater (growth_rate efficient_producers (critical_point sk1)) % 0.14/0.46 (growth_rate first_movers (critical_point sk1)) \/ % 0.14/0.46 subpopulations first_movers efficient_producers $_78 % 0.14/0.46 (growth_rate first_movers (critical_point sk1)) % 0.14/0.46 |- ~greater_or_equal $_80 $_81 \/ % 0.14/0.46 ~greater_or_equal $_81 (critical_point sk1) \/ % 0.14/0.46 ~subpopulations first_movers efficient_producers sk1 $_80 \/ % 0.14/0.46 subpopulations first_movers efficient_producers sk1 $_81 % 0.14/0.46 |- ~greater_or_equal $_81 $_79 \/ % 0.14/0.46 ~greater_or_equal (critical_point sk1) $_81 \/ % 0.14/0.46 ~subpopulations first_movers efficient_producers sk1 $_79 \/ % 0.14/0.46 subpopulations first_movers efficient_producers sk1 $_81 % 0.14/0.46 |- ~greater_or_equal (growth_rate efficient_producers (critical_point sk1)) % 0.14/0.46 (critical_point sk1) \/ % 0.14/0.46 ~subpopulations first_movers efficient_producers sk1 % 0.14/0.46 (growth_rate first_movers (critical_point sk1)) \/ % 0.14/0.46 difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.46 (growth_rate efficient_producers (critical_point sk1)) = zero \/ % 0.14/0.46 greater (growth_rate efficient_producers (critical_point sk1)) % 0.14/0.46 (growth_rate first_movers (critical_point sk1)) \/ % 0.14/0.46 subpopulations first_movers efficient_producers sk1 % 0.14/0.46 (growth_rate efficient_producers (critical_point sk1)) % 0.14/0.46 |- ~greater_or_equal (critical_point sk1) % 0.14/0.46 (growth_rate first_movers (critical_point sk1)) \/ % 0.14/0.46 ~subpopulations first_movers efficient_producers sk1 % 0.14/0.46 (growth_rate efficient_producers (critical_point sk1)) \/ % 0.14/0.46 difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.46 (growth_rate efficient_producers (critical_point sk1)) = zero \/ % 0.14/0.46 greater (growth_rate efficient_producers (critical_point sk1)) % 0.14/0.46 (growth_rate first_movers (critical_point sk1)) \/ % 0.14/0.46 subpopulations first_movers efficient_producers sk1 % 0.14/0.46 (growth_rate first_movers (critical_point sk1)) % 0.14/0.46 |- ~greater_or_equal (appear efficient_producers sk1) $_84 \/ % 0.14/0.46 ~subpopulations first_movers efficient_producers sk1 $_84 \/ % 0.14/0.46 subpopulations first_movers efficient_producers sk1 % 0.14/0.46 (appear efficient_producers sk1) % 0.14/0.46 |- ~greater_or_equal (appear efficient_producers sk1) % 0.14/0.46 (critical_point sk1) \/ % 0.14/0.46 subpopulations first_movers efficient_producers sk1 % 0.14/0.46 (appear efficient_producers sk1) % 0.14/0.46 |- ~environment $_93 \/ ~greater $_94 (critical_point sk1) \/ % 0.14/0.46 ~greater_or_equal (critical_point sk1) % 0.14/0.46 (appear efficient_producers $_93) \/ % 0.14/0.46 ~greater_or_equal % 0.14/0.46 (difference (growth_rate first_movers $_94) % 0.14/0.46 (growth_rate efficient_producers $_94)) zero \/ % 0.14/0.46 ~in_environment $_93 $_94 \/ % 0.14/0.46 decreases % 0.14/0.46 (difference (disbanding_rate first_movers (critical_point sk1)) % 0.14/0.46 (disbanding_rate efficient_producers (critical_point sk1))) \/ % 0.14/0.46 greater % 0.14/0.46 (difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.46 (growth_rate efficient_producers (critical_point sk1))) zero % 0.14/0.46 |- ~decreases % 0.14/0.46 (difference (growth_rate first_movers $_95) % 0.14/0.46 (growth_rate efficient_producers $_95)) \/ ~environment $_93 \/ % 0.14/0.46 ~greater (critical_point sk1) $_95 \/ % 0.14/0.46 ~greater_or_equal $_95 (appear efficient_producers $_93) \/ % 0.14/0.46 ~in_environment $_93 (critical_point sk1) \/ % 0.14/0.46 difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.46 (growth_rate efficient_producers (critical_point sk1)) = zero \/ % 0.14/0.46 greater % 0.14/0.46 (difference (growth_rate first_movers $_95) % 0.14/0.46 (growth_rate efficient_producers $_95)) zero \/ % 0.14/0.46 greater (growth_rate efficient_producers (critical_point sk1)) % 0.14/0.46 (growth_rate first_movers (critical_point sk1)) % 0.14/0.47 |- ~decreases % 0.14/0.47 (difference (growth_rate first_movers $_95) % 0.14/0.47 (growth_rate efficient_producers $_95)) \/ ~environment $_93 \/ % 0.14/0.47 ~greater (critical_point sk1) $_95 \/ % 0.14/0.47 ~greater_or_equal $_95 (appear efficient_producers $_93) \/ % 0.14/0.47 ~in_environment $_93 (critical_point sk1) \/ % 0.14/0.47 greater % 0.14/0.47 (difference (growth_rate first_movers $_95) % 0.14/0.47 (growth_rate efficient_producers $_95)) zero \/ % 0.14/0.47 greater zero % 0.14/0.47 (difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.47 (growth_rate efficient_producers (critical_point sk1))) % 0.14/0.47 |- ~decreases % 0.14/0.47 (difference (growth_rate first_movers $_95) % 0.14/0.47 (growth_rate efficient_producers $_95)) \/ ~environment $_93 \/ % 0.14/0.47 ~greater (critical_point sk1) $_95 \/ % 0.14/0.47 ~greater_or_equal $_95 (appear efficient_producers $_93) \/ % 0.14/0.47 ~in_environment $_93 (critical_point sk1) \/ % 0.14/0.47 greater % 0.14/0.47 (difference (growth_rate first_movers $_95) % 0.14/0.47 (growth_rate efficient_producers $_95)) zero \/ % 0.14/0.47 selection_favors first_movers efficient_producers (critical_point sk1) % 0.14/0.47 |- ~decreases zero \/ ~environment $_93 \/ % 0.14/0.47 ~greater $_94 (critical_point sk1) \/ % 0.14/0.47 ~greater_or_equal (critical_point sk1) % 0.14/0.47 (appear efficient_producers $_93) \/ % 0.14/0.47 ~greater_or_equal % 0.14/0.47 (difference (growth_rate first_movers $_94) % 0.14/0.47 (growth_rate efficient_producers $_94)) zero \/ % 0.14/0.47 ~in_environment $_93 $_94 \/ % 0.14/0.47 greater % 0.14/0.47 (difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.47 (growth_rate efficient_producers (critical_point sk1))) zero \/ % 0.14/0.47 selection_favors first_movers efficient_producers (critical_point sk1) % 0.14/0.47 |- ~decreases zero \/ ~greater (critical_point sk1) (critical_point sk1) \/ % 0.14/0.47 greater % 0.14/0.47 (difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.47 (growth_rate efficient_producers (critical_point sk1))) zero \/ % 0.14/0.47 selection_favors first_movers efficient_producers (critical_point sk1) % 0.14/0.47 |- ~greater (critical_point sk1) (critical_point sk1) \/ % 0.14/0.47 decreases % 0.14/0.47 (difference (disbanding_rate first_movers (critical_point sk1)) % 0.14/0.47 (disbanding_rate efficient_producers (critical_point sk1))) \/ % 0.14/0.47 greater % 0.14/0.47 (difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.47 (growth_rate efficient_producers (critical_point sk1))) zero \/ % 0.14/0.47 selection_favors first_movers efficient_producers (critical_point sk1) % 0.14/0.47 |- ~greater (critical_point sk1) (critical_point sk1) \/ % 0.14/0.47 decreases % 0.14/0.47 (difference (disbanding_rate first_movers (critical_point sk1)) % 0.14/0.47 (disbanding_rate efficient_producers (critical_point sk1))) \/ % 0.14/0.47 greater % 0.14/0.47 (difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.47 (growth_rate efficient_producers (critical_point sk1))) zero \/ % 0.14/0.47 greater zero % 0.14/0.47 (difference (growth_rate first_movers (critical_point sk1)) % 0.14/0.47 (growth_rate efficient_producers (critical_point sk1))) % 0.14/0.47 SZS output end Saturation for /export/starexec/sandbox/benchmark/theBenchmark.p % 0.14/0.47 %------------------------------------------------------------------------------