%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : TOP030+2 : TPTP v8.1.0. Released v3.4.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n024.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 287.83s 263.09s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.05/0.12 % Problem : TOP030+2 : TPTP v8.1.0. Released v3.4.0. % 0.05/0.12 % Command : run_infinox %s % 0.09/0.33 % Computer : n024.cluster.edu % 0.09/0.33 % Model : x86_64 x86_64 % 0.09/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.09/0.33 % Memory : 8042.1875MB % 0.09/0.33 % OS : Linux 3.10.0-693.el7.x86_64 % 0.09/0.33 % CPULimit : 300 % 0.09/0.33 % WCLimit : 600 % 0.09/0.33 % DateTime : Sun May 29 13:10:37 EDT 2022 % 0.09/0.33 % CPUTime : % 13.26/13.59 eprover: CPU time limit exceeded, terminating % 15.42/15.60 eprover: CPU time limit exceeded, terminating % 17.66/17.61 eprover: CPU time limit exceeded, terminating % 19.77/19.62 eprover: CPU time limit exceeded, terminating % 22.03/21.63 eprover: CPU time limit exceeded, terminating % 24.22/23.64 eprover: CPU time limit exceeded, terminating % 26.38/25.65 eprover: CPU time limit exceeded, terminating % 28.61/27.66 eprover: CPU time limit exceeded, terminating % 30.86/29.68 eprover: CPU time limit exceeded, terminating % 32.99/31.69 eprover: CPU time limit exceeded, terminating % 35.21/33.70 eprover: CPU time limit exceeded, terminating % 37.44/35.71 eprover: CPU time limit exceeded, terminating % 39.64/37.72 eprover: CPU time limit exceeded, terminating % 41.83/39.73 eprover: CPU time limit exceeded, terminating % 44.01/41.75 eprover: CPU time limit exceeded, terminating % 46.26/43.76 eprover: CPU time limit exceeded, terminating % 48.39/45.77 eprover: CPU time limit exceeded, terminating % 50.63/47.78 eprover: CPU time limit exceeded, terminating % 52.80/49.80 eprover: CPU time limit exceeded, terminating % 55.03/51.81 eprover: CPU time limit exceeded, terminating % 57.23/53.82 eprover: CPU time limit exceeded, terminating % 59.44/55.83 eprover: CPU time limit exceeded, terminating % 61.59/57.84 eprover: CPU time limit exceeded, terminating % 63.81/59.86 eprover: CPU time limit exceeded, terminating % 66.03/61.87 eprover: CPU time limit exceeded, terminating % 68.18/63.88 eprover: CPU time limit exceeded, terminating % 70.44/65.89 eprover: CPU time limit exceeded, terminating % 72.64/67.91 eprover: CPU time limit exceeded, terminating % 74.80/69.92 eprover: CPU time limit exceeded, terminating % 77.02/71.93 eprover: CPU time limit exceeded, terminating % 79.19/73.94 eprover: CPU time limit exceeded, terminating % 81.42/75.95 eprover: CPU time limit exceeded, terminating % 83.58/77.97 eprover: CPU time limit exceeded, terminating % 85.78/79.98 eprover: CPU time limit exceeded, terminating % 88.01/81.99 eprover: CPU time limit exceeded, terminating % 90.23/84.00 eprover: CPU time limit exceeded, terminating % 92.41/86.01 eprover: CPU time limit exceeded, terminating % 94.62/88.03 eprover: CPU time limit exceeded, terminating % 96.77/90.04 eprover: CPU time limit exceeded, terminating % 98.99/92.05 eprover: CPU time limit exceeded, terminating % 101.19/94.06 eprover: CPU time limit exceeded, terminating % 103.37/96.07 eprover: CPU time limit exceeded, terminating % 105.54/98.09 eprover: CPU time limit exceeded, terminating % 107.79/100.10 eprover: CPU time limit exceeded, terminating % 109.90/102.11 eprover: CPU time limit exceeded, terminating % 114.18/104.12 eprover: CPU time limit exceeded, terminating % 116.37/106.13 eprover: CPU time limit exceeded, terminating % 118.56/108.14 eprover: CPU time limit exceeded, terminating % 120.76/110.15 eprover: CPU time limit exceeded, terminating % 122.95/112.17 eprover: CPU time limit exceeded, terminating % 125.14/114.18 eprover: CPU time limit exceeded, terminating % 127.40/116.19 eprover: CPU time limit exceeded, terminating % 129.52/118.20 eprover: CPU time limit exceeded, terminating % 131.79/120.22 eprover: CPU time limit exceeded, terminating % 133.98/122.23 eprover: CPU time limit exceeded, terminating % 136.17/124.24 eprover: CPU time limit exceeded, terminating % 138.33/126.25 eprover: CPU time limit exceeded, terminating % 140.55/128.26 eprover: CPU time limit exceeded, terminating % 142.73/130.28 eprover: CPU time limit exceeded, terminating % 144.98/132.29 eprover: CPU time limit exceeded, terminating % 147.18/134.30 eprover: CPU time limit exceeded, terminating % 149.37/136.31 eprover: CPU time limit exceeded, terminating % 151.54/138.32 eprover: CPU time limit exceeded, terminating % 153.74/140.34 eprover: CPU time limit exceeded, terminating % 155.96/142.35 eprover: CPU time limit exceeded, terminating % 158.14/144.36 eprover: CPU time limit exceeded, terminating % 160.29/146.37 eprover: CPU time limit exceeded, terminating % 162.50/148.38 eprover: CPU time limit exceeded, terminating % 164.69/150.40 eprover: CPU time limit exceeded, terminating % 166.96/152.41 eprover: CPU time limit exceeded, terminating % 169.16/154.42 eprover: CPU time limit exceeded, terminating % 171.33/156.43 eprover: CPU time limit exceeded, terminating % 173.54/158.45 eprover: CPU time limit exceeded, terminating % 175.71/160.46 eprover: CPU time limit exceeded, terminating % 177.91/162.48 eprover: CPU time limit exceeded, terminating % 180.16/164.49 eprover: CPU time limit exceeded, terminating % 182.35/166.50 eprover: CPU time limit exceeded, terminating % 184.47/168.51 eprover: CPU time limit exceeded, terminating % 186.74/170.52 eprover: CPU time limit exceeded, terminating % 188.90/172.55 eprover: CPU time limit exceeded, terminating % 191.11/174.56 eprover: CPU time limit exceeded, terminating % 193.31/176.57 eprover: CPU time limit exceeded, terminating % 195.48/178.58 eprover: CPU time limit exceeded, terminating % 197.75/180.60 eprover: CPU time limit exceeded, terminating % 199.97/182.61 eprover: CPU time limit exceeded, terminating % 202.14/184.62 eprover: CPU time limit exceeded, terminating % 204.32/186.63 eprover: CPU time limit exceeded, terminating % 206.52/188.65 eprover: CPU time limit exceeded, terminating % 208.73/190.66 eprover: CPU time limit exceeded, terminating % 210.87/192.67 eprover: CPU time limit exceeded, terminating % 213.09/194.68 eprover: CPU time limit exceeded, terminating % 215.28/196.70 eprover: CPU time limit exceeded, terminating % 217.56/198.71 eprover: CPU time limit exceeded, terminating % 219.72/200.72 eprover: CPU time limit exceeded, terminating % 221.94/202.73 eprover: CPU time limit exceeded, terminating % 224.12/204.75 eprover: CPU time limit exceeded, terminating % 226.27/206.76 eprover: CPU time limit exceeded, terminating % 228.48/208.77 eprover: CPU time limit exceeded, terminating % 230.69/210.78 eprover: CPU time limit exceeded, terminating % 232.86/212.79 eprover: CPU time limit exceeded, terminating % 235.13/214.80 eprover: CPU time limit exceeded, terminating % 237.33/216.82 eprover: CPU time limit exceeded, terminating % 239.51/218.83 eprover: CPU time limit exceeded, terminating % 241.67/220.84 eprover: CPU time limit exceeded, terminating % 243.88/222.85 eprover: CPU time limit exceeded, terminating % 246.11/224.86 eprover: CPU time limit exceeded, terminating % 248.27/226.88 eprover: CPU time limit exceeded, terminating % 250.47/228.89 eprover: CPU time limit exceeded, terminating % 252.74/230.90 eprover: CPU time limit exceeded, terminating % 254.91/232.91 eprover: CPU time limit exceeded, terminating % 257.10/234.92 eprover: CPU time limit exceeded, terminating % 259.31/236.94 eprover: CPU time limit exceeded, terminating % 261.50/238.95 eprover: CPU time limit exceeded, terminating % 263.66/240.96 eprover: CPU time limit exceeded, terminating % 265.86/242.97 eprover: CPU time limit exceeded, terminating % 268.05/244.98 eprover: CPU time limit exceeded, terminating % 270.31/246.99 eprover: CPU time limit exceeded, terminating % 272.50/249.00 eprover: CPU time limit exceeded, terminating % 274.71/251.01 eprover: CPU time limit exceeded, terminating % 276.91/253.03 eprover: CPU time limit exceeded, terminating % 279.08/255.04 eprover: CPU time limit exceeded, terminating % 281.28/257.05 eprover: CPU time limit exceeded, terminating % 283.44/259.06 eprover: CPU time limit exceeded, terminating % 285.65/261.07 eprover: CPU time limit exceeded, terminating % 287.83/263.09 eprover: CPU time limit exceeded, terminating % 290.02/265.10 eprover: CPU time limit exceeded, terminating % 292.29/267.11 eprover: CPU time limit exceeded, terminating % 294.39/269.12 eprover: CPU time limit exceeded, terminating % 296.68/271.13 eprover: CPU time limit exceeded, terminating % 298.88/273.15 eprover: CPU time limit exceeded, terminating % 300.04/274.11 eprover: CPU time limit exceeded, terminating % 300.04/274.13 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------