%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NLP093-1 : TPTP v8.1.0. Released v2.4.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n028.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:23 EDT 2022 % Result : Timeout 290.47s 290.09s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.11/0.12 % Problem : NLP093-1 : TPTP v8.1.0. Released v2.4.0. % 0.11/0.13 % Command : run_infinox %s % 0.13/0.33 % Computer : n028.cluster.edu % 0.13/0.33 % Model : x86_64 x86_64 % 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.13/0.33 % Memory : 8042.1875MB % 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64 % 0.13/0.33 % CPULimit : 300 % 0.13/0.33 % WCLimit : 600 % 0.13/0.33 % DateTime : Fri Jul 1 01:32:30 EDT 2022 % 0.13/0.34 % CPUTime : % 3.80/4.00 eprover: CPU time limit exceeded, terminating % 5.80/6.01 eprover: CPU time limit exceeded, terminating % 7.81/8.02 eprover: CPU time limit exceeded, terminating % 9.82/10.02 eprover: CPU time limit exceeded, terminating % 11.85/12.03 eprover: CPU time limit exceeded, terminating % 13.84/14.04 eprover: CPU time limit exceeded, terminating % 15.86/16.05 eprover: CPU time limit exceeded, terminating % 17.85/18.05 eprover: CPU time limit exceeded, terminating % 19.84/20.06 eprover: CPU time limit exceeded, terminating % 21.84/22.07 eprover: CPU time limit exceeded, terminating % 23.84/24.08 eprover: CPU time limit exceeded, terminating % 25.86/26.08 eprover: CPU time limit exceeded, terminating % 27.83/28.09 eprover: CPU time limit exceeded, terminating % 29.95/30.10 eprover: CPU time limit exceeded, terminating % 31.94/32.10 eprover: CPU time limit exceeded, terminating % 33.97/34.11 eprover: CPU time limit exceeded, terminating % 35.95/36.12 eprover: CPU time limit exceeded, terminating % 37.98/38.13 eprover: CPU time limit exceeded, terminating % 39.99/40.14 eprover: CPU time limit exceeded, terminating % 41.99/42.14 eprover: CPU time limit exceeded, terminating % 44.02/44.15 eprover: CPU time limit exceeded, terminating % 45.99/46.16 eprover: CPU time limit exceeded, terminating % 47.98/48.17 eprover: CPU time limit exceeded, terminating % 49.99/50.17 eprover: CPU time limit exceeded, terminating % 52.08/52.18 eprover: CPU time limit exceeded, terminating % 54.02/54.19 eprover: CPU time limit exceeded, terminating % 56.02/56.20 eprover: CPU time limit exceeded, terminating % 58.10/58.20 eprover: CPU time limit exceeded, terminating % 60.12/60.21 eprover: CPU time limit exceeded, terminating % 62.15/62.22 eprover: CPU time limit exceeded, terminating % 64.14/64.23 eprover: CPU time limit exceeded, terminating % 66.17/66.23 eprover: CPU time limit exceeded, terminating % 68.13/68.24 eprover: CPU time limit exceeded, terminating % 70.17/70.25 eprover: CPU time limit exceeded, terminating % 72.15/72.25 eprover: CPU time limit exceeded, terminating % 74.13/74.26 eprover: CPU time limit exceeded, terminating % 76.15/76.27 eprover: CPU time limit exceeded, terminating % 78.16/78.28 eprover: CPU time limit exceeded, terminating % 80.17/80.28 eprover: CPU time limit exceeded, terminating % 82.18/82.29 eprover: CPU time limit exceeded, terminating % 84.25/84.30 eprover: CPU time limit exceeded, terminating % 86.26/86.30 eprover: CPU time limit exceeded, terminating % 88.21/88.31 eprover: CPU time limit exceeded, terminating % 90.29/90.32 eprover: CPU time limit exceeded, terminating % 92.30/92.33 eprover: CPU time limit exceeded, terminating % 94.28/94.33 eprover: CPU time limit exceeded, terminating % 96.27/96.34 eprover: CPU time limit exceeded, terminating % 98.32/98.35 eprover: CPU time limit exceeded, terminating % 100.27/100.36 eprover: CPU time limit exceeded, terminating % 102.30/102.36 eprover: CPU time limit exceeded, terminating % 104.34/104.37 eprover: CPU time limit exceeded, terminating % 106.32/106.38 eprover: CPU time limit exceeded, terminating % 108.41/108.38 eprover: CPU time limit exceeded, terminating % 110.34/110.39 eprover: CPU time limit exceeded, terminating % 112.41/112.40 eprover: CPU time limit exceeded, terminating % 114.43/114.41 eprover: CPU time limit exceeded, terminating % 116.36/116.41 eprover: CPU time limit exceeded, terminating % 118.43/118.42 eprover: CPU time limit exceeded, terminating % 120.45/120.43 eprover: CPU time limit exceeded, terminating % 122.47/122.43 eprover: CPU time limit exceeded, terminating % 124.44/124.44 eprover: CPU time limit exceeded, terminating % 126.44/126.45 eprover: CPU time limit exceeded, terminating % 128.48/128.46 eprover: CPU time limit exceeded, terminating % 130.48/130.46 eprover: CPU time limit exceeded, terminating % 132.47/132.47 eprover: CPU time limit exceeded, terminating % 134.49/134.48 eprover: CPU time limit exceeded, terminating % 136.48/136.48 eprover: CPU time limit exceeded, terminating % 138.55/138.49 eprover: CPU time limit exceeded, terminating % 140.57/140.50 eprover: CPU time limit exceeded, terminating % 142.57/142.50 eprover: CPU time limit exceeded, terminating % 144.59/144.51 eprover: CPU time limit exceeded, terminating % 146.60/146.52 eprover: CPU time limit exceeded, terminating % 148.59/148.52 eprover: CPU time limit exceeded, terminating % 150.61/150.53 eprover: CPU time limit exceeded, terminating % 152.64/152.54 eprover: CPU time limit exceeded, terminating % 154.61/154.55 eprover: CPU time limit exceeded, terminating % 156.60/156.55 eprover: CPU time limit exceeded, terminating % 158.60/158.56 eprover: CPU time limit exceeded, terminating % 160.64/160.57 eprover: CPU time limit exceeded, terminating % 162.64/162.58 eprover: CPU time limit exceeded, terminating % 164.64/164.58 eprover: CPU time limit exceeded, terminating % 166.66/166.59 eprover: CPU time limit exceeded, terminating % 168.73/168.60 eprover: CPU time limit exceeded, terminating % 170.73/170.60 eprover: CPU time limit exceeded, terminating % 172.74/172.61 eprover: CPU time limit exceeded, terminating % 174.72/174.62 eprover: CPU time limit exceeded, terminating % 176.75/176.63 eprover: CPU time limit exceeded, terminating % 178.76/178.63 eprover: CPU time limit exceeded, terminating % 180.79/180.64 eprover: CPU time limit exceeded, terminating % 182.78/182.65 eprover: CPU time limit exceeded, terminating % 184.75/184.65 eprover: CPU time limit exceeded, terminating % 186.79/186.66 eprover: CPU time limit exceeded, terminating % 188.79/188.67 eprover: CPU time limit exceeded, terminating % 190.79/190.68 eprover: CPU time limit exceeded, terminating % 192.81/192.68 eprover: CPU time limit exceeded, terminating % 194.88/194.69 eprover: CPU time limit exceeded, terminating % 196.88/196.70 eprover: CPU time limit exceeded, terminating % 198.89/198.70 eprover: CPU time limit exceeded, terminating % 200.90/200.71 eprover: CPU time limit exceeded, terminating % 202.90/202.72 eprover: CPU time limit exceeded, terminating % 204.92/204.72 eprover: CPU time limit exceeded, terminating % 206.91/206.73 eprover: CPU time limit exceeded, terminating % 208.94/208.74 eprover: CPU time limit exceeded, terminating % 210.91/210.75 eprover: CPU time limit exceeded, terminating % 212.91/212.75 eprover: CPU time limit exceeded, terminating % 214.96/214.76 eprover: CPU time limit exceeded, terminating % 216.95/216.77 eprover: CPU time limit exceeded, terminating % 218.93/218.77 eprover: CPU time limit exceeded, terminating % 220.96/220.78 eprover: CPU time limit exceeded, terminating % 222.96/222.79 eprover: CPU time limit exceeded, terminating % 225.04/224.79 eprover: CPU time limit exceeded, terminating % 227.05/226.80 eprover: CPU time limit exceeded, terminating % 229.04/228.81 eprover: CPU time limit exceeded, terminating % 231.04/230.82 eprover: CPU time limit exceeded, terminating % 233.07/232.82 eprover: CPU time limit exceeded, terminating % 235.05/234.83 eprover: CPU time limit exceeded, terminating % 237.08/236.84 eprover: CPU time limit exceeded, terminating % 239.08/238.84 eprover: CPU time limit exceeded, terminating % 241.09/240.85 eprover: CPU time limit exceeded, terminating % 243.08/242.86 eprover: CPU time limit exceeded, terminating % 245.09/244.87 eprover: CPU time limit exceeded, terminating % 247.12/246.87 eprover: CPU time limit exceeded, terminating % 249.10/248.88 eprover: CPU time limit exceeded, terminating % 251.13/250.89 eprover: CPU time limit exceeded, terminating % 253.11/252.89 eprover: CPU time limit exceeded, terminating % 255.13/254.90 eprover: CPU time limit exceeded, terminating % 257.22/256.91 eprover: CPU time limit exceeded, terminating % 259.22/258.91 eprover: CPU time limit exceeded, terminating % 261.22/260.92 eprover: CPU time limit exceeded, terminating % 263.24/262.93 eprover: CPU time limit exceeded, terminating % 265.24/264.94 eprover: CPU time limit exceeded, terminating % 267.24/266.94 eprover: CPU time limit exceeded, terminating % 269.24/268.95 eprover: CPU time limit exceeded, terminating % 271.24/270.96 eprover: CPU time limit exceeded, terminating % 273.23/272.96 eprover: CPU time limit exceeded, terminating % 275.24/274.97 eprover: CPU time limit exceeded, terminating % 277.29/276.98 eprover: CPU time limit exceeded, terminating % 279.25/278.98 eprover: CPU time limit exceeded, terminating % 281.34/280.99 eprover: CPU time limit exceeded, terminating % 283.37/283.00 eprover: CPU time limit exceeded, terminating % 290.47/290.09 eprover: CPU time limit exceeded, terminating % 300.05/299.64 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------