TSTP Solution File: SWC113+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWC113+1 : TPTP v8.1.0. Released v2.4.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 : Tue Jul 19 20:46:45 EDT 2022
% Result : Timeout 286.69s 284.31s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.10/0.12 % Problem : SWC113+1 : TPTP v8.1.0. Released v2.4.0.
% 0.10/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n026.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 : Sun Jun 12 05:57:20 EDT 2022
% 0.12/0.34 % CPUTime :
% 2.25/2.49 eprover: CPU time limit exceeded, terminating
% 4.32/4.50 eprover: CPU time limit exceeded, terminating
% 6.33/6.51 eprover: CPU time limit exceeded, terminating
% 8.32/8.52 eprover: CPU time limit exceeded, terminating
% 10.35/10.53 eprover: CPU time limit exceeded, terminating
% 12.39/12.54 eprover: CPU time limit exceeded, terminating
% 14.37/14.55 eprover: CPU time limit exceeded, terminating
% 16.43/16.57 eprover: CPU time limit exceeded, terminating
% 18.37/18.58 eprover: CPU time limit exceeded, terminating
% 20.38/20.59 eprover: CPU time limit exceeded, terminating
% 22.46/22.60 eprover: CPU time limit exceeded, terminating
% 24.49/24.61 eprover: CPU time limit exceeded, terminating
% 26.52/26.62 eprover: CPU time limit exceeded, terminating
% 28.49/28.64 eprover: CPU time limit exceeded, terminating
% 30.51/30.65 eprover: CPU time limit exceeded, terminating
% 32.51/32.66 eprover: CPU time limit exceeded, terminating
% 34.55/34.67 eprover: CPU time limit exceeded, terminating
% 36.53/36.68 eprover: CPU time limit exceeded, terminating
% 38.62/38.70 eprover: CPU time limit exceeded, terminating
% 40.63/40.71 eprover: CPU time limit exceeded, terminating
% 42.65/42.72 eprover: CPU time limit exceeded, terminating
% 44.64/44.73 eprover: CPU time limit exceeded, terminating
% 46.64/46.74 eprover: CPU time limit exceeded, terminating
% 48.68/48.75 eprover: CPU time limit exceeded, terminating
% 50.65/50.76 eprover: CPU time limit exceeded, terminating
% 52.73/52.78 eprover: CPU time limit exceeded, terminating
% 54.66/54.79 eprover: CPU time limit exceeded, terminating
% 56.75/56.80 eprover: CPU time limit exceeded, terminating
% 58.75/58.81 eprover: CPU time limit exceeded, terminating
% 60.78/60.82 eprover: CPU time limit exceeded, terminating
% 62.77/62.84 eprover: CPU time limit exceeded, terminating
% 64.81/64.85 eprover: CPU time limit exceeded, terminating
% 66.78/66.86 eprover: CPU time limit exceeded, terminating
% 68.81/68.87 eprover: CPU time limit exceeded, terminating
% 70.89/70.88 eprover: CPU time limit exceeded, terminating
% 72.84/72.90 eprover: CPU time limit exceeded, terminating
% 74.90/74.91 eprover: CPU time limit exceeded, terminating
% 76.95/76.92 eprover: CPU time limit exceeded, terminating
% 78.96/78.93 eprover: CPU time limit exceeded, terminating
% 80.94/80.94 eprover: CPU time limit exceeded, terminating
% 82.96/82.96 eprover: CPU time limit exceeded, terminating
% 84.96/84.97 eprover: CPU time limit exceeded, terminating
% 86.98/86.98 eprover: CPU time limit exceeded, terminating
% 88.97/88.99 eprover: CPU time limit exceeded, terminating
% 91.04/91.00 eprover: CPU time limit exceeded, terminating
% 93.06/93.02 eprover: CPU time limit exceeded, terminating
% 95.05/95.04 eprover: CPU time limit exceeded, terminating
% 97.07/97.05 eprover: CPU time limit exceeded, terminating
% 99.07/99.07 eprover: CPU time limit exceeded, terminating
% 101.08/101.08 eprover: CPU time limit exceeded, terminating
% 103.17/103.09 eprover: CPU time limit exceeded, terminating
% 105.21/105.11 eprover: CPU time limit exceeded, terminating
% 107.17/107.12 eprover: CPU time limit exceeded, terminating
% 109.20/109.14 eprover: CPU time limit exceeded, terminating
% 111.20/111.15 eprover: CPU time limit exceeded, terminating
% 113.20/113.16 eprover: CPU time limit exceeded, terminating
% 115.21/115.18 eprover: CPU time limit exceeded, terminating
% 117.23/117.19 eprover: CPU time limit exceeded, terminating
% 119.30/119.21 eprover: CPU time limit exceeded, terminating
% 121.30/121.22 eprover: CPU time limit exceeded, terminating
% 123.32/123.23 eprover: CPU time limit exceeded, terminating
% 125.34/125.25 eprover: CPU time limit exceeded, terminating
% 127.33/127.27 eprover: CPU time limit exceeded, terminating
% 129.39/129.28 eprover: CPU time limit exceeded, terminating
% 131.35/131.29 eprover: CPU time limit exceeded, terminating
% 133.42/133.30 eprover: CPU time limit exceeded, terminating
% 135.46/135.33 eprover: CPU time limit exceeded, terminating
% 137.46/137.34 eprover: CPU time limit exceeded, terminating
% 139.44/139.35 eprover: CPU time limit exceeded, terminating
% 141.43/141.36 eprover: CPU time limit exceeded, terminating
% 143.54/143.37 eprover: CPU time limit exceeded, terminating
% 145.53/145.40 eprover: CPU time limit exceeded, terminating
% 147.55/147.41 eprover: CPU time limit exceeded, terminating
% 149.56/149.42 eprover: CPU time limit exceeded, terminating
% 151.54/151.43 eprover: CPU time limit exceeded, terminating
% 153.58/153.44 eprover: CPU time limit exceeded, terminating
% 155.60/155.47 eprover: CPU time limit exceeded, terminating
% 157.59/157.48 eprover: CPU time limit exceeded, terminating
% 159.67/159.49 eprover: CPU time limit exceeded, terminating
% 161.59/161.50 eprover: CPU time limit exceeded, terminating
% 163.68/163.51 eprover: CPU time limit exceeded, terminating
% 165.70/165.54 eprover: CPU time limit exceeded, terminating
% 167.68/167.55 eprover: CPU time limit exceeded, terminating
% 169.69/169.56 eprover: CPU time limit exceeded, terminating
% 171.68/171.57 eprover: CPU time limit exceeded, terminating
% 173.79/173.58 eprover: CPU time limit exceeded, terminating
% 175.80/175.60 eprover: CPU time limit exceeded, terminating
% 177.82/177.62 eprover: CPU time limit exceeded, terminating
% 179.83/179.63 eprover: CPU time limit exceeded, terminating
% 181.85/181.64 eprover: CPU time limit exceeded, terminating
% 183.84/183.65 eprover: CPU time limit exceeded, terminating
% 185.86/185.66 eprover: CPU time limit exceeded, terminating
% 187.83/187.68 eprover: CPU time limit exceeded, terminating
% 189.85/189.69 eprover: CPU time limit exceeded, terminating
% 191.95/191.70 eprover: CPU time limit exceeded, terminating
% 193.95/193.71 eprover: CPU time limit exceeded, terminating
% 195.97/195.73 eprover: CPU time limit exceeded, terminating
% 197.99/197.74 eprover: CPU time limit exceeded, terminating
% 199.99/199.75 eprover: CPU time limit exceeded, terminating
% 201.97/201.76 eprover: CPU time limit exceeded, terminating
% 204.01/203.78 eprover: CPU time limit exceeded, terminating
% 206.07/205.79 eprover: CPU time limit exceeded, terminating
% 210.08/207.80 eprover: CPU time limit exceeded, terminating
% 212.10/209.81 eprover: CPU time limit exceeded, terminating
% 214.08/211.83 eprover: CPU time limit exceeded, terminating
% 216.08/213.84 eprover: CPU time limit exceeded, terminating
% 218.12/215.85 eprover: CPU time limit exceeded, terminating
% 220.12/217.87 eprover: CPU time limit exceeded, terminating
% 222.10/219.88 eprover: CPU time limit exceeded, terminating
% 224.13/221.89 eprover: CPU time limit exceeded, terminating
% 226.21/223.91 eprover: CPU time limit exceeded, terminating
% 228.21/225.92 eprover: CPU time limit exceeded, terminating
% 230.24/227.93 eprover: CPU time limit exceeded, terminating
% 232.26/229.94 eprover: CPU time limit exceeded, terminating
% 234.27/231.95 eprover: CPU time limit exceeded, terminating
% 236.25/233.96 eprover: CPU time limit exceeded, terminating
% 238.27/235.98 eprover: CPU time limit exceeded, terminating
% 240.26/237.99 eprover: CPU time limit exceeded, terminating
% 242.36/240.00 eprover: CPU time limit exceeded, terminating
% 244.36/242.01 eprover: CPU time limit exceeded, terminating
% 246.39/244.02 eprover: CPU time limit exceeded, terminating
% 248.38/246.04 eprover: CPU time limit exceeded, terminating
% 250.37/248.05 eprover: CPU time limit exceeded, terminating
% 252.37/250.07 eprover: CPU time limit exceeded, terminating
% 254.39/252.09 eprover: CPU time limit exceeded, terminating
% 256.45/254.11 eprover: CPU time limit exceeded, terminating
% 258.49/256.12 eprover: CPU time limit exceeded, terminating
% 260.45/258.14 eprover: CPU time limit exceeded, terminating
% 262.48/260.15 eprover: CPU time limit exceeded, terminating
% 264.52/262.16 eprover: CPU time limit exceeded, terminating
% 266.55/264.17 eprover: CPU time limit exceeded, terminating
% 268.56/266.19 eprover: CPU time limit exceeded, terminating
% 270.53/268.21 eprover: CPU time limit exceeded, terminating
% 272.59/270.22 eprover: CPU time limit exceeded, terminating
% 274.56/272.23 eprover: CPU time limit exceeded, terminating
% 276.60/274.25 eprover: CPU time limit exceeded, terminating
% 278.62/276.26 eprover: CPU time limit exceeded, terminating
% 280.62/278.27 eprover: CPU time limit exceeded, terminating
% 282.62/280.28 eprover: CPU time limit exceeded, terminating
% 284.66/282.30 eprover: CPU time limit exceeded, terminating
% 286.69/284.31 eprover: CPU time limit exceeded, terminating
% 288.69/286.32 eprover: CPU time limit exceeded, terminating
% 290.74/288.33 eprover: CPU time limit exceeded, terminating
% 292.71/290.34 eprover: CPU time limit exceeded, terminating
% 294.76/292.35 eprover: CPU time limit exceeded, terminating
% 296.70/294.37 eprover: CPU time limit exceeded, terminating
% 298.79/296.38 eprover: CPU time limit exceeded, terminating
% 300.05/297.62 eprover: CPU time limit exceeded, terminating
% 300.05/297.64 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------