%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWX227-1 : TPTP v9.3.0. Released v9.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n006.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:21 PM UTC 2026 % Result : Timeout 286.08s 285.78s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.00/0.12 % Problem : SWX227-1 : TPTP v9.3.0. Released v9.3.0. % 0.11/0.13 % Command : run_infinox %s % 0.16/0.34 % Computer : n006.cluster.edu % 0.16/0.34 % Model : x86_64 x86_64 % 0.16/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.16/0.34 % Memory : 8042.1875MB % 0.16/0.34 % OS : Linux 3.10.0-693.el7.x86_64 % 0.16/0.34 % CPULimit : 300 % 0.16/0.34 % WCLimit : 300 % 0.16/0.34 % DateTime : Tue May 5 12:54:00 EDT 2026 % 0.16/0.34 % CPUTime : % 2.13/2.39 eprover: CPU time limit exceeded, terminating % 4.24/4.40 eprover: CPU time limit exceeded, terminating % 6.24/6.41 eprover: CPU time limit exceeded, terminating % 8.24/8.42 eprover: CPU time limit exceeded, terminating % 10.25/10.43 eprover: CPU time limit exceeded, terminating % 12.25/12.44 eprover: CPU time limit exceeded, terminating % 14.26/14.45 eprover: CPU time limit exceeded, terminating % 16.26/16.46 eprover: CPU time limit exceeded, terminating % 18.26/18.47 eprover: CPU time limit exceeded, terminating % 20.26/20.48 eprover: CPU time limit exceeded, terminating % 22.26/22.49 eprover: CPU time limit exceeded, terminating % 24.37/24.50 eprover: CPU time limit exceeded, terminating % 26.38/26.51 eprover: CPU time limit exceeded, terminating % 28.39/28.52 eprover: CPU time limit exceeded, terminating % 30.39/30.53 eprover: CPU time limit exceeded, terminating % 32.38/32.54 eprover: CPU time limit exceeded, terminating % 34.40/34.55 eprover: CPU time limit exceeded, terminating % 36.39/36.56 eprover: CPU time limit exceeded, terminating % 38.39/38.57 eprover: CPU time limit exceeded, terminating % 40.40/40.58 eprover: CPU time limit exceeded, terminating % 42.40/42.59 eprover: CPU time limit exceeded, terminating % 44.51/44.60 eprover: CPU time limit exceeded, terminating % 46.52/46.61 eprover: CPU time limit exceeded, terminating % 48.53/48.62 eprover: CPU time limit exceeded, terminating % 50.53/50.63 eprover: CPU time limit exceeded, terminating % 52.53/52.64 eprover: CPU time limit exceeded, terminating % 54.53/54.65 eprover: CPU time limit exceeded, terminating % 56.54/56.66 eprover: CPU time limit exceeded, terminating % 58.54/58.67 eprover: CPU time limit exceeded, terminating % 60.55/60.68 eprover: CPU time limit exceeded, terminating % 62.55/62.69 eprover: CPU time limit exceeded, terminating % 64.66/64.70 eprover: CPU time limit exceeded, terminating % 66.67/66.71 eprover: CPU time limit exceeded, terminating % 68.67/68.72 eprover: CPU time limit exceeded, terminating % 70.67/70.73 eprover: CPU time limit exceeded, terminating % 72.67/72.74 eprover: CPU time limit exceeded, terminating % 74.67/74.75 eprover: CPU time limit exceeded, terminating % 76.68/76.76 eprover: CPU time limit exceeded, terminating % 78.69/78.77 eprover: CPU time limit exceeded, terminating % 80.70/80.78 eprover: CPU time limit exceeded, terminating % 82.69/82.80 eprover: CPU time limit exceeded, terminating % 84.80/84.81 eprover: CPU time limit exceeded, terminating % 86.81/86.82 eprover: CPU time limit exceeded, terminating % 88.81/88.83 eprover: CPU time limit exceeded, terminating % 90.82/90.84 eprover: CPU time limit exceeded, terminating % 92.82/92.85 eprover: CPU time limit exceeded, terminating % 94.82/94.86 eprover: CPU time limit exceeded, terminating % 96.81/96.87 eprover: CPU time limit exceeded, terminating % 98.83/98.88 eprover: CPU time limit exceeded, terminating % 100.82/100.89 eprover: CPU time limit exceeded, terminating % 102.93/102.90 eprover: CPU time limit exceeded, terminating % 104.93/104.91 eprover: CPU time limit exceeded, terminating % 106.93/106.92 eprover: CPU time limit exceeded, terminating % 108.93/108.93 eprover: CPU time limit exceeded, terminating % 110.93/110.94 eprover: CPU time limit exceeded, terminating % 112.94/112.95 eprover: CPU time limit exceeded, terminating % 114.94/114.96 eprover: CPU time limit exceeded, terminating % 116.95/116.97 eprover: CPU time limit exceeded, terminating % 118.95/118.98 eprover: CPU time limit exceeded, terminating % 120.96/120.99 eprover: CPU time limit exceeded, terminating % 122.96/123.00 eprover: CPU time limit exceeded, terminating % 124.97/125.00 eprover: CPU time limit exceeded, terminating % 126.97/127.01 eprover: CPU time limit exceeded, terminating % 128.98/129.02 eprover: CPU time limit exceeded, terminating % 131.09/131.03 eprover: CPU time limit exceeded, terminating % 133.09/133.04 eprover: CPU time limit exceeded, terminating % 135.11/135.05 eprover: CPU time limit exceeded, terminating % 137.11/137.06 eprover: CPU time limit exceeded, terminating % 139.13/139.07 eprover: CPU time limit exceeded, terminating % 141.11/141.08 eprover: CPU time limit exceeded, terminating % 143.12/143.09 eprover: CPU time limit exceeded, terminating % 145.13/145.10 eprover: CPU time limit exceeded, terminating % 147.12/147.11 eprover: CPU time limit exceeded, terminating % 149.14/149.12 eprover: CPU time limit exceeded, terminating % 151.25/151.13 eprover: CPU time limit exceeded, terminating % 153.24/153.14 eprover: CPU time limit exceeded, terminating % 155.25/155.15 eprover: CPU time limit exceeded, terminating % 157.25/157.16 eprover: CPU time limit exceeded, terminating % 159.25/159.17 eprover: CPU time limit exceeded, terminating % 161.26/161.18 eprover: CPU time limit exceeded, terminating % 163.26/163.19 eprover: CPU time limit exceeded, terminating % 165.33/165.20 eprover: CPU time limit exceeded, terminating % 167.35/167.21 eprover: CPU time limit exceeded, terminating % 169.35/169.22 eprover: CPU time limit exceeded, terminating % 171.36/171.23 eprover: CPU time limit exceeded, terminating % 173.35/173.24 eprover: CPU time limit exceeded, terminating % 175.35/175.25 eprover: CPU time limit exceeded, terminating % 177.36/177.26 eprover: CPU time limit exceeded, terminating % 179.35/179.27 eprover: CPU time limit exceeded, terminating % 181.38/181.28 eprover: CPU time limit exceeded, terminating % 183.36/183.29 eprover: CPU time limit exceeded, terminating % 185.47/185.30 eprover: CPU time limit exceeded, terminating % 187.48/187.31 eprover: CPU time limit exceeded, terminating % 189.47/189.32 eprover: CPU time limit exceeded, terminating % 191.49/191.33 eprover: CPU time limit exceeded, terminating % 193.49/193.34 eprover: CPU time limit exceeded, terminating % 195.49/195.35 eprover: CPU time limit exceeded, terminating % 197.51/197.36 eprover: CPU time limit exceeded, terminating % 199.49/199.37 eprover: CPU time limit exceeded, terminating % 201.51/201.38 eprover: CPU time limit exceeded, terminating % 203.51/203.39 eprover: CPU time limit exceeded, terminating % 205.61/205.40 eprover: CPU time limit exceeded, terminating % 207.62/207.41 eprover: CPU time limit exceeded, terminating % 209.63/209.43 eprover: CPU time limit exceeded, terminating % 211.63/211.44 eprover: CPU time limit exceeded, terminating % 213.63/213.45 eprover: CPU time limit exceeded, terminating % 215.63/215.45 eprover: CPU time limit exceeded, terminating % 217.64/217.46 eprover: CPU time limit exceeded, terminating % 219.64/219.47 eprover: CPU time limit exceeded, terminating % 221.64/221.48 eprover: CPU time limit exceeded, terminating % 223.65/223.49 eprover: CPU time limit exceeded, terminating % 225.76/225.50 eprover: CPU time limit exceeded, terminating % 227.74/227.51 eprover: CPU time limit exceeded, terminating % 229.75/229.52 eprover: CPU time limit exceeded, terminating % 231.76/231.53 eprover: CPU time limit exceeded, terminating % 233.76/233.54 eprover: CPU time limit exceeded, terminating % 235.77/235.55 eprover: CPU time limit exceeded, terminating % 237.77/237.56 eprover: CPU time limit exceeded, terminating % 239.77/239.57 eprover: CPU time limit exceeded, terminating % 241.79/241.58 eprover: CPU time limit exceeded, terminating % 243.78/243.59 eprover: CPU time limit exceeded, terminating % 245.79/245.59 eprover: CPU time limit exceeded, terminating % 247.91/247.60 eprover: CPU time limit exceeded, terminating % 249.90/249.61 eprover: CPU time limit exceeded, terminating % 251.91/251.62 eprover: CPU time limit exceeded, terminating % 253.91/253.63 eprover: CPU time limit exceeded, terminating % 255.93/255.64 eprover: CPU time limit exceeded, terminating % 257.93/257.65 eprover: CPU time limit exceeded, terminating % 259.93/259.66 eprover: CPU time limit exceeded, terminating % 261.93/261.67 eprover: CPU time limit exceeded, terminating % 263.95/263.68 eprover: CPU time limit exceeded, terminating % 265.95/265.69 eprover: CPU time limit exceeded, terminating % 268.03/267.70 eprover: CPU time limit exceeded, terminating % 270.05/269.71 eprover: CPU time limit exceeded, terminating % 272.05/271.72 eprover: CPU time limit exceeded, terminating % 274.06/273.73 eprover: CPU time limit exceeded, terminating % 276.06/275.74 eprover: CPU time limit exceeded, terminating % 278.06/277.75 eprover: CPU time limit exceeded, terminating % 280.07/279.75 eprover: CPU time limit exceeded, terminating % 282.07/281.76 eprover: CPU time limit exceeded, terminating % 284.07/283.77 eprover: CPU time limit exceeded, terminating % 286.08/285.78 eprover: CPU time limit exceeded, terminating % 288.10/287.79 eprover: CPU time limit exceeded, terminating % 290.19/289.80 eprover: CPU time limit exceeded, terminating % 292.19/291.81 eprover: CPU time limit exceeded, terminating % 294.19/293.82 eprover: CPU time limit exceeded, terminating % 296.21/295.83 eprover: CPU time limit exceeded, terminating % 298.22/297.84 eprover: CPU time limit exceeded, terminating % 300.02/299.60 /bin/sh: line 1: 9256 Terminated eprover --tstp-in --tstp-out -tAuto -xAuto --output-level=0 --cpu-limit=2 /tmp/Infinox_6932/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty > /tmp/Infinox_6932/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty_result % 300.02/299.61 Terminated % 302.04/301.60 /bin/sh: line 1: 9259 Killed eprover --tstp-in --tstp-out -tAuto -xAuto --output-level=0 --cpu-limit=2 /tmp/Infinox_6932/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty > /tmp/Infinox_6932/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty_result %------------------------------------------------------------------------------