%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWW477+6 : TPTP v8.1.0. Released v5.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n018.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 : 600s % DateTime : Thu Jul 21 00:24:59 EDT 2022 % Result : Timeout 286.67s 237.83s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.07/0.12 % Problem : SWW477+6 : TPTP v8.1.0. Released v5.3.0. % 0.07/0.13 % Command : run_infinox %s % 0.12/0.32 % Computer : n018.cluster.edu % 0.12/0.32 % Model : x86_64 x86_64 % 0.12/0.32 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.12/0.32 % Memory : 8042.1875MB % 0.12/0.32 % OS : Linux 3.10.0-693.el7.x86_64 % 0.12/0.32 % CPULimit : 300 % 0.12/0.32 % WCLimit : 600 % 0.12/0.32 % DateTime : Sat Jun 4 19:46:33 EDT 2022 % 0.12/0.33 % CPUTime : % 12.44/12.18 eprover: CPU time limit exceeded, terminating % 14.83/14.19 eprover: CPU time limit exceeded, terminating % 17.27/16.20 eprover: CPU time limit exceeded, terminating % 19.68/18.21 eprover: CPU time limit exceeded, terminating % 22.20/20.23 eprover: CPU time limit exceeded, terminating % 24.59/22.24 eprover: CPU time limit exceeded, terminating % 26.97/24.25 eprover: CPU time limit exceeded, terminating % 29.49/26.27 eprover: CPU time limit exceeded, terminating % 31.94/28.28 eprover: CPU time limit exceeded, terminating % 34.38/30.29 eprover: CPU time limit exceeded, terminating % 36.81/32.30 eprover: CPU time limit exceeded, terminating % 39.22/34.32 eprover: CPU time limit exceeded, terminating % 41.69/36.33 eprover: CPU time limit exceeded, terminating % 44.13/38.35 eprover: CPU time limit exceeded, terminating % 46.57/40.36 eprover: CPU time limit exceeded, terminating % 48.97/42.37 eprover: CPU time limit exceeded, terminating % 51.37/44.39 eprover: CPU time limit exceeded, terminating % 53.85/46.40 eprover: CPU time limit exceeded, terminating % 56.29/48.42 eprover: CPU time limit exceeded, terminating % 58.72/50.43 eprover: CPU time limit exceeded, terminating % 61.14/52.45 eprover: CPU time limit exceeded, terminating % 63.50/54.46 eprover: CPU time limit exceeded, terminating % 66.06/56.48 eprover: CPU time limit exceeded, terminating % 68.46/58.49 eprover: CPU time limit exceeded, terminating % 70.95/60.51 eprover: CPU time limit exceeded, terminating % 73.33/62.52 eprover: CPU time limit exceeded, terminating % 75.78/64.53 eprover: CPU time limit exceeded, terminating % 78.21/66.55 eprover: CPU time limit exceeded, terminating % 80.64/68.56 eprover: CPU time limit exceeded, terminating % 83.07/70.57 eprover: CPU time limit exceeded, terminating % 85.48/72.59 eprover: CPU time limit exceeded, terminating % 87.89/74.60 eprover: CPU time limit exceeded, terminating % 90.29/76.62 eprover: CPU time limit exceeded, terminating % 92.68/78.63 eprover: CPU time limit exceeded, terminating % 95.17/80.65 eprover: CPU time limit exceeded, terminating % 97.61/82.66 eprover: CPU time limit exceeded, terminating % 100.00/84.68 eprover: CPU time limit exceeded, terminating % 102.43/86.69 eprover: CPU time limit exceeded, terminating % 104.90/88.70 eprover: CPU time limit exceeded, terminating % 107.31/90.72 eprover: CPU time limit exceeded, terminating % 109.77/92.73 eprover: CPU time limit exceeded, terminating % 112.16/94.75 eprover: CPU time limit exceeded, terminating % 114.64/96.76 eprover: CPU time limit exceeded, terminating % 117.05/98.78 eprover: CPU time limit exceeded, terminating % 119.50/100.79 eprover: CPU time limit exceeded, terminating % 121.91/102.81 eprover: CPU time limit exceeded, terminating % 124.35/104.83 eprover: CPU time limit exceeded, terminating % 126.81/106.84 eprover: CPU time limit exceeded, terminating % 129.20/108.86 eprover: CPU time limit exceeded, terminating % 131.62/110.87 eprover: CPU time limit exceeded, terminating % 134.07/112.89 eprover: CPU time limit exceeded, terminating % 136.51/114.91 eprover: CPU time limit exceeded, terminating % 140.88/116.92 eprover: CPU time limit exceeded, terminating % 143.33/118.94 eprover: CPU time limit exceeded, terminating % 145.74/120.95 eprover: CPU time limit exceeded, terminating % 148.19/122.97 eprover: CPU time limit exceeded, terminating % 150.58/124.98 eprover: CPU time limit exceeded, terminating % 153.03/127.00 eprover: CPU time limit exceeded, terminating % 155.46/129.01 eprover: CPU time limit exceeded, terminating % 157.85/131.03 eprover: CPU time limit exceeded, terminating % 160.30/133.04 eprover: CPU time limit exceeded, terminating % 162.75/135.06 eprover: CPU time limit exceeded, terminating % 165.18/137.07 eprover: CPU time limit exceeded, terminating % 167.62/139.09 eprover: CPU time limit exceeded, terminating % 170.02/141.11 eprover: CPU time limit exceeded, terminating % 172.48/143.12 eprover: CPU time limit exceeded, terminating % 174.93/145.14 eprover: CPU time limit exceeded, terminating % 177.37/147.15 eprover: CPU time limit exceeded, terminating % 179.72/149.17 eprover: CPU time limit exceeded, terminating % 182.24/151.18 eprover: CPU time limit exceeded, terminating % 184.66/153.20 eprover: CPU time limit exceeded, terminating % 187.08/155.21 eprover: CPU time limit exceeded, terminating % 189.51/157.23 eprover: CPU time limit exceeded, terminating % 191.92/159.24 eprover: CPU time limit exceeded, terminating % 194.34/161.26 eprover: CPU time limit exceeded, terminating % 196.78/163.27 eprover: CPU time limit exceeded, terminating % 199.25/165.29 eprover: CPU time limit exceeded, terminating % 201.60/167.31 eprover: CPU time limit exceeded, terminating % 204.05/169.32 eprover: CPU time limit exceeded, terminating % 206.54/171.34 eprover: CPU time limit exceeded, terminating % 208.93/173.35 eprover: CPU time limit exceeded, terminating % 211.37/175.37 eprover: CPU time limit exceeded, terminating % 213.83/177.38 eprover: CPU time limit exceeded, terminating % 216.21/179.40 eprover: CPU time limit exceeded, terminating % 218.66/181.41 eprover: CPU time limit exceeded, terminating % 221.00/183.43 eprover: CPU time limit exceeded, terminating % 223.49/185.44 eprover: CPU time limit exceeded, terminating % 225.91/187.46 eprover: CPU time limit exceeded, terminating % 228.39/189.47 eprover: CPU time limit exceeded, terminating % 230.75/191.49 eprover: CPU time limit exceeded, terminating % 233.27/193.50 eprover: CPU time limit exceeded, terminating % 235.60/195.52 eprover: CPU time limit exceeded, terminating % 238.10/197.53 eprover: CPU time limit exceeded, terminating % 240.53/199.55 eprover: CPU time limit exceeded, terminating % 242.92/201.56 eprover: CPU time limit exceeded, terminating % 245.37/203.58 eprover: CPU time limit exceeded, terminating % 247.80/205.59 eprover: CPU time limit exceeded, terminating % 250.19/207.61 eprover: CPU time limit exceeded, terminating % 252.65/209.62 eprover: CPU time limit exceeded, terminating % 255.11/211.63 eprover: CPU time limit exceeded, terminating % 257.53/213.65 eprover: CPU time limit exceeded, terminating % 259.95/215.66 eprover: CPU time limit exceeded, terminating % 262.38/217.68 eprover: CPU time limit exceeded, terminating % 264.81/219.69 eprover: CPU time limit exceeded, terminating % 267.29/221.71 eprover: CPU time limit exceeded, terminating % 269.73/223.72 eprover: CPU time limit exceeded, terminating % 272.12/225.74 eprover: CPU time limit exceeded, terminating % 274.53/227.75 eprover: CPU time limit exceeded, terminating % 277.00/229.77 eprover: CPU time limit exceeded, terminating % 279.38/231.78 eprover: CPU time limit exceeded, terminating % 281.83/233.80 eprover: CPU time limit exceeded, terminating % 284.21/235.81 eprover: CPU time limit exceeded, terminating % 286.67/237.83 eprover: CPU time limit exceeded, terminating % 289.14/239.84 eprover: CPU time limit exceeded, terminating % 291.57/241.86 eprover: CPU time limit exceeded, terminating % 294.00/243.88 eprover: CPU time limit exceeded, terminating % 296.40/245.89 eprover: CPU time limit exceeded, terminating % 298.83/247.91 eprover: CPU time limit exceeded, terminating % 300.16/248.87 eprover: CPU time limit exceeded, terminating % 300.16/248.88 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------