TSTP Solution File: SWW337+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWW337+1 : TPTP v8.1.0. Released v5.2.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n028.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:38 EDT 2022
% Result : Timeout 285.98s 243.68s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.13 % Problem : SWW337+1 : TPTP v8.1.0. Released v5.2.0.
% 0.14/0.14 % Command : run_infinox %s
% 0.14/0.35 % Computer : n028.cluster.edu
% 0.14/0.35 % Model : x86_64 x86_64
% 0.14/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.35 % Memory : 8042.1875MB
% 0.14/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.35 % CPULimit : 300
% 0.14/0.35 % WCLimit : 600
% 0.14/0.35 % DateTime : Sun Jun 5 05:59:27 EDT 2022
% 0.14/0.35 % CPUTime :
% 56.39/56.00 eprover: CPU time limit exceeded, terminating
% 58.84/58.02 eprover: CPU time limit exceeded, terminating
% 61.27/60.04 eprover: CPU time limit exceeded, terminating
% 63.77/62.05 eprover: CPU time limit exceeded, terminating
% 66.19/64.07 eprover: CPU time limit exceeded, terminating
% 68.69/66.09 eprover: CPU time limit exceeded, terminating
% 71.16/68.11 eprover: CPU time limit exceeded, terminating
% 73.65/70.12 eprover: CPU time limit exceeded, terminating
% 76.13/72.14 eprover: CPU time limit exceeded, terminating
% 78.65/74.16 eprover: CPU time limit exceeded, terminating
% 81.15/76.17 eprover: CPU time limit exceeded, terminating
% 83.53/78.20 eprover: CPU time limit exceeded, terminating
% 86.06/80.22 eprover: CPU time limit exceeded, terminating
% 88.59/82.23 eprover: CPU time limit exceeded, terminating
% 91.02/84.26 eprover: CPU time limit exceeded, terminating
% 93.47/86.28 eprover: CPU time limit exceeded, terminating
% 95.88/88.29 eprover: CPU time limit exceeded, terminating
% 98.36/90.31 eprover: CPU time limit exceeded, terminating
% 100.88/92.33 eprover: CPU time limit exceeded, terminating
% 103.33/94.35 eprover: CPU time limit exceeded, terminating
% 105.75/96.37 eprover: CPU time limit exceeded, terminating
% 108.31/98.38 eprover: CPU time limit exceeded, terminating
% 110.79/100.40 eprover: CPU time limit exceeded, terminating
% 113.28/102.42 eprover: CPU time limit exceeded, terminating
% 115.73/104.44 eprover: CPU time limit exceeded, terminating
% 118.16/106.45 eprover: CPU time limit exceeded, terminating
% 120.57/108.47 eprover: CPU time limit exceeded, terminating
% 123.08/110.49 eprover: CPU time limit exceeded, terminating
% 125.58/112.51 eprover: CPU time limit exceeded, terminating
% 128.02/114.52 eprover: CPU time limit exceeded, terminating
% 130.52/116.54 eprover: CPU time limit exceeded, terminating
% 133.00/118.56 eprover: CPU time limit exceeded, terminating
% 135.43/120.58 eprover: CPU time limit exceeded, terminating
% 137.88/122.60 eprover: CPU time limit exceeded, terminating
% 140.36/124.62 eprover: CPU time limit exceeded, terminating
% 142.85/126.63 eprover: CPU time limit exceeded, terminating
% 145.25/128.65 eprover: CPU time limit exceeded, terminating
% 147.82/130.67 eprover: CPU time limit exceeded, terminating
% 150.32/132.69 eprover: CPU time limit exceeded, terminating
% 152.74/134.71 eprover: CPU time limit exceeded, terminating
% 155.23/136.72 eprover: CPU time limit exceeded, terminating
% 157.68/138.74 eprover: CPU time limit exceeded, terminating
% 160.13/140.76 eprover: CPU time limit exceeded, terminating
% 162.62/142.78 eprover: CPU time limit exceeded, terminating
% 165.12/144.79 eprover: CPU time limit exceeded, terminating
% 167.49/146.81 eprover: CPU time limit exceeded, terminating
% 170.02/148.83 eprover: CPU time limit exceeded, terminating
% 172.49/150.84 eprover: CPU time limit exceeded, terminating
% 174.94/152.86 eprover: CPU time limit exceeded, terminating
% 177.40/154.88 eprover: CPU time limit exceeded, terminating
% 179.88/156.90 eprover: CPU time limit exceeded, terminating
% 182.29/158.92 eprover: CPU time limit exceeded, terminating
% 184.84/160.93 eprover: CPU time limit exceeded, terminating
% 187.33/162.95 eprover: CPU time limit exceeded, terminating
% 189.75/164.97 eprover: CPU time limit exceeded, terminating
% 192.23/166.99 eprover: CPU time limit exceeded, terminating
% 194.71/169.01 eprover: CPU time limit exceeded, terminating
% 197.19/171.03 eprover: CPU time limit exceeded, terminating
% 199.61/173.04 eprover: CPU time limit exceeded, terminating
% 202.05/175.06 eprover: CPU time limit exceeded, terminating
% 204.55/177.08 eprover: CPU time limit exceeded, terminating
% 206.92/179.10 eprover: CPU time limit exceeded, terminating
% 209.48/181.11 eprover: CPU time limit exceeded, terminating
% 212.01/183.13 eprover: CPU time limit exceeded, terminating
% 214.48/185.15 eprover: CPU time limit exceeded, terminating
% 216.92/187.17 eprover: CPU time limit exceeded, terminating
% 219.40/189.19 eprover: CPU time limit exceeded, terminating
% 221.83/191.21 eprover: CPU time limit exceeded, terminating
% 224.30/193.23 eprover: CPU time limit exceeded, terminating
% 226.75/195.25 eprover: CPU time limit exceeded, terminating
% 229.23/197.27 eprover: CPU time limit exceeded, terminating
% 231.70/199.29 eprover: CPU time limit exceeded, terminating
% 234.20/201.30 eprover: CPU time limit exceeded, terminating
% 236.60/203.32 eprover: CPU time limit exceeded, terminating
% 239.09/205.34 eprover: CPU time limit exceeded, terminating
% 241.56/207.36 eprover: CPU time limit exceeded, terminating
% 244.08/209.38 eprover: CPU time limit exceeded, terminating
% 246.55/211.39 eprover: CPU time limit exceeded, terminating
% 248.99/213.41 eprover: CPU time limit exceeded, terminating
% 251.45/215.43 eprover: CPU time limit exceeded, terminating
% 253.87/217.45 eprover: CPU time limit exceeded, terminating
% 256.38/219.47 eprover: CPU time limit exceeded, terminating
% 258.89/221.48 eprover: CPU time limit exceeded, terminating
% 261.33/223.50 eprover: CPU time limit exceeded, terminating
% 263.81/225.52 eprover: CPU time limit exceeded, terminating
% 266.29/227.54 eprover: CPU time limit exceeded, terminating
% 268.73/229.56 eprover: CPU time limit exceeded, terminating
% 271.20/231.58 eprover: CPU time limit exceeded, terminating
% 273.67/233.59 eprover: CPU time limit exceeded, terminating
% 276.18/235.61 eprover: CPU time limit exceeded, terminating
% 278.64/237.63 eprover: CPU time limit exceeded, terminating
% 281.06/239.65 eprover: CPU time limit exceeded, terminating
% 283.54/241.66 eprover: CPU time limit exceeded, terminating
% 285.98/243.68 eprover: CPU time limit exceeded, terminating
% 288.43/245.70 eprover: CPU time limit exceeded, terminating
% 290.92/247.72 eprover: CPU time limit exceeded, terminating
% 293.41/249.74 eprover: CPU time limit exceeded, terminating
% 295.89/251.76 eprover: CPU time limit exceeded, terminating
% 298.32/253.78 eprover: CPU time limit exceeded, terminating
% 300.02/255.00 eprover: CPU time limit exceeded, terminating
% 300.02/255.01 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------