%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NLP092-1 : TPTP v8.1.0. Released v2.4.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n012.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 02:32:22 EDT 2022 % Result : Timeout 290.16s 289.94s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.08/0.10 % Problem : NLP092-1 : TPTP v8.1.0. Released v2.4.0. % 0.08/0.10 % Command : run_infinox %s % 0.10/0.31 % Computer : n012.cluster.edu % 0.10/0.31 % Model : x86_64 x86_64 % 0.10/0.31 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.10/0.31 % Memory : 8042.1875MB % 0.10/0.31 % OS : Linux 3.10.0-693.el7.x86_64 % 0.10/0.31 % CPULimit : 300 % 0.10/0.31 % WCLimit : 600 % 0.10/0.31 % DateTime : Fri Jul 1 07:03:02 EDT 2022 % 0.10/0.31 % CPUTime : % 3.67/3.88 eprover: CPU time limit exceeded, terminating % 5.69/5.88 eprover: CPU time limit exceeded, terminating % 7.72/7.89 eprover: CPU time limit exceeded, terminating % 9.67/9.90 eprover: CPU time limit exceeded, terminating % 11.72/11.91 eprover: CPU time limit exceeded, terminating % 13.74/13.91 eprover: CPU time limit exceeded, terminating % 15.77/15.92 eprover: CPU time limit exceeded, terminating % 17.78/17.93 eprover: CPU time limit exceeded, terminating % 19.76/19.94 eprover: CPU time limit exceeded, terminating % 21.78/21.94 eprover: CPU time limit exceeded, terminating % 23.80/23.95 eprover: CPU time limit exceeded, terminating % 25.75/25.96 eprover: CPU time limit exceeded, terminating % 27.80/27.96 eprover: CPU time limit exceeded, terminating % 29.80/29.97 eprover: CPU time limit exceeded, terminating % 31.85/31.98 eprover: CPU time limit exceeded, terminating % 33.83/33.98 eprover: CPU time limit exceeded, terminating % 35.81/35.99 eprover: CPU time limit exceeded, terminating % 37.88/38.00 eprover: CPU time limit exceeded, terminating % 39.89/40.01 eprover: CPU time limit exceeded, terminating % 41.91/42.01 eprover: CPU time limit exceeded, terminating % 43.92/44.02 eprover: CPU time limit exceeded, terminating % 45.90/46.03 eprover: CPU time limit exceeded, terminating % 47.92/48.04 eprover: CPU time limit exceeded, terminating % 49.94/50.04 eprover: CPU time limit exceeded, terminating % 51.89/52.05 eprover: CPU time limit exceeded, terminating % 53.96/54.06 eprover: CPU time limit exceeded, terminating % 55.97/56.06 eprover: CPU time limit exceeded, terminating % 57.98/58.07 eprover: CPU time limit exceeded, terminating % 59.97/60.08 eprover: CPU time limit exceeded, terminating % 61.97/62.08 eprover: CPU time limit exceeded, terminating % 64.00/64.09 eprover: CPU time limit exceeded, terminating % 66.04/66.10 eprover: CPU time limit exceeded, terminating % 68.00/68.11 eprover: CPU time limit exceeded, terminating % 70.07/70.11 eprover: CPU time limit exceeded, terminating % 72.04/72.12 eprover: CPU time limit exceeded, terminating % 74.09/74.13 eprover: CPU time limit exceeded, terminating % 76.10/76.14 eprover: CPU time limit exceeded, terminating % 78.06/78.14 eprover: CPU time limit exceeded, terminating % 80.10/80.15 eprover: CPU time limit exceeded, terminating % 82.10/82.16 eprover: CPU time limit exceeded, terminating % 84.14/84.16 eprover: CPU time limit exceeded, terminating % 86.11/86.17 eprover: CPU time limit exceeded, terminating % 88.12/88.18 eprover: CPU time limit exceeded, terminating % 90.17/90.18 eprover: CPU time limit exceeded, terminating % 92.18/92.19 eprover: CPU time limit exceeded, terminating % 94.15/94.20 eprover: CPU time limit exceeded, terminating % 96.20/96.21 eprover: CPU time limit exceeded, terminating % 98.19/98.21 eprover: CPU time limit exceeded, terminating % 100.17/100.22 eprover: CPU time limit exceeded, terminating % 102.24/102.23 eprover: CPU time limit exceeded, terminating % 104.20/104.23 eprover: CPU time limit exceeded, terminating % 106.26/106.24 eprover: CPU time limit exceeded, terminating % 108.27/108.25 eprover: CPU time limit exceeded, terminating % 110.29/110.26 eprover: CPU time limit exceeded, terminating % 112.26/112.26 eprover: CPU time limit exceeded, terminating % 114.29/114.27 eprover: CPU time limit exceeded, terminating % 116.31/116.28 eprover: CPU time limit exceeded, terminating % 118.33/118.28 eprover: CPU time limit exceeded, terminating % 120.30/120.29 eprover: CPU time limit exceeded, terminating % 122.35/122.30 eprover: CPU time limit exceeded, terminating % 124.35/124.30 eprover: CPU time limit exceeded, terminating % 126.31/126.31 eprover: CPU time limit exceeded, terminating % 128.39/128.32 eprover: CPU time limit exceeded, terminating % 130.36/130.33 eprover: CPU time limit exceeded, terminating % 132.40/132.33 eprover: CPU time limit exceeded, terminating % 134.40/134.34 eprover: CPU time limit exceeded, terminating % 136.39/136.35 eprover: CPU time limit exceeded, terminating % 138.39/138.35 eprover: CPU time limit exceeded, terminating % 140.45/140.36 eprover: CPU time limit exceeded, terminating % 142.39/142.37 eprover: CPU time limit exceeded, terminating % 144.49/144.37 eprover: CPU time limit exceeded, terminating % 146.45/146.38 eprover: CPU time limit exceeded, terminating % 148.49/148.39 eprover: CPU time limit exceeded, terminating % 150.49/150.40 eprover: CPU time limit exceeded, terminating % 152.45/152.40 eprover: CPU time limit exceeded, terminating % 154.51/154.41 eprover: CPU time limit exceeded, terminating % 156.51/156.42 eprover: CPU time limit exceeded, terminating % 158.56/158.43 eprover: CPU time limit exceeded, terminating % 160.57/160.43 eprover: CPU time limit exceeded, terminating % 162.55/162.44 eprover: CPU time limit exceeded, terminating % 164.56/164.45 eprover: CPU time limit exceeded, terminating % 166.59/166.45 eprover: CPU time limit exceeded, terminating % 168.56/168.46 eprover: CPU time limit exceeded, terminating % 170.58/170.47 eprover: CPU time limit exceeded, terminating % 172.59/172.47 eprover: CPU time limit exceeded, terminating % 174.65/174.48 eprover: CPU time limit exceeded, terminating % 176.66/176.49 eprover: CPU time limit exceeded, terminating % 178.60/178.50 eprover: CPU time limit exceeded, terminating % 180.67/180.50 eprover: CPU time limit exceeded, terminating % 182.68/182.51 eprover: CPU time limit exceeded, terminating % 184.68/184.52 eprover: CPU time limit exceeded, terminating % 186.66/186.52 eprover: CPU time limit exceeded, terminating % 188.69/188.53 eprover: CPU time limit exceeded, terminating % 190.71/190.54 eprover: CPU time limit exceeded, terminating % 192.75/192.54 eprover: CPU time limit exceeded, terminating % 194.69/194.55 eprover: CPU time limit exceeded, terminating % 196.73/196.56 eprover: CPU time limit exceeded, terminating % 198.75/198.57 eprover: CPU time limit exceeded, terminating % 200.77/200.57 eprover: CPU time limit exceeded, terminating % 202.74/202.58 eprover: CPU time limit exceeded, terminating % 204.77/204.59 eprover: CPU time limit exceeded, terminating % 206.81/206.59 eprover: CPU time limit exceeded, terminating % 208.83/208.60 eprover: CPU time limit exceeded, terminating % 210.77/210.61 eprover: CPU time limit exceeded, terminating % 212.85/212.61 eprover: CPU time limit exceeded, terminating % 214.85/214.62 eprover: CPU time limit exceeded, terminating % 216.87/216.63 eprover: CPU time limit exceeded, terminating % 218.89/218.63 eprover: CPU time limit exceeded, terminating % 220.84/220.64 eprover: CPU time limit exceeded, terminating % 222.89/222.65 eprover: CPU time limit exceeded, terminating % 224.89/224.66 eprover: CPU time limit exceeded, terminating % 226.85/226.66 eprover: CPU time limit exceeded, terminating % 228.90/228.67 eprover: CPU time limit exceeded, terminating % 230.89/230.68 eprover: CPU time limit exceeded, terminating % 232.96/232.68 eprover: CPU time limit exceeded, terminating % 234.89/234.69 eprover: CPU time limit exceeded, terminating % 237.00/236.70 eprover: CPU time limit exceeded, terminating % 239.00/238.70 eprover: CPU time limit exceeded, terminating % 240.93/240.71 eprover: CPU time limit exceeded, terminating % 243.02/242.72 eprover: CPU time limit exceeded, terminating % 244.96/244.76 eprover: CPU time limit exceeded, terminating % 246.97/246.77 eprover: CPU time limit exceeded, terminating % 249.04/248.78 eprover: CPU time limit exceeded, terminating % 251.01/250.79 eprover: CPU time limit exceeded, terminating % 253.06/252.80 eprover: CPU time limit exceeded, terminating % 255.08/254.81 eprover: CPU time limit exceeded, terminating % 257.07/256.83 eprover: CPU time limit exceeded, terminating % 259.10/258.83 eprover: CPU time limit exceeded, terminating % 261.08/260.84 eprover: CPU time limit exceeded, terminating % 263.08/262.87 eprover: CPU time limit exceeded, terminating % 265.07/264.88 eprover: CPU time limit exceeded, terminating % 267.16/266.89 eprover: CPU time limit exceeded, terminating % 269.16/268.91 eprover: CPU time limit exceeded, terminating % 271.15/270.92 eprover: CPU time limit exceeded, terminating % 273.17/272.93 eprover: CPU time limit exceeded, terminating % 275.16/274.94 eprover: CPU time limit exceeded, terminating % 277.18/276.95 eprover: CPU time limit exceeded, terminating % 279.16/278.96 eprover: CPU time limit exceeded, terminating % 281.14/280.97 eprover: CPU time limit exceeded, terminating % 283.17/282.97 eprover: CPU time limit exceeded, terminating % 290.16/289.94 eprover: CPU time limit exceeded, terminating % 300.11/299.81 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------