%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWX213-1 : TPTP v9.3.0. Released v9.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n011.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.27s 286.64s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.12/0.13 % Problem : SWX213-1 : TPTP v9.3.0. Released v9.3.0. % 0.12/0.13 % Command : run_infinox %s % 0.18/0.35 % Computer : n011.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 12:01:02 EDT 2026 % 0.18/0.35 % CPUTime : % 2.22/2.41 eprover: CPU time limit exceeded, terminating % 4.23/4.42 eprover: CPU time limit exceeded, terminating % 6.18/6.47 eprover: CPU time limit exceeded, terminating % 8.26/8.52 eprover: CPU time limit exceeded, terminating % 10.23/10.57 eprover: CPU time limit exceeded, terminating % 12.30/12.63 eprover: CPU time limit exceeded, terminating % 14.28/14.65 eprover: CPU time limit exceeded, terminating % 16.29/16.67 eprover: CPU time limit exceeded, terminating % 18.37/18.72 eprover: CPU time limit exceeded, terminating % 20.33/20.77 eprover: CPU time limit exceeded, terminating % 22.43/22.80 eprover: CPU time limit exceeded, terminating % 24.43/24.82 eprover: CPU time limit exceeded, terminating % 26.43/26.84 eprover: CPU time limit exceeded, terminating % 28.40/28.86 eprover: CPU time limit exceeded, terminating % 30.42/30.88 eprover: CPU time limit exceeded, terminating % 32.41/32.89 eprover: CPU time limit exceeded, terminating % 34.52/34.91 eprover: CPU time limit exceeded, terminating % 36.51/36.93 eprover: CPU time limit exceeded, terminating % 38.52/38.94 eprover: CPU time limit exceeded, terminating % 40.51/40.96 eprover: CPU time limit exceeded, terminating % 42.52/42.97 eprover: CPU time limit exceeded, terminating % 44.52/44.98 eprover: CPU time limit exceeded, terminating % 46.53/46.99 eprover: CPU time limit exceeded, terminating % 48.53/49.00 eprover: CPU time limit exceeded, terminating % 50.53/51.01 eprover: CPU time limit exceeded, terminating % 52.64/53.05 eprover: CPU time limit exceeded, terminating % 54.61/55.09 eprover: CPU time limit exceeded, terminating % 56.60/57.12 eprover: CPU time limit exceeded, terminating % 58.70/59.15 eprover: CPU time limit exceeded, terminating % 60.66/61.19 eprover: CPU time limit exceeded, terminating % 62.72/63.24 eprover: CPU time limit exceeded, terminating % 64.71/65.28 eprover: CPU time limit exceeded, terminating % 66.81/67.30 eprover: CPU time limit exceeded, terminating % 68.76/69.36 eprover: CPU time limit exceeded, terminating % 70.83/71.41 eprover: CPU time limit exceeded, terminating % 72.81/73.44 eprover: CPU time limit exceeded, terminating % 74.82/75.47 eprover: CPU time limit exceeded, terminating % 76.81/77.49 eprover: CPU time limit exceeded, terminating % 78.93/79.50 eprover: CPU time limit exceeded, terminating % 80.92/81.52 eprover: CPU time limit exceeded, terminating % 82.92/83.53 eprover: CPU time limit exceeded, terminating % 84.92/85.54 eprover: CPU time limit exceeded, terminating % 86.92/87.56 eprover: CPU time limit exceeded, terminating % 88.93/89.57 eprover: CPU time limit exceeded, terminating % 90.92/91.59 eprover: CPU time limit exceeded, terminating % 93.03/93.60 eprover: CPU time limit exceeded, terminating % 95.02/95.61 eprover: CPU time limit exceeded, terminating % 97.03/97.62 eprover: CPU time limit exceeded, terminating % 99.04/99.63 eprover: CPU time limit exceeded, terminating % 101.05/101.63 eprover: CPU time limit exceeded, terminating % 103.05/103.64 eprover: CPU time limit exceeded, terminating % 105.05/105.65 eprover: CPU time limit exceeded, terminating % 107.06/107.66 eprover: CPU time limit exceeded, terminating % 109.07/109.67 eprover: CPU time limit exceeded, terminating % 111.07/111.68 eprover: CPU time limit exceeded, terminating % 113.07/113.69 eprover: CPU time limit exceeded, terminating % 115.06/115.69 eprover: CPU time limit exceeded, terminating % 117.17/117.70 eprover: CPU time limit exceeded, terminating % 119.18/119.71 eprover: CPU time limit exceeded, terminating % 121.18/121.72 eprover: CPU time limit exceeded, terminating % 123.19/123.73 eprover: CPU time limit exceeded, terminating % 125.19/125.73 eprover: CPU time limit exceeded, terminating % 127.19/127.74 eprover: CPU time limit exceeded, terminating % 129.19/129.75 eprover: CPU time limit exceeded, terminating % 131.21/131.76 eprover: CPU time limit exceeded, terminating % 133.20/133.77 eprover: CPU time limit exceeded, terminating % 135.20/135.77 eprover: CPU time limit exceeded, terminating % 137.21/137.78 eprover: CPU time limit exceeded, terminating % 139.21/139.79 eprover: CPU time limit exceeded, terminating % 141.22/141.80 eprover: CPU time limit exceeded, terminating % 143.32/143.80 eprover: CPU time limit exceeded, terminating % 145.32/145.81 eprover: CPU time limit exceeded, terminating % 147.34/147.82 eprover: CPU time limit exceeded, terminating % 149.34/149.83 eprover: CPU time limit exceeded, terminating % 151.33/151.84 eprover: CPU time limit exceeded, terminating % 153.34/153.85 eprover: CPU time limit exceeded, terminating % 155.34/155.86 eprover: CPU time limit exceeded, terminating % 157.36/157.87 eprover: CPU time limit exceeded, terminating % 159.35/159.89 eprover: CPU time limit exceeded, terminating % 161.35/161.90 eprover: CPU time limit exceeded, terminating % 163.46/163.91 eprover: CPU time limit exceeded, terminating % 165.46/165.92 eprover: CPU time limit exceeded, terminating % 167.46/167.93 eprover: CPU time limit exceeded, terminating % 169.48/169.94 eprover: CPU time limit exceeded, terminating % 171.48/171.95 eprover: CPU time limit exceeded, terminating % 173.47/173.96 eprover: CPU time limit exceeded, terminating % 175.49/175.97 eprover: CPU time limit exceeded, terminating % 177.50/177.98 eprover: CPU time limit exceeded, terminating % 179.50/179.99 eprover: CPU time limit exceeded, terminating % 181.49/182.00 eprover: CPU time limit exceeded, terminating % 183.51/184.01 eprover: CPU time limit exceeded, terminating % 185.50/186.02 eprover: CPU time limit exceeded, terminating % 187.63/188.03 eprover: CPU time limit exceeded, terminating % 189.64/190.04 eprover: CPU time limit exceeded, terminating % 191.63/192.05 eprover: CPU time limit exceeded, terminating % 193.64/194.06 eprover: CPU time limit exceeded, terminating % 195.63/196.07 eprover: CPU time limit exceeded, terminating % 197.65/198.08 eprover: CPU time limit exceeded, terminating % 199.66/200.09 eprover: CPU time limit exceeded, terminating % 201.72/202.12 eprover: CPU time limit exceeded, terminating % 203.75/204.13 eprover: CPU time limit exceeded, terminating % 205.74/206.14 eprover: CPU time limit exceeded, terminating % 207.74/208.17 eprover: CPU time limit exceeded, terminating % 209.72/210.18 eprover: CPU time limit exceeded, terminating % 211.72/212.19 eprover: CPU time limit exceeded, terminating % 213.79/214.20 eprover: CPU time limit exceeded, terminating % 215.81/216.21 eprover: CPU time limit exceeded, terminating % 217.82/218.22 eprover: CPU time limit exceeded, terminating % 219.82/220.23 eprover: CPU time limit exceeded, terminating % 221.81/222.26 eprover: CPU time limit exceeded, terminating % 223.81/224.27 eprover: CPU time limit exceeded, terminating % 225.80/226.27 eprover: CPU time limit exceeded, terminating % 227.82/228.28 eprover: CPU time limit exceeded, terminating % 229.81/230.29 eprover: CPU time limit exceeded, terminating % 231.89/232.32 eprover: CPU time limit exceeded, terminating % 233.89/234.34 eprover: CPU time limit exceeded, terminating % 235.90/236.35 eprover: CPU time limit exceeded, terminating % 237.89/238.36 eprover: CPU time limit exceeded, terminating % 239.89/240.37 eprover: CPU time limit exceeded, terminating % 241.90/242.37 eprover: CPU time limit exceeded, terminating % 243.98/244.40 eprover: CPU time limit exceeded, terminating % 246.00/246.41 eprover: CPU time limit exceeded, terminating % 247.99/248.42 eprover: CPU time limit exceeded, terminating % 250.02/250.43 eprover: CPU time limit exceeded, terminating % 252.02/252.44 eprover: CPU time limit exceeded, terminating % 253.99/254.46 eprover: CPU time limit exceeded, terminating % 256.01/256.47 eprover: CPU time limit exceeded, terminating % 258.01/258.48 eprover: CPU time limit exceeded, terminating % 260.01/260.50 eprover: CPU time limit exceeded, terminating % 262.12/262.51 eprover: CPU time limit exceeded, terminating % 264.12/264.52 eprover: CPU time limit exceeded, terminating % 266.13/266.53 eprover: CPU time limit exceeded, terminating % 268.13/268.54 eprover: CPU time limit exceeded, terminating % 270.15/270.55 eprover: CPU time limit exceeded, terminating % 272.14/272.56 eprover: CPU time limit exceeded, terminating % 274.14/274.57 eprover: CPU time limit exceeded, terminating % 276.15/276.58 eprover: CPU time limit exceeded, terminating % 278.15/278.60 eprover: CPU time limit exceeded, terminating % 280.26/280.61 eprover: CPU time limit exceeded, terminating % 282.27/282.62 eprover: CPU time limit exceeded, terminating % 284.27/284.63 eprover: CPU time limit exceeded, terminating % 286.27/286.64 eprover: CPU time limit exceeded, terminating % 288.28/288.65 eprover: CPU time limit exceeded, terminating % 290.29/290.66 eprover: CPU time limit exceeded, terminating % 292.29/292.67 eprover: CPU time limit exceeded, terminating % 294.28/294.68 eprover: CPU time limit exceeded, terminating % 296.29/296.69 eprover: CPU time limit exceeded, terminating % 298.29/298.70 eprover: CPU time limit exceeded, terminating % 299.72/300.03 /bin/sh: line 1: 9364 Terminated eprover --tstp-in --tstp-out -tAuto -xAuto --output-level=0 --cpu-limit=2 /tmp/Infinox_5113/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty > /tmp/Infinox_5113/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty_result % 299.72/300.03 Infinox, version 1.0, 2009-07-20. % 299.72/300.03 +++ PROBLEM: /export/starexec/sandbox2/benchmark/theBenchmark.p % 299.72/300.03 Reading '/export/starexec/sandbox2/benchmark/theBenchmark.p' ... OK % 299.72/300.03 +++ SOLVING: /export/starexec/sandbox2/benchmark/theBenchmark.p % 299.72/300.03 InjNotSurj %------------------------------------------------------------------------------