TSTP Solution File: SWV569-1.050 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWV569-1.050 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n006.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:53 EDT 2022
% Result : Timeout 286.01s 284.59s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.13 % Problem : SWV569-1.050 : TPTP v8.1.0. Released v4.0.0.
% 0.03/0.14 % Command : run_infinox %s
% 0.14/0.35 % Computer : n006.cluster.edu
% 0.14/0.35 % Model : x86_64 x86_64
% 0.14/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.35 % Memory : 8042.1875MB
% 0.14/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.35 % CPULimit : 300
% 0.14/0.35 % WCLimit : 600
% 0.14/0.35 % DateTime : Tue Jun 14 18:36:41 EDT 2022
% 0.14/0.35 % CPUTime :
% 2.48/2.74 eprover: CPU time limit exceeded, terminating
% 4.56/4.76 eprover: CPU time limit exceeded, terminating
% 6.60/6.77 eprover: CPU time limit exceeded, terminating
% 8.66/8.78 eprover: CPU time limit exceeded, terminating
% 10.62/10.80 eprover: CPU time limit exceeded, terminating
% 12.69/12.81 eprover: CPU time limit exceeded, terminating
% 14.73/14.82 eprover: CPU time limit exceeded, terminating
% 16.75/16.84 eprover: CPU time limit exceeded, terminating
% 18.77/18.85 eprover: CPU time limit exceeded, terminating
% 20.71/20.86 eprover: CPU time limit exceeded, terminating
% 22.78/22.88 eprover: CPU time limit exceeded, terminating
% 24.82/24.89 eprover: CPU time limit exceeded, terminating
% 26.87/26.90 eprover: CPU time limit exceeded, terminating
% 28.83/28.92 eprover: CPU time limit exceeded, terminating
% 30.85/30.93 eprover: CPU time limit exceeded, terminating
% 32.89/32.94 eprover: CPU time limit exceeded, terminating
% 34.94/34.96 eprover: CPU time limit exceeded, terminating
% 36.94/36.97 eprover: CPU time limit exceeded, terminating
% 39.00/38.98 eprover: CPU time limit exceeded, terminating
% 41.00/41.00 eprover: CPU time limit exceeded, terminating
% 43.02/43.01 eprover: CPU time limit exceeded, terminating
% 45.04/45.02 eprover: CPU time limit exceeded, terminating
% 47.10/47.04 eprover: CPU time limit exceeded, terminating
% 49.13/49.05 eprover: CPU time limit exceeded, terminating
% 51.13/51.06 eprover: CPU time limit exceeded, terminating
% 53.15/53.07 eprover: CPU time limit exceeded, terminating
% 55.18/55.09 eprover: CPU time limit exceeded, terminating
% 57.22/57.10 eprover: CPU time limit exceeded, terminating
% 59.25/59.11 eprover: CPU time limit exceeded, terminating
% 61.24/61.13 eprover: CPU time limit exceeded, terminating
% 63.31/63.14 eprover: CPU time limit exceeded, terminating
% 65.32/65.15 eprover: CPU time limit exceeded, terminating
% 67.37/67.17 eprover: CPU time limit exceeded, terminating
% 69.36/69.18 eprover: CPU time limit exceeded, terminating
% 71.39/71.19 eprover: CPU time limit exceeded, terminating
% 73.40/73.20 eprover: CPU time limit exceeded, terminating
% 75.42/75.22 eprover: CPU time limit exceeded, terminating
% 77.47/77.23 eprover: CPU time limit exceeded, terminating
% 79.46/79.24 eprover: CPU time limit exceeded, terminating
% 81.50/81.25 eprover: CPU time limit exceeded, terminating
% 83.54/83.26 eprover: CPU time limit exceeded, terminating
% 85.56/85.28 eprover: CPU time limit exceeded, terminating
% 87.56/87.29 eprover: CPU time limit exceeded, terminating
% 89.55/89.30 eprover: CPU time limit exceeded, terminating
% 91.63/91.31 eprover: CPU time limit exceeded, terminating
% 93.62/93.32 eprover: CPU time limit exceeded, terminating
% 95.62/95.34 eprover: CPU time limit exceeded, terminating
% 97.70/97.35 eprover: CPU time limit exceeded, terminating
% 99.73/99.36 eprover: CPU time limit exceeded, terminating
% 101.73/101.37 eprover: CPU time limit exceeded, terminating
% 103.77/103.38 eprover: CPU time limit exceeded, terminating
% 105.76/105.39 eprover: CPU time limit exceeded, terminating
% 107.79/107.40 eprover: CPU time limit exceeded, terminating
% 109.86/109.41 eprover: CPU time limit exceeded, terminating
% 111.87/111.43 eprover: CPU time limit exceeded, terminating
% 113.85/113.44 eprover: CPU time limit exceeded, terminating
% 115.92/115.45 eprover: CPU time limit exceeded, terminating
% 117.93/117.46 eprover: CPU time limit exceeded, terminating
% 119.94/119.47 eprover: CPU time limit exceeded, terminating
% 121.99/121.49 eprover: CPU time limit exceeded, terminating
% 123.97/123.50 eprover: CPU time limit exceeded, terminating
% 126.05/125.51 eprover: CPU time limit exceeded, terminating
% 128.06/127.52 eprover: CPU time limit exceeded, terminating
% 130.08/129.53 eprover: CPU time limit exceeded, terminating
% 132.12/131.54 eprover: CPU time limit exceeded, terminating
% 134.07/133.55 eprover: CPU time limit exceeded, terminating
% 136.15/135.56 eprover: CPU time limit exceeded, terminating
% 138.13/137.57 eprover: CPU time limit exceeded, terminating
% 140.21/139.59 eprover: CPU time limit exceeded, terminating
% 142.22/141.60 eprover: CPU time limit exceeded, terminating
% 144.23/143.61 eprover: CPU time limit exceeded, terminating
% 146.24/145.62 eprover: CPU time limit exceeded, terminating
% 148.24/147.63 eprover: CPU time limit exceeded, terminating
% 150.28/149.64 eprover: CPU time limit exceeded, terminating
% 152.30/151.65 eprover: CPU time limit exceeded, terminating
% 154.35/153.66 eprover: CPU time limit exceeded, terminating
% 156.37/155.67 eprover: CPU time limit exceeded, terminating
% 158.36/157.68 eprover: CPU time limit exceeded, terminating
% 160.42/159.69 eprover: CPU time limit exceeded, terminating
% 162.40/161.70 eprover: CPU time limit exceeded, terminating
% 164.44/163.71 eprover: CPU time limit exceeded, terminating
% 166.47/165.73 eprover: CPU time limit exceeded, terminating
% 168.46/167.74 eprover: CPU time limit exceeded, terminating
% 170.50/169.75 eprover: CPU time limit exceeded, terminating
% 172.49/171.76 eprover: CPU time limit exceeded, terminating
% 174.56/173.77 eprover: CPU time limit exceeded, terminating
% 176.61/175.78 eprover: CPU time limit exceeded, terminating
% 178.59/177.79 eprover: CPU time limit exceeded, terminating
% 180.62/179.80 eprover: CPU time limit exceeded, terminating
% 182.59/181.81 eprover: CPU time limit exceeded, terminating
% 184.69/183.82 eprover: CPU time limit exceeded, terminating
% 186.68/185.83 eprover: CPU time limit exceeded, terminating
% 188.73/187.84 eprover: CPU time limit exceeded, terminating
% 190.77/189.85 eprover: CPU time limit exceeded, terminating
% 192.77/191.86 eprover: CPU time limit exceeded, terminating
% 194.81/193.87 eprover: CPU time limit exceeded, terminating
% 197.01/196.09 eprover: CPU time limit exceeded, terminating
% 199.05/198.10 eprover: CPU time limit exceeded, terminating
% 201.05/200.12 eprover: CPU time limit exceeded, terminating
% 203.10/202.13 eprover: CPU time limit exceeded, terminating
% 205.13/204.14 eprover: CPU time limit exceeded, terminating
% 207.13/206.15 eprover: CPU time limit exceeded, terminating
% 209.20/208.17 eprover: CPU time limit exceeded, terminating
% 211.20/210.18 eprover: CPU time limit exceeded, terminating
% 213.22/212.19 eprover: CPU time limit exceeded, terminating
% 215.24/214.20 eprover: CPU time limit exceeded, terminating
% 217.21/216.21 eprover: CPU time limit exceeded, terminating
% 219.31/218.23 eprover: CPU time limit exceeded, terminating
% 221.26/220.24 eprover: CPU time limit exceeded, terminating
% 223.29/222.25 eprover: CPU time limit exceeded, terminating
% 225.35/224.26 eprover: CPU time limit exceeded, terminating
% 227.38/226.27 eprover: CPU time limit exceeded, terminating
% 229.38/228.28 eprover: CPU time limit exceeded, terminating
% 231.40/230.29 eprover: CPU time limit exceeded, terminating
% 233.45/232.30 eprover: CPU time limit exceeded, terminating
% 235.45/234.32 eprover: CPU time limit exceeded, terminating
% 237.48/236.33 eprover: CPU time limit exceeded, terminating
% 239.54/238.34 eprover: CPU time limit exceeded, terminating
% 241.56/240.35 eprover: CPU time limit exceeded, terminating
% 243.56/242.36 eprover: CPU time limit exceeded, terminating
% 245.59/244.38 eprover: CPU time limit exceeded, terminating
% 247.61/246.39 eprover: CPU time limit exceeded, terminating
% 249.62/248.40 eprover: CPU time limit exceeded, terminating
% 251.67/250.41 eprover: CPU time limit exceeded, terminating
% 253.67/252.42 eprover: CPU time limit exceeded, terminating
% 255.71/254.43 eprover: CPU time limit exceeded, terminating
% 257.69/256.45 eprover: CPU time limit exceeded, terminating
% 259.75/258.46 eprover: CPU time limit exceeded, terminating
% 261.78/260.47 eprover: CPU time limit exceeded, terminating
% 263.76/262.48 eprover: CPU time limit exceeded, terminating
% 265.78/264.49 eprover: CPU time limit exceeded, terminating
% 267.84/266.50 eprover: CPU time limit exceeded, terminating
% 269.85/268.51 eprover: CPU time limit exceeded, terminating
% 271.87/270.51 eprover: CPU time limit exceeded, terminating
% 273.87/272.52 eprover: CPU time limit exceeded, terminating
% 275.89/274.53 eprover: CPU time limit exceeded, terminating
% 277.93/276.54 eprover: CPU time limit exceeded, terminating
% 279.97/278.56 eprover: CPU time limit exceeded, terminating
% 281.96/280.57 eprover: CPU time limit exceeded, terminating
% 283.96/282.58 eprover: CPU time limit exceeded, terminating
% 286.01/284.59 eprover: CPU time limit exceeded, terminating
% 288.05/286.60 eprover: CPU time limit exceeded, terminating
% 290.07/288.61 eprover: CPU time limit exceeded, terminating
% 292.11/290.62 eprover: CPU time limit exceeded, terminating
% 294.09/292.63 eprover: CPU time limit exceeded, terminating
% 296.14/294.64 eprover: CPU time limit exceeded, terminating
% 298.13/296.65 eprover: CPU time limit exceeded, terminating
% 300.03/298.49 eprover: CPU time limit exceeded, terminating
% 300.03/298.51 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------