%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NLP089-1 : TPTP v8.1.0. Released v2.4.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n010.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 289.96s 289.66s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.03/0.12 % Problem : NLP089-1 : TPTP v8.1.0. Released v2.4.0. % 0.03/0.13 % Command : run_infinox %s % 0.12/0.33 % Computer : n010.cluster.edu % 0.12/0.33 % Model : x86_64 x86_64 % 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.12/0.33 % Memory : 8042.1875MB % 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64 % 0.12/0.33 % CPULimit : 300 % 0.12/0.33 % WCLimit : 600 % 0.12/0.33 % DateTime : Thu Jun 30 17:26:04 EDT 2022 % 0.12/0.34 % CPUTime : % 3.94/4.12 eprover: CPU time limit exceeded, terminating % 5.95/6.13 eprover: CPU time limit exceeded, terminating % 7.96/8.14 eprover: CPU time limit exceeded, terminating % 9.96/10.15 eprover: CPU time limit exceeded, terminating % 11.98/12.15 eprover: CPU time limit exceeded, terminating % 13.97/14.16 eprover: CPU time limit exceeded, terminating % 15.97/16.17 eprover: CPU time limit exceeded, terminating % 18.00/18.17 eprover: CPU time limit exceeded, terminating % 20.02/20.18 eprover: CPU time limit exceeded, terminating % 22.05/22.19 eprover: CPU time limit exceeded, terminating % 24.01/24.19 eprover: CPU time limit exceeded, terminating % 26.04/26.20 eprover: CPU time limit exceeded, terminating % 28.04/28.21 eprover: CPU time limit exceeded, terminating % 30.01/30.21 eprover: CPU time limit exceeded, terminating % 32.02/32.22 eprover: CPU time limit exceeded, terminating % 34.08/34.23 eprover: CPU time limit exceeded, terminating % 36.11/36.24 eprover: CPU time limit exceeded, terminating % 38.13/38.24 eprover: CPU time limit exceeded, terminating % 40.11/40.25 eprover: CPU time limit exceeded, terminating % 42.14/42.26 eprover: CPU time limit exceeded, terminating % 44.13/44.27 eprover: CPU time limit exceeded, terminating % 46.17/46.27 eprover: CPU time limit exceeded, terminating % 48.12/48.28 eprover: CPU time limit exceeded, terminating % 50.16/50.29 eprover: CPU time limit exceeded, terminating % 52.14/52.29 eprover: CPU time limit exceeded, terminating % 54.18/54.30 eprover: CPU time limit exceeded, terminating % 56.20/56.31 eprover: CPU time limit exceeded, terminating % 58.20/58.32 eprover: CPU time limit exceeded, terminating % 60.19/60.32 eprover: CPU time limit exceeded, terminating % 62.25/62.33 eprover: CPU time limit exceeded, terminating % 64.23/64.34 eprover: CPU time limit exceeded, terminating % 66.28/66.35 eprover: CPU time limit exceeded, terminating % 68.29/68.35 eprover: CPU time limit exceeded, terminating % 70.28/70.36 eprover: CPU time limit exceeded, terminating % 72.30/72.37 eprover: CPU time limit exceeded, terminating % 74.29/74.37 eprover: CPU time limit exceeded, terminating % 76.32/76.38 eprover: CPU time limit exceeded, terminating % 78.32/78.39 eprover: CPU time limit exceeded, terminating % 80.36/80.39 eprover: CPU time limit exceeded, terminating % 82.33/82.40 eprover: CPU time limit exceeded, terminating % 84.37/84.41 eprover: CPU time limit exceeded, terminating % 86.39/86.42 eprover: CPU time limit exceeded, terminating % 88.39/88.42 eprover: CPU time limit exceeded, terminating % 90.42/90.43 eprover: CPU time limit exceeded, terminating % 92.39/92.44 eprover: CPU time limit exceeded, terminating % 94.43/94.44 eprover: CPU time limit exceeded, terminating % 96.45/96.45 eprover: CPU time limit exceeded, terminating % 98.43/98.46 eprover: CPU time limit exceeded, terminating % 100.46/100.47 eprover: CPU time limit exceeded, terminating % 102.45/102.47 eprover: CPU time limit exceeded, terminating % 104.47/104.48 eprover: CPU time limit exceeded, terminating % 106.45/106.49 eprover: CPU time limit exceeded, terminating % 108.48/108.49 eprover: CPU time limit exceeded, terminating % 110.47/110.50 eprover: CPU time limit exceeded, terminating % 112.51/112.51 eprover: CPU time limit exceeded, terminating % 114.49/114.52 eprover: CPU time limit exceeded, terminating % 116.53/116.52 eprover: CPU time limit exceeded, terminating % 118.55/118.53 eprover: CPU time limit exceeded, terminating % 120.54/120.54 eprover: CPU time limit exceeded, terminating % 122.57/122.54 eprover: CPU time limit exceeded, terminating % 124.59/124.55 eprover: CPU time limit exceeded, terminating % 126.61/126.56 eprover: CPU time limit exceeded, terminating % 128.61/128.57 eprover: CPU time limit exceeded, terminating % 130.62/130.57 eprover: CPU time limit exceeded, terminating % 132.62/132.58 eprover: CPU time limit exceeded, terminating % 134.66/134.59 eprover: CPU time limit exceeded, terminating % 136.66/136.59 eprover: CPU time limit exceeded, terminating % 138.63/138.60 eprover: CPU time limit exceeded, terminating % 140.64/140.61 eprover: CPU time limit exceeded, terminating % 142.68/142.62 eprover: CPU time limit exceeded, terminating % 144.65/144.62 eprover: CPU time limit exceeded, terminating % 146.64/146.63 eprover: CPU time limit exceeded, terminating % 148.73/148.64 eprover: CPU time limit exceeded, terminating % 150.75/150.64 eprover: CPU time limit exceeded, terminating % 152.75/152.65 eprover: CPU time limit exceeded, terminating % 154.67/154.66 eprover: CPU time limit exceeded, terminating % 156.73/156.66 eprover: CPU time limit exceeded, terminating % 158.78/158.67 eprover: CPU time limit exceeded, terminating % 160.79/160.68 eprover: CPU time limit exceeded, terminating % 162.82/162.69 eprover: CPU time limit exceeded, terminating % 164.77/164.69 eprover: CPU time limit exceeded, terminating % 166.82/166.70 eprover: CPU time limit exceeded, terminating % 168.82/168.71 eprover: CPU time limit exceeded, terminating % 170.78/170.71 eprover: CPU time limit exceeded, terminating % 172.82/172.72 eprover: CPU time limit exceeded, terminating % 174.86/174.73 eprover: CPU time limit exceeded, terminating % 176.89/176.74 eprover: CPU time limit exceeded, terminating % 178.83/178.74 eprover: CPU time limit exceeded, terminating % 180.89/180.75 eprover: CPU time limit exceeded, terminating % 182.90/182.76 eprover: CPU time limit exceeded, terminating % 184.94/184.76 eprover: CPU time limit exceeded, terminating % 186.93/186.77 eprover: CPU time limit exceeded, terminating % 188.93/188.78 eprover: CPU time limit exceeded, terminating % 190.93/190.79 eprover: CPU time limit exceeded, terminating % 192.97/192.79 eprover: CPU time limit exceeded, terminating % 194.94/194.80 eprover: CPU time limit exceeded, terminating % 196.97/196.81 eprover: CPU time limit exceeded, terminating % 198.95/198.81 eprover: CPU time limit exceeded, terminating % 200.99/200.82 eprover: CPU time limit exceeded, terminating % 203.01/202.83 eprover: CPU time limit exceeded, terminating % 204.99/204.83 eprover: CPU time limit exceeded, terminating % 206.97/206.84 eprover: CPU time limit exceeded, terminating % 209.00/208.85 eprover: CPU time limit exceeded, terminating % 211.04/210.86 eprover: CPU time limit exceeded, terminating % 213.08/212.86 eprover: CPU time limit exceeded, terminating % 215.08/214.87 eprover: CPU time limit exceeded, terminating % 217.09/216.88 eprover: CPU time limit exceeded, terminating % 219.11/218.88 eprover: CPU time limit exceeded, terminating % 221.09/220.89 eprover: CPU time limit exceeded, terminating % 223.14/222.90 eprover: CPU time limit exceeded, terminating % 225.15/224.90 eprover: CPU time limit exceeded, terminating % 227.12/226.91 eprover: CPU time limit exceeded, terminating % 229.10/228.92 eprover: CPU time limit exceeded, terminating % 231.19/230.93 eprover: CPU time limit exceeded, terminating % 233.14/232.93 eprover: CPU time limit exceeded, terminating % 235.21/234.94 eprover: CPU time limit exceeded, terminating % 237.21/236.95 eprover: CPU time limit exceeded, terminating % 239.22/238.95 eprover: CPU time limit exceeded, terminating % 241.25/240.96 eprover: CPU time limit exceeded, terminating % 243.24/242.97 eprover: CPU time limit exceeded, terminating % 245.25/244.97 eprover: CPU time limit exceeded, terminating % 247.25/246.98 eprover: CPU time limit exceeded, terminating % 249.25/248.99 eprover: CPU time limit exceeded, terminating % 251.24/251.00 eprover: CPU time limit exceeded, terminating % 253.24/253.00 eprover: CPU time limit exceeded, terminating % 255.26/255.01 eprover: CPU time limit exceeded, terminating % 257.28/257.02 eprover: CPU time limit exceeded, terminating % 259.30/259.02 eprover: CPU time limit exceeded, terminating % 261.33/261.03 eprover: CPU time limit exceeded, terminating % 263.36/263.04 eprover: CPU time limit exceeded, terminating % 265.33/265.04 eprover: CPU time limit exceeded, terminating % 267.36/267.05 eprover: CPU time limit exceeded, terminating % 269.38/269.06 eprover: CPU time limit exceeded, terminating % 271.40/271.07 eprover: CPU time limit exceeded, terminating % 273.37/273.07 eprover: CPU time limit exceeded, terminating % 275.39/275.08 eprover: CPU time limit exceeded, terminating % 277.43/277.09 eprover: CPU time limit exceeded, terminating % 279.40/279.09 eprover: CPU time limit exceeded, terminating % 281.45/281.10 eprover: CPU time limit exceeded, terminating % 283.42/283.11 eprover: CPU time limit exceeded, terminating % 289.96/289.66 eprover: CPU time limit exceeded, terminating % 300.03/299.72 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------