TSTP Solution File: SWW334+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWW334+1 : TPTP v8.1.0. Released v5.2.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n020.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.93s 243.40s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.12 % Problem : SWW334+1 : TPTP v8.1.0. Released v5.2.0.
% 0.11/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n020.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Mon Jun 6 07:22:07 EDT 2022
% 0.13/0.34 % CPUTime :
% 52.08/51.79 eprover: CPU time limit exceeded, terminating
% 54.49/53.81 eprover: CPU time limit exceeded, terminating
% 57.00/55.83 eprover: CPU time limit exceeded, terminating
% 59.51/57.84 eprover: CPU time limit exceeded, terminating
% 61.97/59.86 eprover: CPU time limit exceeded, terminating
% 64.43/61.88 eprover: CPU time limit exceeded, terminating
% 66.92/63.89 eprover: CPU time limit exceeded, terminating
% 69.35/65.91 eprover: CPU time limit exceeded, terminating
% 71.79/67.93 eprover: CPU time limit exceeded, terminating
% 74.33/69.94 eprover: CPU time limit exceeded, terminating
% 76.79/71.96 eprover: CPU time limit exceeded, terminating
% 79.21/73.98 eprover: CPU time limit exceeded, terminating
% 81.66/75.99 eprover: CPU time limit exceeded, terminating
% 84.17/78.01 eprover: CPU time limit exceeded, terminating
% 86.62/80.03 eprover: CPU time limit exceeded, terminating
% 89.06/82.05 eprover: CPU time limit exceeded, terminating
% 91.56/84.06 eprover: CPU time limit exceeded, terminating
% 93.97/86.08 eprover: CPU time limit exceeded, terminating
% 96.48/88.10 eprover: CPU time limit exceeded, terminating
% 98.87/90.11 eprover: CPU time limit exceeded, terminating
% 101.36/92.13 eprover: CPU time limit exceeded, terminating
% 103.82/94.15 eprover: CPU time limit exceeded, terminating
% 106.31/96.16 eprover: CPU time limit exceeded, terminating
% 108.75/98.18 eprover: CPU time limit exceeded, terminating
% 111.22/100.20 eprover: CPU time limit exceeded, terminating
% 113.72/102.21 eprover: CPU time limit exceeded, terminating
% 116.14/104.23 eprover: CPU time limit exceeded, terminating
% 118.64/106.25 eprover: CPU time limit exceeded, terminating
% 121.09/108.26 eprover: CPU time limit exceeded, terminating
% 123.55/110.28 eprover: CPU time limit exceeded, terminating
% 125.93/112.30 eprover: CPU time limit exceeded, terminating
% 128.42/114.31 eprover: CPU time limit exceeded, terminating
% 130.94/116.33 eprover: CPU time limit exceeded, terminating
% 133.35/118.35 eprover: CPU time limit exceeded, terminating
% 135.85/120.37 eprover: CPU time limit exceeded, terminating
% 138.31/122.38 eprover: CPU time limit exceeded, terminating
% 140.74/124.40 eprover: CPU time limit exceeded, terminating
% 143.20/126.42 eprover: CPU time limit exceeded, terminating
% 145.59/128.43 eprover: CPU time limit exceeded, terminating
% 148.13/130.45 eprover: CPU time limit exceeded, terminating
% 150.56/132.47 eprover: CPU time limit exceeded, terminating
% 153.04/134.48 eprover: CPU time limit exceeded, terminating
% 155.57/136.50 eprover: CPU time limit exceeded, terminating
% 158.01/138.52 eprover: CPU time limit exceeded, terminating
% 160.43/140.53 eprover: CPU time limit exceeded, terminating
% 162.85/142.55 eprover: CPU time limit exceeded, terminating
% 165.39/144.57 eprover: CPU time limit exceeded, terminating
% 167.82/146.59 eprover: CPU time limit exceeded, terminating
% 170.25/148.60 eprover: CPU time limit exceeded, terminating
% 172.67/150.62 eprover: CPU time limit exceeded, terminating
% 175.20/152.64 eprover: CPU time limit exceeded, terminating
% 177.63/154.65 eprover: CPU time limit exceeded, terminating
% 180.08/156.67 eprover: CPU time limit exceeded, terminating
% 182.54/158.69 eprover: CPU time limit exceeded, terminating
% 184.99/160.71 eprover: CPU time limit exceeded, terminating
% 187.42/162.72 eprover: CPU time limit exceeded, terminating
% 189.89/164.74 eprover: CPU time limit exceeded, terminating
% 192.42/166.76 eprover: CPU time limit exceeded, terminating
% 194.86/168.77 eprover: CPU time limit exceeded, terminating
% 197.28/170.79 eprover: CPU time limit exceeded, terminating
% 199.78/172.81 eprover: CPU time limit exceeded, terminating
% 202.24/174.83 eprover: CPU time limit exceeded, terminating
% 204.67/176.84 eprover: CPU time limit exceeded, terminating
% 207.14/178.86 eprover: CPU time limit exceeded, terminating
% 209.61/180.88 eprover: CPU time limit exceeded, terminating
% 212.11/182.90 eprover: CPU time limit exceeded, terminating
% 214.57/184.91 eprover: CPU time limit exceeded, terminating
% 217.05/186.93 eprover: CPU time limit exceeded, terminating
% 219.51/188.95 eprover: CPU time limit exceeded, terminating
% 221.98/190.96 eprover: CPU time limit exceeded, terminating
% 224.42/192.98 eprover: CPU time limit exceeded, terminating
% 226.85/195.00 eprover: CPU time limit exceeded, terminating
% 229.35/197.01 eprover: CPU time limit exceeded, terminating
% 231.77/199.03 eprover: CPU time limit exceeded, terminating
% 234.23/201.05 eprover: CPU time limit exceeded, terminating
% 236.73/203.07 eprover: CPU time limit exceeded, terminating
% 239.21/205.08 eprover: CPU time limit exceeded, terminating
% 241.66/207.10 eprover: CPU time limit exceeded, terminating
% 244.07/209.12 eprover: CPU time limit exceeded, terminating
% 246.52/211.13 eprover: CPU time limit exceeded, terminating
% 249.05/213.15 eprover: CPU time limit exceeded, terminating
% 251.55/215.17 eprover: CPU time limit exceeded, terminating
% 253.98/217.18 eprover: CPU time limit exceeded, terminating
% 256.46/219.20 eprover: CPU time limit exceeded, terminating
% 258.87/221.22 eprover: CPU time limit exceeded, terminating
% 261.36/223.24 eprover: CPU time limit exceeded, terminating
% 263.80/225.25 eprover: CPU time limit exceeded, terminating
% 266.29/227.27 eprover: CPU time limit exceeded, terminating
% 268.72/229.29 eprover: CPU time limit exceeded, terminating
% 271.17/231.31 eprover: CPU time limit exceeded, terminating
% 273.63/233.32 eprover: CPU time limit exceeded, terminating
% 276.13/235.34 eprover: CPU time limit exceeded, terminating
% 278.60/237.36 eprover: CPU time limit exceeded, terminating
% 281.02/239.37 eprover: CPU time limit exceeded, terminating
% 283.50/241.39 eprover: CPU time limit exceeded, terminating
% 285.93/243.40 eprover: CPU time limit exceeded, terminating
% 288.41/245.42 eprover: CPU time limit exceeded, terminating
% 290.86/247.44 eprover: CPU time limit exceeded, terminating
% 293.37/249.46 eprover: CPU time limit exceeded, terminating
% 295.78/251.47 eprover: CPU time limit exceeded, terminating
% 298.28/253.49 eprover: CPU time limit exceeded, terminating
% 300.02/254.77 eprover: CPU time limit exceeded, terminating
% 300.02/254.79 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------