TSTP Solution File: PLA035+1 by Zenon---0.7.1
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Zenon---0.7.1
% Problem : PLA035+1 : TPTP v8.1.0. Bugfixed v5.5.1.
% Transfm : none
% Format : tptp:raw
% Command : run_zenon %s %d
% Computer : n020.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 : Mon Jul 18 17:38:19 EDT 2022
% Result : Timeout 300.02s 300.18s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.12/0.12 % Problem : PLA035+1 : TPTP v8.1.0. Bugfixed v5.5.1.
% 0.12/0.13 % Command : run_zenon %s %d
% 0.12/0.34 % Computer : n020.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 600
% 0.12/0.34 % DateTime : Tue May 31 19:19:53 EDT 2022
% 0.12/0.34 % CPUTime :
% 12.43/12.66 Zenon warning: unused variable (V95101 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V95201 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V95301 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V95401 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V95501 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V5010 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V5011 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V5012 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V5013 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V5014 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V5015 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V5016 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V5017 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V5018 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V5019 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V50110 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V85102 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V85202 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V85302 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V85402 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V85502 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V4020 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V4021 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V4022 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V4023 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V4024 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V4025 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V4026 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V4027 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V4028 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V4029 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V40210 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V95103 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V95203 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V95303 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V95403 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V95503 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V5030 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V5031 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V5032 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V5033 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V5034 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V5035 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V5036 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V5037 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V5038 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V5039 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V50310 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V85104 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V85204 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V85304 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V85404 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V85504 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V4040 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V4041 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V4042 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V4043 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V4044 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V4045 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V4046 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V4047 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V4048 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V4049 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V40410 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V95105 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V95205 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V95305 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V95405 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V95505 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V5050 : zenon_U) in quant
% 12.43/12.66 Zenon warning: unused variable (V5051 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V5052 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V5053 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V5054 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V5055 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V5056 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V5057 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V5058 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V5059 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V50510 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V85106 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V85206 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V85306 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V85406 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V85506 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V4060 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V4061 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V4062 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V4063 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V4064 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V4065 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V4066 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V4067 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V4068 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V4069 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V40610 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V95107 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V95207 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V95307 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V95407 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V95507 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V5070 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V5071 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V5072 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V5073 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V5074 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V5075 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V5076 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V5077 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V5078 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V5079 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V50710 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V85108 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V85208 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V85308 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V85408 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V85508 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V4080 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V4081 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V4082 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V4083 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V4084 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V4085 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V4086 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V4087 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V4088 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V4089 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V40810 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V95109 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V95209 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V95309 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V95409 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V95509 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V5090 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V5091 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V5092 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V5093 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V5094 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V5095 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V5096 : zenon_U) in quant
% 12.53/12.69 Zenon warning: unused variable (V5097 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V5098 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V5099 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V50910 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V85110 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V85210 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V85310 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V85410 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V85510 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V4100 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V4101 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V4102 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V4103 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V4104 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V4105 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V4106 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V4107 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V4108 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V4109 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V41010 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V95111 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V95211 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V95311 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V95411 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V95511 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V5110 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V5111 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V5112 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V5113 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V5114 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V5115 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V5116 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V5117 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V5118 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V5119 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V51110 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V85112 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V85212 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V85312 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V85412 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V85512 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V4120 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V4121 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V4122 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V4123 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V4124 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V4125 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V4126 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V4127 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V4128 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V4129 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V41210 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V95113 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V95213 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V95313 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V95413 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V95513 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V5130 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V5131 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V5132 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V5133 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V5134 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V5135 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V5136 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V5137 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V5138 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V5139 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V51310 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V85114 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V85214 : zenon_U) in quant
% 12.56/12.74 Zenon warning: unused variable (V85314 : zenon_U) in quant
% 12.56/12.81 Zenon warning: unused variable (V85414 : zenon_U) in quant
% 12.56/12.81 Zenon warning: unused variable (V85514 : zenon_U) in quant
% 12.56/12.81 Zenon warning: unused variable (V4140 : zenon_U) in quant
% 12.56/12.81 Zenon warning: unused variable (V4141 : zenon_U) in quant
% 12.56/12.81 Zenon warning: unused variable (V4142 : zenon_U) in quant
% 12.56/12.81 Zenon warning: unused variable (V4143 : zenon_U) in quant
% 12.56/12.81 Zenon warning: unused variable (V4144 : zenon_U) in quant
% 12.56/12.81 Zenon warning: unused variable (V4145 : zenon_U) in quant
% 12.56/12.81 Zenon warning: unused variable (V4146 : zenon_U) in quant
% 12.56/12.81 Zenon warning: unused variable (V4147 : zenon_U) in quant
% 12.56/12.81 Zenon warning: unused variable (V4148 : zenon_U) in quant
% 12.56/12.81 Zenon warning: unused variable (V4149 : zenon_U) in quant
% 12.56/12.81 Zenon warning: unused variable (V41410 : zenon_U) in quant
% 12.56/12.81 Zenon warning: unused variable (V95115 : zenon_U) in quant
% 12.56/12.81 Zenon warning: unused variable (V95215 : zenon_U) in quant
% 12.56/12.81 Zenon warning: unused variable (V95315 : zenon_U) in quant
% 12.56/12.81 Zenon warning: unused variable (V95415 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V95515 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V5150 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V5151 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V5152 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V5153 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V5154 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V5155 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V5156 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V5157 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V5158 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V5159 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V51510 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V85116 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V85216 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V85316 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V85416 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V85516 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V4160 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V4161 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V4162 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V4163 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V4164 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V4165 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V4166 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V4167 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V4168 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V4169 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V41610 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V95117 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V95217 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V95317 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V95417 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V95517 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V5170 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V5171 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V5172 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V5173 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V5174 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V5175 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V5176 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V5177 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V5178 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V5179 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V51710 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V85118 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V85218 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V85318 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V85418 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V85518 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V4180 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V4181 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V4182 : zenon_U) in quant
% 12.66/12.81 Zenon warning: unused variable (V4183 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V4184 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V4185 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V4186 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V4187 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V4188 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V4189 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V41810 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V95119 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V95219 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V95319 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V95419 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V95519 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V5190 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V5191 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V5192 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V5193 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V5194 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V5195 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V5196 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V5197 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V5198 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V5199 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V51910 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V80120 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V90120 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V80220 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V90220 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V80320 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V90320 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V80420 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V90420 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V80520 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V90520 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V81120 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V81220 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V81320 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V81420 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V81520 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V82120 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V82220 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V82320 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V82420 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V82520 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V83120 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V83220 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V83320 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V83420 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V83520 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V84120 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V84220 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V84320 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V84420 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V84520 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V85120 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V85220 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V85320 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V85420 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V85520 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V30121 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V30221 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V30321 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V30421 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V30521 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V4200 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V4201 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V4202 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V4203 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V4204 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variable (V4205 : zenon_U) in quant
% 12.66/12.86 Zenon warning: unused variCputime limit exceeded (core dumped)
%------------------------------------------------------------------------------