TSTP Solution File: SWB029+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWB029+1 : TPTP v8.1.0. Released v5.2.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n028.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:39 EDT 2022
% Result : Timeout 287.54s 282.47s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.12 % Problem : SWB029+1 : TPTP v8.1.0. Released v5.2.0.
% 0.11/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n028.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Wed Jun 1 06:23:22 EDT 2022
% 0.13/0.34 % CPUTime :
% 2.85/3.02 eprover: CPU time limit exceeded, terminating
% 4.89/5.03 eprover: CPU time limit exceeded, terminating
% 6.89/7.04 eprover: CPU time limit exceeded, terminating
% 8.95/9.05 eprover: CPU time limit exceeded, terminating
% 10.96/11.06 eprover: CPU time limit exceeded, terminating
% 13.03/13.07 eprover: CPU time limit exceeded, terminating
% 14.97/15.08 eprover: CPU time limit exceeded, terminating
% 17.11/17.09 eprover: CPU time limit exceeded, terminating
% 19.12/19.10 eprover: CPU time limit exceeded, terminating
% 21.16/21.11 eprover: CPU time limit exceeded, terminating
% 23.19/23.12 eprover: CPU time limit exceeded, terminating
% 25.21/25.13 eprover: CPU time limit exceeded, terminating
% 27.25/27.14 eprover: CPU time limit exceeded, terminating
% 29.27/29.15 eprover: CPU time limit exceeded, terminating
% 31.29/31.16 eprover: CPU time limit exceeded, terminating
% 33.28/33.17 eprover: CPU time limit exceeded, terminating
% 35.33/35.18 eprover: CPU time limit exceeded, terminating
% 37.40/37.19 eprover: CPU time limit exceeded, terminating
% 39.48/39.20 eprover: CPU time limit exceeded, terminating
% 41.49/41.21 eprover: CPU time limit exceeded, terminating
% 43.56/43.22 eprover: CPU time limit exceeded, terminating
% 45.54/45.23 eprover: CPU time limit exceeded, terminating
% 47.63/47.25 eprover: CPU time limit exceeded, terminating
% 49.59/49.26 eprover: CPU time limit exceeded, terminating
% 51.67/51.27 eprover: CPU time limit exceeded, terminating
% 53.66/53.28 eprover: CPU time limit exceeded, terminating
% 55.71/55.29 eprover: CPU time limit exceeded, terminating
% 57.70/57.30 eprover: CPU time limit exceeded, terminating
% 59.81/59.31 eprover: CPU time limit exceeded, terminating
% 61.86/61.32 eprover: CPU time limit exceeded, terminating
% 63.92/63.33 eprover: CPU time limit exceeded, terminating
% 65.95/65.34 eprover: CPU time limit exceeded, terminating
% 67.91/67.35 eprover: CPU time limit exceeded, terminating
% 69.99/69.36 eprover: CPU time limit exceeded, terminating
% 71.97/71.37 eprover: CPU time limit exceeded, terminating
% 74.06/73.38 eprover: CPU time limit exceeded, terminating
% 76.06/75.39 eprover: CPU time limit exceeded, terminating
% 78.13/77.40 eprover: CPU time limit exceeded, terminating
% 80.13/79.41 eprover: CPU time limit exceeded, terminating
% 82.20/81.42 eprover: CPU time limit exceeded, terminating
% 84.25/83.43 eprover: CPU time limit exceeded, terminating
% 86.27/85.44 eprover: CPU time limit exceeded, terminating
% 88.27/87.45 eprover: CPU time limit exceeded, terminating
% 90.30/89.46 eprover: CPU time limit exceeded, terminating
% 92.34/91.47 eprover: CPU time limit exceeded, terminating
% 94.39/93.48 eprover: CPU time limit exceeded, terminating
% 96.39/95.49 eprover: CPU time limit exceeded, terminating
% 98.48/97.50 eprover: CPU time limit exceeded, terminating
% 100.55/99.51 eprover: CPU time limit exceeded, terminating
% 102.56/101.52 eprover: CPU time limit exceeded, terminating
% 104.57/103.53 eprover: CPU time limit exceeded, terminating
% 106.64/105.54 eprover: CPU time limit exceeded, terminating
% 108.61/107.56 eprover: CPU time limit exceeded, terminating
% 110.67/109.57 eprover: CPU time limit exceeded, terminating
% 112.68/111.58 eprover: CPU time limit exceeded, terminating
% 114.73/113.59 eprover: CPU time limit exceeded, terminating
% 116.72/115.60 eprover: CPU time limit exceeded, terminating
% 118.83/117.61 eprover: CPU time limit exceeded, terminating
% 120.88/119.62 eprover: CPU time limit exceeded, terminating
% 122.90/121.63 eprover: CPU time limit exceeded, terminating
% 124.95/123.64 eprover: CPU time limit exceeded, terminating
% 126.92/125.65 eprover: CPU time limit exceeded, terminating
% 128.97/127.65 eprover: CPU time limit exceeded, terminating
% 131.00/129.66 eprover: CPU time limit exceeded, terminating
% 133.01/131.68 eprover: CPU time limit exceeded, terminating
% 135.12/133.69 eprover: CPU time limit exceeded, terminating
% 137.07/135.69 eprover: CPU time limit exceeded, terminating
% 139.11/137.70 eprover: CPU time limit exceeded, terminating
% 141.21/139.71 eprover: CPU time limit exceeded, terminating
% 143.21/141.72 eprover: CPU time limit exceeded, terminating
% 145.24/143.73 eprover: CPU time limit exceeded, terminating
% 147.26/145.74 eprover: CPU time limit exceeded, terminating
% 149.29/147.76 eprover: CPU time limit exceeded, terminating
% 151.28/149.77 eprover: CPU time limit exceeded, terminating
% 153.33/151.78 eprover: CPU time limit exceeded, terminating
% 155.36/153.79 eprover: CPU time limit exceeded, terminating
% 157.47/155.81 eprover: CPU time limit exceeded, terminating
% 161.46/157.82 eprover: CPU time limit exceeded, terminating
% 163.49/159.83 eprover: CPU time limit exceeded, terminating
% 165.54/161.85 eprover: CPU time limit exceeded, terminating
% 167.54/163.86 eprover: CPU time limit exceeded, terminating
% 169.57/165.88 eprover: CPU time limit exceeded, terminating
% 171.66/167.89 eprover: CPU time limit exceeded, terminating
% 173.69/169.90 eprover: CPU time limit exceeded, terminating
% 175.64/171.91 eprover: CPU time limit exceeded, terminating
% 177.76/173.92 eprover: CPU time limit exceeded, terminating
% 179.76/175.93 eprover: CPU time limit exceeded, terminating
% 181.83/177.94 eprover: CPU time limit exceeded, terminating
% 183.82/179.95 eprover: CPU time limit exceeded, terminating
% 185.88/181.96 eprover: CPU time limit exceeded, terminating
% 187.86/183.97 eprover: CPU time limit exceeded, terminating
% 189.97/185.98 eprover: CPU time limit exceeded, terminating
% 191.91/187.98 eprover: CPU time limit exceeded, terminating
% 194.02/190.00 eprover: CPU time limit exceeded, terminating
% 195.97/192.01 eprover: CPU time limit exceeded, terminating
% 198.11/194.02 eprover: CPU time limit exceeded, terminating
% 200.13/196.03 eprover: CPU time limit exceeded, terminating
% 202.14/198.04 eprover: CPU time limit exceeded, terminating
% 204.13/200.05 eprover: CPU time limit exceeded, terminating
% 206.18/202.06 eprover: CPU time limit exceeded, terminating
% 208.26/204.07 eprover: CPU time limit exceeded, terminating
% 210.26/206.08 eprover: CPU time limit exceeded, terminating
% 212.35/208.09 eprover: CPU time limit exceeded, terminating
% 214.39/210.11 eprover: CPU time limit exceeded, terminating
% 216.43/212.12 eprover: CPU time limit exceeded, terminating
% 218.46/214.13 eprover: CPU time limit exceeded, terminating
% 220.46/216.14 eprover: CPU time limit exceeded, terminating
% 222.46/218.15 eprover: CPU time limit exceeded, terminating
% 224.52/220.16 eprover: CPU time limit exceeded, terminating
% 226.59/222.17 eprover: CPU time limit exceeded, terminating
% 228.56/224.18 eprover: CPU time limit exceeded, terminating
% 230.59/226.19 eprover: CPU time limit exceeded, terminating
% 232.61/228.20 eprover: CPU time limit exceeded, terminating
% 234.71/230.21 eprover: CPU time limit exceeded, terminating
% 236.75/232.23 eprover: CPU time limit exceeded, terminating
% 238.76/234.24 eprover: CPU time limit exceeded, terminating
% 240.77/236.25 eprover: CPU time limit exceeded, terminating
% 242.80/238.26 eprover: CPU time limit exceeded, terminating
% 244.86/240.27 eprover: CPU time limit exceeded, terminating
% 246.86/242.28 eprover: CPU time limit exceeded, terminating
% 248.96/244.29 eprover: CPU time limit exceeded, terminating
% 250.99/246.30 eprover: CPU time limit exceeded, terminating
% 253.02/248.31 eprover: CPU time limit exceeded, terminating
% 255.04/250.32 eprover: CPU time limit exceeded, terminating
% 257.09/252.33 eprover: CPU time limit exceeded, terminating
% 259.10/254.34 eprover: CPU time limit exceeded, terminating
% 261.12/256.35 eprover: CPU time limit exceeded, terminating
% 263.12/258.36 eprover: CPU time limit exceeded, terminating
% 265.16/260.37 eprover: CPU time limit exceeded, terminating
% 267.20/262.37 eprover: CPU time limit exceeded, terminating
% 269.29/264.38 eprover: CPU time limit exceeded, terminating
% 271.24/266.39 eprover: CPU time limit exceeded, terminating
% 273.28/268.40 eprover: CPU time limit exceeded, terminating
% 275.37/270.41 eprover: CPU time limit exceeded, terminating
% 277.39/272.42 eprover: CPU time limit exceeded, terminating
% 279.42/274.43 eprover: CPU time limit exceeded, terminating
% 281.47/276.44 eprover: CPU time limit exceeded, terminating
% 283.47/278.45 eprover: CPU time limit exceeded, terminating
% 285.50/280.46 eprover: CPU time limit exceeded, terminating
% 287.54/282.47 eprover: CPU time limit exceeded, terminating
% 289.56/284.48 eprover: CPU time limit exceeded, terminating
% 291.64/286.49 eprover: CPU time limit exceeded, terminating
% 293.59/288.50 eprover: CPU time limit exceeded, terminating
% 295.63/290.51 eprover: CPU time limit exceeded, terminating
% 297.73/292.52 eprover: CPU time limit exceeded, terminating
% 299.74/294.52 eprover: CPU time limit exceeded, terminating
% 300.04/294.78 eprover: CPU time limit exceeded, terminating
% 300.04/294.80 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------