%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM730+4 : TPTP v8.1.0. Released v7.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n009.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 : Mon Jul 18 10:40:07 EDT 2022 % Result : Timeout 287.40s 280.80s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.07/0.12 % Problem : NUM730+4 : TPTP v8.1.0. Released v7.3.0. % 0.07/0.13 % Command : run_infinox %s % 0.12/0.34 % Computer : n009.cluster.edu % 0.12/0.34 % Model : x86_64 x86_64 % 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.12/0.34 % Memory : 8042.1875MB % 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64 % 0.12/0.34 % CPULimit : 300 % 0.12/0.34 % WCLimit : 600 % 0.12/0.34 % DateTime : Thu Jul 7 17:25:37 EDT 2022 % 0.12/0.34 % CPUTime : % 3.37/3.54 eprover: CPU time limit exceeded, terminating % 5.46/5.55 eprover: CPU time limit exceeded, terminating % 7.48/7.56 eprover: CPU time limit exceeded, terminating % 9.55/9.57 eprover: CPU time limit exceeded, terminating % 11.60/11.58 eprover: CPU time limit exceeded, terminating % 13.64/13.59 eprover: CPU time limit exceeded, terminating % 15.74/15.60 eprover: CPU time limit exceeded, terminating % 17.81/17.61 eprover: CPU time limit exceeded, terminating % 19.87/19.62 eprover: CPU time limit exceeded, terminating % 21.92/21.62 eprover: CPU time limit exceeded, terminating % 23.98/23.63 eprover: CPU time limit exceeded, terminating % 26.05/25.64 eprover: CPU time limit exceeded, terminating % 28.09/27.65 eprover: CPU time limit exceeded, terminating % 30.16/29.66 eprover: CPU time limit exceeded, terminating % 32.19/31.67 eprover: CPU time limit exceeded, terminating % 34.28/33.68 eprover: CPU time limit exceeded, terminating % 36.30/35.69 eprover: CPU time limit exceeded, terminating % 38.39/37.70 eprover: CPU time limit exceeded, terminating % 40.40/39.71 eprover: CPU time limit exceeded, terminating % 42.50/41.71 eprover: CPU time limit exceeded, terminating % 44.49/43.72 eprover: CPU time limit exceeded, terminating % 46.61/45.73 eprover: CPU time limit exceeded, terminating % 48.68/47.74 eprover: CPU time limit exceeded, terminating % 50.71/49.75 eprover: CPU time limit exceeded, terminating % 52.78/51.76 eprover: CPU time limit exceeded, terminating % 54.89/53.77 eprover: CPU time limit exceeded, terminating % 56.90/55.78 eprover: CPU time limit exceeded, terminating % 58.95/57.79 eprover: CPU time limit exceeded, terminating % 61.05/59.79 eprover: CPU time limit exceeded, terminating % 63.11/61.80 eprover: CPU time limit exceeded, terminating % 65.16/63.81 eprover: CPU time limit exceeded, terminating % 67.23/65.82 eprover: CPU time limit exceeded, terminating % 69.30/67.83 eprover: CPU time limit exceeded, terminating % 71.34/69.84 eprover: CPU time limit exceeded, terminating % 73.36/71.85 eprover: CPU time limit exceeded, terminating % 75.44/73.86 eprover: CPU time limit exceeded, terminating % 77.45/75.87 eprover: CPU time limit exceeded, terminating % 79.55/77.88 eprover: CPU time limit exceeded, terminating % 81.56/79.89 eprover: CPU time limit exceeded, terminating % 83.67/81.90 eprover: CPU time limit exceeded, terminating % 85.74/83.91 eprover: CPU time limit exceeded, terminating % 87.81/85.92 eprover: CPU time limit exceeded, terminating % 89.84/87.92 eprover: CPU time limit exceeded, terminating % 91.92/89.93 eprover: CPU time limit exceeded, terminating % 93.98/91.94 eprover: CPU time limit exceeded, terminating % 95.99/93.95 eprover: CPU time limit exceeded, terminating % 98.02/95.96 eprover: CPU time limit exceeded, terminating % 100.17/97.97 eprover: CPU time limit exceeded, terminating % 102.17/99.98 eprover: CPU time limit exceeded, terminating % 104.29/101.99 eprover: CPU time limit exceeded, terminating % 106.26/104.00 eprover: CPU time limit exceeded, terminating % 108.33/106.01 eprover: CPU time limit exceeded, terminating % 110.45/108.01 eprover: CPU time limit exceeded, terminating % 112.52/110.02 eprover: CPU time limit exceeded, terminating % 114.57/112.03 eprover: CPU time limit exceeded, terminating % 116.59/114.04 eprover: CPU time limit exceeded, terminating % 118.63/116.05 eprover: CPU time limit exceeded, terminating % 120.71/118.06 eprover: CPU time limit exceeded, terminating % 122.75/120.07 eprover: CPU time limit exceeded, terminating % 124.80/122.08 eprover: CPU time limit exceeded, terminating % 126.90/124.09 eprover: CPU time limit exceeded, terminating % 128.91/126.10 eprover: CPU time limit exceeded, terminating % 131.04/128.10 eprover: CPU time limit exceeded, terminating % 133.01/130.11 eprover: CPU time limit exceeded, terminating % 135.13/132.12 eprover: CPU time limit exceeded, terminating % 137.20/134.13 eprover: CPU time limit exceeded, terminating % 139.20/136.14 eprover: CPU time limit exceeded, terminating % 141.29/138.15 eprover: CPU time limit exceeded, terminating % 143.39/140.16 eprover: CPU time limit exceeded, terminating % 145.40/142.17 eprover: CPU time limit exceeded, terminating % 147.50/144.18 eprover: CPU time limit exceeded, terminating % 149.51/146.19 eprover: CPU time limit exceeded, terminating % 151.61/148.20 eprover: CPU time limit exceeded, terminating % 153.61/150.20 eprover: CPU time limit exceeded, terminating % 155.73/152.22 eprover: CPU time limit exceeded, terminating % 157.78/154.22 eprover: CPU time limit exceeded, terminating % 159.81/156.23 eprover: CPU time limit exceeded, terminating % 161.87/158.24 eprover: CPU time limit exceeded, terminating % 163.94/160.25 eprover: CPU time limit exceeded, terminating % 165.96/162.26 eprover: CPU time limit exceeded, terminating % 168.04/164.27 eprover: CPU time limit exceeded, terminating % 170.06/166.28 eprover: CPU time limit exceeded, terminating % 172.18/168.29 eprover: CPU time limit exceeded, terminating % 174.25/170.30 eprover: CPU time limit exceeded, terminating % 176.27/172.31 eprover: CPU time limit exceeded, terminating % 178.34/174.32 eprover: CPU time limit exceeded, terminating % 180.39/176.32 eprover: CPU time limit exceeded, terminating % 182.47/178.33 eprover: CPU time limit exceeded, terminating % 184.50/180.34 eprover: CPU time limit exceeded, terminating % 186.59/182.35 eprover: CPU time limit exceeded, terminating % 188.56/184.36 eprover: CPU time limit exceeded, terminating % 190.72/186.37 eprover: CPU time limit exceeded, terminating % 192.77/188.38 eprover: CPU time limit exceeded, terminating % 194.79/190.39 eprover: CPU time limit exceeded, terminating % 196.89/192.40 eprover: CPU time limit exceeded, terminating % 198.88/194.41 eprover: CPU time limit exceeded, terminating % 201.01/196.41 eprover: CPU time limit exceeded, terminating % 203.03/198.42 eprover: CPU time limit exceeded, terminating % 205.09/200.43 eprover: CPU time limit exceeded, terminating % 207.13/202.44 eprover: CPU time limit exceeded, terminating % 209.18/204.45 eprover: CPU time limit exceeded, terminating % 211.27/206.46 eprover: CPU time limit exceeded, terminating % 213.33/208.47 eprover: CPU time limit exceeded, terminating % 215.36/210.48 eprover: CPU time limit exceeded, terminating % 217.48/212.49 eprover: CPU time limit exceeded, terminating % 219.54/214.50 eprover: CPU time limit exceeded, terminating % 221.58/216.51 eprover: CPU time limit exceeded, terminating % 223.55/218.52 eprover: CPU time limit exceeded, terminating % 225.72/220.53 eprover: CPU time limit exceeded, terminating % 227.75/222.54 eprover: CPU time limit exceeded, terminating % 229.83/224.55 eprover: CPU time limit exceeded, terminating % 231.82/226.56 eprover: CPU time limit exceeded, terminating % 233.91/228.56 eprover: CPU time limit exceeded, terminating % 236.00/230.57 eprover: CPU time limit exceeded, terminating % 238.00/232.58 eprover: CPU time limit exceeded, terminating % 240.10/234.59 eprover: CPU time limit exceeded, terminating % 242.19/236.60 eprover: CPU time limit exceeded, terminating % 244.23/238.61 eprover: CPU time limit exceeded, terminating % 246.30/240.62 eprover: CPU time limit exceeded, terminating % 248.37/242.63 eprover: CPU time limit exceeded, terminating % 250.42/244.64 eprover: CPU time limit exceeded, terminating % 252.46/246.65 eprover: CPU time limit exceeded, terminating % 254.46/248.65 eprover: CPU time limit exceeded, terminating % 256.55/250.66 eprover: CPU time limit exceeded, terminating % 258.65/252.67 eprover: CPU time limit exceeded, terminating % 260.67/254.68 eprover: CPU time limit exceeded, terminating % 262.74/256.69 eprover: CPU time limit exceeded, terminating % 264.82/258.70 eprover: CPU time limit exceeded, terminating % 266.81/260.71 eprover: CPU time limit exceeded, terminating % 268.92/262.72 eprover: CPU time limit exceeded, terminating % 270.99/264.73 eprover: CPU time limit exceeded, terminating % 273.04/266.74 eprover: CPU time limit exceeded, terminating % 275.10/268.75 eprover: CPU time limit exceeded, terminating % 277.13/270.75 eprover: CPU time limit exceeded, terminating % 279.21/272.76 eprover: CPU time limit exceeded, terminating % 281.27/274.77 eprover: CPU time limit exceeded, terminating % 283.37/276.78 eprover: CPU time limit exceeded, terminating % 285.42/278.79 eprover: CPU time limit exceeded, terminating % 287.40/280.80 eprover: CPU time limit exceeded, terminating % 289.48/282.81 eprover: CPU time limit exceeded, terminating % 291.55/284.82 eprover: CPU time limit exceeded, terminating % 293.64/286.83 eprover: CPU time limit exceeded, terminating % 295.70/288.84 eprover: CPU time limit exceeded, terminating % 297.73/290.84 eprover: CPU time limit exceeded, terminating % 299.82/292.85 eprover: CPU time limit exceeded, terminating % 300.03/293.04 eprover: CPU time limit exceeded, terminating % 300.03/293.06 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------