%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : TOP011-1 : TPTP v8.1.0. Released v1.0.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n032.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 : Thu Jul 21 21:26:31 EDT 2022 % Result : Timeout 286.15s 285.74s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.04/0.08 % Problem : TOP011-1 : TPTP v8.1.0. Released v1.0.0. % 0.04/0.08 % Command : run_infinox %s % 0.08/0.27 % Computer : n032.cluster.edu % 0.08/0.27 % Model : x86_64 x86_64 % 0.08/0.27 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.08/0.27 % Memory : 8042.1875MB % 0.08/0.27 % OS : Linux 3.10.0-693.el7.x86_64 % 0.08/0.27 % CPULimit : 300 % 0.08/0.27 % WCLimit : 600 % 0.08/0.27 % DateTime : Sun May 29 06:39:41 EDT 2022 % 0.08/0.27 % CPUTime : % 2.12/2.36 eprover: CPU time limit exceeded, terminating % 4.15/4.37 eprover: CPU time limit exceeded, terminating % 6.18/6.38 eprover: CPU time limit exceeded, terminating % 8.20/8.38 eprover: CPU time limit exceeded, terminating % 10.22/10.39 eprover: CPU time limit exceeded, terminating % 12.16/12.40 eprover: CPU time limit exceeded, terminating % 14.24/14.41 eprover: CPU time limit exceeded, terminating % 16.26/16.41 eprover: CPU time limit exceeded, terminating % 18.26/18.42 eprover: CPU time limit exceeded, terminating % 20.28/20.43 eprover: CPU time limit exceeded, terminating % 22.26/22.44 eprover: CPU time limit exceeded, terminating % 24.26/24.45 eprover: CPU time limit exceeded, terminating % 26.33/26.46 eprover: CPU time limit exceeded, terminating % 28.28/28.47 eprover: CPU time limit exceeded, terminating % 30.32/30.48 eprover: CPU time limit exceeded, terminating % 32.29/32.48 eprover: CPU time limit exceeded, terminating % 34.40/34.49 eprover: CPU time limit exceeded, terminating % 36.31/36.50 eprover: CPU time limit exceeded, terminating % 38.41/38.51 eprover: CPU time limit exceeded, terminating % 40.41/40.53 eprover: CPU time limit exceeded, terminating % 42.42/42.54 eprover: CPU time limit exceeded, terminating % 44.42/44.55 eprover: CPU time limit exceeded, terminating % 46.41/46.56 eprover: CPU time limit exceeded, terminating % 48.44/48.57 eprover: CPU time limit exceeded, terminating % 50.49/50.58 eprover: CPU time limit exceeded, terminating % 52.43/52.59 eprover: CPU time limit exceeded, terminating % 54.51/54.60 eprover: CPU time limit exceeded, terminating % 56.51/56.62 eprover: CPU time limit exceeded, terminating % 58.51/58.63 eprover: CPU time limit exceeded, terminating % 60.53/60.64 eprover: CPU time limit exceeded, terminating % 62.53/62.66 eprover: CPU time limit exceeded, terminating % 64.58/64.67 eprover: CPU time limit exceeded, terminating % 66.53/66.68 eprover: CPU time limit exceeded, terminating % 68.56/68.69 eprover: CPU time limit exceeded, terminating % 70.61/70.70 eprover: CPU time limit exceeded, terminating % 72.60/72.71 eprover: CPU time limit exceeded, terminating % 74.61/74.71 eprover: CPU time limit exceeded, terminating % 76.63/76.72 eprover: CPU time limit exceeded, terminating % 78.61/78.74 eprover: CPU time limit exceeded, terminating % 80.63/80.75 eprover: CPU time limit exceeded, terminating % 82.67/82.76 eprover: CPU time limit exceeded, terminating % 84.66/84.77 eprover: CPU time limit exceeded, terminating % 86.68/86.78 eprover: CPU time limit exceeded, terminating % 88.63/88.79 eprover: CPU time limit exceeded, terminating % 90.72/90.80 eprover: CPU time limit exceeded, terminating % 92.75/92.81 eprover: CPU time limit exceeded, terminating % 94.75/94.82 eprover: CPU time limit exceeded, terminating % 96.76/96.82 eprover: CPU time limit exceeded, terminating % 98.73/98.83 eprover: CPU time limit exceeded, terminating % 100.79/100.84 eprover: CPU time limit exceeded, terminating % 102.78/102.85 eprover: CPU time limit exceeded, terminating % 104.77/104.86 eprover: CPU time limit exceeded, terminating % 106.76/106.87 eprover: CPU time limit exceeded, terminating % 108.79/108.88 eprover: CPU time limit exceeded, terminating % 110.85/110.89 eprover: CPU time limit exceeded, terminating % 112.87/112.90 eprover: CPU time limit exceeded, terminating % 114.81/114.91 eprover: CPU time limit exceeded, terminating % 116.91/116.92 eprover: CPU time limit exceeded, terminating % 118.88/118.93 eprover: CPU time limit exceeded, terminating % 120.91/120.94 eprover: CPU time limit exceeded, terminating % 122.93/122.95 eprover: CPU time limit exceeded, terminating % 124.95/124.96 eprover: CPU time limit exceeded, terminating % 126.92/126.96 eprover: CPU time limit exceeded, terminating % 128.95/128.97 eprover: CPU time limit exceeded, terminating % 130.94/130.98 eprover: CPU time limit exceeded, terminating % 133.03/132.99 eprover: CPU time limit exceeded, terminating % 135.04/135.00 eprover: CPU time limit exceeded, terminating % 137.06/137.01 eprover: CPU time limit exceeded, terminating % 139.05/139.02 eprover: CPU time limit exceeded, terminating % 141.07/141.03 eprover: CPU time limit exceeded, terminating % 143.08/143.04 eprover: CPU time limit exceeded, terminating % 145.08/145.05 eprover: CPU time limit exceeded, terminating % 147.11/147.07 eprover: CPU time limit exceeded, terminating % 149.10/149.08 eprover: CPU time limit exceeded, terminating % 151.18/151.09 eprover: CPU time limit exceeded, terminating % 153.10/153.10 eprover: CPU time limit exceeded, terminating % 155.19/155.11 eprover: CPU time limit exceeded, terminating % 157.22/157.12 eprover: CPU time limit exceeded, terminating % 159.23/159.13 eprover: CPU time limit exceeded, terminating % 161.23/161.14 eprover: CPU time limit exceeded, terminating % 163.23/163.15 eprover: CPU time limit exceeded, terminating % 165.21/165.16 eprover: CPU time limit exceeded, terminating % 167.26/167.17 eprover: CPU time limit exceeded, terminating % 169.29/169.18 eprover: CPU time limit exceeded, terminating % 171.26/171.19 eprover: CPU time limit exceeded, terminating % 173.36/173.20 eprover: CPU time limit exceeded, terminating % 175.36/175.21 eprover: CPU time limit exceeded, terminating % 177.34/177.22 eprover: CPU time limit exceeded, terminating % 179.39/179.22 eprover: CPU time limit exceeded, terminating % 181.36/181.23 eprover: CPU time limit exceeded, terminating % 183.38/183.24 eprover: CPU time limit exceeded, terminating % 185.36/185.25 eprover: CPU time limit exceeded, terminating % 187.40/187.26 eprover: CPU time limit exceeded, terminating % 189.40/189.27 eprover: CPU time limit exceeded, terminating % 191.39/191.28 eprover: CPU time limit exceeded, terminating % 193.44/193.29 eprover: CPU time limit exceeded, terminating % 195.53/195.30 eprover: CPU time limit exceeded, terminating % 197.45/197.31 eprover: CPU time limit exceeded, terminating % 199.52/199.32 eprover: CPU time limit exceeded, terminating % 201.54/201.33 eprover: CPU time limit exceeded, terminating % 203.55/203.34 eprover: CPU time limit exceeded, terminating % 205.54/205.35 eprover: CPU time limit exceeded, terminating % 207.57/207.36 eprover: CPU time limit exceeded, terminating % 209.54/209.37 eprover: CPU time limit exceeded, terminating % 211.57/211.38 eprover: CPU time limit exceeded, terminating % 213.65/213.39 eprover: CPU time limit exceeded, terminating % 215.58/215.39 eprover: CPU time limit exceeded, terminating % 217.58/217.40 eprover: CPU time limit exceeded, terminating % 219.68/219.41 eprover: CPU time limit exceeded, terminating % 221.66/221.42 eprover: CPU time limit exceeded, terminating % 223.68/223.43 eprover: CPU time limit exceeded, terminating % 225.68/225.44 eprover: CPU time limit exceeded, terminating % 227.71/227.45 eprover: CPU time limit exceeded, terminating % 229.73/229.46 eprover: CPU time limit exceeded, terminating % 231.71/231.47 eprover: CPU time limit exceeded, terminating % 233.72/233.48 eprover: CPU time limit exceeded, terminating % 235.80/235.49 eprover: CPU time limit exceeded, terminating % 237.75/237.50 eprover: CPU time limit exceeded, terminating % 239.83/239.51 eprover: CPU time limit exceeded, terminating % 241.86/241.52 eprover: CPU time limit exceeded, terminating % 243.85/243.53 eprover: CPU time limit exceeded, terminating % 245.86/245.54 eprover: CPU time limit exceeded, terminating % 247.88/247.55 eprover: CPU time limit exceeded, terminating % 249.87/249.56 eprover: CPU time limit exceeded, terminating % 251.89/251.57 eprover: CPU time limit exceeded, terminating % 253.90/253.58 eprover: CPU time limit exceeded, terminating % 255.96/255.59 eprover: CPU time limit exceeded, terminating % 257.97/257.60 eprover: CPU time limit exceeded, terminating % 260.00/259.61 eprover: CPU time limit exceeded, terminating % 261.98/261.62 eprover: CPU time limit exceeded, terminating % 263.97/263.63 eprover: CPU time limit exceeded, terminating % 266.02/265.64 eprover: CPU time limit exceeded, terminating % 268.02/267.65 eprover: CPU time limit exceeded, terminating % 270.02/269.66 eprover: CPU time limit exceeded, terminating % 272.04/271.67 eprover: CPU time limit exceeded, terminating % 274.03/273.68 eprover: CPU time limit exceeded, terminating % 276.03/275.69 eprover: CPU time limit exceeded, terminating % 278.06/277.70 eprover: CPU time limit exceeded, terminating % 280.15/279.71 eprover: CPU time limit exceeded, terminating % 282.13/281.72 eprover: CPU time limit exceeded, terminating % 284.15/283.73 eprover: CPU time limit exceeded, terminating % 286.15/285.74 eprover: CPU time limit exceeded, terminating % 288.19/287.75 eprover: CPU time limit exceeded, terminating % 290.20/289.76 eprover: CPU time limit exceeded, terminating % 292.16/291.77 eprover: CPU time limit exceeded, terminating % 294.19/293.78 eprover: CPU time limit exceeded, terminating % 296.28/295.79 eprover: CPU time limit exceeded, terminating % 298.20/297.80 eprover: CPU time limit exceeded, terminating % 300.03/299.52 eprover: CPU time limit exceeded, terminating % 300.03/299.54 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------