TSTP Solution File: SWV423-1.020 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWV423-1.020 : TPTP v8.1.0. Released v3.5.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n007.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.09s 284.08s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.10/0.12 % Problem : SWV423-1.020 : TPTP v8.1.0. Released v3.5.0.
% 0.10/0.12 % Command : run_infinox %s
% 0.13/0.33 % Computer : n007.cluster.edu
% 0.13/0.33 % Model : x86_64 x86_64
% 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.33 % Memory : 8042.1875MB
% 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.33 % CPULimit : 300
% 0.13/0.33 % WCLimit : 600
% 0.13/0.33 % DateTime : Wed Jun 15 19:05:56 EDT 2022
% 0.13/0.33 % CPUTime :
% 2.55/2.77 eprover: CPU time limit exceeded, terminating
% 4.61/4.78 eprover: CPU time limit exceeded, terminating
% 6.58/6.79 eprover: CPU time limit exceeded, terminating
% 8.68/8.80 eprover: CPU time limit exceeded, terminating
% 10.72/10.81 eprover: CPU time limit exceeded, terminating
% 12.76/12.82 eprover: CPU time limit exceeded, terminating
% 14.76/14.82 eprover: CPU time limit exceeded, terminating
% 16.80/16.83 eprover: CPU time limit exceeded, terminating
% 18.85/18.84 eprover: CPU time limit exceeded, terminating
% 20.84/20.85 eprover: CPU time limit exceeded, terminating
% 22.86/22.86 eprover: CPU time limit exceeded, terminating
% 24.90/24.87 eprover: CPU time limit exceeded, terminating
% 26.97/26.88 eprover: CPU time limit exceeded, terminating
% 29.00/28.89 eprover: CPU time limit exceeded, terminating
% 30.96/30.90 eprover: CPU time limit exceeded, terminating
% 33.05/32.91 eprover: CPU time limit exceeded, terminating
% 35.10/34.91 eprover: CPU time limit exceeded, terminating
% 37.12/36.92 eprover: CPU time limit exceeded, terminating
% 39.14/38.93 eprover: CPU time limit exceeded, terminating
% 41.15/40.94 eprover: CPU time limit exceeded, terminating
% 43.19/42.95 eprover: CPU time limit exceeded, terminating
% 45.24/44.96 eprover: CPU time limit exceeded, terminating
% 47.24/46.97 eprover: CPU time limit exceeded, terminating
% 49.32/48.98 eprover: CPU time limit exceeded, terminating
% 51.37/50.99 eprover: CPU time limit exceeded, terminating
% 53.40/53.00 eprover: CPU time limit exceeded, terminating
% 55.40/55.01 eprover: CPU time limit exceeded, terminating
% 57.46/57.01 eprover: CPU time limit exceeded, terminating
% 59.47/59.02 eprover: CPU time limit exceeded, terminating
% 61.49/61.03 eprover: CPU time limit exceeded, terminating
% 63.47/63.04 eprover: CPU time limit exceeded, terminating
% 65.52/65.05 eprover: CPU time limit exceeded, terminating
% 67.55/67.06 eprover: CPU time limit exceeded, terminating
% 69.57/69.07 eprover: CPU time limit exceeded, terminating
% 71.61/71.08 eprover: CPU time limit exceeded, terminating
% 73.70/73.09 eprover: CPU time limit exceeded, terminating
% 75.74/75.10 eprover: CPU time limit exceeded, terminating
% 77.77/77.11 eprover: CPU time limit exceeded, terminating
% 79.79/79.11 eprover: CPU time limit exceeded, terminating
% 81.84/81.12 eprover: CPU time limit exceeded, terminating
% 83.82/83.13 eprover: CPU time limit exceeded, terminating
% 85.87/85.14 eprover: CPU time limit exceeded, terminating
% 87.90/87.15 eprover: CPU time limit exceeded, terminating
% 89.90/89.16 eprover: CPU time limit exceeded, terminating
% 91.93/91.17 eprover: CPU time limit exceeded, terminating
% 93.96/93.18 eprover: CPU time limit exceeded, terminating
% 96.00/95.19 eprover: CPU time limit exceeded, terminating
% 98.01/97.20 eprover: CPU time limit exceeded, terminating
% 100.09/99.21 eprover: CPU time limit exceeded, terminating
% 102.15/101.22 eprover: CPU time limit exceeded, terminating
% 104.17/103.23 eprover: CPU time limit exceeded, terminating
% 106.18/105.24 eprover: CPU time limit exceeded, terminating
% 108.21/107.24 eprover: CPU time limit exceeded, terminating
% 110.26/109.25 eprover: CPU time limit exceeded, terminating
% 112.25/111.26 eprover: CPU time limit exceeded, terminating
% 114.28/113.27 eprover: CPU time limit exceeded, terminating
% 116.32/115.28 eprover: CPU time limit exceeded, terminating
% 118.33/117.29 eprover: CPU time limit exceeded, terminating
% 120.42/119.30 eprover: CPU time limit exceeded, terminating
% 122.47/121.31 eprover: CPU time limit exceeded, terminating
% 124.49/123.32 eprover: CPU time limit exceeded, terminating
% 126.53/125.33 eprover: CPU time limit exceeded, terminating
% 128.53/127.34 eprover: CPU time limit exceeded, terminating
% 130.57/129.35 eprover: CPU time limit exceeded, terminating
% 132.61/131.36 eprover: CPU time limit exceeded, terminating
% 134.59/133.37 eprover: CPU time limit exceeded, terminating
% 136.64/135.38 eprover: CPU time limit exceeded, terminating
% 138.69/137.39 eprover: CPU time limit exceeded, terminating
% 140.77/139.40 eprover: CPU time limit exceeded, terminating
% 142.77/141.41 eprover: CPU time limit exceeded, terminating
% 144.82/143.42 eprover: CPU time limit exceeded, terminating
% 146.86/145.43 eprover: CPU time limit exceeded, terminating
% 148.86/147.44 eprover: CPU time limit exceeded, terminating
% 150.90/149.45 eprover: CPU time limit exceeded, terminating
% 152.93/151.46 eprover: CPU time limit exceeded, terminating
% 154.93/153.47 eprover: CPU time limit exceeded, terminating
% 156.97/155.48 eprover: CPU time limit exceeded, terminating
% 158.98/157.48 eprover: CPU time limit exceeded, terminating
% 161.08/159.49 eprover: CPU time limit exceeded, terminating
% 163.03/161.50 eprover: CPU time limit exceeded, terminating
% 165.14/163.51 eprover: CPU time limit exceeded, terminating
% 167.18/165.52 eprover: CPU time limit exceeded, terminating
% 169.18/167.53 eprover: CPU time limit exceeded, terminating
% 171.22/169.54 eprover: CPU time limit exceeded, terminating
% 173.26/171.55 eprover: CPU time limit exceeded, terminating
% 175.25/173.56 eprover: CPU time limit exceeded, terminating
% 177.28/175.57 eprover: CPU time limit exceeded, terminating
% 179.33/177.58 eprover: CPU time limit exceeded, terminating
% 181.33/179.58 eprover: CPU time limit exceeded, terminating
% 183.42/181.59 eprover: CPU time limit exceeded, terminating
% 185.38/183.60 eprover: CPU time limit exceeded, terminating
% 187.49/185.61 eprover: CPU time limit exceeded, terminating
% 189.51/187.62 eprover: CPU time limit exceeded, terminating
% 191.56/189.63 eprover: CPU time limit exceeded, terminating
% 193.57/191.64 eprover: CPU time limit exceeded, terminating
% 195.59/193.65 eprover: CPU time limit exceeded, terminating
% 197.61/195.66 eprover: CPU time limit exceeded, terminating
% 199.61/197.67 eprover: CPU time limit exceeded, terminating
% 201.66/199.68 eprover: CPU time limit exceeded, terminating
% 203.68/201.68 eprover: CPU time limit exceeded, terminating
% 205.79/203.69 eprover: CPU time limit exceeded, terminating
% 207.81/205.70 eprover: CPU time limit exceeded, terminating
% 209.85/207.71 eprover: CPU time limit exceeded, terminating
% 211.89/209.72 eprover: CPU time limit exceeded, terminating
% 213.88/211.73 eprover: CPU time limit exceeded, terminating
% 215.91/213.74 eprover: CPU time limit exceeded, terminating
% 217.94/215.75 eprover: CPU time limit exceeded, terminating
% 219.97/217.76 eprover: CPU time limit exceeded, terminating
% 221.96/219.77 eprover: CPU time limit exceeded, terminating
% 224.00/221.78 eprover: CPU time limit exceeded, terminating
% 226.04/223.78 eprover: CPU time limit exceeded, terminating
% 228.14/225.79 eprover: CPU time limit exceeded, terminating
% 230.17/227.80 eprover: CPU time limit exceeded, terminating
% 232.20/229.81 eprover: CPU time limit exceeded, terminating
% 234.22/231.82 eprover: CPU time limit exceeded, terminating
% 236.24/233.83 eprover: CPU time limit exceeded, terminating
% 238.25/235.84 eprover: CPU time limit exceeded, terminating
% 240.28/237.84 eprover: CPU time limit exceeded, terminating
% 242.30/239.85 eprover: CPU time limit exceeded, terminating
% 244.31/241.86 eprover: CPU time limit exceeded, terminating
% 246.36/243.87 eprover: CPU time limit exceeded, terminating
% 248.39/245.88 eprover: CPU time limit exceeded, terminating
% 250.47/247.89 eprover: CPU time limit exceeded, terminating
% 252.50/249.90 eprover: CPU time limit exceeded, terminating
% 254.47/251.91 eprover: CPU time limit exceeded, terminating
% 256.57/253.92 eprover: CPU time limit exceeded, terminating
% 258.55/255.94 eprover: CPU time limit exceeded, terminating
% 260.61/257.95 eprover: CPU time limit exceeded, terminating
% 262.64/259.96 eprover: CPU time limit exceeded, terminating
% 264.63/261.97 eprover: CPU time limit exceeded, terminating
% 266.66/263.98 eprover: CPU time limit exceeded, terminating
% 268.77/265.99 eprover: CPU time limit exceeded, terminating
% 270.81/268.00 eprover: CPU time limit exceeded, terminating
% 272.76/270.01 eprover: CPU time limit exceeded, terminating
% 274.85/272.02 eprover: CPU time limit exceeded, terminating
% 276.90/274.03 eprover: CPU time limit exceeded, terminating
% 278.92/276.04 eprover: CPU time limit exceeded, terminating
% 280.95/278.05 eprover: CPU time limit exceeded, terminating
% 282.97/280.06 eprover: CPU time limit exceeded, terminating
% 285.00/282.07 eprover: CPU time limit exceeded, terminating
% 287.09/284.08 eprover: CPU time limit exceeded, terminating
% 289.03/286.09 eprover: CPU time limit exceeded, terminating
% 291.14/288.10 eprover: CPU time limit exceeded, terminating
% 293.18/290.12 eprover: CPU time limit exceeded, terminating
% 295.19/292.13 eprover: CPU time limit exceeded, terminating
% 297.22/294.14 eprover: CPU time limit exceeded, terminating
% 299.26/296.15 eprover: CPU time limit exceeded, terminating
% 300.07/296.91 eprover: CPU time limit exceeded, terminating
% 300.07/296.93 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------