%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : TOP002-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:30 EDT 2022 % Result : Timeout 286.32s 285.77s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.08/0.10 % Problem : TOP002-1 : TPTP v8.1.0. Released v1.0.0. % 0.08/0.10 % Command : run_infinox %s % 0.10/0.30 % Computer : n032.cluster.edu % 0.10/0.30 % Model : x86_64 x86_64 % 0.10/0.30 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.10/0.30 % Memory : 8042.1875MB % 0.10/0.30 % OS : Linux 3.10.0-693.el7.x86_64 % 0.10/0.30 % CPULimit : 300 % 0.10/0.30 % WCLimit : 600 % 0.10/0.30 % DateTime : Sun May 29 09:48:41 EDT 2022 % 0.10/0.30 % CPUTime : % 2.16/2.38 eprover: CPU time limit exceeded, terminating % 4.19/4.39 eprover: CPU time limit exceeded, terminating % 6.24/6.40 eprover: CPU time limit exceeded, terminating % 8.21/8.41 eprover: CPU time limit exceeded, terminating % 10.25/10.42 eprover: CPU time limit exceeded, terminating % 12.25/12.43 eprover: CPU time limit exceeded, terminating % 14.26/14.44 eprover: CPU time limit exceeded, terminating % 16.27/16.45 eprover: CPU time limit exceeded, terminating % 18.26/18.46 eprover: CPU time limit exceeded, terminating % 20.25/20.47 eprover: CPU time limit exceeded, terminating % 22.29/22.48 eprover: CPU time limit exceeded, terminating % 24.38/24.49 eprover: CPU time limit exceeded, terminating % 26.32/26.50 eprover: CPU time limit exceeded, terminating % 28.39/28.51 eprover: CPU time limit exceeded, terminating % 30.40/30.52 eprover: CPU time limit exceeded, terminating % 32.37/32.53 eprover: CPU time limit exceeded, terminating % 34.41/34.54 eprover: CPU time limit exceeded, terminating % 36.40/36.55 eprover: CPU time limit exceeded, terminating % 38.43/38.56 eprover: CPU time limit exceeded, terminating % 40.47/40.57 eprover: CPU time limit exceeded, terminating % 42.45/42.58 eprover: CPU time limit exceeded, terminating % 44.50/44.59 eprover: CPU time limit exceeded, terminating % 46.53/46.60 eprover: CPU time limit exceeded, terminating % 48.47/48.61 eprover: CPU time limit exceeded, terminating % 50.53/50.62 eprover: CPU time limit exceeded, terminating % 52.57/52.63 eprover: CPU time limit exceeded, terminating % 54.57/54.64 eprover: CPU time limit exceeded, terminating % 56.56/56.65 eprover: CPU time limit exceeded, terminating % 58.58/58.66 eprover: CPU time limit exceeded, terminating % 60.57/60.67 eprover: CPU time limit exceeded, terminating % 62.60/62.68 eprover: CPU time limit exceeded, terminating % 64.61/64.68 eprover: CPU time limit exceeded, terminating % 66.60/66.69 eprover: CPU time limit exceeded, terminating % 68.66/68.70 eprover: CPU time limit exceeded, terminating % 70.70/70.71 eprover: CPU time limit exceeded, terminating % 72.72/72.72 eprover: CPU time limit exceeded, terminating % 74.73/74.73 eprover: CPU time limit exceeded, terminating % 76.73/76.74 eprover: CPU time limit exceeded, terminating % 78.73/78.75 eprover: CPU time limit exceeded, terminating % 80.73/80.76 eprover: CPU time limit exceeded, terminating % 82.70/82.77 eprover: CPU time limit exceeded, terminating % 84.81/84.78 eprover: CPU time limit exceeded, terminating % 86.74/86.79 eprover: CPU time limit exceeded, terminating % 88.84/88.79 eprover: CPU time limit exceeded, terminating % 90.75/90.80 eprover: CPU time limit exceeded, terminating % 92.85/92.81 eprover: CPU time limit exceeded, terminating % 94.86/94.82 eprover: CPU time limit exceeded, terminating % 96.88/96.83 eprover: CPU time limit exceeded, terminating % 98.85/98.84 eprover: CPU time limit exceeded, terminating % 100.87/100.85 eprover: CPU time limit exceeded, terminating % 102.87/102.86 eprover: CPU time limit exceeded, terminating % 104.88/104.87 eprover: CPU time limit exceeded, terminating % 106.97/106.88 eprover: CPU time limit exceeded, terminating % 108.90/108.89 eprover: CPU time limit exceeded, terminating % 111.00/110.90 eprover: CPU time limit exceeded, terminating % 113.01/112.91 eprover: CPU time limit exceeded, terminating % 114.99/114.92 eprover: CPU time limit exceeded, terminating % 117.02/116.93 eprover: CPU time limit exceeded, terminating % 119.03/118.94 eprover: CPU time limit exceeded, terminating % 121.03/120.95 eprover: CPU time limit exceeded, terminating % 123.03/122.96 eprover: CPU time limit exceeded, terminating % 125.05/124.97 eprover: CPU time limit exceeded, terminating % 127.07/126.98 eprover: CPU time limit exceeded, terminating % 129.04/128.99 eprover: CPU time limit exceeded, terminating % 131.14/130.99 eprover: CPU time limit exceeded, terminating % 133.15/133.00 eprover: CPU time limit exceeded, terminating % 135.18/135.01 eprover: CPU time limit exceeded, terminating % 137.16/137.02 eprover: CPU time limit exceeded, terminating % 139.18/139.03 eprover: CPU time limit exceeded, terminating % 141.18/141.05 eprover: CPU time limit exceeded, terminating % 143.19/143.06 eprover: CPU time limit exceeded, terminating % 145.22/145.07 eprover: CPU time limit exceeded, terminating % 147.20/147.08 eprover: CPU time limit exceeded, terminating % 149.28/149.09 eprover: CPU time limit exceeded, terminating % 151.30/151.10 eprover: CPU time limit exceeded, terminating % 153.24/153.11 eprover: CPU time limit exceeded, terminating % 155.30/155.12 eprover: CPU time limit exceeded, terminating % 157.35/157.13 eprover: CPU time limit exceeded, terminating % 159.34/159.14 eprover: CPU time limit exceeded, terminating % 161.36/161.15 eprover: CPU time limit exceeded, terminating % 163.40/163.16 eprover: CPU time limit exceeded, terminating % 165.34/165.17 eprover: CPU time limit exceeded, terminating % 167.44/167.18 eprover: CPU time limit exceeded, terminating % 169.38/169.19 eprover: CPU time limit exceeded, terminating % 171.46/171.20 eprover: CPU time limit exceeded, terminating % 173.48/173.21 eprover: CPU time limit exceeded, terminating % 175.47/175.22 eprover: CPU time limit exceeded, terminating % 177.51/177.23 eprover: CPU time limit exceeded, terminating % 179.51/179.24 eprover: CPU time limit exceeded, terminating % 181.53/181.25 eprover: CPU time limit exceeded, terminating % 183.51/183.26 eprover: CPU time limit exceeded, terminating % 185.52/185.27 eprover: CPU time limit exceeded, terminating % 187.54/187.28 eprover: CPU time limit exceeded, terminating % 189.53/189.29 eprover: CPU time limit exceeded, terminating % 191.63/191.30 eprover: CPU time limit exceeded, terminating % 193.64/193.31 eprover: CPU time limit exceeded, terminating % 195.65/195.32 eprover: CPU time limit exceeded, terminating % 197.66/197.33 eprover: CPU time limit exceeded, terminating % 199.68/199.33 eprover: CPU time limit exceeded, terminating % 201.68/201.34 eprover: CPU time limit exceeded, terminating % 203.66/203.35 eprover: CPU time limit exceeded, terminating % 205.64/205.36 eprover: CPU time limit exceeded, terminating % 207.69/207.37 eprover: CPU time limit exceeded, terminating % 209.74/209.38 eprover: CPU time limit exceeded, terminating % 211.69/211.39 eprover: CPU time limit exceeded, terminating % 213.71/213.40 eprover: CPU time limit exceeded, terminating % 215.80/215.41 eprover: CPU time limit exceeded, terminating % 217.83/217.42 eprover: CPU time limit exceeded, terminating % 219.82/219.43 eprover: CPU time limit exceeded, terminating % 221.81/221.44 eprover: CPU time limit exceeded, terminating % 223.82/223.45 eprover: CPU time limit exceeded, terminating % 225.83/225.46 eprover: CPU time limit exceeded, terminating % 227.81/227.47 eprover: CPU time limit exceeded, terminating % 229.87/229.49 eprover: CPU time limit exceeded, terminating % 231.92/231.50 eprover: CPU time limit exceeded, terminating % 233.95/233.51 eprover: CPU time limit exceeded, terminating % 235.96/235.52 eprover: CPU time limit exceeded, terminating % 237.98/237.53 eprover: CPU time limit exceeded, terminating % 239.98/239.54 eprover: CPU time limit exceeded, terminating % 241.98/241.55 eprover: CPU time limit exceeded, terminating % 244.01/243.56 eprover: CPU time limit exceeded, terminating % 245.98/245.57 eprover: CPU time limit exceeded, terminating % 248.01/247.58 eprover: CPU time limit exceeded, terminating % 249.99/249.59 eprover: CPU time limit exceeded, terminating % 252.08/251.60 eprover: CPU time limit exceeded, terminating % 254.10/253.61 eprover: CPU time limit exceeded, terminating % 256.12/255.62 eprover: CPU time limit exceeded, terminating % 258.11/257.63 eprover: CPU time limit exceeded, terminating % 260.14/259.64 eprover: CPU time limit exceeded, terminating % 262.16/261.65 eprover: CPU time limit exceeded, terminating % 264.13/263.66 eprover: CPU time limit exceeded, terminating % 266.22/265.67 eprover: CPU time limit exceeded, terminating % 268.16/267.68 eprover: CPU time limit exceeded, terminating % 270.22/269.69 eprover: CPU time limit exceeded, terminating % 272.26/271.70 eprover: CPU time limit exceeded, terminating % 274.19/273.71 eprover: CPU time limit exceeded, terminating % 276.26/275.72 eprover: CPU time limit exceeded, terminating % 278.29/277.73 eprover: CPU time limit exceeded, terminating % 280.31/279.74 eprover: CPU time limit exceeded, terminating % 282.31/281.75 eprover: CPU time limit exceeded, terminating % 284.32/283.76 eprover: CPU time limit exceeded, terminating % 286.32/285.77 eprover: CPU time limit exceeded, terminating % 288.38/287.78 eprover: CPU time limit exceeded, terminating % 290.38/289.79 eprover: CPU time limit exceeded, terminating % 292.38/291.80 eprover: CPU time limit exceeded, terminating % 294.44/293.81 eprover: CPU time limit exceeded, terminating % 296.44/295.83 eprover: CPU time limit exceeded, terminating % 298.47/297.84 eprover: CPU time limit exceeded, terminating % 300.04/299.41 eprover: CPU time limit exceeded, terminating % 300.04/299.42 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------