%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWX202-1 : TPTP v9.3.0. Released v9.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n016.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 285.88s 285.66s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.00/0.12 % Problem : SWX202-1 : TPTP v9.3.0. Released v9.3.0. % 0.00/0.12 % Command : run_infinox %s % 0.16/0.33 % Computer : n016.cluster.edu % 0.16/0.33 % Model : x86_64 x86_64 % 0.16/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.16/0.33 % Memory : 8042.1875MB % 0.16/0.33 % OS : Linux 3.10.0-693.el7.x86_64 % 0.16/0.33 % CPULimit : 300 % 0.16/0.33 % WCLimit : 300 % 0.16/0.33 % DateTime : Tue May 5 11:22:51 EDT 2026 % 0.16/0.34 % CPUTime : % 2.11/2.37 eprover: CPU time limit exceeded, terminating % 4.12/4.38 eprover: CPU time limit exceeded, terminating % 6.12/6.39 eprover: CPU time limit exceeded, terminating % 8.22/8.40 eprover: CPU time limit exceeded, terminating % 10.22/10.41 eprover: CPU time limit exceeded, terminating % 12.23/12.42 eprover: CPU time limit exceeded, terminating % 14.24/14.42 eprover: CPU time limit exceeded, terminating % 16.24/16.43 eprover: CPU time limit exceeded, terminating % 18.24/18.44 eprover: CPU time limit exceeded, terminating % 20.25/20.45 eprover: CPU time limit exceeded, terminating % 22.24/22.46 eprover: CPU time limit exceeded, terminating % 24.24/24.47 eprover: CPU time limit exceeded, terminating % 26.25/26.48 eprover: CPU time limit exceeded, terminating % 28.25/28.49 eprover: CPU time limit exceeded, terminating % 30.25/30.50 eprover: CPU time limit exceeded, terminating % 32.36/32.51 eprover: CPU time limit exceeded, terminating % 34.37/34.51 eprover: CPU time limit exceeded, terminating % 36.37/36.52 eprover: CPU time limit exceeded, terminating % 38.38/38.53 eprover: CPU time limit exceeded, terminating % 40.37/40.53 eprover: CPU time limit exceeded, terminating % 42.38/42.54 eprover: CPU time limit exceeded, terminating % 44.38/44.55 eprover: CPU time limit exceeded, terminating % 46.38/46.56 eprover: CPU time limit exceeded, terminating % 48.38/48.57 eprover: CPU time limit exceeded, terminating % 50.39/50.58 eprover: CPU time limit exceeded, terminating % 52.38/52.59 eprover: CPU time limit exceeded, terminating % 54.50/54.60 eprover: CPU time limit exceeded, terminating % 56.50/56.61 eprover: CPU time limit exceeded, terminating % 58.50/58.61 eprover: CPU time limit exceeded, terminating % 60.51/60.62 eprover: CPU time limit exceeded, terminating % 62.51/62.63 eprover: CPU time limit exceeded, terminating % 64.51/64.64 eprover: CPU time limit exceeded, terminating % 66.50/66.64 eprover: CPU time limit exceeded, terminating % 68.52/68.65 eprover: CPU time limit exceeded, terminating % 70.53/70.66 eprover: CPU time limit exceeded, terminating % 72.53/72.67 eprover: CPU time limit exceeded, terminating % 74.53/74.68 eprover: CPU time limit exceeded, terminating % 76.53/76.69 eprover: CPU time limit exceeded, terminating % 78.64/78.70 eprover: CPU time limit exceeded, terminating % 80.64/80.71 eprover: CPU time limit exceeded, terminating % 82.63/82.71 eprover: CPU time limit exceeded, terminating % 84.66/84.72 eprover: CPU time limit exceeded, terminating % 86.65/86.73 eprover: CPU time limit exceeded, terminating % 88.65/88.74 eprover: CPU time limit exceeded, terminating % 90.66/90.75 eprover: CPU time limit exceeded, terminating % 92.65/92.76 eprover: CPU time limit exceeded, terminating % 94.65/94.76 eprover: CPU time limit exceeded, terminating % 96.66/96.77 eprover: CPU time limit exceeded, terminating % 98.67/98.78 eprover: CPU time limit exceeded, terminating % 100.68/100.79 eprover: CPU time limit exceeded, terminating % 102.79/102.80 eprover: CPU time limit exceeded, terminating % 104.79/104.81 eprover: CPU time limit exceeded, terminating % 106.78/106.82 eprover: CPU time limit exceeded, terminating % 108.80/108.83 eprover: CPU time limit exceeded, terminating % 110.78/110.84 eprover: CPU time limit exceeded, terminating % 112.78/112.84 eprover: CPU time limit exceeded, terminating % 114.79/114.85 eprover: CPU time limit exceeded, terminating % 116.80/116.86 eprover: CPU time limit exceeded, terminating % 118.80/118.87 eprover: CPU time limit exceeded, terminating % 120.80/120.88 eprover: CPU time limit exceeded, terminating % 122.82/122.89 eprover: CPU time limit exceeded, terminating % 124.92/124.90 eprover: CPU time limit exceeded, terminating % 126.92/126.92 eprover: CPU time limit exceeded, terminating % 128.91/128.93 eprover: CPU time limit exceeded, terminating % 130.92/130.93 eprover: CPU time limit exceeded, terminating % 132.92/132.95 eprover: CPU time limit exceeded, terminating % 134.92/134.96 eprover: CPU time limit exceeded, terminating % 136.93/136.97 eprover: CPU time limit exceeded, terminating % 138.93/138.98 eprover: CPU time limit exceeded, terminating % 140.94/140.98 eprover: CPU time limit exceeded, terminating % 142.94/142.99 eprover: CPU time limit exceeded, terminating % 144.93/145.00 eprover: CPU time limit exceeded, terminating % 146.94/147.01 eprover: CPU time limit exceeded, terminating % 148.94/149.02 eprover: CPU time limit exceeded, terminating % 150.96/151.03 eprover: CPU time limit exceeded, terminating % 153.08/153.04 eprover: CPU time limit exceeded, terminating % 155.09/155.05 eprover: CPU time limit exceeded, terminating % 157.09/157.06 eprover: CPU time limit exceeded, terminating % 159.09/159.07 eprover: CPU time limit exceeded, terminating % 161.10/161.08 eprover: CPU time limit exceeded, terminating % 163.11/163.09 eprover: CPU time limit exceeded, terminating % 165.12/165.10 eprover: CPU time limit exceeded, terminating % 167.12/167.11 eprover: CPU time limit exceeded, terminating % 169.12/169.12 eprover: CPU time limit exceeded, terminating % 171.22/171.13 eprover: CPU time limit exceeded, terminating % 173.22/173.13 eprover: CPU time limit exceeded, terminating % 175.22/175.14 eprover: CPU time limit exceeded, terminating % 177.23/177.15 eprover: CPU time limit exceeded, terminating % 179.23/179.16 eprover: CPU time limit exceeded, terminating % 181.24/181.17 eprover: CPU time limit exceeded, terminating % 183.23/183.18 eprover: CPU time limit exceeded, terminating % 185.23/185.19 eprover: CPU time limit exceeded, terminating % 187.31/187.20 eprover: CPU time limit exceeded, terminating % 189.31/189.21 eprover: CPU time limit exceeded, terminating % 191.32/191.22 eprover: CPU time limit exceeded, terminating % 193.31/193.22 eprover: CPU time limit exceeded, terminating % 195.32/195.23 eprover: CPU time limit exceeded, terminating % 197.34/197.24 eprover: CPU time limit exceeded, terminating % 199.34/199.25 eprover: CPU time limit exceeded, terminating % 201.34/201.26 eprover: CPU time limit exceeded, terminating % 203.35/203.27 eprover: CPU time limit exceeded, terminating % 205.34/205.27 eprover: CPU time limit exceeded, terminating % 207.35/207.28 eprover: CPU time limit exceeded, terminating % 209.35/209.29 eprover: CPU time limit exceeded, terminating % 211.45/211.30 eprover: CPU time limit exceeded, terminating % 213.45/213.31 eprover: CPU time limit exceeded, terminating % 215.46/215.32 eprover: CPU time limit exceeded, terminating % 217.46/217.33 eprover: CPU time limit exceeded, terminating % 219.48/219.34 eprover: CPU time limit exceeded, terminating % 221.47/221.35 eprover: CPU time limit exceeded, terminating % 223.48/223.36 eprover: CPU time limit exceeded, terminating % 225.48/225.37 eprover: CPU time limit exceeded, terminating % 227.49/227.37 eprover: CPU time limit exceeded, terminating % 229.49/229.38 eprover: CPU time limit exceeded, terminating % 231.48/231.39 eprover: CPU time limit exceeded, terminating % 233.60/233.40 eprover: CPU time limit exceeded, terminating % 235.60/235.41 eprover: CPU time limit exceeded, terminating % 237.60/237.42 eprover: CPU time limit exceeded, terminating % 239.61/239.43 eprover: CPU time limit exceeded, terminating % 241.62/241.44 eprover: CPU time limit exceeded, terminating % 243.61/243.45 eprover: CPU time limit exceeded, terminating % 245.63/245.46 eprover: CPU time limit exceeded, terminating % 247.62/247.47 eprover: CPU time limit exceeded, terminating % 249.62/249.48 eprover: CPU time limit exceeded, terminating % 251.62/251.49 eprover: CPU time limit exceeded, terminating % 253.73/253.50 eprover: CPU time limit exceeded, terminating % 255.74/255.51 eprover: CPU time limit exceeded, terminating % 257.73/257.52 eprover: CPU time limit exceeded, terminating % 259.75/259.53 eprover: CPU time limit exceeded, terminating % 261.74/261.54 eprover: CPU time limit exceeded, terminating % 263.74/263.55 eprover: CPU time limit exceeded, terminating % 265.74/265.56 eprover: CPU time limit exceeded, terminating % 267.75/267.57 eprover: CPU time limit exceeded, terminating % 269.75/269.58 eprover: CPU time limit exceeded, terminating % 271.76/271.59 eprover: CPU time limit exceeded, terminating % 273.87/273.60 eprover: CPU time limit exceeded, terminating % 275.88/275.61 eprover: CPU time limit exceeded, terminating % 277.88/277.62 eprover: CPU time limit exceeded, terminating % 279.87/279.63 eprover: CPU time limit exceeded, terminating % 281.89/281.64 eprover: CPU time limit exceeded, terminating % 283.87/283.65 eprover: CPU time limit exceeded, terminating % 285.88/285.66 eprover: CPU time limit exceeded, terminating % 287.89/287.67 eprover: CPU time limit exceeded, terminating % 289.89/289.68 eprover: CPU time limit exceeded, terminating % 291.90/291.69 eprover: CPU time limit exceeded, terminating % 294.00/293.70 eprover: CPU time limit exceeded, terminating % 296.01/295.71 eprover: CPU time limit exceeded, terminating % 298.01/297.72 eprover: CPU time limit exceeded, terminating % 300.03/299.70 /bin/sh: line 1: 25683 Terminated eprover --tstp-in --tstp-out -tAuto -xAuto --output-level=0 --cpu-limit=2 /tmp/Infinox_21369/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty > /tmp/Infinox_21369/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty_result % 300.03/299.71 Terminated % 302.07/301.70 /bin/sh: line 1: 25686 Killed eprover --tstp-in --tstp-out -tAuto -xAuto --output-level=0 --cpu-limit=2 /tmp/Infinox_21369/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty > /tmp/Infinox_21369/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty_result %------------------------------------------------------------------------------