%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : CAT028+2 : TPTP v8.1.0. Released v3.4.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n018.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 : Fri Jul 15 00:01:06 EDT 2022 % Result : Timeout 286.92s 261.38s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.07/0.12 % Problem : CAT028+2 : TPTP v8.1.0. Released v3.4.0. % 0.07/0.13 % Command : run_infinox %s % 0.14/0.34 % Computer : n018.cluster.edu % 0.14/0.34 % Model : x86_64 x86_64 % 0.14/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.14/0.34 % Memory : 8042.1875MB % 0.14/0.34 % OS : Linux 3.10.0-693.el7.x86_64 % 0.14/0.34 % CPULimit : 300 % 0.14/0.34 % WCLimit : 600 % 0.14/0.34 % DateTime : Sun May 29 23:49:27 EDT 2022 % 0.14/0.34 % CPUTime : % 25.92/25.86 eprover: CPU time limit exceeded, terminating % 28.08/27.88 eprover: CPU time limit exceeded, terminating % 30.38/29.89 eprover: CPU time limit exceeded, terminating % 32.63/31.91 eprover: CPU time limit exceeded, terminating % 34.82/33.93 eprover: CPU time limit exceeded, terminating % 37.02/35.95 eprover: CPU time limit exceeded, terminating % 39.29/37.97 eprover: CPU time limit exceeded, terminating % 41.52/39.98 eprover: CPU time limit exceeded, terminating % 43.70/41.99 eprover: CPU time limit exceeded, terminating % 46.03/44.00 eprover: CPU time limit exceeded, terminating % 48.29/46.02 eprover: CPU time limit exceeded, terminating % 50.47/48.03 eprover: CPU time limit exceeded, terminating % 52.73/50.04 eprover: CPU time limit exceeded, terminating % 54.94/52.05 eprover: CPU time limit exceeded, terminating % 57.14/54.07 eprover: CPU time limit exceeded, terminating % 59.43/56.08 eprover: CPU time limit exceeded, terminating % 61.64/58.09 eprover: CPU time limit exceeded, terminating % 63.93/60.11 eprover: CPU time limit exceeded, terminating % 66.16/62.12 eprover: CPU time limit exceeded, terminating % 68.38/64.14 eprover: CPU time limit exceeded, terminating % 70.57/66.16 eprover: CPU time limit exceeded, terminating % 72.81/68.17 eprover: CPU time limit exceeded, terminating % 75.04/70.19 eprover: CPU time limit exceeded, terminating % 77.38/72.20 eprover: CPU time limit exceeded, terminating % 79.62/74.22 eprover: CPU time limit exceeded, terminating % 81.85/76.23 eprover: CPU time limit exceeded, terminating % 84.03/78.25 eprover: CPU time limit exceeded, terminating % 86.25/80.26 eprover: CPU time limit exceeded, terminating % 88.47/82.28 eprover: CPU time limit exceeded, terminating % 90.72/84.29 eprover: CPU time limit exceeded, terminating % 92.99/86.30 eprover: CPU time limit exceeded, terminating % 95.22/88.32 eprover: CPU time limit exceeded, terminating % 97.46/90.33 eprover: CPU time limit exceeded, terminating % 99.64/92.35 eprover: CPU time limit exceeded, terminating % 101.87/94.36 eprover: CPU time limit exceeded, terminating % 104.13/96.38 eprover: CPU time limit exceeded, terminating % 106.30/98.40 eprover: CPU time limit exceeded, terminating % 108.64/100.41 eprover: CPU time limit exceeded, terminating % 110.85/102.43 eprover: CPU time limit exceeded, terminating % 113.07/104.45 eprover: CPU time limit exceeded, terminating % 115.31/106.46 eprover: CPU time limit exceeded, terminating % 117.59/108.47 eprover: CPU time limit exceeded, terminating % 119.75/110.49 eprover: CPU time limit exceeded, terminating % 122.05/112.50 eprover: CPU time limit exceeded, terminating % 124.27/114.51 eprover: CPU time limit exceeded, terminating % 126.50/116.52 eprover: CPU time limit exceeded, terminating % 128.73/118.54 eprover: CPU time limit exceeded, terminating % 130.93/120.55 eprover: CPU time limit exceeded, terminating % 133.12/122.56 eprover: CPU time limit exceeded, terminating % 135.35/124.57 eprover: CPU time limit exceeded, terminating % 137.59/126.60 eprover: CPU time limit exceeded, terminating % 139.82/128.61 eprover: CPU time limit exceeded, terminating % 142.01/130.62 eprover: CPU time limit exceeded, terminating % 144.24/132.64 eprover: CPU time limit exceeded, terminating % 146.47/134.65 eprover: CPU time limit exceeded, terminating % 148.68/136.66 eprover: CPU time limit exceeded, terminating % 150.91/138.67 eprover: CPU time limit exceeded, terminating % 153.12/140.69 eprover: CPU time limit exceeded, terminating % 155.35/142.70 eprover: CPU time limit exceeded, terminating % 157.62/144.71 eprover: CPU time limit exceeded, terminating % 159.83/146.72 eprover: CPU time limit exceeded, terminating % 162.06/148.73 eprover: CPU time limit exceeded, terminating % 164.32/150.74 eprover: CPU time limit exceeded, terminating % 166.50/152.75 eprover: CPU time limit exceeded, terminating % 168.76/154.77 eprover: CPU time limit exceeded, terminating % 171.01/156.78 eprover: CPU time limit exceeded, terminating % 173.19/158.79 eprover: CPU time limit exceeded, terminating % 175.47/160.80 eprover: CPU time limit exceeded, terminating % 177.63/162.81 eprover: CPU time limit exceeded, terminating % 179.93/164.82 eprover: CPU time limit exceeded, terminating % 182.11/166.83 eprover: CPU time limit exceeded, terminating % 184.40/168.85 eprover: CPU time limit exceeded, terminating % 186.59/170.86 eprover: CPU time limit exceeded, terminating % 188.84/172.87 eprover: CPU time limit exceeded, terminating % 191.11/174.88 eprover: CPU time limit exceeded, terminating % 193.25/176.89 eprover: CPU time limit exceeded, terminating % 195.49/178.90 eprover: CPU time limit exceeded, terminating % 197.71/180.92 eprover: CPU time limit exceeded, terminating % 199.92/182.93 eprover: CPU time limit exceeded, terminating % 202.16/184.95 eprover: CPU time limit exceeded, terminating % 204.42/186.96 eprover: CPU time limit exceeded, terminating % 206.67/188.97 eprover: CPU time limit exceeded, terminating % 208.86/190.98 eprover: CPU time limit exceeded, terminating % 211.12/192.99 eprover: CPU time limit exceeded, terminating % 213.37/195.01 eprover: CPU time limit exceeded, terminating % 215.60/197.02 eprover: CPU time limit exceeded, terminating % 217.81/199.03 eprover: CPU time limit exceeded, terminating % 220.04/201.04 eprover: CPU time limit exceeded, terminating % 222.27/203.05 eprover: CPU time limit exceeded, terminating % 224.51/205.06 eprover: CPU time limit exceeded, terminating % 226.72/207.07 eprover: CPU time limit exceeded, terminating % 228.98/209.09 eprover: CPU time limit exceeded, terminating % 231.21/211.10 eprover: CPU time limit exceeded, terminating % 233.42/213.11 eprover: CPU time limit exceeded, terminating % 235.65/215.12 eprover: CPU time limit exceeded, terminating % 237.81/217.13 eprover: CPU time limit exceeded, terminating % 240.06/219.14 eprover: CPU time limit exceeded, terminating % 242.32/221.15 eprover: CPU time limit exceeded, terminating % 244.57/223.16 eprover: CPU time limit exceeded, terminating % 246.73/225.18 eprover: CPU time limit exceeded, terminating % 249.00/227.19 eprover: CPU time limit exceeded, terminating % 251.27/229.20 eprover: CPU time limit exceeded, terminating % 253.47/231.21 eprover: CPU time limit exceeded, terminating % 255.69/233.22 eprover: CPU time limit exceeded, terminating % 257.92/235.23 eprover: CPU time limit exceeded, terminating % 260.12/237.24 eprover: CPU time limit exceeded, terminating % 262.39/239.26 eprover: CPU time limit exceeded, terminating % 264.64/241.27 eprover: CPU time limit exceeded, terminating % 266.88/243.28 eprover: CPU time limit exceeded, terminating % 269.08/245.29 eprover: CPU time limit exceeded, terminating % 271.31/247.30 eprover: CPU time limit exceeded, terminating % 273.49/249.31 eprover: CPU time limit exceeded, terminating % 275.73/251.32 eprover: CPU time limit exceeded, terminating % 278.03/253.33 eprover: CPU time limit exceeded, terminating % 280.26/255.35 eprover: CPU time limit exceeded, terminating % 282.48/257.36 eprover: CPU time limit exceeded, terminating % 284.71/259.37 eprover: CPU time limit exceeded, terminating % 286.92/261.38 eprover: CPU time limit exceeded, terminating % 289.15/263.39 eprover: CPU time limit exceeded, terminating % 291.38/265.40 eprover: CPU time limit exceeded, terminating % 293.62/267.42 eprover: CPU time limit exceeded, terminating % 295.84/269.43 eprover: CPU time limit exceeded, terminating % 298.05/271.44 eprover: CPU time limit exceeded, terminating % 300.06/273.23 eprover: CPU time limit exceeded, terminating % 300.06/273.24 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------