%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : CAT035+2 : TPTP v8.1.0. Released v3.4.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n017.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 : Fri Jul 15 00:01:08 EDT 2022 % Result : Timeout 286.21s 261.81s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.04/0.12 % Problem : CAT035+2 : TPTP v8.1.0. Released v3.4.0. % 0.04/0.12 % Command : run_infinox %s % 0.12/0.33 % Computer : n017.cluster.edu % 0.12/0.33 % Model : x86_64 x86_64 % 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.12/0.33 % Memory : 8042.1875MB % 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64 % 0.12/0.33 % CPULimit : 300 % 0.12/0.33 % WCLimit : 600 % 0.12/0.33 % DateTime : Sun May 29 19:36:09 EDT 2022 % 0.12/0.34 % CPUTime : % 20.39/20.33 eprover: CPU time limit exceeded, terminating % 22.59/22.35 eprover: CPU time limit exceeded, terminating % 24.84/24.36 eprover: CPU time limit exceeded, terminating % 26.98/26.37 eprover: CPU time limit exceeded, terminating % 29.26/28.38 eprover: CPU time limit exceeded, terminating % 31.48/30.39 eprover: CPU time limit exceeded, terminating % 33.66/32.41 eprover: CPU time limit exceeded, terminating % 35.84/34.42 eprover: CPU time limit exceeded, terminating % 38.16/36.43 eprover: CPU time limit exceeded, terminating % 40.35/38.44 eprover: CPU time limit exceeded, terminating % 42.54/40.46 eprover: CPU time limit exceeded, terminating % 44.80/42.47 eprover: CPU time limit exceeded, terminating % 46.94/44.48 eprover: CPU time limit exceeded, terminating % 49.17/46.49 eprover: CPU time limit exceeded, terminating % 51.42/48.50 eprover: CPU time limit exceeded, terminating % 53.60/50.52 eprover: CPU time limit exceeded, terminating % 55.88/52.53 eprover: CPU time limit exceeded, terminating % 58.03/54.54 eprover: CPU time limit exceeded, terminating % 60.22/56.55 eprover: CPU time limit exceeded, terminating % 62.48/58.56 eprover: CPU time limit exceeded, terminating % 64.71/60.58 eprover: CPU time limit exceeded, terminating % 66.91/62.59 eprover: CPU time limit exceeded, terminating % 69.16/64.60 eprover: CPU time limit exceeded, terminating % 71.33/66.61 eprover: CPU time limit exceeded, terminating % 73.58/68.63 eprover: CPU time limit exceeded, terminating % 75.82/70.64 eprover: CPU time limit exceeded, terminating % 78.01/72.65 eprover: CPU time limit exceeded, terminating % 80.25/74.66 eprover: CPU time limit exceeded, terminating % 82.45/76.67 eprover: CPU time limit exceeded, terminating % 84.68/78.69 eprover: CPU time limit exceeded, terminating % 86.87/80.70 eprover: CPU time limit exceeded, terminating % 89.12/82.71 eprover: CPU time limit exceeded, terminating % 91.28/84.73 eprover: CPU time limit exceeded, terminating % 93.45/86.74 eprover: CPU time limit exceeded, terminating % 95.74/88.75 eprover: CPU time limit exceeded, terminating % 97.97/90.77 eprover: CPU time limit exceeded, terminating % 100.15/92.78 eprover: CPU time limit exceeded, terminating % 102.36/94.79 eprover: CPU time limit exceeded, terminating % 104.60/96.80 eprover: CPU time limit exceeded, terminating % 106.76/98.81 eprover: CPU time limit exceeded, terminating % 109.00/100.83 eprover: CPU time limit exceeded, terminating % 111.27/102.84 eprover: CPU time limit exceeded, terminating % 113.48/104.85 eprover: CPU time limit exceeded, terminating % 115.66/106.86 eprover: CPU time limit exceeded, terminating % 117.88/108.88 eprover: CPU time limit exceeded, terminating % 120.08/110.89 eprover: CPU time limit exceeded, terminating % 122.31/112.90 eprover: CPU time limit exceeded, terminating % 124.54/114.91 eprover: CPU time limit exceeded, terminating % 126.75/116.93 eprover: CPU time limit exceeded, terminating % 128.92/118.94 eprover: CPU time limit exceeded, terminating % 131.11/120.95 eprover: CPU time limit exceeded, terminating % 133.39/122.96 eprover: CPU time limit exceeded, terminating % 135.59/124.97 eprover: CPU time limit exceeded, terminating % 137.85/126.99 eprover: CPU time limit exceeded, terminating % 140.04/129.00 eprover: CPU time limit exceeded, terminating % 142.27/131.01 eprover: CPU time limit exceeded, terminating % 144.45/133.02 eprover: CPU time limit exceeded, terminating % 146.63/135.04 eprover: CPU time limit exceeded, terminating % 148.91/137.05 eprover: CPU time limit exceeded, terminating % 151.16/139.06 eprover: CPU time limit exceeded, terminating % 153.35/141.07 eprover: CPU time limit exceeded, terminating % 155.54/143.08 eprover: CPU time limit exceeded, terminating % 157.79/145.10 eprover: CPU time limit exceeded, terminating % 159.96/147.11 eprover: CPU time limit exceeded, terminating % 162.23/149.12 eprover: CPU time limit exceeded, terminating % 164.41/151.13 eprover: CPU time limit exceeded, terminating % 166.65/153.15 eprover: CPU time limit exceeded, terminating % 168.82/155.16 eprover: CPU time limit exceeded, terminating % 171.09/157.17 eprover: CPU time limit exceeded, terminating % 173.30/159.18 eprover: CPU time limit exceeded, terminating % 175.49/161.20 eprover: CPU time limit exceeded, terminating % 177.71/163.21 eprover: CPU time limit exceeded, terminating % 179.96/165.22 eprover: CPU time limit exceeded, terminating % 182.18/167.23 eprover: CPU time limit exceeded, terminating % 184.38/169.25 eprover: CPU time limit exceeded, terminating % 186.60/171.26 eprover: CPU time limit exceeded, terminating % 188.79/173.27 eprover: CPU time limit exceeded, terminating % 190.97/175.28 eprover: CPU time limit exceeded, terminating % 193.22/177.30 eprover: CPU time limit exceeded, terminating % 195.46/179.31 eprover: CPU time limit exceeded, terminating % 197.65/181.32 eprover: CPU time limit exceeded, terminating % 199.88/183.33 eprover: CPU time limit exceeded, terminating % 202.06/185.34 eprover: CPU time limit exceeded, terminating % 204.30/187.35 eprover: CPU time limit exceeded, terminating % 206.53/189.37 eprover: CPU time limit exceeded, terminating % 208.71/191.38 eprover: CPU time limit exceeded, terminating % 210.93/193.39 eprover: CPU time limit exceeded, terminating % 213.12/195.41 eprover: CPU time limit exceeded, terminating % 215.38/197.42 eprover: CPU time limit exceeded, terminating % 217.62/199.43 eprover: CPU time limit exceeded, terminating % 219.79/201.44 eprover: CPU time limit exceeded, terminating % 222.04/203.46 eprover: CPU time limit exceeded, terminating % 224.19/205.47 eprover: CPU time limit exceeded, terminating % 226.44/207.48 eprover: CPU time limit exceeded, terminating % 228.70/209.50 eprover: CPU time limit exceeded, terminating % 230.86/211.51 eprover: CPU time limit exceeded, terminating % 233.09/213.52 eprover: CPU time limit exceeded, terminating % 235.33/215.53 eprover: CPU time limit exceeded, terminating % 237.53/217.54 eprover: CPU time limit exceeded, terminating % 239.69/219.55 eprover: CPU time limit exceeded, terminating % 241.96/221.56 eprover: CPU time limit exceeded, terminating % 244.13/223.58 eprover: CPU time limit exceeded, terminating % 246.39/225.59 eprover: CPU time limit exceeded, terminating % 248.59/227.60 eprover: CPU time limit exceeded, terminating % 250.77/229.61 eprover: CPU time limit exceeded, terminating % 252.98/231.62 eprover: CPU time limit exceeded, terminating % 255.21/233.64 eprover: CPU time limit exceeded, terminating % 257.44/235.65 eprover: CPU time limit exceeded, terminating % 259.67/237.66 eprover: CPU time limit exceeded, terminating % 261.87/239.67 eprover: CPU time limit exceeded, terminating % 264.03/241.69 eprover: CPU time limit exceeded, terminating % 266.32/243.70 eprover: CPU time limit exceeded, terminating % 268.55/245.71 eprover: CPU time limit exceeded, terminating % 270.74/247.72 eprover: CPU time limit exceeded, terminating % 272.92/249.73 eprover: CPU time limit exceeded, terminating % 275.16/251.75 eprover: CPU time limit exceeded, terminating % 277.38/253.76 eprover: CPU time limit exceeded, terminating % 279.50/255.78 eprover: CPU time limit exceeded, terminating % 281.75/257.79 eprover: CPU time limit exceeded, terminating % 283.95/259.80 eprover: CPU time limit exceeded, terminating % 286.21/261.81 eprover: CPU time limit exceeded, terminating % 288.42/263.82 eprover: CPU time limit exceeded, terminating % 290.60/265.84 eprover: CPU time limit exceeded, terminating % 292.84/267.85 eprover: CPU time limit exceeded, terminating % 295.04/269.86 eprover: CPU time limit exceeded, terminating % 297.29/271.87 eprover: CPU time limit exceeded, terminating % 299.53/273.88 eprover: CPU time limit exceeded, terminating % 300.12/274.38 eprover: CPU time limit exceeded, terminating % 300.12/274.39 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------