%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : TOP034+2 : TPTP v8.1.0. Released v3.4.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n026.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 21:26:34 EDT 2022 % Result : Timeout 287.76s 263.65s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.00/0.12 % Problem : TOP034+2 : TPTP v8.1.0. Released v3.4.0. % 0.12/0.13 % Command : run_infinox %s % 0.13/0.34 % Computer : n026.cluster.edu % 0.13/0.34 % Model : x86_64 x86_64 % 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.13/0.34 % Memory : 8042.1875MB % 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64 % 0.20/0.34 % CPULimit : 300 % 0.20/0.34 % WCLimit : 600 % 0.20/0.34 % DateTime : Sun May 29 14:37:25 EDT 2022 % 0.20/0.34 % CPUTime : % 9.45/9.44 eprover: CPU time limit exceeded, terminating % 11.67/11.45 eprover: CPU time limit exceeded, terminating % 13.84/13.47 eprover: CPU time limit exceeded, terminating % 16.10/15.49 eprover: CPU time limit exceeded, terminating % 18.27/17.51 eprover: CPU time limit exceeded, terminating % 20.49/19.53 eprover: CPU time limit exceeded, terminating % 22.65/21.55 eprover: CPU time limit exceeded, terminating % 24.83/23.57 eprover: CPU time limit exceeded, terminating % 27.07/25.58 eprover: CPU time limit exceeded, terminating % 29.27/27.60 eprover: CPU time limit exceeded, terminating % 31.51/29.61 eprover: CPU time limit exceeded, terminating % 33.74/31.63 eprover: CPU time limit exceeded, terminating % 35.94/33.65 eprover: CPU time limit exceeded, terminating % 38.14/35.67 eprover: CPU time limit exceeded, terminating % 40.36/37.68 eprover: CPU time limit exceeded, terminating % 42.52/39.69 eprover: CPU time limit exceeded, terminating % 44.73/41.71 eprover: CPU time limit exceeded, terminating % 46.98/43.72 eprover: CPU time limit exceeded, terminating % 49.16/45.74 eprover: CPU time limit exceeded, terminating % 51.43/47.75 eprover: CPU time limit exceeded, terminating % 53.56/49.77 eprover: CPU time limit exceeded, terminating % 55.83/51.79 eprover: CPU time limit exceeded, terminating % 58.02/53.81 eprover: CPU time limit exceeded, terminating % 60.28/55.83 eprover: CPU time limit exceeded, terminating % 62.41/57.84 eprover: CPU time limit exceeded, terminating % 64.67/59.85 eprover: CPU time limit exceeded, terminating % 66.93/61.87 eprover: CPU time limit exceeded, terminating % 69.09/63.89 eprover: CPU time limit exceeded, terminating % 71.35/65.91 eprover: CPU time limit exceeded, terminating % 73.56/67.92 eprover: CPU time limit exceeded, terminating % 75.78/69.93 eprover: CPU time limit exceeded, terminating % 77.98/71.95 eprover: CPU time limit exceeded, terminating % 80.21/73.97 eprover: CPU time limit exceeded, terminating % 82.42/75.99 eprover: CPU time limit exceeded, terminating % 84.62/78.02 eprover: CPU time limit exceeded, terminating % 86.83/80.04 eprover: CPU time limit exceeded, terminating % 89.02/82.06 eprover: CPU time limit exceeded, terminating % 91.20/84.07 eprover: CPU time limit exceeded, terminating % 93.46/86.09 eprover: CPU time limit exceeded, terminating % 95.69/88.12 eprover: CPU time limit exceeded, terminating % 97.93/90.15 eprover: CPU time limit exceeded, terminating % 100.13/92.17 eprover: CPU time limit exceeded, terminating % 102.27/94.19 eprover: CPU time limit exceeded, terminating % 104.53/96.20 eprover: CPU time limit exceeded, terminating % 106.72/98.22 eprover: CPU time limit exceeded, terminating % 108.93/100.23 eprover: CPU time limit exceeded, terminating % 111.15/102.25 eprover: CPU time limit exceeded, terminating % 113.38/104.28 eprover: CPU time limit exceeded, terminating % 115.61/106.29 eprover: CPU time limit exceeded, terminating % 117.78/108.32 eprover: CPU time limit exceeded, terminating % 120.01/110.34 eprover: CPU time limit exceeded, terminating % 122.19/112.36 eprover: CPU time limit exceeded, terminating % 124.41/114.38 eprover: CPU time limit exceeded, terminating % 126.60/116.40 eprover: CPU time limit exceeded, terminating % 128.87/118.42 eprover: CPU time limit exceeded, terminating % 131.07/120.44 eprover: CPU time limit exceeded, terminating % 133.21/122.45 eprover: CPU time limit exceeded, terminating % 135.48/124.47 eprover: CPU time limit exceeded, terminating % 137.68/126.49 eprover: CPU time limit exceeded, terminating % 139.90/128.51 eprover: CPU time limit exceeded, terminating % 142.06/130.52 eprover: CPU time limit exceeded, terminating % 144.25/132.54 eprover: CPU time limit exceeded, terminating % 146.54/134.56 eprover: CPU time limit exceeded, terminating % 148.74/136.57 eprover: CPU time limit exceeded, terminating % 150.92/138.59 eprover: CPU time limit exceeded, terminating % 153.15/140.62 eprover: CPU time limit exceeded, terminating % 155.39/142.64 eprover: CPU time limit exceeded, terminating % 157.51/144.65 eprover: CPU time limit exceeded, terminating % 159.76/146.67 eprover: CPU time limit exceeded, terminating % 161.99/148.69 eprover: CPU time limit exceeded, terminating % 164.16/150.70 eprover: CPU time limit exceeded, terminating % 166.36/152.71 eprover: CPU time limit exceeded, terminating % 168.56/154.74 eprover: CPU time limit exceeded, terminating % 170.78/156.75 eprover: CPU time limit exceeded, terminating % 173.00/158.77 eprover: CPU time limit exceeded, terminating % 175.18/160.79 eprover: CPU time limit exceeded, terminating % 177.41/162.80 eprover: CPU time limit exceeded, terminating % 179.61/164.81 eprover: CPU time limit exceeded, terminating % 181.79/166.84 eprover: CPU time limit exceeded, terminating % 184.06/168.86 eprover: CPU time limit exceeded, terminating % 186.22/170.88 eprover: CPU time limit exceeded, terminating % 188.41/172.90 eprover: CPU time limit exceeded, terminating % 190.60/174.92 eprover: CPU time limit exceeded, terminating % 192.78/176.93 eprover: CPU time limit exceeded, terminating % 195.04/178.95 eprover: CPU time limit exceeded, terminating % 197.24/180.96 eprover: CPU time limit exceeded, terminating % 199.47/182.97 eprover: CPU time limit exceeded, terminating % 201.66/185.00 eprover: CPU time limit exceeded, terminating % 203.85/187.01 eprover: CPU time limit exceeded, terminating % 206.03/189.03 eprover: CPU time limit exceeded, terminating % 208.31/191.04 eprover: CPU time limit exceeded, terminating % 210.50/193.06 eprover: CPU time limit exceeded, terminating % 212.70/195.08 eprover: CPU time limit exceeded, terminating % 214.89/197.10 eprover: CPU time limit exceeded, terminating % 217.15/199.12 eprover: CPU time limit exceeded, terminating % 219.33/201.13 eprover: CPU time limit exceeded, terminating % 221.55/203.15 eprover: CPU time limit exceeded, terminating % 223.75/205.17 eprover: CPU time limit exceeded, terminating % 225.98/207.18 eprover: CPU time limit exceeded, terminating % 228.13/209.19 eprover: CPU time limit exceeded, terminating % 230.35/211.21 eprover: CPU time limit exceeded, terminating % 232.51/213.22 eprover: CPU time limit exceeded, terminating % 234.80/215.24 eprover: CPU time limit exceeded, terminating % 236.98/217.25 eprover: CPU time limit exceeded, terminating % 239.22/219.27 eprover: CPU time limit exceeded, terminating % 241.44/221.28 eprover: CPU time limit exceeded, terminating % 243.61/223.30 eprover: CPU time limit exceeded, terminating % 245.83/225.31 eprover: CPU time limit exceeded, terminating % 248.08/227.33 eprover: CPU time limit exceeded, terminating % 250.25/229.35 eprover: CPU time limit exceeded, terminating % 252.48/231.37 eprover: CPU time limit exceeded, terminating % 254.67/233.39 eprover: CPU time limit exceeded, terminating % 256.88/235.41 eprover: CPU time limit exceeded, terminating % 259.11/237.43 eprover: CPU time limit exceeded, terminating % 261.31/239.44 eprover: CPU time limit exceeded, terminating % 263.50/241.46 eprover: CPU time limit exceeded, terminating % 265.72/243.48 eprover: CPU time limit exceeded, terminating % 267.89/245.50 eprover: CPU time limit exceeded, terminating % 270.13/247.52 eprover: CPU time limit exceeded, terminating % 272.26/249.53 eprover: CPU time limit exceeded, terminating % 274.54/251.55 eprover: CPU time limit exceeded, terminating % 276.73/253.58 eprover: CPU time limit exceeded, terminating % 278.95/255.59 eprover: CPU time limit exceeded, terminating % 281.11/257.60 eprover: CPU time limit exceeded, terminating % 283.34/259.62 eprover: CPU time limit exceeded, terminating % 285.61/261.63 eprover: CPU time limit exceeded, terminating % 287.76/263.65 eprover: CPU time limit exceeded, terminating % 289.99/265.67 eprover: CPU time limit exceeded, terminating % 292.23/267.69 eprover: CPU time limit exceeded, terminating % 294.37/269.70 eprover: CPU time limit exceeded, terminating % 296.59/271.72 eprover: CPU time limit exceeded, terminating % 298.83/273.73 eprover: CPU time limit exceeded, terminating % 300.04/274.78 eprover: CPU time limit exceeded, terminating % 300.04/274.79 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------