TSTP Solution File: SWW367+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWW367+1 : TPTP v8.1.0. Released v5.2.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n022.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 286.04s 244.24s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.13 % Problem : SWW367+1 : TPTP v8.1.0. Released v5.2.0.
% 0.04/0.14 % Command : run_infinox %s
% 0.13/0.35 % Computer : n022.cluster.edu
% 0.13/0.35 % Model : x86_64 x86_64
% 0.13/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.35 % Memory : 8042.1875MB
% 0.13/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.35 % CPULimit : 300
% 0.13/0.35 % WCLimit : 600
% 0.13/0.35 % DateTime : Sat Jun 4 10:18:36 EDT 2022
% 0.13/0.35 % CPUTime :
% 54.88/54.64 eprover: CPU time limit exceeded, terminating
% 57.39/56.65 eprover: CPU time limit exceeded, terminating
% 59.84/58.67 eprover: CPU time limit exceeded, terminating
% 62.27/60.69 eprover: CPU time limit exceeded, terminating
% 64.70/62.71 eprover: CPU time limit exceeded, terminating
% 67.20/64.72 eprover: CPU time limit exceeded, terminating
% 69.67/66.74 eprover: CPU time limit exceeded, terminating
% 72.16/68.76 eprover: CPU time limit exceeded, terminating
% 74.64/70.78 eprover: CPU time limit exceeded, terminating
% 77.12/72.79 eprover: CPU time limit exceeded, terminating
% 79.55/74.81 eprover: CPU time limit exceeded, terminating
% 82.08/76.83 eprover: CPU time limit exceeded, terminating
% 84.56/78.85 eprover: CPU time limit exceeded, terminating
% 86.99/80.87 eprover: CPU time limit exceeded, terminating
% 89.45/82.88 eprover: CPU time limit exceeded, terminating
% 91.93/84.90 eprover: CPU time limit exceeded, terminating
% 94.39/86.92 eprover: CPU time limit exceeded, terminating
% 96.84/88.94 eprover: CPU time limit exceeded, terminating
% 99.21/90.96 eprover: CPU time limit exceeded, terminating
% 101.75/92.97 eprover: CPU time limit exceeded, terminating
% 104.18/94.99 eprover: CPU time limit exceeded, terminating
% 106.66/97.01 eprover: CPU time limit exceeded, terminating
% 109.08/99.02 eprover: CPU time limit exceeded, terminating
% 111.59/101.04 eprover: CPU time limit exceeded, terminating
% 114.05/103.06 eprover: CPU time limit exceeded, terminating
% 116.49/105.08 eprover: CPU time limit exceeded, terminating
% 118.97/107.09 eprover: CPU time limit exceeded, terminating
% 121.37/109.11 eprover: CPU time limit exceeded, terminating
% 123.81/111.13 eprover: CPU time limit exceeded, terminating
% 126.36/113.15 eprover: CPU time limit exceeded, terminating
% 128.82/115.17 eprover: CPU time limit exceeded, terminating
% 131.24/117.18 eprover: CPU time limit exceeded, terminating
% 133.73/119.20 eprover: CPU time limit exceeded, terminating
% 136.19/121.22 eprover: CPU time limit exceeded, terminating
% 138.65/123.23 eprover: CPU time limit exceeded, terminating
% 141.09/125.25 eprover: CPU time limit exceeded, terminating
% 143.57/127.27 eprover: CPU time limit exceeded, terminating
% 145.96/129.28 eprover: CPU time limit exceeded, terminating
% 148.44/131.30 eprover: CPU time limit exceeded, terminating
% 150.86/133.32 eprover: CPU time limit exceeded, terminating
% 153.39/135.34 eprover: CPU time limit exceeded, terminating
% 155.83/137.36 eprover: CPU time limit exceeded, terminating
% 158.29/139.38 eprover: CPU time limit exceeded, terminating
% 160.73/141.39 eprover: CPU time limit exceeded, terminating
% 163.17/143.41 eprover: CPU time limit exceeded, terminating
% 165.67/145.43 eprover: CPU time limit exceeded, terminating
% 168.09/147.44 eprover: CPU time limit exceeded, terminating
% 170.53/149.46 eprover: CPU time limit exceeded, terminating
% 173.02/151.48 eprover: CPU time limit exceeded, terminating
% 175.45/153.50 eprover: CPU time limit exceeded, terminating
% 177.97/155.52 eprover: CPU time limit exceeded, terminating
% 180.38/157.53 eprover: CPU time limit exceeded, terminating
% 182.86/159.55 eprover: CPU time limit exceeded, terminating
% 185.29/161.57 eprover: CPU time limit exceeded, terminating
% 187.72/163.58 eprover: CPU time limit exceeded, terminating
% 190.12/165.59 eprover: CPU time limit exceeded, terminating
% 192.67/167.61 eprover: CPU time limit exceeded, terminating
% 195.07/169.62 eprover: CPU time limit exceeded, terminating
% 197.58/171.64 eprover: CPU time limit exceeded, terminating
% 200.00/173.65 eprover: CPU time limit exceeded, terminating
% 202.45/175.67 eprover: CPU time limit exceeded, terminating
% 204.87/177.69 eprover: CPU time limit exceeded, terminating
% 207.29/179.70 eprover: CPU time limit exceeded, terminating
% 209.75/181.71 eprover: CPU time limit exceeded, terminating
% 212.25/183.73 eprover: CPU time limit exceeded, terminating
% 214.74/185.75 eprover: CPU time limit exceeded, terminating
% 217.21/187.76 eprover: CPU time limit exceeded, terminating
% 219.65/189.78 eprover: CPU time limit exceeded, terminating
% 222.13/191.80 eprover: CPU time limit exceeded, terminating
% 224.58/193.82 eprover: CPU time limit exceeded, terminating
% 227.02/195.83 eprover: CPU time limit exceeded, terminating
% 229.49/197.85 eprover: CPU time limit exceeded, terminating
% 232.01/199.87 eprover: CPU time limit exceeded, terminating
% 234.44/201.89 eprover: CPU time limit exceeded, terminating
% 236.86/203.90 eprover: CPU time limit exceeded, terminating
% 239.33/205.92 eprover: CPU time limit exceeded, terminating
% 241.85/207.94 eprover: CPU time limit exceeded, terminating
% 244.28/209.95 eprover: CPU time limit exceeded, terminating
% 246.76/211.97 eprover: CPU time limit exceeded, terminating
% 249.23/213.99 eprover: CPU time limit exceeded, terminating
% 251.67/216.01 eprover: CPU time limit exceeded, terminating
% 254.12/218.03 eprover: CPU time limit exceeded, terminating
% 256.61/220.04 eprover: CPU time limit exceeded, terminating
% 259.08/222.06 eprover: CPU time limit exceeded, terminating
% 261.53/224.07 eprover: CPU time limit exceeded, terminating
% 263.98/226.09 eprover: CPU time limit exceeded, terminating
% 266.41/228.10 eprover: CPU time limit exceeded, terminating
% 268.85/230.12 eprover: CPU time limit exceeded, terminating
% 271.30/232.14 eprover: CPU time limit exceeded, terminating
% 273.81/234.15 eprover: CPU time limit exceeded, terminating
% 276.25/236.17 eprover: CPU time limit exceeded, terminating
% 278.69/238.19 eprover: CPU time limit exceeded, terminating
% 281.17/240.20 eprover: CPU time limit exceeded, terminating
% 283.62/242.22 eprover: CPU time limit exceeded, terminating
% 286.04/244.24 eprover: CPU time limit exceeded, terminating
% 288.53/246.25 eprover: CPU time limit exceeded, terminating
% 290.98/248.27 eprover: CPU time limit exceeded, terminating
% 293.44/250.29 eprover: CPU time limit exceeded, terminating
% 295.89/252.31 eprover: CPU time limit exceeded, terminating
% 298.32/254.32 eprover: CPU time limit exceeded, terminating
% 300.07/255.56 eprover: CPU time limit exceeded, terminating
% 300.07/255.58 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------