TSTP Solution File: SWW299+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWW299+1 : TPTP v8.1.0. Released v5.2.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n017.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:34 EDT 2022
% Result : Timeout 287.99s 244.67s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : SWW299+1 : TPTP v8.1.0. Released v5.2.0.
% 0.12/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n017.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Sat Jun 4 21:19:15 EDT 2022
% 0.13/0.34 % CPUTime :
% 53.39/53.02 eprover: CPU time limit exceeded, terminating
% 55.86/55.04 eprover: CPU time limit exceeded, terminating
% 58.27/57.06 eprover: CPU time limit exceeded, terminating
% 60.77/59.07 eprover: CPU time limit exceeded, terminating
% 63.17/61.09 eprover: CPU time limit exceeded, terminating
% 65.65/63.11 eprover: CPU time limit exceeded, terminating
% 68.11/65.12 eprover: CPU time limit exceeded, terminating
% 70.63/67.14 eprover: CPU time limit exceeded, terminating
% 73.07/69.16 eprover: CPU time limit exceeded, terminating
% 75.54/71.17 eprover: CPU time limit exceeded, terminating
% 78.05/73.19 eprover: CPU time limit exceeded, terminating
% 80.53/75.21 eprover: CPU time limit exceeded, terminating
% 83.03/77.22 eprover: CPU time limit exceeded, terminating
% 85.48/79.24 eprover: CPU time limit exceeded, terminating
% 87.94/81.26 eprover: CPU time limit exceeded, terminating
% 90.43/83.27 eprover: CPU time limit exceeded, terminating
% 92.94/85.29 eprover: CPU time limit exceeded, terminating
% 95.42/87.31 eprover: CPU time limit exceeded, terminating
% 97.93/89.33 eprover: CPU time limit exceeded, terminating
% 100.37/91.34 eprover: CPU time limit exceeded, terminating
% 102.84/93.36 eprover: CPU time limit exceeded, terminating
% 105.33/95.38 eprover: CPU time limit exceeded, terminating
% 107.77/97.39 eprover: CPU time limit exceeded, terminating
% 110.27/99.41 eprover: CPU time limit exceeded, terminating
% 112.74/101.43 eprover: CPU time limit exceeded, terminating
% 115.18/103.44 eprover: CPU time limit exceeded, terminating
% 117.64/105.46 eprover: CPU time limit exceeded, terminating
% 120.12/107.48 eprover: CPU time limit exceeded, terminating
% 122.56/109.49 eprover: CPU time limit exceeded, terminating
% 125.08/111.51 eprover: CPU time limit exceeded, terminating
% 127.63/113.53 eprover: CPU time limit exceeded, terminating
% 130.11/115.55 eprover: CPU time limit exceeded, terminating
% 132.52/117.56 eprover: CPU time limit exceeded, terminating
% 135.02/119.58 eprover: CPU time limit exceeded, terminating
% 137.51/121.60 eprover: CPU time limit exceeded, terminating
% 139.95/123.62 eprover: CPU time limit exceeded, terminating
% 142.39/125.64 eprover: CPU time limit exceeded, terminating
% 144.87/127.65 eprover: CPU time limit exceeded, terminating
% 147.34/129.67 eprover: CPU time limit exceeded, terminating
% 149.71/131.69 eprover: CPU time limit exceeded, terminating
% 152.27/133.71 eprover: CPU time limit exceeded, terminating
% 154.72/135.72 eprover: CPU time limit exceeded, terminating
% 157.20/137.74 eprover: CPU time limit exceeded, terminating
% 159.63/139.76 eprover: CPU time limit exceeded, terminating
% 162.19/141.78 eprover: CPU time limit exceeded, terminating
% 164.61/143.79 eprover: CPU time limit exceeded, terminating
% 167.14/145.81 eprover: CPU time limit exceeded, terminating
% 169.60/147.83 eprover: CPU time limit exceeded, terminating
% 171.99/149.84 eprover: CPU time limit exceeded, terminating
% 174.42/151.86 eprover: CPU time limit exceeded, terminating
% 176.89/153.88 eprover: CPU time limit exceeded, terminating
% 179.43/155.90 eprover: CPU time limit exceeded, terminating
% 181.86/157.91 eprover: CPU time limit exceeded, terminating
% 184.39/159.93 eprover: CPU time limit exceeded, terminating
% 186.86/161.95 eprover: CPU time limit exceeded, terminating
% 189.31/163.97 eprover: CPU time limit exceeded, terminating
% 191.76/165.99 eprover: CPU time limit exceeded, terminating
% 194.22/168.00 eprover: CPU time limit exceeded, terminating
% 196.70/170.02 eprover: CPU time limit exceeded, terminating
% 199.20/172.04 eprover: CPU time limit exceeded, terminating
% 201.65/174.06 eprover: CPU time limit exceeded, terminating
% 204.12/176.07 eprover: CPU time limit exceeded, terminating
% 206.62/178.09 eprover: CPU time limit exceeded, terminating
% 209.05/180.11 eprover: CPU time limit exceeded, terminating
% 211.52/182.13 eprover: CPU time limit exceeded, terminating
% 213.92/184.14 eprover: CPU time limit exceeded, terminating
% 216.41/186.16 eprover: CPU time limit exceeded, terminating
% 218.84/188.18 eprover: CPU time limit exceeded, terminating
% 221.37/190.20 eprover: CPU time limit exceeded, terminating
% 223.84/192.21 eprover: CPU time limit exceeded, terminating
% 226.33/194.23 eprover: CPU time limit exceeded, terminating
% 228.82/196.25 eprover: CPU time limit exceeded, terminating
% 231.22/198.27 eprover: CPU time limit exceeded, terminating
% 233.73/200.28 eprover: CPU time limit exceeded, terminating
% 236.19/202.30 eprover: CPU time limit exceeded, terminating
% 238.68/204.32 eprover: CPU time limit exceeded, terminating
% 241.14/206.34 eprover: CPU time limit exceeded, terminating
% 243.61/208.35 eprover: CPU time limit exceeded, terminating
% 246.03/210.37 eprover: CPU time limit exceeded, terminating
% 248.50/212.39 eprover: CPU time limit exceeded, terminating
% 250.98/214.41 eprover: CPU time limit exceeded, terminating
% 253.42/216.42 eprover: CPU time limit exceeded, terminating
% 255.88/218.44 eprover: CPU time limit exceeded, terminating
% 258.40/220.46 eprover: CPU time limit exceeded, terminating
% 260.85/222.48 eprover: CPU time limit exceeded, terminating
% 263.27/224.49 eprover: CPU time limit exceeded, terminating
% 265.83/226.51 eprover: CPU time limit exceeded, terminating
% 268.30/228.53 eprover: CPU time limit exceeded, terminating
% 270.78/230.55 eprover: CPU time limit exceeded, terminating
% 273.21/232.57 eprover: CPU time limit exceeded, terminating
% 275.68/234.58 eprover: CPU time limit exceeded, terminating
% 278.12/236.60 eprover: CPU time limit exceeded, terminating
% 280.58/238.62 eprover: CPU time limit exceeded, terminating
% 283.04/240.64 eprover: CPU time limit exceeded, terminating
% 285.52/242.65 eprover: CPU time limit exceeded, terminating
% 287.99/244.67 eprover: CPU time limit exceeded, terminating
% 290.43/246.69 eprover: CPU time limit exceeded, terminating
% 292.88/248.71 eprover: CPU time limit exceeded, terminating
% 295.32/250.72 eprover: CPU time limit exceeded, terminating
% 297.79/252.74 eprover: CPU time limit exceeded, terminating
% 300.04/254.51 eprover: CPU time limit exceeded, terminating
% 300.04/254.52 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------