%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWX198-1 : TPTP v9.3.0. Released v9.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n010.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:17 PM UTC 2026 % Result : Timeout 285.88s 285.67s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.00/0.12 % Problem : SWX198-1 : TPTP v9.3.0. Released v9.3.0. % 0.00/0.12 % Command : run_infinox %s % 0.14/0.33 % Computer : n010.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 11:09:36 EDT 2026 % 0.14/0.33 % CPUTime : % 2.12/2.36 eprover: CPU time limit exceeded, terminating % 4.12/4.37 eprover: CPU time limit exceeded, terminating % 6.12/6.38 eprover: CPU time limit exceeded, terminating % 8.12/8.38 eprover: CPU time limit exceeded, terminating % 10.12/10.39 eprover: CPU time limit exceeded, terminating % 12.22/12.40 eprover: CPU time limit exceeded, terminating % 14.23/14.41 eprover: CPU time limit exceeded, terminating % 16.23/16.41 eprover: CPU time limit exceeded, terminating % 18.22/18.42 eprover: CPU time limit exceeded, terminating % 20.23/20.43 eprover: CPU time limit exceeded, terminating % 22.24/22.44 eprover: CPU time limit exceeded, terminating % 24.25/24.45 eprover: CPU time limit exceeded, terminating % 26.24/26.45 eprover: CPU time limit exceeded, terminating % 28.26/28.46 eprover: CPU time limit exceeded, terminating % 30.26/30.47 eprover: CPU time limit exceeded, terminating % 32.24/32.48 eprover: CPU time limit exceeded, terminating % 34.25/34.49 eprover: CPU time limit exceeded, terminating % 36.26/36.49 eprover: CPU time limit exceeded, terminating % 38.36/38.50 eprover: CPU time limit exceeded, terminating % 40.36/40.51 eprover: CPU time limit exceeded, terminating % 42.37/42.52 eprover: CPU time limit exceeded, terminating % 44.37/44.53 eprover: CPU time limit exceeded, terminating % 46.38/46.54 eprover: CPU time limit exceeded, terminating % 48.38/48.55 eprover: CPU time limit exceeded, terminating % 50.38/50.56 eprover: CPU time limit exceeded, terminating % 52.39/52.57 eprover: CPU time limit exceeded, terminating % 54.39/54.58 eprover: CPU time limit exceeded, terminating % 56.39/56.59 eprover: CPU time limit exceeded, terminating % 58.50/58.60 eprover: CPU time limit exceeded, terminating % 60.51/60.61 eprover: CPU time limit exceeded, terminating % 62.49/62.62 eprover: CPU time limit exceeded, terminating % 64.51/64.63 eprover: CPU time limit exceeded, terminating % 66.50/66.64 eprover: CPU time limit exceeded, terminating % 68.50/68.65 eprover: CPU time limit exceeded, terminating % 70.51/70.65 eprover: CPU time limit exceeded, terminating % 72.51/72.66 eprover: CPU time limit exceeded, terminating % 74.51/74.67 eprover: CPU time limit exceeded, terminating % 76.52/76.68 eprover: CPU time limit exceeded, terminating % 78.53/78.69 eprover: CPU time limit exceeded, terminating % 80.62/80.70 eprover: CPU time limit exceeded, terminating % 82.64/82.71 eprover: CPU time limit exceeded, terminating % 84.64/84.72 eprover: CPU time limit exceeded, terminating % 86.64/86.73 eprover: CPU time limit exceeded, terminating % 88.66/88.74 eprover: CPU time limit exceeded, terminating % 90.65/90.75 eprover: CPU time limit exceeded, terminating % 92.66/92.76 eprover: CPU time limit exceeded, terminating % 94.66/94.77 eprover: CPU time limit exceeded, terminating % 96.66/96.78 eprover: CPU time limit exceeded, terminating % 98.66/98.79 eprover: CPU time limit exceeded, terminating % 100.76/100.80 eprover: CPU time limit exceeded, terminating % 102.77/102.81 eprover: CPU time limit exceeded, terminating % 104.78/104.82 eprover: CPU time limit exceeded, terminating % 106.77/106.83 eprover: CPU time limit exceeded, terminating % 108.78/108.84 eprover: CPU time limit exceeded, terminating % 110.79/110.85 eprover: CPU time limit exceeded, terminating % 112.78/112.86 eprover: CPU time limit exceeded, terminating % 114.79/114.87 eprover: CPU time limit exceeded, terminating % 116.79/116.88 eprover: CPU time limit exceeded, terminating % 118.79/118.89 eprover: CPU time limit exceeded, terminating % 120.80/120.90 eprover: CPU time limit exceeded, terminating % 122.91/122.91 eprover: CPU time limit exceeded, terminating % 124.90/124.92 eprover: CPU time limit exceeded, terminating % 126.90/126.93 eprover: CPU time limit exceeded, terminating % 128.92/128.94 eprover: CPU time limit exceeded, terminating % 130.92/130.95 eprover: CPU time limit exceeded, terminating % 132.93/132.96 eprover: CPU time limit exceeded, terminating % 134.91/134.97 eprover: CPU time limit exceeded, terminating % 136.93/136.98 eprover: CPU time limit exceeded, terminating % 138.92/138.99 eprover: CPU time limit exceeded, terminating % 140.92/141.00 eprover: CPU time limit exceeded, terminating % 142.94/143.01 eprover: CPU time limit exceeded, terminating % 144.94/145.02 eprover: CPU time limit exceeded, terminating % 147.06/147.03 eprover: CPU time limit exceeded, terminating % 149.07/149.04 eprover: CPU time limit exceeded, terminating % 151.07/151.05 eprover: CPU time limit exceeded, terminating % 153.08/153.06 eprover: CPU time limit exceeded, terminating % 155.09/155.07 eprover: CPU time limit exceeded, terminating % 157.08/157.07 eprover: CPU time limit exceeded, terminating % 159.09/159.08 eprover: CPU time limit exceeded, terminating % 161.09/161.09 eprover: CPU time limit exceeded, terminating % 163.08/163.10 eprover: CPU time limit exceeded, terminating % 165.09/165.11 eprover: CPU time limit exceeded, terminating % 167.09/167.12 eprover: CPU time limit exceeded, terminating % 169.21/169.13 eprover: CPU time limit exceeded, terminating % 171.21/171.14 eprover: CPU time limit exceeded, terminating % 173.22/173.15 eprover: CPU time limit exceeded, terminating % 175.22/175.16 eprover: CPU time limit exceeded, terminating % 177.23/177.17 eprover: CPU time limit exceeded, terminating % 179.23/179.18 eprover: CPU time limit exceeded, terminating % 181.23/181.18 eprover: CPU time limit exceeded, terminating % 183.25/183.19 eprover: CPU time limit exceeded, terminating % 185.31/185.20 eprover: CPU time limit exceeded, terminating % 187.31/187.21 eprover: CPU time limit exceeded, terminating % 189.31/189.22 eprover: CPU time limit exceeded, terminating % 191.31/191.23 eprover: CPU time limit exceeded, terminating % 193.32/193.24 eprover: CPU time limit exceeded, terminating % 195.33/195.25 eprover: CPU time limit exceeded, terminating % 197.33/197.26 eprover: CPU time limit exceeded, terminating % 199.33/199.27 eprover: CPU time limit exceeded, terminating % 201.34/201.27 eprover: CPU time limit exceeded, terminating % 203.34/203.28 eprover: CPU time limit exceeded, terminating % 205.34/205.29 eprover: CPU time limit exceeded, terminating % 207.45/207.30 eprover: CPU time limit exceeded, terminating % 209.44/209.31 eprover: CPU time limit exceeded, terminating % 211.44/211.32 eprover: CPU time limit exceeded, terminating % 213.46/213.33 eprover: CPU time limit exceeded, terminating % 215.45/215.34 eprover: CPU time limit exceeded, terminating % 217.47/217.35 eprover: CPU time limit exceeded, terminating % 219.45/219.36 eprover: CPU time limit exceeded, terminating % 221.47/221.37 eprover: CPU time limit exceeded, terminating % 223.47/223.38 eprover: CPU time limit exceeded, terminating % 225.47/225.39 eprover: CPU time limit exceeded, terminating % 227.48/227.40 eprover: CPU time limit exceeded, terminating % 229.58/229.40 eprover: CPU time limit exceeded, terminating % 231.58/231.41 eprover: CPU time limit exceeded, terminating % 233.59/233.42 eprover: CPU time limit exceeded, terminating % 235.59/235.43 eprover: CPU time limit exceeded, terminating % 237.59/237.44 eprover: CPU time limit exceeded, terminating % 239.60/239.45 eprover: CPU time limit exceeded, terminating % 241.60/241.46 eprover: CPU time limit exceeded, terminating % 243.60/243.47 eprover: CPU time limit exceeded, terminating % 245.61/245.48 eprover: CPU time limit exceeded, terminating % 247.61/247.49 eprover: CPU time limit exceeded, terminating % 249.60/249.50 eprover: CPU time limit exceeded, terminating % 251.71/251.50 eprover: CPU time limit exceeded, terminating % 253.73/253.51 eprover: CPU time limit exceeded, terminating % 255.73/255.52 eprover: CPU time limit exceeded, terminating % 257.72/257.53 eprover: CPU time limit exceeded, terminating % 259.73/259.54 eprover: CPU time limit exceeded, terminating % 261.73/261.55 eprover: CPU time limit exceeded, terminating % 263.74/263.56 eprover: CPU time limit exceeded, terminating % 265.75/265.57 eprover: CPU time limit exceeded, terminating % 267.75/267.58 eprover: CPU time limit exceeded, terminating % 269.75/269.59 eprover: CPU time limit exceeded, terminating % 271.85/271.60 eprover: CPU time limit exceeded, terminating % 273.85/273.61 eprover: CPU time limit exceeded, terminating % 275.86/275.62 eprover: CPU time limit exceeded, terminating % 277.86/277.63 eprover: CPU time limit exceeded, terminating % 279.86/279.64 eprover: CPU time limit exceeded, terminating % 281.86/281.65 eprover: CPU time limit exceeded, terminating % 283.88/283.66 eprover: CPU time limit exceeded, terminating % 285.88/285.67 eprover: CPU time limit exceeded, terminating % 287.87/287.68 eprover: CPU time limit exceeded, terminating % 289.87/289.69 eprover: CPU time limit exceeded, terminating % 291.98/291.70 eprover: CPU time limit exceeded, terminating % 293.98/293.71 eprover: CPU time limit exceeded, terminating % 296.00/295.72 eprover: CPU time limit exceeded, terminating % 298.00/297.73 eprover: CPU time limit exceeded, terminating % 300.00/299.70 /bin/sh: line 1: 12975 Terminated eprover --tstp-in --tstp-out -tAuto -xAuto --output-level=0 --cpu-limit=2 /tmp/Infinox_11333/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr > /tmp/Infinox_11333/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr_result % 300.00/299.71 Terminated % 302.05/301.70 /bin/sh: line 1: 12978 Killed eprover --tstp-in --tstp-out -tAuto -xAuto --output-level=0 --cpu-limit=2 /tmp/Infinox_11333/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr > /tmp/Infinox_11333/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr_result %------------------------------------------------------------------------------