TSTP Solution File: SWW339+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWW339+1 : TPTP v8.1.0. Released v5.2.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:38 EDT 2022
% Result : Timeout 287.72s 248.03s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.08 % Problem : SWW339+1 : TPTP v8.1.0. Released v5.2.0.
% 0.07/0.09 % Command : run_infinox %s
% 0.07/0.28 % Computer : n032.cluster.edu
% 0.07/0.28 % Model : x86_64 x86_64
% 0.07/0.28 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.07/0.28 % Memory : 8042.1875MB
% 0.07/0.28 % OS : Linux 3.10.0-693.el7.x86_64
% 0.07/0.28 % CPULimit : 300
% 0.07/0.28 % WCLimit : 600
% 0.07/0.28 % DateTime : Sun Jun 5 03:54:48 EDT 2022
% 0.07/0.28 % CPUTime :
% 54.67/54.45 eprover: CPU time limit exceeded, terminating
% 57.10/56.47 eprover: CPU time limit exceeded, terminating
% 59.55/58.48 eprover: CPU time limit exceeded, terminating
% 61.92/60.49 eprover: CPU time limit exceeded, terminating
% 64.34/62.51 eprover: CPU time limit exceeded, terminating
% 66.77/64.53 eprover: CPU time limit exceeded, terminating
% 69.15/66.54 eprover: CPU time limit exceeded, terminating
% 71.56/68.56 eprover: CPU time limit exceeded, terminating
% 73.98/70.58 eprover: CPU time limit exceeded, terminating
% 76.47/72.59 eprover: CPU time limit exceeded, terminating
% 78.89/74.61 eprover: CPU time limit exceeded, terminating
% 81.31/76.63 eprover: CPU time limit exceeded, terminating
% 83.73/78.64 eprover: CPU time limit exceeded, terminating
% 86.16/80.66 eprover: CPU time limit exceeded, terminating
% 88.58/82.67 eprover: CPU time limit exceeded, terminating
% 91.00/84.69 eprover: CPU time limit exceeded, terminating
% 93.45/86.71 eprover: CPU time limit exceeded, terminating
% 95.80/88.72 eprover: CPU time limit exceeded, terminating
% 98.34/90.74 eprover: CPU time limit exceeded, terminating
% 100.73/92.75 eprover: CPU time limit exceeded, terminating
% 103.13/94.77 eprover: CPU time limit exceeded, terminating
% 105.55/96.78 eprover: CPU time limit exceeded, terminating
% 107.94/98.80 eprover: CPU time limit exceeded, terminating
% 110.34/100.81 eprover: CPU time limit exceeded, terminating
% 112.74/102.83 eprover: CPU time limit exceeded, terminating
% 115.22/104.84 eprover: CPU time limit exceeded, terminating
% 117.61/106.86 eprover: CPU time limit exceeded, terminating
% 120.04/108.87 eprover: CPU time limit exceeded, terminating
% 122.43/110.89 eprover: CPU time limit exceeded, terminating
% 124.93/112.90 eprover: CPU time limit exceeded, terminating
% 127.29/114.92 eprover: CPU time limit exceeded, terminating
% 131.70/116.93 eprover: CPU time limit exceeded, terminating
% 134.04/118.95 eprover: CPU time limit exceeded, terminating
% 136.42/120.96 eprover: CPU time limit exceeded, terminating
% 138.85/122.98 eprover: CPU time limit exceeded, terminating
% 141.33/124.99 eprover: CPU time limit exceeded, terminating
% 143.69/127.01 eprover: CPU time limit exceeded, terminating
% 146.05/129.02 eprover: CPU time limit exceeded, terminating
% 148.45/131.03 eprover: CPU time limit exceeded, terminating
% 150.87/133.05 eprover: CPU time limit exceeded, terminating
% 153.22/135.06 eprover: CPU time limit exceeded, terminating
% 155.63/137.08 eprover: CPU time limit exceeded, terminating
% 158.09/139.09 eprover: CPU time limit exceeded, terminating
% 160.49/141.11 eprover: CPU time limit exceeded, terminating
% 162.84/143.12 eprover: CPU time limit exceeded, terminating
% 165.25/145.14 eprover: CPU time limit exceeded, terminating
% 167.70/147.15 eprover: CPU time limit exceeded, terminating
% 170.08/149.17 eprover: CPU time limit exceeded, terminating
% 172.49/151.19 eprover: CPU time limit exceeded, terminating
% 174.94/153.20 eprover: CPU time limit exceeded, terminating
% 177.36/155.21 eprover: CPU time limit exceeded, terminating
% 179.76/157.23 eprover: CPU time limit exceeded, terminating
% 182.17/159.24 eprover: CPU time limit exceeded, terminating
% 184.58/161.26 eprover: CPU time limit exceeded, terminating
% 186.99/163.27 eprover: CPU time limit exceeded, terminating
% 189.36/165.29 eprover: CPU time limit exceeded, terminating
% 191.78/167.30 eprover: CPU time limit exceeded, terminating
% 194.24/169.32 eprover: CPU time limit exceeded, terminating
% 196.64/171.34 eprover: CPU time limit exceeded, terminating
% 199.02/173.35 eprover: CPU time limit exceeded, terminating
% 201.43/175.37 eprover: CPU time limit exceeded, terminating
% 203.85/177.38 eprover: CPU time limit exceeded, terminating
% 206.28/179.40 eprover: CPU time limit exceeded, terminating
% 208.67/181.41 eprover: CPU time limit exceeded, terminating
% 211.09/183.43 eprover: CPU time limit exceeded, terminating
% 213.47/185.44 eprover: CPU time limit exceeded, terminating
% 215.85/187.46 eprover: CPU time limit exceeded, terminating
% 218.23/189.47 eprover: CPU time limit exceeded, terminating
% 220.66/191.48 eprover: CPU time limit exceeded, terminating
% 223.06/193.50 eprover: CPU time limit exceeded, terminating
% 225.44/195.52 eprover: CPU time limit exceeded, terminating
% 227.83/197.54 eprover: CPU time limit exceeded, terminating
% 230.20/199.56 eprover: CPU time limit exceeded, terminating
% 232.65/201.58 eprover: CPU time limit exceeded, terminating
% 235.00/203.60 eprover: CPU time limit exceeded, terminating
% 237.43/205.61 eprover: CPU time limit exceeded, terminating
% 239.78/207.63 eprover: CPU time limit exceeded, terminating
% 242.21/209.65 eprover: CPU time limit exceeded, terminating
% 244.63/211.67 eprover: CPU time limit exceeded, terminating
% 247.02/213.68 eprover: CPU time limit exceeded, terminating
% 249.38/215.70 eprover: CPU time limit exceeded, terminating
% 251.76/217.72 eprover: CPU time limit exceeded, terminating
% 254.19/219.74 eprover: CPU time limit exceeded, terminating
% 256.61/221.76 eprover: CPU time limit exceeded, terminating
% 259.00/223.78 eprover: CPU time limit exceeded, terminating
% 261.37/225.79 eprover: CPU time limit exceeded, terminating
% 263.77/227.81 eprover: CPU time limit exceeded, terminating
% 266.20/229.84 eprover: CPU time limit exceeded, terminating
% 268.58/231.86 eprover: CPU time limit exceeded, terminating
% 270.99/233.88 eprover: CPU time limit exceeded, terminating
% 273.40/235.92 eprover: CPU time limit exceeded, terminating
% 275.71/237.94 eprover: CPU time limit exceeded, terminating
% 278.15/239.95 eprover: CPU time limit exceeded, terminating
% 280.53/241.97 eprover: CPU time limit exceeded, terminating
% 282.94/243.99 eprover: CPU time limit exceeded, terminating
% 285.27/246.01 eprover: CPU time limit exceeded, terminating
% 287.72/248.03 eprover: CPU time limit exceeded, terminating
% 290.10/250.05 eprover: CPU time limit exceeded, terminating
% 292.48/252.08 eprover: CPU time limit exceeded, terminating
% 294.88/254.10 eprover: CPU time limit exceeded, terminating
% 297.24/256.12 eprover: CPU time limit exceeded, terminating
% 299.63/258.13 eprover: CPU time limit exceeded, terminating
% 300.05/258.47 eprover: CPU time limit exceeded, terminating
% 300.05/258.48 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------