%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWX203-1 : TPTP v9.3.0. Released v9.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n010.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 : 300s % DateTime : Tue May 5 07:02:18 PM UTC 2026 % Result : Timeout 285.95s 285.70s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.00/0.12 % Problem : SWX203-1 : TPTP v9.3.0. Released v9.3.0. % 0.13/0.12 % Command : run_infinox %s % 0.16/0.33 % Computer : n010.cluster.edu % 0.16/0.33 % Model : x86_64 x86_64 % 0.16/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.16/0.33 % Memory : 8042.1875MB % 0.16/0.33 % OS : Linux 3.10.0-693.el7.x86_64 % 0.16/0.33 % CPULimit : 300 % 0.16/0.33 % WCLimit : 300 % 0.16/0.33 % DateTime : Tue May 5 11:26:36 EDT 2026 % 0.16/0.33 % CPUTime : % 2.12/2.36 eprover: CPU time limit exceeded, terminating % 4.12/4.37 eprover: CPU time limit exceeded, terminating % 6.13/6.38 eprover: CPU time limit exceeded, terminating % 8.13/8.39 eprover: CPU time limit exceeded, terminating % 10.12/10.40 eprover: CPU time limit exceeded, terminating % 12.23/12.40 eprover: CPU time limit exceeded, terminating % 14.24/14.41 eprover: CPU time limit exceeded, terminating % 16.24/16.42 eprover: CPU time limit exceeded, terminating % 18.24/18.43 eprover: CPU time limit exceeded, terminating % 20.25/20.44 eprover: CPU time limit exceeded, terminating % 22.25/22.45 eprover: CPU time limit exceeded, terminating % 24.25/24.46 eprover: CPU time limit exceeded, terminating % 26.26/26.47 eprover: CPU time limit exceeded, terminating % 28.26/28.48 eprover: CPU time limit exceeded, terminating % 30.27/30.49 eprover: CPU time limit exceeded, terminating % 32.36/32.50 eprover: CPU time limit exceeded, terminating % 34.37/34.51 eprover: CPU time limit exceeded, terminating % 36.37/36.52 eprover: CPU time limit exceeded, terminating % 38.39/38.53 eprover: CPU time limit exceeded, terminating % 40.38/40.53 eprover: CPU time limit exceeded, terminating % 42.38/42.54 eprover: CPU time limit exceeded, terminating % 44.39/44.55 eprover: CPU time limit exceeded, terminating % 46.39/46.56 eprover: CPU time limit exceeded, terminating % 48.40/48.57 eprover: CPU time limit exceeded, terminating % 50.39/50.58 eprover: CPU time limit exceeded, terminating % 52.40/52.59 eprover: CPU time limit exceeded, terminating % 54.51/54.60 eprover: CPU time limit exceeded, terminating % 56.51/56.61 eprover: CPU time limit exceeded, terminating % 58.51/58.62 eprover: CPU time limit exceeded, terminating % 60.50/60.63 eprover: CPU time limit exceeded, terminating % 62.52/62.64 eprover: CPU time limit exceeded, terminating % 64.51/64.65 eprover: CPU time limit exceeded, terminating % 66.52/66.66 eprover: CPU time limit exceeded, terminating % 68.52/68.67 eprover: CPU time limit exceeded, terminating % 70.53/70.68 eprover: CPU time limit exceeded, terminating % 72.53/72.69 eprover: CPU time limit exceeded, terminating % 74.53/74.70 eprover: CPU time limit exceeded, terminating % 76.65/76.71 eprover: CPU time limit exceeded, terminating % 78.64/78.72 eprover: CPU time limit exceeded, terminating % 80.64/80.73 eprover: CPU time limit exceeded, terminating % 82.65/82.73 eprover: CPU time limit exceeded, terminating % 84.66/84.75 eprover: CPU time limit exceeded, terminating % 86.66/86.76 eprover: CPU time limit exceeded, terminating % 88.66/88.77 eprover: CPU time limit exceeded, terminating % 90.66/90.78 eprover: CPU time limit exceeded, terminating % 92.66/92.79 eprover: CPU time limit exceeded, terminating % 94.66/94.80 eprover: CPU time limit exceeded, terminating % 96.77/96.81 eprover: CPU time limit exceeded, terminating % 98.76/98.82 eprover: CPU time limit exceeded, terminating % 100.78/100.83 eprover: CPU time limit exceeded, terminating % 102.78/102.84 eprover: CPU time limit exceeded, terminating % 104.79/104.85 eprover: CPU time limit exceeded, terminating % 106.79/106.86 eprover: CPU time limit exceeded, terminating % 108.79/108.87 eprover: CPU time limit exceeded, terminating % 110.80/110.87 eprover: CPU time limit exceeded, terminating % 112.80/112.88 eprover: CPU time limit exceeded, terminating % 114.80/114.89 eprover: CPU time limit exceeded, terminating % 116.90/116.90 eprover: CPU time limit exceeded, terminating % 118.91/118.91 eprover: CPU time limit exceeded, terminating % 120.91/120.92 eprover: CPU time limit exceeded, terminating % 122.91/122.93 eprover: CPU time limit exceeded, terminating % 124.91/124.94 eprover: CPU time limit exceeded, terminating % 126.92/126.95 eprover: CPU time limit exceeded, terminating % 128.92/128.96 eprover: CPU time limit exceeded, terminating % 130.91/130.97 eprover: CPU time limit exceeded, terminating % 132.94/132.98 eprover: CPU time limit exceeded, terminating % 134.94/134.99 eprover: CPU time limit exceeded, terminating % 136.93/137.00 eprover: CPU time limit exceeded, terminating % 138.95/139.01 eprover: CPU time limit exceeded, terminating % 140.95/141.02 eprover: CPU time limit exceeded, terminating % 143.07/143.03 eprover: CPU time limit exceeded, terminating % 145.07/145.04 eprover: CPU time limit exceeded, terminating % 147.07/147.05 eprover: CPU time limit exceeded, terminating % 149.08/149.06 eprover: CPU time limit exceeded, terminating % 151.09/151.07 eprover: CPU time limit exceeded, terminating % 153.08/153.08 eprover: CPU time limit exceeded, terminating % 155.09/155.09 eprover: CPU time limit exceeded, terminating % 157.09/157.10 eprover: CPU time limit exceeded, terminating % 159.10/159.11 eprover: CPU time limit exceeded, terminating % 161.10/161.12 eprover: CPU time limit exceeded, terminating % 163.21/163.13 eprover: CPU time limit exceeded, terminating % 165.20/165.14 eprover: CPU time limit exceeded, terminating % 167.21/167.15 eprover: CPU time limit exceeded, terminating % 169.21/169.16 eprover: CPU time limit exceeded, terminating % 171.21/171.17 eprover: CPU time limit exceeded, terminating % 173.22/173.18 eprover: CPU time limit exceeded, terminating % 175.22/175.18 eprover: CPU time limit exceeded, terminating % 177.22/177.19 eprover: CPU time limit exceeded, terminating % 179.30/179.20 eprover: CPU time limit exceeded, terminating % 181.31/181.21 eprover: CPU time limit exceeded, terminating % 183.32/183.22 eprover: CPU time limit exceeded, terminating % 185.32/185.23 eprover: CPU time limit exceeded, terminating % 187.32/187.24 eprover: CPU time limit exceeded, terminating % 189.32/189.25 eprover: CPU time limit exceeded, terminating % 191.33/191.26 eprover: CPU time limit exceeded, terminating % 193.32/193.26 eprover: CPU time limit exceeded, terminating % 195.32/195.27 eprover: CPU time limit exceeded, terminating % 197.33/197.28 eprover: CPU time limit exceeded, terminating % 199.34/199.29 eprover: CPU time limit exceeded, terminating % 201.44/201.30 eprover: CPU time limit exceeded, terminating % 203.45/203.31 eprover: CPU time limit exceeded, terminating % 205.44/205.32 eprover: CPU time limit exceeded, terminating % 207.45/207.33 eprover: CPU time limit exceeded, terminating % 209.45/209.34 eprover: CPU time limit exceeded, terminating % 211.45/211.35 eprover: CPU time limit exceeded, terminating % 213.45/213.36 eprover: CPU time limit exceeded, terminating % 215.45/215.36 eprover: CPU time limit exceeded, terminating % 217.47/217.37 eprover: CPU time limit exceeded, terminating % 219.46/219.38 eprover: CPU time limit exceeded, terminating % 221.46/221.39 eprover: CPU time limit exceeded, terminating % 223.56/223.40 eprover: CPU time limit exceeded, terminating % 225.57/225.41 eprover: CPU time limit exceeded, terminating % 227.57/227.42 eprover: CPU time limit exceeded, terminating % 229.58/229.43 eprover: CPU time limit exceeded, terminating % 231.59/231.44 eprover: CPU time limit exceeded, terminating % 233.59/233.45 eprover: CPU time limit exceeded, terminating % 235.59/235.45 eprover: CPU time limit exceeded, terminating % 237.59/237.46 eprover: CPU time limit exceeded, terminating % 239.60/239.47 eprover: CPU time limit exceeded, terminating % 241.59/241.49 eprover: CPU time limit exceeded, terminating % 243.59/243.50 eprover: CPU time limit exceeded, terminating % 245.70/245.51 eprover: CPU time limit exceeded, terminating % 247.69/247.52 eprover: CPU time limit exceeded, terminating % 249.69/249.53 eprover: CPU time limit exceeded, terminating % 251.70/251.54 eprover: CPU time limit exceeded, terminating % 253.70/253.55 eprover: CPU time limit exceeded, terminating % 255.71/255.56 eprover: CPU time limit exceeded, terminating % 257.70/257.57 eprover: CPU time limit exceeded, terminating % 259.70/259.58 eprover: CPU time limit exceeded, terminating % 261.70/261.59 eprover: CPU time limit exceeded, terminating % 263.80/263.60 eprover: CPU time limit exceeded, terminating % 265.80/265.61 eprover: CPU time limit exceeded, terminating % 267.81/267.62 eprover: CPU time limit exceeded, terminating % 269.83/269.63 eprover: CPU time limit exceeded, terminating % 271.82/271.64 eprover: CPU time limit exceeded, terminating % 273.83/273.64 eprover: CPU time limit exceeded, terminating % 275.83/275.65 eprover: CPU time limit exceeded, terminating % 277.83/277.66 eprover: CPU time limit exceeded, terminating % 279.84/279.67 eprover: CPU time limit exceeded, terminating % 281.83/281.68 eprover: CPU time limit exceeded, terminating % 283.85/283.69 eprover: CPU time limit exceeded, terminating % 285.95/285.70 eprover: CPU time limit exceeded, terminating % 287.95/287.71 eprover: CPU time limit exceeded, terminating % 289.95/289.72 eprover: CPU time limit exceeded, terminating % 291.96/291.73 eprover: CPU time limit exceeded, terminating % 293.97/293.74 eprover: CPU time limit exceeded, terminating % 295.97/295.75 eprover: CPU time limit exceeded, terminating % 297.96/297.76 eprover: CPU time limit exceeded, terminating % 299.98/299.76 eprover: CPU time limit exceeded, terminating % 300.06/299.81 Terminated % 302.01/301.77 eprover: CPU time limit exceeded, terminating %------------------------------------------------------------------------------