TSTP Solution File: SWV595-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWV595-1 : TPTP v8.1.0. Released v4.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n009.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:59 EDT 2022
% Result : Timeout 287.54s 284.48s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : SWV595-1 : TPTP v8.1.0. Released v4.1.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n009.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 : Thu Jun 16 00:37:22 EDT 2022
% 0.12/0.33 % CPUTime :
% 2.59/2.76 eprover: CPU time limit exceeded, terminating
% 4.63/4.77 eprover: CPU time limit exceeded, terminating
% 6.64/6.78 eprover: CPU time limit exceeded, terminating
% 8.69/8.79 eprover: CPU time limit exceeded, terminating
% 10.67/10.81 eprover: CPU time limit exceeded, terminating
% 12.75/12.82 eprover: CPU time limit exceeded, terminating
% 14.80/14.83 eprover: CPU time limit exceeded, terminating
% 16.80/16.84 eprover: CPU time limit exceeded, terminating
% 18.85/18.85 eprover: CPU time limit exceeded, terminating
% 20.88/20.86 eprover: CPU time limit exceeded, terminating
% 22.88/22.87 eprover: CPU time limit exceeded, terminating
% 24.95/24.89 eprover: CPU time limit exceeded, terminating
% 26.96/26.90 eprover: CPU time limit exceeded, terminating
% 28.99/28.91 eprover: CPU time limit exceeded, terminating
% 31.07/30.92 eprover: CPU time limit exceeded, terminating
% 33.12/32.93 eprover: CPU time limit exceeded, terminating
% 35.13/35.01 eprover: CPU time limit exceeded, terminating
% 37.10/37.03 eprover: CPU time limit exceeded, terminating
% 39.22/39.04 eprover: CPU time limit exceeded, terminating
% 41.17/41.05 eprover: CPU time limit exceeded, terminating
% 43.27/43.06 eprover: CPU time limit exceeded, terminating
% 45.29/45.08 eprover: CPU time limit exceeded, terminating
% 47.35/47.09 eprover: CPU time limit exceeded, terminating
% 49.38/49.10 eprover: CPU time limit exceeded, terminating
% 51.36/51.11 eprover: CPU time limit exceeded, terminating
% 53.40/53.12 eprover: CPU time limit exceeded, terminating
% 55.48/55.14 eprover: CPU time limit exceeded, terminating
% 57.49/57.15 eprover: CPU time limit exceeded, terminating
% 59.55/59.16 eprover: CPU time limit exceeded, terminating
% 61.60/61.17 eprover: CPU time limit exceeded, terminating
% 63.62/63.18 eprover: CPU time limit exceeded, terminating
% 65.66/65.19 eprover: CPU time limit exceeded, terminating
% 67.67/67.20 eprover: CPU time limit exceeded, terminating
% 69.70/69.22 eprover: CPU time limit exceeded, terminating
% 71.79/71.23 eprover: CPU time limit exceeded, terminating
% 73.80/73.24 eprover: CPU time limit exceeded, terminating
% 75.82/75.25 eprover: CPU time limit exceeded, terminating
% 77.88/77.26 eprover: CPU time limit exceeded, terminating
% 79.88/79.27 eprover: CPU time limit exceeded, terminating
% 81.94/81.28 eprover: CPU time limit exceeded, terminating
% 83.98/83.30 eprover: CPU time limit exceeded, terminating
% 85.99/85.31 eprover: CPU time limit exceeded, terminating
% 88.00/87.32 eprover: CPU time limit exceeded, terminating
% 90.07/89.33 eprover: CPU time limit exceeded, terminating
% 92.12/91.34 eprover: CPU time limit exceeded, terminating
% 94.15/93.35 eprover: CPU time limit exceeded, terminating
% 96.20/95.36 eprover: CPU time limit exceeded, terminating
% 98.22/97.38 eprover: CPU time limit exceeded, terminating
% 100.26/99.39 eprover: CPU time limit exceeded, terminating
% 102.26/101.40 eprover: CPU time limit exceeded, terminating
% 104.34/103.41 eprover: CPU time limit exceeded, terminating
% 106.33/105.42 eprover: CPU time limit exceeded, terminating
% 108.43/107.44 eprover: CPU time limit exceeded, terminating
% 110.44/109.45 eprover: CPU time limit exceeded, terminating
% 112.49/111.46 eprover: CPU time limit exceeded, terminating
% 114.48/113.47 eprover: CPU time limit exceeded, terminating
% 116.54/115.49 eprover: CPU time limit exceeded, terminating
% 118.58/117.50 eprover: CPU time limit exceeded, terminating
% 120.61/119.51 eprover: CPU time limit exceeded, terminating
% 122.67/121.52 eprover: CPU time limit exceeded, terminating
% 124.72/123.54 eprover: CPU time limit exceeded, terminating
% 126.66/125.55 eprover: CPU time limit exceeded, terminating
% 128.77/127.56 eprover: CPU time limit exceeded, terminating
% 130.79/129.57 eprover: CPU time limit exceeded, terminating
% 132.86/131.58 eprover: CPU time limit exceeded, terminating
% 134.82/133.59 eprover: CPU time limit exceeded, terminating
% 136.93/135.61 eprover: CPU time limit exceeded, terminating
% 138.93/137.62 eprover: CPU time limit exceeded, terminating
% 140.93/139.63 eprover: CPU time limit exceeded, terminating
% 143.03/141.64 eprover: CPU time limit exceeded, terminating
% 145.05/143.65 eprover: CPU time limit exceeded, terminating
% 147.09/145.67 eprover: CPU time limit exceeded, terminating
% 149.10/147.68 eprover: CPU time limit exceeded, terminating
% 151.15/149.69 eprover: CPU time limit exceeded, terminating
% 153.16/151.70 eprover: CPU time limit exceeded, terminating
% 155.22/153.71 eprover: CPU time limit exceeded, terminating
% 157.23/155.72 eprover: CPU time limit exceeded, terminating
% 159.30/157.73 eprover: CPU time limit exceeded, terminating
% 161.35/159.75 eprover: CPU time limit exceeded, terminating
% 163.39/161.76 eprover: CPU time limit exceeded, terminating
% 165.39/163.77 eprover: CPU time limit exceeded, terminating
% 167.43/165.78 eprover: CPU time limit exceeded, terminating
% 169.49/167.79 eprover: CPU time limit exceeded, terminating
% 171.49/169.81 eprover: CPU time limit exceeded, terminating
% 173.56/171.82 eprover: CPU time limit exceeded, terminating
% 175.60/173.83 eprover: CPU time limit exceeded, terminating
% 177.61/175.84 eprover: CPU time limit exceeded, terminating
% 179.66/177.86 eprover: CPU time limit exceeded, terminating
% 181.72/179.87 eprover: CPU time limit exceeded, terminating
% 183.74/181.88 eprover: CPU time limit exceeded, terminating
% 185.77/183.89 eprover: CPU time limit exceeded, terminating
% 187.81/185.91 eprover: CPU time limit exceeded, terminating
% 189.82/187.92 eprover: CPU time limit exceeded, terminating
% 191.87/189.93 eprover: CPU time limit exceeded, terminating
% 193.89/191.94 eprover: CPU time limit exceeded, terminating
% 195.94/193.95 eprover: CPU time limit exceeded, terminating
% 197.99/195.97 eprover: CPU time limit exceeded, terminating
% 200.01/197.98 eprover: CPU time limit exceeded, terminating
% 202.06/199.99 eprover: CPU time limit exceeded, terminating
% 204.05/202.01 eprover: CPU time limit exceeded, terminating
% 206.09/204.02 eprover: CPU time limit exceeded, terminating
% 208.15/206.03 eprover: CPU time limit exceeded, terminating
% 210.13/208.04 eprover: CPU time limit exceeded, terminating
% 212.23/210.05 eprover: CPU time limit exceeded, terminating
% 214.28/212.06 eprover: CPU time limit exceeded, terminating
% 216.31/214.08 eprover: CPU time limit exceeded, terminating
% 218.31/216.09 eprover: CPU time limit exceeded, terminating
% 220.35/218.10 eprover: CPU time limit exceeded, terminating
% 222.36/220.11 eprover: CPU time limit exceeded, terminating
% 224.41/222.12 eprover: CPU time limit exceeded, terminating
% 226.39/224.14 eprover: CPU time limit exceeded, terminating
% 228.51/226.15 eprover: CPU time limit exceeded, terminating
% 230.55/228.16 eprover: CPU time limit exceeded, terminating
% 232.58/230.17 eprover: CPU time limit exceeded, terminating
% 234.64/232.18 eprover: CPU time limit exceeded, terminating
% 236.61/234.19 eprover: CPU time limit exceeded, terminating
% 238.67/236.21 eprover: CPU time limit exceeded, terminating
% 240.67/238.22 eprover: CPU time limit exceeded, terminating
% 242.72/240.23 eprover: CPU time limit exceeded, terminating
% 244.70/242.24 eprover: CPU time limit exceeded, terminating
% 246.82/244.25 eprover: CPU time limit exceeded, terminating
% 248.85/246.26 eprover: CPU time limit exceeded, terminating
% 250.89/248.27 eprover: CPU time limit exceeded, terminating
% 252.94/250.29 eprover: CPU time limit exceeded, terminating
% 254.94/252.30 eprover: CPU time limit exceeded, terminating
% 256.99/254.31 eprover: CPU time limit exceeded, terminating
% 259.02/256.32 eprover: CPU time limit exceeded, terminating
% 261.10/258.33 eprover: CPU time limit exceeded, terminating
% 263.11/260.34 eprover: CPU time limit exceeded, terminating
% 265.15/262.35 eprover: CPU time limit exceeded, terminating
% 267.15/264.36 eprover: CPU time limit exceeded, terminating
% 269.22/266.38 eprover: CPU time limit exceeded, terminating
% 271.24/268.39 eprover: CPU time limit exceeded, terminating
% 273.27/270.40 eprover: CPU time limit exceeded, terminating
% 275.28/272.41 eprover: CPU time limit exceeded, terminating
% 277.37/274.42 eprover: CPU time limit exceeded, terminating
% 279.40/276.44 eprover: CPU time limit exceeded, terminating
% 281.40/278.45 eprover: CPU time limit exceeded, terminating
% 283.47/280.46 eprover: CPU time limit exceeded, terminating
% 285.51/282.47 eprover: CPU time limit exceeded, terminating
% 287.54/284.48 eprover: CPU time limit exceeded, terminating
% 289.55/286.50 eprover: CPU time limit exceeded, terminating
% 291.59/288.51 eprover: CPU time limit exceeded, terminating
% 293.64/290.52 eprover: CPU time limit exceeded, terminating
% 295.64/292.53 eprover: CPU time limit exceeded, terminating
% 297.66/294.55 eprover: CPU time limit exceeded, terminating
% 299.76/296.56 eprover: CPU time limit exceeded, terminating
% 300.03/296.83 eprover: CPU time limit exceeded, terminating
% 300.03/296.84 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------