%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWX208-1 : TPTP v9.3.0. Released v9.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n017.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 286.55s 286.14s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.00/0.12 % Problem : SWX208-1 : TPTP v9.3.0. Released v9.3.0. % 0.12/0.13 % Command : run_infinox %s % 0.17/0.35 % Computer : n017.cluster.edu % 0.17/0.35 % Model : x86_64 x86_64 % 0.17/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.17/0.35 % Memory : 8042.1875MB % 0.17/0.35 % OS : Linux 3.10.0-693.el7.x86_64 % 0.17/0.35 % CPULimit : 300 % 0.17/0.35 % WCLimit : 300 % 0.17/0.35 % DateTime : Tue May 5 11:38:12 EDT 2026 % 0.17/0.35 % CPUTime : % 2.22/2.44 eprover: CPU time limit exceeded, terminating % 4.21/4.46 eprover: CPU time limit exceeded, terminating % 6.23/6.48 eprover: CPU time limit exceeded, terminating % 8.32/8.50 eprover: CPU time limit exceeded, terminating % 10.31/10.52 eprover: CPU time limit exceeded, terminating % 12.30/12.55 eprover: CPU time limit exceeded, terminating % 14.28/14.59 eprover: CPU time limit exceeded, terminating % 16.36/16.61 eprover: CPU time limit exceeded, terminating % 18.36/18.63 eprover: CPU time limit exceeded, terminating % 20.38/20.64 eprover: CPU time limit exceeded, terminating % 22.37/22.65 eprover: CPU time limit exceeded, terminating % 24.38/24.67 eprover: CPU time limit exceeded, terminating % 26.37/26.68 eprover: CPU time limit exceeded, terminating % 28.49/28.70 eprover: CPU time limit exceeded, terminating % 30.48/30.72 eprover: CPU time limit exceeded, terminating % 32.47/32.74 eprover: CPU time limit exceeded, terminating % 34.48/34.75 eprover: CPU time limit exceeded, terminating % 36.48/36.77 eprover: CPU time limit exceeded, terminating % 38.46/38.79 eprover: CPU time limit exceeded, terminating % 40.56/40.81 eprover: CPU time limit exceeded, terminating % 42.57/42.83 eprover: CPU time limit exceeded, terminating % 44.57/44.85 eprover: CPU time limit exceeded, terminating % 46.56/46.87 eprover: CPU time limit exceeded, terminating % 48.54/48.89 eprover: CPU time limit exceeded, terminating % 50.66/50.90 eprover: CPU time limit exceeded, terminating % 52.66/52.91 eprover: CPU time limit exceeded, terminating % 54.66/54.92 eprover: CPU time limit exceeded, terminating % 56.68/56.93 eprover: CPU time limit exceeded, terminating % 58.69/58.94 eprover: CPU time limit exceeded, terminating % 60.70/60.95 eprover: CPU time limit exceeded, terminating % 62.69/62.97 eprover: CPU time limit exceeded, terminating % 64.70/64.98 eprover: CPU time limit exceeded, terminating % 66.71/66.99 eprover: CPU time limit exceeded, terminating % 68.71/69.00 eprover: CPU time limit exceeded, terminating % 70.70/71.01 eprover: CPU time limit exceeded, terminating % 72.72/73.02 eprover: CPU time limit exceeded, terminating % 74.85/75.03 eprover: CPU time limit exceeded, terminating % 76.85/77.04 eprover: CPU time limit exceeded, terminating % 78.86/79.05 eprover: CPU time limit exceeded, terminating % 80.88/81.06 eprover: CPU time limit exceeded, terminating % 82.87/83.07 eprover: CPU time limit exceeded, terminating % 84.88/85.08 eprover: CPU time limit exceeded, terminating % 86.89/87.09 eprover: CPU time limit exceeded, terminating % 88.89/89.10 eprover: CPU time limit exceeded, terminating % 90.90/91.11 eprover: CPU time limit exceeded, terminating % 93.01/93.13 eprover: CPU time limit exceeded, terminating % 95.01/95.14 eprover: CPU time limit exceeded, terminating % 97.02/97.15 eprover: CPU time limit exceeded, terminating % 99.03/99.16 eprover: CPU time limit exceeded, terminating % 101.03/101.17 eprover: CPU time limit exceeded, terminating % 103.04/103.19 eprover: CPU time limit exceeded, terminating % 105.04/105.20 eprover: CPU time limit exceeded, terminating % 107.12/107.21 eprover: CPU time limit exceeded, terminating % 109.13/109.22 eprover: CPU time limit exceeded, terminating % 111.12/111.23 eprover: CPU time limit exceeded, terminating % 113.12/113.24 eprover: CPU time limit exceeded, terminating % 115.14/115.25 eprover: CPU time limit exceeded, terminating % 117.14/117.26 eprover: CPU time limit exceeded, terminating % 119.15/119.27 eprover: CPU time limit exceeded, terminating % 121.16/121.28 eprover: CPU time limit exceeded, terminating % 123.17/123.29 eprover: CPU time limit exceeded, terminating % 125.27/125.30 eprover: CPU time limit exceeded, terminating % 127.28/127.31 eprover: CPU time limit exceeded, terminating % 129.29/129.32 eprover: CPU time limit exceeded, terminating % 131.29/131.33 eprover: CPU time limit exceeded, terminating % 133.30/133.34 eprover: CPU time limit exceeded, terminating % 135.30/135.35 eprover: CPU time limit exceeded, terminating % 137.30/137.37 eprover: CPU time limit exceeded, terminating % 139.32/139.38 eprover: CPU time limit exceeded, terminating % 141.31/141.39 eprover: CPU time limit exceeded, terminating % 143.41/143.40 eprover: CPU time limit exceeded, terminating % 145.43/145.41 eprover: CPU time limit exceeded, terminating % 147.44/147.42 eprover: CPU time limit exceeded, terminating % 149.45/149.43 eprover: CPU time limit exceeded, terminating % 151.45/151.44 eprover: CPU time limit exceeded, terminating % 153.45/153.45 eprover: CPU time limit exceeded, terminating % 155.46/155.46 eprover: CPU time limit exceeded, terminating % 157.47/157.48 eprover: CPU time limit exceeded, terminating % 159.47/159.49 eprover: CPU time limit exceeded, terminating % 161.47/161.50 eprover: CPU time limit exceeded, terminating % 163.59/163.51 eprover: CPU time limit exceeded, terminating % 165.60/165.52 eprover: CPU time limit exceeded, terminating % 167.60/167.53 eprover: CPU time limit exceeded, terminating % 169.61/169.54 eprover: CPU time limit exceeded, terminating % 171.61/171.56 eprover: CPU time limit exceeded, terminating % 173.61/173.57 eprover: CPU time limit exceeded, terminating % 175.61/175.58 eprover: CPU time limit exceeded, terminating % 177.61/177.59 eprover: CPU time limit exceeded, terminating % 179.71/179.60 eprover: CPU time limit exceeded, terminating % 181.73/181.61 eprover: CPU time limit exceeded, terminating % 183.74/183.62 eprover: CPU time limit exceeded, terminating % 185.73/185.63 eprover: CPU time limit exceeded, terminating % 187.75/187.64 eprover: CPU time limit exceeded, terminating % 189.75/189.65 eprover: CPU time limit exceeded, terminating % 191.76/191.66 eprover: CPU time limit exceeded, terminating % 193.76/193.67 eprover: CPU time limit exceeded, terminating % 195.76/195.68 eprover: CPU time limit exceeded, terminating % 197.77/197.69 eprover: CPU time limit exceeded, terminating % 199.87/199.70 eprover: CPU time limit exceeded, terminating % 201.88/201.71 eprover: CPU time limit exceeded, terminating % 203.88/203.72 eprover: CPU time limit exceeded, terminating % 205.91/205.73 eprover: CPU time limit exceeded, terminating % 207.91/207.74 eprover: CPU time limit exceeded, terminating % 209.91/209.75 eprover: CPU time limit exceeded, terminating % 211.90/211.76 eprover: CPU time limit exceeded, terminating % 213.92/213.77 eprover: CPU time limit exceeded, terminating % 215.93/215.78 eprover: CPU time limit exceeded, terminating % 217.93/217.79 eprover: CPU time limit exceeded, terminating % 220.04/219.80 eprover: CPU time limit exceeded, terminating % 222.04/221.81 eprover: CPU time limit exceeded, terminating % 224.06/223.82 eprover: CPU time limit exceeded, terminating % 226.04/225.83 eprover: CPU time limit exceeded, terminating % 228.06/227.84 eprover: CPU time limit exceeded, terminating % 230.07/229.85 eprover: CPU time limit exceeded, terminating % 232.07/231.86 eprover: CPU time limit exceeded, terminating % 234.07/233.87 eprover: CPU time limit exceeded, terminating % 236.08/235.88 eprover: CPU time limit exceeded, terminating % 238.07/237.89 eprover: CPU time limit exceeded, terminating % 240.19/239.90 eprover: CPU time limit exceeded, terminating % 242.20/241.91 eprover: CPU time limit exceeded, terminating % 244.21/243.92 eprover: CPU time limit exceeded, terminating % 246.23/245.93 eprover: CPU time limit exceeded, terminating % 248.21/247.94 eprover: CPU time limit exceeded, terminating % 250.21/249.95 eprover: CPU time limit exceeded, terminating % 252.23/251.96 eprover: CPU time limit exceeded, terminating % 254.24/253.97 eprover: CPU time limit exceeded, terminating % 256.25/255.98 eprover: CPU time limit exceeded, terminating % 258.25/257.99 eprover: CPU time limit exceeded, terminating % 260.25/260.00 eprover: CPU time limit exceeded, terminating % 262.26/262.01 eprover: CPU time limit exceeded, terminating % 264.25/264.03 eprover: CPU time limit exceeded, terminating % 266.38/266.04 eprover: CPU time limit exceeded, terminating % 268.40/268.05 eprover: CPU time limit exceeded, terminating % 270.40/270.06 eprover: CPU time limit exceeded, terminating % 272.40/272.07 eprover: CPU time limit exceeded, terminating % 274.41/274.08 eprover: CPU time limit exceeded, terminating % 276.41/276.09 eprover: CPU time limit exceeded, terminating % 278.42/278.10 eprover: CPU time limit exceeded, terminating % 280.43/280.11 eprover: CPU time limit exceeded, terminating % 282.43/282.12 eprover: CPU time limit exceeded, terminating % 284.54/284.13 eprover: CPU time limit exceeded, terminating % 286.55/286.14 eprover: CPU time limit exceeded, terminating % 288.55/288.15 eprover: CPU time limit exceeded, terminating % 290.56/290.16 eprover: CPU time limit exceeded, terminating % 292.55/292.16 eprover: CPU time limit exceeded, terminating % 294.57/294.17 eprover: CPU time limit exceeded, terminating % 296.57/296.18 eprover: CPU time limit exceeded, terminating % 298.57/298.19 eprover: CPU time limit exceeded, terminating % 300.05/299.60 /bin/sh: line 1: 14044 Terminated eprover --tstp-in --tstp-out -tAuto -xAuto --output-level=0 --cpu-limit=2 /tmp/Infinox_12678/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty > /tmp/Infinox_12678/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty_result % 300.05/299.61 Terminated % 302.11/301.60 /bin/sh: line 1: 14047 Killed eprover --tstp-in --tstp-out -tAuto -xAuto --output-level=0 --cpu-limit=2 /tmp/Infinox_12678/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty > /tmp/Infinox_12678/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty_result %------------------------------------------------------------------------------