%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWX201-1 : TPTP v9.3.0. Released v9.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n014.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.86s 286.23s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.00/0.12 % Problem : SWX201-1 : TPTP v9.3.0. Released v9.3.0. % 0.12/0.13 % Command : run_infinox %s % 0.16/0.34 % Computer : n014.cluster.edu % 0.16/0.34 % Model : x86_64 x86_64 % 0.16/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.16/0.34 % Memory : 8042.1875MB % 0.16/0.34 % OS : Linux 3.10.0-693.el7.x86_64 % 0.16/0.34 % CPULimit : 300 % 0.16/0.34 % WCLimit : 300 % 0.16/0.34 % DateTime : Tue May 5 11:18:51 EDT 2026 % 0.16/0.34 % CPUTime : % 2.12/2.38 eprover: CPU time limit exceeded, terminating % 4.12/4.39 eprover: CPU time limit exceeded, terminating % 6.13/6.39 eprover: CPU time limit exceeded, terminating % 8.22/8.40 eprover: CPU time limit exceeded, terminating % 10.24/10.41 eprover: CPU time limit exceeded, terminating % 12.24/12.42 eprover: CPU time limit exceeded, terminating % 14.24/14.43 eprover: CPU time limit exceeded, terminating % 16.24/16.44 eprover: CPU time limit exceeded, terminating % 18.25/18.45 eprover: CPU time limit exceeded, terminating % 20.25/20.45 eprover: CPU time limit exceeded, terminating % 22.25/22.46 eprover: CPU time limit exceeded, terminating % 24.25/24.47 eprover: CPU time limit exceeded, terminating % 26.25/26.47 eprover: CPU time limit exceeded, terminating % 28.26/28.48 eprover: CPU time limit exceeded, terminating % 30.26/30.49 eprover: CPU time limit exceeded, terminating % 32.25/32.50 eprover: CPU time limit exceeded, terminating % 34.36/34.50 eprover: CPU time limit exceeded, terminating % 36.36/36.51 eprover: CPU time limit exceeded, terminating % 38.36/38.52 eprover: CPU time limit exceeded, terminating % 40.35/40.53 eprover: CPU time limit exceeded, terminating % 42.35/42.54 eprover: CPU time limit exceeded, terminating % 44.36/44.55 eprover: CPU time limit exceeded, terminating % 46.36/46.57 eprover: CPU time limit exceeded, terminating % 48.36/48.58 eprover: CPU time limit exceeded, terminating % 50.35/50.59 eprover: CPU time limit exceeded, terminating % 52.46/52.60 eprover: CPU time limit exceeded, terminating % 54.46/54.61 eprover: CPU time limit exceeded, terminating % 56.44/56.63 eprover: CPU time limit exceeded, terminating % 58.44/58.64 eprover: CPU time limit exceeded, terminating % 60.45/60.65 eprover: CPU time limit exceeded, terminating % 62.45/62.66 eprover: CPU time limit exceeded, terminating % 64.44/64.67 eprover: CPU time limit exceeded, terminating % 66.44/66.68 eprover: CPU time limit exceeded, terminating % 68.43/68.69 eprover: CPU time limit exceeded, terminating % 70.54/70.70 eprover: CPU time limit exceeded, terminating % 72.55/72.71 eprover: CPU time limit exceeded, terminating % 74.55/74.72 eprover: CPU time limit exceeded, terminating % 76.55/76.73 eprover: CPU time limit exceeded, terminating % 78.54/78.74 eprover: CPU time limit exceeded, terminating % 80.55/80.75 eprover: CPU time limit exceeded, terminating % 82.55/82.76 eprover: CPU time limit exceeded, terminating % 84.55/84.77 eprover: CPU time limit exceeded, terminating % 86.56/86.77 eprover: CPU time limit exceeded, terminating % 88.56/88.78 eprover: CPU time limit exceeded, terminating % 90.59/90.87 eprover: CPU time limit exceeded, terminating % 92.58/92.88 eprover: CPU time limit exceeded, terminating % 94.59/94.89 eprover: CPU time limit exceeded, terminating % 96.70/96.90 eprover: CPU time limit exceeded, terminating % 98.70/98.91 eprover: CPU time limit exceeded, terminating % 100.61/101.02 eprover: CPU time limit exceeded, terminating % 102.66/103.13 eprover: CPU time limit exceeded, terminating % 104.74/105.14 eprover: CPU time limit exceeded, terminating % 106.73/107.15 eprover: CPU time limit exceeded, terminating % 108.74/109.24 eprover: CPU time limit exceeded, terminating % 110.73/111.25 eprover: CPU time limit exceeded, terminating % 112.77/113.34 eprover: CPU time limit exceeded, terminating % 114.77/115.35 eprover: CPU time limit exceeded, terminating % 116.75/117.37 eprover: CPU time limit exceeded, terminating % 118.75/119.39 eprover: CPU time limit exceeded, terminating % 120.75/121.39 eprover: CPU time limit exceeded, terminating % 122.86/123.41 eprover: CPU time limit exceeded, terminating % 124.86/125.42 eprover: CPU time limit exceeded, terminating % 126.85/127.44 eprover: CPU time limit exceeded, terminating % 128.86/129.45 eprover: CPU time limit exceeded, terminating % 130.84/131.47 eprover: CPU time limit exceeded, terminating % 132.85/133.48 eprover: CPU time limit exceeded, terminating % 134.85/135.48 eprover: CPU time limit exceeded, terminating % 136.85/137.50 eprover: CPU time limit exceeded, terminating % 138.94/139.50 eprover: CPU time limit exceeded, terminating % 140.94/141.51 eprover: CPU time limit exceeded, terminating % 142.95/143.53 eprover: CPU time limit exceeded, terminating % 144.94/145.54 eprover: CPU time limit exceeded, terminating % 146.95/147.55 eprover: CPU time limit exceeded, terminating % 148.95/149.56 eprover: CPU time limit exceeded, terminating % 150.95/151.57 eprover: CPU time limit exceeded, terminating % 152.94/153.58 eprover: CPU time limit exceeded, terminating % 154.94/155.60 eprover: CPU time limit exceeded, terminating % 157.05/157.61 eprover: CPU time limit exceeded, terminating % 159.03/159.63 eprover: CPU time limit exceeded, terminating % 161.03/161.63 eprover: CPU time limit exceeded, terminating % 163.03/163.64 eprover: CPU time limit exceeded, terminating % 165.03/165.65 eprover: CPU time limit exceeded, terminating % 167.04/167.66 eprover: CPU time limit exceeded, terminating % 169.04/169.67 eprover: CPU time limit exceeded, terminating % 171.06/171.68 eprover: CPU time limit exceeded, terminating % 173.05/173.69 eprover: CPU time limit exceeded, terminating % 175.06/175.69 eprover: CPU time limit exceeded, terminating % 177.16/177.70 eprover: CPU time limit exceeded, terminating % 179.16/179.71 eprover: CPU time limit exceeded, terminating % 181.17/181.72 eprover: CPU time limit exceeded, terminating % 183.16/183.73 eprover: CPU time limit exceeded, terminating % 185.18/185.74 eprover: CPU time limit exceeded, terminating % 187.17/187.75 eprover: CPU time limit exceeded, terminating % 189.18/189.76 eprover: CPU time limit exceeded, terminating % 191.19/191.77 eprover: CPU time limit exceeded, terminating % 193.18/193.78 eprover: CPU time limit exceeded, terminating % 195.19/195.78 eprover: CPU time limit exceeded, terminating % 197.18/197.79 eprover: CPU time limit exceeded, terminating % 199.29/199.80 eprover: CPU time limit exceeded, terminating % 201.31/201.81 eprover: CPU time limit exceeded, terminating % 203.32/203.82 eprover: CPU time limit exceeded, terminating % 205.31/205.83 eprover: CPU time limit exceeded, terminating % 207.31/207.84 eprover: CPU time limit exceeded, terminating % 209.32/209.85 eprover: CPU time limit exceeded, terminating % 211.32/211.86 eprover: CPU time limit exceeded, terminating % 213.34/213.87 eprover: CPU time limit exceeded, terminating % 215.32/215.88 eprover: CPU time limit exceeded, terminating % 217.33/217.89 eprover: CPU time limit exceeded, terminating % 219.33/219.90 eprover: CPU time limit exceeded, terminating % 221.43/221.91 eprover: CPU time limit exceeded, terminating % 223.46/223.92 eprover: CPU time limit exceeded, terminating % 225.45/225.93 eprover: CPU time limit exceeded, terminating % 227.45/227.94 eprover: CPU time limit exceeded, terminating % 229.46/229.95 eprover: CPU time limit exceeded, terminating % 231.46/231.96 eprover: CPU time limit exceeded, terminating % 233.47/233.97 eprover: CPU time limit exceeded, terminating % 235.46/235.98 eprover: CPU time limit exceeded, terminating % 237.47/237.99 eprover: CPU time limit exceeded, terminating % 239.47/240.00 eprover: CPU time limit exceeded, terminating % 241.48/242.00 eprover: CPU time limit exceeded, terminating % 243.49/244.01 eprover: CPU time limit exceeded, terminating % 245.48/246.02 eprover: CPU time limit exceeded, terminating % 247.62/248.03 eprover: CPU time limit exceeded, terminating % 249.63/250.04 eprover: CPU time limit exceeded, terminating % 251.62/252.05 eprover: CPU time limit exceeded, terminating % 253.62/254.06 eprover: CPU time limit exceeded, terminating % 255.63/256.07 eprover: CPU time limit exceeded, terminating % 257.62/258.08 eprover: CPU time limit exceeded, terminating % 259.63/260.09 eprover: CPU time limit exceeded, terminating % 261.63/262.10 eprover: CPU time limit exceeded, terminating % 263.65/264.11 eprover: CPU time limit exceeded, terminating % 265.75/266.13 eprover: CPU time limit exceeded, terminating % 267.76/268.14 eprover: CPU time limit exceeded, terminating % 269.77/270.15 eprover: CPU time limit exceeded, terminating % 271.76/272.16 eprover: CPU time limit exceeded, terminating % 273.76/274.17 eprover: CPU time limit exceeded, terminating % 275.76/276.18 eprover: CPU time limit exceeded, terminating % 277.78/278.19 eprover: CPU time limit exceeded, terminating % 279.85/280.20 eprover: CPU time limit exceeded, terminating % 281.85/282.21 eprover: CPU time limit exceeded, terminating % 283.86/284.22 eprover: CPU time limit exceeded, terminating % 285.86/286.23 eprover: CPU time limit exceeded, terminating % 287.86/288.24 eprover: CPU time limit exceeded, terminating % 289.86/290.25 eprover: CPU time limit exceeded, terminating % 291.87/292.26 eprover: CPU time limit exceeded, terminating % 293.87/294.28 eprover: CPU time limit exceeded, terminating % 295.88/296.29 eprover: CPU time limit exceeded, terminating % 297.88/298.30 eprover: CPU time limit exceeded, terminating % 299.70/300.03 /bin/sh: line 1: 31950 Terminated eprover --tstp-in --tstp-out -tAuto -xAuto --output-level=0 --cpu-limit=2 /tmp/Infinox_28656/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty > /tmp/Infinox_28656/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty_result % 299.70/300.04 Terminated % 301.76/302.03 /bin/sh: line 1: 31953 Killed eprover --tstp-in --tstp-out -tAuto -xAuto --output-level=0 --cpu-limit=2 /tmp/Infinox_28656/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty > /tmp/Infinox_28656/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty_result %------------------------------------------------------------------------------