%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM701+4 : TPTP v8.1.0. Released v7.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n004.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:39:49 EDT 2022 % Result : Timeout 287.78s 283.06s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.07/0.12 % Problem : NUM701+4 : TPTP v8.1.0. Released v7.3.0. % 0.07/0.13 % Command : run_infinox %s % 0.14/0.34 % Computer : n004.cluster.edu % 0.14/0.34 % Model : x86_64 x86_64 % 0.14/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.14/0.34 % Memory : 8042.1875MB % 0.14/0.34 % OS : Linux 3.10.0-693.el7.x86_64 % 0.14/0.34 % CPULimit : 300 % 0.14/0.34 % WCLimit : 600 % 0.14/0.34 % DateTime : Wed Jul 6 00:41:07 EDT 2022 % 0.14/0.35 % CPUTime : % 3.07/3.27 eprover: CPU time limit exceeded, terminating % 5.08/5.28 eprover: CPU time limit exceeded, terminating % 7.21/7.29 eprover: CPU time limit exceeded, terminating % 9.19/9.31 eprover: CPU time limit exceeded, terminating % 11.31/11.32 eprover: CPU time limit exceeded, terminating % 13.34/13.33 eprover: CPU time limit exceeded, terminating % 15.37/15.34 eprover: CPU time limit exceeded, terminating % 17.43/17.36 eprover: CPU time limit exceeded, terminating % 19.49/19.37 eprover: CPU time limit exceeded, terminating % 21.50/21.38 eprover: CPU time limit exceeded, terminating % 23.61/23.40 eprover: CPU time limit exceeded, terminating % 25.66/25.41 eprover: CPU time limit exceeded, terminating % 27.70/27.42 eprover: CPU time limit exceeded, terminating % 29.77/29.43 eprover: CPU time limit exceeded, terminating % 31.81/31.45 eprover: CPU time limit exceeded, terminating % 33.82/33.46 eprover: CPU time limit exceeded, terminating % 35.87/35.48 eprover: CPU time limit exceeded, terminating % 37.93/37.49 eprover: CPU time limit exceeded, terminating % 40.04/39.50 eprover: CPU time limit exceeded, terminating % 42.04/41.52 eprover: CPU time limit exceeded, terminating % 44.13/43.53 eprover: CPU time limit exceeded, terminating % 46.18/45.54 eprover: CPU time limit exceeded, terminating % 48.19/47.56 eprover: CPU time limit exceeded, terminating % 50.24/49.57 eprover: CPU time limit exceeded, terminating % 52.31/51.58 eprover: CPU time limit exceeded, terminating % 54.41/53.60 eprover: CPU time limit exceeded, terminating % 56.44/55.61 eprover: CPU time limit exceeded, terminating % 58.49/57.62 eprover: CPU time limit exceeded, terminating % 60.54/59.64 eprover: CPU time limit exceeded, terminating % 62.57/61.65 eprover: CPU time limit exceeded, terminating % 64.64/63.66 eprover: CPU time limit exceeded, terminating % 66.72/65.68 eprover: CPU time limit exceeded, terminating % 68.70/67.69 eprover: CPU time limit exceeded, terminating % 70.78/69.71 eprover: CPU time limit exceeded, terminating % 72.87/71.72 eprover: CPU time limit exceeded, terminating % 74.90/73.73 eprover: CPU time limit exceeded, terminating % 76.98/75.75 eprover: CPU time limit exceeded, terminating % 78.96/77.76 eprover: CPU time limit exceeded, terminating % 81.02/79.77 eprover: CPU time limit exceeded, terminating % 83.05/81.78 eprover: CPU time limit exceeded, terminating % 85.15/83.81 eprover: CPU time limit exceeded, terminating % 87.21/85.82 eprover: CPU time limit exceeded, terminating % 89.25/87.83 eprover: CPU time limit exceeded, terminating % 91.28/89.84 eprover: CPU time limit exceeded, terminating % 93.32/91.86 eprover: CPU time limit exceeded, terminating % 95.36/93.87 eprover: CPU time limit exceeded, terminating % 97.37/95.88 eprover: CPU time limit exceeded, terminating % 99.49/97.89 eprover: CPU time limit exceeded, terminating % 101.51/99.90 eprover: CPU time limit exceeded, terminating % 103.54/101.92 eprover: CPU time limit exceeded, terminating % 105.57/103.92 eprover: CPU time limit exceeded, terminating % 107.62/105.94 eprover: CPU time limit exceeded, terminating % 109.67/107.95 eprover: CPU time limit exceeded, terminating % 111.66/109.97 eprover: CPU time limit exceeded, terminating % 113.73/111.98 eprover: CPU time limit exceeded, terminating % 115.84/114.00 eprover: CPU time limit exceeded, terminating % 117.84/116.02 eprover: CPU time limit exceeded, terminating % 119.88/118.03 eprover: CPU time limit exceeded, terminating % 121.92/120.05 eprover: CPU time limit exceeded, terminating % 123.92/122.06 eprover: CPU time limit exceeded, terminating % 125.96/124.08 eprover: CPU time limit exceeded, terminating % 128.06/126.09 eprover: CPU time limit exceeded, terminating % 130.03/128.10 eprover: CPU time limit exceeded, terminating % 132.13/130.13 eprover: CPU time limit exceeded, terminating % 134.16/132.15 eprover: CPU time limit exceeded, terminating % 136.20/134.17 eprover: CPU time limit exceeded, terminating % 138.30/136.19 eprover: CPU time limit exceeded, terminating % 140.34/138.20 eprover: CPU time limit exceeded, terminating % 142.34/140.22 eprover: CPU time limit exceeded, terminating % 144.39/142.24 eprover: CPU time limit exceeded, terminating % 146.42/144.26 eprover: CPU time limit exceeded, terminating % 148.48/146.27 eprover: CPU time limit exceeded, terminating % 150.54/148.30 eprover: CPU time limit exceeded, terminating % 152.60/150.31 eprover: CPU time limit exceeded, terminating % 154.65/152.32 eprover: CPU time limit exceeded, terminating % 156.67/154.33 eprover: CPU time limit exceeded, terminating % 158.71/156.34 eprover: CPU time limit exceeded, terminating % 160.76/158.36 eprover: CPU time limit exceeded, terminating % 162.77/160.38 eprover: CPU time limit exceeded, terminating % 164.86/162.39 eprover: CPU time limit exceeded, terminating % 166.92/164.41 eprover: CPU time limit exceeded, terminating % 168.94/166.42 eprover: CPU time limit exceeded, terminating % 170.95/168.43 eprover: CPU time limit exceeded, terminating % 173.02/170.44 eprover: CPU time limit exceeded, terminating % 175.11/172.46 eprover: CPU time limit exceeded, terminating % 177.11/174.47 eprover: CPU time limit exceeded, terminating % 179.19/176.48 eprover: CPU time limit exceeded, terminating % 181.24/178.49 eprover: CPU time limit exceeded, terminating % 183.26/180.50 eprover: CPU time limit exceeded, terminating % 185.28/182.51 eprover: CPU time limit exceeded, terminating % 187.36/184.52 eprover: CPU time limit exceeded, terminating % 189.43/186.53 eprover: CPU time limit exceeded, terminating % 191.47/188.54 eprover: CPU time limit exceeded, terminating % 193.52/190.55 eprover: CPU time limit exceeded, terminating % 195.59/192.56 eprover: CPU time limit exceeded, terminating % 197.62/194.57 eprover: CPU time limit exceeded, terminating % 199.65/196.58 eprover: CPU time limit exceeded, terminating % 201.68/198.59 eprover: CPU time limit exceeded, terminating % 203.75/200.60 eprover: CPU time limit exceeded, terminating % 205.83/202.61 eprover: CPU time limit exceeded, terminating % 207.83/204.62 eprover: CPU time limit exceeded, terminating % 209.89/206.63 eprover: CPU time limit exceeded, terminating % 211.91/208.65 eprover: CPU time limit exceeded, terminating % 214.02/210.66 eprover: CPU time limit exceeded, terminating % 216.08/212.67 eprover: CPU time limit exceeded, terminating % 218.11/214.68 eprover: CPU time limit exceeded, terminating % 220.14/216.69 eprover: CPU time limit exceeded, terminating % 222.20/218.70 eprover: CPU time limit exceeded, terminating % 224.27/220.71 eprover: CPU time limit exceeded, terminating % 226.29/222.72 eprover: CPU time limit exceeded, terminating % 228.36/224.74 eprover: CPU time limit exceeded, terminating % 230.41/226.75 eprover: CPU time limit exceeded, terminating % 232.47/228.76 eprover: CPU time limit exceeded, terminating % 234.51/230.77 eprover: CPU time limit exceeded, terminating % 236.55/232.78 eprover: CPU time limit exceeded, terminating % 238.60/234.79 eprover: CPU time limit exceeded, terminating % 240.60/236.80 eprover: CPU time limit exceeded, terminating % 242.68/238.81 eprover: CPU time limit exceeded, terminating % 244.75/240.82 eprover: CPU time limit exceeded, terminating % 246.76/242.83 eprover: CPU time limit exceeded, terminating % 248.83/244.84 eprover: CPU time limit exceeded, terminating % 250.90/246.86 eprover: CPU time limit exceeded, terminating % 252.95/248.87 eprover: CPU time limit exceeded, terminating % 254.96/250.88 eprover: CPU time limit exceeded, terminating % 257.01/252.89 eprover: CPU time limit exceeded, terminating % 259.09/254.90 eprover: CPU time limit exceeded, terminating % 261.13/256.91 eprover: CPU time limit exceeded, terminating % 263.16/258.92 eprover: CPU time limit exceeded, terminating % 265.20/260.93 eprover: CPU time limit exceeded, terminating % 267.23/262.95 eprover: CPU time limit exceeded, terminating % 269.31/264.96 eprover: CPU time limit exceeded, terminating % 271.39/266.97 eprover: CPU time limit exceeded, terminating % 273.44/268.98 eprover: CPU time limit exceeded, terminating % 275.44/270.99 eprover: CPU time limit exceeded, terminating % 277.50/273.00 eprover: CPU time limit exceeded, terminating % 279.57/275.01 eprover: CPU time limit exceeded, terminating % 281.58/277.02 eprover: CPU time limit exceeded, terminating % 283.69/279.03 eprover: CPU time limit exceeded, terminating % 285.70/281.05 eprover: CPU time limit exceeded, terminating % 287.78/283.06 eprover: CPU time limit exceeded, terminating % 289.78/285.07 eprover: CPU time limit exceeded, terminating % 291.85/287.08 eprover: CPU time limit exceeded, terminating % 293.93/289.09 eprover: CPU time limit exceeded, terminating % 295.91/291.10 eprover: CPU time limit exceeded, terminating % 297.99/293.11 eprover: CPU time limit exceeded, terminating % 299.99/295.12 eprover: CPU time limit exceeded, terminating % 300.10/295.16 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------