%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM788+4 : TPTP v8.1.0. Released v7.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n021.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 : Mon Jul 18 10:40:50 EDT 2022 % Result : Timeout 286.31s 276.18s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.07/0.12 % Problem : NUM788+4 : TPTP v8.1.0. Released v7.3.0. % 0.07/0.12 % Command : run_infinox %s % 0.12/0.33 % Computer : n021.cluster.edu % 0.12/0.33 % Model : x86_64 x86_64 % 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.12/0.33 % Memory : 8042.1875MB % 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64 % 0.12/0.33 % CPULimit : 300 % 0.12/0.33 % WCLimit : 600 % 0.12/0.33 % DateTime : Tue Jul 5 05:28:02 EDT 2022 % 0.12/0.34 % CPUTime : % 4.44/4.56 eprover: CPU time limit exceeded, terminating % 6.46/6.57 eprover: CPU time limit exceeded, terminating % 8.58/8.58 eprover: CPU time limit exceeded, terminating % 10.71/10.59 eprover: CPU time limit exceeded, terminating % 12.73/12.60 eprover: CPU time limit exceeded, terminating % 14.86/14.61 eprover: CPU time limit exceeded, terminating % 16.97/16.62 eprover: CPU time limit exceeded, terminating % 19.00/18.63 eprover: CPU time limit exceeded, terminating % 21.11/20.64 eprover: CPU time limit exceeded, terminating % 23.15/22.65 eprover: CPU time limit exceeded, terminating % 25.30/24.66 eprover: CPU time limit exceeded, terminating % 27.35/26.67 eprover: CPU time limit exceeded, terminating % 29.46/28.68 eprover: CPU time limit exceeded, terminating % 31.60/30.69 eprover: CPU time limit exceeded, terminating % 33.62/32.70 eprover: CPU time limit exceeded, terminating % 35.76/34.71 eprover: CPU time limit exceeded, terminating % 37.77/36.72 eprover: CPU time limit exceeded, terminating % 39.90/38.73 eprover: CPU time limit exceeded, terminating % 42.02/40.74 eprover: CPU time limit exceeded, terminating % 44.05/42.75 eprover: CPU time limit exceeded, terminating % 46.20/44.76 eprover: CPU time limit exceeded, terminating % 48.33/46.77 eprover: CPU time limit exceeded, terminating % 50.38/48.78 eprover: CPU time limit exceeded, terminating % 52.49/50.79 eprover: CPU time limit exceeded, terminating % 54.52/52.80 eprover: CPU time limit exceeded, terminating % 56.65/54.81 eprover: CPU time limit exceeded, terminating % 58.68/56.81 eprover: CPU time limit exceeded, terminating % 60.83/58.82 eprover: CPU time limit exceeded, terminating % 62.91/60.83 eprover: CPU time limit exceeded, terminating % 64.97/62.84 eprover: CPU time limit exceeded, terminating % 67.06/64.85 eprover: CPU time limit exceeded, terminating % 69.17/66.86 eprover: CPU time limit exceeded, terminating % 71.24/68.87 eprover: CPU time limit exceeded, terminating % 73.33/70.88 eprover: CPU time limit exceeded, terminating % 75.39/72.89 eprover: CPU time limit exceeded, terminating % 77.56/74.90 eprover: CPU time limit exceeded, terminating % 79.63/76.91 eprover: CPU time limit exceeded, terminating % 81.72/78.92 eprover: CPU time limit exceeded, terminating % 83.81/80.93 eprover: CPU time limit exceeded, terminating % 85.88/82.94 eprover: CPU time limit exceeded, terminating % 87.94/84.95 eprover: CPU time limit exceeded, terminating % 90.05/86.96 eprover: CPU time limit exceeded, terminating % 92.14/88.97 eprover: CPU time limit exceeded, terminating % 94.21/90.98 eprover: CPU time limit exceeded, terminating % 96.37/92.99 eprover: CPU time limit exceeded, terminating % 98.45/95.00 eprover: CPU time limit exceeded, terminating % 100.53/97.01 eprover: CPU time limit exceeded, terminating % 102.62/99.02 eprover: CPU time limit exceeded, terminating % 104.70/101.03 eprover: CPU time limit exceeded, terminating % 106.79/103.04 eprover: CPU time limit exceeded, terminating % 108.87/105.05 eprover: CPU time limit exceeded, terminating % 110.95/107.06 eprover: CPU time limit exceeded, terminating % 113.03/109.07 eprover: CPU time limit exceeded, terminating % 115.10/111.08 eprover: CPU time limit exceeded, terminating % 117.19/113.09 eprover: CPU time limit exceeded, terminating % 119.37/115.10 eprover: CPU time limit exceeded, terminating % 121.44/117.11 eprover: CPU time limit exceeded, terminating % 123.53/119.12 eprover: CPU time limit exceeded, terminating % 125.59/121.13 eprover: CPU time limit exceeded, terminating % 127.68/123.14 eprover: CPU time limit exceeded, terminating % 129.76/125.15 eprover: CPU time limit exceeded, terminating % 131.82/127.16 eprover: CPU time limit exceeded, terminating % 133.92/129.17 eprover: CPU time limit exceeded, terminating % 136.01/131.17 eprover: CPU time limit exceeded, terminating % 138.09/133.18 eprover: CPU time limit exceeded, terminating % 140.16/135.19 eprover: CPU time limit exceeded, terminating % 142.24/137.20 eprover: CPU time limit exceeded, terminating % 144.40/139.21 eprover: CPU time limit exceeded, terminating % 146.49/141.22 eprover: CPU time limit exceeded, terminating % 148.57/143.23 eprover: CPU time limit exceeded, terminating % 150.65/145.24 eprover: CPU time limit exceeded, terminating % 152.73/147.25 eprover: CPU time limit exceeded, terminating % 154.81/149.26 eprover: CPU time limit exceeded, terminating % 156.88/151.27 eprover: CPU time limit exceeded, terminating % 158.97/153.28 eprover: CPU time limit exceeded, terminating % 161.13/155.29 eprover: CPU time limit exceeded, terminating % 163.20/157.31 eprover: CPU time limit exceeded, terminating % 165.28/159.32 eprover: CPU time limit exceeded, terminating % 167.33/161.33 eprover: CPU time limit exceeded, terminating % 169.44/163.34 eprover: CPU time limit exceeded, terminating % 171.50/165.35 eprover: CPU time limit exceeded, terminating % 173.58/167.37 eprover: CPU time limit exceeded, terminating % 175.66/169.39 eprover: CPU time limit exceeded, terminating % 177.80/171.40 eprover: CPU time limit exceeded, terminating % 179.88/173.41 eprover: CPU time limit exceeded, terminating % 181.94/175.43 eprover: CPU time limit exceeded, terminating % 184.00/177.44 eprover: CPU time limit exceeded, terminating % 186.10/179.46 eprover: CPU time limit exceeded, terminating % 188.17/181.47 eprover: CPU time limit exceeded, terminating % 190.24/183.48 eprover: CPU time limit exceeded, terminating % 192.31/185.50 eprover: CPU time limit exceeded, terminating % 194.49/187.51 eprover: CPU time limit exceeded, terminating % 196.57/189.52 eprover: CPU time limit exceeded, terminating % 198.63/191.54 eprover: CPU time limit exceeded, terminating % 200.70/193.55 eprover: CPU time limit exceeded, terminating % 202.74/195.59 eprover: CPU time limit exceeded, terminating % 204.89/197.60 eprover: CPU time limit exceeded, terminating % 206.99/199.62 eprover: CPU time limit exceeded, terminating % 209.07/201.63 eprover: CPU time limit exceeded, terminating % 211.11/203.64 eprover: CPU time limit exceeded, terminating % 213.21/205.66 eprover: CPU time limit exceeded, terminating % 215.30/207.67 eprover: CPU time limit exceeded, terminating % 217.35/209.69 eprover: CPU time limit exceeded, terminating % 219.52/211.70 eprover: CPU time limit exceeded, terminating % 221.52/213.71 eprover: CPU time limit exceeded, terminating % 223.69/215.72 eprover: CPU time limit exceeded, terminating % 225.75/217.74 eprover: CPU time limit exceeded, terminating % 227.84/219.75 eprover: CPU time limit exceeded, terminating % 229.92/221.77 eprover: CPU time limit exceeded, terminating % 232.06/223.79 eprover: CPU time limit exceeded, terminating % 234.14/225.80 eprover: CPU time limit exceeded, terminating % 236.22/227.81 eprover: CPU time limit exceeded, terminating % 238.30/229.82 eprover: CPU time limit exceeded, terminating % 240.34/231.87 eprover: CPU time limit exceeded, terminating % 242.47/233.88 eprover: CPU time limit exceeded, terminating % 244.49/235.89 eprover: CPU time limit exceeded, terminating % 246.64/237.91 eprover: CPU time limit exceeded, terminating % 248.73/239.92 eprover: CPU time limit exceeded, terminating % 250.81/241.94 eprover: CPU time limit exceeded, terminating % 252.89/243.96 eprover: CPU time limit exceeded, terminating % 254.97/245.97 eprover: CPU time limit exceeded, terminating % 257.09/247.98 eprover: CPU time limit exceeded, terminating % 259.18/249.99 eprover: CPU time limit exceeded, terminating % 261.26/252.00 eprover: CPU time limit exceeded, terminating % 263.36/254.02 eprover: CPU time limit exceeded, terminating % 265.45/256.03 eprover: CPU time limit exceeded, terminating % 267.54/258.05 eprover: CPU time limit exceeded, terminating % 269.59/260.06 eprover: CPU time limit exceeded, terminating % 271.70/262.09 eprover: CPU time limit exceeded, terminating % 273.79/264.10 eprover: CPU time limit exceeded, terminating % 275.87/266.12 eprover: CPU time limit exceeded, terminating % 277.96/268.13 eprover: CPU time limit exceeded, terminating % 280.00/270.14 eprover: CPU time limit exceeded, terminating % 282.09/272.16 eprover: CPU time limit exceeded, terminating % 284.16/274.17 eprover: CPU time limit exceeded, terminating % 286.31/276.18 eprover: CPU time limit exceeded, terminating % 288.31/278.20 eprover: CPU time limit exceeded, terminating % 290.49/280.21 eprover: CPU time limit exceeded, terminating % 292.56/282.22 eprover: CPU time limit exceeded, terminating % 294.65/284.24 eprover: CPU time limit exceeded, terminating % 296.70/286.26 eprover: CPU time limit exceeded, terminating % 298.75/288.27 eprover: CPU time limit exceeded, terminating % 300.04/289.41 eprover: CPU time limit exceeded, terminating % 300.04/289.43 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------