%------------------------------------------------------------------------------ % 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) %------------------------------------------------------------------------------