TSTP Solution File: SWW372+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWW372+1 : TPTP v8.1.0. Released v5.2.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n025.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:41 EDT 2022
% Result : Timeout 285.82s 242.31s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : SWW372+1 : TPTP v8.1.0. Released v5.2.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.14/0.34 % Computer : n025.cluster.edu
% 0.14/0.34 % Model : x86_64 x86_64
% 0.14/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.34 % Memory : 8042.1875MB
% 0.14/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.34 % CPULimit : 300
% 0.14/0.34 % WCLimit : 600
% 0.14/0.34 % DateTime : Mon Jun 6 04:42:47 EDT 2022
% 0.14/0.34 % CPUTime :
% 51.14/50.81 eprover: CPU time limit exceeded, terminating
% 53.58/52.83 eprover: CPU time limit exceeded, terminating
% 55.99/54.84 eprover: CPU time limit exceeded, terminating
% 58.46/56.86 eprover: CPU time limit exceeded, terminating
% 60.95/58.87 eprover: CPU time limit exceeded, terminating
% 63.31/60.88 eprover: CPU time limit exceeded, terminating
% 65.90/62.90 eprover: CPU time limit exceeded, terminating
% 68.33/64.92 eprover: CPU time limit exceeded, terminating
% 70.81/66.94 eprover: CPU time limit exceeded, terminating
% 73.29/68.95 eprover: CPU time limit exceeded, terminating
% 75.78/70.97 eprover: CPU time limit exceeded, terminating
% 78.17/72.98 eprover: CPU time limit exceeded, terminating
% 80.67/75.00 eprover: CPU time limit exceeded, terminating
% 83.10/77.01 eprover: CPU time limit exceeded, terminating
% 85.52/79.03 eprover: CPU time limit exceeded, terminating
% 87.97/81.04 eprover: CPU time limit exceeded, terminating
% 90.40/83.06 eprover: CPU time limit exceeded, terminating
% 92.87/85.08 eprover: CPU time limit exceeded, terminating
% 95.38/87.09 eprover: CPU time limit exceeded, terminating
% 97.76/89.11 eprover: CPU time limit exceeded, terminating
% 100.21/91.12 eprover: CPU time limit exceeded, terminating
% 102.72/93.14 eprover: CPU time limit exceeded, terminating
% 105.14/95.15 eprover: CPU time limit exceeded, terminating
% 107.58/97.17 eprover: CPU time limit exceeded, terminating
% 110.09/99.18 eprover: CPU time limit exceeded, terminating
% 112.60/101.20 eprover: CPU time limit exceeded, terminating
% 115.05/103.21 eprover: CPU time limit exceeded, terminating
% 117.52/105.23 eprover: CPU time limit exceeded, terminating
% 119.95/107.24 eprover: CPU time limit exceeded, terminating
% 122.42/109.25 eprover: CPU time limit exceeded, terminating
% 124.86/111.27 eprover: CPU time limit exceeded, terminating
% 127.35/113.29 eprover: CPU time limit exceeded, terminating
% 129.89/115.30 eprover: CPU time limit exceeded, terminating
% 132.34/117.32 eprover: CPU time limit exceeded, terminating
% 134.82/119.33 eprover: CPU time limit exceeded, terminating
% 137.25/121.35 eprover: CPU time limit exceeded, terminating
% 139.75/123.36 eprover: CPU time limit exceeded, terminating
% 142.20/125.38 eprover: CPU time limit exceeded, terminating
% 144.69/127.39 eprover: CPU time limit exceeded, terminating
% 147.19/129.41 eprover: CPU time limit exceeded, terminating
% 149.69/131.43 eprover: CPU time limit exceeded, terminating
% 152.07/133.44 eprover: CPU time limit exceeded, terminating
% 154.62/135.46 eprover: CPU time limit exceeded, terminating
% 157.12/137.47 eprover: CPU time limit exceeded, terminating
% 159.55/139.49 eprover: CPU time limit exceeded, terminating
% 162.06/141.50 eprover: CPU time limit exceeded, terminating
% 164.47/143.52 eprover: CPU time limit exceeded, terminating
% 167.01/145.53 eprover: CPU time limit exceeded, terminating
% 169.51/147.55 eprover: CPU time limit exceeded, terminating
% 171.94/149.56 eprover: CPU time limit exceeded, terminating
% 174.40/151.58 eprover: CPU time limit exceeded, terminating
% 176.93/153.59 eprover: CPU time limit exceeded, terminating
% 179.40/155.61 eprover: CPU time limit exceeded, terminating
% 181.79/157.62 eprover: CPU time limit exceeded, terminating
% 184.33/159.64 eprover: CPU time limit exceeded, terminating
% 186.78/161.65 eprover: CPU time limit exceeded, terminating
% 189.25/163.67 eprover: CPU time limit exceeded, terminating
% 191.77/165.68 eprover: CPU time limit exceeded, terminating
% 194.24/167.70 eprover: CPU time limit exceeded, terminating
% 196.64/169.71 eprover: CPU time limit exceeded, terminating
% 199.20/171.73 eprover: CPU time limit exceeded, terminating
% 201.65/173.75 eprover: CPU time limit exceeded, terminating
% 204.11/175.76 eprover: CPU time limit exceeded, terminating
% 206.54/177.78 eprover: CPU time limit exceeded, terminating
% 209.03/179.79 eprover: CPU time limit exceeded, terminating
% 211.49/181.81 eprover: CPU time limit exceeded, terminating
% 213.98/183.82 eprover: CPU time limit exceeded, terminating
% 216.38/185.84 eprover: CPU time limit exceeded, terminating
% 218.90/187.86 eprover: CPU time limit exceeded, terminating
% 221.41/189.87 eprover: CPU time limit exceeded, terminating
% 223.80/191.89 eprover: CPU time limit exceeded, terminating
% 226.34/193.90 eprover: CPU time limit exceeded, terminating
% 228.84/195.92 eprover: CPU time limit exceeded, terminating
% 231.30/197.94 eprover: CPU time limit exceeded, terminating
% 233.78/199.95 eprover: CPU time limit exceeded, terminating
% 236.23/201.97 eprover: CPU time limit exceeded, terminating
% 238.75/203.98 eprover: CPU time limit exceeded, terminating
% 241.17/206.00 eprover: CPU time limit exceeded, terminating
% 243.67/208.01 eprover: CPU time limit exceeded, terminating
% 246.16/210.03 eprover: CPU time limit exceeded, terminating
% 248.63/212.05 eprover: CPU time limit exceeded, terminating
% 251.09/214.07 eprover: CPU time limit exceeded, terminating
% 253.54/216.08 eprover: CPU time limit exceeded, terminating
% 256.04/218.10 eprover: CPU time limit exceeded, terminating
% 258.54/220.12 eprover: CPU time limit exceeded, terminating
% 260.97/222.13 eprover: CPU time limit exceeded, terminating
% 263.46/224.15 eprover: CPU time limit exceeded, terminating
% 265.95/226.16 eprover: CPU time limit exceeded, terminating
% 268.47/228.18 eprover: CPU time limit exceeded, terminating
% 270.86/230.20 eprover: CPU time limit exceeded, terminating
% 273.40/232.22 eprover: CPU time limit exceeded, terminating
% 275.88/234.23 eprover: CPU time limit exceeded, terminating
% 278.37/236.25 eprover: CPU time limit exceeded, terminating
% 280.81/238.27 eprover: CPU time limit exceeded, terminating
% 283.33/240.29 eprover: CPU time limit exceeded, terminating
% 285.82/242.31 eprover: CPU time limit exceeded, terminating
% 288.27/244.32 eprover: CPU time limit exceeded, terminating
% 290.74/246.34 eprover: CPU time limit exceeded, terminating
% 293.25/248.35 eprover: CPU time limit exceeded, terminating
% 295.66/250.37 eprover: CPU time limit exceeded, terminating
% 298.20/252.38 eprover: CPU time limit exceeded, terminating
% 300.06/253.79 eprover: CPU time limit exceeded, terminating
% 300.06/253.80 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------