%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : TOP026+2 : TPTP v8.1.0. Released v3.4.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n019.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:32 EDT 2022 % Result : Timeout 287.11s 262.30s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.03/0.12 % Problem : TOP026+2 : TPTP v8.1.0. Released v3.4.0. % 0.03/0.13 % Command : run_infinox %s % 0.13/0.34 % Computer : n019.cluster.edu % 0.13/0.34 % Model : x86_64 x86_64 % 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.13/0.34 % Memory : 8042.1875MB % 0.13/0.34 % 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:03:11 EDT 2022 % 0.13/0.34 % CPUTime : % 14.63/14.71 eprover: CPU time limit exceeded, terminating % 16.81/16.73 eprover: CPU time limit exceeded, terminating % 18.97/18.75 eprover: CPU time limit exceeded, terminating % 21.17/20.76 eprover: CPU time limit exceeded, terminating % 23.35/22.78 eprover: CPU time limit exceeded, terminating % 25.49/24.79 eprover: CPU time limit exceeded, terminating % 27.63/26.81 eprover: CPU time limit exceeded, terminating % 29.79/28.82 eprover: CPU time limit exceeded, terminating % 31.96/30.84 eprover: CPU time limit exceeded, terminating % 34.18/32.85 eprover: CPU time limit exceeded, terminating % 36.37/34.86 eprover: CPU time limit exceeded, terminating % 38.50/36.89 eprover: CPU time limit exceeded, terminating % 40.66/38.90 eprover: CPU time limit exceeded, terminating % 42.78/40.93 eprover: CPU time limit exceeded, terminating % 45.03/42.94 eprover: CPU time limit exceeded, terminating % 47.25/44.94 eprover: CPU time limit exceeded, terminating % 49.44/46.96 eprover: CPU time limit exceeded, terminating % 51.59/48.97 eprover: CPU time limit exceeded, terminating % 53.84/50.98 eprover: CPU time limit exceeded, terminating % 56.03/52.99 eprover: CPU time limit exceeded, terminating % 58.23/55.00 eprover: CPU time limit exceeded, terminating % 60.44/57.01 eprover: CPU time limit exceeded, terminating % 62.63/59.02 eprover: CPU time limit exceeded, terminating % 64.79/61.03 eprover: CPU time limit exceeded, terminating % 67.07/63.05 eprover: CPU time limit exceeded, terminating % 69.29/65.06 eprover: CPU time limit exceeded, terminating % 71.46/67.07 eprover: CPU time limit exceeded, terminating % 73.67/69.09 eprover: CPU time limit exceeded, terminating % 75.93/71.10 eprover: CPU time limit exceeded, terminating % 78.10/73.11 eprover: CPU time limit exceeded, terminating % 80.33/75.12 eprover: CPU time limit exceeded, terminating % 82.52/77.14 eprover: CPU time limit exceeded, terminating % 84.68/79.15 eprover: CPU time limit exceeded, terminating % 86.95/81.16 eprover: CPU time limit exceeded, terminating % 89.15/83.17 eprover: CPU time limit exceeded, terminating % 91.36/85.18 eprover: CPU time limit exceeded, terminating % 93.57/87.20 eprover: CPU time limit exceeded, terminating % 95.76/89.21 eprover: CPU time limit exceeded, terminating % 97.92/91.22 eprover: CPU time limit exceeded, terminating % 100.20/93.24 eprover: CPU time limit exceeded, terminating % 102.40/95.25 eprover: CPU time limit exceeded, terminating % 104.59/97.26 eprover: CPU time limit exceeded, terminating % 106.81/99.27 eprover: CPU time limit exceeded, terminating % 108.99/101.29 eprover: CPU time limit exceeded, terminating % 111.21/103.30 eprover: CPU time limit exceeded, terminating % 113.46/105.31 eprover: CPU time limit exceeded, terminating % 115.64/107.32 eprover: CPU time limit exceeded, terminating % 117.79/109.34 eprover: CPU time limit exceeded, terminating % 120.07/111.35 eprover: CPU time limit exceeded, terminating % 122.24/113.36 eprover: CPU time limit exceeded, terminating % 124.46/115.37 eprover: CPU time limit exceeded, terminating % 126.66/117.39 eprover: CPU time limit exceeded, terminating % 128.87/119.40 eprover: CPU time limit exceeded, terminating % 131.03/121.41 eprover: CPU time limit exceeded, terminating % 133.30/123.43 eprover: CPU time limit exceeded, terminating % 135.51/125.44 eprover: CPU time limit exceeded, terminating % 137.70/127.45 eprover: CPU time limit exceeded, terminating % 139.90/129.47 eprover: CPU time limit exceeded, terminating % 142.09/131.48 eprover: CPU time limit exceeded, terminating % 144.31/133.49 eprover: CPU time limit exceeded, terminating % 146.49/135.50 eprover: CPU time limit exceeded, terminating % 148.69/137.52 eprover: CPU time limit exceeded, terminating % 150.92/139.53 eprover: CPU time limit exceeded, terminating % 153.13/141.54 eprover: CPU time limit exceeded, terminating % 155.32/143.55 eprover: CPU time limit exceeded, terminating % 157.53/145.57 eprover: CPU time limit exceeded, terminating % 159.75/147.58 eprover: CPU time limit exceeded, terminating % 161.93/149.59 eprover: CPU time limit exceeded, terminating % 164.10/151.60 eprover: CPU time limit exceeded, terminating % 166.31/153.61 eprover: CPU time limit exceeded, terminating % 168.50/155.63 eprover: CPU time limit exceeded, terminating % 170.76/157.64 eprover: CPU time limit exceeded, terminating % 172.97/159.65 eprover: CPU time limit exceeded, terminating % 175.16/161.67 eprover: CPU time limit exceeded, terminating % 177.36/163.68 eprover: CPU time limit exceeded, terminating % 179.55/165.69 eprover: CPU time limit exceeded, terminating % 181.74/167.70 eprover: CPU time limit exceeded, terminating % 183.92/169.72 eprover: CPU time limit exceeded, terminating % 186.15/171.73 eprover: CPU time limit exceeded, terminating % 188.39/173.74 eprover: CPU time limit exceeded, terminating % 190.57/175.75 eprover: CPU time limit exceeded, terminating % 192.80/177.76 eprover: CPU time limit exceeded, terminating % 194.98/179.78 eprover: CPU time limit exceeded, terminating % 197.16/181.79 eprover: CPU time limit exceeded, terminating % 199.39/183.80 eprover: CPU time limit exceeded, terminating % 201.58/185.81 eprover: CPU time limit exceeded, terminating % 203.83/187.83 eprover: CPU time limit exceeded, terminating % 205.97/189.84 eprover: CPU time limit exceeded, terminating % 208.20/191.85 eprover: CPU time limit exceeded, terminating % 210.33/193.86 eprover: CPU time limit exceeded, terminating % 214.48/195.87 eprover: CPU time limit exceeded, terminating % 216.73/197.89 eprover: CPU time limit exceeded, terminating % 218.89/199.90 eprover: CPU time limit exceeded, terminating % 221.07/201.91 eprover: CPU time limit exceeded, terminating % 223.27/203.93 eprover: CPU time limit exceeded, terminating % 225.49/205.94 eprover: CPU time limit exceeded, terminating % 227.71/207.95 eprover: CPU time limit exceeded, terminating % 229.82/209.96 eprover: CPU time limit exceeded, terminating % 232.13/211.99 eprover: CPU time limit exceeded, terminating % 234.31/214.00 eprover: CPU time limit exceeded, terminating % 236.50/216.01 eprover: CPU time limit exceeded, terminating % 238.73/218.02 eprover: CPU time limit exceeded, terminating % 240.88/220.03 eprover: CPU time limit exceeded, terminating % 243.13/222.05 eprover: CPU time limit exceeded, terminating % 245.26/224.06 eprover: CPU time limit exceeded, terminating % 247.49/226.08 eprover: CPU time limit exceeded, terminating % 249.75/228.09 eprover: CPU time limit exceeded, terminating % 251.94/230.10 eprover: CPU time limit exceeded, terminating % 254.13/232.12 eprover: CPU time limit exceeded, terminating % 256.29/234.13 eprover: CPU time limit exceeded, terminating % 258.51/236.15 eprover: CPU time limit exceeded, terminating % 260.66/238.16 eprover: CPU time limit exceeded, terminating % 262.89/240.17 eprover: CPU time limit exceeded, terminating % 265.07/242.18 eprover: CPU time limit exceeded, terminating % 267.27/244.20 eprover: CPU time limit exceeded, terminating % 269.50/246.21 eprover: CPU time limit exceeded, terminating % 271.73/248.22 eprover: CPU time limit exceeded, terminating % 273.88/250.23 eprover: CPU time limit exceeded, terminating % 276.11/252.24 eprover: CPU time limit exceeded, terminating % 278.27/254.26 eprover: CPU time limit exceeded, terminating % 280.52/256.27 eprover: CPU time limit exceeded, terminating % 282.75/258.28 eprover: CPU time limit exceeded, terminating % 284.89/260.29 eprover: CPU time limit exceeded, terminating % 287.11/262.30 eprover: CPU time limit exceeded, terminating % 289.34/264.32 eprover: CPU time limit exceeded, terminating % 291.51/266.33 eprover: CPU time limit exceeded, terminating % 293.74/268.34 eprover: CPU time limit exceeded, terminating % 295.91/270.35 eprover: CPU time limit exceeded, terminating % 298.15/272.36 eprover: CPU time limit exceeded, terminating % 300.08/274.07 eprover: CPU time limit exceeded, terminating % 300.08/274.09 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------