%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : CAT024+2 : TPTP v8.1.0. Released v3.4.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n029.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:05 EDT 2022 % Result : Timeout 286.77s 261.00s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.06/0.12 % Problem : CAT024+2 : TPTP v8.1.0. Released v3.4.0. % 0.06/0.13 % Command : run_infinox %s % 0.13/0.34 % Computer : n029.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 23:14:29 EDT 2022 % 0.13/0.34 % CPUTime : % 23.54/23.46 eprover: CPU time limit exceeded, terminating % 25.73/25.47 eprover: CPU time limit exceeded, terminating % 27.97/27.48 eprover: CPU time limit exceeded, terminating % 30.21/29.49 eprover: CPU time limit exceeded, terminating % 32.43/31.50 eprover: CPU time limit exceeded, terminating % 34.62/33.51 eprover: CPU time limit exceeded, terminating % 36.87/35.52 eprover: CPU time limit exceeded, terminating % 39.15/37.54 eprover: CPU time limit exceeded, terminating % 41.34/39.55 eprover: CPU time limit exceeded, terminating % 43.60/41.56 eprover: CPU time limit exceeded, terminating % 45.85/43.57 eprover: CPU time limit exceeded, terminating % 48.06/45.58 eprover: CPU time limit exceeded, terminating % 50.30/47.59 eprover: CPU time limit exceeded, terminating % 52.54/49.60 eprover: CPU time limit exceeded, terminating % 54.72/51.61 eprover: CPU time limit exceeded, terminating % 57.01/53.62 eprover: CPU time limit exceeded, terminating % 59.25/55.64 eprover: CPU time limit exceeded, terminating % 61.53/57.65 eprover: CPU time limit exceeded, terminating % 63.74/59.66 eprover: CPU time limit exceeded, terminating % 66.01/61.67 eprover: CPU time limit exceeded, terminating % 68.21/63.68 eprover: CPU time limit exceeded, terminating % 70.44/65.69 eprover: CPU time limit exceeded, terminating % 72.69/67.70 eprover: CPU time limit exceeded, terminating % 74.96/69.71 eprover: CPU time limit exceeded, terminating % 77.15/71.73 eprover: CPU time limit exceeded, terminating % 79.44/73.74 eprover: CPU time limit exceeded, terminating % 81.64/75.75 eprover: CPU time limit exceeded, terminating % 83.91/77.76 eprover: CPU time limit exceeded, terminating % 86.09/79.77 eprover: CPU time limit exceeded, terminating % 88.34/81.78 eprover: CPU time limit exceeded, terminating % 90.60/83.79 eprover: CPU time limit exceeded, terminating % 92.82/85.81 eprover: CPU time limit exceeded, terminating % 95.08/87.82 eprover: CPU time limit exceeded, terminating % 97.29/89.83 eprover: CPU time limit exceeded, terminating % 99.52/91.84 eprover: CPU time limit exceeded, terminating % 101.73/93.85 eprover: CPU time limit exceeded, terminating % 104.00/95.86 eprover: CPU time limit exceeded, terminating % 106.26/97.87 eprover: CPU time limit exceeded, terminating % 108.44/99.88 eprover: CPU time limit exceeded, terminating % 110.73/101.90 eprover: CPU time limit exceeded, terminating % 112.89/103.91 eprover: CPU time limit exceeded, terminating % 115.18/105.92 eprover: CPU time limit exceeded, terminating % 117.41/107.93 eprover: CPU time limit exceeded, terminating % 119.62/109.95 eprover: CPU time limit exceeded, terminating % 121.87/111.96 eprover: CPU time limit exceeded, terminating % 124.06/113.97 eprover: CPU time limit exceeded, terminating % 126.32/115.98 eprover: CPU time limit exceeded, terminating % 128.59/117.99 eprover: CPU time limit exceeded, terminating % 130.80/120.00 eprover: CPU time limit exceeded, terminating % 133.02/122.02 eprover: CPU time limit exceeded, terminating % 135.28/124.03 eprover: CPU time limit exceeded, terminating % 137.51/126.04 eprover: CPU time limit exceeded, terminating % 139.71/128.05 eprover: CPU time limit exceeded, terminating % 141.94/130.06 eprover: CPU time limit exceeded, terminating % 144.15/132.07 eprover: CPU time limit exceeded, terminating % 146.35/134.08 eprover: CPU time limit exceeded, terminating % 148.62/136.09 eprover: CPU time limit exceeded, terminating % 150.84/138.10 eprover: CPU time limit exceeded, terminating % 153.07/140.11 eprover: CPU time limit exceeded, terminating % 155.33/142.12 eprover: CPU time limit exceeded, terminating % 157.53/144.14 eprover: CPU time limit exceeded, terminating % 159.77/146.15 eprover: CPU time limit exceeded, terminating % 161.96/148.16 eprover: CPU time limit exceeded, terminating % 164.23/150.17 eprover: CPU time limit exceeded, terminating % 166.40/152.18 eprover: CPU time limit exceeded, terminating % 168.64/154.19 eprover: CPU time limit exceeded, terminating % 170.89/156.20 eprover: CPU time limit exceeded, terminating % 173.14/158.21 eprover: CPU time limit exceeded, terminating % 175.34/160.22 eprover: CPU time limit exceeded, terminating % 177.56/162.24 eprover: CPU time limit exceeded, terminating % 179.84/164.26 eprover: CPU time limit exceeded, terminating % 182.05/166.28 eprover: CPU time limit exceeded, terminating % 184.28/168.30 eprover: CPU time limit exceeded, terminating % 186.47/170.31 eprover: CPU time limit exceeded, terminating % 188.69/172.32 eprover: CPU time limit exceeded, terminating % 190.98/174.33 eprover: CPU time limit exceeded, terminating % 193.22/176.35 eprover: CPU time limit exceeded, terminating % 195.43/178.36 eprover: CPU time limit exceeded, terminating % 197.65/180.38 eprover: CPU time limit exceeded, terminating % 199.89/182.39 eprover: CPU time limit exceeded, terminating % 202.13/184.41 eprover: CPU time limit exceeded, terminating % 204.38/186.42 eprover: CPU time limit exceeded, terminating % 206.57/188.44 eprover: CPU time limit exceeded, terminating % 208.78/190.45 eprover: CPU time limit exceeded, terminating % 211.00/192.46 eprover: CPU time limit exceeded, terminating % 213.22/194.48 eprover: CPU time limit exceeded, terminating % 215.50/196.50 eprover: CPU time limit exceeded, terminating % 217.74/198.51 eprover: CPU time limit exceeded, terminating % 219.97/200.52 eprover: CPU time limit exceeded, terminating % 222.16/202.54 eprover: CPU time limit exceeded, terminating % 224.39/204.55 eprover: CPU time limit exceeded, terminating % 226.59/206.56 eprover: CPU time limit exceeded, terminating % 228.82/208.58 eprover: CPU time limit exceeded, terminating % 231.06/210.59 eprover: CPU time limit exceeded, terminating % 233.28/212.60 eprover: CPU time limit exceeded, terminating % 235.58/214.63 eprover: CPU time limit exceeded, terminating % 237.77/216.64 eprover: CPU time limit exceeded, terminating % 239.93/218.66 eprover: CPU time limit exceeded, terminating % 242.17/220.68 eprover: CPU time limit exceeded, terminating % 244.41/222.69 eprover: CPU time limit exceeded, terminating % 246.69/224.70 eprover: CPU time limit exceeded, terminating % 248.88/226.72 eprover: CPU time limit exceeded, terminating % 251.10/228.73 eprover: CPU time limit exceeded, terminating % 253.34/230.75 eprover: CPU time limit exceeded, terminating % 255.53/232.76 eprover: CPU time limit exceeded, terminating % 257.79/234.78 eprover: CPU time limit exceeded, terminating % 259.99/236.79 eprover: CPU time limit exceeded, terminating % 262.29/238.81 eprover: CPU time limit exceeded, terminating % 264.53/240.83 eprover: CPU time limit exceeded, terminating % 266.75/242.85 eprover: CPU time limit exceeded, terminating % 268.94/244.86 eprover: CPU time limit exceeded, terminating % 271.25/246.89 eprover: CPU time limit exceeded, terminating % 273.48/248.91 eprover: CPU time limit exceeded, terminating % 275.68/250.92 eprover: CPU time limit exceeded, terminating % 277.91/252.94 eprover: CPU time limit exceeded, terminating % 280.13/254.96 eprover: CPU time limit exceeded, terminating % 282.32/256.97 eprover: CPU time limit exceeded, terminating % 284.54/258.99 eprover: CPU time limit exceeded, terminating % 286.77/261.00 eprover: CPU time limit exceeded, terminating % 289.09/263.01 eprover: CPU time limit exceeded, terminating % 291.28/265.02 eprover: CPU time limit exceeded, terminating % 293.51/267.03 eprover: CPU time limit exceeded, terminating % 295.76/269.04 eprover: CPU time limit exceeded, terminating % 297.95/271.05 eprover: CPU time limit exceeded, terminating % 300.08/272.90 eprover: CPU time limit exceeded, terminating % 300.08/272.91 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------