%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : PRO008+1 : TPTP v8.1.0. Released v4.0.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n011.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 17:46:53 EDT 2022 % Result : Timeout 286.06s 286.19s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.12/0.12 % Problem : PRO008+1 : TPTP v8.1.0. Released v4.0.0. % 0.12/0.13 % Command : run_infinox %s % 0.13/0.34 % Computer : n011.cluster.edu % 0.13/0.34 % Model : x86_64 x86_64 % 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.13/0.34 % Memory : 8042.1875MB % 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64 % 0.13/0.34 % CPULimit : 300 % 0.13/0.34 % WCLimit : 600 % 0.13/0.34 % DateTime : Mon Jun 13 01:36:48 EDT 2022 % 0.13/0.34 % CPUTime : % 2.22/2.42 eprover: CPU time limit exceeded, terminating % 4.23/4.43 eprover: CPU time limit exceeded, terminating % 6.21/6.44 eprover: CPU time limit exceeded, terminating % 8.25/8.45 eprover: CPU time limit exceeded, terminating % 10.20/10.45 eprover: CPU time limit exceeded, terminating % 12.26/12.46 eprover: CPU time limit exceeded, terminating % 14.30/14.47 eprover: CPU time limit exceeded, terminating % 16.26/16.49 eprover: CPU time limit exceeded, terminating % 18.32/18.49 eprover: CPU time limit exceeded, terminating % 20.27/20.50 eprover: CPU time limit exceeded, terminating % 22.35/22.51 eprover: CPU time limit exceeded, terminating % 24.33/24.52 eprover: CPU time limit exceeded, terminating % 26.36/26.53 eprover: CPU time limit exceeded, terminating % 28.33/28.54 eprover: CPU time limit exceeded, terminating % 30.33/30.55 eprover: CPU time limit exceeded, terminating % 32.33/32.57 eprover: CPU time limit exceeded, terminating % 34.34/34.58 eprover: CPU time limit exceeded, terminating % 36.34/36.59 eprover: CPU time limit exceeded, terminating % 38.36/38.59 eprover: CPU time limit exceeded, terminating % 40.44/40.60 eprover: CPU time limit exceeded, terminating % 42.43/42.61 eprover: CPU time limit exceeded, terminating % 44.47/44.62 eprover: CPU time limit exceeded, terminating % 46.43/46.63 eprover: CPU time limit exceeded, terminating % 48.44/48.64 eprover: CPU time limit exceeded, terminating % 50.46/50.65 eprover: CPU time limit exceeded, terminating % 52.43/52.66 eprover: CPU time limit exceeded, terminating % 54.44/54.67 eprover: CPU time limit exceeded, terminating % 56.48/56.68 eprover: CPU time limit exceeded, terminating % 58.46/58.68 eprover: CPU time limit exceeded, terminating % 60.49/60.69 eprover: CPU time limit exceeded, terminating % 62.54/62.70 eprover: CPU time limit exceeded, terminating % 64.57/64.71 eprover: CPU time limit exceeded, terminating % 66.57/66.72 eprover: CPU time limit exceeded, terminating % 68.56/68.73 eprover: CPU time limit exceeded, terminating % 70.61/70.74 eprover: CPU time limit exceeded, terminating % 72.59/72.75 eprover: CPU time limit exceeded, terminating % 74.60/74.75 eprover: CPU time limit exceeded, terminating % 76.61/76.76 eprover: CPU time limit exceeded, terminating % 78.57/78.77 eprover: CPU time limit exceeded, terminating % 80.62/80.78 eprover: CPU time limit exceeded, terminating % 82.60/82.79 eprover: CPU time limit exceeded, terminating % 84.66/84.80 eprover: CPU time limit exceeded, terminating % 86.71/86.81 eprover: CPU time limit exceeded, terminating % 88.68/88.84 eprover: CPU time limit exceeded, terminating % 90.66/90.86 eprover: CPU time limit exceeded, terminating % 92.69/92.87 eprover: CPU time limit exceeded, terminating % 94.71/94.88 eprover: CPU time limit exceeded, terminating % 96.69/96.89 eprover: CPU time limit exceeded, terminating % 98.75/98.93 eprover: CPU time limit exceeded, terminating % 100.80/100.95 eprover: CPU time limit exceeded, terminating % 102.76/102.96 eprover: CPU time limit exceeded, terminating % 104.84/104.98 eprover: CPU time limit exceeded, terminating % 106.78/106.99 eprover: CPU time limit exceeded, terminating % 108.79/109.01 eprover: CPU time limit exceeded, terminating % 110.84/111.02 eprover: CPU time limit exceeded, terminating % 112.88/113.03 eprover: CPU time limit exceeded, terminating % 114.82/115.05 eprover: CPU time limit exceeded, terminating % 116.88/117.06 eprover: CPU time limit exceeded, terminating % 118.91/119.07 eprover: CPU time limit exceeded, terminating % 120.90/121.08 eprover: CPU time limit exceeded, terminating % 122.95/123.09 eprover: CPU time limit exceeded, terminating % 124.91/125.11 eprover: CPU time limit exceeded, terminating % 126.94/127.12 eprover: CPU time limit exceeded, terminating % 128.91/129.13 eprover: CPU time limit exceeded, terminating % 130.95/131.15 eprover: CPU time limit exceeded, terminating % 132.98/133.17 eprover: CPU time limit exceeded, terminating % 135.03/135.18 eprover: CPU time limit exceeded, terminating % 136.97/137.20 eprover: CPU time limit exceeded, terminating % 139.02/139.21 eprover: CPU time limit exceeded, terminating % 141.07/141.22 eprover: CPU time limit exceeded, terminating % 143.06/143.23 eprover: CPU time limit exceeded, terminating % 145.07/145.25 eprover: CPU time limit exceeded, terminating % 147.08/147.26 eprover: CPU time limit exceeded, terminating % 149.08/149.27 eprover: CPU time limit exceeded, terminating % 151.15/151.29 eprover: CPU time limit exceeded, terminating % 153.16/153.31 eprover: CPU time limit exceeded, terminating % 155.17/155.32 eprover: CPU time limit exceeded, terminating % 157.14/157.33 eprover: CPU time limit exceeded, terminating % 159.15/159.35 eprover: CPU time limit exceeded, terminating % 161.17/161.36 eprover: CPU time limit exceeded, terminating % 163.16/163.37 eprover: CPU time limit exceeded, terminating % 165.20/165.38 eprover: CPU time limit exceeded, terminating % 167.26/167.40 eprover: CPU time limit exceeded, terminating % 169.27/169.41 eprover: CPU time limit exceeded, terminating % 171.27/171.42 eprover: CPU time limit exceeded, terminating % 173.23/173.43 eprover: CPU time limit exceeded, terminating % 175.25/175.45 eprover: CPU time limit exceeded, terminating % 177.27/177.46 eprover: CPU time limit exceeded, terminating % 179.26/179.48 eprover: CPU time limit exceeded, terminating % 181.35/181.49 eprover: CPU time limit exceeded, terminating % 183.35/183.50 eprover: CPU time limit exceeded, terminating % 185.37/185.51 eprover: CPU time limit exceeded, terminating % 187.40/187.52 eprover: CPU time limit exceeded, terminating % 189.37/189.53 eprover: CPU time limit exceeded, terminating % 191.39/191.55 eprover: CPU time limit exceeded, terminating % 193.39/193.57 eprover: CPU time limit exceeded, terminating % 195.36/195.58 eprover: CPU time limit exceeded, terminating % 197.41/197.59 eprover: CPU time limit exceeded, terminating % 199.46/199.61 eprover: CPU time limit exceeded, terminating % 201.39/201.62 eprover: CPU time limit exceeded, terminating % 203.45/203.63 eprover: CPU time limit exceeded, terminating % 205.49/205.64 eprover: CPU time limit exceeded, terminating % 207.53/207.67 eprover: CPU time limit exceeded, terminating % 209.46/209.68 eprover: CPU time limit exceeded, terminating % 211.55/211.70 eprover: CPU time limit exceeded, terminating % 213.55/213.71 eprover: CPU time limit exceeded, terminating % 215.54/215.72 eprover: CPU time limit exceeded, terminating % 217.59/217.73 eprover: CPU time limit exceeded, terminating % 219.58/219.75 eprover: CPU time limit exceeded, terminating % 221.59/221.76 eprover: CPU time limit exceeded, terminating % 223.58/223.78 eprover: CPU time limit exceeded, terminating % 225.58/225.79 eprover: CPU time limit exceeded, terminating % 227.66/227.81 eprover: CPU time limit exceeded, terminating % 229.67/229.82 eprover: CPU time limit exceeded, terminating % 231.65/231.83 eprover: CPU time limit exceeded, terminating % 233.65/233.85 eprover: CPU time limit exceeded, terminating % 235.68/235.86 eprover: CPU time limit exceeded, terminating % 237.73/237.88 eprover: CPU time limit exceeded, terminating % 239.66/239.89 eprover: CPU time limit exceeded, terminating % 241.68/241.90 eprover: CPU time limit exceeded, terminating % 243.76/243.91 eprover: CPU time limit exceeded, terminating % 245.76/245.95 eprover: CPU time limit exceeded, terminating % 247.73/247.96 eprover: CPU time limit exceeded, terminating % 249.74/249.97 eprover: CPU time limit exceeded, terminating % 251.82/251.99 eprover: CPU time limit exceeded, terminating % 253.84/254.00 eprover: CPU time limit exceeded, terminating % 255.77/256.01 eprover: CPU time limit exceeded, terminating % 257.84/258.03 eprover: CPU time limit exceeded, terminating % 259.87/260.05 eprover: CPU time limit exceeded, terminating % 261.85/262.06 eprover: CPU time limit exceeded, terminating % 263.85/264.07 eprover: CPU time limit exceeded, terminating % 265.91/266.09 eprover: CPU time limit exceeded, terminating % 267.94/268.10 eprover: CPU time limit exceeded, terminating % 269.93/270.11 eprover: CPU time limit exceeded, terminating % 271.96/272.12 eprover: CPU time limit exceeded, terminating % 273.93/274.14 eprover: CPU time limit exceeded, terminating % 275.98/276.14 eprover: CPU time limit exceeded, terminating % 277.94/278.15 eprover: CPU time limit exceeded, terminating % 279.98/280.16 eprover: CPU time limit exceeded, terminating % 281.96/282.17 eprover: CPU time limit exceeded, terminating % 283.99/284.18 eprover: CPU time limit exceeded, terminating % 286.06/286.19 eprover: CPU time limit exceeded, terminating % 287.99/288.20 eprover: CPU time limit exceeded, terminating % 290.06/290.21 eprover: CPU time limit exceeded, terminating % 292.09/292.22 eprover: CPU time limit exceeded, terminating % 294.05/294.23 eprover: CPU time limit exceeded, terminating % 296.11/296.24 eprover: CPU time limit exceeded, terminating % 298.07/298.25 eprover: CPU time limit exceeded, terminating % 300.07/300.19 eprover: CPU time limit exceeded, terminating % 300.07/300.21 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------