%------------------------------------------------------------------------------ % File : Metis---2.4 % Problem : MGT034+1 : TPTP v9.3.0. Released v2.0.0. % Transfm : none % Format : tptp:raw % Command : metis --show proof --show saturation %s % Computer : n016.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 : CounterSatisfiable 0.09s 0.45s % Output : Saturation 0.23s % 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.0.0. % 0.00/0.04 % Command : metis --show proof --show saturation %s % 0.09/0.37 % Computer : n016.cluster.edu % 0.09/0.37 % Model : x86_64 x86_64 % 0.09/0.37 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.09/0.37 % Memory : 8046.5625MB % 0.09/0.37 % OS : Linux 6.8.0-71-generic % 0.09/0.37 % CPULimit : 300 % 0.09/0.37 % WCLimit : 300 % 0.09/0.37 % DateTime : Mon Sep 7 12:33:02 UTC 2026 % 0.09/0.37 % CPUTime : % 0.09/0.37 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 0.09/0.45 % SZS status CounterSatisfiable for /export/starexec/sandbox/benchmark/theBenchmark.p % 0.09/0.45 % 0.09/0.45 SZS output start Saturation for /export/starexec/sandbox/benchmark/theBenchmark.p % 0.09/0.45 |- ~environment $E \/ ~greater (growth_rate $S2 $T) (growth_rate $S1 $T) \/ % 0.09/0.45 ~subpopulations $S1 $S2 $E $T \/ selection_favors $S2 $S1 $T % 0.09/0.45 |- ~decreases % 0.09/0.45 (difference (disbanding_rate first_movers $T) % 0.09/0.45 (disbanding_rate efficient_producers $T)) \/ ~environment $E \/ % 0.09/0.45 ~subpopulations first_movers efficient_producers $E $T % 0.09/0.45 |- ~environment $E \/ ~in_environment $E (critical_point $E) \/ % 0.09/0.45 subpopulations first_movers efficient_producers $E (critical_point $E) % 0.09/0.45 |- ~environment $E \/ ~in_environment $E (appear efficient_producers $E) \/ % 0.09/0.45 subpopulations first_movers efficient_producers $E % 0.09/0.45 (appear efficient_producers $E) % 0.09/0.45 |- ~decreases % 0.09/0.45 (difference (growth_rate first_movers $T) % 0.09/0.45 (growth_rate efficient_producers $T)) \/ ~environment $E \/ % 0.09/0.45 ~greater $To $T \/ % 0.09/0.45 ~greater_or_equal $T (appear efficient_producers $E) \/ % 0.09/0.45 ~greater_or_equal % 0.09/0.45 (difference (growth_rate first_movers $To) % 0.09/0.45 (growth_rate efficient_producers $To)) zero \/ % 0.09/0.45 ~in_environment $E $To \/ % 0.09/0.45 greater % 0.09/0.45 (difference (growth_rate first_movers $T) % 0.09/0.45 (growth_rate efficient_producers $T)) zero % 0.09/0.45 |- ~decreases % 0.09/0.45 (difference (founding_rate first_movers $T) % 0.09/0.45 (founding_rate efficient_producers $T)) \/ % 0.09/0.45 decreases % 0.09/0.45 (difference (disbanding_rate first_movers $T) % 0.09/0.45 (disbanding_rate efficient_producers $T)) \/ % 0.09/0.45 decreases % 0.09/0.45 (difference (growth_rate first_movers $T) % 0.09/0.45 (growth_rate efficient_producers $T)) % 0.09/0.45 |- ~greater (growth_rate efficient_producers $T) % 0.09/0.45 (growth_rate first_movers $T) \/ % 0.09/0.45 greater zero % 0.09/0.45 (difference (growth_rate first_movers $T) % 0.09/0.45 (growth_rate efficient_producers $T)) % 0.09/0.45 |- ~greater zero % 0.09/0.45 (difference (growth_rate first_movers $T) % 0.09/0.45 (growth_rate efficient_producers $T)) \/ % 0.09/0.45 greater (growth_rate efficient_producers $T) % 0.09/0.45 (growth_rate first_movers $T) % 0.09/0.45 |- ~greater % 0.09/0.45 (difference (growth_rate first_movers $T) % 0.09/0.45 (growth_rate efficient_producers $T)) zero \/ % 0.09/0.45 greater (growth_rate first_movers $T) % 0.09/0.45 (growth_rate efficient_producers $T) % 0.09/0.45 |- ~greater (growth_rate first_movers $T) % 0.09/0.45 (growth_rate efficient_producers $T) \/ % 0.09/0.45 greater % 0.09/0.45 (difference (growth_rate first_movers $T) % 0.09/0.45 (growth_rate efficient_producers $T)) zero % 0.09/0.45 |- ~environment $E \/ ~greater_or_equal $T $T1 \/ % 0.09/0.45 ~greater_or_equal $T2 $T \/ ~in_environment $E $T1 \/ % 0.09/0.45 ~in_environment $E $T2 \/ in_environment $E $T % 0.09/0.45 |- ~environment $E \/ in_environment $E (start_time $E) % 0.09/0.45 |- ~environment $E \/ % 0.09/0.45 greater_or_equal (appear first_movers $E) (start_time $E) % 0.09/0.45 |- ~environment $E \/ % 0.09/0.45 ~subpopulations first_movers efficient_producers $E $T \/ % 0.09/0.45 subpopulations efficient_producers first_movers $E $T % 0.09/0.45 |- ~environment $E \/ % 0.09/0.45 ~subpopulations first_movers efficient_producers $E $T \/ % 0.09/0.45 greater_or_equal $T (appear efficient_producers $E) % 0.09/0.45 |- greater_or_equal $Y $Y % 0.09/0.45 |- ~greater $X $Y \/ greater_or_equal $X $Y % 0.09/0.45 |- ~greater_or_equal $X $Y \/ $X = $Y \/ greater $X $Y % 0.09/0.45 |- ~environment $E \/ % 0.09/0.45 ~subpopulations first_movers efficient_producers $E $T \/ % 0.09/0.45 greater zero % 0.09/0.45 (difference (growth_rate first_movers $T) % 0.09/0.45 (growth_rate efficient_producers $T)) \/ % 0.09/0.45 greater_or_equal % 0.09/0.45 (difference (growth_rate first_movers $T) % 0.09/0.45 (growth_rate efficient_producers $T)) zero % 0.09/0.45 |- ~environment $E \/ ~greater_or_equal $T $T1 \/ % 0.09/0.45 ~greater_or_equal $T2 $T \/ % 0.09/0.45 ~subpopulations first_movers efficient_producers $E $T1 \/ % 0.09/0.45 ~subpopulations first_movers efficient_producers $E $T2 \/ % 0.09/0.45 subpopulations first_movers efficient_producers $E $T % 0.09/0.45 |- ~environment $E \/ % 0.09/0.45 ~greater (growth_rate efficient_producers (critical_point $E)) % 0.09/0.45 (growth_rate first_movers (critical_point $E)) % 0.09/0.45 |- ~environment $E \/ ~greater $T (critical_point $E) \/ % 0.09/0.45 ~subpopulations first_movers efficient_producers $E $T \/ % 0.09/0.45 greater (growth_rate efficient_producers $T) % 0.09/0.45 (growth_rate first_movers $T) % 0.09/0.45 |- ~environment $E \/ % 0.09/0.45 ~subpopulations first_movers efficient_producers $E $T \/ % 0.09/0.45 decreases % 0.09/0.45 (difference (founding_rate first_movers $T) % 0.09/0.45 (founding_rate efficient_producers $T)) % 0.09/0.45 |- ~environment $E \/ ~greater_or_equal $T $T2 \/ % 0.09/0.45 ~greater_or_equal $T2 $T \/ ~in_environment $E $T2 \/ % 0.09/0.45 in_environment $E $T % 0.09/0.45 |- ~environment $E \/ ~greater_or_equal $T $T2 \/ % 0.09/0.45 ~greater_or_equal $T2 $T \/ % 0.09/0.45 ~subpopulations first_movers efficient_producers $E $T2 \/ % 0.09/0.45 subpopulations first_movers efficient_producers $E $T % 0.09/0.45 |- ~selection_favors first_movers efficient_producers skolemFOFtoCNF_T % 0.09/0.45 |- environment skolemFOFtoCNF_E % 0.09/0.45 |- greater (critical_point skolemFOFtoCNF_E) skolemFOFtoCNF_T % 0.09/0.45 |- greater_or_equal skolemFOFtoCNF_T % 0.09/0.45 (appear efficient_producers skolemFOFtoCNF_E) % 0.09/0.45 |- in_environment skolemFOFtoCNF_E (critical_point skolemFOFtoCNF_E) % 0.09/0.45 |- in_environment skolemFOFtoCNF_E (start_time skolemFOFtoCNF_E) % 0.09/0.46 |- greater_or_equal (appear first_movers skolemFOFtoCNF_E) % 0.09/0.46 (start_time skolemFOFtoCNF_E) % 0.09/0.46 |- greater_or_equal (critical_point skolemFOFtoCNF_E) skolemFOFtoCNF_T % 0.09/0.46 |- subpopulations first_movers efficient_producers skolemFOFtoCNF_E % 0.09/0.46 (critical_point skolemFOFtoCNF_E) % 0.09/0.46 |- appear first_movers skolemFOFtoCNF_E = start_time skolemFOFtoCNF_E \/ % 0.09/0.46 greater (appear first_movers skolemFOFtoCNF_E) % 0.09/0.46 (start_time skolemFOFtoCNF_E) % 0.09/0.46 |- skolemFOFtoCNF_T = appear efficient_producers skolemFOFtoCNF_E \/ % 0.09/0.46 greater skolemFOFtoCNF_T (appear efficient_producers skolemFOFtoCNF_E) % 0.09/0.46 |- subpopulations efficient_producers first_movers skolemFOFtoCNF_E % 0.09/0.46 (critical_point skolemFOFtoCNF_E) % 0.09/0.46 |- greater_or_equal (critical_point skolemFOFtoCNF_E) % 0.09/0.46 (appear efficient_producers skolemFOFtoCNF_E) % 0.09/0.46 |- critical_point skolemFOFtoCNF_E = % 0.09/0.46 appear efficient_producers skolemFOFtoCNF_E \/ % 0.09/0.46 greater (critical_point skolemFOFtoCNF_E) % 0.09/0.46 (appear efficient_producers skolemFOFtoCNF_E) % 0.09/0.46 |- decreases % 0.09/0.46 (difference % 0.09/0.46 (founding_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.09/0.46 (founding_rate efficient_producers % 0.09/0.46 (critical_point skolemFOFtoCNF_E))) % 0.09/0.46 |- decreases % 0.09/0.46 (difference % 0.09/0.46 (disbanding_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.09/0.46 (disbanding_rate efficient_producers % 0.09/0.46 (critical_point skolemFOFtoCNF_E))) \/ % 0.09/0.46 decreases % 0.09/0.46 (difference % 0.09/0.46 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.09/0.46 (growth_rate efficient_producers % 0.09/0.46 (critical_point skolemFOFtoCNF_E))) % 0.23/0.46 |- ~greater (critical_point skolemFOFtoCNF_E) % 0.23/0.46 (critical_point skolemFOFtoCNF_E) \/ % 0.23/0.46 greater % 0.23/0.46 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 |- ~environment $_25 \/ % 0.23/0.46 ~greater_or_equal (start_time skolemFOFtoCNF_E) % 0.23/0.46 (appear first_movers skolemFOFtoCNF_E) \/ % 0.23/0.46 ~in_environment $_25 (start_time skolemFOFtoCNF_E) \/ % 0.23/0.46 in_environment $_25 (appear first_movers skolemFOFtoCNF_E) % 0.23/0.46 |- ~environment $_25 \/ % 0.23/0.46 ~greater_or_equal skolemFOFtoCNF_T (critical_point skolemFOFtoCNF_E) \/ % 0.23/0.46 ~in_environment $_25 skolemFOFtoCNF_T \/ % 0.23/0.46 in_environment $_25 (critical_point skolemFOFtoCNF_E) % 0.23/0.46 |- ~environment $_25 \/ % 0.23/0.46 ~greater_or_equal (start_time skolemFOFtoCNF_E) % 0.23/0.46 (appear first_movers skolemFOFtoCNF_E) \/ % 0.23/0.46 ~in_environment $_25 (appear first_movers skolemFOFtoCNF_E) \/ % 0.23/0.46 in_environment $_25 (start_time skolemFOFtoCNF_E) % 0.23/0.46 |- ~greater_or_equal $_26 (critical_point skolemFOFtoCNF_E) \/ % 0.23/0.46 ~greater_or_equal (critical_point skolemFOFtoCNF_E) $_26 \/ % 0.23/0.46 in_environment skolemFOFtoCNF_E $_26 % 0.23/0.46 |- ~greater_or_equal $_26 (start_time skolemFOFtoCNF_E) \/ % 0.23/0.46 ~greater_or_equal (start_time skolemFOFtoCNF_E) $_26 \/ % 0.23/0.46 in_environment skolemFOFtoCNF_E $_26 % 0.23/0.46 |- ~greater_or_equal skolemFOFtoCNF_T (critical_point skolemFOFtoCNF_E) \/ % 0.23/0.46 in_environment skolemFOFtoCNF_E skolemFOFtoCNF_T % 0.23/0.46 |- ~greater_or_equal (start_time skolemFOFtoCNF_E) % 0.23/0.46 (appear first_movers skolemFOFtoCNF_E) \/ % 0.23/0.46 in_environment skolemFOFtoCNF_E (appear first_movers skolemFOFtoCNF_E) % 0.23/0.46 |- greater zero % 0.23/0.46 (difference % 0.23/0.46 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate efficient_producers % 0.23/0.46 (critical_point skolemFOFtoCNF_E))) \/ % 0.23/0.46 greater_or_equal % 0.23/0.46 (difference % 0.23/0.46 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate efficient_producers % 0.23/0.46 (critical_point skolemFOFtoCNF_E))) zero % 0.23/0.46 |- ~environment $E \/ % 0.23/0.46 ~greater_or_equal zero % 0.23/0.46 (difference % 0.23/0.46 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate efficient_producers % 0.23/0.46 (critical_point skolemFOFtoCNF_E))) \/ % 0.23/0.46 ~in_environment $E zero \/ % 0.23/0.46 greater zero % 0.23/0.46 (difference % 0.23/0.46 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate efficient_producers % 0.23/0.46 (critical_point skolemFOFtoCNF_E))) \/ % 0.23/0.46 in_environment $E % 0.23/0.46 (difference % 0.23/0.46 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate efficient_producers % 0.23/0.46 (critical_point skolemFOFtoCNF_E))) % 0.23/0.46 |- difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) = % 0.23/0.46 zero \/ % 0.23/0.46 greater % 0.23/0.46 (difference % 0.23/0.46 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate efficient_producers % 0.23/0.46 (critical_point skolemFOFtoCNF_E))) zero \/ % 0.23/0.46 greater zero % 0.23/0.46 (difference % 0.23/0.46 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate efficient_producers % 0.23/0.46 (critical_point skolemFOFtoCNF_E))) % 0.23/0.46 |- difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) = % 0.23/0.46 zero \/ % 0.23/0.46 greater (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) \/ % 0.23/0.46 greater zero % 0.23/0.46 (difference % 0.23/0.46 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate efficient_producers % 0.23/0.46 (critical_point skolemFOFtoCNF_E))) % 0.23/0.46 |- difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) = % 0.23/0.46 zero \/ % 0.23/0.46 greater (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) \/ % 0.23/0.46 greater_or_equal zero % 0.23/0.46 (difference % 0.23/0.46 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate efficient_producers % 0.23/0.46 (critical_point skolemFOFtoCNF_E))) % 0.23/0.46 |- difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) = % 0.23/0.46 zero \/ % 0.23/0.46 greater % 0.23/0.46 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/ % 0.23/0.46 greater (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 |- difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) = % 0.23/0.46 zero \/ % 0.23/0.46 greater % 0.23/0.46 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/ % 0.23/0.46 greater_or_equal % 0.23/0.46 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 |- difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) = % 0.23/0.46 zero \/ % 0.23/0.46 greater % 0.23/0.46 (difference % 0.23/0.46 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate efficient_producers % 0.23/0.46 (critical_point skolemFOFtoCNF_E))) zero \/ % 0.23/0.46 greater % 0.23/0.46 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 |- ~environment $E \/ % 0.23/0.46 ~greater_or_equal % 0.23/0.46 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/ % 0.23/0.46 ~in_environment $E % 0.23/0.46 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/ % 0.23/0.46 difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) = % 0.23/0.46 zero \/ % 0.23/0.46 greater % 0.23/0.46 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/ % 0.23/0.46 in_environment $E % 0.23/0.46 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 |- ~environment $E \/ % 0.23/0.46 ~greater_or_equal % 0.23/0.46 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/ % 0.23/0.46 ~in_environment $E % 0.23/0.46 (growth_rate efficient_producers % 0.23/0.46 (critical_point skolemFOFtoCNF_E)) \/ % 0.23/0.46 difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) = % 0.23/0.46 zero \/ % 0.23/0.46 greater % 0.23/0.46 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/ % 0.23/0.46 in_environment $E % 0.23/0.46 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 |- difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) = % 0.23/0.46 zero \/ % 0.23/0.46 greater % 0.23/0.46 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/ % 0.23/0.46 greater_or_equal % 0.23/0.46 (difference % 0.23/0.46 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate efficient_producers % 0.23/0.46 (critical_point skolemFOFtoCNF_E))) zero % 0.23/0.46 |- ~environment $E \/ % 0.23/0.46 ~greater_or_equal zero % 0.23/0.46 (difference % 0.23/0.46 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate efficient_producers % 0.23/0.46 (critical_point skolemFOFtoCNF_E))) \/ % 0.23/0.46 ~in_environment $E zero \/ % 0.23/0.46 difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) = % 0.23/0.46 zero \/ % 0.23/0.46 greater % 0.23/0.46 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/ % 0.23/0.46 in_environment $E % 0.23/0.46 (difference % 0.23/0.46 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate efficient_producers % 0.23/0.46 (critical_point skolemFOFtoCNF_E))) % 0.23/0.46 |- difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) = % 0.23/0.46 zero \/ % 0.23/0.46 selection_favors first_movers efficient_producers % 0.23/0.46 (critical_point skolemFOFtoCNF_E) % 0.23/0.46 |- ~greater zero zero \/ % 0.23/0.46 greater % 0.23/0.46 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/ % 0.23/0.46 selection_favors first_movers efficient_producers % 0.23/0.46 (critical_point skolemFOFtoCNF_E) % 0.23/0.46 |- ~greater zero zero \/ % 0.23/0.46 greater (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) \/ % 0.23/0.46 selection_favors first_movers efficient_producers % 0.23/0.46 (critical_point skolemFOFtoCNF_E) % 0.23/0.46 |- decreases zero \/ % 0.23/0.46 selection_favors first_movers efficient_producers % 0.23/0.46 (critical_point skolemFOFtoCNF_E) % 0.23/0.46 |- ~environment $_41 \/ % 0.23/0.46 ~greater_or_equal zero % 0.23/0.46 (difference % 0.23/0.46 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate efficient_producers % 0.23/0.46 (critical_point skolemFOFtoCNF_E))) \/ % 0.23/0.46 ~subpopulations first_movers efficient_producers $_41 zero \/ % 0.23/0.46 difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) = % 0.23/0.46 zero \/ % 0.23/0.46 greater % 0.23/0.46 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/ % 0.23/0.46 subpopulations first_movers efficient_producers $_41 % 0.23/0.46 (difference % 0.23/0.46 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate efficient_producers % 0.23/0.46 (critical_point skolemFOFtoCNF_E))) % 0.23/0.46 |- ~environment $_41 \/ % 0.23/0.46 ~greater_or_equal zero % 0.23/0.46 (difference % 0.23/0.46 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate efficient_producers % 0.23/0.46 (critical_point skolemFOFtoCNF_E))) \/ % 0.23/0.46 ~subpopulations first_movers efficient_producers $_41 zero \/ % 0.23/0.46 greater zero % 0.23/0.46 (difference % 0.23/0.46 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate efficient_producers % 0.23/0.46 (critical_point skolemFOFtoCNF_E))) \/ % 0.23/0.46 subpopulations first_movers efficient_producers $_41 % 0.23/0.46 (difference % 0.23/0.46 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate efficient_producers % 0.23/0.46 (critical_point skolemFOFtoCNF_E))) % 0.23/0.46 |- ~environment $_41 \/ % 0.23/0.46 ~greater_or_equal % 0.23/0.46 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/ % 0.23/0.46 ~subpopulations first_movers efficient_producers $_41 % 0.23/0.46 (growth_rate efficient_producers % 0.23/0.46 (critical_point skolemFOFtoCNF_E)) \/ % 0.23/0.46 difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) = % 0.23/0.46 zero \/ % 0.23/0.46 greater % 0.23/0.46 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/ % 0.23/0.46 subpopulations first_movers efficient_producers $_41 % 0.23/0.46 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 |- ~environment $_41 \/ % 0.23/0.46 ~greater_or_equal % 0.23/0.46 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/ % 0.23/0.46 ~subpopulations first_movers efficient_producers $_41 % 0.23/0.46 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/ % 0.23/0.46 difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) = % 0.23/0.46 zero \/ % 0.23/0.46 greater % 0.23/0.46 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/ % 0.23/0.46 subpopulations first_movers efficient_producers $_41 % 0.23/0.46 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 |- ~greater_or_equal $_42 (critical_point skolemFOFtoCNF_E) \/ % 0.23/0.46 ~greater_or_equal (critical_point skolemFOFtoCNF_E) $_42 \/ % 0.23/0.46 subpopulations first_movers efficient_producers skolemFOFtoCNF_E $_42 % 0.23/0.46 |- ~greater_or_equal skolemFOFtoCNF_T (critical_point skolemFOFtoCNF_E) \/ % 0.23/0.46 subpopulations first_movers efficient_producers skolemFOFtoCNF_E % 0.23/0.46 skolemFOFtoCNF_T % 0.23/0.46 |- ~environment $_45 \/ ~in_environment $_45 zero \/ % 0.23/0.46 greater zero % 0.23/0.46 (difference % 0.23/0.46 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate efficient_producers % 0.23/0.46 (critical_point skolemFOFtoCNF_E))) \/ % 0.23/0.46 in_environment $_45 % 0.23/0.46 (difference % 0.23/0.46 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate efficient_producers % 0.23/0.46 (critical_point skolemFOFtoCNF_E))) \/ % 0.23/0.46 selection_favors first_movers efficient_producers % 0.23/0.46 (critical_point skolemFOFtoCNF_E) % 0.23/0.46 |- ~environment $_47 \/ % 0.23/0.46 ~greater_or_equal $_50 (appear first_movers skolemFOFtoCNF_E) \/ % 0.23/0.46 ~in_environment $_47 $_50 \/ % 0.23/0.46 ~in_environment $_47 (start_time skolemFOFtoCNF_E) \/ % 0.23/0.46 in_environment $_47 (appear first_movers skolemFOFtoCNF_E) % 0.23/0.46 |- ~environment $_47 \/ % 0.23/0.46 ~greater_or_equal $_50 (critical_point skolemFOFtoCNF_E) \/ % 0.23/0.46 ~in_environment $_47 $_50 \/ % 0.23/0.46 ~in_environment $_47 (appear efficient_producers skolemFOFtoCNF_E) \/ % 0.23/0.46 in_environment $_47 (critical_point skolemFOFtoCNF_E) % 0.23/0.46 |- ~environment $_47 \/ % 0.23/0.46 ~greater_or_equal $_50 (critical_point skolemFOFtoCNF_E) \/ % 0.23/0.46 ~in_environment $_47 $_50 \/ ~in_environment $_47 skolemFOFtoCNF_T \/ % 0.23/0.46 in_environment $_47 (critical_point skolemFOFtoCNF_E) % 0.23/0.46 |- ~environment $_47 \/ % 0.23/0.46 ~greater_or_equal $_50 % 0.23/0.46 (difference % 0.23/0.46 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate efficient_producers % 0.23/0.46 (critical_point skolemFOFtoCNF_E))) \/ % 0.23/0.46 ~in_environment $_47 $_50 \/ ~in_environment $_47 zero \/ % 0.23/0.46 difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) = % 0.23/0.46 zero \/ % 0.23/0.46 greater % 0.23/0.46 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/ % 0.23/0.46 in_environment $_47 % 0.23/0.46 (difference % 0.23/0.46 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate efficient_producers % 0.23/0.46 (critical_point skolemFOFtoCNF_E))) % 0.23/0.46 |- ~environment $_47 \/ % 0.23/0.46 ~greater_or_equal $_50 % 0.23/0.46 (difference % 0.23/0.46 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate efficient_producers % 0.23/0.46 (critical_point skolemFOFtoCNF_E))) \/ % 0.23/0.46 ~in_environment $_47 $_50 \/ ~in_environment $_47 zero \/ % 0.23/0.46 greater zero % 0.23/0.46 (difference % 0.23/0.46 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate efficient_producers % 0.23/0.46 (critical_point skolemFOFtoCNF_E))) \/ % 0.23/0.46 in_environment $_47 % 0.23/0.46 (difference % 0.23/0.46 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate efficient_producers % 0.23/0.46 (critical_point skolemFOFtoCNF_E))) % 0.23/0.46 |- ~environment $_47 \/ % 0.23/0.46 ~greater_or_equal $_50 % 0.23/0.46 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/ % 0.23/0.46 ~in_environment $_47 $_50 \/ % 0.23/0.46 ~in_environment $_47 % 0.23/0.46 (growth_rate efficient_producers % 0.23/0.46 (critical_point skolemFOFtoCNF_E)) \/ % 0.23/0.46 difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) = % 0.23/0.46 zero \/ % 0.23/0.46 greater % 0.23/0.46 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/ % 0.23/0.46 in_environment $_47 % 0.23/0.46 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.46 |- ~environment $_47 \/ % 0.23/0.46 ~greater_or_equal (start_time skolemFOFtoCNF_E) $_49 \/ % 0.23/0.46 ~in_environment $_47 $_49 \/ % 0.23/0.46 ~in_environment $_47 (appear first_movers skolemFOFtoCNF_E) \/ % 0.23/0.46 in_environment $_47 (start_time skolemFOFtoCNF_E) % 0.23/0.46 |- ~environment $_47 \/ % 0.23/0.46 ~greater_or_equal (appear efficient_producers skolemFOFtoCNF_E) $_49 \/ % 0.23/0.46 ~in_environment $_47 $_49 \/ % 0.23/0.46 ~in_environment $_47 (critical_point skolemFOFtoCNF_E) \/ % 0.23/0.46 in_environment $_47 (appear efficient_producers skolemFOFtoCNF_E) % 0.23/0.47 |- ~environment $_47 \/ % 0.23/0.47 ~greater_or_equal % 0.23/0.47 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 $_49 \/ ~in_environment $_47 $_49 \/ % 0.23/0.47 ~in_environment $_47 % 0.23/0.47 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/ % 0.23/0.47 difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) = % 0.23/0.47 zero \/ % 0.23/0.47 greater % 0.23/0.47 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/ % 0.23/0.47 in_environment $_47 % 0.23/0.47 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 |- ~greater_or_equal $_48 (critical_point skolemFOFtoCNF_E) \/ % 0.23/0.47 ~greater_or_equal $_50 $_48 \/ ~in_environment skolemFOFtoCNF_E $_50 \/ % 0.23/0.47 in_environment skolemFOFtoCNF_E $_48 % 0.23/0.47 |- ~greater_or_equal $_48 (start_time skolemFOFtoCNF_E) \/ % 0.23/0.47 ~greater_or_equal $_50 $_48 \/ ~in_environment skolemFOFtoCNF_E $_50 \/ % 0.23/0.47 in_environment skolemFOFtoCNF_E $_48 % 0.23/0.47 |- ~greater_or_equal $_48 $_49 \/ % 0.23/0.47 ~greater_or_equal (critical_point skolemFOFtoCNF_E) $_48 \/ % 0.23/0.47 ~in_environment skolemFOFtoCNF_E $_49 \/ % 0.23/0.47 in_environment skolemFOFtoCNF_E $_48 % 0.23/0.47 |- ~greater_or_equal $_48 $_49 \/ % 0.23/0.47 ~greater_or_equal (start_time skolemFOFtoCNF_E) $_48 \/ % 0.23/0.47 ~in_environment skolemFOFtoCNF_E $_49 \/ % 0.23/0.47 in_environment skolemFOFtoCNF_E $_48 % 0.23/0.47 |- ~environment $_47 \/ % 0.23/0.47 ~greater_or_equal (appear efficient_producers skolemFOFtoCNF_E) % 0.23/0.47 (critical_point skolemFOFtoCNF_E) \/ % 0.23/0.47 ~in_environment $_47 (appear efficient_producers skolemFOFtoCNF_E) \/ % 0.23/0.47 in_environment $_47 (critical_point skolemFOFtoCNF_E) % 0.23/0.47 |- ~environment $_47 \/ % 0.23/0.47 ~greater_or_equal (appear efficient_producers skolemFOFtoCNF_E) % 0.23/0.47 (critical_point skolemFOFtoCNF_E) \/ % 0.23/0.47 ~in_environment $_47 (critical_point skolemFOFtoCNF_E) \/ % 0.23/0.47 in_environment $_47 (appear efficient_producers skolemFOFtoCNF_E) % 0.23/0.47 |- ~greater_or_equal % 0.23/0.47 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 (critical_point skolemFOFtoCNF_E) \/ % 0.23/0.47 ~in_environment skolemFOFtoCNF_E % 0.23/0.47 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/ % 0.23/0.47 difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) = % 0.23/0.47 zero \/ % 0.23/0.47 greater % 0.23/0.47 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/ % 0.23/0.47 in_environment skolemFOFtoCNF_E % 0.23/0.47 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 |- ~greater_or_equal $_51 (critical_point skolemFOFtoCNF_E) \/ % 0.23/0.47 ~greater_or_equal (start_time skolemFOFtoCNF_E) $_51 \/ % 0.23/0.47 in_environment skolemFOFtoCNF_E $_51 % 0.23/0.47 |- ~greater_or_equal (start_time skolemFOFtoCNF_E) % 0.23/0.47 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/ % 0.23/0.47 ~in_environment skolemFOFtoCNF_E % 0.23/0.47 (growth_rate efficient_producers % 0.23/0.47 (critical_point skolemFOFtoCNF_E)) \/ % 0.23/0.47 difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) = % 0.23/0.47 zero \/ % 0.23/0.47 greater % 0.23/0.47 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/ % 0.23/0.47 in_environment skolemFOFtoCNF_E % 0.23/0.47 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 |- ~greater_or_equal $_59 (appear first_movers skolemFOFtoCNF_E) \/ % 0.23/0.47 ~in_environment skolemFOFtoCNF_E $_59 \/ % 0.23/0.47 in_environment skolemFOFtoCNF_E (appear first_movers skolemFOFtoCNF_E) % 0.23/0.47 |- ~greater_or_equal % 0.23/0.47 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 (start_time skolemFOFtoCNF_E) \/ % 0.23/0.47 ~in_environment skolemFOFtoCNF_E % 0.23/0.47 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/ % 0.23/0.47 difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) = % 0.23/0.47 zero \/ % 0.23/0.47 greater % 0.23/0.47 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/ % 0.23/0.47 in_environment skolemFOFtoCNF_E % 0.23/0.47 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 |- ~greater_or_equal $_58 (start_time skolemFOFtoCNF_E) \/ % 0.23/0.47 ~greater_or_equal (critical_point skolemFOFtoCNF_E) $_58 \/ % 0.23/0.47 in_environment skolemFOFtoCNF_E $_58 % 0.23/0.47 |- ~greater_or_equal (critical_point skolemFOFtoCNF_E) % 0.23/0.47 (appear first_movers skolemFOFtoCNF_E) \/ % 0.23/0.47 in_environment skolemFOFtoCNF_E (appear first_movers skolemFOFtoCNF_E) % 0.23/0.47 |- ~greater_or_equal skolemFOFtoCNF_T (start_time skolemFOFtoCNF_E) \/ % 0.23/0.47 in_environment skolemFOFtoCNF_E skolemFOFtoCNF_T % 0.23/0.47 |- ~greater_or_equal (critical_point skolemFOFtoCNF_E) % 0.23/0.47 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/ % 0.23/0.47 ~in_environment skolemFOFtoCNF_E % 0.23/0.47 (growth_rate efficient_producers % 0.23/0.47 (critical_point skolemFOFtoCNF_E)) \/ % 0.23/0.47 difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) = % 0.23/0.47 zero \/ % 0.23/0.47 greater % 0.23/0.47 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/ % 0.23/0.47 in_environment skolemFOFtoCNF_E % 0.23/0.47 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 |- ~greater_or_equal (appear efficient_producers skolemFOFtoCNF_E) $_63 \/ % 0.23/0.47 ~in_environment skolemFOFtoCNF_E $_63 \/ % 0.23/0.47 in_environment skolemFOFtoCNF_E % 0.23/0.47 (appear efficient_producers skolemFOFtoCNF_E) % 0.23/0.47 |- ~greater_or_equal skolemFOFtoCNF_T $_63 \/ % 0.23/0.47 ~in_environment skolemFOFtoCNF_E $_63 \/ % 0.23/0.47 in_environment skolemFOFtoCNF_E skolemFOFtoCNF_T % 0.23/0.47 |- ~environment $_76 \/ % 0.23/0.47 ~subpopulations first_movers efficient_producers $_76 zero \/ % 0.23/0.47 greater zero % 0.23/0.47 (difference % 0.23/0.47 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 (growth_rate efficient_producers % 0.23/0.47 (critical_point skolemFOFtoCNF_E))) \/ % 0.23/0.47 selection_favors first_movers efficient_producers % 0.23/0.47 (critical_point skolemFOFtoCNF_E) \/ % 0.23/0.47 subpopulations first_movers efficient_producers $_76 % 0.23/0.47 (difference % 0.23/0.47 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 (growth_rate efficient_producers % 0.23/0.47 (critical_point skolemFOFtoCNF_E))) % 0.23/0.47 |- ~environment $_78 \/ % 0.23/0.47 ~greater_or_equal $_81 % 0.23/0.47 (difference % 0.23/0.47 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 (growth_rate efficient_producers % 0.23/0.47 (critical_point skolemFOFtoCNF_E))) \/ % 0.23/0.47 ~subpopulations first_movers efficient_producers $_78 $_81 \/ % 0.23/0.47 ~subpopulations first_movers efficient_producers $_78 zero \/ % 0.23/0.47 difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) = % 0.23/0.47 zero \/ % 0.23/0.47 greater % 0.23/0.47 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/ % 0.23/0.47 subpopulations first_movers efficient_producers $_78 % 0.23/0.47 (difference % 0.23/0.47 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 (growth_rate efficient_producers % 0.23/0.47 (critical_point skolemFOFtoCNF_E))) % 0.23/0.47 |- ~environment $_78 \/ % 0.23/0.47 ~greater_or_equal $_81 % 0.23/0.47 (difference % 0.23/0.47 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 (growth_rate efficient_producers % 0.23/0.47 (critical_point skolemFOFtoCNF_E))) \/ % 0.23/0.47 ~subpopulations first_movers efficient_producers $_78 $_81 \/ % 0.23/0.47 ~subpopulations first_movers efficient_producers $_78 zero \/ % 0.23/0.47 greater zero % 0.23/0.47 (difference % 0.23/0.47 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 (growth_rate efficient_producers % 0.23/0.47 (critical_point skolemFOFtoCNF_E))) \/ % 0.23/0.47 subpopulations first_movers efficient_producers $_78 % 0.23/0.47 (difference % 0.23/0.47 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 (growth_rate efficient_producers % 0.23/0.47 (critical_point skolemFOFtoCNF_E))) % 0.23/0.47 |- ~environment $_78 \/ % 0.23/0.47 ~greater_or_equal $_81 % 0.23/0.47 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/ % 0.23/0.47 ~subpopulations first_movers efficient_producers $_78 $_81 \/ % 0.23/0.47 ~subpopulations first_movers efficient_producers $_78 % 0.23/0.47 (growth_rate efficient_producers % 0.23/0.47 (critical_point skolemFOFtoCNF_E)) \/ % 0.23/0.47 difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) = % 0.23/0.47 zero \/ % 0.23/0.47 greater % 0.23/0.47 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/ % 0.23/0.47 subpopulations first_movers efficient_producers $_78 % 0.23/0.47 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 |- ~environment $_78 \/ % 0.23/0.47 ~greater_or_equal % 0.23/0.47 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 $_80 \/ ~subpopulations first_movers efficient_producers $_78 $_80 \/ % 0.23/0.47 ~subpopulations first_movers efficient_producers $_78 % 0.23/0.47 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/ % 0.23/0.47 difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) = % 0.23/0.47 zero \/ % 0.23/0.47 greater % 0.23/0.47 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/ % 0.23/0.47 subpopulations first_movers efficient_producers $_78 % 0.23/0.47 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 |- ~greater_or_equal $_79 (critical_point skolemFOFtoCNF_E) \/ % 0.23/0.47 ~greater_or_equal $_81 $_79 \/ % 0.23/0.47 ~subpopulations first_movers efficient_producers skolemFOFtoCNF_E % 0.23/0.47 $_81 \/ % 0.23/0.47 subpopulations first_movers efficient_producers skolemFOFtoCNF_E $_79 % 0.23/0.47 |- ~greater_or_equal $_79 $_80 \/ % 0.23/0.47 ~greater_or_equal (critical_point skolemFOFtoCNF_E) $_79 \/ % 0.23/0.47 ~subpopulations first_movers efficient_producers skolemFOFtoCNF_E % 0.23/0.47 $_80 \/ % 0.23/0.47 subpopulations first_movers efficient_producers skolemFOFtoCNF_E $_79 % 0.23/0.47 |- ~greater_or_equal % 0.23/0.47 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 (critical_point skolemFOFtoCNF_E) \/ % 0.23/0.47 ~subpopulations first_movers efficient_producers skolemFOFtoCNF_E % 0.23/0.47 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/ % 0.23/0.47 difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) = % 0.23/0.47 zero \/ % 0.23/0.47 greater % 0.23/0.47 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/ % 0.23/0.47 subpopulations first_movers efficient_producers skolemFOFtoCNF_E % 0.23/0.47 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 |- ~greater_or_equal (critical_point skolemFOFtoCNF_E) % 0.23/0.47 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/ % 0.23/0.47 ~subpopulations first_movers efficient_producers skolemFOFtoCNF_E % 0.23/0.47 (growth_rate efficient_producers % 0.23/0.47 (critical_point skolemFOFtoCNF_E)) \/ % 0.23/0.47 difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) = % 0.23/0.47 zero \/ % 0.23/0.47 greater % 0.23/0.47 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/ % 0.23/0.47 subpopulations first_movers efficient_producers skolemFOFtoCNF_E % 0.23/0.47 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 |- ~greater_or_equal (appear efficient_producers skolemFOFtoCNF_E) $_85 \/ % 0.23/0.47 ~subpopulations first_movers efficient_producers skolemFOFtoCNF_E % 0.23/0.47 $_85 \/ % 0.23/0.47 subpopulations first_movers efficient_producers skolemFOFtoCNF_E % 0.23/0.47 (appear efficient_producers skolemFOFtoCNF_E) % 0.23/0.47 |- ~greater_or_equal (appear efficient_producers skolemFOFtoCNF_E) % 0.23/0.47 (critical_point skolemFOFtoCNF_E) \/ % 0.23/0.47 subpopulations first_movers efficient_producers skolemFOFtoCNF_E % 0.23/0.47 (appear efficient_producers skolemFOFtoCNF_E) % 0.23/0.47 |- ~environment $_93 \/ ~greater $_95 (critical_point skolemFOFtoCNF_E) \/ % 0.23/0.47 ~greater_or_equal (critical_point skolemFOFtoCNF_E) % 0.23/0.47 (appear efficient_producers $_93) \/ % 0.23/0.47 ~greater_or_equal % 0.23/0.47 (difference (growth_rate first_movers $_95) % 0.23/0.47 (growth_rate efficient_producers $_95)) zero \/ % 0.23/0.47 ~in_environment $_93 $_95 \/ % 0.23/0.47 decreases % 0.23/0.47 (difference % 0.23/0.47 (disbanding_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 (disbanding_rate efficient_producers % 0.23/0.47 (critical_point skolemFOFtoCNF_E))) \/ % 0.23/0.47 greater % 0.23/0.47 (difference % 0.23/0.47 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 (growth_rate efficient_producers % 0.23/0.47 (critical_point skolemFOFtoCNF_E))) zero % 0.23/0.47 |- ~decreases % 0.23/0.47 (difference (growth_rate first_movers $_94) % 0.23/0.47 (growth_rate efficient_producers $_94)) \/ ~environment $_93 \/ % 0.23/0.47 ~greater (critical_point skolemFOFtoCNF_E) $_94 \/ % 0.23/0.47 ~greater_or_equal $_94 (appear efficient_producers $_93) \/ % 0.23/0.47 ~in_environment $_93 (critical_point skolemFOFtoCNF_E) \/ % 0.23/0.47 difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) = % 0.23/0.47 zero \/ % 0.23/0.47 greater % 0.23/0.47 (difference (growth_rate first_movers $_94) % 0.23/0.47 (growth_rate efficient_producers $_94)) zero \/ % 0.23/0.47 greater % 0.23/0.47 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 |- ~decreases % 0.23/0.47 (difference (growth_rate first_movers $_94) % 0.23/0.47 (growth_rate efficient_producers $_94)) \/ ~environment $_93 \/ % 0.23/0.47 ~greater (critical_point skolemFOFtoCNF_E) $_94 \/ % 0.23/0.47 ~greater_or_equal $_94 (appear efficient_producers $_93) \/ % 0.23/0.47 ~in_environment $_93 (critical_point skolemFOFtoCNF_E) \/ % 0.23/0.47 greater % 0.23/0.47 (difference (growth_rate first_movers $_94) % 0.23/0.47 (growth_rate efficient_producers $_94)) zero \/ % 0.23/0.47 greater zero % 0.23/0.47 (difference % 0.23/0.47 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 (growth_rate efficient_producers % 0.23/0.47 (critical_point skolemFOFtoCNF_E))) % 0.23/0.47 |- ~decreases % 0.23/0.47 (difference (growth_rate first_movers $_94) % 0.23/0.47 (growth_rate efficient_producers $_94)) \/ ~environment $_93 \/ % 0.23/0.47 ~greater (critical_point skolemFOFtoCNF_E) $_94 \/ % 0.23/0.47 ~greater_or_equal $_94 (appear efficient_producers $_93) \/ % 0.23/0.47 ~in_environment $_93 (critical_point skolemFOFtoCNF_E) \/ % 0.23/0.47 greater % 0.23/0.47 (difference (growth_rate first_movers $_94) % 0.23/0.47 (growth_rate efficient_producers $_94)) zero \/ % 0.23/0.47 selection_favors first_movers efficient_producers % 0.23/0.47 (critical_point skolemFOFtoCNF_E) % 0.23/0.47 |- ~decreases zero \/ ~environment $_93 \/ % 0.23/0.47 ~greater $_95 (critical_point skolemFOFtoCNF_E) \/ % 0.23/0.47 ~greater_or_equal (critical_point skolemFOFtoCNF_E) % 0.23/0.47 (appear efficient_producers $_93) \/ % 0.23/0.47 ~greater_or_equal % 0.23/0.47 (difference (growth_rate first_movers $_95) % 0.23/0.47 (growth_rate efficient_producers $_95)) zero \/ % 0.23/0.47 ~in_environment $_93 $_95 \/ % 0.23/0.47 greater % 0.23/0.47 (difference % 0.23/0.47 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 (growth_rate efficient_producers % 0.23/0.47 (critical_point skolemFOFtoCNF_E))) zero \/ % 0.23/0.47 selection_favors first_movers efficient_producers % 0.23/0.47 (critical_point skolemFOFtoCNF_E) % 0.23/0.47 |- ~decreases zero \/ % 0.23/0.47 ~greater (critical_point skolemFOFtoCNF_E) % 0.23/0.47 (critical_point skolemFOFtoCNF_E) \/ % 0.23/0.47 greater % 0.23/0.47 (difference % 0.23/0.47 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 (growth_rate efficient_producers % 0.23/0.47 (critical_point skolemFOFtoCNF_E))) zero \/ % 0.23/0.47 selection_favors first_movers efficient_producers % 0.23/0.47 (critical_point skolemFOFtoCNF_E) % 0.23/0.47 |- ~greater (critical_point skolemFOFtoCNF_E) % 0.23/0.47 (critical_point skolemFOFtoCNF_E) \/ % 0.23/0.47 decreases % 0.23/0.47 (difference % 0.23/0.47 (disbanding_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 (disbanding_rate efficient_producers % 0.23/0.47 (critical_point skolemFOFtoCNF_E))) \/ % 0.23/0.47 greater % 0.23/0.47 (difference % 0.23/0.47 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 (growth_rate efficient_producers % 0.23/0.47 (critical_point skolemFOFtoCNF_E))) zero \/ % 0.23/0.47 selection_favors first_movers efficient_producers % 0.23/0.47 (critical_point skolemFOFtoCNF_E) % 0.23/0.47 |- ~greater (critical_point skolemFOFtoCNF_E) % 0.23/0.47 (critical_point skolemFOFtoCNF_E) \/ % 0.23/0.47 decreases % 0.23/0.47 (difference % 0.23/0.47 (disbanding_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 (disbanding_rate efficient_producers % 0.23/0.47 (critical_point skolemFOFtoCNF_E))) \/ % 0.23/0.47 greater % 0.23/0.47 (difference % 0.23/0.47 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 (growth_rate efficient_producers % 0.23/0.47 (critical_point skolemFOFtoCNF_E))) zero \/ % 0.23/0.47 greater zero % 0.23/0.47 (difference % 0.23/0.47 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) % 0.23/0.47 (growth_rate efficient_producers % 0.23/0.47 (critical_point skolemFOFtoCNF_E))) % 0.23/0.47 SZS output end Saturation for /export/starexec/sandbox/benchmark/theBenchmark.p % 0.23/0.47 %------------------------------------------------------------------------------