%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : CAT021+2 : TPTP v8.1.0. Released v3.4.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n017.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:04 EDT 2022 % Result : Timeout 287.15s 261.55s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.10/0.12 % Problem : CAT021+2 : TPTP v8.1.0. Released v3.4.0. % 0.10/0.13 % Command : run_infinox %s % 0.13/0.34 % Computer : n017.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 21:55:10 EDT 2022 % 0.13/0.34 % CPUTime : % 21.98/21.95 eprover: CPU time limit exceeded, terminating % 24.22/23.96 eprover: CPU time limit exceeded, terminating % 26.38/25.97 eprover: CPU time limit exceeded, terminating % 28.68/27.98 eprover: CPU time limit exceeded, terminating % 30.82/29.99 eprover: CPU time limit exceeded, terminating % 33.05/32.00 eprover: CPU time limit exceeded, terminating % 35.34/34.01 eprover: CPU time limit exceeded, terminating % 37.57/36.02 eprover: CPU time limit exceeded, terminating % 39.78/38.04 eprover: CPU time limit exceeded, terminating % 41.99/40.05 eprover: CPU time limit exceeded, terminating % 44.20/42.06 eprover: CPU time limit exceeded, terminating % 46.40/44.07 eprover: CPU time limit exceeded, terminating % 48.64/46.08 eprover: CPU time limit exceeded, terminating % 50.87/48.09 eprover: CPU time limit exceeded, terminating % 53.13/50.10 eprover: CPU time limit exceeded, terminating % 55.35/52.12 eprover: CPU time limit exceeded, terminating % 57.58/54.13 eprover: CPU time limit exceeded, terminating % 59.78/56.14 eprover: CPU time limit exceeded, terminating % 61.99/58.16 eprover: CPU time limit exceeded, terminating % 64.22/60.17 eprover: CPU time limit exceeded, terminating % 66.52/62.20 eprover: CPU time limit exceeded, terminating % 68.73/64.21 eprover: CPU time limit exceeded, terminating % 70.98/66.24 eprover: CPU time limit exceeded, terminating % 73.13/68.25 eprover: CPU time limit exceeded, terminating % 75.37/70.27 eprover: CPU time limit exceeded, terminating % 77.62/72.28 eprover: CPU time limit exceeded, terminating % 79.87/74.29 eprover: CPU time limit exceeded, terminating % 82.05/76.30 eprover: CPU time limit exceeded, terminating % 84.36/78.32 eprover: CPU time limit exceeded, terminating % 86.58/80.33 eprover: CPU time limit exceeded, terminating % 88.80/82.34 eprover: CPU time limit exceeded, terminating % 91.00/84.35 eprover: CPU time limit exceeded, terminating % 93.19/86.36 eprover: CPU time limit exceeded, terminating % 95.41/88.37 eprover: CPU time limit exceeded, terminating % 97.69/90.39 eprover: CPU time limit exceeded, terminating % 99.88/92.40 eprover: CPU time limit exceeded, terminating % 102.16/94.41 eprover: CPU time limit exceeded, terminating % 104.41/96.42 eprover: CPU time limit exceeded, terminating % 106.64/98.45 eprover: CPU time limit exceeded, terminating % 108.86/100.46 eprover: CPU time limit exceeded, terminating % 111.10/102.48 eprover: CPU time limit exceeded, terminating % 113.35/104.50 eprover: CPU time limit exceeded, terminating % 115.55/106.52 eprover: CPU time limit exceeded, terminating % 117.79/108.53 eprover: CPU time limit exceeded, terminating % 120.12/110.54 eprover: CPU time limit exceeded, terminating % 122.36/112.56 eprover: CPU time limit exceeded, terminating % 124.59/114.57 eprover: CPU time limit exceeded, terminating % 126.87/116.58 eprover: CPU time limit exceeded, terminating % 129.09/118.60 eprover: CPU time limit exceeded, terminating % 131.36/120.61 eprover: CPU time limit exceeded, terminating % 133.56/122.63 eprover: CPU time limit exceeded, terminating % 135.88/124.65 eprover: CPU time limit exceeded, terminating % 138.11/126.66 eprover: CPU time limit exceeded, terminating % 140.35/128.67 eprover: CPU time limit exceeded, terminating % 142.47/130.68 eprover: CPU time limit exceeded, terminating % 144.70/132.69 eprover: CPU time limit exceeded, terminating % 146.96/134.70 eprover: CPU time limit exceeded, terminating % 149.15/136.72 eprover: CPU time limit exceeded, terminating % 151.32/138.73 eprover: CPU time limit exceeded, terminating % 153.61/140.74 eprover: CPU time limit exceeded, terminating % 155.80/142.75 eprover: CPU time limit exceeded, terminating % 157.99/144.76 eprover: CPU time limit exceeded, terminating % 160.28/146.77 eprover: CPU time limit exceeded, terminating % 162.51/148.79 eprover: CPU time limit exceeded, terminating % 164.73/150.80 eprover: CPU time limit exceeded, terminating % 166.95/152.82 eprover: CPU time limit exceeded, terminating % 169.19/154.83 eprover: CPU time limit exceeded, terminating % 171.38/156.84 eprover: CPU time limit exceeded, terminating % 173.62/158.85 eprover: CPU time limit exceeded, terminating % 175.85/160.87 eprover: CPU time limit exceeded, terminating % 178.09/162.88 eprover: CPU time limit exceeded, terminating % 180.30/164.89 eprover: CPU time limit exceeded, terminating % 182.50/166.90 eprover: CPU time limit exceeded, terminating % 184.72/168.91 eprover: CPU time limit exceeded, terminating % 186.97/170.92 eprover: CPU time limit exceeded, terminating % 189.18/172.93 eprover: CPU time limit exceeded, terminating % 191.40/174.94 eprover: CPU time limit exceeded, terminating % 193.65/176.96 eprover: CPU time limit exceeded, terminating % 195.91/178.97 eprover: CPU time limit exceeded, terminating % 198.13/180.98 eprover: CPU time limit exceeded, terminating % 200.37/182.99 eprover: CPU time limit exceeded, terminating % 202.55/185.00 eprover: CPU time limit exceeded, terminating % 204.83/187.01 eprover: CPU time limit exceeded, terminating % 207.05/189.02 eprover: CPU time limit exceeded, terminating % 209.28/191.04 eprover: CPU time limit exceeded, terminating % 211.55/193.05 eprover: CPU time limit exceeded, terminating % 213.78/195.06 eprover: CPU time limit exceeded, terminating % 215.98/197.07 eprover: CPU time limit exceeded, terminating % 218.21/199.09 eprover: CPU time limit exceeded, terminating % 220.45/201.10 eprover: CPU time limit exceeded, terminating % 222.62/203.11 eprover: CPU time limit exceeded, terminating % 224.83/205.12 eprover: CPU time limit exceeded, terminating % 227.10/207.14 eprover: CPU time limit exceeded, terminating % 229.34/209.15 eprover: CPU time limit exceeded, terminating % 231.54/211.16 eprover: CPU time limit exceeded, terminating % 233.77/213.18 eprover: CPU time limit exceeded, terminating % 236.02/215.19 eprover: CPU time limit exceeded, terminating % 238.19/217.21 eprover: CPU time limit exceeded, terminating % 240.44/219.22 eprover: CPU time limit exceeded, terminating % 242.71/221.24 eprover: CPU time limit exceeded, terminating % 244.94/223.25 eprover: CPU time limit exceeded, terminating % 247.13/225.27 eprover: CPU time limit exceeded, terminating % 249.35/227.28 eprover: CPU time limit exceeded, terminating % 251.53/229.30 eprover: CPU time limit exceeded, terminating % 253.79/231.32 eprover: CPU time limit exceeded, terminating % 255.98/233.33 eprover: CPU time limit exceeded, terminating % 258.25/235.34 eprover: CPU time limit exceeded, terminating % 260.50/237.36 eprover: CPU time limit exceeded, terminating % 262.68/239.38 eprover: CPU time limit exceeded, terminating % 264.94/241.39 eprover: CPU time limit exceeded, terminating % 267.19/243.41 eprover: CPU time limit exceeded, terminating % 269.31/245.42 eprover: CPU time limit exceeded, terminating % 271.60/247.44 eprover: CPU time limit exceeded, terminating % 273.83/249.46 eprover: CPU time limit exceeded, terminating % 276.06/251.47 eprover: CPU time limit exceeded, terminating % 278.22/253.49 eprover: CPU time limit exceeded, terminating % 280.47/255.50 eprover: CPU time limit exceeded, terminating % 282.64/257.52 eprover: CPU time limit exceeded, terminating % 284.92/259.53 eprover: CPU time limit exceeded, terminating % 287.15/261.55 eprover: CPU time limit exceeded, terminating % 289.35/263.56 eprover: CPU time limit exceeded, terminating % 291.56/265.58 eprover: CPU time limit exceeded, terminating % 293.82/267.59 eprover: CPU time limit exceeded, terminating % 296.06/269.60 eprover: CPU time limit exceeded, terminating % 298.21/271.62 eprover: CPU time limit exceeded, terminating % 300.10/273.21 eprover: CPU time limit exceeded, terminating % 300.10/273.22 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------