TSTP Solution File: GEG001+1 by Zenon---0.7.1
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Zenon---0.7.1
% Problem : GEG001+1 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_zenon %s %d
% 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 : Sat Jul 16 02:42:30 EDT 2022
% Result : Timeout 300.04s 300.22s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : GEG001+1 : TPTP v8.1.0. Released v4.0.0.
% 0.07/0.13 % Command : run_zenon %s %d
% 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.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 600
% 0.12/0.34 % DateTime : Tue Jun 7 05:25:25 EDT 2022
% 0.12/0.34 % CPUTime :
% 0.19/0.56 Zenon warning: unused variable (M4 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (V4 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (X4 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (Z4 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (B5 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (D5 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (F5 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (H5 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (J5 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (L5 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (N5 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (Q5 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (S5 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (U5 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (W5 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (Y5 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (B6 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (D6 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (F6 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (I6 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (K6 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (N6 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (P6 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (S6 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (V6 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (Y6 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (A7 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (C7 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (G7 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (I7 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (M7 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (O7 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (R7 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (T7 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (V7 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (X7 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (Z7 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (B8 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (D8 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (F8 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (H8 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (K8 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (M8 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (O8 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (V8 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (X8 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (Z8 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (B9 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (D9 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (G9 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (I9 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (J9 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (M9 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (N9 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (R9 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (U9 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (W9 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (X9 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (Z9 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (B10 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (D10 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (G10 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (I10 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (J10 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (M10 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (N10 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (Q10 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (R10 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (U10 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (W10 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (X10 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (A11 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (B11 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (D11 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (F11 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (H11 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (J11 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (L11 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (O11 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (P11 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (S11 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (T11 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (W11 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (X11 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (Z11 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (C12 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (D12 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (F12 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (H12 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (L12 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (M12 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (R12 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (T12 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (V12 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (X12 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (Z12 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (E13 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (K13 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (L13 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (U13 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (W13 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (Y13 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (A14 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (C14 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (G14 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (M14 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (Q14 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (T14 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (V14 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (X14 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (Z14 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (B15 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (D15 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (F15 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (H15 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (J15 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (L15 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (N15 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (P15 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (R15 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (T15 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (V15 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (X15 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (Z15 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (C16 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (G16 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (I16 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (K16 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (M16 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (O16 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (Q16 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (U16 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (W16 : zenon_U) in acewiki_geo
% 0.19/0.56 Zenon warning: unused variable (Y16 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (D17 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (F17 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (I17 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (K17 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (M17 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (O17 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (Q17 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (T17 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (V17 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (Z17 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (B18 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (D18 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (F18 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (H18 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (J18 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (L18 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (N18 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (P18 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (R18 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (T18 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (V18 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (X18 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (Z18 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (B19 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (D19 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (G19 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (I19 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (K19 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (M19 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (O19 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (Q19 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (S19 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (U19 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (W19 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (Y19 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (A20 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (C20 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (F20 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (G20 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (J20 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (L20 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (N20 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (P20 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (R20 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (U20 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (V20 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (X20 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (A21 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (E21 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (F21 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (H21 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (J21 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (L21 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (N21 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (P21 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (S21 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (U21 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (W21 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (Y21 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (B22 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (D22 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (I22 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (M22 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (P22 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warning: unused variable (T22 : zenon_U) in acewiki_geo
% 0.19/0.57 Zenon warCputime limit exceeded (core dumped)
%------------------------------------------------------------------------------