TSTP Solution File: SWB099+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWB099+1 : TPTP v8.1.0. Released v5.2.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n021.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:44 EDT 2022
% Result : Timeout 286.97s 282.80s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.12 % Problem : SWB099+1 : TPTP v8.1.0. Released v5.2.0.
% 0.12/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n021.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 : Wed Jun 1 07:50:45 EDT 2022
% 0.12/0.34 % CPUTime :
% 2.94/3.10 eprover: CPU time limit exceeded, terminating
% 4.88/5.11 eprover: CPU time limit exceeded, terminating
% 6.95/7.12 eprover: CPU time limit exceeded, terminating
% 9.01/9.13 eprover: CPU time limit exceeded, terminating
% 10.99/11.14 eprover: CPU time limit exceeded, terminating
% 13.07/13.16 eprover: CPU time limit exceeded, terminating
% 15.09/15.17 eprover: CPU time limit exceeded, terminating
% 17.13/17.18 eprover: CPU time limit exceeded, terminating
% 19.18/19.19 eprover: CPU time limit exceeded, terminating
% 21.19/21.20 eprover: CPU time limit exceeded, terminating
% 23.25/23.21 eprover: CPU time limit exceeded, terminating
% 25.25/25.22 eprover: CPU time limit exceeded, terminating
% 27.26/27.23 eprover: CPU time limit exceeded, terminating
% 29.35/29.24 eprover: CPU time limit exceeded, terminating
% 31.33/31.25 eprover: CPU time limit exceeded, terminating
% 33.39/33.26 eprover: CPU time limit exceeded, terminating
% 35.40/35.27 eprover: CPU time limit exceeded, terminating
% 37.46/37.29 eprover: CPU time limit exceeded, terminating
% 39.49/39.30 eprover: CPU time limit exceeded, terminating
% 41.51/41.32 eprover: CPU time limit exceeded, terminating
% 43.55/43.33 eprover: CPU time limit exceeded, terminating
% 45.51/45.34 eprover: CPU time limit exceeded, terminating
% 47.58/47.35 eprover: CPU time limit exceeded, terminating
% 49.61/49.37 eprover: CPU time limit exceeded, terminating
% 51.65/51.38 eprover: CPU time limit exceeded, terminating
% 53.68/53.39 eprover: CPU time limit exceeded, terminating
% 55.68/55.40 eprover: CPU time limit exceeded, terminating
% 57.72/57.41 eprover: CPU time limit exceeded, terminating
% 59.74/59.42 eprover: CPU time limit exceeded, terminating
% 61.79/61.43 eprover: CPU time limit exceeded, terminating
% 63.84/63.44 eprover: CPU time limit exceeded, terminating
% 65.82/65.45 eprover: CPU time limit exceeded, terminating
% 67.83/67.46 eprover: CPU time limit exceeded, terminating
% 69.91/69.47 eprover: CPU time limit exceeded, terminating
% 71.95/71.48 eprover: CPU time limit exceeded, terminating
% 73.94/73.49 eprover: CPU time limit exceeded, terminating
% 75.97/75.50 eprover: CPU time limit exceeded, terminating
% 77.99/77.50 eprover: CPU time limit exceeded, terminating
% 80.05/79.52 eprover: CPU time limit exceeded, terminating
% 82.03/81.53 eprover: CPU time limit exceeded, terminating
% 84.13/83.54 eprover: CPU time limit exceeded, terminating
% 86.11/85.55 eprover: CPU time limit exceeded, terminating
% 88.16/87.56 eprover: CPU time limit exceeded, terminating
% 90.22/89.57 eprover: CPU time limit exceeded, terminating
% 92.24/91.58 eprover: CPU time limit exceeded, terminating
% 94.26/93.59 eprover: CPU time limit exceeded, terminating
% 96.31/95.60 eprover: CPU time limit exceeded, terminating
% 98.30/97.61 eprover: CPU time limit exceeded, terminating
% 100.30/99.62 eprover: CPU time limit exceeded, terminating
% 102.39/101.63 eprover: CPU time limit exceeded, terminating
% 104.41/103.64 eprover: CPU time limit exceeded, terminating
% 106.38/105.65 eprover: CPU time limit exceeded, terminating
% 108.49/107.67 eprover: CPU time limit exceeded, terminating
% 110.49/109.68 eprover: CPU time limit exceeded, terminating
% 112.52/111.69 eprover: CPU time limit exceeded, terminating
% 114.56/113.70 eprover: CPU time limit exceeded, terminating
% 116.54/115.71 eprover: CPU time limit exceeded, terminating
% 118.58/117.72 eprover: CPU time limit exceeded, terminating
% 120.64/119.73 eprover: CPU time limit exceeded, terminating
% 122.71/121.74 eprover: CPU time limit exceeded, terminating
% 124.70/123.75 eprover: CPU time limit exceeded, terminating
% 126.76/125.76 eprover: CPU time limit exceeded, terminating
% 128.75/127.77 eprover: CPU time limit exceeded, terminating
% 130.79/129.78 eprover: CPU time limit exceeded, terminating
% 132.84/131.79 eprover: CPU time limit exceeded, terminating
% 134.84/133.80 eprover: CPU time limit exceeded, terminating
% 136.83/135.81 eprover: CPU time limit exceeded, terminating
% 138.90/137.82 eprover: CPU time limit exceeded, terminating
% 140.93/139.83 eprover: CPU time limit exceeded, terminating
% 142.97/141.84 eprover: CPU time limit exceeded, terminating
% 145.01/143.85 eprover: CPU time limit exceeded, terminating
% 147.05/145.86 eprover: CPU time limit exceeded, terminating
% 149.06/147.87 eprover: CPU time limit exceeded, terminating
% 151.11/149.89 eprover: CPU time limit exceeded, terminating
% 153.10/151.91 eprover: CPU time limit exceeded, terminating
% 155.19/153.92 eprover: CPU time limit exceeded, terminating
% 157.14/155.93 eprover: CPU time limit exceeded, terminating
% 159.22/157.94 eprover: CPU time limit exceeded, terminating
% 161.19/159.95 eprover: CPU time limit exceeded, terminating
% 163.29/161.98 eprover: CPU time limit exceeded, terminating
% 165.31/163.99 eprover: CPU time limit exceeded, terminating
% 167.33/166.01 eprover: CPU time limit exceeded, terminating
% 169.34/168.01 eprover: CPU time limit exceeded, terminating
% 171.36/170.03 eprover: CPU time limit exceeded, terminating
% 173.40/172.04 eprover: CPU time limit exceeded, terminating
% 175.47/174.05 eprover: CPU time limit exceeded, terminating
% 177.46/176.06 eprover: CPU time limit exceeded, terminating
% 179.51/178.07 eprover: CPU time limit exceeded, terminating
% 181.49/180.09 eprover: CPU time limit exceeded, terminating
% 183.55/182.10 eprover: CPU time limit exceeded, terminating
% 185.51/184.12 eprover: CPU time limit exceeded, terminating
% 187.60/186.13 eprover: CPU time limit exceeded, terminating
% 189.65/188.14 eprover: CPU time limit exceeded, terminating
% 191.66/190.15 eprover: CPU time limit exceeded, terminating
% 193.68/192.17 eprover: CPU time limit exceeded, terminating
% 195.70/194.19 eprover: CPU time limit exceeded, terminating
% 197.73/196.20 eprover: CPU time limit exceeded, terminating
% 199.76/198.21 eprover: CPU time limit exceeded, terminating
% 201.82/200.22 eprover: CPU time limit exceeded, terminating
% 203.87/202.24 eprover: CPU time limit exceeded, terminating
% 205.80/204.25 eprover: CPU time limit exceeded, terminating
% 207.83/206.27 eprover: CPU time limit exceeded, terminating
% 209.92/208.28 eprover: CPU time limit exceeded, terminating
% 211.98/210.29 eprover: CPU time limit exceeded, terminating
% 213.95/212.31 eprover: CPU time limit exceeded, terminating
% 216.01/214.32 eprover: CPU time limit exceeded, terminating
% 218.04/216.34 eprover: CPU time limit exceeded, terminating
% 220.09/218.36 eprover: CPU time limit exceeded, terminating
% 222.11/220.37 eprover: CPU time limit exceeded, terminating
% 224.09/222.39 eprover: CPU time limit exceeded, terminating
% 226.16/224.40 eprover: CPU time limit exceeded, terminating
% 228.17/226.42 eprover: CPU time limit exceeded, terminating
% 230.22/228.43 eprover: CPU time limit exceeded, terminating
% 232.25/230.45 eprover: CPU time limit exceeded, terminating
% 234.28/232.46 eprover: CPU time limit exceeded, terminating
% 236.30/234.48 eprover: CPU time limit exceeded, terminating
% 240.31/236.49 eprover: CPU time limit exceeded, terminating
% 242.34/238.50 eprover: CPU time limit exceeded, terminating
% 244.37/240.51 eprover: CPU time limit exceeded, terminating
% 246.35/242.52 eprover: CPU time limit exceeded, terminating
% 248.37/244.54 eprover: CPU time limit exceeded, terminating
% 250.46/246.55 eprover: CPU time limit exceeded, terminating
% 252.47/248.56 eprover: CPU time limit exceeded, terminating
% 254.50/250.57 eprover: CPU time limit exceeded, terminating
% 256.51/252.59 eprover: CPU time limit exceeded, terminating
% 258.54/254.60 eprover: CPU time limit exceeded, terminating
% 260.61/256.62 eprover: CPU time limit exceeded, terminating
% 262.62/258.63 eprover: CPU time limit exceeded, terminating
% 264.66/260.65 eprover: CPU time limit exceeded, terminating
% 266.69/262.66 eprover: CPU time limit exceeded, terminating
% 268.71/264.68 eprover: CPU time limit exceeded, terminating
% 270.76/266.69 eprover: CPU time limit exceeded, terminating
% 272.78/268.70 eprover: CPU time limit exceeded, terminating
% 274.78/270.72 eprover: CPU time limit exceeded, terminating
% 276.82/272.73 eprover: CPU time limit exceeded, terminating
% 278.81/274.75 eprover: CPU time limit exceeded, terminating
% 280.91/276.76 eprover: CPU time limit exceeded, terminating
% 282.92/278.77 eprover: CPU time limit exceeded, terminating
% 284.92/280.78 eprover: CPU time limit exceeded, terminating
% 286.97/282.80 eprover: CPU time limit exceeded, terminating
% 288.96/284.81 eprover: CPU time limit exceeded, terminating
% 290.99/286.82 eprover: CPU time limit exceeded, terminating
% 293.00/288.83 eprover: CPU time limit exceeded, terminating
% 295.09/290.85 eprover: CPU time limit exceeded, terminating
% 297.10/292.87 eprover: CPU time limit exceeded, terminating
% 299.15/294.88 eprover: CPU time limit exceeded, terminating
% 301.18/294.91 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------