TSTP Solution File: SWW476+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWW476+1 : TPTP v8.1.0. Released v5.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n032.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:57 EDT 2022
% Result : Timeout 286.23s 280.93s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.09/0.10 % Problem : SWW476+1 : TPTP v8.1.0. Released v5.3.0.
% 0.09/0.10 % Command : run_infinox %s
% 0.10/0.29 % Computer : n032.cluster.edu
% 0.10/0.29 % Model : x86_64 x86_64
% 0.10/0.29 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.10/0.29 % Memory : 8042.1875MB
% 0.10/0.29 % OS : Linux 3.10.0-693.el7.x86_64
% 0.10/0.29 % CPULimit : 300
% 0.10/0.29 % WCLimit : 600
% 0.10/0.29 % DateTime : Sun Jun 5 21:57:19 EDT 2022
% 0.14/0.29 % CPUTime :
% 3.05/3.26 eprover: CPU time limit exceeded, terminating
% 5.13/5.27 eprover: CPU time limit exceeded, terminating
% 7.12/7.29 eprover: CPU time limit exceeded, terminating
% 9.17/9.30 eprover: CPU time limit exceeded, terminating
% 11.28/11.31 eprover: CPU time limit exceeded, terminating
% 13.31/13.33 eprover: CPU time limit exceeded, terminating
% 15.31/15.34 eprover: CPU time limit exceeded, terminating
% 17.36/17.35 eprover: CPU time limit exceeded, terminating
% 19.41/19.36 eprover: CPU time limit exceeded, terminating
% 21.40/21.37 eprover: CPU time limit exceeded, terminating
% 23.45/23.38 eprover: CPU time limit exceeded, terminating
% 25.46/25.40 eprover: CPU time limit exceeded, terminating
% 27.55/27.41 eprover: CPU time limit exceeded, terminating
% 29.60/29.42 eprover: CPU time limit exceeded, terminating
% 31.64/31.43 eprover: CPU time limit exceeded, terminating
% 33.62/33.45 eprover: CPU time limit exceeded, terminating
% 35.69/35.46 eprover: CPU time limit exceeded, terminating
% 37.72/37.47 eprover: CPU time limit exceeded, terminating
% 39.71/39.48 eprover: CPU time limit exceeded, terminating
% 41.82/41.49 eprover: CPU time limit exceeded, terminating
% 43.87/43.50 eprover: CPU time limit exceeded, terminating
% 45.89/45.51 eprover: CPU time limit exceeded, terminating
% 47.93/47.53 eprover: CPU time limit exceeded, terminating
% 49.96/49.54 eprover: CPU time limit exceeded, terminating
% 51.98/51.55 eprover: CPU time limit exceeded, terminating
% 54.02/53.56 eprover: CPU time limit exceeded, terminating
% 56.09/55.57 eprover: CPU time limit exceeded, terminating
% 58.08/57.58 eprover: CPU time limit exceeded, terminating
% 60.16/59.60 eprover: CPU time limit exceeded, terminating
% 62.13/61.61 eprover: CPU time limit exceeded, terminating
% 64.22/63.62 eprover: CPU time limit exceeded, terminating
% 66.26/65.63 eprover: CPU time limit exceeded, terminating
% 68.31/67.64 eprover: CPU time limit exceeded, terminating
% 70.28/69.66 eprover: CPU time limit exceeded, terminating
% 72.36/71.67 eprover: CPU time limit exceeded, terminating
% 74.38/73.68 eprover: CPU time limit exceeded, terminating
% 76.46/75.69 eprover: CPU time limit exceeded, terminating
% 78.44/77.70 eprover: CPU time limit exceeded, terminating
% 80.54/79.71 eprover: CPU time limit exceeded, terminating
% 82.59/81.73 eprover: CPU time limit exceeded, terminating
% 84.59/83.74 eprover: CPU time limit exceeded, terminating
% 86.62/85.75 eprover: CPU time limit exceeded, terminating
% 88.71/87.76 eprover: CPU time limit exceeded, terminating
% 90.71/89.78 eprover: CPU time limit exceeded, terminating
% 92.78/91.79 eprover: CPU time limit exceeded, terminating
% 94.74/93.80 eprover: CPU time limit exceeded, terminating
% 96.85/95.81 eprover: CPU time limit exceeded, terminating
% 98.89/97.83 eprover: CPU time limit exceeded, terminating
% 100.93/99.84 eprover: CPU time limit exceeded, terminating
% 102.94/101.85 eprover: CPU time limit exceeded, terminating
% 104.96/103.86 eprover: CPU time limit exceeded, terminating
% 107.01/105.87 eprover: CPU time limit exceeded, terminating
% 109.08/107.88 eprover: CPU time limit exceeded, terminating
% 111.05/109.90 eprover: CPU time limit exceeded, terminating
% 113.15/111.91 eprover: CPU time limit exceeded, terminating
% 115.21/113.92 eprover: CPU time limit exceeded, terminating
% 117.19/115.94 eprover: CPU time limit exceeded, terminating
% 119.26/117.95 eprover: CPU time limit exceeded, terminating
% 121.29/119.96 eprover: CPU time limit exceeded, terminating
% 123.29/121.97 eprover: CPU time limit exceeded, terminating
% 125.33/123.99 eprover: CPU time limit exceeded, terminating
% 127.34/126.00 eprover: CPU time limit exceeded, terminating
% 129.39/128.01 eprover: CPU time limit exceeded, terminating
% 131.49/130.02 eprover: CPU time limit exceeded, terminating
% 133.53/132.03 eprover: CPU time limit exceeded, terminating
% 135.53/134.05 eprover: CPU time limit exceeded, terminating
% 137.53/136.06 eprover: CPU time limit exceeded, terminating
% 139.61/138.07 eprover: CPU time limit exceeded, terminating
% 141.65/140.08 eprover: CPU time limit exceeded, terminating
% 143.73/142.09 eprover: CPU time limit exceeded, terminating
% 145.77/144.11 eprover: CPU time limit exceeded, terminating
% 147.78/146.12 eprover: CPU time limit exceeded, terminating
% 149.84/148.13 eprover: CPU time limit exceeded, terminating
% 151.87/150.14 eprover: CPU time limit exceeded, terminating
% 153.88/152.15 eprover: CPU time limit exceeded, terminating
% 155.89/154.17 eprover: CPU time limit exceeded, terminating
% 158.00/156.18 eprover: CPU time limit exceeded, terminating
% 159.96/158.19 eprover: CPU time limit exceeded, terminating
% 162.00/160.20 eprover: CPU time limit exceeded, terminating
% 164.10/162.21 eprover: CPU time limit exceeded, terminating
% 166.16/164.22 eprover: CPU time limit exceeded, terminating
% 168.15/166.24 eprover: CPU time limit exceeded, terminating
% 170.19/168.25 eprover: CPU time limit exceeded, terminating
% 172.20/170.26 eprover: CPU time limit exceeded, terminating
% 174.22/172.27 eprover: CPU time limit exceeded, terminating
% 176.26/174.28 eprover: CPU time limit exceeded, terminating
% 180.22/176.29 eprover: CPU time limit exceeded, terminating
% 182.33/178.31 eprover: CPU time limit exceeded, terminating
% 184.35/180.32 eprover: CPU time limit exceeded, terminating
% 186.39/182.33 eprover: CPU time limit exceeded, terminating
% 188.39/184.34 eprover: CPU time limit exceeded, terminating
% 190.41/186.36 eprover: CPU time limit exceeded, terminating
% 192.46/188.37 eprover: CPU time limit exceeded, terminating
% 194.49/190.38 eprover: CPU time limit exceeded, terminating
% 196.50/192.39 eprover: CPU time limit exceeded, terminating
% 198.63/194.40 eprover: CPU time limit exceeded, terminating
% 200.64/196.41 eprover: CPU time limit exceeded, terminating
% 202.70/198.43 eprover: CPU time limit exceeded, terminating
% 204.72/200.44 eprover: CPU time limit exceeded, terminating
% 206.74/202.45 eprover: CPU time limit exceeded, terminating
% 208.73/204.46 eprover: CPU time limit exceeded, terminating
% 210.78/206.47 eprover: CPU time limit exceeded, terminating
% 212.83/208.49 eprover: CPU time limit exceeded, terminating
% 214.84/210.50 eprover: CPU time limit exceeded, terminating
% 216.95/212.51 eprover: CPU time limit exceeded, terminating
% 218.99/214.52 eprover: CPU time limit exceeded, terminating
% 221.04/216.53 eprover: CPU time limit exceeded, terminating
% 223.02/218.55 eprover: CPU time limit exceeded, terminating
% 225.07/220.56 eprover: CPU time limit exceeded, terminating
% 227.10/222.57 eprover: CPU time limit exceeded, terminating
% 229.12/224.58 eprover: CPU time limit exceeded, terminating
% 231.24/226.59 eprover: CPU time limit exceeded, terminating
% 233.27/228.61 eprover: CPU time limit exceeded, terminating
% 235.29/230.62 eprover: CPU time limit exceeded, terminating
% 237.33/232.63 eprover: CPU time limit exceeded, terminating
% 239.37/234.64 eprover: CPU time limit exceeded, terminating
% 241.36/236.65 eprover: CPU time limit exceeded, terminating
% 243.40/238.67 eprover: CPU time limit exceeded, terminating
% 245.45/240.68 eprover: CPU time limit exceeded, terminating
% 247.54/242.69 eprover: CPU time limit exceeded, terminating
% 249.57/244.70 eprover: CPU time limit exceeded, terminating
% 251.61/246.71 eprover: CPU time limit exceeded, terminating
% 253.66/248.73 eprover: CPU time limit exceeded, terminating
% 255.64/250.74 eprover: CPU time limit exceeded, terminating
% 257.68/252.75 eprover: CPU time limit exceeded, terminating
% 259.71/254.76 eprover: CPU time limit exceeded, terminating
% 261.72/256.77 eprover: CPU time limit exceeded, terminating
% 263.77/258.79 eprover: CPU time limit exceeded, terminating
% 265.79/260.80 eprover: CPU time limit exceeded, terminating
% 267.92/262.81 eprover: CPU time limit exceeded, terminating
% 269.93/264.83 eprover: CPU time limit exceeded, terminating
% 271.99/266.84 eprover: CPU time limit exceeded, terminating
% 273.99/268.85 eprover: CPU time limit exceeded, terminating
% 276.08/270.87 eprover: CPU time limit exceeded, terminating
% 278.07/272.88 eprover: CPU time limit exceeded, terminating
% 280.15/274.89 eprover: CPU time limit exceeded, terminating
% 282.17/276.90 eprover: CPU time limit exceeded, terminating
% 284.21/278.92 eprover: CPU time limit exceeded, terminating
% 286.23/280.93 eprover: CPU time limit exceeded, terminating
% 288.29/282.94 eprover: CPU time limit exceeded, terminating
% 290.30/284.95 eprover: CPU time limit exceeded, terminating
% 292.32/286.96 eprover: CPU time limit exceeded, terminating
% 294.36/288.98 eprover: CPU time limit exceeded, terminating
% 296.39/290.99 eprover: CPU time limit exceeded, terminating
% 298.49/293.00 eprover: CPU time limit exceeded, terminating
% 300.12/294.61 eprover: CPU time limit exceeded, terminating
% 300.12/294.62 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------