TSTP Solution File: SWB015+3 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWB015+3 : TPTP v8.1.0. Released v5.2.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n023.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 19:04:35 EDT 2022
% Result : Timeout 286.94s 286.26s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.13 % Problem : SWB015+3 : TPTP v8.1.0. Released v5.2.0.
% 0.07/0.14 % Command : run_infinox %s
% 0.15/0.35 % Computer : n023.cluster.edu
% 0.15/0.35 % Model : x86_64 x86_64
% 0.15/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.15/0.35 % Memory : 8042.1875MB
% 0.15/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.15/0.35 % CPULimit : 300
% 0.15/0.35 % WCLimit : 600
% 0.15/0.35 % DateTime : Wed Jun 1 09:34:56 EDT 2022
% 0.15/0.35 % CPUTime :
% 2.32/2.51 eprover: CPU time limit exceeded, terminating
% 4.34/4.52 eprover: CPU time limit exceeded, terminating
% 6.35/6.54 eprover: CPU time limit exceeded, terminating
% 8.38/8.55 eprover: CPU time limit exceeded, terminating
% 10.37/10.56 eprover: CPU time limit exceeded, terminating
% 12.42/12.57 eprover: CPU time limit exceeded, terminating
% 14.42/14.59 eprover: CPU time limit exceeded, terminating
% 16.44/16.60 eprover: CPU time limit exceeded, terminating
% 18.45/18.61 eprover: CPU time limit exceeded, terminating
% 20.50/20.63 eprover: CPU time limit exceeded, terminating
% 22.53/22.64 eprover: CPU time limit exceeded, terminating
% 24.54/24.65 eprover: CPU time limit exceeded, terminating
% 26.54/26.66 eprover: CPU time limit exceeded, terminating
% 28.54/28.68 eprover: CPU time limit exceeded, terminating
% 30.60/30.69 eprover: CPU time limit exceeded, terminating
% 32.62/32.70 eprover: CPU time limit exceeded, terminating
% 34.61/34.72 eprover: CPU time limit exceeded, terminating
% 36.64/36.73 eprover: CPU time limit exceeded, terminating
% 38.64/38.74 eprover: CPU time limit exceeded, terminating
% 40.67/40.75 eprover: CPU time limit exceeded, terminating
% 42.70/42.77 eprover: CPU time limit exceeded, terminating
% 44.72/44.78 eprover: CPU time limit exceeded, terminating
% 46.72/46.79 eprover: CPU time limit exceeded, terminating
% 48.75/48.80 eprover: CPU time limit exceeded, terminating
% 50.75/50.82 eprover: CPU time limit exceeded, terminating
% 52.82/52.83 eprover: CPU time limit exceeded, terminating
% 54.79/54.84 eprover: CPU time limit exceeded, terminating
% 56.84/56.85 eprover: CPU time limit exceeded, terminating
% 58.87/58.87 eprover: CPU time limit exceeded, terminating
% 60.86/60.88 eprover: CPU time limit exceeded, terminating
% 62.89/62.89 eprover: CPU time limit exceeded, terminating
% 64.94/64.91 eprover: CPU time limit exceeded, terminating
% 66.92/66.92 eprover: CPU time limit exceeded, terminating
% 68.92/68.93 eprover: CPU time limit exceeded, terminating
% 70.97/70.94 eprover: CPU time limit exceeded, terminating
% 73.01/72.96 eprover: CPU time limit exceeded, terminating
% 75.04/74.97 eprover: CPU time limit exceeded, terminating
% 77.06/76.98 eprover: CPU time limit exceeded, terminating
% 79.03/79.00 eprover: CPU time limit exceeded, terminating
% 81.07/81.01 eprover: CPU time limit exceeded, terminating
% 83.12/83.02 eprover: CPU time limit exceeded, terminating
% 85.12/85.03 eprover: CPU time limit exceeded, terminating
% 87.14/87.05 eprover: CPU time limit exceeded, terminating
% 89.17/89.06 eprover: CPU time limit exceeded, terminating
% 91.14/91.07 eprover: CPU time limit exceeded, terminating
% 93.20/93.09 eprover: CPU time limit exceeded, terminating
% 95.23/95.10 eprover: CPU time limit exceeded, terminating
% 97.20/97.11 eprover: CPU time limit exceeded, terminating
% 99.22/99.12 eprover: CPU time limit exceeded, terminating
% 101.30/101.14 eprover: CPU time limit exceeded, terminating
% 103.28/103.15 eprover: CPU time limit exceeded, terminating
% 105.30/105.16 eprover: CPU time limit exceeded, terminating
% 107.33/107.18 eprover: CPU time limit exceeded, terminating
% 109.32/109.19 eprover: CPU time limit exceeded, terminating
% 111.33/111.20 eprover: CPU time limit exceeded, terminating
% 113.40/113.22 eprover: CPU time limit exceeded, terminating
% 115.37/115.23 eprover: CPU time limit exceeded, terminating
% 117.41/117.24 eprover: CPU time limit exceeded, terminating
% 119.41/119.26 eprover: CPU time limit exceeded, terminating
% 121.46/121.27 eprover: CPU time limit exceeded, terminating
% 123.50/123.28 eprover: CPU time limit exceeded, terminating
% 125.52/125.30 eprover: CPU time limit exceeded, terminating
% 127.49/127.31 eprover: CPU time limit exceeded, terminating
% 129.52/129.32 eprover: CPU time limit exceeded, terminating
% 131.54/131.34 eprover: CPU time limit exceeded, terminating
% 133.62/133.35 eprover: CPU time limit exceeded, terminating
% 135.59/135.36 eprover: CPU time limit exceeded, terminating
% 137.61/137.38 eprover: CPU time limit exceeded, terminating
% 139.66/139.39 eprover: CPU time limit exceeded, terminating
% 141.66/141.41 eprover: CPU time limit exceeded, terminating
% 143.71/143.42 eprover: CPU time limit exceeded, terminating
% 145.73/145.43 eprover: CPU time limit exceeded, terminating
% 147.74/147.45 eprover: CPU time limit exceeded, terminating
% 149.71/149.46 eprover: CPU time limit exceeded, terminating
% 151.77/151.47 eprover: CPU time limit exceeded, terminating
% 153.81/153.48 eprover: CPU time limit exceeded, terminating
% 155.84/155.50 eprover: CPU time limit exceeded, terminating
% 157.78/157.51 eprover: CPU time limit exceeded, terminating
% 159.80/159.52 eprover: CPU time limit exceeded, terminating
% 161.88/161.54 eprover: CPU time limit exceeded, terminating
% 163.91/163.55 eprover: CPU time limit exceeded, terminating
% 165.94/165.57 eprover: CPU time limit exceeded, terminating
% 167.95/167.58 eprover: CPU time limit exceeded, terminating
% 169.95/169.59 eprover: CPU time limit exceeded, terminating
% 171.97/171.61 eprover: CPU time limit exceeded, terminating
% 173.98/173.62 eprover: CPU time limit exceeded, terminating
% 176.02/175.63 eprover: CPU time limit exceeded, terminating
% 177.95/177.64 eprover: CPU time limit exceeded, terminating
% 180.00/179.66 eprover: CPU time limit exceeded, terminating
% 182.09/181.67 eprover: CPU time limit exceeded, terminating
% 184.11/183.68 eprover: CPU time limit exceeded, terminating
% 186.13/185.70 eprover: CPU time limit exceeded, terminating
% 188.08/187.71 eprover: CPU time limit exceeded, terminating
% 190.17/189.72 eprover: CPU time limit exceeded, terminating
% 192.13/191.73 eprover: CPU time limit exceeded, terminating
% 194.15/193.75 eprover: CPU time limit exceeded, terminating
% 196.18/195.76 eprover: CPU time limit exceeded, terminating
% 198.15/197.77 eprover: CPU time limit exceeded, terminating
% 200.24/199.79 eprover: CPU time limit exceeded, terminating
% 202.23/201.80 eprover: CPU time limit exceeded, terminating
% 204.24/203.81 eprover: CPU time limit exceeded, terminating
% 206.29/205.82 eprover: CPU time limit exceeded, terminating
% 208.34/207.83 eprover: CPU time limit exceeded, terminating
% 210.36/209.85 eprover: CPU time limit exceeded, terminating
% 212.35/211.86 eprover: CPU time limit exceeded, terminating
% 214.38/213.86 eprover: CPU time limit exceeded, terminating
% 216.38/215.87 eprover: CPU time limit exceeded, terminating
% 218.41/217.89 eprover: CPU time limit exceeded, terminating
% 220.41/219.90 eprover: CPU time limit exceeded, terminating
% 222.44/221.90 eprover: CPU time limit exceeded, terminating
% 224.47/223.91 eprover: CPU time limit exceeded, terminating
% 226.45/225.92 eprover: CPU time limit exceeded, terminating
% 228.47/227.93 eprover: CPU time limit exceeded, terminating
% 230.48/229.94 eprover: CPU time limit exceeded, terminating
% 232.50/231.95 eprover: CPU time limit exceeded, terminating
% 234.53/233.96 eprover: CPU time limit exceeded, terminating
% 236.52/235.97 eprover: CPU time limit exceeded, terminating
% 238.56/237.98 eprover: CPU time limit exceeded, terminating
% 240.57/239.99 eprover: CPU time limit exceeded, terminating
% 242.60/242.00 eprover: CPU time limit exceeded, terminating
% 244.59/244.01 eprover: CPU time limit exceeded, terminating
% 246.54/246.02 eprover: CPU time limit exceeded, terminating
% 248.61/248.03 eprover: CPU time limit exceeded, terminating
% 250.65/250.04 eprover: CPU time limit exceeded, terminating
% 252.64/252.06 eprover: CPU time limit exceeded, terminating
% 254.62/254.07 eprover: CPU time limit exceeded, terminating
% 256.66/256.08 eprover: CPU time limit exceeded, terminating
% 258.73/258.09 eprover: CPU time limit exceeded, terminating
% 260.72/260.10 eprover: CPU time limit exceeded, terminating
% 262.74/262.11 eprover: CPU time limit exceeded, terminating
% 264.76/264.12 eprover: CPU time limit exceeded, terminating
% 266.77/266.13 eprover: CPU time limit exceeded, terminating
% 268.75/268.15 eprover: CPU time limit exceeded, terminating
% 270.78/270.16 eprover: CPU time limit exceeded, terminating
% 272.78/272.18 eprover: CPU time limit exceeded, terminating
% 274.86/274.19 eprover: CPU time limit exceeded, terminating
% 276.80/276.20 eprover: CPU time limit exceeded, terminating
% 278.82/278.21 eprover: CPU time limit exceeded, terminating
% 280.90/280.22 eprover: CPU time limit exceeded, terminating
% 282.94/282.23 eprover: CPU time limit exceeded, terminating
% 284.91/284.25 eprover: CPU time limit exceeded, terminating
% 286.94/286.26 eprover: CPU time limit exceeded, terminating
% 288.91/288.27 eprover: CPU time limit exceeded, terminating
% 290.94/290.29 eprover: CPU time limit exceeded, terminating
% 293.00/292.30 eprover: CPU time limit exceeded, terminating
% 294.95/294.31 eprover: CPU time limit exceeded, terminating
% 297.02/296.33 eprover: CPU time limit exceeded, terminating
% 299.05/298.34 eprover: CPU time limit exceeded, terminating
% 300.08/299.33 eprover: CPU time limit exceeded, terminating
% 300.08/299.34 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------