TSTP Solution File: MGT034+1 by Metis---2.4
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Metis---2.4
% Problem : MGT034+1 : TPTP v8.1.0. Released v2.0.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 : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 600s
% DateTime : Sun Jul 17 22:19:21 EDT 2022
% Result : CounterSatisfiable 0.18s 0.40s
% Output : Saturation 0.18s
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.11 % Problem : MGT034+1 : TPTP v8.1.0. Released v2.0.0.
% 0.03/0.12 % Command : metis --show proof --show saturation %s
% 0.12/0.33 % Computer : n019.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Thu Jun 9 11:05:25 EDT 2022
% 0.12/0.33 % CPUTime :
% 0.12/0.34 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% 0.18/0.40 % SZS status CounterSatisfiable for /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.18/0.40
% 0.18/0.40 SZS output start Saturation for /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.18/0.40 |- ~environment $E \/ ~greater (growth_rate $S2 $T) (growth_rate $S1 $T) \/
% 0.18/0.40 ~subpopulations $S1 $S2 $E $T \/ selection_favors $S2 $S1 $T
% 0.18/0.40 |- ~decreases
% 0.18/0.40 (difference (disbanding_rate first_movers $T)
% 0.18/0.40 (disbanding_rate efficient_producers $T)) \/ ~environment $E \/
% 0.18/0.40 ~subpopulations first_movers efficient_producers $E $T
% 0.18/0.40 |- ~environment $E \/ ~in_environment $E (critical_point $E) \/
% 0.18/0.40 subpopulations first_movers efficient_producers $E (critical_point $E)
% 0.18/0.40 |- ~environment $E \/ ~in_environment $E (appear efficient_producers $E) \/
% 0.18/0.40 subpopulations first_movers efficient_producers $E
% 0.18/0.40 (appear efficient_producers $E)
% 0.18/0.40 |- ~decreases
% 0.18/0.40 (difference (growth_rate first_movers $T)
% 0.18/0.40 (growth_rate efficient_producers $T)) \/ ~environment $E \/
% 0.18/0.40 ~greater $To $T \/
% 0.18/0.40 ~greater_or_equal $T (appear efficient_producers $E) \/
% 0.18/0.40 ~greater_or_equal
% 0.18/0.40 (difference (growth_rate first_movers $To)
% 0.18/0.40 (growth_rate efficient_producers $To)) zero \/
% 0.18/0.40 ~in_environment $E $To \/
% 0.18/0.40 greater
% 0.18/0.40 (difference (growth_rate first_movers $T)
% 0.18/0.40 (growth_rate efficient_producers $T)) zero
% 0.18/0.40 |- ~decreases
% 0.18/0.40 (difference (founding_rate first_movers $T)
% 0.18/0.40 (founding_rate efficient_producers $T)) \/
% 0.18/0.40 decreases
% 0.18/0.40 (difference (disbanding_rate first_movers $T)
% 0.18/0.40 (disbanding_rate efficient_producers $T)) \/
% 0.18/0.40 decreases
% 0.18/0.40 (difference (growth_rate first_movers $T)
% 0.18/0.40 (growth_rate efficient_producers $T))
% 0.18/0.40 |- ~greater (growth_rate efficient_producers $T)
% 0.18/0.40 (growth_rate first_movers $T) \/
% 0.18/0.40 greater zero
% 0.18/0.40 (difference (growth_rate first_movers $T)
% 0.18/0.40 (growth_rate efficient_producers $T))
% 0.18/0.40 |- ~greater zero
% 0.18/0.40 (difference (growth_rate first_movers $T)
% 0.18/0.40 (growth_rate efficient_producers $T)) \/
% 0.18/0.40 greater (growth_rate efficient_producers $T)
% 0.18/0.40 (growth_rate first_movers $T)
% 0.18/0.40 |- ~greater
% 0.18/0.40 (difference (growth_rate first_movers $T)
% 0.18/0.40 (growth_rate efficient_producers $T)) zero \/
% 0.18/0.40 greater (growth_rate first_movers $T)
% 0.18/0.40 (growth_rate efficient_producers $T)
% 0.18/0.40 |- ~greater (growth_rate first_movers $T)
% 0.18/0.40 (growth_rate efficient_producers $T) \/
% 0.18/0.40 greater
% 0.18/0.40 (difference (growth_rate first_movers $T)
% 0.18/0.40 (growth_rate efficient_producers $T)) zero
% 0.18/0.40 |- ~environment $E \/ ~greater_or_equal $T $T1 \/
% 0.18/0.40 ~greater_or_equal $T2 $T \/ ~in_environment $E $T1 \/
% 0.18/0.40 ~in_environment $E $T2 \/ in_environment $E $T
% 0.18/0.40 |- ~environment $E \/ in_environment $E (start_time $E)
% 0.18/0.40 |- ~environment $E \/
% 0.18/0.40 greater_or_equal (appear first_movers $E) (start_time $E)
% 0.18/0.40 |- ~environment $E \/
% 0.18/0.40 ~subpopulations first_movers efficient_producers $E $T \/
% 0.18/0.40 subpopulations efficient_producers first_movers $E $T
% 0.18/0.40 |- ~environment $E \/
% 0.18/0.40 ~subpopulations first_movers efficient_producers $E $T \/
% 0.18/0.40 greater_or_equal $T (appear efficient_producers $E)
% 0.18/0.40 |- greater_or_equal $Y $Y
% 0.18/0.40 |- ~greater $X $Y \/ greater_or_equal $X $Y
% 0.18/0.40 |- ~greater_or_equal $X $Y \/ $X = $Y \/ greater $X $Y
% 0.18/0.40 |- ~environment $E \/
% 0.18/0.40 ~subpopulations first_movers efficient_producers $E $T \/
% 0.18/0.40 greater zero
% 0.18/0.40 (difference (growth_rate first_movers $T)
% 0.18/0.40 (growth_rate efficient_producers $T)) \/
% 0.18/0.40 greater_or_equal
% 0.18/0.40 (difference (growth_rate first_movers $T)
% 0.18/0.40 (growth_rate efficient_producers $T)) zero
% 0.18/0.40 |- ~environment $E \/ ~greater_or_equal $T $T1 \/
% 0.18/0.40 ~greater_or_equal $T2 $T \/
% 0.18/0.40 ~subpopulations first_movers efficient_producers $E $T1 \/
% 0.18/0.40 ~subpopulations first_movers efficient_producers $E $T2 \/
% 0.18/0.40 subpopulations first_movers efficient_producers $E $T
% 0.18/0.40 |- ~environment $E \/
% 0.18/0.40 ~greater (growth_rate efficient_producers (critical_point $E))
% 0.18/0.40 (growth_rate first_movers (critical_point $E))
% 0.18/0.40 |- ~environment $E \/ ~greater $T (critical_point $E) \/
% 0.18/0.40 ~subpopulations first_movers efficient_producers $E $T \/
% 0.18/0.40 greater (growth_rate efficient_producers $T)
% 0.18/0.40 (growth_rate first_movers $T)
% 0.18/0.40 |- ~environment $E \/
% 0.18/0.40 ~subpopulations first_movers efficient_producers $E $T \/
% 0.18/0.40 decreases
% 0.18/0.40 (difference (founding_rate first_movers $T)
% 0.18/0.40 (founding_rate efficient_producers $T))
% 0.18/0.40 |- ~environment $E \/ ~greater_or_equal $T $T2 \/
% 0.18/0.40 ~greater_or_equal $T2 $T \/ ~in_environment $E $T2 \/
% 0.18/0.40 in_environment $E $T
% 0.18/0.40 |- ~environment $E \/ ~greater_or_equal $T $T2 \/
% 0.18/0.40 ~greater_or_equal $T2 $T \/
% 0.18/0.40 ~subpopulations first_movers efficient_producers $E $T2 \/
% 0.18/0.40 subpopulations first_movers efficient_producers $E $T
% 0.18/0.40 |- ~selection_favors first_movers efficient_producers skolemFOFtoCNF_T
% 0.18/0.41 |- environment skolemFOFtoCNF_E
% 0.18/0.41 |- greater (critical_point skolemFOFtoCNF_E) skolemFOFtoCNF_T
% 0.18/0.41 |- greater_or_equal skolemFOFtoCNF_T
% 0.18/0.41 (appear efficient_producers skolemFOFtoCNF_E)
% 0.18/0.41 |- in_environment skolemFOFtoCNF_E (critical_point skolemFOFtoCNF_E)
% 0.18/0.41 |- in_environment skolemFOFtoCNF_E (start_time skolemFOFtoCNF_E)
% 0.18/0.41 |- greater_or_equal (appear first_movers skolemFOFtoCNF_E)
% 0.18/0.41 (start_time skolemFOFtoCNF_E)
% 0.18/0.41 |- greater_or_equal (critical_point skolemFOFtoCNF_E) skolemFOFtoCNF_T
% 0.18/0.41 |- subpopulations first_movers efficient_producers skolemFOFtoCNF_E
% 0.18/0.41 (critical_point skolemFOFtoCNF_E)
% 0.18/0.41 |- appear first_movers skolemFOFtoCNF_E = start_time skolemFOFtoCNF_E \/
% 0.18/0.41 greater (appear first_movers skolemFOFtoCNF_E)
% 0.18/0.41 (start_time skolemFOFtoCNF_E)
% 0.18/0.41 |- skolemFOFtoCNF_T = appear efficient_producers skolemFOFtoCNF_E \/
% 0.18/0.41 greater skolemFOFtoCNF_T (appear efficient_producers skolemFOFtoCNF_E)
% 0.18/0.41 |- subpopulations efficient_producers first_movers skolemFOFtoCNF_E
% 0.18/0.41 (critical_point skolemFOFtoCNF_E)
% 0.18/0.41 |- greater_or_equal (critical_point skolemFOFtoCNF_E)
% 0.18/0.41 (appear efficient_producers skolemFOFtoCNF_E)
% 0.18/0.41 |- critical_point skolemFOFtoCNF_E =
% 0.18/0.41 appear efficient_producers skolemFOFtoCNF_E \/
% 0.18/0.41 greater (critical_point skolemFOFtoCNF_E)
% 0.18/0.41 (appear efficient_producers skolemFOFtoCNF_E)
% 0.18/0.41 |- decreases
% 0.18/0.41 (difference
% 0.18/0.41 (founding_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (founding_rate efficient_producers
% 0.18/0.41 (critical_point skolemFOFtoCNF_E)))
% 0.18/0.41 |- decreases
% 0.18/0.41 (difference
% 0.18/0.41 (disbanding_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (disbanding_rate efficient_producers
% 0.18/0.41 (critical_point skolemFOFtoCNF_E))) \/
% 0.18/0.41 decreases
% 0.18/0.41 (difference
% 0.18/0.41 (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate efficient_producers
% 0.18/0.41 (critical_point skolemFOFtoCNF_E)))
% 0.18/0.41 |- ~greater (critical_point skolemFOFtoCNF_E)
% 0.18/0.41 (critical_point skolemFOFtoCNF_E) \/
% 0.18/0.41 greater
% 0.18/0.41 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 |- ~environment $_25 \/
% 0.18/0.41 ~greater_or_equal (start_time skolemFOFtoCNF_E)
% 0.18/0.41 (appear first_movers skolemFOFtoCNF_E) \/
% 0.18/0.41 ~in_environment $_25 (start_time skolemFOFtoCNF_E) \/
% 0.18/0.41 in_environment $_25 (appear first_movers skolemFOFtoCNF_E)
% 0.18/0.41 |- ~environment $_25 \/
% 0.18/0.41 ~greater_or_equal skolemFOFtoCNF_T (critical_point skolemFOFtoCNF_E) \/
% 0.18/0.41 ~in_environment $_25 skolemFOFtoCNF_T \/
% 0.18/0.41 in_environment $_25 (critical_point skolemFOFtoCNF_E)
% 0.18/0.41 |- ~environment $_25 \/
% 0.18/0.41 ~greater_or_equal (start_time skolemFOFtoCNF_E)
% 0.18/0.41 (appear first_movers skolemFOFtoCNF_E) \/
% 0.18/0.41 ~in_environment $_25 (appear first_movers skolemFOFtoCNF_E) \/
% 0.18/0.41 in_environment $_25 (start_time skolemFOFtoCNF_E)
% 0.18/0.41 |- ~greater_or_equal $_26 (critical_point skolemFOFtoCNF_E) \/
% 0.18/0.41 ~greater_or_equal (critical_point skolemFOFtoCNF_E) $_26 \/
% 0.18/0.41 in_environment skolemFOFtoCNF_E $_26
% 0.18/0.41 |- ~greater_or_equal $_26 (start_time skolemFOFtoCNF_E) \/
% 0.18/0.41 ~greater_or_equal (start_time skolemFOFtoCNF_E) $_26 \/
% 0.18/0.41 in_environment skolemFOFtoCNF_E $_26
% 0.18/0.41 |- ~greater_or_equal skolemFOFtoCNF_T (critical_point skolemFOFtoCNF_E) \/
% 0.18/0.41 in_environment skolemFOFtoCNF_E skolemFOFtoCNF_T
% 0.18/0.41 |- ~greater_or_equal (start_time skolemFOFtoCNF_E)
% 0.18/0.41 (appear first_movers skolemFOFtoCNF_E) \/
% 0.18/0.41 in_environment skolemFOFtoCNF_E (appear first_movers skolemFOFtoCNF_E)
% 0.18/0.41 |- greater zero
% 0.18/0.41 (difference
% 0.18/0.41 (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate efficient_producers
% 0.18/0.41 (critical_point skolemFOFtoCNF_E))) \/
% 0.18/0.41 greater_or_equal
% 0.18/0.41 (difference
% 0.18/0.41 (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate efficient_producers
% 0.18/0.41 (critical_point skolemFOFtoCNF_E))) zero
% 0.18/0.41 |- ~environment $E \/
% 0.18/0.41 ~greater_or_equal zero
% 0.18/0.41 (difference
% 0.18/0.41 (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate efficient_producers
% 0.18/0.41 (critical_point skolemFOFtoCNF_E))) \/
% 0.18/0.41 ~in_environment $E zero \/
% 0.18/0.41 greater zero
% 0.18/0.41 (difference
% 0.18/0.41 (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate efficient_producers
% 0.18/0.41 (critical_point skolemFOFtoCNF_E))) \/
% 0.18/0.41 in_environment $E
% 0.18/0.41 (difference
% 0.18/0.41 (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate efficient_producers
% 0.18/0.41 (critical_point skolemFOFtoCNF_E)))
% 0.18/0.41 |- difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) =
% 0.18/0.41 zero \/
% 0.18/0.41 greater
% 0.18/0.41 (difference
% 0.18/0.41 (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate efficient_producers
% 0.18/0.41 (critical_point skolemFOFtoCNF_E))) zero \/
% 0.18/0.41 greater zero
% 0.18/0.41 (difference
% 0.18/0.41 (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate efficient_producers
% 0.18/0.41 (critical_point skolemFOFtoCNF_E)))
% 0.18/0.41 |- difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) =
% 0.18/0.41 zero \/
% 0.18/0.41 greater (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) \/
% 0.18/0.41 greater zero
% 0.18/0.41 (difference
% 0.18/0.41 (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate efficient_producers
% 0.18/0.41 (critical_point skolemFOFtoCNF_E)))
% 0.18/0.41 |- difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) =
% 0.18/0.41 zero \/
% 0.18/0.41 greater (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) \/
% 0.18/0.41 greater_or_equal zero
% 0.18/0.41 (difference
% 0.18/0.41 (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate efficient_producers
% 0.18/0.41 (critical_point skolemFOFtoCNF_E)))
% 0.18/0.41 |- difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) =
% 0.18/0.41 zero \/
% 0.18/0.41 greater
% 0.18/0.41 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/
% 0.18/0.41 greater (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 |- difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) =
% 0.18/0.41 zero \/
% 0.18/0.41 greater
% 0.18/0.41 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/
% 0.18/0.41 greater_or_equal
% 0.18/0.41 (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 |- difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) =
% 0.18/0.41 zero \/
% 0.18/0.41 greater
% 0.18/0.41 (difference
% 0.18/0.41 (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate efficient_producers
% 0.18/0.41 (critical_point skolemFOFtoCNF_E))) zero \/
% 0.18/0.41 greater
% 0.18/0.41 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 |- ~environment $E \/
% 0.18/0.41 ~greater_or_equal
% 0.18/0.41 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/
% 0.18/0.41 ~in_environment $E
% 0.18/0.41 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/
% 0.18/0.41 difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) =
% 0.18/0.41 zero \/
% 0.18/0.41 greater
% 0.18/0.41 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/
% 0.18/0.41 in_environment $E
% 0.18/0.41 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 |- ~environment $E \/
% 0.18/0.41 ~greater_or_equal
% 0.18/0.41 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/
% 0.18/0.41 ~in_environment $E
% 0.18/0.41 (growth_rate efficient_producers
% 0.18/0.41 (critical_point skolemFOFtoCNF_E)) \/
% 0.18/0.41 difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) =
% 0.18/0.41 zero \/
% 0.18/0.41 greater
% 0.18/0.41 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/
% 0.18/0.41 in_environment $E
% 0.18/0.41 (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 |- difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) =
% 0.18/0.41 zero \/
% 0.18/0.41 greater
% 0.18/0.41 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/
% 0.18/0.41 greater_or_equal
% 0.18/0.41 (difference
% 0.18/0.41 (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate efficient_producers
% 0.18/0.41 (critical_point skolemFOFtoCNF_E))) zero
% 0.18/0.41 |- ~environment $E \/
% 0.18/0.41 ~greater_or_equal zero
% 0.18/0.41 (difference
% 0.18/0.41 (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate efficient_producers
% 0.18/0.41 (critical_point skolemFOFtoCNF_E))) \/
% 0.18/0.41 ~in_environment $E zero \/
% 0.18/0.41 difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) =
% 0.18/0.41 zero \/
% 0.18/0.41 greater
% 0.18/0.41 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/
% 0.18/0.41 in_environment $E
% 0.18/0.41 (difference
% 0.18/0.41 (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate efficient_producers
% 0.18/0.41 (critical_point skolemFOFtoCNF_E)))
% 0.18/0.41 |- difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) =
% 0.18/0.41 zero \/
% 0.18/0.41 selection_favors first_movers efficient_producers
% 0.18/0.41 (critical_point skolemFOFtoCNF_E)
% 0.18/0.41 |- ~greater zero zero \/
% 0.18/0.41 greater
% 0.18/0.41 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/
% 0.18/0.41 selection_favors first_movers efficient_producers
% 0.18/0.41 (critical_point skolemFOFtoCNF_E)
% 0.18/0.41 |- ~greater zero zero \/
% 0.18/0.41 greater (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) \/
% 0.18/0.41 selection_favors first_movers efficient_producers
% 0.18/0.41 (critical_point skolemFOFtoCNF_E)
% 0.18/0.41 |- decreases zero \/
% 0.18/0.41 selection_favors first_movers efficient_producers
% 0.18/0.41 (critical_point skolemFOFtoCNF_E)
% 0.18/0.41 |- ~environment $_41 \/
% 0.18/0.41 ~greater_or_equal zero
% 0.18/0.41 (difference
% 0.18/0.41 (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate efficient_producers
% 0.18/0.41 (critical_point skolemFOFtoCNF_E))) \/
% 0.18/0.41 ~subpopulations first_movers efficient_producers $_41 zero \/
% 0.18/0.41 difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) =
% 0.18/0.41 zero \/
% 0.18/0.41 greater
% 0.18/0.41 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/
% 0.18/0.41 subpopulations first_movers efficient_producers $_41
% 0.18/0.41 (difference
% 0.18/0.41 (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate efficient_producers
% 0.18/0.41 (critical_point skolemFOFtoCNF_E)))
% 0.18/0.41 |- ~environment $_41 \/
% 0.18/0.41 ~greater_or_equal zero
% 0.18/0.41 (difference
% 0.18/0.41 (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate efficient_producers
% 0.18/0.41 (critical_point skolemFOFtoCNF_E))) \/
% 0.18/0.41 ~subpopulations first_movers efficient_producers $_41 zero \/
% 0.18/0.41 greater zero
% 0.18/0.41 (difference
% 0.18/0.41 (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate efficient_producers
% 0.18/0.41 (critical_point skolemFOFtoCNF_E))) \/
% 0.18/0.41 subpopulations first_movers efficient_producers $_41
% 0.18/0.41 (difference
% 0.18/0.41 (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate efficient_producers
% 0.18/0.41 (critical_point skolemFOFtoCNF_E)))
% 0.18/0.41 |- ~environment $_41 \/
% 0.18/0.41 ~greater_or_equal
% 0.18/0.41 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/
% 0.18/0.41 ~subpopulations first_movers efficient_producers $_41
% 0.18/0.41 (growth_rate efficient_producers
% 0.18/0.41 (critical_point skolemFOFtoCNF_E)) \/
% 0.18/0.41 difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) =
% 0.18/0.41 zero \/
% 0.18/0.41 greater
% 0.18/0.41 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/
% 0.18/0.41 subpopulations first_movers efficient_producers $_41
% 0.18/0.41 (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 |- ~environment $_41 \/
% 0.18/0.41 ~greater_or_equal
% 0.18/0.41 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/
% 0.18/0.41 ~subpopulations first_movers efficient_producers $_41
% 0.18/0.41 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/
% 0.18/0.41 difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) =
% 0.18/0.41 zero \/
% 0.18/0.41 greater
% 0.18/0.41 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/
% 0.18/0.41 subpopulations first_movers efficient_producers $_41
% 0.18/0.41 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 |- ~greater_or_equal $_42 (critical_point skolemFOFtoCNF_E) \/
% 0.18/0.41 ~greater_or_equal (critical_point skolemFOFtoCNF_E) $_42 \/
% 0.18/0.41 subpopulations first_movers efficient_producers skolemFOFtoCNF_E $_42
% 0.18/0.41 |- ~greater_or_equal skolemFOFtoCNF_T (critical_point skolemFOFtoCNF_E) \/
% 0.18/0.41 subpopulations first_movers efficient_producers skolemFOFtoCNF_E
% 0.18/0.41 skolemFOFtoCNF_T
% 0.18/0.41 |- ~environment $_45 \/ ~in_environment $_45 zero \/
% 0.18/0.41 greater zero
% 0.18/0.41 (difference
% 0.18/0.41 (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate efficient_producers
% 0.18/0.41 (critical_point skolemFOFtoCNF_E))) \/
% 0.18/0.41 in_environment $_45
% 0.18/0.41 (difference
% 0.18/0.41 (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate efficient_producers
% 0.18/0.41 (critical_point skolemFOFtoCNF_E))) \/
% 0.18/0.41 selection_favors first_movers efficient_producers
% 0.18/0.41 (critical_point skolemFOFtoCNF_E)
% 0.18/0.41 |- ~environment $_47 \/
% 0.18/0.41 ~greater_or_equal $_50 (appear first_movers skolemFOFtoCNF_E) \/
% 0.18/0.41 ~in_environment $_47 $_50 \/
% 0.18/0.41 ~in_environment $_47 (start_time skolemFOFtoCNF_E) \/
% 0.18/0.41 in_environment $_47 (appear first_movers skolemFOFtoCNF_E)
% 0.18/0.41 |- ~environment $_47 \/
% 0.18/0.41 ~greater_or_equal $_50 (critical_point skolemFOFtoCNF_E) \/
% 0.18/0.41 ~in_environment $_47 $_50 \/
% 0.18/0.41 ~in_environment $_47 (appear efficient_producers skolemFOFtoCNF_E) \/
% 0.18/0.41 in_environment $_47 (critical_point skolemFOFtoCNF_E)
% 0.18/0.41 |- ~environment $_47 \/
% 0.18/0.41 ~greater_or_equal $_50 (critical_point skolemFOFtoCNF_E) \/
% 0.18/0.41 ~in_environment $_47 $_50 \/ ~in_environment $_47 skolemFOFtoCNF_T \/
% 0.18/0.41 in_environment $_47 (critical_point skolemFOFtoCNF_E)
% 0.18/0.41 |- ~environment $_47 \/
% 0.18/0.41 ~greater_or_equal $_50
% 0.18/0.41 (difference
% 0.18/0.41 (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate efficient_producers
% 0.18/0.41 (critical_point skolemFOFtoCNF_E))) \/
% 0.18/0.41 ~in_environment $_47 $_50 \/ ~in_environment $_47 zero \/
% 0.18/0.41 difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) =
% 0.18/0.41 zero \/
% 0.18/0.41 greater
% 0.18/0.41 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/
% 0.18/0.41 in_environment $_47
% 0.18/0.41 (difference
% 0.18/0.41 (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.41 (growth_rate efficient_producers
% 0.18/0.41 (critical_point skolemFOFtoCNF_E)))
% 0.18/0.42 |- ~environment $_47 \/
% 0.18/0.42 ~greater_or_equal $_50
% 0.18/0.42 (difference
% 0.18/0.42 (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 (growth_rate efficient_producers
% 0.18/0.42 (critical_point skolemFOFtoCNF_E))) \/
% 0.18/0.42 ~in_environment $_47 $_50 \/ ~in_environment $_47 zero \/
% 0.18/0.42 greater zero
% 0.18/0.42 (difference
% 0.18/0.42 (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 (growth_rate efficient_producers
% 0.18/0.42 (critical_point skolemFOFtoCNF_E))) \/
% 0.18/0.42 in_environment $_47
% 0.18/0.42 (difference
% 0.18/0.42 (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 (growth_rate efficient_producers
% 0.18/0.42 (critical_point skolemFOFtoCNF_E)))
% 0.18/0.42 |- ~environment $_47 \/
% 0.18/0.42 ~greater_or_equal $_50
% 0.18/0.42 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/
% 0.18/0.42 ~in_environment $_47 $_50 \/
% 0.18/0.42 ~in_environment $_47
% 0.18/0.42 (growth_rate efficient_producers
% 0.18/0.42 (critical_point skolemFOFtoCNF_E)) \/
% 0.18/0.42 difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) =
% 0.18/0.42 zero \/
% 0.18/0.42 greater
% 0.18/0.42 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/
% 0.18/0.42 in_environment $_47
% 0.18/0.42 (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 |- ~environment $_47 \/
% 0.18/0.42 ~greater_or_equal (start_time skolemFOFtoCNF_E) $_49 \/
% 0.18/0.42 ~in_environment $_47 $_49 \/
% 0.18/0.42 ~in_environment $_47 (appear first_movers skolemFOFtoCNF_E) \/
% 0.18/0.42 in_environment $_47 (start_time skolemFOFtoCNF_E)
% 0.18/0.42 |- ~environment $_47 \/
% 0.18/0.42 ~greater_or_equal (appear efficient_producers skolemFOFtoCNF_E) $_49 \/
% 0.18/0.42 ~in_environment $_47 $_49 \/
% 0.18/0.42 ~in_environment $_47 (critical_point skolemFOFtoCNF_E) \/
% 0.18/0.42 in_environment $_47 (appear efficient_producers skolemFOFtoCNF_E)
% 0.18/0.42 |- ~environment $_47 \/
% 0.18/0.42 ~greater_or_equal
% 0.18/0.42 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 $_49 \/ ~in_environment $_47 $_49 \/
% 0.18/0.42 ~in_environment $_47
% 0.18/0.42 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/
% 0.18/0.42 difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) =
% 0.18/0.42 zero \/
% 0.18/0.42 greater
% 0.18/0.42 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/
% 0.18/0.42 in_environment $_47
% 0.18/0.42 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 |- ~greater_or_equal $_48 (critical_point skolemFOFtoCNF_E) \/
% 0.18/0.42 ~greater_or_equal $_50 $_48 \/ ~in_environment skolemFOFtoCNF_E $_50 \/
% 0.18/0.42 in_environment skolemFOFtoCNF_E $_48
% 0.18/0.42 |- ~greater_or_equal $_48 (start_time skolemFOFtoCNF_E) \/
% 0.18/0.42 ~greater_or_equal $_50 $_48 \/ ~in_environment skolemFOFtoCNF_E $_50 \/
% 0.18/0.42 in_environment skolemFOFtoCNF_E $_48
% 0.18/0.42 |- ~greater_or_equal $_48 $_49 \/
% 0.18/0.42 ~greater_or_equal (critical_point skolemFOFtoCNF_E) $_48 \/
% 0.18/0.42 ~in_environment skolemFOFtoCNF_E $_49 \/
% 0.18/0.42 in_environment skolemFOFtoCNF_E $_48
% 0.18/0.42 |- ~greater_or_equal $_48 $_49 \/
% 0.18/0.42 ~greater_or_equal (start_time skolemFOFtoCNF_E) $_48 \/
% 0.18/0.42 ~in_environment skolemFOFtoCNF_E $_49 \/
% 0.18/0.42 in_environment skolemFOFtoCNF_E $_48
% 0.18/0.42 |- ~environment $_47 \/
% 0.18/0.42 ~greater_or_equal (appear efficient_producers skolemFOFtoCNF_E)
% 0.18/0.42 (critical_point skolemFOFtoCNF_E) \/
% 0.18/0.42 ~in_environment $_47 (appear efficient_producers skolemFOFtoCNF_E) \/
% 0.18/0.42 in_environment $_47 (critical_point skolemFOFtoCNF_E)
% 0.18/0.42 |- ~environment $_47 \/
% 0.18/0.42 ~greater_or_equal (appear efficient_producers skolemFOFtoCNF_E)
% 0.18/0.42 (critical_point skolemFOFtoCNF_E) \/
% 0.18/0.42 ~in_environment $_47 (critical_point skolemFOFtoCNF_E) \/
% 0.18/0.42 in_environment $_47 (appear efficient_producers skolemFOFtoCNF_E)
% 0.18/0.42 |- ~greater_or_equal
% 0.18/0.42 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 (critical_point skolemFOFtoCNF_E) \/
% 0.18/0.42 ~in_environment skolemFOFtoCNF_E
% 0.18/0.42 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/
% 0.18/0.42 difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) =
% 0.18/0.42 zero \/
% 0.18/0.42 greater
% 0.18/0.42 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/
% 0.18/0.42 in_environment skolemFOFtoCNF_E
% 0.18/0.42 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 |- ~greater_or_equal $_51 (critical_point skolemFOFtoCNF_E) \/
% 0.18/0.42 ~greater_or_equal (start_time skolemFOFtoCNF_E) $_51 \/
% 0.18/0.42 in_environment skolemFOFtoCNF_E $_51
% 0.18/0.42 |- ~greater_or_equal (start_time skolemFOFtoCNF_E)
% 0.18/0.42 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/
% 0.18/0.42 ~in_environment skolemFOFtoCNF_E
% 0.18/0.42 (growth_rate efficient_producers
% 0.18/0.42 (critical_point skolemFOFtoCNF_E)) \/
% 0.18/0.42 difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) =
% 0.18/0.42 zero \/
% 0.18/0.42 greater
% 0.18/0.42 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/
% 0.18/0.42 in_environment skolemFOFtoCNF_E
% 0.18/0.42 (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 |- ~greater_or_equal $_59 (appear first_movers skolemFOFtoCNF_E) \/
% 0.18/0.42 ~in_environment skolemFOFtoCNF_E $_59 \/
% 0.18/0.42 in_environment skolemFOFtoCNF_E (appear first_movers skolemFOFtoCNF_E)
% 0.18/0.42 |- ~greater_or_equal
% 0.18/0.42 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 (start_time skolemFOFtoCNF_E) \/
% 0.18/0.42 ~in_environment skolemFOFtoCNF_E
% 0.18/0.42 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/
% 0.18/0.42 difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) =
% 0.18/0.42 zero \/
% 0.18/0.42 greater
% 0.18/0.42 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/
% 0.18/0.42 in_environment skolemFOFtoCNF_E
% 0.18/0.42 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 |- ~greater_or_equal $_58 (start_time skolemFOFtoCNF_E) \/
% 0.18/0.42 ~greater_or_equal (critical_point skolemFOFtoCNF_E) $_58 \/
% 0.18/0.42 in_environment skolemFOFtoCNF_E $_58
% 0.18/0.42 |- ~greater_or_equal (critical_point skolemFOFtoCNF_E)
% 0.18/0.42 (appear first_movers skolemFOFtoCNF_E) \/
% 0.18/0.42 in_environment skolemFOFtoCNF_E (appear first_movers skolemFOFtoCNF_E)
% 0.18/0.42 |- ~greater_or_equal skolemFOFtoCNF_T (start_time skolemFOFtoCNF_E) \/
% 0.18/0.42 in_environment skolemFOFtoCNF_E skolemFOFtoCNF_T
% 0.18/0.42 |- ~greater_or_equal (critical_point skolemFOFtoCNF_E)
% 0.18/0.42 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/
% 0.18/0.42 ~in_environment skolemFOFtoCNF_E
% 0.18/0.42 (growth_rate efficient_producers
% 0.18/0.42 (critical_point skolemFOFtoCNF_E)) \/
% 0.18/0.42 difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) =
% 0.18/0.42 zero \/
% 0.18/0.42 greater
% 0.18/0.42 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/
% 0.18/0.42 in_environment skolemFOFtoCNF_E
% 0.18/0.42 (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 |- ~greater_or_equal (appear efficient_producers skolemFOFtoCNF_E) $_63 \/
% 0.18/0.42 ~in_environment skolemFOFtoCNF_E $_63 \/
% 0.18/0.42 in_environment skolemFOFtoCNF_E
% 0.18/0.42 (appear efficient_producers skolemFOFtoCNF_E)
% 0.18/0.42 |- ~greater_or_equal skolemFOFtoCNF_T $_63 \/
% 0.18/0.42 ~in_environment skolemFOFtoCNF_E $_63 \/
% 0.18/0.42 in_environment skolemFOFtoCNF_E skolemFOFtoCNF_T
% 0.18/0.42 |- ~environment $_76 \/
% 0.18/0.42 ~subpopulations first_movers efficient_producers $_76 zero \/
% 0.18/0.42 greater zero
% 0.18/0.42 (difference
% 0.18/0.42 (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 (growth_rate efficient_producers
% 0.18/0.42 (critical_point skolemFOFtoCNF_E))) \/
% 0.18/0.42 selection_favors first_movers efficient_producers
% 0.18/0.42 (critical_point skolemFOFtoCNF_E) \/
% 0.18/0.42 subpopulations first_movers efficient_producers $_76
% 0.18/0.42 (difference
% 0.18/0.42 (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 (growth_rate efficient_producers
% 0.18/0.42 (critical_point skolemFOFtoCNF_E)))
% 0.18/0.42 |- ~environment $_78 \/
% 0.18/0.42 ~greater_or_equal $_81
% 0.18/0.42 (difference
% 0.18/0.42 (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 (growth_rate efficient_producers
% 0.18/0.42 (critical_point skolemFOFtoCNF_E))) \/
% 0.18/0.42 ~subpopulations first_movers efficient_producers $_78 $_81 \/
% 0.18/0.42 ~subpopulations first_movers efficient_producers $_78 zero \/
% 0.18/0.42 difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) =
% 0.18/0.42 zero \/
% 0.18/0.42 greater
% 0.18/0.42 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/
% 0.18/0.42 subpopulations first_movers efficient_producers $_78
% 0.18/0.42 (difference
% 0.18/0.42 (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 (growth_rate efficient_producers
% 0.18/0.42 (critical_point skolemFOFtoCNF_E)))
% 0.18/0.42 |- ~environment $_78 \/
% 0.18/0.42 ~greater_or_equal $_81
% 0.18/0.42 (difference
% 0.18/0.42 (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 (growth_rate efficient_producers
% 0.18/0.42 (critical_point skolemFOFtoCNF_E))) \/
% 0.18/0.42 ~subpopulations first_movers efficient_producers $_78 $_81 \/
% 0.18/0.42 ~subpopulations first_movers efficient_producers $_78 zero \/
% 0.18/0.42 greater zero
% 0.18/0.42 (difference
% 0.18/0.42 (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 (growth_rate efficient_producers
% 0.18/0.42 (critical_point skolemFOFtoCNF_E))) \/
% 0.18/0.42 subpopulations first_movers efficient_producers $_78
% 0.18/0.42 (difference
% 0.18/0.42 (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 (growth_rate efficient_producers
% 0.18/0.42 (critical_point skolemFOFtoCNF_E)))
% 0.18/0.42 |- ~environment $_78 \/
% 0.18/0.42 ~greater_or_equal $_81
% 0.18/0.42 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/
% 0.18/0.42 ~subpopulations first_movers efficient_producers $_78 $_81 \/
% 0.18/0.42 ~subpopulations first_movers efficient_producers $_78
% 0.18/0.42 (growth_rate efficient_producers
% 0.18/0.42 (critical_point skolemFOFtoCNF_E)) \/
% 0.18/0.42 difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) =
% 0.18/0.42 zero \/
% 0.18/0.42 greater
% 0.18/0.42 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/
% 0.18/0.42 subpopulations first_movers efficient_producers $_78
% 0.18/0.42 (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 |- ~environment $_78 \/
% 0.18/0.42 ~greater_or_equal
% 0.18/0.42 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 $_80 \/ ~subpopulations first_movers efficient_producers $_78 $_80 \/
% 0.18/0.42 ~subpopulations first_movers efficient_producers $_78
% 0.18/0.42 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/
% 0.18/0.42 difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) =
% 0.18/0.42 zero \/
% 0.18/0.42 greater
% 0.18/0.42 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/
% 0.18/0.42 subpopulations first_movers efficient_producers $_78
% 0.18/0.42 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 |- ~greater_or_equal $_79 (critical_point skolemFOFtoCNF_E) \/
% 0.18/0.42 ~greater_or_equal $_81 $_79 \/
% 0.18/0.42 ~subpopulations first_movers efficient_producers skolemFOFtoCNF_E
% 0.18/0.42 $_81 \/
% 0.18/0.42 subpopulations first_movers efficient_producers skolemFOFtoCNF_E $_79
% 0.18/0.42 |- ~greater_or_equal $_79 $_80 \/
% 0.18/0.42 ~greater_or_equal (critical_point skolemFOFtoCNF_E) $_79 \/
% 0.18/0.42 ~subpopulations first_movers efficient_producers skolemFOFtoCNF_E
% 0.18/0.42 $_80 \/
% 0.18/0.42 subpopulations first_movers efficient_producers skolemFOFtoCNF_E $_79
% 0.18/0.42 |- ~greater_or_equal
% 0.18/0.42 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 (critical_point skolemFOFtoCNF_E) \/
% 0.18/0.42 ~subpopulations first_movers efficient_producers skolemFOFtoCNF_E
% 0.18/0.42 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/
% 0.18/0.42 difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) =
% 0.18/0.42 zero \/
% 0.18/0.42 greater
% 0.18/0.42 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/
% 0.18/0.42 subpopulations first_movers efficient_producers skolemFOFtoCNF_E
% 0.18/0.42 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 |- ~greater_or_equal (critical_point skolemFOFtoCNF_E)
% 0.18/0.42 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/
% 0.18/0.42 ~subpopulations first_movers efficient_producers skolemFOFtoCNF_E
% 0.18/0.42 (growth_rate efficient_producers
% 0.18/0.42 (critical_point skolemFOFtoCNF_E)) \/
% 0.18/0.42 difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) =
% 0.18/0.42 zero \/
% 0.18/0.42 greater
% 0.18/0.42 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 (growth_rate first_movers (critical_point skolemFOFtoCNF_E)) \/
% 0.18/0.42 subpopulations first_movers efficient_producers skolemFOFtoCNF_E
% 0.18/0.42 (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 |- ~greater_or_equal (appear efficient_producers skolemFOFtoCNF_E) $_85 \/
% 0.18/0.42 ~subpopulations first_movers efficient_producers skolemFOFtoCNF_E
% 0.18/0.42 $_85 \/
% 0.18/0.42 subpopulations first_movers efficient_producers skolemFOFtoCNF_E
% 0.18/0.42 (appear efficient_producers skolemFOFtoCNF_E)
% 0.18/0.42 |- ~greater_or_equal (appear efficient_producers skolemFOFtoCNF_E)
% 0.18/0.42 (critical_point skolemFOFtoCNF_E) \/
% 0.18/0.42 subpopulations first_movers efficient_producers skolemFOFtoCNF_E
% 0.18/0.42 (appear efficient_producers skolemFOFtoCNF_E)
% 0.18/0.42 |- ~environment $_93 \/ ~greater $_95 (critical_point skolemFOFtoCNF_E) \/
% 0.18/0.42 ~greater_or_equal (critical_point skolemFOFtoCNF_E)
% 0.18/0.42 (appear efficient_producers $_93) \/
% 0.18/0.42 ~greater_or_equal
% 0.18/0.42 (difference (growth_rate first_movers $_95)
% 0.18/0.42 (growth_rate efficient_producers $_95)) zero \/
% 0.18/0.42 ~in_environment $_93 $_95 \/
% 0.18/0.42 decreases
% 0.18/0.42 (difference
% 0.18/0.42 (disbanding_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 (disbanding_rate efficient_producers
% 0.18/0.42 (critical_point skolemFOFtoCNF_E))) \/
% 0.18/0.42 greater
% 0.18/0.42 (difference
% 0.18/0.42 (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 (growth_rate efficient_producers
% 0.18/0.42 (critical_point skolemFOFtoCNF_E))) zero
% 0.18/0.42 |- ~decreases
% 0.18/0.42 (difference (growth_rate first_movers $_94)
% 0.18/0.42 (growth_rate efficient_producers $_94)) \/ ~environment $_93 \/
% 0.18/0.42 ~greater (critical_point skolemFOFtoCNF_E) $_94 \/
% 0.18/0.42 ~greater_or_equal $_94 (appear efficient_producers $_93) \/
% 0.18/0.42 ~in_environment $_93 (critical_point skolemFOFtoCNF_E) \/
% 0.18/0.42 difference (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E)) =
% 0.18/0.42 zero \/
% 0.18/0.42 greater
% 0.18/0.42 (difference (growth_rate first_movers $_94)
% 0.18/0.42 (growth_rate efficient_producers $_94)) zero \/
% 0.18/0.42 greater
% 0.18/0.42 (growth_rate efficient_producers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 |- ~decreases
% 0.18/0.42 (difference (growth_rate first_movers $_94)
% 0.18/0.42 (growth_rate efficient_producers $_94)) \/ ~environment $_93 \/
% 0.18/0.42 ~greater (critical_point skolemFOFtoCNF_E) $_94 \/
% 0.18/0.42 ~greater_or_equal $_94 (appear efficient_producers $_93) \/
% 0.18/0.42 ~in_environment $_93 (critical_point skolemFOFtoCNF_E) \/
% 0.18/0.42 greater
% 0.18/0.42 (difference (growth_rate first_movers $_94)
% 0.18/0.42 (growth_rate efficient_producers $_94)) zero \/
% 0.18/0.42 greater zero
% 0.18/0.42 (difference
% 0.18/0.42 (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 (growth_rate efficient_producers
% 0.18/0.42 (critical_point skolemFOFtoCNF_E)))
% 0.18/0.42 |- ~decreases
% 0.18/0.42 (difference (growth_rate first_movers $_94)
% 0.18/0.42 (growth_rate efficient_producers $_94)) \/ ~environment $_93 \/
% 0.18/0.42 ~greater (critical_point skolemFOFtoCNF_E) $_94 \/
% 0.18/0.42 ~greater_or_equal $_94 (appear efficient_producers $_93) \/
% 0.18/0.42 ~in_environment $_93 (critical_point skolemFOFtoCNF_E) \/
% 0.18/0.42 greater
% 0.18/0.42 (difference (growth_rate first_movers $_94)
% 0.18/0.42 (growth_rate efficient_producers $_94)) zero \/
% 0.18/0.42 selection_favors first_movers efficient_producers
% 0.18/0.42 (critical_point skolemFOFtoCNF_E)
% 0.18/0.42 |- ~decreases zero \/ ~environment $_93 \/
% 0.18/0.42 ~greater $_95 (critical_point skolemFOFtoCNF_E) \/
% 0.18/0.42 ~greater_or_equal (critical_point skolemFOFtoCNF_E)
% 0.18/0.42 (appear efficient_producers $_93) \/
% 0.18/0.42 ~greater_or_equal
% 0.18/0.42 (difference (growth_rate first_movers $_95)
% 0.18/0.42 (growth_rate efficient_producers $_95)) zero \/
% 0.18/0.42 ~in_environment $_93 $_95 \/
% 0.18/0.42 greater
% 0.18/0.42 (difference
% 0.18/0.42 (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 (growth_rate efficient_producers
% 0.18/0.42 (critical_point skolemFOFtoCNF_E))) zero \/
% 0.18/0.42 selection_favors first_movers efficient_producers
% 0.18/0.42 (critical_point skolemFOFtoCNF_E)
% 0.18/0.42 |- ~decreases zero \/
% 0.18/0.42 ~greater (critical_point skolemFOFtoCNF_E)
% 0.18/0.42 (critical_point skolemFOFtoCNF_E) \/
% 0.18/0.42 greater
% 0.18/0.42 (difference
% 0.18/0.42 (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 (growth_rate efficient_producers
% 0.18/0.42 (critical_point skolemFOFtoCNF_E))) zero \/
% 0.18/0.42 selection_favors first_movers efficient_producers
% 0.18/0.42 (critical_point skolemFOFtoCNF_E)
% 0.18/0.42 |- ~greater (critical_point skolemFOFtoCNF_E)
% 0.18/0.42 (critical_point skolemFOFtoCNF_E) \/
% 0.18/0.42 decreases
% 0.18/0.42 (difference
% 0.18/0.42 (disbanding_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 (disbanding_rate efficient_producers
% 0.18/0.42 (critical_point skolemFOFtoCNF_E))) \/
% 0.18/0.42 greater
% 0.18/0.42 (difference
% 0.18/0.42 (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 (growth_rate efficient_producers
% 0.18/0.42 (critical_point skolemFOFtoCNF_E))) zero \/
% 0.18/0.42 selection_favors first_movers efficient_producers
% 0.18/0.42 (critical_point skolemFOFtoCNF_E)
% 0.18/0.42 |- ~greater (critical_point skolemFOFtoCNF_E)
% 0.18/0.42 (critical_point skolemFOFtoCNF_E) \/
% 0.18/0.42 decreases
% 0.18/0.42 (difference
% 0.18/0.42 (disbanding_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 (disbanding_rate efficient_producers
% 0.18/0.42 (critical_point skolemFOFtoCNF_E))) \/
% 0.18/0.42 greater
% 0.18/0.42 (difference
% 0.18/0.42 (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 (growth_rate efficient_producers
% 0.18/0.42 (critical_point skolemFOFtoCNF_E))) zero \/
% 0.18/0.42 greater zero
% 0.18/0.42 (difference
% 0.18/0.42 (growth_rate first_movers (critical_point skolemFOFtoCNF_E))
% 0.18/0.42 (growth_rate efficient_producers
% 0.18/0.42 (critical_point skolemFOFtoCNF_E)))
% 0.18/0.42 SZS output end Saturation for /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.18/0.42
%------------------------------------------------------------------------------