%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWX219-1 : TPTP v9.3.0. Released v9.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n026.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:20 PM UTC 2026 % Result : Timeout 286.33s 287.71s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.00/0.12 % Problem : SWX219-1 : TPTP v9.3.0. Released v9.3.0. % 0.12/0.13 % Command : run_infinox %s % 0.15/0.34 % Computer : n026.cluster.edu % 0.15/0.34 % Model : x86_64 x86_64 % 0.15/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.15/0.34 % Memory : 8042.1875MB % 0.15/0.34 % OS : Linux 3.10.0-693.el7.x86_64 % 0.15/0.34 % CPULimit : 300 % 0.15/0.34 % WCLimit : 300 % 0.15/0.34 % DateTime : Tue May 5 12:24:08 EDT 2026 % 0.15/0.34 % CPUTime : % 2.12/2.38 eprover: CPU time limit exceeded, terminating % 4.12/4.39 eprover: CPU time limit exceeded, terminating % 6.22/6.40 eprover: CPU time limit exceeded, terminating % 8.22/8.41 eprover: CPU time limit exceeded, terminating % 10.24/10.42 eprover: CPU time limit exceeded, terminating % 12.24/12.43 eprover: CPU time limit exceeded, terminating % 14.24/14.44 eprover: CPU time limit exceeded, terminating % 16.25/16.45 eprover: CPU time limit exceeded, terminating % 18.24/18.46 eprover: CPU time limit exceeded, terminating % 20.24/20.48 eprover: CPU time limit exceeded, terminating % 22.26/22.49 eprover: CPU time limit exceeded, terminating % 24.35/24.50 eprover: CPU time limit exceeded, terminating % 26.36/26.51 eprover: CPU time limit exceeded, terminating % 28.35/28.52 eprover: CPU time limit exceeded, terminating % 30.37/30.53 eprover: CPU time limit exceeded, terminating % 32.37/32.54 eprover: CPU time limit exceeded, terminating % 34.37/34.56 eprover: CPU time limit exceeded, terminating % 36.38/36.57 eprover: CPU time limit exceeded, terminating % 38.38/38.58 eprover: CPU time limit exceeded, terminating % 40.38/40.59 eprover: CPU time limit exceeded, terminating % 42.49/42.60 eprover: CPU time limit exceeded, terminating % 44.50/44.61 eprover: CPU time limit exceeded, terminating % 46.50/46.63 eprover: CPU time limit exceeded, terminating % 48.50/48.64 eprover: CPU time limit exceeded, terminating % 50.51/50.65 eprover: CPU time limit exceeded, terminating % 52.51/52.66 eprover: CPU time limit exceeded, terminating % 54.53/54.67 eprover: CPU time limit exceeded, terminating % 56.53/56.68 eprover: CPU time limit exceeded, terminating % 58.53/58.69 eprover: CPU time limit exceeded, terminating % 60.62/60.70 eprover: CPU time limit exceeded, terminating % 62.63/62.71 eprover: CPU time limit exceeded, terminating % 64.63/64.73 eprover: CPU time limit exceeded, terminating % 66.63/66.74 eprover: CPU time limit exceeded, terminating % 68.64/68.75 eprover: CPU time limit exceeded, terminating % 70.64/70.76 eprover: CPU time limit exceeded, terminating % 72.64/72.77 eprover: CPU time limit exceeded, terminating % 74.64/74.78 eprover: CPU time limit exceeded, terminating % 76.64/76.80 eprover: CPU time limit exceeded, terminating % 78.76/78.81 eprover: CPU time limit exceeded, terminating % 80.76/80.82 eprover: CPU time limit exceeded, terminating % 82.77/82.83 eprover: CPU time limit exceeded, terminating % 84.77/84.84 eprover: CPU time limit exceeded, terminating % 86.77/86.85 eprover: CPU time limit exceeded, terminating % 88.77/88.86 eprover: CPU time limit exceeded, terminating % 90.78/90.87 eprover: CPU time limit exceeded, terminating % 92.79/92.88 eprover: CPU time limit exceeded, terminating % 94.79/94.90 eprover: CPU time limit exceeded, terminating % 96.90/96.91 eprover: CPU time limit exceeded, terminating % 98.90/98.92 eprover: CPU time limit exceeded, terminating % 100.89/100.93 eprover: CPU time limit exceeded, terminating % 102.91/102.94 eprover: CPU time limit exceeded, terminating % 104.90/104.95 eprover: CPU time limit exceeded, terminating % 106.91/106.96 eprover: CPU time limit exceeded, terminating % 108.91/108.97 eprover: CPU time limit exceeded, terminating % 110.91/110.99 eprover: CPU time limit exceeded, terminating % 112.91/113.00 eprover: CPU time limit exceeded, terminating % 114.93/115.01 eprover: CPU time limit exceeded, terminating % 116.93/117.02 eprover: CPU time limit exceeded, terminating % 119.06/119.03 eprover: CPU time limit exceeded, terminating % 121.06/121.04 eprover: CPU time limit exceeded, terminating % 123.06/123.05 eprover: CPU time limit exceeded, terminating % 125.07/125.06 eprover: CPU time limit exceeded, terminating % 127.07/127.07 eprover: CPU time limit exceeded, terminating % 129.08/129.08 eprover: CPU time limit exceeded, terminating % 131.08/131.10 eprover: CPU time limit exceeded, terminating % 133.08/133.11 eprover: CPU time limit exceeded, terminating % 135.09/135.12 eprover: CPU time limit exceeded, terminating % 137.20/137.13 eprover: CPU time limit exceeded, terminating % 139.19/139.14 eprover: CPU time limit exceeded, terminating % 141.19/141.15 eprover: CPU time limit exceeded, terminating % 143.22/143.16 eprover: CPU time limit exceeded, terminating % 145.20/145.18 eprover: CPU time limit exceeded, terminating % 147.22/147.19 eprover: CPU time limit exceeded, terminating % 149.29/149.20 eprover: CPU time limit exceeded, terminating % 151.29/151.21 eprover: CPU time limit exceeded, terminating % 153.29/153.22 eprover: CPU time limit exceeded, terminating % 155.29/155.24 eprover: CPU time limit exceeded, terminating % 157.30/157.25 eprover: CPU time limit exceeded, terminating % 159.29/159.26 eprover: CPU time limit exceeded, terminating % 161.32/161.27 eprover: CPU time limit exceeded, terminating % 163.31/163.28 eprover: CPU time limit exceeded, terminating % 165.32/165.29 eprover: CPU time limit exceeded, terminating % 167.42/167.30 eprover: CPU time limit exceeded, terminating % 169.42/169.32 eprover: CPU time limit exceeded, terminating % 171.42/171.33 eprover: CPU time limit exceeded, terminating % 173.43/173.34 eprover: CPU time limit exceeded, terminating % 175.43/175.35 eprover: CPU time limit exceeded, terminating % 177.44/177.36 eprover: CPU time limit exceeded, terminating % 179.44/179.37 eprover: CPU time limit exceeded, terminating % 181.54/181.40 eprover: CPU time limit exceeded, terminating % 183.54/183.41 eprover: CPU time limit exceeded, terminating % 185.55/185.42 eprover: CPU time limit exceeded, terminating % 187.55/187.43 eprover: CPU time limit exceeded, terminating % 189.55/189.44 eprover: CPU time limit exceeded, terminating % 191.54/191.47 eprover: CPU time limit exceeded, terminating % 193.54/193.48 eprover: CPU time limit exceeded, terminating % 195.54/195.49 eprover: CPU time limit exceeded, terminating % 197.65/197.51 eprover: CPU time limit exceeded, terminating % 199.65/199.52 eprover: CPU time limit exceeded, terminating % 201.66/201.53 eprover: CPU time limit exceeded, terminating % 203.66/203.54 eprover: CPU time limit exceeded, terminating % 205.66/205.55 eprover: CPU time limit exceeded, terminating % 207.67/207.56 eprover: CPU time limit exceeded, terminating % 209.68/209.58 eprover: CPU time limit exceeded, terminating % 211.67/211.59 eprover: CPU time limit exceeded, terminating % 213.77/213.60 eprover: CPU time limit exceeded, terminating % 215.79/215.61 eprover: CPU time limit exceeded, terminating % 217.78/217.62 eprover: CPU time limit exceeded, terminating % 219.79/219.63 eprover: CPU time limit exceeded, terminating % 221.80/221.65 eprover: CPU time limit exceeded, terminating % 223.80/223.66 eprover: CPU time limit exceeded, terminating % 225.79/225.67 eprover: CPU time limit exceeded, terminating % 227.81/227.68 eprover: CPU time limit exceeded, terminating % 229.82/229.69 eprover: CPU time limit exceeded, terminating % 231.92/231.70 eprover: CPU time limit exceeded, terminating % 233.92/233.71 eprover: CPU time limit exceeded, terminating % 235.92/235.73 eprover: CPU time limit exceeded, terminating % 237.89/238.27 eprover: CPU time limit exceeded, terminating % 239.90/240.28 eprover: CPU time limit exceeded, terminating % 241.91/242.29 eprover: CPU time limit exceeded, terminating % 244.01/244.30 eprover: CPU time limit exceeded, terminating % 245.95/247.48 eprover: CPU time limit exceeded, terminating % 247.94/249.50 eprover: CPU time limit exceeded, terminating % 250.06/251.51 eprover: CPU time limit exceeded, terminating % 252.06/253.52 eprover: CPU time limit exceeded, terminating % 254.06/255.53 eprover: CPU time limit exceeded, terminating % 256.07/257.54 eprover: CPU time limit exceeded, terminating % 258.07/259.55 eprover: CPU time limit exceeded, terminating % 260.08/261.56 eprover: CPU time limit exceeded, terminating % 262.07/263.57 eprover: CPU time limit exceeded, terminating % 264.08/265.58 eprover: CPU time limit exceeded, terminating % 266.10/267.59 eprover: CPU time limit exceeded, terminating % 268.19/269.61 eprover: CPU time limit exceeded, terminating % 270.19/271.62 eprover: CPU time limit exceeded, terminating % 272.20/273.63 eprover: CPU time limit exceeded, terminating % 274.20/275.64 eprover: CPU time limit exceeded, terminating % 276.20/277.65 eprover: CPU time limit exceeded, terminating % 278.21/279.67 eprover: CPU time limit exceeded, terminating % 280.22/281.68 eprover: CPU time limit exceeded, terminating % 282.22/283.69 eprover: CPU time limit exceeded, terminating % 284.31/285.70 eprover: CPU time limit exceeded, terminating % 286.33/287.71 eprover: CPU time limit exceeded, terminating % 288.33/289.73 eprover: CPU time limit exceeded, terminating % 290.34/291.74 eprover: CPU time limit exceeded, terminating % 292.32/293.75 eprover: CPU time limit exceeded, terminating % 294.34/295.76 eprover: CPU time limit exceeded, terminating % 296.36/297.77 eprover: CPU time limit exceeded, terminating % 298.36/299.79 eprover: CPU time limit exceeded, terminating % 298.68/300.03 /bin/sh: line 1: 26762 Terminated eprover --tstp-in --tstp-out -tAuto -xAuto --output-level=0 --cpu-limit=2 /tmp/Infinox_25638/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty > /tmp/Infinox_25638/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty_result % 298.68/300.04 Terminated % 300.73/302.03 /bin/sh: line 1: 26765 Killed eprover --tstp-in --tstp-out -tAuto -xAuto --output-level=0 --cpu-limit=2 /tmp/Infinox_25638/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty > /tmp/Infinox_25638/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty_result %------------------------------------------------------------------------------