TSTP Solution File: SWW477+3 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWW477+3 : TPTP v8.1.0. Released v5.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n027.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 : Thu Jul 21 00:24:59 EDT 2022
% Result : Timeout 286.78s 268.74s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : SWW477+3 : TPTP v8.1.0. Released v5.3.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.12/0.34 % Computer : n027.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 : Sun Jun 5 17:35:23 EDT 2022
% 0.12/0.34 % CPUTime :
% 14.49/14.52 eprover: CPU time limit exceeded, terminating
% 16.69/16.54 eprover: CPU time limit exceeded, terminating
% 18.86/18.55 eprover: CPU time limit exceeded, terminating
% 20.96/20.56 eprover: CPU time limit exceeded, terminating
% 23.16/22.57 eprover: CPU time limit exceeded, terminating
% 25.33/24.58 eprover: CPU time limit exceeded, terminating
% 27.56/26.59 eprover: CPU time limit exceeded, terminating
% 29.72/28.61 eprover: CPU time limit exceeded, terminating
% 31.91/30.62 eprover: CPU time limit exceeded, terminating
% 34.01/32.63 eprover: CPU time limit exceeded, terminating
% 36.18/34.64 eprover: CPU time limit exceeded, terminating
% 38.42/36.65 eprover: CPU time limit exceeded, terminating
% 40.57/38.67 eprover: CPU time limit exceeded, terminating
% 42.73/40.68 eprover: CPU time limit exceeded, terminating
% 44.88/42.69 eprover: CPU time limit exceeded, terminating
% 47.04/44.70 eprover: CPU time limit exceeded, terminating
% 49.23/46.71 eprover: CPU time limit exceeded, terminating
% 51.42/48.73 eprover: CPU time limit exceeded, terminating
% 53.56/50.74 eprover: CPU time limit exceeded, terminating
% 55.74/52.75 eprover: CPU time limit exceeded, terminating
% 57.90/54.76 eprover: CPU time limit exceeded, terminating
% 60.03/56.78 eprover: CPU time limit exceeded, terminating
% 62.21/58.79 eprover: CPU time limit exceeded, terminating
% 64.38/60.80 eprover: CPU time limit exceeded, terminating
% 66.53/62.82 eprover: CPU time limit exceeded, terminating
% 68.72/64.83 eprover: CPU time limit exceeded, terminating
% 70.87/66.85 eprover: CPU time limit exceeded, terminating
% 73.04/68.86 eprover: CPU time limit exceeded, terminating
% 75.17/70.88 eprover: CPU time limit exceeded, terminating
% 77.29/72.90 eprover: CPU time limit exceeded, terminating
% 79.46/74.91 eprover: CPU time limit exceeded, terminating
% 81.62/76.92 eprover: CPU time limit exceeded, terminating
% 83.80/78.95 eprover: CPU time limit exceeded, terminating
% 85.96/80.96 eprover: CPU time limit exceeded, terminating
% 88.11/82.98 eprover: CPU time limit exceeded, terminating
% 90.22/85.00 eprover: CPU time limit exceeded, terminating
% 92.42/87.01 eprover: CPU time limit exceeded, terminating
% 94.60/89.03 eprover: CPU time limit exceeded, terminating
% 96.76/91.04 eprover: CPU time limit exceeded, terminating
% 98.91/93.06 eprover: CPU time limit exceeded, terminating
% 101.04/95.08 eprover: CPU time limit exceeded, terminating
% 103.26/97.09 eprover: CPU time limit exceeded, terminating
% 105.43/99.11 eprover: CPU time limit exceeded, terminating
% 107.57/101.12 eprover: CPU time limit exceeded, terminating
% 109.68/103.14 eprover: CPU time limit exceeded, terminating
% 111.88/105.15 eprover: CPU time limit exceeded, terminating
% 114.08/107.16 eprover: CPU time limit exceeded, terminating
% 116.20/109.18 eprover: CPU time limit exceeded, terminating
% 118.41/111.21 eprover: CPU time limit exceeded, terminating
% 120.57/113.26 eprover: CPU time limit exceeded, terminating
% 122.68/115.30 eprover: CPU time limit exceeded, terminating
% 124.92/117.33 eprover: CPU time limit exceeded, terminating
% 127.01/119.37 eprover: CPU time limit exceeded, terminating
% 129.12/121.41 eprover: CPU time limit exceeded, terminating
% 131.23/123.46 eprover: CPU time limit exceeded, terminating
% 133.36/125.49 eprover: CPU time limit exceeded, terminating
% 135.52/127.52 eprover: CPU time limit exceeded, terminating
% 137.60/129.56 eprover: CPU time limit exceeded, terminating
% 139.72/131.61 eprover: CPU time limit exceeded, terminating
% 141.83/133.65 eprover: CPU time limit exceeded, terminating
% 143.91/135.70 eprover: CPU time limit exceeded, terminating
% 146.13/137.76 eprover: CPU time limit exceeded, terminating
% 148.28/139.80 eprover: CPU time limit exceeded, terminating
% 150.42/141.85 eprover: CPU time limit exceeded, terminating
% 152.60/143.89 eprover: CPU time limit exceeded, terminating
% 154.75/145.94 eprover: CPU time limit exceeded, terminating
% 156.88/147.97 eprover: CPU time limit exceeded, terminating
% 159.03/150.00 eprover: CPU time limit exceeded, terminating
% 161.20/152.01 eprover: CPU time limit exceeded, terminating
% 163.36/154.02 eprover: CPU time limit exceeded, terminating
% 165.52/156.03 eprover: CPU time limit exceeded, terminating
% 167.65/158.04 eprover: CPU time limit exceeded, terminating
% 169.84/160.05 eprover: CPU time limit exceeded, terminating
% 171.98/162.06 eprover: CPU time limit exceeded, terminating
% 174.13/164.07 eprover: CPU time limit exceeded, terminating
% 176.35/166.08 eprover: CPU time limit exceeded, terminating
% 178.54/168.10 eprover: CPU time limit exceeded, terminating
% 180.66/170.11 eprover: CPU time limit exceeded, terminating
% 182.86/172.12 eprover: CPU time limit exceeded, terminating
% 185.03/174.14 eprover: CPU time limit exceeded, terminating
% 187.17/176.15 eprover: CPU time limit exceeded, terminating
% 189.31/178.16 eprover: CPU time limit exceeded, terminating
% 191.49/180.17 eprover: CPU time limit exceeded, terminating
% 193.69/182.18 eprover: CPU time limit exceeded, terminating
% 195.85/184.19 eprover: CPU time limit exceeded, terminating
% 198.00/186.21 eprover: CPU time limit exceeded, terminating
% 200.16/188.22 eprover: CPU time limit exceeded, terminating
% 202.32/190.23 eprover: CPU time limit exceeded, terminating
% 204.49/192.24 eprover: CPU time limit exceeded, terminating
% 206.69/194.25 eprover: CPU time limit exceeded, terminating
% 208.80/196.27 eprover: CPU time limit exceeded, terminating
% 210.98/198.28 eprover: CPU time limit exceeded, terminating
% 213.16/200.29 eprover: CPU time limit exceeded, terminating
% 215.27/202.30 eprover: CPU time limit exceeded, terminating
% 217.49/204.31 eprover: CPU time limit exceeded, terminating
% 219.67/206.32 eprover: CPU time limit exceeded, terminating
% 221.80/208.34 eprover: CPU time limit exceeded, terminating
% 223.99/210.35 eprover: CPU time limit exceeded, terminating
% 226.12/212.36 eprover: CPU time limit exceeded, terminating
% 228.34/214.37 eprover: CPU time limit exceeded, terminating
% 230.52/216.38 eprover: CPU time limit exceeded, terminating
% 232.64/218.39 eprover: CPU time limit exceeded, terminating
% 234.83/220.40 eprover: CPU time limit exceeded, terminating
% 236.98/222.42 eprover: CPU time limit exceeded, terminating
% 239.16/224.43 eprover: CPU time limit exceeded, terminating
% 241.35/226.44 eprover: CPU time limit exceeded, terminating
% 243.38/228.45 eprover: CPU time limit exceeded, terminating
% 245.63/230.47 eprover: CPU time limit exceeded, terminating
% 247.82/232.48 eprover: CPU time limit exceeded, terminating
% 249.96/234.50 eprover: CPU time limit exceeded, terminating
% 252.14/236.52 eprover: CPU time limit exceeded, terminating
% 254.25/238.54 eprover: CPU time limit exceeded, terminating
% 256.42/240.55 eprover: CPU time limit exceeded, terminating
% 258.63/242.56 eprover: CPU time limit exceeded, terminating
% 260.78/244.57 eprover: CPU time limit exceeded, terminating
% 262.92/246.58 eprover: CPU time limit exceeded, terminating
% 265.14/248.60 eprover: CPU time limit exceeded, terminating
% 267.25/250.61 eprover: CPU time limit exceeded, terminating
% 269.43/252.62 eprover: CPU time limit exceeded, terminating
% 271.66/254.64 eprover: CPU time limit exceeded, terminating
% 273.81/256.67 eprover: CPU time limit exceeded, terminating
% 275.95/258.68 eprover: CPU time limit exceeded, terminating
% 278.10/260.69 eprover: CPU time limit exceeded, terminating
% 280.30/262.70 eprover: CPU time limit exceeded, terminating
% 282.44/264.72 eprover: CPU time limit exceeded, terminating
% 284.63/266.73 eprover: CPU time limit exceeded, terminating
% 286.78/268.74 eprover: CPU time limit exceeded, terminating
% 288.85/270.76 eprover: CPU time limit exceeded, terminating
% 291.02/272.77 eprover: CPU time limit exceeded, terminating
% 293.29/274.78 eprover: CPU time limit exceeded, terminating
% 295.48/276.79 eprover: CPU time limit exceeded, terminating
% 297.61/278.80 eprover: CPU time limit exceeded, terminating
% 299.79/280.82 eprover: CPU time limit exceeded, terminating
% 300.07/281.08 eprover: CPU time limit exceeded, terminating
% 300.07/281.10 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------