TSTP Solution File: SCT087-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SCT087-1 : TPTP v8.1.0. Released v4.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n011.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 : Mon Jul 18 21:34:11 EDT 2022
% Result : Timeout 287.04s 284.51s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12 % Problem : SCT087-1 : TPTP v8.1.0. Released v4.1.0.
% 0.06/0.12 % Command : run_infinox %s
% 0.12/0.34 % Computer : n011.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 600
% 0.12/0.34 % DateTime : Sat Jul 2 05:58:34 EDT 2022
% 0.12/0.34 % CPUTime :
% 2.48/2.68 eprover: CPU time limit exceeded, terminating
% 4.52/4.69 eprover: CPU time limit exceeded, terminating
% 6.59/6.70 eprover: CPU time limit exceeded, terminating
% 8.56/8.71 eprover: CPU time limit exceeded, terminating
% 10.64/10.73 eprover: CPU time limit exceeded, terminating
% 12.61/12.74 eprover: CPU time limit exceeded, terminating
% 14.66/14.75 eprover: CPU time limit exceeded, terminating
% 16.72/16.76 eprover: CPU time limit exceeded, terminating
% 18.76/18.77 eprover: CPU time limit exceeded, terminating
% 20.77/20.79 eprover: CPU time limit exceeded, terminating
% 22.81/22.80 eprover: CPU time limit exceeded, terminating
% 24.85/24.81 eprover: CPU time limit exceeded, terminating
% 26.88/26.82 eprover: CPU time limit exceeded, terminating
% 28.92/28.83 eprover: CPU time limit exceeded, terminating
% 30.98/30.84 eprover: CPU time limit exceeded, terminating
% 33.02/32.85 eprover: CPU time limit exceeded, terminating
% 35.01/34.87 eprover: CPU time limit exceeded, terminating
% 37.06/36.88 eprover: CPU time limit exceeded, terminating
% 39.12/38.89 eprover: CPU time limit exceeded, terminating
% 41.14/40.90 eprover: CPU time limit exceeded, terminating
% 43.14/42.91 eprover: CPU time limit exceeded, terminating
% 45.22/44.93 eprover: CPU time limit exceeded, terminating
% 47.19/46.94 eprover: CPU time limit exceeded, terminating
% 49.29/48.95 eprover: CPU time limit exceeded, terminating
% 51.32/50.96 eprover: CPU time limit exceeded, terminating
% 53.32/52.97 eprover: CPU time limit exceeded, terminating
% 55.34/54.98 eprover: CPU time limit exceeded, terminating
% 57.38/56.99 eprover: CPU time limit exceeded, terminating
% 59.40/59.00 eprover: CPU time limit exceeded, terminating
% 61.45/61.02 eprover: CPU time limit exceeded, terminating
% 63.54/63.03 eprover: CPU time limit exceeded, terminating
% 65.53/65.04 eprover: CPU time limit exceeded, terminating
% 67.59/67.05 eprover: CPU time limit exceeded, terminating
% 69.62/69.06 eprover: CPU time limit exceeded, terminating
% 71.62/71.08 eprover: CPU time limit exceeded, terminating
% 73.69/73.09 eprover: CPU time limit exceeded, terminating
% 75.72/75.10 eprover: CPU time limit exceeded, terminating
% 77.70/77.11 eprover: CPU time limit exceeded, terminating
% 79.76/79.12 eprover: CPU time limit exceeded, terminating
% 81.78/81.13 eprover: CPU time limit exceeded, terminating
% 83.83/83.15 eprover: CPU time limit exceeded, terminating
% 85.89/85.16 eprover: CPU time limit exceeded, terminating
% 87.91/87.17 eprover: CPU time limit exceeded, terminating
% 89.91/89.18 eprover: CPU time limit exceeded, terminating
% 91.95/91.20 eprover: CPU time limit exceeded, terminating
% 94.00/93.21 eprover: CPU time limit exceeded, terminating
% 96.04/95.22 eprover: CPU time limit exceeded, terminating
% 98.07/97.23 eprover: CPU time limit exceeded, terminating
% 100.08/99.24 eprover: CPU time limit exceeded, terminating
% 102.17/101.25 eprover: CPU time limit exceeded, terminating
% 104.20/103.27 eprover: CPU time limit exceeded, terminating
% 106.20/105.28 eprover: CPU time limit exceeded, terminating
% 108.24/107.29 eprover: CPU time limit exceeded, terminating
% 110.23/109.31 eprover: CPU time limit exceeded, terminating
% 112.26/111.32 eprover: CPU time limit exceeded, terminating
% 114.35/113.34 eprover: CPU time limit exceeded, terminating
% 116.30/115.35 eprover: CPU time limit exceeded, terminating
% 118.40/117.36 eprover: CPU time limit exceeded, terminating
% 120.43/119.39 eprover: CPU time limit exceeded, terminating
% 122.43/121.40 eprover: CPU time limit exceeded, terminating
% 124.46/123.41 eprover: CPU time limit exceeded, terminating
% 126.52/125.42 eprover: CPU time limit exceeded, terminating
% 128.52/127.43 eprover: CPU time limit exceeded, terminating
% 130.60/129.44 eprover: CPU time limit exceeded, terminating
% 132.62/131.49 eprover: CPU time limit exceeded, terminating
% 134.61/133.50 eprover: CPU time limit exceeded, terminating
% 136.64/135.54 eprover: CPU time limit exceeded, terminating
% 138.68/137.55 eprover: CPU time limit exceeded, terminating
% 140.74/139.57 eprover: CPU time limit exceeded, terminating
% 142.76/141.58 eprover: CPU time limit exceeded, terminating
% 144.77/143.59 eprover: CPU time limit exceeded, terminating
% 146.78/145.60 eprover: CPU time limit exceeded, terminating
% 148.85/147.61 eprover: CPU time limit exceeded, terminating
% 150.88/149.62 eprover: CPU time limit exceeded, terminating
% 152.89/151.63 eprover: CPU time limit exceeded, terminating
% 154.97/153.64 eprover: CPU time limit exceeded, terminating
% 156.93/155.66 eprover: CPU time limit exceeded, terminating
% 159.02/157.67 eprover: CPU time limit exceeded, terminating
% 161.04/159.68 eprover: CPU time limit exceeded, terminating
% 163.07/161.69 eprover: CPU time limit exceeded, terminating
% 165.08/163.70 eprover: CPU time limit exceeded, terminating
% 167.09/165.72 eprover: CPU time limit exceeded, terminating
% 169.19/167.73 eprover: CPU time limit exceeded, terminating
% 171.21/169.74 eprover: CPU time limit exceeded, terminating
% 173.22/171.75 eprover: CPU time limit exceeded, terminating
% 175.24/173.77 eprover: CPU time limit exceeded, terminating
% 177.28/175.79 eprover: CPU time limit exceeded, terminating
% 179.28/177.80 eprover: CPU time limit exceeded, terminating
% 181.33/179.82 eprover: CPU time limit exceeded, terminating
% 183.30/181.83 eprover: CPU time limit exceeded, terminating
% 185.33/183.86 eprover: CPU time limit exceeded, terminating
% 187.38/185.87 eprover: CPU time limit exceeded, terminating
% 189.46/187.90 eprover: CPU time limit exceeded, terminating
% 191.48/189.91 eprover: CPU time limit exceeded, terminating
% 193.50/191.93 eprover: CPU time limit exceeded, terminating
% 195.52/193.94 eprover: CPU time limit exceeded, terminating
% 197.54/195.97 eprover: CPU time limit exceeded, terminating
% 199.58/197.98 eprover: CPU time limit exceeded, terminating
% 201.63/199.99 eprover: CPU time limit exceeded, terminating
% 203.65/202.00 eprover: CPU time limit exceeded, terminating
% 205.67/204.01 eprover: CPU time limit exceeded, terminating
% 207.66/206.02 eprover: CPU time limit exceeded, terminating
% 209.76/208.03 eprover: CPU time limit exceeded, terminating
% 211.74/210.05 eprover: CPU time limit exceeded, terminating
% 213.80/212.07 eprover: CPU time limit exceeded, terminating
% 215.77/214.08 eprover: CPU time limit exceeded, terminating
% 217.83/216.09 eprover: CPU time limit exceeded, terminating
% 219.91/218.10 eprover: CPU time limit exceeded, terminating
% 221.93/220.11 eprover: CPU time limit exceeded, terminating
% 223.95/222.14 eprover: CPU time limit exceeded, terminating
% 225.99/224.15 eprover: CPU time limit exceeded, terminating
% 227.99/226.16 eprover: CPU time limit exceeded, terminating
% 230.00/228.17 eprover: CPU time limit exceeded, terminating
% 232.10/230.18 eprover: CPU time limit exceeded, terminating
% 234.07/232.19 eprover: CPU time limit exceeded, terminating
% 236.11/234.21 eprover: CPU time limit exceeded, terminating
% 238.22/236.22 eprover: CPU time limit exceeded, terminating
% 240.23/238.23 eprover: CPU time limit exceeded, terminating
% 242.23/240.24 eprover: CPU time limit exceeded, terminating
% 244.25/242.25 eprover: CPU time limit exceeded, terminating
% 246.30/244.27 eprover: CPU time limit exceeded, terminating
% 248.30/246.28 eprover: CPU time limit exceeded, terminating
% 250.36/248.29 eprover: CPU time limit exceeded, terminating
% 252.46/250.30 eprover: CPU time limit exceeded, terminating
% 254.46/252.32 eprover: CPU time limit exceeded, terminating
% 256.51/254.33 eprover: CPU time limit exceeded, terminating
% 258.54/256.34 eprover: CPU time limit exceeded, terminating
% 260.56/258.35 eprover: CPU time limit exceeded, terminating
% 262.58/260.36 eprover: CPU time limit exceeded, terminating
% 264.64/262.38 eprover: CPU time limit exceeded, terminating
% 266.69/264.39 eprover: CPU time limit exceeded, terminating
% 268.73/266.40 eprover: CPU time limit exceeded, terminating
% 270.73/268.41 eprover: CPU time limit exceeded, terminating
% 272.76/270.43 eprover: CPU time limit exceeded, terminating
% 274.77/272.44 eprover: CPU time limit exceeded, terminating
% 276.82/274.45 eprover: CPU time limit exceeded, terminating
% 278.90/276.46 eprover: CPU time limit exceeded, terminating
% 280.91/278.48 eprover: CPU time limit exceeded, terminating
% 282.97/280.49 eprover: CPU time limit exceeded, terminating
% 284.97/282.50 eprover: CPU time limit exceeded, terminating
% 287.04/284.51 eprover: CPU time limit exceeded, terminating
% 289.01/286.52 eprover: CPU time limit exceeded, terminating
% 291.03/288.54 eprover: CPU time limit exceeded, terminating
% 293.14/290.55 eprover: CPU time limit exceeded, terminating
% 295.14/292.56 eprover: CPU time limit exceeded, terminating
% 297.17/294.57 eprover: CPU time limit exceeded, terminating
% 299.20/296.59 eprover: CPU time limit exceeded, terminating
% 300.05/297.38 eprover: CPU time limit exceeded, terminating
% 300.05/297.40 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------