%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWX187-1 : TPTP v9.3.0. Released v9.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n025.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:16 PM UTC 2026 % Result : Timeout 285.92s 286.14s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.00/0.11 % Problem : SWX187-1 : TPTP v9.3.0. Released v9.3.0. % 0.00/0.12 % Command : run_infinox %s % 0.14/0.33 % Computer : n025.cluster.edu % 0.14/0.33 % Model : x86_64 x86_64 % 0.14/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.14/0.33 % Memory : 8042.1875MB % 0.14/0.33 % OS : Linux 3.10.0-693.el7.x86_64 % 0.14/0.33 % CPULimit : 300 % 0.14/0.33 % WCLimit : 300 % 0.14/0.33 % DateTime : Tue May 5 09:45:28 EDT 2026 % 0.14/0.33 % CPUTime : % 2.11/2.36 eprover: CPU time limit exceeded, terminating % 4.10/4.36 eprover: CPU time limit exceeded, terminating % 6.11/6.37 eprover: CPU time limit exceeded, terminating % 8.11/8.38 eprover: CPU time limit exceeded, terminating % 10.12/10.39 eprover: CPU time limit exceeded, terminating % 12.22/12.40 eprover: CPU time limit exceeded, terminating % 14.23/14.41 eprover: CPU time limit exceeded, terminating % 16.22/16.42 eprover: CPU time limit exceeded, terminating % 18.22/18.43 eprover: CPU time limit exceeded, terminating % 20.23/20.44 eprover: CPU time limit exceeded, terminating % 22.23/22.44 eprover: CPU time limit exceeded, terminating % 24.23/24.45 eprover: CPU time limit exceeded, terminating % 26.24/26.46 eprover: CPU time limit exceeded, terminating % 28.25/28.47 eprover: CPU time limit exceeded, terminating % 30.25/30.48 eprover: CPU time limit exceeded, terminating % 32.25/32.49 eprover: CPU time limit exceeded, terminating % 34.26/34.49 eprover: CPU time limit exceeded, terminating % 36.35/36.50 eprover: CPU time limit exceeded, terminating % 38.36/38.51 eprover: CPU time limit exceeded, terminating % 40.34/40.52 eprover: CPU time limit exceeded, terminating % 42.38/42.53 eprover: CPU time limit exceeded, terminating % 44.37/44.54 eprover: CPU time limit exceeded, terminating % 46.37/46.54 eprover: CPU time limit exceeded, terminating % 48.37/48.56 eprover: CPU time limit exceeded, terminating % 50.38/50.57 eprover: CPU time limit exceeded, terminating % 52.38/52.58 eprover: CPU time limit exceeded, terminating % 54.38/54.59 eprover: CPU time limit exceeded, terminating % 56.38/56.59 eprover: CPU time limit exceeded, terminating % 58.48/58.60 eprover: CPU time limit exceeded, terminating % 60.48/60.61 eprover: CPU time limit exceeded, terminating % 62.49/62.62 eprover: CPU time limit exceeded, terminating % 64.49/64.63 eprover: CPU time limit exceeded, terminating % 66.51/66.64 eprover: CPU time limit exceeded, terminating % 68.51/68.66 eprover: CPU time limit exceeded, terminating % 70.49/70.67 eprover: CPU time limit exceeded, terminating % 72.50/72.68 eprover: CPU time limit exceeded, terminating % 74.50/74.69 eprover: CPU time limit exceeded, terminating % 76.60/76.71 eprover: CPU time limit exceeded, terminating % 78.61/78.73 eprover: CPU time limit exceeded, terminating % 80.56/80.77 eprover: CPU time limit exceeded, terminating % 82.57/82.78 eprover: CPU time limit exceeded, terminating % 84.66/84.80 eprover: CPU time limit exceeded, terminating % 86.67/86.81 eprover: CPU time limit exceeded, terminating % 88.66/88.82 eprover: CPU time limit exceeded, terminating % 90.66/90.83 eprover: CPU time limit exceeded, terminating % 92.67/92.84 eprover: CPU time limit exceeded, terminating % 94.67/94.85 eprover: CPU time limit exceeded, terminating % 96.67/96.86 eprover: CPU time limit exceeded, terminating % 98.68/98.87 eprover: CPU time limit exceeded, terminating % 100.68/100.88 eprover: CPU time limit exceeded, terminating % 102.68/102.89 eprover: CPU time limit exceeded, terminating % 104.79/104.90 eprover: CPU time limit exceeded, terminating % 106.79/106.91 eprover: CPU time limit exceeded, terminating % 108.79/108.92 eprover: CPU time limit exceeded, terminating % 110.81/110.93 eprover: CPU time limit exceeded, terminating % 112.80/112.94 eprover: CPU time limit exceeded, terminating % 114.80/114.96 eprover: CPU time limit exceeded, terminating % 116.80/116.97 eprover: CPU time limit exceeded, terminating % 118.80/118.98 eprover: CPU time limit exceeded, terminating % 120.81/120.99 eprover: CPU time limit exceeded, terminating % 122.82/123.00 eprover: CPU time limit exceeded, terminating % 124.81/125.01 eprover: CPU time limit exceeded, terminating % 126.82/127.02 eprover: CPU time limit exceeded, terminating % 128.95/129.03 eprover: CPU time limit exceeded, terminating % 130.95/131.05 eprover: CPU time limit exceeded, terminating % 132.94/133.07 eprover: CPU time limit exceeded, terminating % 134.93/135.08 eprover: CPU time limit exceeded, terminating % 136.93/137.10 eprover: CPU time limit exceeded, terminating % 138.93/139.12 eprover: CPU time limit exceeded, terminating % 141.01/141.14 eprover: CPU time limit exceeded, terminating % 143.01/143.16 eprover: CPU time limit exceeded, terminating % 145.00/145.18 eprover: CPU time limit exceeded, terminating % 146.99/147.19 eprover: CPU time limit exceeded, terminating % 149.07/149.21 eprover: CPU time limit exceeded, terminating % 151.06/151.23 eprover: CPU time limit exceeded, terminating % 153.05/153.24 eprover: CPU time limit exceeded, terminating % 155.05/155.26 eprover: CPU time limit exceeded, terminating % 157.05/157.28 eprover: CPU time limit exceeded, terminating % 159.03/159.29 eprover: CPU time limit exceeded, terminating % 161.14/161.31 eprover: CPU time limit exceeded, terminating % 163.13/163.33 eprover: CPU time limit exceeded, terminating % 165.11/165.35 eprover: CPU time limit exceeded, terminating % 167.10/167.38 eprover: CPU time limit exceeded, terminating % 169.19/169.40 eprover: CPU time limit exceeded, terminating % 171.21/171.41 eprover: CPU time limit exceeded, terminating % 173.19/173.43 eprover: CPU time limit exceeded, terminating % 175.19/175.45 eprover: CPU time limit exceeded, terminating % 177.19/177.46 eprover: CPU time limit exceeded, terminating % 179.17/179.48 eprover: CPU time limit exceeded, terminating % 181.18/181.50 eprover: CPU time limit exceeded, terminating % 183.27/183.51 eprover: CPU time limit exceeded, terminating % 185.27/185.53 eprover: CPU time limit exceeded, terminating % 187.27/187.55 eprover: CPU time limit exceeded, terminating % 189.26/189.56 eprover: CPU time limit exceeded, terminating % 191.26/191.58 eprover: CPU time limit exceeded, terminating % 193.36/193.60 eprover: CPU time limit exceeded, terminating % 195.35/195.61 eprover: CPU time limit exceeded, terminating % 197.35/197.63 eprover: CPU time limit exceeded, terminating % 199.35/199.64 eprover: CPU time limit exceeded, terminating % 201.34/201.65 eprover: CPU time limit exceeded, terminating % 203.36/203.66 eprover: CPU time limit exceeded, terminating % 205.35/205.68 eprover: CPU time limit exceeded, terminating % 207.34/207.69 eprover: CPU time limit exceeded, terminating % 209.44/209.71 eprover: CPU time limit exceeded, terminating % 211.45/211.72 eprover: CPU time limit exceeded, terminating % 213.44/213.74 eprover: CPU time limit exceeded, terminating % 215.41/215.76 eprover: CPU time limit exceeded, terminating % 217.42/217.78 eprover: CPU time limit exceeded, terminating % 219.42/219.79 eprover: CPU time limit exceeded, terminating % 221.43/221.80 eprover: CPU time limit exceeded, terminating % 223.54/223.81 eprover: CPU time limit exceeded, terminating % 225.53/225.82 eprover: CPU time limit exceeded, terminating % 227.52/227.83 eprover: CPU time limit exceeded, terminating % 229.53/229.84 eprover: CPU time limit exceeded, terminating % 231.52/231.86 eprover: CPU time limit exceeded, terminating % 233.52/233.87 eprover: CPU time limit exceeded, terminating % 235.53/235.88 eprover: CPU time limit exceeded, terminating % 237.52/237.89 eprover: CPU time limit exceeded, terminating % 239.63/239.90 eprover: CPU time limit exceeded, terminating % 241.63/241.91 eprover: CPU time limit exceeded, terminating % 243.64/243.92 eprover: CPU time limit exceeded, terminating % 245.64/245.94 eprover: CPU time limit exceeded, terminating % 247.64/247.95 eprover: CPU time limit exceeded, terminating % 249.65/249.96 eprover: CPU time limit exceeded, terminating % 251.65/251.97 eprover: CPU time limit exceeded, terminating % 253.63/253.98 eprover: CPU time limit exceeded, terminating % 255.66/255.99 eprover: CPU time limit exceeded, terminating % 257.65/258.00 eprover: CPU time limit exceeded, terminating % 259.65/260.01 eprover: CPU time limit exceeded, terminating % 261.64/262.02 eprover: CPU time limit exceeded, terminating % 263.79/264.03 eprover: CPU time limit exceeded, terminating % 265.79/266.04 eprover: CPU time limit exceeded, terminating % 267.79/268.05 eprover: CPU time limit exceeded, terminating % 269.80/270.06 eprover: CPU time limit exceeded, terminating % 271.80/272.07 eprover: CPU time limit exceeded, terminating % 273.79/274.08 eprover: CPU time limit exceeded, terminating % 275.81/276.09 eprover: CPU time limit exceeded, terminating % 277.80/278.10 eprover: CPU time limit exceeded, terminating % 279.82/280.11 eprover: CPU time limit exceeded, terminating % 281.82/282.12 eprover: CPU time limit exceeded, terminating % 283.91/284.13 eprover: CPU time limit exceeded, terminating % 285.92/286.14 eprover: CPU time limit exceeded, terminating % 287.92/288.15 eprover: CPU time limit exceeded, terminating % 289.93/290.16 eprover: CPU time limit exceeded, terminating % 291.93/292.17 eprover: CPU time limit exceeded, terminating % 293.93/294.18 eprover: CPU time limit exceeded, terminating % 295.93/296.19 eprover: CPU time limit exceeded, terminating % 298.01/298.20 eprover: CPU time limit exceeded, terminating % 299.84/300.03 /bin/sh: line 1: 31965 Terminated eprover --tstp-in --tstp-out -tAuto -xAuto --output-level=0 --cpu-limit=2 /tmp/Infinox_28510/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty > /tmp/Infinox_28510/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty_result % 299.84/300.04 Terminated % 301.89/302.03 /bin/sh: line 1: 31968 Killed eprover --tstp-in --tstp-out -tAuto -xAuto --output-level=0 --cpu-limit=2 /tmp/Infinox_28510/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty > /tmp/Infinox_28510/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty_result %------------------------------------------------------------------------------