TSTP Solution File: SWW391+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWW391+1 : TPTP v8.1.0. Released v5.2.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n026.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:43 EDT 2022
% Result : Timeout 287.85s 243.69s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.10/0.11 % Problem : SWW391+1 : TPTP v8.1.0. Released v5.2.0.
% 0.10/0.12 % Command : run_infinox %s
% 0.11/0.33 % Computer : n026.cluster.edu
% 0.11/0.33 % Model : x86_64 x86_64
% 0.11/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.11/0.33 % Memory : 8042.1875MB
% 0.11/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.11/0.33 % CPULimit : 300
% 0.11/0.33 % WCLimit : 600
% 0.11/0.33 % DateTime : Sun Jun 5 08:50:44 EDT 2022
% 0.11/0.33 % CPUTime :
% 54.48/54.20 eprover: CPU time limit exceeded, terminating
% 57.05/56.22 eprover: CPU time limit exceeded, terminating
% 59.49/58.24 eprover: CPU time limit exceeded, terminating
% 61.95/60.26 eprover: CPU time limit exceeded, terminating
% 64.40/62.27 eprover: CPU time limit exceeded, terminating
% 66.88/64.29 eprover: CPU time limit exceeded, terminating
% 69.41/66.31 eprover: CPU time limit exceeded, terminating
% 71.82/68.33 eprover: CPU time limit exceeded, terminating
% 74.28/70.35 eprover: CPU time limit exceeded, terminating
% 76.70/72.36 eprover: CPU time limit exceeded, terminating
% 79.20/74.38 eprover: CPU time limit exceeded, terminating
% 81.63/76.40 eprover: CPU time limit exceeded, terminating
% 84.10/78.42 eprover: CPU time limit exceeded, terminating
% 86.61/80.43 eprover: CPU time limit exceeded, terminating
% 89.03/82.45 eprover: CPU time limit exceeded, terminating
% 91.47/84.47 eprover: CPU time limit exceeded, terminating
% 93.91/86.49 eprover: CPU time limit exceeded, terminating
% 96.43/88.51 eprover: CPU time limit exceeded, terminating
% 98.91/90.52 eprover: CPU time limit exceeded, terminating
% 101.37/92.54 eprover: CPU time limit exceeded, terminating
% 103.78/94.56 eprover: CPU time limit exceeded, terminating
% 106.22/96.58 eprover: CPU time limit exceeded, terminating
% 108.72/98.60 eprover: CPU time limit exceeded, terminating
% 111.18/100.61 eprover: CPU time limit exceeded, terminating
% 113.63/102.63 eprover: CPU time limit exceeded, terminating
% 116.08/104.65 eprover: CPU time limit exceeded, terminating
% 118.51/106.66 eprover: CPU time limit exceeded, terminating
% 121.04/108.68 eprover: CPU time limit exceeded, terminating
% 123.56/110.70 eprover: CPU time limit exceeded, terminating
% 125.91/112.71 eprover: CPU time limit exceeded, terminating
% 128.47/114.73 eprover: CPU time limit exceeded, terminating
% 130.95/116.74 eprover: CPU time limit exceeded, terminating
% 133.41/118.76 eprover: CPU time limit exceeded, terminating
% 135.85/120.78 eprover: CPU time limit exceeded, terminating
% 138.40/122.79 eprover: CPU time limit exceeded, terminating
% 140.85/124.81 eprover: CPU time limit exceeded, terminating
% 143.34/126.82 eprover: CPU time limit exceeded, terminating
% 145.81/128.84 eprover: CPU time limit exceeded, terminating
% 148.26/130.86 eprover: CPU time limit exceeded, terminating
% 150.73/132.87 eprover: CPU time limit exceeded, terminating
% 153.27/134.90 eprover: CPU time limit exceeded, terminating
% 155.78/136.91 eprover: CPU time limit exceeded, terminating
% 158.26/138.94 eprover: CPU time limit exceeded, terminating
% 160.70/140.96 eprover: CPU time limit exceeded, terminating
% 163.22/142.98 eprover: CPU time limit exceeded, terminating
% 165.54/144.99 eprover: CPU time limit exceeded, terminating
% 168.04/147.01 eprover: CPU time limit exceeded, terminating
% 170.50/149.02 eprover: CPU time limit exceeded, terminating
% 172.98/151.04 eprover: CPU time limit exceeded, terminating
% 175.37/153.05 eprover: CPU time limit exceeded, terminating
% 177.82/155.07 eprover: CPU time limit exceeded, terminating
% 180.30/157.08 eprover: CPU time limit exceeded, terminating
% 182.70/159.09 eprover: CPU time limit exceeded, terminating
% 185.23/161.11 eprover: CPU time limit exceeded, terminating
% 187.71/163.12 eprover: CPU time limit exceeded, terminating
% 192.10/165.13 eprover: CPU time limit exceeded, terminating
% 194.55/167.15 eprover: CPU time limit exceeded, terminating
% 197.01/169.16 eprover: CPU time limit exceeded, terminating
% 199.47/171.18 eprover: CPU time limit exceeded, terminating
% 201.97/173.19 eprover: CPU time limit exceeded, terminating
% 204.39/175.21 eprover: CPU time limit exceeded, terminating
% 206.86/177.22 eprover: CPU time limit exceeded, terminating
% 209.33/179.23 eprover: CPU time limit exceeded, terminating
% 211.73/181.25 eprover: CPU time limit exceeded, terminating
% 214.17/183.26 eprover: CPU time limit exceeded, terminating
% 216.58/185.28 eprover: CPU time limit exceeded, terminating
% 219.16/187.29 eprover: CPU time limit exceeded, terminating
% 221.62/189.30 eprover: CPU time limit exceeded, terminating
% 224.08/191.32 eprover: CPU time limit exceeded, terminating
% 226.57/193.33 eprover: CPU time limit exceeded, terminating
% 228.98/195.35 eprover: CPU time limit exceeded, terminating
% 231.42/197.36 eprover: CPU time limit exceeded, terminating
% 233.90/199.37 eprover: CPU time limit exceeded, terminating
% 236.28/201.39 eprover: CPU time limit exceeded, terminating
% 238.75/203.40 eprover: CPU time limit exceeded, terminating
% 241.11/205.42 eprover: CPU time limit exceeded, terminating
% 243.62/207.43 eprover: CPU time limit exceeded, terminating
% 246.09/209.44 eprover: CPU time limit exceeded, terminating
% 248.55/211.46 eprover: CPU time limit exceeded, terminating
% 251.03/213.47 eprover: CPU time limit exceeded, terminating
% 253.42/215.49 eprover: CPU time limit exceeded, terminating
% 255.88/217.50 eprover: CPU time limit exceeded, terminating
% 258.39/219.52 eprover: CPU time limit exceeded, terminating
% 260.84/221.53 eprover: CPU time limit exceeded, terminating
% 263.27/223.55 eprover: CPU time limit exceeded, terminating
% 265.74/225.56 eprover: CPU time limit exceeded, terminating
% 268.18/227.58 eprover: CPU time limit exceeded, terminating
% 270.66/229.59 eprover: CPU time limit exceeded, terminating
% 273.07/231.60 eprover: CPU time limit exceeded, terminating
% 275.56/233.62 eprover: CPU time limit exceeded, terminating
% 278.04/235.63 eprover: CPU time limit exceeded, terminating
% 280.48/237.65 eprover: CPU time limit exceeded, terminating
% 282.90/239.66 eprover: CPU time limit exceeded, terminating
% 285.46/241.68 eprover: CPU time limit exceeded, terminating
% 287.85/243.69 eprover: CPU time limit exceeded, terminating
% 290.37/245.70 eprover: CPU time limit exceeded, terminating
% 292.84/247.72 eprover: CPU time limit exceeded, terminating
% 295.26/249.73 eprover: CPU time limit exceeded, terminating
% 297.69/251.75 eprover: CPU time limit exceeded, terminating
% 300.03/253.59 eprover: CPU time limit exceeded, terminating
% 300.03/253.61 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------