%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NLP090-1 : TPTP v8.1.0. Released v2.4.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n023.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:21 EDT 2022 % Result : Timeout 290.40s 290.00s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.12/0.12 % Problem : NLP090-1 : TPTP v8.1.0. Released v2.4.0. % 0.12/0.13 % Command : run_infinox %s % 0.12/0.34 % Computer : n023.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 : Fri Jul 1 03:16:14 EDT 2022 % 0.12/0.34 % CPUTime : % 3.91/4.12 eprover: CPU time limit exceeded, terminating % 5.92/6.12 eprover: CPU time limit exceeded, terminating % 7.95/8.13 eprover: CPU time limit exceeded, terminating % 9.94/10.14 eprover: CPU time limit exceeded, terminating % 11.93/12.15 eprover: CPU time limit exceeded, terminating % 13.95/14.15 eprover: CPU time limit exceeded, terminating % 15.94/16.16 eprover: CPU time limit exceeded, terminating % 17.98/18.17 eprover: CPU time limit exceeded, terminating % 19.96/20.18 eprover: CPU time limit exceeded, terminating % 21.99/22.18 eprover: CPU time limit exceeded, terminating % 23.96/24.19 eprover: CPU time limit exceeded, terminating % 26.07/26.20 eprover: CPU time limit exceeded, terminating % 28.06/28.21 eprover: CPU time limit exceeded, terminating % 30.10/30.21 eprover: CPU time limit exceeded, terminating % 32.07/32.22 eprover: CPU time limit exceeded, terminating % 34.10/34.23 eprover: CPU time limit exceeded, terminating % 36.12/36.24 eprover: CPU time limit exceeded, terminating % 38.08/38.25 eprover: CPU time limit exceeded, terminating % 40.10/40.25 eprover: CPU time limit exceeded, terminating % 42.11/42.26 eprover: CPU time limit exceeded, terminating % 44.14/44.27 eprover: CPU time limit exceeded, terminating % 46.11/46.28 eprover: CPU time limit exceeded, terminating % 48.21/48.29 eprover: CPU time limit exceeded, terminating % 50.13/50.29 eprover: CPU time limit exceeded, terminating % 52.15/52.30 eprover: CPU time limit exceeded, terminating % 54.23/54.31 eprover: CPU time limit exceeded, terminating % 56.24/56.31 eprover: CPU time limit exceeded, terminating % 58.24/58.32 eprover: CPU time limit exceeded, terminating % 60.23/60.33 eprover: CPU time limit exceeded, terminating % 62.25/62.34 eprover: CPU time limit exceeded, terminating % 64.24/64.35 eprover: CPU time limit exceeded, terminating % 66.28/66.35 eprover: CPU time limit exceeded, terminating % 68.26/68.36 eprover: CPU time limit exceeded, terminating % 70.25/70.37 eprover: CPU time limit exceeded, terminating % 72.26/72.38 eprover: CPU time limit exceeded, terminating % 74.30/74.38 eprover: CPU time limit exceeded, terminating % 76.28/76.39 eprover: CPU time limit exceeded, terminating % 78.31/78.40 eprover: CPU time limit exceeded, terminating % 80.38/80.41 eprover: CPU time limit exceeded, terminating % 82.39/82.41 eprover: CPU time limit exceeded, terminating % 84.40/84.42 eprover: CPU time limit exceeded, terminating % 86.39/86.43 eprover: CPU time limit exceeded, terminating % 88.37/88.43 eprover: CPU time limit exceeded, terminating % 90.41/90.44 eprover: CPU time limit exceeded, terminating % 92.43/92.45 eprover: CPU time limit exceeded, terminating % 94.40/94.46 eprover: CPU time limit exceeded, terminating % 96.44/96.47 eprover: CPU time limit exceeded, terminating % 98.43/98.47 eprover: CPU time limit exceeded, terminating % 100.49/100.48 eprover: CPU time limit exceeded, terminating % 102.51/102.49 eprover: CPU time limit exceeded, terminating % 104.41/104.49 eprover: CPU time limit exceeded, terminating % 106.53/106.50 eprover: CPU time limit exceeded, terminating % 108.53/108.51 eprover: CPU time limit exceeded, terminating % 110.56/110.52 eprover: CPU time limit exceeded, terminating % 112.54/112.52 eprover: CPU time limit exceeded, terminating % 114.53/114.53 eprover: CPU time limit exceeded, terminating % 116.55/116.54 eprover: CPU time limit exceeded, terminating % 118.56/118.55 eprover: CPU time limit exceeded, terminating % 120.57/120.55 eprover: CPU time limit exceeded, terminating % 122.56/122.56 eprover: CPU time limit exceeded, terminating % 124.58/124.57 eprover: CPU time limit exceeded, terminating % 126.60/126.57 eprover: CPU time limit exceeded, terminating % 128.58/128.58 eprover: CPU time limit exceeded, terminating % 130.67/130.59 eprover: CPU time limit exceeded, terminating % 132.67/132.60 eprover: CPU time limit exceeded, terminating % 134.60/134.60 eprover: CPU time limit exceeded, terminating % 136.70/136.61 eprover: CPU time limit exceeded, terminating % 138.70/138.62 eprover: CPU time limit exceeded, terminating % 140.73/140.62 eprover: CPU time limit exceeded, terminating % 142.70/142.63 eprover: CPU time limit exceeded, terminating % 144.69/144.64 eprover: CPU time limit exceeded, terminating % 146.71/146.65 eprover: CPU time limit exceeded, terminating % 148.74/148.65 eprover: CPU time limit exceeded, terminating % 150.71/150.66 eprover: CPU time limit exceeded, terminating % 152.75/152.67 eprover: CPU time limit exceeded, terminating % 154.71/154.67 eprover: CPU time limit exceeded, terminating % 156.74/156.68 eprover: CPU time limit exceeded, terminating % 158.74/158.69 eprover: CPU time limit exceeded, terminating % 160.73/160.70 eprover: CPU time limit exceeded, terminating % 162.83/162.70 eprover: CPU time limit exceeded, terminating % 164.85/164.71 eprover: CPU time limit exceeded, terminating % 166.86/166.72 eprover: CPU time limit exceeded, terminating % 168.87/168.72 eprover: CPU time limit exceeded, terminating % 170.88/170.73 eprover: CPU time limit exceeded, terminating % 172.88/172.74 eprover: CPU time limit exceeded, terminating % 174.86/174.75 eprover: CPU time limit exceeded, terminating % 176.88/176.75 eprover: CPU time limit exceeded, terminating % 178.89/178.76 eprover: CPU time limit exceeded, terminating % 180.90/180.77 eprover: CPU time limit exceeded, terminating % 182.89/182.78 eprover: CPU time limit exceeded, terminating % 184.89/184.78 eprover: CPU time limit exceeded, terminating % 186.90/186.79 eprover: CPU time limit exceeded, terminating % 188.98/188.80 eprover: CPU time limit exceeded, terminating % 190.99/190.80 eprover: CPU time limit exceeded, terminating % 193.01/192.81 eprover: CPU time limit exceeded, terminating % 195.00/194.82 eprover: CPU time limit exceeded, terminating % 197.01/196.83 eprover: CPU time limit exceeded, terminating % 199.01/198.83 eprover: CPU time limit exceeded, terminating % 201.01/200.84 eprover: CPU time limit exceeded, terminating % 203.02/202.85 eprover: CPU time limit exceeded, terminating % 205.02/204.85 eprover: CPU time limit exceeded, terminating % 207.03/206.86 eprover: CPU time limit exceeded, terminating % 209.04/208.87 eprover: CPU time limit exceeded, terminating % 211.03/210.88 eprover: CPU time limit exceeded, terminating % 213.05/212.88 eprover: CPU time limit exceeded, terminating % 215.07/214.89 eprover: CPU time limit exceeded, terminating % 217.15/216.90 eprover: CPU time limit exceeded, terminating % 219.15/218.90 eprover: CPU time limit exceeded, terminating % 221.15/220.91 eprover: CPU time limit exceeded, terminating % 223.17/222.92 eprover: CPU time limit exceeded, terminating % 225.16/224.93 eprover: CPU time limit exceeded, terminating % 227.15/226.93 eprover: CPU time limit exceeded, terminating % 229.19/228.94 eprover: CPU time limit exceeded, terminating % 231.18/230.95 eprover: CPU time limit exceeded, terminating % 233.20/232.95 eprover: CPU time limit exceeded, terminating % 235.19/234.96 eprover: CPU time limit exceeded, terminating % 237.21/236.97 eprover: CPU time limit exceeded, terminating % 239.19/238.97 eprover: CPU time limit exceeded, terminating % 241.23/240.98 eprover: CPU time limit exceeded, terminating % 243.21/242.99 eprover: CPU time limit exceeded, terminating % 245.29/245.00 eprover: CPU time limit exceeded, terminating % 247.32/247.00 eprover: CPU time limit exceeded, terminating % 249.31/249.01 eprover: CPU time limit exceeded, terminating % 251.31/251.02 eprover: CPU time limit exceeded, terminating % 253.31/253.03 eprover: CPU time limit exceeded, terminating % 255.31/255.03 eprover: CPU time limit exceeded, terminating % 257.34/257.04 eprover: CPU time limit exceeded, terminating % 259.34/259.05 eprover: CPU time limit exceeded, terminating % 261.36/261.05 eprover: CPU time limit exceeded, terminating % 263.36/263.06 eprover: CPU time limit exceeded, terminating % 265.34/265.07 eprover: CPU time limit exceeded, terminating % 267.43/267.08 eprover: CPU time limit exceeded, terminating % 269.35/269.08 eprover: CPU time limit exceeded, terminating % 271.39/271.09 eprover: CPU time limit exceeded, terminating % 273.46/273.10 eprover: CPU time limit exceeded, terminating % 275.38/275.10 eprover: CPU time limit exceeded, terminating % 277.49/277.11 eprover: CPU time limit exceeded, terminating % 279.47/279.12 eprover: CPU time limit exceeded, terminating % 281.48/281.12 eprover: CPU time limit exceeded, terminating % 283.46/283.13 eprover: CPU time limit exceeded, terminating % 290.40/290.00 eprover: CPU time limit exceeded, terminating % 300.06/299.62 eprover: CPU time limit exceeded, terminating % 300.06/299.64 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------