%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWX209-1 : TPTP v9.3.0. Released v9.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n015.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:19 PM UTC 2026 % Result : Timeout 286.30s 285.93s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.00/0.12 % Problem : SWX209-1 : TPTP v9.3.0. Released v9.3.0. % 0.12/0.13 % Command : run_infinox %s % 0.18/0.35 % Computer : n015.cluster.edu % 0.18/0.35 % Model : x86_64 x86_64 % 0.18/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.18/0.35 % Memory : 8042.1875MB % 0.18/0.35 % OS : Linux 3.10.0-693.el7.x86_64 % 0.18/0.35 % CPULimit : 300 % 0.18/0.35 % WCLimit : 300 % 0.18/0.35 % DateTime : Tue May 5 11:43:46 EDT 2026 % 0.18/0.35 % CPUTime : % 2.24/2.40 eprover: CPU time limit exceeded, terminating % 4.22/4.41 eprover: CPU time limit exceeded, terminating % 6.23/6.42 eprover: CPU time limit exceeded, terminating % 8.24/8.43 eprover: CPU time limit exceeded, terminating % 10.24/10.44 eprover: CPU time limit exceeded, terminating % 12.24/12.45 eprover: CPU time limit exceeded, terminating % 14.25/14.47 eprover: CPU time limit exceeded, terminating % 16.26/16.48 eprover: CPU time limit exceeded, terminating % 18.26/18.49 eprover: CPU time limit exceeded, terminating % 20.26/20.50 eprover: CPU time limit exceeded, terminating % 22.37/22.51 eprover: CPU time limit exceeded, terminating % 24.38/24.52 eprover: CPU time limit exceeded, terminating % 26.39/26.53 eprover: CPU time limit exceeded, terminating % 28.39/28.54 eprover: CPU time limit exceeded, terminating % 30.39/30.55 eprover: CPU time limit exceeded, terminating % 32.39/32.56 eprover: CPU time limit exceeded, terminating % 34.39/34.57 eprover: CPU time limit exceeded, terminating % 36.40/36.58 eprover: CPU time limit exceeded, terminating % 38.41/38.59 eprover: CPU time limit exceeded, terminating % 40.51/40.61 eprover: CPU time limit exceeded, terminating % 42.52/42.62 eprover: CPU time limit exceeded, terminating % 44.52/44.63 eprover: CPU time limit exceeded, terminating % 46.53/46.64 eprover: CPU time limit exceeded, terminating % 48.53/48.65 eprover: CPU time limit exceeded, terminating % 50.52/50.66 eprover: CPU time limit exceeded, terminating % 52.54/52.67 eprover: CPU time limit exceeded, terminating % 54.56/54.68 eprover: CPU time limit exceeded, terminating % 56.54/56.69 eprover: CPU time limit exceeded, terminating % 58.65/58.70 eprover: CPU time limit exceeded, terminating % 60.65/60.71 eprover: CPU time limit exceeded, terminating % 62.65/62.72 eprover: CPU time limit exceeded, terminating % 64.68/64.73 eprover: CPU time limit exceeded, terminating % 66.68/66.75 eprover: CPU time limit exceeded, terminating % 68.67/68.76 eprover: CPU time limit exceeded, terminating % 70.68/70.77 eprover: CPU time limit exceeded, terminating % 72.70/72.78 eprover: CPU time limit exceeded, terminating % 74.69/74.79 eprover: CPU time limit exceeded, terminating % 76.80/76.80 eprover: CPU time limit exceeded, terminating % 78.79/78.81 eprover: CPU time limit exceeded, terminating % 80.81/80.82 eprover: CPU time limit exceeded, terminating % 82.81/82.83 eprover: CPU time limit exceeded, terminating % 84.81/84.84 eprover: CPU time limit exceeded, terminating % 86.82/86.85 eprover: CPU time limit exceeded, terminating % 88.83/88.87 eprover: CPU time limit exceeded, terminating % 90.81/90.88 eprover: CPU time limit exceeded, terminating % 92.84/92.89 eprover: CPU time limit exceeded, terminating % 94.94/94.90 eprover: CPU time limit exceeded, terminating % 96.94/96.91 eprover: CPU time limit exceeded, terminating % 98.95/98.92 eprover: CPU time limit exceeded, terminating % 100.95/100.93 eprover: CPU time limit exceeded, terminating % 102.96/102.94 eprover: CPU time limit exceeded, terminating % 104.95/104.95 eprover: CPU time limit exceeded, terminating % 106.97/106.96 eprover: CPU time limit exceeded, terminating % 108.97/108.97 eprover: CPU time limit exceeded, terminating % 110.97/110.98 eprover: CPU time limit exceeded, terminating % 112.98/112.99 eprover: CPU time limit exceeded, terminating % 114.98/115.00 eprover: CPU time limit exceeded, terminating % 116.99/117.01 eprover: CPU time limit exceeded, terminating % 118.98/119.02 eprover: CPU time limit exceeded, terminating % 121.12/121.03 eprover: CPU time limit exceeded, terminating % 123.13/123.04 eprover: CPU time limit exceeded, terminating % 125.12/125.05 eprover: CPU time limit exceeded, terminating % 127.13/127.07 eprover: CPU time limit exceeded, terminating % 129.13/129.08 eprover: CPU time limit exceeded, terminating % 131.15/131.09 eprover: CPU time limit exceeded, terminating % 133.16/133.10 eprover: CPU time limit exceeded, terminating % 135.15/135.11 eprover: CPU time limit exceeded, terminating % 137.15/137.12 eprover: CPU time limit exceeded, terminating % 139.27/139.14 eprover: CPU time limit exceeded, terminating % 141.28/141.15 eprover: CPU time limit exceeded, terminating % 143.27/143.16 eprover: CPU time limit exceeded, terminating % 145.27/145.17 eprover: CPU time limit exceeded, terminating % 147.29/147.18 eprover: CPU time limit exceeded, terminating % 149.29/149.19 eprover: CPU time limit exceeded, terminating % 151.36/151.20 eprover: CPU time limit exceeded, terminating % 153.36/153.21 eprover: CPU time limit exceeded, terminating % 155.36/155.22 eprover: CPU time limit exceeded, terminating % 157.36/157.23 eprover: CPU time limit exceeded, terminating % 159.38/159.24 eprover: CPU time limit exceeded, terminating % 161.39/161.25 eprover: CPU time limit exceeded, terminating % 163.39/163.27 eprover: CPU time limit exceeded, terminating % 165.40/165.28 eprover: CPU time limit exceeded, terminating % 167.39/167.29 eprover: CPU time limit exceeded, terminating % 169.51/169.30 eprover: CPU time limit exceeded, terminating % 171.51/171.31 eprover: CPU time limit exceeded, terminating % 173.50/173.32 eprover: CPU time limit exceeded, terminating % 175.52/175.33 eprover: CPU time limit exceeded, terminating % 177.51/177.34 eprover: CPU time limit exceeded, terminating % 179.52/179.35 eprover: CPU time limit exceeded, terminating % 181.53/181.36 eprover: CPU time limit exceeded, terminating % 183.54/183.37 eprover: CPU time limit exceeded, terminating % 185.52/185.38 eprover: CPU time limit exceeded, terminating % 187.55/187.39 eprover: CPU time limit exceeded, terminating % 189.65/189.40 eprover: CPU time limit exceeded, terminating % 191.66/191.41 eprover: CPU time limit exceeded, terminating % 193.66/193.42 eprover: CPU time limit exceeded, terminating % 195.65/195.43 eprover: CPU time limit exceeded, terminating % 197.67/197.44 eprover: CPU time limit exceeded, terminating % 199.66/199.46 eprover: CPU time limit exceeded, terminating % 201.67/201.47 eprover: CPU time limit exceeded, terminating % 203.68/203.48 eprover: CPU time limit exceeded, terminating % 205.68/205.49 eprover: CPU time limit exceeded, terminating % 207.68/207.50 eprover: CPU time limit exceeded, terminating % 209.79/209.51 eprover: CPU time limit exceeded, terminating % 211.79/211.52 eprover: CPU time limit exceeded, terminating % 213.79/213.53 eprover: CPU time limit exceeded, terminating % 215.81/215.54 eprover: CPU time limit exceeded, terminating % 217.81/217.55 eprover: CPU time limit exceeded, terminating % 219.79/219.57 eprover: CPU time limit exceeded, terminating % 221.80/221.58 eprover: CPU time limit exceeded, terminating % 223.81/223.59 eprover: CPU time limit exceeded, terminating % 225.91/225.60 eprover: CPU time limit exceeded, terminating % 227.92/227.61 eprover: CPU time limit exceeded, terminating % 229.91/229.64 eprover: CPU time limit exceeded, terminating % 231.90/231.65 eprover: CPU time limit exceeded, terminating % 233.90/233.65 eprover: CPU time limit exceeded, terminating % 235.91/235.66 eprover: CPU time limit exceeded, terminating % 237.91/237.68 eprover: CPU time limit exceeded, terminating % 240.01/239.70 eprover: CPU time limit exceeded, terminating % 242.01/241.71 eprover: CPU time limit exceeded, terminating % 244.02/243.72 eprover: CPU time limit exceeded, terminating % 246.02/245.73 eprover: CPU time limit exceeded, terminating % 248.03/247.74 eprover: CPU time limit exceeded, terminating % 250.03/249.75 eprover: CPU time limit exceeded, terminating % 252.03/251.76 eprover: CPU time limit exceeded, terminating % 254.05/253.77 eprover: CPU time limit exceeded, terminating % 256.04/255.78 eprover: CPU time limit exceeded, terminating % 258.03/257.79 eprover: CPU time limit exceeded, terminating % 260.16/259.80 eprover: CPU time limit exceeded, terminating % 262.16/261.81 eprover: CPU time limit exceeded, terminating % 264.17/263.82 eprover: CPU time limit exceeded, terminating % 266.16/265.83 eprover: CPU time limit exceeded, terminating % 268.16/267.84 eprover: CPU time limit exceeded, terminating % 270.18/269.85 eprover: CPU time limit exceeded, terminating % 272.17/271.86 eprover: CPU time limit exceeded, terminating % 274.19/273.87 eprover: CPU time limit exceeded, terminating % 276.19/275.88 eprover: CPU time limit exceeded, terminating % 278.19/277.89 eprover: CPU time limit exceeded, terminating % 280.29/279.90 eprover: CPU time limit exceeded, terminating % 282.29/281.91 eprover: CPU time limit exceeded, terminating % 284.31/283.92 eprover: CPU time limit exceeded, terminating % 286.30/285.93 eprover: CPU time limit exceeded, terminating % 288.31/287.94 eprover: CPU time limit exceeded, terminating % 290.31/289.96 eprover: CPU time limit exceeded, terminating % 292.31/291.97 eprover: CPU time limit exceeded, terminating % 294.32/293.98 eprover: CPU time limit exceeded, terminating % 296.33/295.99 eprover: CPU time limit exceeded, terminating % 298.33/298.00 eprover: CPU time limit exceeded, terminating % 300.04/299.60 /bin/sh: line 1: 17702 Terminated eprover --tstp-in --tstp-out -tAuto -xAuto --output-level=0 --cpu-limit=2 /tmp/Infinox_15850/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty > /tmp/Infinox_15850/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty_result % 300.04/299.62 Terminated % 302.08/301.60 /bin/sh: line 1: 17705 Killed eprover --tstp-in --tstp-out -tAuto -xAuto --output-level=0 --cpu-limit=2 /tmp/Infinox_15850/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty > /tmp/Infinox_15850/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty_result %------------------------------------------------------------------------------