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

View Problem - Process Solution

%------------------------------------------------------------------------------
% File     : Infinox---1.0
% Problem  : SWB041+1 : TPTP v8.1.0. Released v5.2.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 : Tue Jul 19 19:04:41 EDT 2022

% Result   : Timeout 287.55s 284.68s
% Output   : None 
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.09  % Problem  : SWB041+1 : TPTP v8.1.0. Released v5.2.0.
% 0.00/0.09  % Command  : run_infinox %s
% 0.09/0.29  % Computer : n020.cluster.edu
% 0.09/0.29  % Model    : x86_64 x86_64
% 0.09/0.29  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.09/0.29  % Memory   : 8042.1875MB
% 0.09/0.29  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.09/0.29  % CPULimit : 300
% 0.09/0.29  % WCLimit  : 600
% 0.09/0.29  % DateTime : Wed Jun  1 01:11:53 EDT 2022
% 0.09/0.29  % CPUTime  : 
% 3.03/3.25  eprover: CPU time limit exceeded, terminating
% 5.04/5.26  eprover: CPU time limit exceeded, terminating
% 7.08/7.27  eprover: CPU time limit exceeded, terminating
% 9.11/9.27  eprover: CPU time limit exceeded, terminating
% 11.12/11.28  eprover: CPU time limit exceeded, terminating
% 13.19/13.29  eprover: CPU time limit exceeded, terminating
% 15.25/15.30  eprover: CPU time limit exceeded, terminating
% 17.21/17.31  eprover: CPU time limit exceeded, terminating
% 19.31/19.32  eprover: CPU time limit exceeded, terminating
% 21.31/21.33  eprover: CPU time limit exceeded, terminating
% 23.31/23.33  eprover: CPU time limit exceeded, terminating
% 25.37/25.34  eprover: CPU time limit exceeded, terminating
% 27.42/27.36  eprover: CPU time limit exceeded, terminating
% 29.40/29.36  eprover: CPU time limit exceeded, terminating
% 31.44/31.42  eprover: CPU time limit exceeded, terminating
% 33.49/33.44  eprover: CPU time limit exceeded, terminating
% 35.54/35.45  eprover: CPU time limit exceeded, terminating
% 37.57/37.46  eprover: CPU time limit exceeded, terminating
% 39.59/39.47  eprover: CPU time limit exceeded, terminating
% 41.63/41.49  eprover: CPU time limit exceeded, terminating
% 43.66/43.50  eprover: CPU time limit exceeded, terminating
% 45.62/45.51  eprover: CPU time limit exceeded, terminating
% 47.71/47.52  eprover: CPU time limit exceeded, terminating
% 49.73/49.53  eprover: CPU time limit exceeded, terminating
% 51.75/51.54  eprover: CPU time limit exceeded, terminating
% 53.81/53.56  eprover: CPU time limit exceeded, terminating
% 55.84/55.57  eprover: CPU time limit exceeded, terminating
% 57.87/57.58  eprover: CPU time limit exceeded, terminating
% 59.86/59.59  eprover: CPU time limit exceeded, terminating
% 61.92/61.60  eprover: CPU time limit exceeded, terminating
% 63.94/63.61  eprover: CPU time limit exceeded, terminating
% 65.93/65.62  eprover: CPU time limit exceeded, terminating
% 67.99/67.63  eprover: CPU time limit exceeded, terminating
% 70.03/69.64  eprover: CPU time limit exceeded, terminating
% 72.07/71.65  eprover: CPU time limit exceeded, terminating
% 74.04/73.66  eprover: CPU time limit exceeded, terminating
% 76.14/75.66  eprover: CPU time limit exceeded, terminating
% 78.16/77.67  eprover: CPU time limit exceeded, terminating
% 80.20/79.68  eprover: CPU time limit exceeded, terminating
% 82.25/81.69  eprover: CPU time limit exceeded, terminating
% 84.29/83.70  eprover: CPU time limit exceeded, terminating
% 86.28/85.71  eprover: CPU time limit exceeded, terminating
% 88.32/87.72  eprover: CPU time limit exceeded, terminating
% 90.35/89.73  eprover: CPU time limit exceeded, terminating
% 92.40/91.74  eprover: CPU time limit exceeded, terminating
% 94.37/93.75  eprover: CPU time limit exceeded, terminating
% 96.44/95.75  eprover: CPU time limit exceeded, terminating
% 98.48/97.76  eprover: CPU time limit exceeded, terminating
% 100.52/99.77  eprover: CPU time limit exceeded, terminating
% 102.56/101.78  eprover: CPU time limit exceeded, terminating
% 104.56/103.79  eprover: CPU time limit exceeded, terminating
% 106.63/105.80  eprover: CPU time limit exceeded, terminating
% 108.65/107.81  eprover: CPU time limit exceeded, terminating
% 110.71/109.81  eprover: CPU time limit exceeded, terminating
% 112.73/111.82  eprover: CPU time limit exceeded, terminating
% 114.73/113.83  eprover: CPU time limit exceeded, terminating
% 116.77/115.84  eprover: CPU time limit exceeded, terminating
% 118.84/117.85  eprover: CPU time limit exceeded, terminating
% 120.78/119.86  eprover: CPU time limit exceeded, terminating
% 122.87/121.87  eprover: CPU time limit exceeded, terminating
% 124.88/123.88  eprover: CPU time limit exceeded, terminating
% 126.94/125.89  eprover: CPU time limit exceeded, terminating
% 128.99/127.90  eprover: CPU time limit exceeded, terminating
% 131.03/129.91  eprover: CPU time limit exceeded, terminating
% 133.02/131.92  eprover: CPU time limit exceeded, terminating
% 135.09/133.93  eprover: CPU time limit exceeded, terminating
% 137.12/135.94  eprover: CPU time limit exceeded, terminating
% 139.13/137.95  eprover: CPU time limit exceeded, terminating
% 141.19/139.96  eprover: CPU time limit exceeded, terminating
% 143.20/141.97  eprover: CPU time limit exceeded, terminating
% 145.26/143.97  eprover: CPU time limit exceeded, terminating
% 147.25/145.98  eprover: CPU time limit exceeded, terminating
% 149.31/147.99  eprover: CPU time limit exceeded, terminating
% 151.33/150.00  eprover: CPU time limit exceeded, terminating
% 153.41/152.01  eprover: CPU time limit exceeded, terminating
% 155.40/154.02  eprover: CPU time limit exceeded, terminating
% 157.46/156.03  eprover: CPU time limit exceeded, terminating
% 159.51/158.04  eprover: CPU time limit exceeded, terminating
% 161.49/160.05  eprover: CPU time limit exceeded, terminating
% 163.52/162.06  eprover: CPU time limit exceeded, terminating
% 165.62/164.07  eprover: CPU time limit exceeded, terminating
% 167.58/166.08  eprover: CPU time limit exceeded, terminating
% 169.66/168.09  eprover: CPU time limit exceeded, terminating
% 171.64/170.10  eprover: CPU time limit exceeded, terminating
% 173.74/172.11  eprover: CPU time limit exceeded, terminating
% 175.71/174.12  eprover: CPU time limit exceeded, terminating
% 177.78/176.13  eprover: CPU time limit exceeded, terminating
% 179.84/178.14  eprover: CPU time limit exceeded, terminating
% 181.81/180.15  eprover: CPU time limit exceeded, terminating
% 183.89/182.15  eprover: CPU time limit exceeded, terminating
% 185.95/184.16  eprover: CPU time limit exceeded, terminating
% 187.94/186.17  eprover: CPU time limit exceeded, terminating
% 190.02/188.18  eprover: CPU time limit exceeded, terminating
% 192.01/190.19  eprover: CPU time limit exceeded, terminating
% 194.09/192.20  eprover: CPU time limit exceeded, terminating
% 196.06/194.21  eprover: CPU time limit exceeded, terminating
% 198.14/196.22  eprover: CPU time limit exceeded, terminating
% 200.19/198.23  eprover: CPU time limit exceeded, terminating
% 202.16/200.24  eprover: CPU time limit exceeded, terminating
% 204.21/202.25  eprover: CPU time limit exceeded, terminating
% 206.20/204.26  eprover: CPU time limit exceeded, terminating
% 208.27/206.27  eprover: CPU time limit exceeded, terminating
% 210.36/208.28  eprover: CPU time limit exceeded, terminating
% 212.32/210.29  eprover: CPU time limit exceeded, terminating
% 214.43/212.30  eprover: CPU time limit exceeded, terminating
% 216.45/214.31  eprover: CPU time limit exceeded, terminating
% 218.50/216.32  eprover: CPU time limit exceeded, terminating
% 220.53/218.33  eprover: CPU time limit exceeded, terminating
% 222.53/220.34  eprover: CPU time limit exceeded, terminating
% 224.58/222.35  eprover: CPU time limit exceeded, terminating
% 226.58/224.36  eprover: CPU time limit exceeded, terminating
% 228.59/226.37  eprover: CPU time limit exceeded, terminating
% 230.69/228.37  eprover: CPU time limit exceeded, terminating
% 232.66/230.38  eprover: CPU time limit exceeded, terminating
% 234.69/232.39  eprover: CPU time limit exceeded, terminating
% 236.79/234.40  eprover: CPU time limit exceeded, terminating
% 238.81/236.41  eprover: CPU time limit exceeded, terminating
% 240.84/238.42  eprover: CPU time limit exceeded, terminating
% 242.87/240.43  eprover: CPU time limit exceeded, terminating
% 244.90/242.44  eprover: CPU time limit exceeded, terminating
% 246.94/244.45  eprover: CPU time limit exceeded, terminating
% 248.97/246.46  eprover: CPU time limit exceeded, terminating
% 251.01/248.47  eprover: CPU time limit exceeded, terminating
% 253.08/250.48  eprover: CPU time limit exceeded, terminating
% 255.05/252.49  eprover: CPU time limit exceeded, terminating
% 257.14/254.50  eprover: CPU time limit exceeded, terminating
% 259.17/256.51  eprover: CPU time limit exceeded, terminating
% 261.22/258.52  eprover: CPU time limit exceeded, terminating
% 263.24/260.53  eprover: CPU time limit exceeded, terminating
% 265.23/262.54  eprover: CPU time limit exceeded, terminating
% 267.25/264.54  eprover: CPU time limit exceeded, terminating
% 269.27/266.55  eprover: CPU time limit exceeded, terminating
% 271.30/268.56  eprover: CPU time limit exceeded, terminating
% 273.30/270.57  eprover: CPU time limit exceeded, terminating
% 275.33/272.59  eprover: CPU time limit exceeded, terminating
% 277.46/274.60  eprover: CPU time limit exceeded, terminating
% 279.39/276.61  eprover: CPU time limit exceeded, terminating
% 281.51/278.62  eprover: CPU time limit exceeded, terminating
% 283.54/280.63  eprover: CPU time limit exceeded, terminating
% 285.54/282.65  eprover: CPU time limit exceeded, terminating
% 287.55/284.68  eprover: CPU time limit exceeded, terminating
% 289.53/286.68  eprover: CPU time limit exceeded, terminating
% 291.67/288.69  eprover: CPU time limit exceeded, terminating
% 293.61/290.70  eprover: CPU time limit exceeded, terminating
% 295.70/292.71  eprover: CPU time limit exceeded, terminating
% 297.71/294.72  eprover: CPU time limit exceeded, terminating
% 299.77/296.73  eprover: CPU time limit exceeded, terminating
% 300.08/297.02  eprover: CPU time limit exceeded, terminating
% 300.08/297.03  Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------