%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWX234-1 : TPTP v9.3.0. Released v9.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n029.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.26s 285.82s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.00/0.11 % Problem : SWX234-1 : TPTP v9.3.0. Released v9.3.0. % 0.00/0.12 % Command : run_infinox %s % 0.14/0.33 % Computer : n029.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 13:07:59 EDT 2026 % 0.14/0.33 % CPUTime : % 2.21/2.40 eprover: CPU time limit exceeded, terminating % 4.22/4.41 eprover: CPU time limit exceeded, terminating % 6.21/6.42 eprover: CPU time limit exceeded, terminating % 8.23/8.43 eprover: CPU time limit exceeded, terminating % 10.23/10.44 eprover: CPU time limit exceeded, terminating % 12.24/12.45 eprover: CPU time limit exceeded, terminating % 14.24/14.46 eprover: CPU time limit exceeded, terminating % 16.24/16.47 eprover: CPU time limit exceeded, terminating % 18.24/18.48 eprover: CPU time limit exceeded, terminating % 20.25/20.48 eprover: CPU time limit exceeded, terminating % 22.25/22.49 eprover: CPU time limit exceeded, terminating % 24.36/24.51 eprover: CPU time limit exceeded, terminating % 26.36/26.52 eprover: CPU time limit exceeded, terminating % 28.37/28.53 eprover: CPU time limit exceeded, terminating % 30.37/30.54 eprover: CPU time limit exceeded, terminating % 32.39/32.55 eprover: CPU time limit exceeded, terminating % 34.40/34.56 eprover: CPU time limit exceeded, terminating % 36.39/36.57 eprover: CPU time limit exceeded, terminating % 38.40/38.58 eprover: CPU time limit exceeded, terminating % 40.41/40.59 eprover: CPU time limit exceeded, terminating % 42.41/42.60 eprover: CPU time limit exceeded, terminating % 44.50/44.61 eprover: CPU time limit exceeded, terminating % 46.50/46.62 eprover: CPU time limit exceeded, terminating % 48.51/48.63 eprover: CPU time limit exceeded, terminating % 50.52/50.64 eprover: CPU time limit exceeded, terminating % 52.52/52.65 eprover: CPU time limit exceeded, terminating % 54.54/54.66 eprover: CPU time limit exceeded, terminating % 56.53/56.68 eprover: CPU time limit exceeded, terminating % 58.53/58.68 eprover: CPU time limit exceeded, terminating % 60.53/60.69 eprover: CPU time limit exceeded, terminating % 62.66/62.70 eprover: CPU time limit exceeded, terminating % 64.64/64.72 eprover: CPU time limit exceeded, terminating % 66.65/66.73 eprover: CPU time limit exceeded, terminating % 68.66/68.74 eprover: CPU time limit exceeded, terminating % 70.66/70.75 eprover: CPU time limit exceeded, terminating % 72.66/72.76 eprover: CPU time limit exceeded, terminating % 74.66/74.77 eprover: CPU time limit exceeded, terminating % 76.67/76.78 eprover: CPU time limit exceeded, terminating % 78.67/78.79 eprover: CPU time limit exceeded, terminating % 80.79/80.80 eprover: CPU time limit exceeded, terminating % 82.78/82.81 eprover: CPU time limit exceeded, terminating % 84.80/84.82 eprover: CPU time limit exceeded, terminating % 86.80/86.83 eprover: CPU time limit exceeded, terminating % 88.81/88.84 eprover: CPU time limit exceeded, terminating % 90.80/90.85 eprover: CPU time limit exceeded, terminating % 92.81/92.86 eprover: CPU time limit exceeded, terminating % 94.81/94.87 eprover: CPU time limit exceeded, terminating % 96.82/96.88 eprover: CPU time limit exceeded, terminating % 98.81/98.89 eprover: CPU time limit exceeded, terminating % 100.92/100.90 eprover: CPU time limit exceeded, terminating % 102.94/102.91 eprover: CPU time limit exceeded, terminating % 104.94/104.92 eprover: CPU time limit exceeded, terminating % 106.94/106.93 eprover: CPU time limit exceeded, terminating % 108.95/108.94 eprover: CPU time limit exceeded, terminating % 110.95/110.94 eprover: CPU time limit exceeded, terminating % 112.95/112.95 eprover: CPU time limit exceeded, terminating % 114.96/114.96 eprover: CPU time limit exceeded, terminating % 116.96/116.97 eprover: CPU time limit exceeded, terminating % 118.96/118.98 eprover: CPU time limit exceeded, terminating % 120.98/120.99 eprover: CPU time limit exceeded, terminating % 122.98/123.00 eprover: CPU time limit exceeded, terminating % 124.99/125.01 eprover: CPU time limit exceeded, terminating % 126.99/127.02 eprover: CPU time limit exceeded, terminating % 129.11/129.03 eprover: CPU time limit exceeded, terminating % 131.12/131.04 eprover: CPU time limit exceeded, terminating % 133.14/133.05 eprover: CPU time limit exceeded, terminating % 135.12/135.06 eprover: CPU time limit exceeded, terminating % 137.13/137.07 eprover: CPU time limit exceeded, terminating % 139.13/139.08 eprover: CPU time limit exceeded, terminating % 141.14/141.08 eprover: CPU time limit exceeded, terminating % 143.14/143.09 eprover: CPU time limit exceeded, terminating % 145.15/145.10 eprover: CPU time limit exceeded, terminating % 147.16/147.11 eprover: CPU time limit exceeded, terminating % 149.16/149.12 eprover: CPU time limit exceeded, terminating % 151.27/151.13 eprover: CPU time limit exceeded, terminating % 153.27/153.14 eprover: CPU time limit exceeded, terminating % 155.28/155.15 eprover: CPU time limit exceeded, terminating % 157.28/157.16 eprover: CPU time limit exceeded, terminating % 159.29/159.17 eprover: CPU time limit exceeded, terminating % 161.29/161.18 eprover: CPU time limit exceeded, terminating % 163.29/163.19 eprover: CPU time limit exceeded, terminating % 165.38/165.21 eprover: CPU time limit exceeded, terminating % 167.38/167.22 eprover: CPU time limit exceeded, terminating % 169.39/169.23 eprover: CPU time limit exceeded, terminating % 171.39/171.24 eprover: CPU time limit exceeded, terminating % 173.40/173.25 eprover: CPU time limit exceeded, terminating % 175.40/175.26 eprover: CPU time limit exceeded, terminating % 177.40/177.27 eprover: CPU time limit exceeded, terminating % 179.42/179.28 eprover: CPU time limit exceeded, terminating % 181.42/181.29 eprover: CPU time limit exceeded, terminating % 183.52/183.30 eprover: CPU time limit exceeded, terminating % 185.52/185.31 eprover: CPU time limit exceeded, terminating % 187.52/187.32 eprover: CPU time limit exceeded, terminating % 189.52/189.33 eprover: CPU time limit exceeded, terminating % 191.54/191.34 eprover: CPU time limit exceeded, terminating % 193.54/193.35 eprover: CPU time limit exceeded, terminating % 195.55/195.36 eprover: CPU time limit exceeded, terminating % 197.53/197.37 eprover: CPU time limit exceeded, terminating % 199.57/199.38 eprover: CPU time limit exceeded, terminating % 201.57/201.39 eprover: CPU time limit exceeded, terminating % 203.68/203.40 eprover: CPU time limit exceeded, terminating % 205.67/205.41 eprover: CPU time limit exceeded, terminating % 207.67/207.42 eprover: CPU time limit exceeded, terminating % 209.68/209.43 eprover: CPU time limit exceeded, terminating % 211.69/211.44 eprover: CPU time limit exceeded, terminating % 213.69/213.45 eprover: CPU time limit exceeded, terminating % 215.70/215.46 eprover: CPU time limit exceeded, terminating % 217.70/217.47 eprover: CPU time limit exceeded, terminating % 219.70/219.48 eprover: CPU time limit exceeded, terminating % 221.71/221.49 eprover: CPU time limit exceeded, terminating % 223.82/223.50 eprover: CPU time limit exceeded, terminating % 225.82/225.51 eprover: CPU time limit exceeded, terminating % 227.83/227.52 eprover: CPU time limit exceeded, terminating % 229.82/229.53 eprover: CPU time limit exceeded, terminating % 231.82/231.54 eprover: CPU time limit exceeded, terminating % 233.85/233.55 eprover: CPU time limit exceeded, terminating % 235.84/235.56 eprover: CPU time limit exceeded, terminating % 237.84/237.57 eprover: CPU time limit exceeded, terminating % 239.84/239.58 eprover: CPU time limit exceeded, terminating % 241.86/241.59 eprover: CPU time limit exceeded, terminating % 243.96/243.60 eprover: CPU time limit exceeded, terminating % 245.97/245.61 eprover: CPU time limit exceeded, terminating % 247.98/247.62 eprover: CPU time limit exceeded, terminating % 249.99/249.63 eprover: CPU time limit exceeded, terminating % 251.99/251.64 eprover: CPU time limit exceeded, terminating % 253.99/253.65 eprover: CPU time limit exceeded, terminating % 255.99/255.66 eprover: CPU time limit exceeded, terminating % 257.99/257.67 eprover: CPU time limit exceeded, terminating % 260.00/259.68 eprover: CPU time limit exceeded, terminating % 261.99/261.69 eprover: CPU time limit exceeded, terminating % 264.10/263.70 eprover: CPU time limit exceeded, terminating % 266.12/265.71 eprover: CPU time limit exceeded, terminating % 268.13/267.72 eprover: CPU time limit exceeded, terminating % 270.12/269.73 eprover: CPU time limit exceeded, terminating % 272.13/271.74 eprover: CPU time limit exceeded, terminating % 274.14/273.75 eprover: CPU time limit exceeded, terminating % 276.15/275.77 eprover: CPU time limit exceeded, terminating % 278.14/277.78 eprover: CPU time limit exceeded, terminating % 280.14/279.79 eprover: CPU time limit exceeded, terminating % 282.16/281.80 eprover: CPU time limit exceeded, terminating % 284.25/283.81 eprover: CPU time limit exceeded, terminating % 286.26/285.82 eprover: CPU time limit exceeded, terminating % 288.27/287.83 eprover: CPU time limit exceeded, terminating % 290.27/289.84 eprover: CPU time limit exceeded, terminating % 292.27/291.85 eprover: CPU time limit exceeded, terminating % 294.29/293.86 eprover: CPU time limit exceeded, terminating % 296.29/295.87 eprover: CPU time limit exceeded, terminating % 298.29/297.88 eprover: CPU time limit exceeded, terminating % 300.01/299.50 /bin/sh: line 1: 8261 Terminated eprover --tstp-in --tstp-out -tAuto -xAuto --output-level=0 --cpu-limit=2 /tmp/Infinox_7108/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty > /tmp/Infinox_7108/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty_result % 300.01/299.51 Terminated % 302.05/301.50 /bin/sh: line 1: 8264 Killed eprover --tstp-in --tstp-out -tAuto -xAuto --output-level=0 --cpu-limit=2 /tmp/Infinox_7108/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty > /tmp/Infinox_7108/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty_result %------------------------------------------------------------------------------