TSTP Solution File: SWV423-1.050 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWV423-1.050 : TPTP v8.1.0. Released v3.5.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n017.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:00 EDT 2022
% Result : Timeout 287.20s 284.32s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12 % Problem : SWV423-1.050 : TPTP v8.1.0. Released v3.5.0.
% 0.06/0.12 % Command : run_infinox %s
% 0.13/0.34 % Computer : n017.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 : Tue Jun 14 21:32:54 EDT 2022
% 0.13/0.34 % CPUTime :
% 2.63/2.79 eprover: CPU time limit exceeded, terminating
% 4.65/4.80 eprover: CPU time limit exceeded, terminating
% 6.70/6.81 eprover: CPU time limit exceeded, terminating
% 8.67/8.82 eprover: CPU time limit exceeded, terminating
% 10.76/10.83 eprover: CPU time limit exceeded, terminating
% 12.76/12.84 eprover: CPU time limit exceeded, terminating
% 14.82/14.85 eprover: CPU time limit exceeded, terminating
% 16.81/16.86 eprover: CPU time limit exceeded, terminating
% 18.88/18.87 eprover: CPU time limit exceeded, terminating
% 20.93/20.88 eprover: CPU time limit exceeded, terminating
% 22.93/22.90 eprover: CPU time limit exceeded, terminating
% 24.96/24.91 eprover: CPU time limit exceeded, terminating
% 26.95/26.92 eprover: CPU time limit exceeded, terminating
% 28.99/28.93 eprover: CPU time limit exceeded, terminating
% 31.10/30.94 eprover: CPU time limit exceeded, terminating
% 33.14/32.95 eprover: CPU time limit exceeded, terminating
% 35.13/34.96 eprover: CPU time limit exceeded, terminating
% 37.21/36.97 eprover: CPU time limit exceeded, terminating
% 39.22/38.98 eprover: CPU time limit exceeded, terminating
% 41.27/40.99 eprover: CPU time limit exceeded, terminating
% 43.27/43.00 eprover: CPU time limit exceeded, terminating
% 45.33/45.01 eprover: CPU time limit exceeded, terminating
% 47.36/47.02 eprover: CPU time limit exceeded, terminating
% 49.35/49.03 eprover: CPU time limit exceeded, terminating
% 51.39/51.04 eprover: CPU time limit exceeded, terminating
% 53.49/53.05 eprover: CPU time limit exceeded, terminating
% 55.52/55.07 eprover: CPU time limit exceeded, terminating
% 57.53/57.08 eprover: CPU time limit exceeded, terminating
% 59.54/59.09 eprover: CPU time limit exceeded, terminating
% 61.58/61.10 eprover: CPU time limit exceeded, terminating
% 63.64/63.11 eprover: CPU time limit exceeded, terminating
% 65.62/65.12 eprover: CPU time limit exceeded, terminating
% 67.72/67.13 eprover: CPU time limit exceeded, terminating
% 69.70/69.14 eprover: CPU time limit exceeded, terminating
% 71.79/71.15 eprover: CPU time limit exceeded, terminating
% 73.81/73.16 eprover: CPU time limit exceeded, terminating
% 75.82/75.17 eprover: CPU time limit exceeded, terminating
% 77.86/77.18 eprover: CPU time limit exceeded, terminating
% 79.92/79.19 eprover: CPU time limit exceeded, terminating
% 81.89/81.20 eprover: CPU time limit exceeded, terminating
% 83.98/83.21 eprover: CPU time limit exceeded, terminating
% 85.97/85.21 eprover: CPU time limit exceeded, terminating
% 88.03/87.22 eprover: CPU time limit exceeded, terminating
% 90.05/89.23 eprover: CPU time limit exceeded, terminating
% 92.03/91.25 eprover: CPU time limit exceeded, terminating
% 94.13/93.26 eprover: CPU time limit exceeded, terminating
% 96.14/95.27 eprover: CPU time limit exceeded, terminating
% 98.14/97.28 eprover: CPU time limit exceeded, terminating
% 100.19/99.32 eprover: CPU time limit exceeded, terminating
% 102.23/101.33 eprover: CPU time limit exceeded, terminating
% 104.24/103.34 eprover: CPU time limit exceeded, terminating
% 106.28/105.35 eprover: CPU time limit exceeded, terminating
% 108.32/107.37 eprover: CPU time limit exceeded, terminating
% 110.36/109.38 eprover: CPU time limit exceeded, terminating
% 112.41/111.44 eprover: CPU time limit exceeded, terminating
% 114.44/113.45 eprover: CPU time limit exceeded, terminating
% 116.43/115.47 eprover: CPU time limit exceeded, terminating
% 118.44/117.48 eprover: CPU time limit exceeded, terminating
% 120.53/119.49 eprover: CPU time limit exceeded, terminating
% 122.55/121.50 eprover: CPU time limit exceeded, terminating
% 124.58/123.52 eprover: CPU time limit exceeded, terminating
% 126.60/125.53 eprover: CPU time limit exceeded, terminating
% 128.59/127.54 eprover: CPU time limit exceeded, terminating
% 130.66/129.54 eprover: CPU time limit exceeded, terminating
% 132.71/131.55 eprover: CPU time limit exceeded, terminating
% 134.76/133.56 eprover: CPU time limit exceeded, terminating
% 136.75/135.57 eprover: CPU time limit exceeded, terminating
% 138.77/137.58 eprover: CPU time limit exceeded, terminating
% 140.84/139.59 eprover: CPU time limit exceeded, terminating
% 142.86/141.60 eprover: CPU time limit exceeded, terminating
% 144.83/143.61 eprover: CPU time limit exceeded, terminating
% 146.88/145.62 eprover: CPU time limit exceeded, terminating
% 148.93/147.63 eprover: CPU time limit exceeded, terminating
% 150.98/149.63 eprover: CPU time limit exceeded, terminating
% 153.04/151.64 eprover: CPU time limit exceeded, terminating
% 154.98/153.65 eprover: CPU time limit exceeded, terminating
% 157.07/155.66 eprover: CPU time limit exceeded, terminating
% 159.08/157.67 eprover: CPU time limit exceeded, terminating
% 161.13/159.68 eprover: CPU time limit exceeded, terminating
% 163.13/161.69 eprover: CPU time limit exceeded, terminating
% 165.14/163.70 eprover: CPU time limit exceeded, terminating
% 167.21/165.71 eprover: CPU time limit exceeded, terminating
% 169.24/167.72 eprover: CPU time limit exceeded, terminating
% 171.28/169.72 eprover: CPU time limit exceeded, terminating
% 173.32/171.73 eprover: CPU time limit exceeded, terminating
% 175.30/173.74 eprover: CPU time limit exceeded, terminating
% 177.36/175.75 eprover: CPU time limit exceeded, terminating
% 179.41/177.76 eprover: CPU time limit exceeded, terminating
% 181.45/179.77 eprover: CPU time limit exceeded, terminating
% 183.49/181.78 eprover: CPU time limit exceeded, terminating
% 185.47/183.79 eprover: CPU time limit exceeded, terminating
% 187.55/185.80 eprover: CPU time limit exceeded, terminating
% 189.50/187.81 eprover: CPU time limit exceeded, terminating
% 191.61/189.82 eprover: CPU time limit exceeded, terminating
% 193.67/191.83 eprover: CPU time limit exceeded, terminating
% 195.70/193.84 eprover: CPU time limit exceeded, terminating
% 197.71/195.85 eprover: CPU time limit exceeded, terminating
% 199.73/197.86 eprover: CPU time limit exceeded, terminating
% 201.79/199.87 eprover: CPU time limit exceeded, terminating
% 203.81/201.88 eprover: CPU time limit exceeded, terminating
% 205.87/203.89 eprover: CPU time limit exceeded, terminating
% 207.89/205.90 eprover: CPU time limit exceeded, terminating
% 209.90/207.92 eprover: CPU time limit exceeded, terminating
% 211.96/209.93 eprover: CPU time limit exceeded, terminating
% 213.91/211.94 eprover: CPU time limit exceeded, terminating
% 216.02/213.95 eprover: CPU time limit exceeded, terminating
% 218.00/215.96 eprover: CPU time limit exceeded, terminating
% 220.08/217.97 eprover: CPU time limit exceeded, terminating
% 222.10/219.98 eprover: CPU time limit exceeded, terminating
% 224.14/221.99 eprover: CPU time limit exceeded, terminating
% 226.17/224.00 eprover: CPU time limit exceeded, terminating
% 228.19/226.01 eprover: CPU time limit exceeded, terminating
% 230.26/228.02 eprover: CPU time limit exceeded, terminating
% 232.25/230.03 eprover: CPU time limit exceeded, terminating
% 234.26/232.04 eprover: CPU time limit exceeded, terminating
% 236.35/234.05 eprover: CPU time limit exceeded, terminating
% 238.39/236.06 eprover: CPU time limit exceeded, terminating
% 240.40/238.07 eprover: CPU time limit exceeded, terminating
% 242.43/240.08 eprover: CPU time limit exceeded, terminating
% 244.46/242.09 eprover: CPU time limit exceeded, terminating
% 246.51/244.10 eprover: CPU time limit exceeded, terminating
% 248.57/246.11 eprover: CPU time limit exceeded, terminating
% 250.60/248.12 eprover: CPU time limit exceeded, terminating
% 252.62/250.13 eprover: CPU time limit exceeded, terminating
% 254.63/252.14 eprover: CPU time limit exceeded, terminating
% 256.68/254.15 eprover: CPU time limit exceeded, terminating
% 258.72/256.16 eprover: CPU time limit exceeded, terminating
% 260.78/258.18 eprover: CPU time limit exceeded, terminating
% 262.78/260.19 eprover: CPU time limit exceeded, terminating
% 264.83/262.20 eprover: CPU time limit exceeded, terminating
% 266.88/264.21 eprover: CPU time limit exceeded, terminating
% 268.89/266.22 eprover: CPU time limit exceeded, terminating
% 270.94/268.23 eprover: CPU time limit exceeded, terminating
% 272.94/270.24 eprover: CPU time limit exceeded, terminating
% 275.02/272.25 eprover: CPU time limit exceeded, terminating
% 277.04/274.26 eprover: CPU time limit exceeded, terminating
% 279.05/276.27 eprover: CPU time limit exceeded, terminating
% 281.10/278.28 eprover: CPU time limit exceeded, terminating
% 283.08/280.30 eprover: CPU time limit exceeded, terminating
% 285.16/282.31 eprover: CPU time limit exceeded, terminating
% 287.20/284.32 eprover: CPU time limit exceeded, terminating
% 289.25/286.33 eprover: CPU time limit exceeded, terminating
% 291.20/288.34 eprover: CPU time limit exceeded, terminating
% 293.24/290.35 eprover: CPU time limit exceeded, terminating
% 295.32/292.36 eprover: CPU time limit exceeded, terminating
% 297.36/294.37 eprover: CPU time limit exceeded, terminating
% 299.36/296.38 eprover: CPU time limit exceeded, terminating
% 300.06/297.02 eprover: CPU time limit exceeded, terminating
% 300.06/297.03 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------