%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWC382-1 : TPTP v8.1.0. Released v2.4.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 : Tue Jul 19 20:48:03 EDT 2022 % Result : Timeout 286.31s 283.93s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.08/0.10 % Problem : SWC382-1 : TPTP v8.1.0. Released v2.4.0. % 0.08/0.10 % Command : run_infinox %s % 0.09/0.31 % Computer : n011.cluster.edu % 0.09/0.31 % Model : x86_64 x86_64 % 0.09/0.31 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.09/0.31 % Memory : 8042.1875MB % 0.09/0.31 % OS : Linux 3.10.0-693.el7.x86_64 % 0.09/0.31 % CPULimit : 300 % 0.09/0.31 % WCLimit : 600 % 0.09/0.31 % DateTime : Sun Jun 12 13:00:02 EDT 2022 % 0.09/0.31 % CPUTime : % 2.15/2.42 eprover: CPU time limit exceeded, terminating % 4.21/4.43 eprover: CPU time limit exceeded, terminating % 6.26/6.44 eprover: CPU time limit exceeded, terminating % 8.22/8.45 eprover: CPU time limit exceeded, terminating % 10.23/10.46 eprover: CPU time limit exceeded, terminating % 12.29/12.47 eprover: CPU time limit exceeded, terminating % 14.26/14.48 eprover: CPU time limit exceeded, terminating % 16.32/16.49 eprover: CPU time limit exceeded, terminating % 18.33/18.50 eprover: CPU time limit exceeded, terminating % 20.32/20.51 eprover: CPU time limit exceeded, terminating % 22.30/22.53 eprover: CPU time limit exceeded, terminating % 24.39/24.54 eprover: CPU time limit exceeded, terminating % 26.41/26.56 eprover: CPU time limit exceeded, terminating % 28.39/28.57 eprover: CPU time limit exceeded, terminating % 30.39/30.57 eprover: CPU time limit exceeded, terminating % 32.43/32.59 eprover: CPU time limit exceeded, terminating % 34.43/34.60 eprover: CPU time limit exceeded, terminating % 36.47/36.61 eprover: CPU time limit exceeded, terminating % 38.47/38.64 eprover: CPU time limit exceeded, terminating % 40.45/40.65 eprover: CPU time limit exceeded, terminating % 42.49/42.66 eprover: CPU time limit exceeded, terminating % 44.47/44.67 eprover: CPU time limit exceeded, terminating % 46.47/46.68 eprover: CPU time limit exceeded, terminating % 48.53/48.69 eprover: CPU time limit exceeded, terminating % 50.53/50.70 eprover: CPU time limit exceeded, terminating % 52.50/52.71 eprover: CPU time limit exceeded, terminating % 54.55/54.72 eprover: CPU time limit exceeded, terminating % 56.55/56.72 eprover: CPU time limit exceeded, terminating % 58.55/58.73 eprover: CPU time limit exceeded, terminating % 60.58/60.74 eprover: CPU time limit exceeded, terminating % 62.60/62.75 eprover: CPU time limit exceeded, terminating % 64.61/64.76 eprover: CPU time limit exceeded, terminating % 66.63/66.77 eprover: CPU time limit exceeded, terminating % 68.68/68.78 eprover: CPU time limit exceeded, terminating % 70.69/70.79 eprover: CPU time limit exceeded, terminating % 72.72/72.80 eprover: CPU time limit exceeded, terminating % 74.71/74.81 eprover: CPU time limit exceeded, terminating % 76.76/76.82 eprover: CPU time limit exceeded, terminating % 78.74/78.83 eprover: CPU time limit exceeded, terminating % 80.79/80.85 eprover: CPU time limit exceeded, terminating % 82.75/82.85 eprover: CPU time limit exceeded, terminating % 84.78/84.86 eprover: CPU time limit exceeded, terminating % 86.79/86.87 eprover: CPU time limit exceeded, terminating % 88.78/88.89 eprover: CPU time limit exceeded, terminating % 90.79/90.90 eprover: CPU time limit exceeded, terminating % 92.88/92.91 eprover: CPU time limit exceeded, terminating % 94.86/94.92 eprover: CPU time limit exceeded, terminating % 96.90/96.93 eprover: CPU time limit exceeded, terminating % 98.90/98.94 eprover: CPU time limit exceeded, terminating % 100.89/100.95 eprover: CPU time limit exceeded, terminating % 102.93/102.96 eprover: CPU time limit exceeded, terminating % 104.93/104.97 eprover: CPU time limit exceeded, terminating % 106.92/106.98 eprover: CPU time limit exceeded, terminating % 109.01/108.99 eprover: CPU time limit exceeded, terminating % 111.03/111.00 eprover: CPU time limit exceeded, terminating % 113.00/113.01 eprover: CPU time limit exceeded, terminating % 115.03/115.02 eprover: CPU time limit exceeded, terminating % 117.06/117.04 eprover: CPU time limit exceeded, terminating % 119.05/119.05 eprover: CPU time limit exceeded, terminating % 121.07/121.06 eprover: CPU time limit exceeded, terminating % 123.09/123.07 eprover: CPU time limit exceeded, terminating % 125.07/125.08 eprover: CPU time limit exceeded, terminating % 127.16/127.09 eprover: CPU time limit exceeded, terminating % 129.18/129.10 eprover: CPU time limit exceeded, terminating % 131.18/131.11 eprover: CPU time limit exceeded, terminating % 133.19/133.12 eprover: CPU time limit exceeded, terminating % 135.21/135.13 eprover: CPU time limit exceeded, terminating % 137.20/137.14 eprover: CPU time limit exceeded, terminating % 139.22/139.15 eprover: CPU time limit exceeded, terminating % 141.21/141.16 eprover: CPU time limit exceeded, terminating % 143.22/143.17 eprover: CPU time limit exceeded, terminating % 145.31/145.18 eprover: CPU time limit exceeded, terminating % 147.25/147.20 eprover: CPU time limit exceeded, terminating % 149.33/149.21 eprover: CPU time limit exceeded, terminating % 151.34/151.22 eprover: CPU time limit exceeded, terminating % 153.36/153.23 eprover: CPU time limit exceeded, terminating % 155.36/155.24 eprover: CPU time limit exceeded, terminating % 157.36/157.25 eprover: CPU time limit exceeded, terminating % 159.37/159.26 eprover: CPU time limit exceeded, terminating % 161.41/161.27 eprover: CPU time limit exceeded, terminating % 163.38/163.28 eprover: CPU time limit exceeded, terminating % 165.47/165.29 eprover: CPU time limit exceeded, terminating % 167.39/167.30 eprover: CPU time limit exceeded, terminating % 169.48/169.31 eprover: CPU time limit exceeded, terminating % 171.51/171.32 eprover: CPU time limit exceeded, terminating % 173.54/173.33 eprover: CPU time limit exceeded, terminating % 175.53/175.34 eprover: CPU time limit exceeded, terminating % 177.50/177.35 eprover: CPU time limit exceeded, terminating % 179.53/179.37 eprover: CPU time limit exceeded, terminating % 181.53/181.38 eprover: CPU time limit exceeded, terminating % 185.46/183.39 eprover: CPU time limit exceeded, terminating % 187.48/185.40 eprover: CPU time limit exceeded, terminating % 189.47/187.41 eprover: CPU time limit exceeded, terminating % 191.56/189.42 eprover: CPU time limit exceeded, terminating % 193.58/191.43 eprover: CPU time limit exceeded, terminating % 195.57/193.44 eprover: CPU time limit exceeded, terminating % 197.60/195.45 eprover: CPU time limit exceeded, terminating % 199.59/197.46 eprover: CPU time limit exceeded, terminating % 201.63/199.47 eprover: CPU time limit exceeded, terminating % 203.62/201.48 eprover: CPU time limit exceeded, terminating % 205.68/203.49 eprover: CPU time limit exceeded, terminating % 207.70/205.51 eprover: CPU time limit exceeded, terminating % 209.70/207.52 eprover: CPU time limit exceeded, terminating % 211.69/209.53 eprover: CPU time limit exceeded, terminating % 213.73/211.54 eprover: CPU time limit exceeded, terminating % 215.74/213.55 eprover: CPU time limit exceeded, terminating % 217.73/215.56 eprover: CPU time limit exceeded, terminating % 219.77/217.57 eprover: CPU time limit exceeded, terminating % 221.77/219.58 eprover: CPU time limit exceeded, terminating % 223.85/221.59 eprover: CPU time limit exceeded, terminating % 225.87/223.60 eprover: CPU time limit exceeded, terminating % 227.87/225.61 eprover: CPU time limit exceeded, terminating % 229.87/227.62 eprover: CPU time limit exceeded, terminating % 231.87/229.63 eprover: CPU time limit exceeded, terminating % 233.90/231.64 eprover: CPU time limit exceeded, terminating % 235.91/233.66 eprover: CPU time limit exceeded, terminating % 237.91/235.67 eprover: CPU time limit exceeded, terminating % 239.94/237.68 eprover: CPU time limit exceeded, terminating % 241.91/239.69 eprover: CPU time limit exceeded, terminating % 244.00/241.70 eprover: CPU time limit exceeded, terminating % 245.92/243.71 eprover: CPU time limit exceeded, terminating % 248.02/245.72 eprover: CPU time limit exceeded, terminating % 250.01/247.73 eprover: CPU time limit exceeded, terminating % 252.05/249.74 eprover: CPU time limit exceeded, terminating % 254.05/251.75 eprover: CPU time limit exceeded, terminating % 256.05/253.77 eprover: CPU time limit exceeded, terminating % 258.09/255.78 eprover: CPU time limit exceeded, terminating % 260.08/257.79 eprover: CPU time limit exceeded, terminating % 262.15/259.80 eprover: CPU time limit exceeded, terminating % 264.17/261.81 eprover: CPU time limit exceeded, terminating % 266.17/263.82 eprover: CPU time limit exceeded, terminating % 268.20/265.84 eprover: CPU time limit exceeded, terminating % 270.20/267.85 eprover: CPU time limit exceeded, terminating % 272.23/269.86 eprover: CPU time limit exceeded, terminating % 274.22/271.87 eprover: CPU time limit exceeded, terminating % 276.25/273.88 eprover: CPU time limit exceeded, terminating % 278.25/275.89 eprover: CPU time limit exceeded, terminating % 280.30/277.90 eprover: CPU time limit exceeded, terminating % 282.33/279.91 eprover: CPU time limit exceeded, terminating % 284.36/281.92 eprover: CPU time limit exceeded, terminating % 286.31/283.93 eprover: CPU time limit exceeded, terminating % 288.36/285.94 eprover: CPU time limit exceeded, terminating % 290.36/287.95 eprover: CPU time limit exceeded, terminating % 292.37/289.96 eprover: CPU time limit exceeded, terminating % 294.37/291.97 eprover: CPU time limit exceeded, terminating % 296.40/293.98 eprover: CPU time limit exceeded, terminating % 298.40/295.99 eprover: CPU time limit exceeded, terminating % 300.02/297.54 eprover: CPU time limit exceeded, terminating % 300.02/297.56 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------