%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM791+4 : TPTP v8.1.0. Released v7.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n013.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:53 EDT 2022 % Result : Timeout 286.65s 276.01s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.11/0.12 % Problem : NUM791+4 : TPTP v8.1.0. Released v7.3.0. % 0.11/0.13 % Command : run_infinox %s % 0.12/0.34 % Computer : n013.cluster.edu % 0.12/0.34 % Model : x86_64 x86_64 % 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.12/0.34 % Memory : 8042.1875MB % 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64 % 0.12/0.34 % CPULimit : 300 % 0.12/0.34 % WCLimit : 600 % 0.12/0.34 % DateTime : Wed Jul 6 04:17:59 EDT 2022 % 0.12/0.34 % CPUTime : % 4.08/4.24 eprover: CPU time limit exceeded, terminating % 6.18/6.26 eprover: CPU time limit exceeded, terminating % 8.26/8.27 eprover: CPU time limit exceeded, terminating % 10.34/10.28 eprover: CPU time limit exceeded, terminating % 12.45/12.29 eprover: CPU time limit exceeded, terminating % 14.59/14.30 eprover: CPU time limit exceeded, terminating % 16.67/16.32 eprover: CPU time limit exceeded, terminating % 18.77/18.33 eprover: CPU time limit exceeded, terminating % 20.82/20.34 eprover: CPU time limit exceeded, terminating % 22.90/22.35 eprover: CPU time limit exceeded, terminating % 24.96/24.37 eprover: CPU time limit exceeded, terminating % 27.05/26.38 eprover: CPU time limit exceeded, terminating % 29.17/28.39 eprover: CPU time limit exceeded, terminating % 31.23/30.40 eprover: CPU time limit exceeded, terminating % 33.33/32.42 eprover: CPU time limit exceeded, terminating % 35.48/34.43 eprover: CPU time limit exceeded, terminating % 37.58/36.44 eprover: CPU time limit exceeded, terminating % 39.67/38.46 eprover: CPU time limit exceeded, terminating % 41.74/40.47 eprover: CPU time limit exceeded, terminating % 43.82/42.48 eprover: CPU time limit exceeded, terminating % 45.91/44.50 eprover: CPU time limit exceeded, terminating % 48.07/46.51 eprover: CPU time limit exceeded, terminating % 50.13/48.52 eprover: CPU time limit exceeded, terminating % 52.23/50.53 eprover: CPU time limit exceeded, terminating % 54.33/52.55 eprover: CPU time limit exceeded, terminating % 56.40/54.56 eprover: CPU time limit exceeded, terminating % 58.50/56.57 eprover: CPU time limit exceeded, terminating % 60.59/58.58 eprover: CPU time limit exceeded, terminating % 62.75/60.60 eprover: CPU time limit exceeded, terminating % 64.82/62.61 eprover: CPU time limit exceeded, terminating % 66.90/64.62 eprover: CPU time limit exceeded, terminating % 69.01/66.64 eprover: CPU time limit exceeded, terminating % 71.09/68.65 eprover: CPU time limit exceeded, terminating % 73.16/70.66 eprover: CPU time limit exceeded, terminating % 75.21/72.67 eprover: CPU time limit exceeded, terminating % 77.33/74.69 eprover: CPU time limit exceeded, terminating % 79.48/76.70 eprover: CPU time limit exceeded, terminating % 81.56/78.71 eprover: CPU time limit exceeded, terminating % 83.64/80.72 eprover: CPU time limit exceeded, terminating % 85.75/82.74 eprover: CPU time limit exceeded, terminating % 87.82/84.75 eprover: CPU time limit exceeded, terminating % 89.88/86.76 eprover: CPU time limit exceeded, terminating % 91.97/88.78 eprover: CPU time limit exceeded, terminating % 94.14/90.79 eprover: CPU time limit exceeded, terminating % 96.16/92.80 eprover: CPU time limit exceeded, terminating % 98.32/94.81 eprover: CPU time limit exceeded, terminating % 100.39/96.83 eprover: CPU time limit exceeded, terminating % 102.47/98.84 eprover: CPU time limit exceeded, terminating % 104.57/100.85 eprover: CPU time limit exceeded, terminating % 106.63/102.87 eprover: CPU time limit exceeded, terminating % 108.73/104.88 eprover: CPU time limit exceeded, terminating % 110.81/106.89 eprover: CPU time limit exceeded, terminating % 112.96/108.91 eprover: CPU time limit exceeded, terminating % 115.05/110.92 eprover: CPU time limit exceeded, terminating % 117.14/112.93 eprover: CPU time limit exceeded, terminating % 119.23/114.94 eprover: CPU time limit exceeded, terminating % 121.29/116.96 eprover: CPU time limit exceeded, terminating % 123.39/118.97 eprover: CPU time limit exceeded, terminating % 125.47/120.98 eprover: CPU time limit exceeded, terminating % 127.60/122.99 eprover: CPU time limit exceeded, terminating % 129.70/125.02 eprover: CPU time limit exceeded, terminating % 131.77/127.03 eprover: CPU time limit exceeded, terminating % 133.86/129.05 eprover: CPU time limit exceeded, terminating % 135.94/131.07 eprover: CPU time limit exceeded, terminating % 138.09/133.09 eprover: CPU time limit exceeded, terminating % 140.17/135.12 eprover: CPU time limit exceeded, terminating % 142.23/137.13 eprover: CPU time limit exceeded, terminating % 144.34/139.14 eprover: CPU time limit exceeded, terminating % 146.37/141.15 eprover: CPU time limit exceeded, terminating % 148.48/143.17 eprover: CPU time limit exceeded, terminating % 150.55/145.18 eprover: CPU time limit exceeded, terminating % 152.61/147.19 eprover: CPU time limit exceeded, terminating % 154.79/149.20 eprover: CPU time limit exceeded, terminating % 156.87/151.22 eprover: CPU time limit exceeded, terminating % 158.95/153.23 eprover: CPU time limit exceeded, terminating % 161.01/155.24 eprover: CPU time limit exceeded, terminating % 163.11/157.25 eprover: CPU time limit exceeded, terminating % 165.17/159.26 eprover: CPU time limit exceeded, terminating % 167.26/161.28 eprover: CPU time limit exceeded, terminating % 169.33/163.29 eprover: CPU time limit exceeded, terminating % 171.41/165.30 eprover: CPU time limit exceeded, terminating % 173.56/167.32 eprover: CPU time limit exceeded, terminating % 175.66/169.33 eprover: CPU time limit exceeded, terminating % 177.75/171.34 eprover: CPU time limit exceeded, terminating % 179.81/173.35 eprover: CPU time limit exceeded, terminating % 181.90/175.37 eprover: CPU time limit exceeded, terminating % 184.00/177.38 eprover: CPU time limit exceeded, terminating % 186.12/179.39 eprover: CPU time limit exceeded, terminating % 188.22/181.40 eprover: CPU time limit exceeded, terminating % 190.32/183.42 eprover: CPU time limit exceeded, terminating % 192.40/185.43 eprover: CPU time limit exceeded, terminating % 194.48/187.44 eprover: CPU time limit exceeded, terminating % 196.57/189.45 eprover: CPU time limit exceeded, terminating % 198.65/191.47 eprover: CPU time limit exceeded, terminating % 200.72/193.48 eprover: CPU time limit exceeded, terminating % 202.88/195.49 eprover: CPU time limit exceeded, terminating % 204.89/197.51 eprover: CPU time limit exceeded, terminating % 207.05/199.52 eprover: CPU time limit exceeded, terminating % 209.13/201.53 eprover: CPU time limit exceeded, terminating % 211.24/203.54 eprover: CPU time limit exceeded, terminating % 213.32/205.56 eprover: CPU time limit exceeded, terminating % 215.41/207.57 eprover: CPU time limit exceeded, terminating % 217.46/209.58 eprover: CPU time limit exceeded, terminating % 219.56/211.60 eprover: CPU time limit exceeded, terminating % 221.72/213.61 eprover: CPU time limit exceeded, terminating % 223.83/215.62 eprover: CPU time limit exceeded, terminating % 225.89/217.64 eprover: CPU time limit exceeded, terminating % 227.97/219.65 eprover: CPU time limit exceeded, terminating % 230.06/221.66 eprover: CPU time limit exceeded, terminating % 232.14/223.67 eprover: CPU time limit exceeded, terminating % 234.21/225.69 eprover: CPU time limit exceeded, terminating % 236.41/227.70 eprover: CPU time limit exceeded, terminating % 238.48/229.71 eprover: CPU time limit exceeded, terminating % 240.54/231.73 eprover: CPU time limit exceeded, terminating % 242.62/233.74 eprover: CPU time limit exceeded, terminating % 244.72/235.75 eprover: CPU time limit exceeded, terminating % 246.80/237.77 eprover: CPU time limit exceeded, terminating % 248.92/239.78 eprover: CPU time limit exceeded, terminating % 251.05/241.79 eprover: CPU time limit exceeded, terminating % 253.15/243.80 eprover: CPU time limit exceeded, terminating % 255.23/245.82 eprover: CPU time limit exceeded, terminating % 257.31/247.83 eprover: CPU time limit exceeded, terminating % 259.40/249.84 eprover: CPU time limit exceeded, terminating % 261.47/251.86 eprover: CPU time limit exceeded, terminating % 263.57/253.87 eprover: CPU time limit exceeded, terminating % 265.63/255.88 eprover: CPU time limit exceeded, terminating % 267.74/257.90 eprover: CPU time limit exceeded, terminating % 269.82/259.91 eprover: CPU time limit exceeded, terminating % 271.98/261.92 eprover: CPU time limit exceeded, terminating % 274.09/263.93 eprover: CPU time limit exceeded, terminating % 276.13/265.95 eprover: CPU time limit exceeded, terminating % 278.26/267.96 eprover: CPU time limit exceeded, terminating % 280.31/269.97 eprover: CPU time limit exceeded, terminating % 282.39/271.99 eprover: CPU time limit exceeded, terminating % 284.58/274.00 eprover: CPU time limit exceeded, terminating % 286.65/276.01 eprover: CPU time limit exceeded, terminating % 288.73/278.02 eprover: CPU time limit exceeded, terminating % 290.83/280.04 eprover: CPU time limit exceeded, terminating % 292.91/282.05 eprover: CPU time limit exceeded, terminating % 295.00/284.06 eprover: CPU time limit exceeded, terminating % 297.07/286.07 eprover: CPU time limit exceeded, terminating % 299.22/288.08 eprover: CPU time limit exceeded, terminating % 300.03/288.81 eprover: CPU time limit exceeded, terminating % 300.03/288.83 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------