TSTP Solution File: SWW322+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWW322+1 : TPTP v8.1.0. Released v5.2.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n027.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:36 EDT 2022
% Result : Timeout 286.84s 243.94s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.07 % Problem : SWW322+1 : TPTP v8.1.0. Released v5.2.0.
% 0.03/0.07 % Command : run_infinox %s
% 0.07/0.26 % Computer : n027.cluster.edu
% 0.07/0.26 % Model : x86_64 x86_64
% 0.07/0.26 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.07/0.26 % Memory : 8042.1875MB
% 0.07/0.26 % OS : Linux 3.10.0-693.el7.x86_64
% 0.07/0.26 % CPULimit : 300
% 0.07/0.26 % WCLimit : 600
% 0.07/0.26 % DateTime : Sun Jun 5 19:28:23 EDT 2022
% 0.07/0.26 % CPUTime :
% 54.46/54.19 eprover: CPU time limit exceeded, terminating
% 56.93/56.21 eprover: CPU time limit exceeded, terminating
% 59.39/58.23 eprover: CPU time limit exceeded, terminating
% 61.80/60.24 eprover: CPU time limit exceeded, terminating
% 64.19/62.26 eprover: CPU time limit exceeded, terminating
% 66.74/64.28 eprover: CPU time limit exceeded, terminating
% 69.11/66.29 eprover: CPU time limit exceeded, terminating
% 71.62/68.31 eprover: CPU time limit exceeded, terminating
% 74.08/70.33 eprover: CPU time limit exceeded, terminating
% 76.56/72.34 eprover: CPU time limit exceeded, terminating
% 79.06/74.36 eprover: CPU time limit exceeded, terminating
% 81.54/76.37 eprover: CPU time limit exceeded, terminating
% 83.95/78.39 eprover: CPU time limit exceeded, terminating
% 86.39/80.41 eprover: CPU time limit exceeded, terminating
% 88.92/82.42 eprover: CPU time limit exceeded, terminating
% 91.29/84.43 eprover: CPU time limit exceeded, terminating
% 93.79/86.45 eprover: CPU time limit exceeded, terminating
% 96.24/88.47 eprover: CPU time limit exceeded, terminating
% 98.73/90.48 eprover: CPU time limit exceeded, terminating
% 101.15/92.50 eprover: CPU time limit exceeded, terminating
% 103.63/94.51 eprover: CPU time limit exceeded, terminating
% 106.15/96.53 eprover: CPU time limit exceeded, terminating
% 108.58/98.55 eprover: CPU time limit exceeded, terminating
% 111.08/100.56 eprover: CPU time limit exceeded, terminating
% 113.55/102.58 eprover: CPU time limit exceeded, terminating
% 115.98/104.60 eprover: CPU time limit exceeded, terminating
% 118.44/106.61 eprover: CPU time limit exceeded, terminating
% 120.86/108.63 eprover: CPU time limit exceeded, terminating
% 123.25/110.65 eprover: CPU time limit exceeded, terminating
% 125.79/112.66 eprover: CPU time limit exceeded, terminating
% 128.24/114.68 eprover: CPU time limit exceeded, terminating
% 130.76/116.71 eprover: CPU time limit exceeded, terminating
% 133.16/118.73 eprover: CPU time limit exceeded, terminating
% 135.65/120.75 eprover: CPU time limit exceeded, terminating
% 138.16/122.77 eprover: CPU time limit exceeded, terminating
% 140.65/124.78 eprover: CPU time limit exceeded, terminating
% 143.14/126.80 eprover: CPU time limit exceeded, terminating
% 145.63/128.83 eprover: CPU time limit exceeded, terminating
% 148.14/130.85 eprover: CPU time limit exceeded, terminating
% 150.62/132.87 eprover: CPU time limit exceeded, terminating
% 153.07/134.89 eprover: CPU time limit exceeded, terminating
% 155.59/136.90 eprover: CPU time limit exceeded, terminating
% 158.07/138.92 eprover: CPU time limit exceeded, terminating
% 160.58/140.94 eprover: CPU time limit exceeded, terminating
% 162.99/142.95 eprover: CPU time limit exceeded, terminating
% 165.47/144.97 eprover: CPU time limit exceeded, terminating
% 167.95/146.99 eprover: CPU time limit exceeded, terminating
% 170.46/149.01 eprover: CPU time limit exceeded, terminating
% 172.92/151.03 eprover: CPU time limit exceeded, terminating
% 175.37/153.04 eprover: CPU time limit exceeded, terminating
% 177.85/155.06 eprover: CPU time limit exceeded, terminating
% 180.31/157.08 eprover: CPU time limit exceeded, terminating
% 182.83/159.10 eprover: CPU time limit exceeded, terminating
% 185.29/161.12 eprover: CPU time limit exceeded, terminating
% 187.77/163.14 eprover: CPU time limit exceeded, terminating
% 190.20/165.16 eprover: CPU time limit exceeded, terminating
% 192.72/167.18 eprover: CPU time limit exceeded, terminating
% 195.20/169.20 eprover: CPU time limit exceeded, terminating
% 197.74/171.22 eprover: CPU time limit exceeded, terminating
% 200.22/173.24 eprover: CPU time limit exceeded, terminating
% 202.62/175.26 eprover: CPU time limit exceeded, terminating
% 205.07/177.27 eprover: CPU time limit exceeded, terminating
% 207.50/179.30 eprover: CPU time limit exceeded, terminating
% 210.01/181.31 eprover: CPU time limit exceeded, terminating
% 212.48/183.33 eprover: CPU time limit exceeded, terminating
% 214.92/185.35 eprover: CPU time limit exceeded, terminating
% 217.39/187.37 eprover: CPU time limit exceeded, terminating
% 219.81/189.38 eprover: CPU time limit exceeded, terminating
% 222.34/191.41 eprover: CPU time limit exceeded, terminating
% 224.78/193.43 eprover: CPU time limit exceeded, terminating
% 227.27/195.45 eprover: CPU time limit exceeded, terminating
% 229.77/197.47 eprover: CPU time limit exceeded, terminating
% 232.18/199.48 eprover: CPU time limit exceeded, terminating
% 234.74/201.50 eprover: CPU time limit exceeded, terminating
% 237.20/203.54 eprover: CPU time limit exceeded, terminating
% 239.66/205.56 eprover: CPU time limit exceeded, terminating
% 242.12/207.58 eprover: CPU time limit exceeded, terminating
% 244.67/209.60 eprover: CPU time limit exceeded, terminating
% 247.12/211.61 eprover: CPU time limit exceeded, terminating
% 249.64/213.64 eprover: CPU time limit exceeded, terminating
% 252.12/215.66 eprover: CPU time limit exceeded, terminating
% 254.55/217.68 eprover: CPU time limit exceeded, terminating
% 257.09/219.70 eprover: CPU time limit exceeded, terminating
% 259.56/221.72 eprover: CPU time limit exceeded, terminating
% 262.03/223.74 eprover: CPU time limit exceeded, terminating
% 264.48/225.76 eprover: CPU time limit exceeded, terminating
% 266.98/227.78 eprover: CPU time limit exceeded, terminating
% 269.46/229.80 eprover: CPU time limit exceeded, terminating
% 271.93/231.82 eprover: CPU time limit exceeded, terminating
% 274.38/233.84 eprover: CPU time limit exceeded, terminating
% 276.90/235.85 eprover: CPU time limit exceeded, terminating
% 279.43/237.87 eprover: CPU time limit exceeded, terminating
% 281.92/239.89 eprover: CPU time limit exceeded, terminating
% 284.35/241.92 eprover: CPU time limit exceeded, terminating
% 286.84/243.94 eprover: CPU time limit exceeded, terminating
% 289.28/245.96 eprover: CPU time limit exceeded, terminating
% 291.78/247.99 eprover: CPU time limit exceeded, terminating
% 294.21/250.01 eprover: CPU time limit exceeded, terminating
% 296.74/252.03 eprover: CPU time limit exceeded, terminating
% 299.25/254.05 eprover: CPU time limit exceeded, terminating
% 300.06/254.61 eprover: CPU time limit exceeded, terminating
% 300.06/254.62 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------