TSTP Solution File: TOP029+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : TOP029+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n018.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 : Thu Jul 21 21:26:33 EDT 2022
% Result : Timeout 286.88s 262.64s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : TOP029+2 : TPTP v8.1.0. Released v3.4.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.13/0.33 % Computer : n018.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.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Sun May 29 14:55:26 EDT 2022
% 0.13/0.34 % CPUTime :
% 9.17/9.13 eprover: CPU time limit exceeded, terminating
% 11.30/11.14 eprover: CPU time limit exceeded, terminating
% 13.56/13.15 eprover: CPU time limit exceeded, terminating
% 15.79/15.16 eprover: CPU time limit exceeded, terminating
% 17.97/17.17 eprover: CPU time limit exceeded, terminating
% 20.20/19.18 eprover: CPU time limit exceeded, terminating
% 22.36/21.20 eprover: CPU time limit exceeded, terminating
% 24.60/23.21 eprover: CPU time limit exceeded, terminating
% 26.78/25.22 eprover: CPU time limit exceeded, terminating
% 28.99/27.23 eprover: CPU time limit exceeded, terminating
% 31.20/29.24 eprover: CPU time limit exceeded, terminating
% 33.42/31.25 eprover: CPU time limit exceeded, terminating
% 35.61/33.27 eprover: CPU time limit exceeded, terminating
% 37.78/35.28 eprover: CPU time limit exceeded, terminating
% 40.03/37.29 eprover: CPU time limit exceeded, terminating
% 42.24/39.30 eprover: CPU time limit exceeded, terminating
% 44.37/41.31 eprover: CPU time limit exceeded, terminating
% 46.57/43.32 eprover: CPU time limit exceeded, terminating
% 48.81/45.34 eprover: CPU time limit exceeded, terminating
% 51.07/47.35 eprover: CPU time limit exceeded, terminating
% 53.27/49.36 eprover: CPU time limit exceeded, terminating
% 55.46/51.37 eprover: CPU time limit exceeded, terminating
% 57.66/53.38 eprover: CPU time limit exceeded, terminating
% 59.84/55.40 eprover: CPU time limit exceeded, terminating
% 62.06/57.41 eprover: CPU time limit exceeded, terminating
% 64.30/59.42 eprover: CPU time limit exceeded, terminating
% 66.42/61.43 eprover: CPU time limit exceeded, terminating
% 68.68/63.44 eprover: CPU time limit exceeded, terminating
% 70.90/65.46 eprover: CPU time limit exceeded, terminating
% 73.09/67.47 eprover: CPU time limit exceeded, terminating
% 75.30/69.48 eprover: CPU time limit exceeded, terminating
% 77.47/71.49 eprover: CPU time limit exceeded, terminating
% 79.69/73.50 eprover: CPU time limit exceeded, terminating
% 81.89/75.52 eprover: CPU time limit exceeded, terminating
% 84.07/77.53 eprover: CPU time limit exceeded, terminating
% 86.34/79.54 eprover: CPU time limit exceeded, terminating
% 88.55/81.55 eprover: CPU time limit exceeded, terminating
% 90.71/83.56 eprover: CPU time limit exceeded, terminating
% 92.93/85.58 eprover: CPU time limit exceeded, terminating
% 95.14/87.59 eprover: CPU time limit exceeded, terminating
% 97.32/89.60 eprover: CPU time limit exceeded, terminating
% 99.54/91.61 eprover: CPU time limit exceeded, terminating
% 101.71/93.62 eprover: CPU time limit exceeded, terminating
% 103.92/95.64 eprover: CPU time limit exceeded, terminating
% 106.16/97.65 eprover: CPU time limit exceeded, terminating
% 108.37/99.66 eprover: CPU time limit exceeded, terminating
% 110.56/101.67 eprover: CPU time limit exceeded, terminating
% 112.78/103.68 eprover: CPU time limit exceeded, terminating
% 114.99/105.70 eprover: CPU time limit exceeded, terminating
% 117.17/107.71 eprover: CPU time limit exceeded, terminating
% 119.40/109.72 eprover: CPU time limit exceeded, terminating
% 121.58/111.73 eprover: CPU time limit exceeded, terminating
% 123.79/113.74 eprover: CPU time limit exceeded, terminating
% 126.00/115.75 eprover: CPU time limit exceeded, terminating
% 128.21/117.77 eprover: CPU time limit exceeded, terminating
% 130.39/119.78 eprover: CPU time limit exceeded, terminating
% 132.58/121.79 eprover: CPU time limit exceeded, terminating
% 134.79/123.80 eprover: CPU time limit exceeded, terminating
% 137.01/125.81 eprover: CPU time limit exceeded, terminating
% 139.19/127.83 eprover: CPU time limit exceeded, terminating
% 141.35/129.84 eprover: CPU time limit exceeded, terminating
% 143.63/131.85 eprover: CPU time limit exceeded, terminating
% 145.81/133.86 eprover: CPU time limit exceeded, terminating
% 148.04/135.88 eprover: CPU time limit exceeded, terminating
% 150.25/137.89 eprover: CPU time limit exceeded, terminating
% 152.42/139.90 eprover: CPU time limit exceeded, terminating
% 154.63/141.91 eprover: CPU time limit exceeded, terminating
% 156.83/143.92 eprover: CPU time limit exceeded, terminating
% 159.09/145.94 eprover: CPU time limit exceeded, terminating
% 161.25/147.95 eprover: CPU time limit exceeded, terminating
% 163.48/149.96 eprover: CPU time limit exceeded, terminating
% 165.66/151.97 eprover: CPU time limit exceeded, terminating
% 167.88/153.99 eprover: CPU time limit exceeded, terminating
% 170.10/156.00 eprover: CPU time limit exceeded, terminating
% 172.27/158.01 eprover: CPU time limit exceeded, terminating
% 174.45/160.02 eprover: CPU time limit exceeded, terminating
% 176.70/162.04 eprover: CPU time limit exceeded, terminating
% 178.91/164.05 eprover: CPU time limit exceeded, terminating
% 181.11/166.06 eprover: CPU time limit exceeded, terminating
% 183.31/168.07 eprover: CPU time limit exceeded, terminating
% 185.50/170.08 eprover: CPU time limit exceeded, terminating
% 187.69/172.10 eprover: CPU time limit exceeded, terminating
% 189.89/174.11 eprover: CPU time limit exceeded, terminating
% 192.15/176.12 eprover: CPU time limit exceeded, terminating
% 194.35/178.13 eprover: CPU time limit exceeded, terminating
% 196.55/180.14 eprover: CPU time limit exceeded, terminating
% 198.72/182.16 eprover: CPU time limit exceeded, terminating
% 200.94/184.17 eprover: CPU time limit exceeded, terminating
% 203.14/186.18 eprover: CPU time limit exceeded, terminating
% 205.31/188.19 eprover: CPU time limit exceeded, terminating
% 207.53/190.20 eprover: CPU time limit exceeded, terminating
% 209.77/192.21 eprover: CPU time limit exceeded, terminating
% 211.94/194.22 eprover: CPU time limit exceeded, terminating
% 214.17/196.24 eprover: CPU time limit exceeded, terminating
% 216.34/198.25 eprover: CPU time limit exceeded, terminating
% 218.58/200.26 eprover: CPU time limit exceeded, terminating
% 220.77/202.27 eprover: CPU time limit exceeded, terminating
% 222.95/204.29 eprover: CPU time limit exceeded, terminating
% 225.18/206.30 eprover: CPU time limit exceeded, terminating
% 227.39/208.31 eprover: CPU time limit exceeded, terminating
% 229.57/210.33 eprover: CPU time limit exceeded, terminating
% 231.74/212.34 eprover: CPU time limit exceeded, terminating
% 234.01/214.35 eprover: CPU time limit exceeded, terminating
% 236.21/216.36 eprover: CPU time limit exceeded, terminating
% 238.38/218.38 eprover: CPU time limit exceeded, terminating
% 240.59/220.39 eprover: CPU time limit exceeded, terminating
% 242.79/222.40 eprover: CPU time limit exceeded, terminating
% 245.01/224.41 eprover: CPU time limit exceeded, terminating
% 247.18/226.43 eprover: CPU time limit exceeded, terminating
% 249.42/228.44 eprover: CPU time limit exceeded, terminating
% 251.65/230.45 eprover: CPU time limit exceeded, terminating
% 253.84/232.46 eprover: CPU time limit exceeded, terminating
% 256.03/234.47 eprover: CPU time limit exceeded, terminating
% 258.24/236.49 eprover: CPU time limit exceeded, terminating
% 260.40/238.50 eprover: CPU time limit exceeded, terminating
% 262.62/240.51 eprover: CPU time limit exceeded, terminating
% 264.79/242.52 eprover: CPU time limit exceeded, terminating
% 267.08/244.54 eprover: CPU time limit exceeded, terminating
% 269.28/246.55 eprover: CPU time limit exceeded, terminating
% 271.48/248.56 eprover: CPU time limit exceeded, terminating
% 273.68/250.57 eprover: CPU time limit exceeded, terminating
% 275.89/252.58 eprover: CPU time limit exceeded, terminating
% 278.04/254.60 eprover: CPU time limit exceeded, terminating
% 280.29/256.61 eprover: CPU time limit exceeded, terminating
% 282.50/258.62 eprover: CPU time limit exceeded, terminating
% 284.66/260.63 eprover: CPU time limit exceeded, terminating
% 286.88/262.64 eprover: CPU time limit exceeded, terminating
% 289.10/264.66 eprover: CPU time limit exceeded, terminating
% 291.27/266.67 eprover: CPU time limit exceeded, terminating
% 293.47/268.68 eprover: CPU time limit exceeded, terminating
% 295.67/270.69 eprover: CPU time limit exceeded, terminating
% 297.94/272.70 eprover: CPU time limit exceeded, terminating
% 300.09/274.68 eprover: CPU time limit exceeded, terminating
% 300.09/274.69 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------