TSTP Solution File: TOP033+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : TOP033+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n021.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:34 EDT 2022
% Result : Timeout 287.36s 262.90s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.12 % Problem : TOP033+2 : TPTP v8.1.0. Released v3.4.0.
% 0.00/0.12 % Command : run_infinox %s
% 0.13/0.33 % Computer : n021.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 : Sun May 29 06:29:58 EDT 2022
% 0.13/0.34 % CPUTime :
% 9.44/9.40 eprover: CPU time limit exceeded, terminating
% 11.61/11.41 eprover: CPU time limit exceeded, terminating
% 13.85/13.42 eprover: CPU time limit exceeded, terminating
% 16.03/15.44 eprover: CPU time limit exceeded, terminating
% 18.27/17.45 eprover: CPU time limit exceeded, terminating
% 20.43/19.46 eprover: CPU time limit exceeded, terminating
% 22.67/21.47 eprover: CPU time limit exceeded, terminating
% 24.83/23.48 eprover: CPU time limit exceeded, terminating
% 27.07/25.49 eprover: CPU time limit exceeded, terminating
% 29.31/27.51 eprover: CPU time limit exceeded, terminating
% 31.53/29.52 eprover: CPU time limit exceeded, terminating
% 33.69/31.53 eprover: CPU time limit exceeded, terminating
% 35.93/33.54 eprover: CPU time limit exceeded, terminating
% 38.08/35.55 eprover: CPU time limit exceeded, terminating
% 40.34/37.57 eprover: CPU time limit exceeded, terminating
% 42.58/39.58 eprover: CPU time limit exceeded, terminating
% 44.77/41.59 eprover: CPU time limit exceeded, terminating
% 47.01/43.60 eprover: CPU time limit exceeded, terminating
% 49.21/45.61 eprover: CPU time limit exceeded, terminating
% 51.43/47.63 eprover: CPU time limit exceeded, terminating
% 53.59/49.64 eprover: CPU time limit exceeded, terminating
% 55.82/51.65 eprover: CPU time limit exceeded, terminating
% 58.00/53.66 eprover: CPU time limit exceeded, terminating
% 60.30/55.67 eprover: CPU time limit exceeded, terminating
% 62.50/57.69 eprover: CPU time limit exceeded, terminating
% 64.72/59.70 eprover: CPU time limit exceeded, terminating
% 66.96/61.71 eprover: CPU time limit exceeded, terminating
% 69.11/63.72 eprover: CPU time limit exceeded, terminating
% 71.36/65.73 eprover: CPU time limit exceeded, terminating
% 73.53/67.75 eprover: CPU time limit exceeded, terminating
% 75.73/69.76 eprover: CPU time limit exceeded, terminating
% 77.94/71.77 eprover: CPU time limit exceeded, terminating
% 80.15/73.78 eprover: CPU time limit exceeded, terminating
% 82.36/75.79 eprover: CPU time limit exceeded, terminating
% 84.62/77.81 eprover: CPU time limit exceeded, terminating
% 86.86/79.82 eprover: CPU time limit exceeded, terminating
% 89.02/81.83 eprover: CPU time limit exceeded, terminating
% 91.23/83.84 eprover: CPU time limit exceeded, terminating
% 93.43/85.85 eprover: CPU time limit exceeded, terminating
% 95.60/87.86 eprover: CPU time limit exceeded, terminating
% 97.87/89.88 eprover: CPU time limit exceeded, terminating
% 100.02/91.89 eprover: CPU time limit exceeded, terminating
% 102.31/93.90 eprover: CPU time limit exceeded, terminating
% 104.52/95.91 eprover: CPU time limit exceeded, terminating
% 106.70/97.92 eprover: CPU time limit exceeded, terminating
% 108.91/99.93 eprover: CPU time limit exceeded, terminating
% 111.13/101.95 eprover: CPU time limit exceeded, terminating
% 113.28/103.96 eprover: CPU time limit exceeded, terminating
% 115.52/105.97 eprover: CPU time limit exceeded, terminating
% 117.73/107.98 eprover: CPU time limit exceeded, terminating
% 119.98/110.00 eprover: CPU time limit exceeded, terminating
% 122.20/112.01 eprover: CPU time limit exceeded, terminating
% 124.40/114.02 eprover: CPU time limit exceeded, terminating
% 126.55/116.03 eprover: CPU time limit exceeded, terminating
% 128.80/118.04 eprover: CPU time limit exceeded, terminating
% 131.01/120.06 eprover: CPU time limit exceeded, terminating
% 133.20/122.07 eprover: CPU time limit exceeded, terminating
% 135.41/124.08 eprover: CPU time limit exceeded, terminating
% 137.64/126.09 eprover: CPU time limit exceeded, terminating
% 139.84/128.10 eprover: CPU time limit exceeded, terminating
% 142.05/130.12 eprover: CPU time limit exceeded, terminating
% 144.24/132.13 eprover: CPU time limit exceeded, terminating
% 146.43/134.14 eprover: CPU time limit exceeded, terminating
% 148.61/136.15 eprover: CPU time limit exceeded, terminating
% 150.84/138.16 eprover: CPU time limit exceeded, terminating
% 153.06/140.18 eprover: CPU time limit exceeded, terminating
% 155.22/142.19 eprover: CPU time limit exceeded, terminating
% 157.47/144.20 eprover: CPU time limit exceeded, terminating
% 159.67/146.21 eprover: CPU time limit exceeded, terminating
% 161.85/148.22 eprover: CPU time limit exceeded, terminating
% 164.07/150.24 eprover: CPU time limit exceeded, terminating
% 166.27/152.25 eprover: CPU time limit exceeded, terminating
% 168.43/154.26 eprover: CPU time limit exceeded, terminating
% 170.64/156.27 eprover: CPU time limit exceeded, terminating
% 172.89/158.28 eprover: CPU time limit exceeded, terminating
% 175.10/160.30 eprover: CPU time limit exceeded, terminating
% 177.22/162.31 eprover: CPU time limit exceeded, terminating
% 179.50/164.32 eprover: CPU time limit exceeded, terminating
% 181.70/166.33 eprover: CPU time limit exceeded, terminating
% 183.88/168.35 eprover: CPU time limit exceeded, terminating
% 186.09/170.36 eprover: CPU time limit exceeded, terminating
% 188.27/172.37 eprover: CPU time limit exceeded, terminating
% 190.46/174.38 eprover: CPU time limit exceeded, terminating
% 192.72/176.39 eprover: CPU time limit exceeded, terminating
% 194.84/178.41 eprover: CPU time limit exceeded, terminating
% 197.09/180.42 eprover: CPU time limit exceeded, terminating
% 199.29/182.43 eprover: CPU time limit exceeded, terminating
% 201.51/184.44 eprover: CPU time limit exceeded, terminating
% 203.67/186.45 eprover: CPU time limit exceeded, terminating
% 205.88/188.47 eprover: CPU time limit exceeded, terminating
% 208.03/190.48 eprover: CPU time limit exceeded, terminating
% 210.34/192.49 eprover: CPU time limit exceeded, terminating
% 212.52/194.50 eprover: CPU time limit exceeded, terminating
% 214.75/196.51 eprover: CPU time limit exceeded, terminating
% 216.93/198.53 eprover: CPU time limit exceeded, terminating
% 219.11/200.54 eprover: CPU time limit exceeded, terminating
% 221.30/202.55 eprover: CPU time limit exceeded, terminating
% 223.52/204.56 eprover: CPU time limit exceeded, terminating
% 225.66/206.57 eprover: CPU time limit exceeded, terminating
% 227.89/208.59 eprover: CPU time limit exceeded, terminating
% 230.10/210.60 eprover: CPU time limit exceeded, terminating
% 232.35/212.61 eprover: CPU time limit exceeded, terminating
% 234.48/214.62 eprover: CPU time limit exceeded, terminating
% 236.76/216.63 eprover: CPU time limit exceeded, terminating
% 238.91/218.64 eprover: CPU time limit exceeded, terminating
% 241.07/220.65 eprover: CPU time limit exceeded, terminating
% 243.26/222.67 eprover: CPU time limit exceeded, terminating
% 245.52/224.68 eprover: CPU time limit exceeded, terminating
% 247.65/226.69 eprover: CPU time limit exceeded, terminating
% 249.92/228.70 eprover: CPU time limit exceeded, terminating
% 252.14/230.71 eprover: CPU time limit exceeded, terminating
% 254.34/232.72 eprover: CPU time limit exceeded, terminating
% 256.52/234.74 eprover: CPU time limit exceeded, terminating
% 258.71/236.75 eprover: CPU time limit exceeded, terminating
% 260.93/238.76 eprover: CPU time limit exceeded, terminating
% 263.07/240.77 eprover: CPU time limit exceeded, terminating
% 265.36/242.78 eprover: CPU time limit exceeded, terminating
% 267.56/244.79 eprover: CPU time limit exceeded, terminating
% 269.73/246.81 eprover: CPU time limit exceeded, terminating
% 271.96/248.82 eprover: CPU time limit exceeded, terminating
% 274.11/250.83 eprover: CPU time limit exceeded, terminating
% 276.35/252.84 eprover: CPU time limit exceeded, terminating
% 278.55/254.85 eprover: CPU time limit exceeded, terminating
% 280.76/256.86 eprover: CPU time limit exceeded, terminating
% 282.92/258.88 eprover: CPU time limit exceeded, terminating
% 285.12/260.89 eprover: CPU time limit exceeded, terminating
% 287.36/262.90 eprover: CPU time limit exceeded, terminating
% 289.56/264.91 eprover: CPU time limit exceeded, terminating
% 291.78/266.92 eprover: CPU time limit exceeded, terminating
% 293.97/268.94 eprover: CPU time limit exceeded, terminating
% 296.16/270.95 eprover: CPU time limit exceeded, terminating
% 298.37/272.96 eprover: CPU time limit exceeded, terminating
% 300.02/274.40 eprover: CPU time limit exceeded, terminating
% 300.02/274.41 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------