TSTP Solution File: SWW362+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWW362+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:40 EDT 2022
% Result : Timeout 287.98s 245.68s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : SWW362+1 : TPTP v8.1.0. Released v5.2.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.12/0.33 % Computer : n022.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Sat Jun 4 18:45:06 EDT 2022
% 0.12/0.34 % CPUTime :
% 52.31/52.02 eprover: CPU time limit exceeded, terminating
% 54.75/54.03 eprover: CPU time limit exceeded, terminating
% 57.20/56.05 eprover: CPU time limit exceeded, terminating
% 59.69/58.06 eprover: CPU time limit exceeded, terminating
% 62.18/60.08 eprover: CPU time limit exceeded, terminating
% 64.64/62.10 eprover: CPU time limit exceeded, terminating
% 67.10/64.11 eprover: CPU time limit exceeded, terminating
% 69.58/66.13 eprover: CPU time limit exceeded, terminating
% 72.00/68.14 eprover: CPU time limit exceeded, terminating
% 74.56/70.15 eprover: CPU time limit exceeded, terminating
% 77.04/72.17 eprover: CPU time limit exceeded, terminating
% 79.46/74.18 eprover: CPU time limit exceeded, terminating
% 81.86/76.20 eprover: CPU time limit exceeded, terminating
% 84.35/78.21 eprover: CPU time limit exceeded, terminating
% 86.80/80.22 eprover: CPU time limit exceeded, terminating
% 89.25/82.23 eprover: CPU time limit exceeded, terminating
% 91.69/84.25 eprover: CPU time limit exceeded, terminating
% 94.09/86.26 eprover: CPU time limit exceeded, terminating
% 96.61/88.28 eprover: CPU time limit exceeded, terminating
% 99.05/90.29 eprover: CPU time limit exceeded, terminating
% 101.43/92.31 eprover: CPU time limit exceeded, terminating
% 103.89/94.32 eprover: CPU time limit exceeded, terminating
% 106.30/96.33 eprover: CPU time limit exceeded, terminating
% 108.73/98.35 eprover: CPU time limit exceeded, terminating
% 111.20/100.36 eprover: CPU time limit exceeded, terminating
% 113.67/102.38 eprover: CPU time limit exceeded, terminating
% 116.06/104.39 eprover: CPU time limit exceeded, terminating
% 118.55/106.41 eprover: CPU time limit exceeded, terminating
% 120.93/108.42 eprover: CPU time limit exceeded, terminating
% 123.44/110.44 eprover: CPU time limit exceeded, terminating
% 125.86/112.45 eprover: CPU time limit exceeded, terminating
% 128.28/114.47 eprover: CPU time limit exceeded, terminating
% 130.78/116.49 eprover: CPU time limit exceeded, terminating
% 133.25/118.51 eprover: CPU time limit exceeded, terminating
% 135.71/120.53 eprover: CPU time limit exceeded, terminating
% 138.20/122.55 eprover: CPU time limit exceeded, terminating
% 140.63/124.57 eprover: CPU time limit exceeded, terminating
% 143.08/126.59 eprover: CPU time limit exceeded, terminating
% 145.58/128.60 eprover: CPU time limit exceeded, terminating
% 148.08/130.62 eprover: CPU time limit exceeded, terminating
% 150.55/132.64 eprover: CPU time limit exceeded, terminating
% 152.96/134.66 eprover: CPU time limit exceeded, terminating
% 155.44/136.68 eprover: CPU time limit exceeded, terminating
% 157.91/138.70 eprover: CPU time limit exceeded, terminating
% 160.34/140.72 eprover: CPU time limit exceeded, terminating
% 162.80/142.74 eprover: CPU time limit exceeded, terminating
% 165.29/144.75 eprover: CPU time limit exceeded, terminating
% 167.68/146.77 eprover: CPU time limit exceeded, terminating
% 170.24/148.79 eprover: CPU time limit exceeded, terminating
% 172.67/150.81 eprover: CPU time limit exceeded, terminating
% 175.13/152.83 eprover: CPU time limit exceeded, terminating
% 177.55/154.85 eprover: CPU time limit exceeded, terminating
% 179.95/156.86 eprover: CPU time limit exceeded, terminating
% 182.43/158.88 eprover: CPU time limit exceeded, terminating
% 184.96/160.90 eprover: CPU time limit exceeded, terminating
% 187.39/162.92 eprover: CPU time limit exceeded, terminating
% 189.84/164.94 eprover: CPU time limit exceeded, terminating
% 192.30/166.96 eprover: CPU time limit exceeded, terminating
% 194.78/168.98 eprover: CPU time limit exceeded, terminating
% 197.23/170.99 eprover: CPU time limit exceeded, terminating
% 199.68/173.01 eprover: CPU time limit exceeded, terminating
% 202.12/175.03 eprover: CPU time limit exceeded, terminating
% 204.63/177.05 eprover: CPU time limit exceeded, terminating
% 207.03/179.07 eprover: CPU time limit exceeded, terminating
% 209.54/181.09 eprover: CPU time limit exceeded, terminating
% 212.01/183.11 eprover: CPU time limit exceeded, terminating
% 214.46/185.13 eprover: CPU time limit exceeded, terminating
% 216.89/187.15 eprover: CPU time limit exceeded, terminating
% 219.35/189.16 eprover: CPU time limit exceeded, terminating
% 221.83/191.18 eprover: CPU time limit exceeded, terminating
% 224.24/193.20 eprover: CPU time limit exceeded, terminating
% 226.77/195.22 eprover: CPU time limit exceeded, terminating
% 229.16/197.24 eprover: CPU time limit exceeded, terminating
% 231.64/199.26 eprover: CPU time limit exceeded, terminating
% 234.08/201.28 eprover: CPU time limit exceeded, terminating
% 236.54/203.29 eprover: CPU time limit exceeded, terminating
% 238.98/205.31 eprover: CPU time limit exceeded, terminating
% 241.45/207.33 eprover: CPU time limit exceeded, terminating
% 243.90/209.35 eprover: CPU time limit exceeded, terminating
% 246.30/211.37 eprover: CPU time limit exceeded, terminating
% 248.79/213.39 eprover: CPU time limit exceeded, terminating
% 251.25/215.41 eprover: CPU time limit exceeded, terminating
% 253.68/217.42 eprover: CPU time limit exceeded, terminating
% 256.09/219.44 eprover: CPU time limit exceeded, terminating
% 258.55/221.46 eprover: CPU time limit exceeded, terminating
% 260.95/223.48 eprover: CPU time limit exceeded, terminating
% 263.42/225.50 eprover: CPU time limit exceeded, terminating
% 265.92/227.52 eprover: CPU time limit exceeded, terminating
% 268.35/229.53 eprover: CPU time limit exceeded, terminating
% 270.75/231.55 eprover: CPU time limit exceeded, terminating
% 273.23/233.57 eprover: CPU time limit exceeded, terminating
% 275.65/235.59 eprover: CPU time limit exceeded, terminating
% 278.16/237.61 eprover: CPU time limit exceeded, terminating
% 280.62/239.63 eprover: CPU time limit exceeded, terminating
% 283.08/241.65 eprover: CPU time limit exceeded, terminating
% 285.51/243.66 eprover: CPU time limit exceeded, terminating
% 287.98/245.68 eprover: CPU time limit exceeded, terminating
% 290.45/247.70 eprover: CPU time limit exceeded, terminating
% 292.85/249.72 eprover: CPU time limit exceeded, terminating
% 295.30/251.74 eprover: CPU time limit exceeded, terminating
% 297.80/253.76 eprover: CPU time limit exceeded, terminating
% 300.01/255.51 eprover: CPU time limit exceeded, terminating
% 300.01/255.52 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------