%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM593+1 : TPTP v8.1.0. Released v4.0.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n006.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:38:25 EDT 2022 % Result : Timeout 286.28s 285.83s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.00/0.07 % Problem : NUM593+1 : TPTP v8.1.0. Released v4.0.0. % 0.00/0.07 % Command : run_infinox %s % 0.07/0.26 % Computer : n006.cluster.edu % 0.07/0.26 % Model : x86_64 x86_64 % 0.07/0.26 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.07/0.26 % Memory : 8042.1875MB % 0.07/0.26 % OS : Linux 3.10.0-693.el7.x86_64 % 0.07/0.26 % CPULimit : 300 % 0.07/0.26 % WCLimit : 600 % 0.07/0.26 % DateTime : Thu Jul 7 14:15:36 EDT 2022 % 0.07/0.26 % CPUTime : % 2.11/2.33 eprover: CPU time limit exceeded, terminating % 4.11/4.34 eprover: CPU time limit exceeded, terminating % 6.14/6.35 eprover: CPU time limit exceeded, terminating % 8.14/8.35 eprover: CPU time limit exceeded, terminating % 10.12/10.36 eprover: CPU time limit exceeded, terminating % 12.21/12.37 eprover: CPU time limit exceeded, terminating % 14.23/14.38 eprover: CPU time limit exceeded, terminating % 16.24/16.39 eprover: CPU time limit exceeded, terminating % 18.24/18.40 eprover: CPU time limit exceeded, terminating % 20.27/20.41 eprover: CPU time limit exceeded, terminating % 22.26/22.42 eprover: CPU time limit exceeded, terminating % 24.30/24.43 eprover: CPU time limit exceeded, terminating % 26.27/26.44 eprover: CPU time limit exceeded, terminating % 28.32/28.45 eprover: CPU time limit exceeded, terminating % 30.29/30.45 eprover: CPU time limit exceeded, terminating % 32.34/32.46 eprover: CPU time limit exceeded, terminating % 34.38/34.47 eprover: CPU time limit exceeded, terminating % 36.33/36.48 eprover: CPU time limit exceeded, terminating % 38.40/38.49 eprover: CPU time limit exceeded, terminating % 40.35/40.50 eprover: CPU time limit exceeded, terminating % 42.40/42.51 eprover: CPU time limit exceeded, terminating % 44.44/44.52 eprover: CPU time limit exceeded, terminating % 46.42/46.53 eprover: CPU time limit exceeded, terminating % 48.49/48.54 eprover: CPU time limit exceeded, terminating % 50.45/50.55 eprover: CPU time limit exceeded, terminating % 52.49/52.56 eprover: CPU time limit exceeded, terminating % 54.47/54.57 eprover: CPU time limit exceeded, terminating % 56.50/56.58 eprover: CPU time limit exceeded, terminating % 58.52/58.59 eprover: CPU time limit exceeded, terminating % 60.50/60.60 eprover: CPU time limit exceeded, terminating % 62.59/62.62 eprover: CPU time limit exceeded, terminating % 64.58/64.63 eprover: CPU time limit exceeded, terminating % 66.59/66.64 eprover: CPU time limit exceeded, terminating % 68.59/68.65 eprover: CPU time limit exceeded, terminating % 70.61/70.67 eprover: CPU time limit exceeded, terminating % 72.61/72.68 eprover: CPU time limit exceeded, terminating % 74.68/74.69 eprover: CPU time limit exceeded, terminating % 76.63/76.70 eprover: CPU time limit exceeded, terminating % 78.69/78.71 eprover: CPU time limit exceeded, terminating % 80.73/80.72 eprover: CPU time limit exceeded, terminating % 82.67/82.73 eprover: CPU time limit exceeded, terminating % 84.72/84.74 eprover: CPU time limit exceeded, terminating % 86.71/86.75 eprover: CPU time limit exceeded, terminating % 88.73/88.76 eprover: CPU time limit exceeded, terminating % 90.77/90.77 eprover: CPU time limit exceeded, terminating % 92.82/92.78 eprover: CPU time limit exceeded, terminating % 94.81/94.80 eprover: CPU time limit exceeded, terminating % 96.81/96.81 eprover: CPU time limit exceeded, terminating % 98.82/98.82 eprover: CPU time limit exceeded, terminating % 100.86/100.83 eprover: CPU time limit exceeded, terminating % 102.87/102.84 eprover: CPU time limit exceeded, terminating % 104.91/104.86 eprover: CPU time limit exceeded, terminating % 106.92/106.87 eprover: CPU time limit exceeded, terminating % 108.93/108.88 eprover: CPU time limit exceeded, terminating % 110.94/110.89 eprover: CPU time limit exceeded, terminating % 112.95/112.90 eprover: CPU time limit exceeded, terminating % 114.92/114.91 eprover: CPU time limit exceeded, terminating % 116.93/116.92 eprover: CPU time limit exceeded, terminating % 118.96/118.94 eprover: CPU time limit exceeded, terminating % 121.01/120.95 eprover: CPU time limit exceeded, terminating % 122.98/122.96 eprover: CPU time limit exceeded, terminating % 125.06/124.97 eprover: CPU time limit exceeded, terminating % 127.04/126.98 eprover: CPU time limit exceeded, terminating % 129.06/128.99 eprover: CPU time limit exceeded, terminating % 131.05/131.00 eprover: CPU time limit exceeded, terminating % 133.06/133.02 eprover: CPU time limit exceeded, terminating % 135.12/135.03 eprover: CPU time limit exceeded, terminating % 137.12/137.04 eprover: CPU time limit exceeded, terminating % 139.08/139.05 eprover: CPU time limit exceeded, terminating % 141.17/141.06 eprover: CPU time limit exceeded, terminating % 143.19/143.07 eprover: CPU time limit exceeded, terminating % 145.18/145.08 eprover: CPU time limit exceeded, terminating % 147.19/147.09 eprover: CPU time limit exceeded, terminating % 149.16/149.12 eprover: CPU time limit exceeded, terminating % 151.17/151.13 eprover: CPU time limit exceeded, terminating % 153.25/153.14 eprover: CPU time limit exceeded, terminating % 155.22/155.15 eprover: CPU time limit exceeded, terminating % 157.21/157.17 eprover: CPU time limit exceeded, terminating % 159.28/159.18 eprover: CPU time limit exceeded, terminating % 161.32/161.19 eprover: CPU time limit exceeded, terminating % 163.32/163.21 eprover: CPU time limit exceeded, terminating % 165.36/165.22 eprover: CPU time limit exceeded, terminating % 167.35/167.23 eprover: CPU time limit exceeded, terminating % 169.38/169.24 eprover: CPU time limit exceeded, terminating % 171.42/171.26 eprover: CPU time limit exceeded, terminating % 173.39/173.27 eprover: CPU time limit exceeded, terminating % 175.41/175.28 eprover: CPU time limit exceeded, terminating % 177.45/177.29 eprover: CPU time limit exceeded, terminating % 179.41/179.30 eprover: CPU time limit exceeded, terminating % 181.46/181.31 eprover: CPU time limit exceeded, terminating % 183.51/183.32 eprover: CPU time limit exceeded, terminating % 185.46/185.33 eprover: CPU time limit exceeded, terminating % 187.52/187.34 eprover: CPU time limit exceeded, terminating % 189.47/189.35 eprover: CPU time limit exceeded, terminating % 191.53/191.36 eprover: CPU time limit exceeded, terminating % 193.58/193.37 eprover: CPU time limit exceeded, terminating % 195.56/195.38 eprover: CPU time limit exceeded, terminating % 197.61/197.39 eprover: CPU time limit exceeded, terminating % 199.58/199.40 eprover: CPU time limit exceeded, terminating % 201.62/201.41 eprover: CPU time limit exceeded, terminating % 203.63/203.42 eprover: CPU time limit exceeded, terminating % 205.63/205.43 eprover: CPU time limit exceeded, terminating % 207.65/207.44 eprover: CPU time limit exceeded, terminating % 209.71/209.45 eprover: CPU time limit exceeded, terminating % 211.65/211.46 eprover: CPU time limit exceeded, terminating % 213.69/213.47 eprover: CPU time limit exceeded, terminating % 215.70/215.48 eprover: CPU time limit exceeded, terminating % 217.72/217.49 eprover: CPU time limit exceeded, terminating % 219.76/219.50 eprover: CPU time limit exceeded, terminating % 221.76/221.51 eprover: CPU time limit exceeded, terminating % 223.78/223.52 eprover: CPU time limit exceeded, terminating % 225.83/225.53 eprover: CPU time limit exceeded, terminating % 227.85/227.54 eprover: CPU time limit exceeded, terminating % 229.81/229.55 eprover: CPU time limit exceeded, terminating % 231.83/231.56 eprover: CPU time limit exceeded, terminating % 233.88/233.57 eprover: CPU time limit exceeded, terminating % 235.92/235.58 eprover: CPU time limit exceeded, terminating % 237.92/237.59 eprover: CPU time limit exceeded, terminating % 239.89/239.60 eprover: CPU time limit exceeded, terminating % 241.94/241.61 eprover: CPU time limit exceeded, terminating % 243.93/243.62 eprover: CPU time limit exceeded, terminating % 245.98/245.63 eprover: CPU time limit exceeded, terminating % 248.01/247.64 eprover: CPU time limit exceeded, terminating % 249.95/249.65 eprover: CPU time limit exceeded, terminating % 251.98/251.66 eprover: CPU time limit exceeded, terminating % 254.05/253.67 eprover: CPU time limit exceeded, terminating % 256.07/255.68 eprover: CPU time limit exceeded, terminating % 258.05/257.69 eprover: CPU time limit exceeded, terminating % 260.05/259.70 eprover: CPU time limit exceeded, terminating % 262.09/261.71 eprover: CPU time limit exceeded, terminating % 264.07/263.72 eprover: CPU time limit exceeded, terminating % 266.14/265.73 eprover: CPU time limit exceeded, terminating % 268.18/267.74 eprover: CPU time limit exceeded, terminating % 270.18/269.75 eprover: CPU time limit exceeded, terminating % 272.17/271.76 eprover: CPU time limit exceeded, terminating % 274.20/273.77 eprover: CPU time limit exceeded, terminating % 276.24/275.78 eprover: CPU time limit exceeded, terminating % 278.24/277.79 eprover: CPU time limit exceeded, terminating % 280.25/279.80 eprover: CPU time limit exceeded, terminating % 282.24/281.81 eprover: CPU time limit exceeded, terminating % 284.26/283.82 eprover: CPU time limit exceeded, terminating % 286.28/285.83 eprover: CPU time limit exceeded, terminating % 288.31/287.84 eprover: CPU time limit exceeded, terminating % 290.34/289.85 eprover: CPU time limit exceeded, terminating % 292.27/291.86 eprover: CPU time limit exceeded, terminating % 294.38/293.87 eprover: CPU time limit exceeded, terminating % 296.40/295.88 eprover: CPU time limit exceeded, terminating % 298.39/297.89 eprover: CPU time limit exceeded, terminating % 300.02/299.48 eprover: CPU time limit exceeded, terminating % 300.02/299.50 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------