TSTP Solution File: CSR224+1 by Infinox---1.0

View Problem - Process Solution

%------------------------------------------------------------------------------
% File     : Infinox---1.0
% Problem  : CSR224+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm  : none
% Format   : tptp:raw
% Command  : run_infinox %s

% 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 : Fri Jul 15 03:36:06 EDT 2022

% Result   : Timeout 285.96s 262.41s
% Output   : None 
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.10  % Problem  : CSR224+1 : TPTP v8.1.0. Released v7.3.0.
% 0.00/0.10  % Command  : run_infinox %s
% 0.09/0.30  % Computer : n020.cluster.edu
% 0.09/0.30  % Model    : x86_64 x86_64
% 0.09/0.30  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.09/0.30  % Memory   : 8042.1875MB
% 0.09/0.30  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.09/0.30  % CPULimit : 300
% 0.09/0.30  % WCLimit  : 600
% 0.09/0.30  % DateTime : Sat Jun 11 17:15:05 EDT 2022
% 0.09/0.30  % CPUTime  : 
% 5.73/5.76  eprover: CPU time limit exceeded, terminating
% 7.93/7.77  eprover: CPU time limit exceeded, terminating
% 10.15/9.78  eprover: CPU time limit exceeded, terminating
% 12.29/11.79  eprover: CPU time limit exceeded, terminating
% 14.55/13.80  eprover: CPU time limit exceeded, terminating
% 16.68/15.81  eprover: CPU time limit exceeded, terminating
% 18.92/17.82  eprover: CPU time limit exceeded, terminating
% 21.11/19.83  eprover: CPU time limit exceeded, terminating
% 23.31/21.85  eprover: CPU time limit exceeded, terminating
% 25.56/23.87  eprover: CPU time limit exceeded, terminating
% 27.73/25.88  eprover: CPU time limit exceeded, terminating
% 29.99/27.89  eprover: CPU time limit exceeded, terminating
% 32.18/29.91  eprover: CPU time limit exceeded, terminating
% 34.34/31.92  eprover: CPU time limit exceeded, terminating
% 36.53/33.95  eprover: CPU time limit exceeded, terminating
% 38.70/35.96  eprover: CPU time limit exceeded, terminating
% 40.91/37.97  eprover: CPU time limit exceeded, terminating
% 43.08/39.99  eprover: CPU time limit exceeded, terminating
% 45.24/42.00  eprover: CPU time limit exceeded, terminating
% 47.48/44.02  eprover: CPU time limit exceeded, terminating
% 49.69/46.03  eprover: CPU time limit exceeded, terminating
% 51.82/48.05  eprover: CPU time limit exceeded, terminating
% 54.08/50.19  eprover: CPU time limit exceeded, terminating
% 56.29/52.37  eprover: CPU time limit exceeded, terminating
% 58.50/54.58  eprover: CPU time limit exceeded, terminating
% 60.65/56.75  eprover: CPU time limit exceeded, terminating
% 62.78/58.91  eprover: CPU time limit exceeded, terminating
% 65.05/61.03  eprover: CPU time limit exceeded, terminating
% 67.20/63.20  eprover: CPU time limit exceeded, terminating
% 69.44/65.22  eprover: CPU time limit exceeded, terminating
% 71.57/67.23  eprover: CPU time limit exceeded, terminating
% 73.86/69.24  eprover: CPU time limit exceeded, terminating
% 76.04/71.25  eprover: CPU time limit exceeded, terminating
% 78.24/73.26  eprover: CPU time limit exceeded, terminating
% 80.43/75.27  eprover: CPU time limit exceeded, terminating
% 82.69/77.28  eprover: CPU time limit exceeded, terminating
% 84.91/79.29  eprover: CPU time limit exceeded, terminating
% 87.11/81.31  eprover: CPU time limit exceeded, terminating
% 89.30/83.32  eprover: CPU time limit exceeded, terminating
% 91.52/85.33  eprover: CPU time limit exceeded, terminating
% 93.74/87.34  eprover: CPU time limit exceeded, terminating
% 95.91/89.35  eprover: CPU time limit exceeded, terminating
% 98.13/91.37  eprover: CPU time limit exceeded, terminating
% 100.30/93.38  eprover: CPU time limit exceeded, terminating
% 102.54/95.39  eprover: CPU time limit exceeded, terminating
% 104.80/97.40  eprover: CPU time limit exceeded, terminating
% 106.99/99.41  eprover: CPU time limit exceeded, terminating
% 109.21/101.43  eprover: CPU time limit exceeded, terminating
% 111.38/103.44  eprover: CPU time limit exceeded, terminating
% 113.65/105.45  eprover: CPU time limit exceeded, terminating
% 115.79/107.46  eprover: CPU time limit exceeded, terminating
% 118.03/109.47  eprover: CPU time limit exceeded, terminating
% 120.25/111.49  eprover: CPU time limit exceeded, terminating
% 122.42/113.50  eprover: CPU time limit exceeded, terminating
% 124.70/115.51  eprover: CPU time limit exceeded, terminating
% 126.88/117.53  eprover: CPU time limit exceeded, terminating
% 129.10/119.54  eprover: CPU time limit exceeded, terminating
% 131.28/121.55  eprover: CPU time limit exceeded, terminating
% 133.54/123.56  eprover: CPU time limit exceeded, terminating
% 135.73/125.58  eprover: CPU time limit exceeded, terminating
% 137.93/127.59  eprover: CPU time limit exceeded, terminating
% 140.16/129.60  eprover: CPU time limit exceeded, terminating
% 142.32/131.61  eprover: CPU time limit exceeded, terminating
% 144.52/133.62  eprover: CPU time limit exceeded, terminating
% 146.77/135.64  eprover: CPU time limit exceeded, terminating
% 149.02/137.65  eprover: CPU time limit exceeded, terminating
% 151.21/139.66  eprover: CPU time limit exceeded, terminating
% 153.41/141.67  eprover: CPU time limit exceeded, terminating
% 155.62/143.69  eprover: CPU time limit exceeded, terminating
% 157.82/145.70  eprover: CPU time limit exceeded, terminating
% 160.03/147.71  eprover: CPU time limit exceeded, terminating
% 162.24/149.72  eprover: CPU time limit exceeded, terminating
% 164.48/151.74  eprover: CPU time limit exceeded, terminating
% 166.64/153.75  eprover: CPU time limit exceeded, terminating
% 168.88/155.76  eprover: CPU time limit exceeded, terminating
% 171.08/157.77  eprover: CPU time limit exceeded, terminating
% 173.27/159.79  eprover: CPU time limit exceeded, terminating
% 175.50/161.80  eprover: CPU time limit exceeded, terminating
% 177.74/163.81  eprover: CPU time limit exceeded, terminating
% 179.91/165.83  eprover: CPU time limit exceeded, terminating
% 182.13/167.84  eprover: CPU time limit exceeded, terminating
% 184.33/169.85  eprover: CPU time limit exceeded, terminating
% 186.56/171.86  eprover: CPU time limit exceeded, terminating
% 188.74/173.88  eprover: CPU time limit exceeded, terminating
% 190.96/175.89  eprover: CPU time limit exceeded, terminating
% 193.20/177.90  eprover: CPU time limit exceeded, terminating
% 195.44/179.91  eprover: CPU time limit exceeded, terminating
% 197.60/181.93  eprover: CPU time limit exceeded, terminating
% 199.86/183.94  eprover: CPU time limit exceeded, terminating
% 202.02/185.95  eprover: CPU time limit exceeded, terminating
% 204.26/187.96  eprover: CPU time limit exceeded, terminating
% 206.43/189.98  eprover: CPU time limit exceeded, terminating
% 208.66/191.99  eprover: CPU time limit exceeded, terminating
% 210.85/194.00  eprover: CPU time limit exceeded, terminating
% 213.15/196.01  eprover: CPU time limit exceeded, terminating
% 215.32/198.03  eprover: CPU time limit exceeded, terminating
% 217.52/200.04  eprover: CPU time limit exceeded, terminating
% 219.73/202.05  eprover: CPU time limit exceeded, terminating
% 221.93/204.07  eprover: CPU time limit exceeded, terminating
% 224.21/206.08  eprover: CPU time limit exceeded, terminating
% 226.33/208.09  eprover: CPU time limit exceeded, terminating
% 228.61/210.10  eprover: CPU time limit exceeded, terminating
% 230.83/212.12  eprover: CPU time limit exceeded, terminating
% 233.04/214.13  eprover: CPU time limit exceeded, terminating
% 235.23/216.14  eprover: CPU time limit exceeded, terminating
% 237.40/218.15  eprover: CPU time limit exceeded, terminating
% 239.61/220.16  eprover: CPU time limit exceeded, terminating
% 241.81/222.18  eprover: CPU time limit exceeded, terminating
% 244.08/224.19  eprover: CPU time limit exceeded, terminating
% 246.31/226.20  eprover: CPU time limit exceeded, terminating
% 248.50/228.21  eprover: CPU time limit exceeded, terminating
% 250.69/230.22  eprover: CPU time limit exceeded, terminating
% 252.89/232.25  eprover: CPU time limit exceeded, terminating
% 255.05/234.26  eprover: CPU time limit exceeded, terminating
% 257.28/236.27  eprover: CPU time limit exceeded, terminating
% 259.44/238.28  eprover: CPU time limit exceeded, terminating
% 261.64/240.29  eprover: CPU time limit exceeded, terminating
% 263.91/242.30  eprover: CPU time limit exceeded, terminating
% 266.12/244.31  eprover: CPU time limit exceeded, terminating
% 268.31/246.32  eprover: CPU time limit exceeded, terminating
% 270.51/248.33  eprover: CPU time limit exceeded, terminating
% 272.72/250.34  eprover: CPU time limit exceeded, terminating
% 274.87/252.36  eprover: CPU time limit exceeded, terminating
% 277.07/254.37  eprover: CPU time limit exceeded, terminating
% 279.27/256.38  eprover: CPU time limit exceeded, terminating
% 281.55/258.39  eprover: CPU time limit exceeded, terminating
% 283.77/260.40  eprover: CPU time limit exceeded, terminating
% 285.96/262.41  eprover: CPU time limit exceeded, terminating
% 288.18/264.42  eprover: CPU time limit exceeded, terminating
% 290.34/266.44  eprover: CPU time limit exceeded, terminating
% 292.56/268.45  eprover: CPU time limit exceeded, terminating
% 294.75/270.46  eprover: CPU time limit exceeded, terminating
% 296.96/272.47  eprover: CPU time limit exceeded, terminating
% 299.13/274.48  eprover: CPU time limit exceeded, terminating
% 300.07/275.22  eprover: CPU time limit exceeded, terminating
% 300.07/275.23  Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------