TSTP Solution File: SWV423-1.300 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWV423-1.300 : TPTP v8.1.0. Released v3.5.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 : Wed Jul 20 18:50:01 EDT 2022
% Result : Timeout 287.47s 284.61s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : SWV423-1.300 : TPTP v8.1.0. Released v3.5.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n028.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 15 23:59:40 EDT 2022
% 0.12/0.33 % CPUTime :
% 2.69/2.84 eprover: CPU time limit exceeded, terminating
% 4.63/4.85 eprover: CPU time limit exceeded, terminating
% 6.72/6.86 eprover: CPU time limit exceeded, terminating
% 8.71/8.87 eprover: CPU time limit exceeded, terminating
% 10.81/10.89 eprover: CPU time limit exceeded, terminating
% 12.78/12.90 eprover: CPU time limit exceeded, terminating
% 14.80/14.92 eprover: CPU time limit exceeded, terminating
% 16.88/16.93 eprover: CPU time limit exceeded, terminating
% 18.91/18.95 eprover: CPU time limit exceeded, terminating
% 20.97/20.97 eprover: CPU time limit exceeded, terminating
% 22.95/22.98 eprover: CPU time limit exceeded, terminating
% 25.06/25.00 eprover: CPU time limit exceeded, terminating
% 27.10/27.02 eprover: CPU time limit exceeded, terminating
% 29.14/29.03 eprover: CPU time limit exceeded, terminating
% 31.13/31.04 eprover: CPU time limit exceeded, terminating
% 33.16/33.05 eprover: CPU time limit exceeded, terminating
% 35.19/35.07 eprover: CPU time limit exceeded, terminating
% 37.28/37.09 eprover: CPU time limit exceeded, terminating
% 39.30/39.10 eprover: CPU time limit exceeded, terminating
% 41.34/41.13 eprover: CPU time limit exceeded, terminating
% 43.34/43.14 eprover: CPU time limit exceeded, terminating
% 45.40/45.15 eprover: CPU time limit exceeded, terminating
% 47.39/47.17 eprover: CPU time limit exceeded, terminating
% 49.48/49.18 eprover: CPU time limit exceeded, terminating
% 51.42/51.20 eprover: CPU time limit exceeded, terminating
% 53.54/53.21 eprover: CPU time limit exceeded, terminating
% 55.58/55.22 eprover: CPU time limit exceeded, terminating
% 57.62/57.24 eprover: CPU time limit exceeded, terminating
% 59.61/59.25 eprover: CPU time limit exceeded, terminating
% 61.64/61.27 eprover: CPU time limit exceeded, terminating
% 63.69/63.28 eprover: CPU time limit exceeded, terminating
% 65.77/65.31 eprover: CPU time limit exceeded, terminating
% 67.77/67.32 eprover: CPU time limit exceeded, terminating
% 69.81/69.34 eprover: CPU time limit exceeded, terminating
% 71.87/71.35 eprover: CPU time limit exceeded, terminating
% 73.86/73.36 eprover: CPU time limit exceeded, terminating
% 75.91/75.37 eprover: CPU time limit exceeded, terminating
% 78.00/77.38 eprover: CPU time limit exceeded, terminating
% 79.93/79.40 eprover: CPU time limit exceeded, terminating
% 82.03/81.43 eprover: CPU time limit exceeded, terminating
% 84.06/83.44 eprover: CPU time limit exceeded, terminating
% 86.06/85.45 eprover: CPU time limit exceeded, terminating
% 88.07/87.47 eprover: CPU time limit exceeded, terminating
% 90.13/89.49 eprover: CPU time limit exceeded, terminating
% 92.23/91.50 eprover: CPU time limit exceeded, terminating
% 94.23/93.51 eprover: CPU time limit exceeded, terminating
% 96.30/95.52 eprover: CPU time limit exceeded, terminating
% 98.31/97.53 eprover: CPU time limit exceeded, terminating
% 100.32/99.54 eprover: CPU time limit exceeded, terminating
% 102.34/101.55 eprover: CPU time limit exceeded, terminating
% 104.40/103.57 eprover: CPU time limit exceeded, terminating
% 106.38/105.58 eprover: CPU time limit exceeded, terminating
% 108.43/107.59 eprover: CPU time limit exceeded, terminating
% 110.47/109.60 eprover: CPU time limit exceeded, terminating
% 112.56/111.61 eprover: CPU time limit exceeded, terminating
% 114.57/113.62 eprover: CPU time limit exceeded, terminating
% 116.61/115.63 eprover: CPU time limit exceeded, terminating
% 118.67/117.64 eprover: CPU time limit exceeded, terminating
% 120.67/119.65 eprover: CPU time limit exceeded, terminating
% 122.71/121.67 eprover: CPU time limit exceeded, terminating
% 124.73/123.68 eprover: CPU time limit exceeded, terminating
% 126.74/125.69 eprover: CPU time limit exceeded, terminating
% 128.86/127.70 eprover: CPU time limit exceeded, terminating
% 130.91/129.71 eprover: CPU time limit exceeded, terminating
% 132.94/131.72 eprover: CPU time limit exceeded, terminating
% 134.93/133.73 eprover: CPU time limit exceeded, terminating
% 136.98/135.74 eprover: CPU time limit exceeded, terminating
% 139.01/137.75 eprover: CPU time limit exceeded, terminating
% 141.00/139.77 eprover: CPU time limit exceeded, terminating
% 143.06/141.78 eprover: CPU time limit exceeded, terminating
% 145.08/143.79 eprover: CPU time limit exceeded, terminating
% 147.18/145.80 eprover: CPU time limit exceeded, terminating
% 149.22/147.81 eprover: CPU time limit exceeded, terminating
% 151.24/149.83 eprover: CPU time limit exceeded, terminating
% 153.28/151.84 eprover: CPU time limit exceeded, terminating
% 155.32/153.85 eprover: CPU time limit exceeded, terminating
% 157.32/155.86 eprover: CPU time limit exceeded, terminating
% 159.37/157.87 eprover: CPU time limit exceeded, terminating
% 161.39/159.88 eprover: CPU time limit exceeded, terminating
% 163.50/161.89 eprover: CPU time limit exceeded, terminating
% 165.52/163.90 eprover: CPU time limit exceeded, terminating
% 167.55/165.91 eprover: CPU time limit exceeded, terminating
% 169.58/167.93 eprover: CPU time limit exceeded, terminating
% 171.59/169.94 eprover: CPU time limit exceeded, terminating
% 173.64/171.95 eprover: CPU time limit exceeded, terminating
% 175.66/173.96 eprover: CPU time limit exceeded, terminating
% 177.66/175.97 eprover: CPU time limit exceeded, terminating
% 179.69/177.98 eprover: CPU time limit exceeded, terminating
% 181.73/179.99 eprover: CPU time limit exceeded, terminating
% 183.84/182.00 eprover: CPU time limit exceeded, terminating
% 185.87/184.01 eprover: CPU time limit exceeded, terminating
% 187.92/186.02 eprover: CPU time limit exceeded, terminating
% 189.94/188.03 eprover: CPU time limit exceeded, terminating
% 191.94/190.04 eprover: CPU time limit exceeded, terminating
% 193.98/192.05 eprover: CPU time limit exceeded, terminating
% 196.04/194.06 eprover: CPU time limit exceeded, terminating
% 198.03/196.07 eprover: CPU time limit exceeded, terminating
% 200.06/198.08 eprover: CPU time limit exceeded, terminating
% 202.14/200.09 eprover: CPU time limit exceeded, terminating
% 204.08/202.10 eprover: CPU time limit exceeded, terminating
% 206.18/204.11 eprover: CPU time limit exceeded, terminating
% 208.22/206.12 eprover: CPU time limit exceeded, terminating
% 210.27/208.13 eprover: CPU time limit exceeded, terminating
% 212.28/210.14 eprover: CPU time limit exceeded, terminating
% 214.24/212.16 eprover: CPU time limit exceeded, terminating
% 216.30/214.17 eprover: CPU time limit exceeded, terminating
% 218.38/216.18 eprover: CPU time limit exceeded, terminating
% 220.34/218.19 eprover: CPU time limit exceeded, terminating
% 222.42/220.20 eprover: CPU time limit exceeded, terminating
% 224.43/222.21 eprover: CPU time limit exceeded, terminating
% 226.49/224.21 eprover: CPU time limit exceeded, terminating
% 228.50/226.22 eprover: CPU time limit exceeded, terminating
% 230.52/228.24 eprover: CPU time limit exceeded, terminating
% 232.53/230.25 eprover: CPU time limit exceeded, terminating
% 234.59/232.26 eprover: CPU time limit exceeded, terminating
% 236.55/234.27 eprover: CPU time limit exceeded, terminating
% 238.63/236.27 eprover: CPU time limit exceeded, terminating
% 240.70/238.28 eprover: CPU time limit exceeded, terminating
% 242.74/240.29 eprover: CPU time limit exceeded, terminating
% 244.76/242.30 eprover: CPU time limit exceeded, terminating
% 246.79/244.31 eprover: CPU time limit exceeded, terminating
% 248.84/246.32 eprover: CPU time limit exceeded, terminating
% 250.85/248.33 eprover: CPU time limit exceeded, terminating
% 252.89/250.34 eprover: CPU time limit exceeded, terminating
% 254.94/252.35 eprover: CPU time limit exceeded, terminating
% 256.94/254.36 eprover: CPU time limit exceeded, terminating
% 259.01/256.38 eprover: CPU time limit exceeded, terminating
% 261.03/258.40 eprover: CPU time limit exceeded, terminating
% 263.05/260.41 eprover: CPU time limit exceeded, terminating
% 265.11/262.43 eprover: CPU time limit exceeded, terminating
% 267.13/264.44 eprover: CPU time limit exceeded, terminating
% 269.14/266.45 eprover: CPU time limit exceeded, terminating
% 271.14/268.47 eprover: CPU time limit exceeded, terminating
% 273.19/270.48 eprover: CPU time limit exceeded, terminating
% 275.26/272.51 eprover: CPU time limit exceeded, terminating
% 277.23/274.52 eprover: CPU time limit exceeded, terminating
% 279.29/276.55 eprover: CPU time limit exceeded, terminating
% 281.34/278.56 eprover: CPU time limit exceeded, terminating
% 283.39/280.58 eprover: CPU time limit exceeded, terminating
% 285.44/282.60 eprover: CPU time limit exceeded, terminating
% 287.47/284.61 eprover: CPU time limit exceeded, terminating
% 289.45/286.62 eprover: CPU time limit exceeded, terminating
% 291.51/288.64 eprover: CPU time limit exceeded, terminating
% 293.51/290.66 eprover: CPU time limit exceeded, terminating
% 295.56/292.67 eprover: CPU time limit exceeded, terminating
% 297.64/294.68 eprover: CPU time limit exceeded, terminating
% 299.63/296.69 eprover: CPU time limit exceeded, terminating
% 300.04/297.06 eprover: CPU time limit exceeded, terminating
% 300.04/297.07 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------