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

View Problem - Process Solution

%------------------------------------------------------------------------------
% File     : Infinox---1.0
% Problem  : SWB066+1 : TPTP v8.1.0. Released v5.2.0.
% Transfm  : none
% Format   : tptp:raw
% Command  : run_infinox %s

% Computer : n029.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:42 EDT 2022

% Result   : Timeout 287.36s 285.58s
% Output   : None 
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12  % Problem  : SWB066+1 : TPTP v8.1.0. Released v5.2.0.
% 0.06/0.13  % Command  : run_infinox %s
% 0.12/0.34  % Computer : n029.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 : Wed Jun  1 13:34:15 EDT 2022
% 0.12/0.34  % CPUTime  : 
% 3.07/3.33  eprover: CPU time limit exceeded, terminating
% 5.09/5.34  eprover: CPU time limit exceeded, terminating
% 7.19/7.37  eprover: CPU time limit exceeded, terminating
% 9.23/9.39  eprover: CPU time limit exceeded, terminating
% 11.27/11.40  eprover: CPU time limit exceeded, terminating
% 13.33/13.41  eprover: CPU time limit exceeded, terminating
% 15.35/15.42  eprover: CPU time limit exceeded, terminating
% 17.35/17.43  eprover: CPU time limit exceeded, terminating
% 19.44/19.45  eprover: CPU time limit exceeded, terminating
% 21.47/21.46  eprover: CPU time limit exceeded, terminating
% 23.45/23.47  eprover: CPU time limit exceeded, terminating
% 25.52/25.48  eprover: CPU time limit exceeded, terminating
% 27.51/27.49  eprover: CPU time limit exceeded, terminating
% 29.61/29.50  eprover: CPU time limit exceeded, terminating
% 31.58/31.51  eprover: CPU time limit exceeded, terminating
% 33.65/33.53  eprover: CPU time limit exceeded, terminating
% 35.70/35.53  eprover: CPU time limit exceeded, terminating
% 37.67/37.54  eprover: CPU time limit exceeded, terminating
% 39.79/39.56  eprover: CPU time limit exceeded, terminating
% 41.80/41.56  eprover: CPU time limit exceeded, terminating
% 43.82/43.57  eprover: CPU time limit exceeded, terminating
% 45.87/45.58  eprover: CPU time limit exceeded, terminating
% 47.86/47.59  eprover: CPU time limit exceeded, terminating
% 49.92/49.60  eprover: CPU time limit exceeded, terminating
% 51.92/51.61  eprover: CPU time limit exceeded, terminating
% 53.98/53.62  eprover: CPU time limit exceeded, terminating
% 56.03/55.63  eprover: CPU time limit exceeded, terminating
% 58.05/57.64  eprover: CPU time limit exceeded, terminating
% 60.10/59.66  eprover: CPU time limit exceeded, terminating
% 62.10/61.67  eprover: CPU time limit exceeded, terminating
% 64.14/63.68  eprover: CPU time limit exceeded, terminating
% 66.15/65.69  eprover: CPU time limit exceeded, terminating
% 68.19/67.70  eprover: CPU time limit exceeded, terminating
% 70.22/69.71  eprover: CPU time limit exceeded, terminating
% 72.21/71.72  eprover: CPU time limit exceeded, terminating
% 74.30/73.73  eprover: CPU time limit exceeded, terminating
% 76.34/75.74  eprover: CPU time limit exceeded, terminating
% 78.35/77.76  eprover: CPU time limit exceeded, terminating
% 80.37/79.78  eprover: CPU time limit exceeded, terminating
% 82.40/81.99  eprover: CPU time limit exceeded, terminating
% 84.47/84.13  eprover: CPU time limit exceeded, terminating
% 86.49/86.26  eprover: CPU time limit exceeded, terminating
% 88.53/88.37  eprover: CPU time limit exceeded, terminating
% 90.53/90.49  eprover: CPU time limit exceeded, terminating
% 92.56/92.69  eprover: CPU time limit exceeded, terminating
% 94.59/94.70  eprover: CPU time limit exceeded, terminating
% 96.61/96.71  eprover: CPU time limit exceeded, terminating
% 98.66/98.71  eprover: CPU time limit exceeded, terminating
% 100.69/100.72  eprover: CPU time limit exceeded, terminating
% 102.67/102.73  eprover: CPU time limit exceeded, terminating
% 104.78/104.74  eprover: CPU time limit exceeded, terminating
% 106.82/106.75  eprover: CPU time limit exceeded, terminating
% 108.87/108.76  eprover: CPU time limit exceeded, terminating
% 110.86/110.77  eprover: CPU time limit exceeded, terminating
% 112.88/112.78  eprover: CPU time limit exceeded, terminating
% 114.95/114.79  eprover: CPU time limit exceeded, terminating
% 116.94/116.80  eprover: CPU time limit exceeded, terminating
% 119.00/118.80  eprover: CPU time limit exceeded, terminating
% 121.00/120.81  eprover: CPU time limit exceeded, terminating
% 123.06/122.82  eprover: CPU time limit exceeded, terminating
% 125.11/124.83  eprover: CPU time limit exceeded, terminating
% 127.09/126.84  eprover: CPU time limit exceeded, terminating
% 129.18/128.85  eprover: CPU time limit exceeded, terminating
% 131.21/130.86  eprover: CPU time limit exceeded, terminating
% 133.23/132.87  eprover: CPU time limit exceeded, terminating
% 135.28/134.88  eprover: CPU time limit exceeded, terminating
% 137.27/136.88  eprover: CPU time limit exceeded, terminating
% 139.32/138.89  eprover: CPU time limit exceeded, terminating
% 141.34/140.90  eprover: CPU time limit exceeded, terminating
% 143.34/142.91  eprover: CPU time limit exceeded, terminating
% 145.35/144.92  eprover: CPU time limit exceeded, terminating
% 147.38/146.93  eprover: CPU time limit exceeded, terminating
% 149.45/148.94  eprover: CPU time limit exceeded, terminating
% 151.47/150.95  eprover: CPU time limit exceeded, terminating
% 153.52/152.96  eprover: CPU time limit exceeded, terminating
% 155.53/154.97  eprover: CPU time limit exceeded, terminating
% 157.54/156.98  eprover: CPU time limit exceeded, terminating
% 159.60/158.99  eprover: CPU time limit exceeded, terminating
% 161.59/161.00  eprover: CPU time limit exceeded, terminating
% 163.65/163.01  eprover: CPU time limit exceeded, terminating
% 165.63/165.02  eprover: CPU time limit exceeded, terminating
% 167.66/167.03  eprover: CPU time limit exceeded, terminating
% 169.71/169.04  eprover: CPU time limit exceeded, terminating
% 171.75/171.04  eprover: CPU time limit exceeded, terminating
% 173.77/173.05  eprover: CPU time limit exceeded, terminating
% 175.79/175.06  eprover: CPU time limit exceeded, terminating
% 177.83/177.07  eprover: CPU time limit exceeded, terminating
% 179.82/179.08  eprover: CPU time limit exceeded, terminating
% 181.87/181.09  eprover: CPU time limit exceeded, terminating
% 183.89/183.10  eprover: CPU time limit exceeded, terminating
% 185.91/185.11  eprover: CPU time limit exceeded, terminating
% 187.93/187.12  eprover: CPU time limit exceeded, terminating
% 189.97/189.13  eprover: CPU time limit exceeded, terminating
% 192.02/191.14  eprover: CPU time limit exceeded, terminating
% 194.06/193.15  eprover: CPU time limit exceeded, terminating
% 196.08/195.16  eprover: CPU time limit exceeded, terminating
% 198.10/197.17  eprover: CPU time limit exceeded, terminating
% 200.10/199.18  eprover: CPU time limit exceeded, terminating
% 202.14/201.19  eprover: CPU time limit exceeded, terminating
% 204.15/203.20  eprover: CPU time limit exceeded, terminating
% 206.22/205.21  eprover: CPU time limit exceeded, terminating
% 208.21/207.21  eprover: CPU time limit exceeded, terminating
% 210.27/209.22  eprover: CPU time limit exceeded, terminating
% 212.26/211.23  eprover: CPU time limit exceeded, terminating
% 214.26/213.24  eprover: CPU time limit exceeded, terminating
% 216.36/215.25  eprover: CPU time limit exceeded, terminating
% 218.37/217.26  eprover: CPU time limit exceeded, terminating
% 220.39/219.27  eprover: CPU time limit exceeded, terminating
% 222.41/221.28  eprover: CPU time limit exceeded, terminating
% 224.44/223.29  eprover: CPU time limit exceeded, terminating
% 226.48/225.30  eprover: CPU time limit exceeded, terminating
% 228.47/227.30  eprover: CPU time limit exceeded, terminating
% 230.49/229.32  eprover: CPU time limit exceeded, terminating
% 232.52/231.33  eprover: CPU time limit exceeded, terminating
% 234.60/233.33  eprover: CPU time limit exceeded, terminating
% 236.61/235.34  eprover: CPU time limit exceeded, terminating
% 238.64/237.35  eprover: CPU time limit exceeded, terminating
% 240.67/239.36  eprover: CPU time limit exceeded, terminating
% 242.69/241.37  eprover: CPU time limit exceeded, terminating
% 244.73/243.38  eprover: CPU time limit exceeded, terminating
% 246.76/245.39  eprover: CPU time limit exceeded, terminating
% 248.76/247.40  eprover: CPU time limit exceeded, terminating
% 250.76/249.41  eprover: CPU time limit exceeded, terminating
% 252.81/251.42  eprover: CPU time limit exceeded, terminating
% 254.87/253.43  eprover: CPU time limit exceeded, terminating
% 256.88/255.44  eprover: CPU time limit exceeded, terminating
% 258.87/257.45  eprover: CPU time limit exceeded, terminating
% 260.97/259.46  eprover: CPU time limit exceeded, terminating
% 262.97/261.47  eprover: CPU time limit exceeded, terminating
% 264.98/263.47  eprover: CPU time limit exceeded, terminating
% 267.04/265.48  eprover: CPU time limit exceeded, terminating
% 269.02/267.49  eprover: CPU time limit exceeded, terminating
% 271.07/269.50  eprover: CPU time limit exceeded, terminating
% 273.11/271.51  eprover: CPU time limit exceeded, terminating
% 275.17/273.52  eprover: CPU time limit exceeded, terminating
% 277.20/275.53  eprover: CPU time limit exceeded, terminating
% 279.16/277.54  eprover: CPU time limit exceeded, terminating
% 281.25/279.55  eprover: CPU time limit exceeded, terminating
% 283.30/281.56  eprover: CPU time limit exceeded, terminating
% 285.30/283.57  eprover: CPU time limit exceeded, terminating
% 287.36/285.58  eprover: CPU time limit exceeded, terminating
% 289.39/287.59  eprover: CPU time limit exceeded, terminating
% 291.42/289.60  eprover: CPU time limit exceeded, terminating
% 293.45/291.61  eprover: CPU time limit exceeded, terminating
% 295.46/293.61  eprover: CPU time limit exceeded, terminating
% 297.46/295.62  eprover: CPU time limit exceeded, terminating
% 299.53/297.63  eprover: CPU time limit exceeded, terminating
% 300.02/298.07  eprover: CPU time limit exceeded, terminating
% 300.02/298.09  Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------