TSTP Solution File: TOP042+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : TOP042+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n027.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:35 EDT 2022
% Result : Timeout 287.75s 262.95s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : TOP042+2 : TPTP v8.1.0. Released v3.4.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n027.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Sun May 29 09:05:30 EDT 2022
% 0.12/0.33 % CPUTime :
% 9.46/9.45 eprover: CPU time limit exceeded, terminating
% 11.69/11.46 eprover: CPU time limit exceeded, terminating
% 13.88/13.47 eprover: CPU time limit exceeded, terminating
% 16.06/15.48 eprover: CPU time limit exceeded, terminating
% 18.31/17.49 eprover: CPU time limit exceeded, terminating
% 20.50/19.50 eprover: CPU time limit exceeded, terminating
% 22.70/21.51 eprover: CPU time limit exceeded, terminating
% 24.89/23.53 eprover: CPU time limit exceeded, terminating
% 27.10/25.54 eprover: CPU time limit exceeded, terminating
% 29.29/27.55 eprover: CPU time limit exceeded, terminating
% 31.51/29.56 eprover: CPU time limit exceeded, terminating
% 33.71/31.57 eprover: CPU time limit exceeded, terminating
% 35.95/33.57 eprover: CPU time limit exceeded, terminating
% 38.15/35.59 eprover: CPU time limit exceeded, terminating
% 40.38/37.60 eprover: CPU time limit exceeded, terminating
% 42.54/39.61 eprover: CPU time limit exceeded, terminating
% 44.78/41.62 eprover: CPU time limit exceeded, terminating
% 46.96/43.63 eprover: CPU time limit exceeded, terminating
% 49.15/45.64 eprover: CPU time limit exceeded, terminating
% 51.38/47.65 eprover: CPU time limit exceeded, terminating
% 53.63/49.66 eprover: CPU time limit exceeded, terminating
% 55.82/51.68 eprover: CPU time limit exceeded, terminating
% 58.02/53.69 eprover: CPU time limit exceeded, terminating
% 60.24/55.70 eprover: CPU time limit exceeded, terminating
% 62.40/57.71 eprover: CPU time limit exceeded, terminating
% 64.62/59.72 eprover: CPU time limit exceeded, terminating
% 66.86/61.73 eprover: CPU time limit exceeded, terminating
% 69.07/63.75 eprover: CPU time limit exceeded, terminating
% 71.24/65.76 eprover: CPU time limit exceeded, terminating
% 73.48/67.77 eprover: CPU time limit exceeded, terminating
% 75.70/69.78 eprover: CPU time limit exceeded, terminating
% 77.90/71.79 eprover: CPU time limit exceeded, terminating
% 80.09/73.81 eprover: CPU time limit exceeded, terminating
% 82.32/75.82 eprover: CPU time limit exceeded, terminating
% 84.48/77.83 eprover: CPU time limit exceeded, terminating
% 86.70/79.84 eprover: CPU time limit exceeded, terminating
% 88.96/81.85 eprover: CPU time limit exceeded, terminating
% 91.15/83.86 eprover: CPU time limit exceeded, terminating
% 93.33/85.88 eprover: CPU time limit exceeded, terminating
% 95.54/87.89 eprover: CPU time limit exceeded, terminating
% 97.72/89.90 eprover: CPU time limit exceeded, terminating
% 99.95/91.91 eprover: CPU time limit exceeded, terminating
% 102.18/93.92 eprover: CPU time limit exceeded, terminating
% 104.39/95.94 eprover: CPU time limit exceeded, terminating
% 106.60/97.95 eprover: CPU time limit exceeded, terminating
% 108.81/99.96 eprover: CPU time limit exceeded, terminating
% 111.01/101.97 eprover: CPU time limit exceeded, terminating
% 113.21/103.98 eprover: CPU time limit exceeded, terminating
% 115.42/106.00 eprover: CPU time limit exceeded, terminating
% 117.63/108.01 eprover: CPU time limit exceeded, terminating
% 119.85/110.02 eprover: CPU time limit exceeded, terminating
% 122.02/112.03 eprover: CPU time limit exceeded, terminating
% 124.20/114.04 eprover: CPU time limit exceeded, terminating
% 126.48/116.07 eprover: CPU time limit exceeded, terminating
% 128.65/118.08 eprover: CPU time limit exceeded, terminating
% 130.86/120.09 eprover: CPU time limit exceeded, terminating
% 133.05/122.10 eprover: CPU time limit exceeded, terminating
% 135.31/124.11 eprover: CPU time limit exceeded, terminating
% 137.53/126.13 eprover: CPU time limit exceeded, terminating
% 139.73/128.14 eprover: CPU time limit exceeded, terminating
% 141.92/130.15 eprover: CPU time limit exceeded, terminating
% 144.16/132.17 eprover: CPU time limit exceeded, terminating
% 146.35/134.18 eprover: CPU time limit exceeded, terminating
% 148.55/136.19 eprover: CPU time limit exceeded, terminating
% 150.72/138.20 eprover: CPU time limit exceeded, terminating
% 152.95/140.21 eprover: CPU time limit exceeded, terminating
% 155.17/142.23 eprover: CPU time limit exceeded, terminating
% 157.38/144.24 eprover: CPU time limit exceeded, terminating
% 159.55/146.25 eprover: CPU time limit exceeded, terminating
% 161.80/148.26 eprover: CPU time limit exceeded, terminating
% 164.01/150.27 eprover: CPU time limit exceeded, terminating
% 166.19/152.28 eprover: CPU time limit exceeded, terminating
% 168.44/154.30 eprover: CPU time limit exceeded, terminating
% 170.58/156.31 eprover: CPU time limit exceeded, terminating
% 172.85/158.32 eprover: CPU time limit exceeded, terminating
% 175.07/160.33 eprover: CPU time limit exceeded, terminating
% 177.20/162.34 eprover: CPU time limit exceeded, terminating
% 179.47/164.36 eprover: CPU time limit exceeded, terminating
% 181.70/166.37 eprover: CPU time limit exceeded, terminating
% 183.89/168.38 eprover: CPU time limit exceeded, terminating
% 186.12/170.39 eprover: CPU time limit exceeded, terminating
% 188.29/172.40 eprover: CPU time limit exceeded, terminating
% 190.48/174.42 eprover: CPU time limit exceeded, terminating
% 192.73/176.43 eprover: CPU time limit exceeded, terminating
% 194.93/178.44 eprover: CPU time limit exceeded, terminating
% 197.15/180.45 eprover: CPU time limit exceeded, terminating
% 199.39/182.46 eprover: CPU time limit exceeded, terminating
% 201.55/184.48 eprover: CPU time limit exceeded, terminating
% 203.77/186.49 eprover: CPU time limit exceeded, terminating
% 206.00/188.50 eprover: CPU time limit exceeded, terminating
% 208.20/190.51 eprover: CPU time limit exceeded, terminating
% 210.42/192.52 eprover: CPU time limit exceeded, terminating
% 212.55/194.53 eprover: CPU time limit exceeded, terminating
% 214.82/196.55 eprover: CPU time limit exceeded, terminating
% 217.04/198.56 eprover: CPU time limit exceeded, terminating
% 219.23/200.57 eprover: CPU time limit exceeded, terminating
% 221.46/202.58 eprover: CPU time limit exceeded, terminating
% 223.65/204.60 eprover: CPU time limit exceeded, terminating
% 225.86/206.61 eprover: CPU time limit exceeded, terminating
% 228.02/208.62 eprover: CPU time limit exceeded, terminating
% 230.31/210.63 eprover: CPU time limit exceeded, terminating
% 232.46/212.64 eprover: CPU time limit exceeded, terminating
% 234.71/214.66 eprover: CPU time limit exceeded, terminating
% 236.93/216.67 eprover: CPU time limit exceeded, terminating
% 239.12/218.68 eprover: CPU time limit exceeded, terminating
% 241.35/220.69 eprover: CPU time limit exceeded, terminating
% 243.53/222.70 eprover: CPU time limit exceeded, terminating
% 245.76/224.72 eprover: CPU time limit exceeded, terminating
% 247.92/226.73 eprover: CPU time limit exceeded, terminating
% 250.12/228.74 eprover: CPU time limit exceeded, terminating
% 252.40/230.75 eprover: CPU time limit exceeded, terminating
% 254.60/232.76 eprover: CPU time limit exceeded, terminating
% 256.80/234.78 eprover: CPU time limit exceeded, terminating
% 259.01/236.79 eprover: CPU time limit exceeded, terminating
% 261.18/238.80 eprover: CPU time limit exceeded, terminating
% 263.37/240.81 eprover: CPU time limit exceeded, terminating
% 265.63/242.82 eprover: CPU time limit exceeded, terminating
% 267.87/244.84 eprover: CPU time limit exceeded, terminating
% 270.06/246.85 eprover: CPU time limit exceeded, terminating
% 272.27/248.86 eprover: CPU time limit exceeded, terminating
% 274.47/250.87 eprover: CPU time limit exceeded, terminating
% 276.67/252.88 eprover: CPU time limit exceeded, terminating
% 278.85/254.90 eprover: CPU time limit exceeded, terminating
% 281.05/256.91 eprover: CPU time limit exceeded, terminating
% 283.33/258.92 eprover: CPU time limit exceeded, terminating
% 285.54/260.93 eprover: CPU time limit exceeded, terminating
% 287.75/262.95 eprover: CPU time limit exceeded, terminating
% 289.94/264.96 eprover: CPU time limit exceeded, terminating
% 292.14/266.97 eprover: CPU time limit exceeded, terminating
% 294.36/268.98 eprover: CPU time limit exceeded, terminating
% 296.54/270.99 eprover: CPU time limit exceeded, terminating
% 298.76/273.01 eprover: CPU time limit exceeded, terminating
% 300.07/274.08 eprover: CPU time limit exceeded, terminating
% 300.07/274.09 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------