TSTP Solution File: SWW350+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWW350+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:39 EDT 2022
% Result : Timeout 286.24s 251.00s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.09/0.11 % Problem : SWW350+1 : TPTP v8.1.0. Released v5.2.0.
% 0.09/0.12 % Command : run_infinox %s
% 0.11/0.31 % Computer : n032.cluster.edu
% 0.11/0.31 % Model : x86_64 x86_64
% 0.11/0.31 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.11/0.31 % Memory : 8042.1875MB
% 0.11/0.31 % OS : Linux 3.10.0-693.el7.x86_64
% 0.11/0.31 % CPULimit : 300
% 0.11/0.31 % WCLimit : 600
% 0.11/0.31 % DateTime : Sat Jun 4 21:45:03 EDT 2022
% 0.11/0.31 % CPUTime :
% 63.72/63.47 eprover: CPU time limit exceeded, terminating
% 66.13/65.48 eprover: CPU time limit exceeded, terminating
% 68.59/67.50 eprover: CPU time limit exceeded, terminating
% 71.00/69.51 eprover: CPU time limit exceeded, terminating
% 73.38/71.53 eprover: CPU time limit exceeded, terminating
% 75.74/73.54 eprover: CPU time limit exceeded, terminating
% 78.14/75.55 eprover: CPU time limit exceeded, terminating
% 80.54/77.57 eprover: CPU time limit exceeded, terminating
% 82.94/79.58 eprover: CPU time limit exceeded, terminating
% 85.32/81.60 eprover: CPU time limit exceeded, terminating
% 87.79/83.61 eprover: CPU time limit exceeded, terminating
% 90.16/85.63 eprover: CPU time limit exceeded, terminating
% 92.57/87.64 eprover: CPU time limit exceeded, terminating
% 94.95/89.65 eprover: CPU time limit exceeded, terminating
% 97.28/91.67 eprover: CPU time limit exceeded, terminating
% 99.69/93.69 eprover: CPU time limit exceeded, terminating
% 102.13/95.71 eprover: CPU time limit exceeded, terminating
% 104.57/97.73 eprover: CPU time limit exceeded, terminating
% 106.97/99.75 eprover: CPU time limit exceeded, terminating
% 109.34/101.76 eprover: CPU time limit exceeded, terminating
% 111.75/103.78 eprover: CPU time limit exceeded, terminating
% 114.20/105.80 eprover: CPU time limit exceeded, terminating
% 116.58/107.82 eprover: CPU time limit exceeded, terminating
% 119.02/109.84 eprover: CPU time limit exceeded, terminating
% 121.36/111.85 eprover: CPU time limit exceeded, terminating
% 123.79/113.87 eprover: CPU time limit exceeded, terminating
% 126.23/115.89 eprover: CPU time limit exceeded, terminating
% 128.56/117.91 eprover: CPU time limit exceeded, terminating
% 130.96/119.93 eprover: CPU time limit exceeded, terminating
% 133.36/121.94 eprover: CPU time limit exceeded, terminating
% 135.74/123.96 eprover: CPU time limit exceeded, terminating
% 138.06/125.98 eprover: CPU time limit exceeded, terminating
% 140.42/127.99 eprover: CPU time limit exceeded, terminating
% 142.77/130.01 eprover: CPU time limit exceeded, terminating
% 145.10/132.03 eprover: CPU time limit exceeded, terminating
% 147.52/134.05 eprover: CPU time limit exceeded, terminating
% 149.92/136.07 eprover: CPU time limit exceeded, terminating
% 152.36/138.08 eprover: CPU time limit exceeded, terminating
% 154.69/140.10 eprover: CPU time limit exceeded, terminating
% 157.09/142.12 eprover: CPU time limit exceeded, terminating
% 159.56/144.13 eprover: CPU time limit exceeded, terminating
% 161.95/146.15 eprover: CPU time limit exceeded, terminating
% 164.32/148.17 eprover: CPU time limit exceeded, terminating
% 166.75/150.18 eprover: CPU time limit exceeded, terminating
% 169.16/152.20 eprover: CPU time limit exceeded, terminating
% 171.55/154.22 eprover: CPU time limit exceeded, terminating
% 173.99/156.23 eprover: CPU time limit exceeded, terminating
% 176.28/158.25 eprover: CPU time limit exceeded, terminating
% 178.69/160.27 eprover: CPU time limit exceeded, terminating
% 181.04/162.29 eprover: CPU time limit exceeded, terminating
% 183.48/164.30 eprover: CPU time limit exceeded, terminating
% 185.87/166.32 eprover: CPU time limit exceeded, terminating
% 188.21/168.34 eprover: CPU time limit exceeded, terminating
% 190.61/170.35 eprover: CPU time limit exceeded, terminating
% 193.01/172.37 eprover: CPU time limit exceeded, terminating
% 195.46/174.39 eprover: CPU time limit exceeded, terminating
% 197.86/176.40 eprover: CPU time limit exceeded, terminating
% 200.27/178.42 eprover: CPU time limit exceeded, terminating
% 202.63/180.44 eprover: CPU time limit exceeded, terminating
% 205.04/182.45 eprover: CPU time limit exceeded, terminating
% 207.47/184.47 eprover: CPU time limit exceeded, terminating
% 209.80/186.48 eprover: CPU time limit exceeded, terminating
% 212.24/188.50 eprover: CPU time limit exceeded, terminating
% 214.60/190.52 eprover: CPU time limit exceeded, terminating
% 216.99/192.53 eprover: CPU time limit exceeded, terminating
% 219.32/194.54 eprover: CPU time limit exceeded, terminating
% 221.69/196.56 eprover: CPU time limit exceeded, terminating
% 224.06/198.58 eprover: CPU time limit exceeded, terminating
% 226.42/200.59 eprover: CPU time limit exceeded, terminating
% 228.80/202.61 eprover: CPU time limit exceeded, terminating
% 231.20/204.63 eprover: CPU time limit exceeded, terminating
% 233.54/206.64 eprover: CPU time limit exceeded, terminating
% 235.95/208.66 eprover: CPU time limit exceeded, terminating
% 238.37/210.68 eprover: CPU time limit exceeded, terminating
% 240.72/212.69 eprover: CPU time limit exceeded, terminating
% 243.02/214.71 eprover: CPU time limit exceeded, terminating
% 245.45/216.73 eprover: CPU time limit exceeded, terminating
% 247.85/218.75 eprover: CPU time limit exceeded, terminating
% 250.26/220.76 eprover: CPU time limit exceeded, terminating
% 252.62/222.78 eprover: CPU time limit exceeded, terminating
% 255.05/224.79 eprover: CPU time limit exceeded, terminating
% 257.39/226.81 eprover: CPU time limit exceeded, terminating
% 259.84/228.82 eprover: CPU time limit exceeded, terminating
% 262.17/230.83 eprover: CPU time limit exceeded, terminating
% 264.59/232.85 eprover: CPU time limit exceeded, terminating
% 266.95/234.87 eprover: CPU time limit exceeded, terminating
% 269.42/236.88 eprover: CPU time limit exceeded, terminating
% 271.76/238.90 eprover: CPU time limit exceeded, terminating
% 274.21/240.92 eprover: CPU time limit exceeded, terminating
% 276.62/242.94 eprover: CPU time limit exceeded, terminating
% 278.99/244.95 eprover: CPU time limit exceeded, terminating
% 281.38/246.97 eprover: CPU time limit exceeded, terminating
% 283.78/248.99 eprover: CPU time limit exceeded, terminating
% 286.24/251.00 eprover: CPU time limit exceeded, terminating
% 288.64/253.02 eprover: CPU time limit exceeded, terminating
% 291.00/255.04 eprover: CPU time limit exceeded, terminating
% 293.34/257.06 eprover: CPU time limit exceeded, terminating
% 295.76/259.07 eprover: CPU time limit exceeded, terminating
% 298.09/261.09 eprover: CPU time limit exceeded, terminating
% 300.02/262.62 eprover: CPU time limit exceeded, terminating
% 300.02/262.64 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------