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.4.0.
% Transfm : none
% Format : tptp:raw
% Command : metis --show proof --show saturation %s
% Computer : n021.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 : Satisfiable 0.18s 0.39s
% Output : Saturation 0.18s
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.11 % Problem : MGT034-1 : TPTP v8.1.0. Released v2.4.0.
% 0.11/0.12 % Command : metis --show proof --show saturation %s
% 0.11/0.32 % Computer : n021.cluster.edu
% 0.11/0.32 % Model : x86_64 x86_64
% 0.11/0.32 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.11/0.32 % Memory : 8042.1875MB
% 0.11/0.32 % OS : Linux 3.10.0-693.el7.x86_64
% 0.11/0.32 % CPULimit : 300
% 0.11/0.33 % WCLimit : 600
% 0.11/0.33 % DateTime : Thu Jun 9 08:01:53 EDT 2022
% 0.11/0.33 % CPUTime :
% 0.18/0.33 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% 0.18/0.39 % SZS status Satisfiable for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.18/0.39
% 0.18/0.39 SZS output start Saturation for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.18/0.40 |- ~environment $A \/ ~greater (growth_rate $C $D) (growth_rate $B $D) \/
% 0.18/0.40 ~subpopulations $B $C $A $D \/ selection_favors $C $B $D
% 0.18/0.40 |- ~decreases
% 0.18/0.40 (difference (disbanding_rate first_movers $B)
% 0.18/0.40 (disbanding_rate efficient_producers $B)) \/ ~environment $A \/
% 0.18/0.40 ~subpopulations first_movers efficient_producers $A $B
% 0.18/0.40 |- ~environment $A \/ ~in_environment $A (critical_point $A) \/
% 0.18/0.40 subpopulations first_movers efficient_producers $A (critical_point $A)
% 0.18/0.40 |- ~environment $A \/ ~in_environment $A (appear efficient_producers $A) \/
% 0.18/0.40 subpopulations first_movers efficient_producers $A
% 0.18/0.40 (appear efficient_producers $A)
% 0.18/0.40 |- ~decreases
% 0.18/0.40 (difference (growth_rate first_movers $C)
% 0.18/0.40 (growth_rate efficient_producers $C)) \/ ~environment $A \/
% 0.18/0.40 ~greater $B $C \/
% 0.18/0.40 ~greater_or_equal $C (appear efficient_producers $A) \/
% 0.18/0.40 ~greater_or_equal
% 0.18/0.40 (difference (growth_rate first_movers $B)
% 0.18/0.40 (growth_rate efficient_producers $B)) zero \/
% 0.18/0.40 ~in_environment $A $B \/
% 0.18/0.40 greater
% 0.18/0.40 (difference (growth_rate first_movers $C)
% 0.18/0.40 (growth_rate efficient_producers $C)) zero
% 0.18/0.40 |- ~decreases
% 0.18/0.40 (difference (founding_rate first_movers $A)
% 0.18/0.40 (founding_rate efficient_producers $A)) \/
% 0.18/0.40 decreases
% 0.18/0.40 (difference (disbanding_rate first_movers $A)
% 0.18/0.40 (disbanding_rate efficient_producers $A)) \/
% 0.18/0.40 decreases
% 0.18/0.40 (difference (growth_rate first_movers $A)
% 0.18/0.40 (growth_rate efficient_producers $A))
% 0.18/0.40 |- ~greater zero
% 0.18/0.40 (difference (growth_rate first_movers $A)
% 0.18/0.40 (growth_rate efficient_producers $A)) \/
% 0.18/0.40 greater (growth_rate efficient_producers $A)
% 0.18/0.40 (growth_rate first_movers $A)
% 0.18/0.40 |- ~greater (growth_rate efficient_producers $A)
% 0.18/0.40 (growth_rate first_movers $A) \/
% 0.18/0.40 greater zero
% 0.18/0.40 (difference (growth_rate first_movers $A)
% 0.18/0.40 (growth_rate efficient_producers $A))
% 0.18/0.40 |- ~greater
% 0.18/0.40 (difference (growth_rate first_movers $A)
% 0.18/0.40 (growth_rate efficient_producers $A)) zero \/
% 0.18/0.40 greater (growth_rate first_movers $A)
% 0.18/0.40 (growth_rate efficient_producers $A)
% 0.18/0.40 |- ~greater (growth_rate first_movers $A)
% 0.18/0.40 (growth_rate efficient_producers $A) \/
% 0.18/0.40 greater
% 0.18/0.40 (difference (growth_rate first_movers $A)
% 0.18/0.40 (growth_rate efficient_producers $A)) zero
% 0.18/0.40 |- ~environment $A \/ ~greater_or_equal $C $D \/ ~greater_or_equal $D $B \/
% 0.18/0.40 ~in_environment $A $B \/ ~in_environment $A $C \/ in_environment $A $D
% 0.18/0.40 |- ~environment $A \/ in_environment $A (start_time $A)
% 0.18/0.40 |- ~environment $A \/
% 0.18/0.40 greater_or_equal (appear first_movers $A) (start_time $A)
% 0.18/0.40 |- ~environment $A \/
% 0.18/0.40 ~subpopulations first_movers efficient_producers $A $B \/
% 0.18/0.40 subpopulations efficient_producers first_movers $A $B
% 0.18/0.40 |- ~environment $A \/
% 0.18/0.40 ~subpopulations first_movers efficient_producers $A $B \/
% 0.18/0.40 greater_or_equal $B (appear efficient_producers $A)
% 0.18/0.40 |- ~greater_or_equal $A $B \/ $A = $B \/ greater $A $B
% 0.18/0.40 |- ~greater $A $B \/ greater_or_equal $A $B
% 0.18/0.40 |- greater_or_equal $B $B
% 0.18/0.40 |- ~environment $A \/
% 0.18/0.40 ~subpopulations first_movers efficient_producers $A $B \/
% 0.18/0.40 greater zero
% 0.18/0.40 (difference (growth_rate first_movers $B)
% 0.18/0.40 (growth_rate efficient_producers $B)) \/
% 0.18/0.40 greater_or_equal
% 0.18/0.40 (difference (growth_rate first_movers $B)
% 0.18/0.40 (growth_rate efficient_producers $B)) zero
% 0.18/0.40 |- ~environment $A \/ ~greater_or_equal $C $D \/ ~greater_or_equal $D $B \/
% 0.18/0.40 ~subpopulations first_movers efficient_producers $A $B \/
% 0.18/0.40 ~subpopulations first_movers efficient_producers $A $C \/
% 0.18/0.40 subpopulations first_movers efficient_producers $A $D
% 0.18/0.40 |- ~environment $A \/
% 0.18/0.40 ~greater (growth_rate efficient_producers (critical_point $A))
% 0.18/0.40 (growth_rate first_movers (critical_point $A))
% 0.18/0.40 |- ~environment $A \/ ~greater $C (critical_point $A) \/
% 0.18/0.40 ~subpopulations first_movers efficient_producers $A $C \/
% 0.18/0.40 greater (growth_rate efficient_producers $C)
% 0.18/0.40 (growth_rate first_movers $C)
% 0.18/0.40 |- ~environment $A \/
% 0.18/0.40 ~subpopulations first_movers efficient_producers $A $B \/
% 0.18/0.40 decreases
% 0.18/0.40 (difference (founding_rate first_movers $B)
% 0.18/0.40 (founding_rate efficient_producers $B))
% 0.18/0.40 |- ~environment $A \/ ~greater_or_equal $C $D \/ ~greater_or_equal $D $C \/
% 0.18/0.40 ~in_environment $A $C \/ in_environment $A $D
% 0.18/0.40 |- ~environment $A \/ ~greater_or_equal $C $D \/ ~greater_or_equal $D $C \/
% 0.18/0.40 ~subpopulations first_movers efficient_producers $A $C \/
% 0.18/0.40 subpopulations first_movers efficient_producers $A $D
% 0.18/0.40 |- environment sk1
% 0.18/0.40 |- in_environment sk1 (critical_point sk1)
% 0.18/0.40 |- greater_or_equal sk2 (appear efficient_producers sk1)
% 0.18/0.40 |- greater (critical_point sk1) sk2
% 0.18/0.40 |- ~selection_favors first_movers efficient_producers sk2
% 0.18/0.40 |- in_environment sk1 (start_time sk1)
% 0.18/0.40 |- greater_or_equal (appear first_movers sk1) (start_time sk1)
% 0.18/0.40 |- greater_or_equal (critical_point sk1) sk2
% 0.18/0.40 |- subpopulations first_movers efficient_producers sk1 (critical_point sk1)
% 0.18/0.40 |- appear first_movers sk1 = start_time sk1 \/
% 0.18/0.40 greater (appear first_movers sk1) (start_time sk1)
% 0.18/0.40 |- sk2 = appear efficient_producers sk1 \/
% 0.18/0.40 greater sk2 (appear efficient_producers sk1)
% 0.18/0.40 |- subpopulations efficient_producers first_movers sk1 (critical_point sk1)
% 0.18/0.40 |- greater_or_equal (critical_point sk1) (appear efficient_producers sk1)
% 0.18/0.40 |- critical_point sk1 = appear efficient_producers sk1 \/
% 0.18/0.40 greater (critical_point sk1) (appear efficient_producers sk1)
% 0.18/0.40 |- decreases
% 0.18/0.40 (difference (founding_rate first_movers (critical_point sk1))
% 0.18/0.40 (founding_rate efficient_producers (critical_point sk1)))
% 0.18/0.40 |- decreases
% 0.18/0.40 (difference (disbanding_rate first_movers (critical_point sk1))
% 0.18/0.40 (disbanding_rate efficient_producers (critical_point sk1))) \/
% 0.18/0.40 decreases
% 0.18/0.40 (difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.40 (growth_rate efficient_producers (critical_point sk1)))
% 0.18/0.40 |- ~greater (critical_point sk1) (critical_point sk1) \/
% 0.18/0.40 greater (growth_rate efficient_producers (critical_point sk1))
% 0.18/0.40 (growth_rate first_movers (critical_point sk1))
% 0.18/0.40 |- ~environment $_25 \/
% 0.18/0.40 ~greater_or_equal (start_time sk1) (appear first_movers sk1) \/
% 0.18/0.40 ~in_environment $_25 (appear first_movers sk1) \/
% 0.18/0.40 in_environment $_25 (start_time sk1)
% 0.18/0.40 |- ~environment $_25 \/
% 0.18/0.40 ~greater_or_equal (start_time sk1) (appear first_movers sk1) \/
% 0.18/0.40 ~in_environment $_25 (start_time sk1) \/
% 0.18/0.40 in_environment $_25 (appear first_movers sk1)
% 0.18/0.40 |- ~environment $_25 \/ ~greater_or_equal sk2 (critical_point sk1) \/
% 0.18/0.40 ~in_environment $_25 sk2 \/ in_environment $_25 (critical_point sk1)
% 0.18/0.40 |- ~greater_or_equal $_27 (critical_point sk1) \/
% 0.18/0.40 ~greater_or_equal (critical_point sk1) $_27 \/ in_environment sk1 $_27
% 0.18/0.40 |- ~greater_or_equal $_27 (start_time sk1) \/
% 0.18/0.40 ~greater_or_equal (start_time sk1) $_27 \/ in_environment sk1 $_27
% 0.18/0.40 |- ~greater_or_equal sk2 (critical_point sk1) \/ in_environment sk1 sk2
% 0.18/0.40 |- ~greater_or_equal (start_time sk1) (appear first_movers sk1) \/
% 0.18/0.40 in_environment sk1 (appear first_movers sk1)
% 0.18/0.40 |- greater zero
% 0.18/0.40 (difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.40 (growth_rate efficient_producers (critical_point sk1))) \/
% 0.18/0.40 greater_or_equal
% 0.18/0.40 (difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.40 (growth_rate efficient_producers (critical_point sk1))) zero
% 0.18/0.40 |- ~environment $A \/
% 0.18/0.40 ~greater_or_equal zero
% 0.18/0.40 (difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.40 (growth_rate efficient_producers (critical_point sk1))) \/
% 0.18/0.40 ~in_environment $A zero \/
% 0.18/0.40 greater zero
% 0.18/0.40 (difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.40 (growth_rate efficient_producers (critical_point sk1))) \/
% 0.18/0.40 in_environment $A
% 0.18/0.40 (difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.40 (growth_rate efficient_producers (critical_point sk1)))
% 0.18/0.40 |- difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.40 (growth_rate efficient_producers (critical_point sk1)) = zero \/
% 0.18/0.40 greater
% 0.18/0.40 (difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.40 (growth_rate efficient_producers (critical_point sk1))) zero \/
% 0.18/0.40 greater zero
% 0.18/0.40 (difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.40 (growth_rate efficient_producers (critical_point sk1)))
% 0.18/0.40 |- difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.40 (growth_rate efficient_producers (critical_point sk1)) = zero \/
% 0.18/0.40 greater (growth_rate first_movers (critical_point sk1))
% 0.18/0.40 (growth_rate efficient_producers (critical_point sk1)) \/
% 0.18/0.40 greater zero
% 0.18/0.40 (difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.40 (growth_rate efficient_producers (critical_point sk1)))
% 0.18/0.40 |- difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.40 (growth_rate efficient_producers (critical_point sk1)) = zero \/
% 0.18/0.40 greater (growth_rate first_movers (critical_point sk1))
% 0.18/0.40 (growth_rate efficient_producers (critical_point sk1)) \/
% 0.18/0.40 greater_or_equal zero
% 0.18/0.40 (difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.40 (growth_rate efficient_producers (critical_point sk1)))
% 0.18/0.40 |- difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.40 (growth_rate efficient_producers (critical_point sk1)) = zero \/
% 0.18/0.40 greater (growth_rate efficient_producers (critical_point sk1))
% 0.18/0.40 (growth_rate first_movers (critical_point sk1)) \/
% 0.18/0.40 greater (growth_rate first_movers (critical_point sk1))
% 0.18/0.40 (growth_rate efficient_producers (critical_point sk1))
% 0.18/0.40 |- difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.40 (growth_rate efficient_producers (critical_point sk1)) = zero \/
% 0.18/0.40 greater (growth_rate efficient_producers (critical_point sk1))
% 0.18/0.40 (growth_rate first_movers (critical_point sk1)) \/
% 0.18/0.40 greater_or_equal (growth_rate first_movers (critical_point sk1))
% 0.18/0.40 (growth_rate efficient_producers (critical_point sk1))
% 0.18/0.40 |- difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.40 (growth_rate efficient_producers (critical_point sk1)) = zero \/
% 0.18/0.40 greater
% 0.18/0.40 (difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.40 (growth_rate efficient_producers (critical_point sk1))) zero \/
% 0.18/0.40 greater (growth_rate efficient_producers (critical_point sk1))
% 0.18/0.40 (growth_rate first_movers (critical_point sk1))
% 0.18/0.40 |- ~environment $A \/
% 0.18/0.40 ~greater_or_equal (growth_rate efficient_producers (critical_point sk1))
% 0.18/0.40 (growth_rate first_movers (critical_point sk1)) \/
% 0.18/0.40 ~in_environment $A
% 0.18/0.40 (growth_rate efficient_producers (critical_point sk1)) \/
% 0.18/0.40 difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.40 (growth_rate efficient_producers (critical_point sk1)) = zero \/
% 0.18/0.40 greater (growth_rate efficient_producers (critical_point sk1))
% 0.18/0.40 (growth_rate first_movers (critical_point sk1)) \/
% 0.18/0.40 in_environment $A (growth_rate first_movers (critical_point sk1))
% 0.18/0.40 |- ~environment $A \/
% 0.18/0.40 ~greater_or_equal (growth_rate efficient_producers (critical_point sk1))
% 0.18/0.40 (growth_rate first_movers (critical_point sk1)) \/
% 0.18/0.40 ~in_environment $A (growth_rate first_movers (critical_point sk1)) \/
% 0.18/0.40 difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.40 (growth_rate efficient_producers (critical_point sk1)) = zero \/
% 0.18/0.40 greater (growth_rate efficient_producers (critical_point sk1))
% 0.18/0.40 (growth_rate first_movers (critical_point sk1)) \/
% 0.18/0.40 in_environment $A (growth_rate efficient_producers (critical_point sk1))
% 0.18/0.40 |- difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.40 (growth_rate efficient_producers (critical_point sk1)) = zero \/
% 0.18/0.40 greater (growth_rate efficient_producers (critical_point sk1))
% 0.18/0.40 (growth_rate first_movers (critical_point sk1)) \/
% 0.18/0.40 greater_or_equal
% 0.18/0.40 (difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.40 (growth_rate efficient_producers (critical_point sk1))) zero
% 0.18/0.40 |- ~environment $A \/
% 0.18/0.40 ~greater_or_equal zero
% 0.18/0.40 (difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.40 (growth_rate efficient_producers (critical_point sk1))) \/
% 0.18/0.40 ~in_environment $A zero \/
% 0.18/0.40 difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.40 (growth_rate efficient_producers (critical_point sk1)) = zero \/
% 0.18/0.40 greater (growth_rate efficient_producers (critical_point sk1))
% 0.18/0.40 (growth_rate first_movers (critical_point sk1)) \/
% 0.18/0.40 in_environment $A
% 0.18/0.40 (difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.40 (growth_rate efficient_producers (critical_point sk1)))
% 0.18/0.40 |- difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.40 (growth_rate efficient_producers (critical_point sk1)) = zero \/
% 0.18/0.40 selection_favors first_movers efficient_producers (critical_point sk1)
% 0.18/0.40 |- ~greater zero zero \/
% 0.18/0.40 greater (growth_rate first_movers (critical_point sk1))
% 0.18/0.40 (growth_rate efficient_producers (critical_point sk1)) \/
% 0.18/0.40 selection_favors first_movers efficient_producers (critical_point sk1)
% 0.18/0.41 |- ~greater zero zero \/
% 0.18/0.41 greater (growth_rate efficient_producers (critical_point sk1))
% 0.18/0.41 (growth_rate first_movers (critical_point sk1)) \/
% 0.18/0.41 selection_favors first_movers efficient_producers (critical_point sk1)
% 0.18/0.41 |- decreases zero \/
% 0.18/0.41 selection_favors first_movers efficient_producers (critical_point sk1)
% 0.18/0.41 |- ~environment $_41 \/
% 0.18/0.41 ~greater_or_equal (growth_rate efficient_producers (critical_point sk1))
% 0.18/0.41 (growth_rate first_movers (critical_point sk1)) \/
% 0.18/0.41 ~subpopulations first_movers efficient_producers $_41
% 0.18/0.41 (growth_rate first_movers (critical_point sk1)) \/
% 0.18/0.41 difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.41 (growth_rate efficient_producers (critical_point sk1)) = zero \/
% 0.18/0.41 greater (growth_rate efficient_producers (critical_point sk1))
% 0.18/0.41 (growth_rate first_movers (critical_point sk1)) \/
% 0.18/0.41 subpopulations first_movers efficient_producers $_41
% 0.18/0.41 (growth_rate efficient_producers (critical_point sk1))
% 0.18/0.41 |- ~environment $_41 \/
% 0.18/0.41 ~greater_or_equal zero
% 0.18/0.41 (difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.41 (growth_rate efficient_producers (critical_point sk1))) \/
% 0.18/0.41 ~subpopulations first_movers efficient_producers $_41 zero \/
% 0.18/0.41 difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.41 (growth_rate efficient_producers (critical_point sk1)) = zero \/
% 0.18/0.41 greater (growth_rate efficient_producers (critical_point sk1))
% 0.18/0.41 (growth_rate first_movers (critical_point sk1)) \/
% 0.18/0.41 subpopulations first_movers efficient_producers $_41
% 0.18/0.41 (difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.41 (growth_rate efficient_producers (critical_point sk1)))
% 0.18/0.41 |- ~environment $_41 \/
% 0.18/0.41 ~greater_or_equal zero
% 0.18/0.41 (difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.41 (growth_rate efficient_producers (critical_point sk1))) \/
% 0.18/0.41 ~subpopulations first_movers efficient_producers $_41 zero \/
% 0.18/0.41 greater zero
% 0.18/0.41 (difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.41 (growth_rate efficient_producers (critical_point sk1))) \/
% 0.18/0.41 subpopulations first_movers efficient_producers $_41
% 0.18/0.41 (difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.41 (growth_rate efficient_producers (critical_point sk1)))
% 0.18/0.41 |- ~environment $_41 \/
% 0.18/0.41 ~greater_or_equal (growth_rate efficient_producers (critical_point sk1))
% 0.18/0.41 (growth_rate first_movers (critical_point sk1)) \/
% 0.18/0.41 ~subpopulations first_movers efficient_producers $_41
% 0.18/0.41 (growth_rate efficient_producers (critical_point sk1)) \/
% 0.18/0.41 difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.41 (growth_rate efficient_producers (critical_point sk1)) = zero \/
% 0.18/0.41 greater (growth_rate efficient_producers (critical_point sk1))
% 0.18/0.41 (growth_rate first_movers (critical_point sk1)) \/
% 0.18/0.41 subpopulations first_movers efficient_producers $_41
% 0.18/0.41 (growth_rate first_movers (critical_point sk1))
% 0.18/0.41 |- ~greater_or_equal $_43 (critical_point sk1) \/
% 0.18/0.41 ~greater_or_equal (critical_point sk1) $_43 \/
% 0.18/0.41 subpopulations first_movers efficient_producers sk1 $_43
% 0.18/0.41 |- ~greater_or_equal sk2 (critical_point sk1) \/
% 0.18/0.41 subpopulations first_movers efficient_producers sk1 sk2
% 0.18/0.41 |- ~environment $_45 \/ ~in_environment $_45 zero \/
% 0.18/0.41 greater zero
% 0.18/0.41 (difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.41 (growth_rate efficient_producers (critical_point sk1))) \/
% 0.18/0.41 in_environment $_45
% 0.18/0.41 (difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.41 (growth_rate efficient_producers (critical_point sk1))) \/
% 0.18/0.41 selection_favors first_movers efficient_producers (critical_point sk1)
% 0.18/0.41 |- ~environment $_47 \/ ~greater_or_equal (start_time sk1) $_48 \/
% 0.18/0.41 ~in_environment $_47 $_48 \/
% 0.18/0.41 ~in_environment $_47 (appear first_movers sk1) \/
% 0.18/0.41 in_environment $_47 (start_time sk1)
% 0.18/0.41 |- ~environment $_47 \/
% 0.18/0.41 ~greater_or_equal (appear efficient_producers sk1) $_48 \/
% 0.18/0.41 ~in_environment $_47 $_48 \/
% 0.18/0.41 ~in_environment $_47 (critical_point sk1) \/
% 0.18/0.41 in_environment $_47 (appear efficient_producers sk1)
% 0.18/0.41 |- ~environment $_47 \/
% 0.18/0.41 ~greater_or_equal (growth_rate efficient_producers (critical_point sk1))
% 0.18/0.41 $_48 \/ ~in_environment $_47 $_48 \/
% 0.18/0.41 ~in_environment $_47 (growth_rate first_movers (critical_point sk1)) \/
% 0.18/0.41 difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.41 (growth_rate efficient_producers (critical_point sk1)) = zero \/
% 0.18/0.41 greater (growth_rate efficient_producers (critical_point sk1))
% 0.18/0.41 (growth_rate first_movers (critical_point sk1)) \/
% 0.18/0.41 in_environment $_47
% 0.18/0.41 (growth_rate efficient_producers (critical_point sk1))
% 0.18/0.41 |- ~environment $_47 \/ ~greater_or_equal $_49 (appear first_movers sk1) \/
% 0.18/0.41 ~in_environment $_47 $_49 \/ ~in_environment $_47 (start_time sk1) \/
% 0.18/0.41 in_environment $_47 (appear first_movers sk1)
% 0.18/0.41 |- ~environment $_47 \/ ~greater_or_equal $_49 (critical_point sk1) \/
% 0.18/0.41 ~in_environment $_47 $_49 \/
% 0.18/0.41 ~in_environment $_47 (appear efficient_producers sk1) \/
% 0.18/0.41 in_environment $_47 (critical_point sk1)
% 0.18/0.41 |- ~environment $_47 \/ ~greater_or_equal $_49 (critical_point sk1) \/
% 0.18/0.41 ~in_environment $_47 $_49 \/ ~in_environment $_47 sk2 \/
% 0.18/0.41 in_environment $_47 (critical_point sk1)
% 0.18/0.41 |- ~environment $_47 \/
% 0.18/0.41 ~greater_or_equal $_49
% 0.18/0.41 (difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.41 (growth_rate efficient_producers (critical_point sk1))) \/
% 0.18/0.41 ~in_environment $_47 $_49 \/ ~in_environment $_47 zero \/
% 0.18/0.41 difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.41 (growth_rate efficient_producers (critical_point sk1)) = zero \/
% 0.18/0.41 greater (growth_rate efficient_producers (critical_point sk1))
% 0.18/0.41 (growth_rate first_movers (critical_point sk1)) \/
% 0.18/0.41 in_environment $_47
% 0.18/0.41 (difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.41 (growth_rate efficient_producers (critical_point sk1)))
% 0.18/0.41 |- ~environment $_47 \/
% 0.18/0.41 ~greater_or_equal $_49
% 0.18/0.41 (difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.41 (growth_rate efficient_producers (critical_point sk1))) \/
% 0.18/0.41 ~in_environment $_47 $_49 \/ ~in_environment $_47 zero \/
% 0.18/0.41 greater zero
% 0.18/0.41 (difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.41 (growth_rate efficient_producers (critical_point sk1))) \/
% 0.18/0.41 in_environment $_47
% 0.18/0.41 (difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.41 (growth_rate efficient_producers (critical_point sk1)))
% 0.18/0.41 |- ~environment $_47 \/
% 0.18/0.41 ~greater_or_equal $_49
% 0.18/0.41 (growth_rate first_movers (critical_point sk1)) \/
% 0.18/0.41 ~in_environment $_47 $_49 \/
% 0.18/0.41 ~in_environment $_47
% 0.18/0.41 (growth_rate efficient_producers (critical_point sk1)) \/
% 0.18/0.41 difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.41 (growth_rate efficient_producers (critical_point sk1)) = zero \/
% 0.18/0.41 greater (growth_rate efficient_producers (critical_point sk1))
% 0.18/0.41 (growth_rate first_movers (critical_point sk1)) \/
% 0.18/0.41 in_environment $_47 (growth_rate first_movers (critical_point sk1))
% 0.18/0.41 |- ~greater_or_equal $_49 $_50 \/
% 0.18/0.41 ~greater_or_equal $_50 (critical_point sk1) \/
% 0.18/0.41 ~in_environment sk1 $_49 \/ in_environment sk1 $_50
% 0.18/0.41 |- ~greater_or_equal $_49 $_50 \/
% 0.18/0.41 ~greater_or_equal $_50 (start_time sk1) \/ ~in_environment sk1 $_49 \/
% 0.18/0.41 in_environment sk1 $_50
% 0.18/0.41 |- ~greater_or_equal $_50 $_48 \/
% 0.18/0.41 ~greater_or_equal (critical_point sk1) $_50 \/
% 0.18/0.41 ~in_environment sk1 $_48 \/ in_environment sk1 $_50
% 0.18/0.41 |- ~greater_or_equal $_50 $_48 \/
% 0.18/0.41 ~greater_or_equal (start_time sk1) $_50 \/ ~in_environment sk1 $_48 \/
% 0.18/0.41 in_environment sk1 $_50
% 0.18/0.41 |- ~environment $_47 \/
% 0.18/0.41 ~greater_or_equal (appear efficient_producers sk1)
% 0.18/0.41 (critical_point sk1) \/ ~in_environment $_47 (critical_point sk1) \/
% 0.18/0.41 in_environment $_47 (appear efficient_producers sk1)
% 0.18/0.41 |- ~environment $_47 \/
% 0.18/0.41 ~greater_or_equal (appear efficient_producers sk1)
% 0.18/0.41 (critical_point sk1) \/
% 0.18/0.41 ~in_environment $_47 (appear efficient_producers sk1) \/
% 0.18/0.41 in_environment $_47 (critical_point sk1)
% 0.18/0.41 |- ~greater_or_equal (growth_rate efficient_producers (critical_point sk1))
% 0.18/0.41 (critical_point sk1) \/
% 0.18/0.41 ~in_environment sk1 (growth_rate first_movers (critical_point sk1)) \/
% 0.18/0.41 difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.41 (growth_rate efficient_producers (critical_point sk1)) = zero \/
% 0.18/0.41 greater (growth_rate efficient_producers (critical_point sk1))
% 0.18/0.41 (growth_rate first_movers (critical_point sk1)) \/
% 0.18/0.41 in_environment sk1
% 0.18/0.41 (growth_rate efficient_producers (critical_point sk1))
% 0.18/0.41 |- ~greater_or_equal $_54 (critical_point sk1) \/
% 0.18/0.41 ~greater_or_equal (start_time sk1) $_54 \/ in_environment sk1 $_54
% 0.18/0.41 |- ~greater_or_equal (growth_rate efficient_producers (critical_point sk1))
% 0.18/0.41 (start_time sk1) \/
% 0.18/0.41 ~in_environment sk1 (growth_rate first_movers (critical_point sk1)) \/
% 0.18/0.41 difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.41 (growth_rate efficient_producers (critical_point sk1)) = zero \/
% 0.18/0.41 greater (growth_rate efficient_producers (critical_point sk1))
% 0.18/0.41 (growth_rate first_movers (critical_point sk1)) \/
% 0.18/0.41 in_environment sk1
% 0.18/0.41 (growth_rate efficient_producers (critical_point sk1))
% 0.18/0.41 |- ~greater_or_equal $_56 (appear first_movers sk1) \/
% 0.18/0.41 ~in_environment sk1 $_56 \/ in_environment sk1 (appear first_movers sk1)
% 0.18/0.41 |- ~greater_or_equal $_57 (start_time sk1) \/
% 0.18/0.41 ~greater_or_equal (critical_point sk1) $_57 \/ in_environment sk1 $_57
% 0.18/0.41 |- ~greater_or_equal (critical_point sk1) (appear first_movers sk1) \/
% 0.18/0.41 in_environment sk1 (appear first_movers sk1)
% 0.18/0.41 |- ~greater_or_equal sk2 (start_time sk1) \/ in_environment sk1 sk2
% 0.18/0.41 |- ~greater_or_equal (critical_point sk1)
% 0.18/0.41 (growth_rate first_movers (critical_point sk1)) \/
% 0.18/0.41 ~in_environment sk1
% 0.18/0.41 (growth_rate efficient_producers (critical_point sk1)) \/
% 0.18/0.41 difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.41 (growth_rate efficient_producers (critical_point sk1)) = zero \/
% 0.18/0.41 greater (growth_rate efficient_producers (critical_point sk1))
% 0.18/0.41 (growth_rate first_movers (critical_point sk1)) \/
% 0.18/0.41 in_environment sk1 (growth_rate first_movers (critical_point sk1))
% 0.18/0.41 |- ~greater_or_equal (appear efficient_producers sk1) $_60 \/
% 0.18/0.41 ~in_environment sk1 $_60 \/
% 0.18/0.41 in_environment sk1 (appear efficient_producers sk1)
% 0.18/0.41 |- ~greater_or_equal sk2 $_60 \/ ~in_environment sk1 $_60 \/
% 0.18/0.41 in_environment sk1 sk2
% 0.18/0.41 |- ~greater_or_equal (start_time sk1)
% 0.18/0.41 (growth_rate first_movers (critical_point sk1)) \/
% 0.18/0.41 ~in_environment sk1
% 0.18/0.41 (growth_rate efficient_producers (critical_point sk1)) \/
% 0.18/0.41 difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.41 (growth_rate efficient_producers (critical_point sk1)) = zero \/
% 0.18/0.41 greater (growth_rate efficient_producers (critical_point sk1))
% 0.18/0.41 (growth_rate first_movers (critical_point sk1)) \/
% 0.18/0.41 in_environment sk1 (growth_rate first_movers (critical_point sk1))
% 0.18/0.41 |- ~environment $_76 \/
% 0.18/0.41 ~subpopulations first_movers efficient_producers $_76 zero \/
% 0.18/0.41 greater zero
% 0.18/0.41 (difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.41 (growth_rate efficient_producers (critical_point sk1))) \/
% 0.18/0.41 selection_favors first_movers efficient_producers
% 0.18/0.41 (critical_point sk1) \/
% 0.18/0.41 subpopulations first_movers efficient_producers $_76
% 0.18/0.41 (difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.41 (growth_rate efficient_producers (critical_point sk1)))
% 0.18/0.41 |- ~environment $_78 \/
% 0.18/0.41 ~greater_or_equal (growth_rate efficient_producers (critical_point sk1))
% 0.18/0.41 $_79 \/ ~subpopulations first_movers efficient_producers $_78 $_79 \/
% 0.18/0.41 ~subpopulations first_movers efficient_producers $_78
% 0.18/0.41 (growth_rate first_movers (critical_point sk1)) \/
% 0.18/0.41 difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.41 (growth_rate efficient_producers (critical_point sk1)) = zero \/
% 0.18/0.41 greater (growth_rate efficient_producers (critical_point sk1))
% 0.18/0.41 (growth_rate first_movers (critical_point sk1)) \/
% 0.18/0.41 subpopulations first_movers efficient_producers $_78
% 0.18/0.41 (growth_rate efficient_producers (critical_point sk1))
% 0.18/0.41 |- ~environment $_78 \/
% 0.18/0.41 ~greater_or_equal $_80
% 0.18/0.41 (difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.41 (growth_rate efficient_producers (critical_point sk1))) \/
% 0.18/0.41 ~subpopulations first_movers efficient_producers $_78 $_80 \/
% 0.18/0.41 ~subpopulations first_movers efficient_producers $_78 zero \/
% 0.18/0.41 difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.41 (growth_rate efficient_producers (critical_point sk1)) = zero \/
% 0.18/0.41 greater (growth_rate efficient_producers (critical_point sk1))
% 0.18/0.41 (growth_rate first_movers (critical_point sk1)) \/
% 0.18/0.41 subpopulations first_movers efficient_producers $_78
% 0.18/0.41 (difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.41 (growth_rate efficient_producers (critical_point sk1)))
% 0.18/0.41 |- ~environment $_78 \/
% 0.18/0.41 ~greater_or_equal $_80
% 0.18/0.41 (difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.41 (growth_rate efficient_producers (critical_point sk1))) \/
% 0.18/0.41 ~subpopulations first_movers efficient_producers $_78 $_80 \/
% 0.18/0.41 ~subpopulations first_movers efficient_producers $_78 zero \/
% 0.18/0.41 greater zero
% 0.18/0.41 (difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.41 (growth_rate efficient_producers (critical_point sk1))) \/
% 0.18/0.41 subpopulations first_movers efficient_producers $_78
% 0.18/0.41 (difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.41 (growth_rate efficient_producers (critical_point sk1)))
% 0.18/0.41 |- ~environment $_78 \/
% 0.18/0.41 ~greater_or_equal $_80
% 0.18/0.41 (growth_rate first_movers (critical_point sk1)) \/
% 0.18/0.41 ~subpopulations first_movers efficient_producers $_78 $_80 \/
% 0.18/0.41 ~subpopulations first_movers efficient_producers $_78
% 0.18/0.41 (growth_rate efficient_producers (critical_point sk1)) \/
% 0.18/0.41 difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.41 (growth_rate efficient_producers (critical_point sk1)) = zero \/
% 0.18/0.41 greater (growth_rate efficient_producers (critical_point sk1))
% 0.18/0.41 (growth_rate first_movers (critical_point sk1)) \/
% 0.18/0.41 subpopulations first_movers efficient_producers $_78
% 0.18/0.41 (growth_rate first_movers (critical_point sk1))
% 0.18/0.41 |- ~greater_or_equal $_80 $_81 \/
% 0.18/0.41 ~greater_or_equal $_81 (critical_point sk1) \/
% 0.18/0.41 ~subpopulations first_movers efficient_producers sk1 $_80 \/
% 0.18/0.41 subpopulations first_movers efficient_producers sk1 $_81
% 0.18/0.41 |- ~greater_or_equal $_81 $_79 \/
% 0.18/0.41 ~greater_or_equal (critical_point sk1) $_81 \/
% 0.18/0.41 ~subpopulations first_movers efficient_producers sk1 $_79 \/
% 0.18/0.41 subpopulations first_movers efficient_producers sk1 $_81
% 0.18/0.41 |- ~greater_or_equal (growth_rate efficient_producers (critical_point sk1))
% 0.18/0.41 (critical_point sk1) \/
% 0.18/0.41 ~subpopulations first_movers efficient_producers sk1
% 0.18/0.41 (growth_rate first_movers (critical_point sk1)) \/
% 0.18/0.41 difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.41 (growth_rate efficient_producers (critical_point sk1)) = zero \/
% 0.18/0.41 greater (growth_rate efficient_producers (critical_point sk1))
% 0.18/0.41 (growth_rate first_movers (critical_point sk1)) \/
% 0.18/0.41 subpopulations first_movers efficient_producers sk1
% 0.18/0.41 (growth_rate efficient_producers (critical_point sk1))
% 0.18/0.42 |- ~greater_or_equal (critical_point sk1)
% 0.18/0.42 (growth_rate first_movers (critical_point sk1)) \/
% 0.18/0.42 ~subpopulations first_movers efficient_producers sk1
% 0.18/0.42 (growth_rate efficient_producers (critical_point sk1)) \/
% 0.18/0.42 difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.42 (growth_rate efficient_producers (critical_point sk1)) = zero \/
% 0.18/0.42 greater (growth_rate efficient_producers (critical_point sk1))
% 0.18/0.42 (growth_rate first_movers (critical_point sk1)) \/
% 0.18/0.42 subpopulations first_movers efficient_producers sk1
% 0.18/0.42 (growth_rate first_movers (critical_point sk1))
% 0.18/0.42 |- ~greater_or_equal (appear efficient_producers sk1) $_84 \/
% 0.18/0.42 ~subpopulations first_movers efficient_producers sk1 $_84 \/
% 0.18/0.42 subpopulations first_movers efficient_producers sk1
% 0.18/0.42 (appear efficient_producers sk1)
% 0.18/0.42 |- ~greater_or_equal (appear efficient_producers sk1)
% 0.18/0.42 (critical_point sk1) \/
% 0.18/0.42 subpopulations first_movers efficient_producers sk1
% 0.18/0.42 (appear efficient_producers sk1)
% 0.18/0.42 |- ~environment $_93 \/ ~greater $_94 (critical_point sk1) \/
% 0.18/0.42 ~greater_or_equal (critical_point sk1)
% 0.18/0.42 (appear efficient_producers $_93) \/
% 0.18/0.42 ~greater_or_equal
% 0.18/0.42 (difference (growth_rate first_movers $_94)
% 0.18/0.42 (growth_rate efficient_producers $_94)) zero \/
% 0.18/0.42 ~in_environment $_93 $_94 \/
% 0.18/0.42 decreases
% 0.18/0.42 (difference (disbanding_rate first_movers (critical_point sk1))
% 0.18/0.42 (disbanding_rate efficient_producers (critical_point sk1))) \/
% 0.18/0.42 greater
% 0.18/0.42 (difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.42 (growth_rate efficient_producers (critical_point sk1))) zero
% 0.18/0.42 |- ~decreases
% 0.18/0.42 (difference (growth_rate first_movers $_95)
% 0.18/0.42 (growth_rate efficient_producers $_95)) \/ ~environment $_93 \/
% 0.18/0.42 ~greater (critical_point sk1) $_95 \/
% 0.18/0.42 ~greater_or_equal $_95 (appear efficient_producers $_93) \/
% 0.18/0.42 ~in_environment $_93 (critical_point sk1) \/
% 0.18/0.42 difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.42 (growth_rate efficient_producers (critical_point sk1)) = zero \/
% 0.18/0.42 greater
% 0.18/0.42 (difference (growth_rate first_movers $_95)
% 0.18/0.42 (growth_rate efficient_producers $_95)) zero \/
% 0.18/0.42 greater (growth_rate efficient_producers (critical_point sk1))
% 0.18/0.42 (growth_rate first_movers (critical_point sk1))
% 0.18/0.42 |- ~decreases
% 0.18/0.42 (difference (growth_rate first_movers $_95)
% 0.18/0.42 (growth_rate efficient_producers $_95)) \/ ~environment $_93 \/
% 0.18/0.42 ~greater (critical_point sk1) $_95 \/
% 0.18/0.42 ~greater_or_equal $_95 (appear efficient_producers $_93) \/
% 0.18/0.42 ~in_environment $_93 (critical_point sk1) \/
% 0.18/0.42 greater
% 0.18/0.42 (difference (growth_rate first_movers $_95)
% 0.18/0.42 (growth_rate efficient_producers $_95)) zero \/
% 0.18/0.42 greater zero
% 0.18/0.42 (difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.42 (growth_rate efficient_producers (critical_point sk1)))
% 0.18/0.42 |- ~decreases
% 0.18/0.42 (difference (growth_rate first_movers $_95)
% 0.18/0.42 (growth_rate efficient_producers $_95)) \/ ~environment $_93 \/
% 0.18/0.42 ~greater (critical_point sk1) $_95 \/
% 0.18/0.42 ~greater_or_equal $_95 (appear efficient_producers $_93) \/
% 0.18/0.42 ~in_environment $_93 (critical_point sk1) \/
% 0.18/0.42 greater
% 0.18/0.42 (difference (growth_rate first_movers $_95)
% 0.18/0.42 (growth_rate efficient_producers $_95)) zero \/
% 0.18/0.42 selection_favors first_movers efficient_producers (critical_point sk1)
% 0.18/0.42 |- ~decreases zero \/ ~environment $_93 \/
% 0.18/0.42 ~greater $_94 (critical_point sk1) \/
% 0.18/0.42 ~greater_or_equal (critical_point sk1)
% 0.18/0.42 (appear efficient_producers $_93) \/
% 0.18/0.42 ~greater_or_equal
% 0.18/0.42 (difference (growth_rate first_movers $_94)
% 0.18/0.42 (growth_rate efficient_producers $_94)) zero \/
% 0.18/0.42 ~in_environment $_93 $_94 \/
% 0.18/0.42 greater
% 0.18/0.42 (difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.42 (growth_rate efficient_producers (critical_point sk1))) zero \/
% 0.18/0.42 selection_favors first_movers efficient_producers (critical_point sk1)
% 0.18/0.42 |- ~decreases zero \/ ~greater (critical_point sk1) (critical_point sk1) \/
% 0.18/0.42 greater
% 0.18/0.42 (difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.42 (growth_rate efficient_producers (critical_point sk1))) zero \/
% 0.18/0.42 selection_favors first_movers efficient_producers (critical_point sk1)
% 0.18/0.42 |- ~greater (critical_point sk1) (critical_point sk1) \/
% 0.18/0.42 decreases
% 0.18/0.42 (difference (disbanding_rate first_movers (critical_point sk1))
% 0.18/0.42 (disbanding_rate efficient_producers (critical_point sk1))) \/
% 0.18/0.42 greater
% 0.18/0.42 (difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.42 (growth_rate efficient_producers (critical_point sk1))) zero \/
% 0.18/0.42 selection_favors first_movers efficient_producers (critical_point sk1)
% 0.18/0.42 |- ~greater (critical_point sk1) (critical_point sk1) \/
% 0.18/0.42 decreases
% 0.18/0.42 (difference (disbanding_rate first_movers (critical_point sk1))
% 0.18/0.42 (disbanding_rate efficient_producers (critical_point sk1))) \/
% 0.18/0.42 greater
% 0.18/0.42 (difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.42 (growth_rate efficient_producers (critical_point sk1))) zero \/
% 0.18/0.42 greater zero
% 0.18/0.42 (difference (growth_rate first_movers (critical_point sk1))
% 0.18/0.42 (growth_rate efficient_producers (critical_point sk1)))
% 0.18/0.42 SZS output end Saturation for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.18/0.42
%------------------------------------------------------------------------------