%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NLP059-1 : TPTP v8.1.0. Released v2.4.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n027.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:05 EDT 2022 % Result : Timeout 285.94s 285.73s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.10/0.11 % Problem : NLP059-1 : TPTP v8.1.0. Released v2.4.0. % 0.10/0.12 % Command : run_infinox %s % 0.12/0.33 % Computer : n027.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 23:53:52 EDT 2022 % 0.12/0.33 % CPUTime : % 2.13/2.38 eprover: CPU time limit exceeded, terminating % 4.18/4.39 eprover: CPU time limit exceeded, terminating % 6.22/6.40 eprover: CPU time limit exceeded, terminating % 8.20/8.41 eprover: CPU time limit exceeded, terminating % 10.23/10.42 eprover: CPU time limit exceeded, terminating % 12.23/12.43 eprover: CPU time limit exceeded, terminating % 14.24/14.45 eprover: CPU time limit exceeded, terminating % 16.21/16.46 eprover: CPU time limit exceeded, terminating % 18.23/18.46 eprover: CPU time limit exceeded, terminating % 20.21/20.47 eprover: CPU time limit exceeded, terminating % 22.31/22.48 eprover: CPU time limit exceeded, terminating % 24.32/24.50 eprover: CPU time limit exceeded, terminating % 26.30/26.51 eprover: CPU time limit exceeded, terminating % 28.33/28.52 eprover: CPU time limit exceeded, terminating % 30.36/30.53 eprover: CPU time limit exceeded, terminating % 32.35/32.54 eprover: CPU time limit exceeded, terminating % 34.36/34.55 eprover: CPU time limit exceeded, terminating % 36.33/36.56 eprover: CPU time limit exceeded, terminating % 38.35/38.57 eprover: CPU time limit exceeded, terminating % 40.37/40.58 eprover: CPU time limit exceeded, terminating % 42.36/42.59 eprover: CPU time limit exceeded, terminating % 44.39/44.59 eprover: CPU time limit exceeded, terminating % 46.46/46.60 eprover: CPU time limit exceeded, terminating % 48.45/48.61 eprover: CPU time limit exceeded, terminating % 50.47/50.62 eprover: CPU time limit exceeded, terminating % 52.49/52.63 eprover: CPU time limit exceeded, terminating % 54.46/54.64 eprover: CPU time limit exceeded, terminating % 56.49/56.65 eprover: CPU time limit exceeded, terminating % 58.48/58.66 eprover: CPU time limit exceeded, terminating % 60.50/60.67 eprover: CPU time limit exceeded, terminating % 62.46/62.68 eprover: CPU time limit exceeded, terminating % 64.58/64.69 eprover: CPU time limit exceeded, terminating % 66.58/66.70 eprover: CPU time limit exceeded, terminating % 68.60/68.71 eprover: CPU time limit exceeded, terminating % 70.59/70.72 eprover: CPU time limit exceeded, terminating % 72.62/72.73 eprover: CPU time limit exceeded, terminating % 74.60/74.74 eprover: CPU time limit exceeded, terminating % 76.60/76.75 eprover: CPU time limit exceeded, terminating % 78.64/78.76 eprover: CPU time limit exceeded, terminating % 80.60/80.76 eprover: CPU time limit exceeded, terminating % 82.62/82.77 eprover: CPU time limit exceeded, terminating % 84.71/84.78 eprover: CPU time limit exceeded, terminating % 86.63/86.79 eprover: CPU time limit exceeded, terminating % 88.66/88.80 eprover: CPU time limit exceeded, terminating % 90.74/90.81 eprover: CPU time limit exceeded, terminating % 92.73/92.82 eprover: CPU time limit exceeded, terminating % 94.74/94.83 eprover: CPU time limit exceeded, terminating % 96.73/96.84 eprover: CPU time limit exceeded, terminating % 98.71/98.85 eprover: CPU time limit exceeded, terminating % 100.74/100.86 eprover: CPU time limit exceeded, terminating % 102.78/102.86 eprover: CPU time limit exceeded, terminating % 104.74/104.87 eprover: CPU time limit exceeded, terminating % 106.80/106.88 eprover: CPU time limit exceeded, terminating % 108.78/108.89 eprover: CPU time limit exceeded, terminating % 110.85/110.90 eprover: CPU time limit exceeded, terminating % 112.88/112.91 eprover: CPU time limit exceeded, terminating % 114.85/114.91 eprover: CPU time limit exceeded, terminating % 116.85/116.92 eprover: CPU time limit exceeded, terminating % 118.86/118.93 eprover: CPU time limit exceeded, terminating % 120.89/120.94 eprover: CPU time limit exceeded, terminating % 122.89/122.95 eprover: CPU time limit exceeded, terminating % 124.91/124.96 eprover: CPU time limit exceeded, terminating % 126.93/126.97 eprover: CPU time limit exceeded, terminating % 128.87/128.98 eprover: CPU time limit exceeded, terminating % 130.99/131.00 eprover: CPU time limit exceeded, terminating % 133.01/133.01 eprover: CPU time limit exceeded, terminating % 134.99/135.02 eprover: CPU time limit exceeded, terminating % 136.99/137.03 eprover: CPU time limit exceeded, terminating % 139.03/139.05 eprover: CPU time limit exceeded, terminating % 141.03/141.06 eprover: CPU time limit exceeded, terminating % 143.03/143.07 eprover: CPU time limit exceeded, terminating % 145.06/145.08 eprover: CPU time limit exceeded, terminating % 147.04/147.09 eprover: CPU time limit exceeded, terminating % 149.13/149.10 eprover: CPU time limit exceeded, terminating % 151.15/151.11 eprover: CPU time limit exceeded, terminating % 153.15/153.12 eprover: CPU time limit exceeded, terminating % 155.14/155.14 eprover: CPU time limit exceeded, terminating % 157.16/157.14 eprover: CPU time limit exceeded, terminating % 159.15/159.15 eprover: CPU time limit exceeded, terminating % 161.14/161.16 eprover: CPU time limit exceeded, terminating % 163.18/163.17 eprover: CPU time limit exceeded, terminating % 165.16/165.19 eprover: CPU time limit exceeded, terminating % 167.25/167.19 eprover: CPU time limit exceeded, terminating % 169.24/169.20 eprover: CPU time limit exceeded, terminating % 171.26/171.21 eprover: CPU time limit exceeded, terminating % 173.24/173.22 eprover: CPU time limit exceeded, terminating % 175.26/175.23 eprover: CPU time limit exceeded, terminating % 177.29/177.24 eprover: CPU time limit exceeded, terminating % 179.27/179.25 eprover: CPU time limit exceeded, terminating % 181.28/181.26 eprover: CPU time limit exceeded, terminating % 183.31/183.27 eprover: CPU time limit exceeded, terminating % 185.29/185.28 eprover: CPU time limit exceeded, terminating % 187.35/187.28 eprover: CPU time limit exceeded, terminating % 189.39/189.29 eprover: CPU time limit exceeded, terminating % 191.39/191.30 eprover: CPU time limit exceeded, terminating % 193.39/193.31 eprover: CPU time limit exceeded, terminating % 195.40/195.32 eprover: CPU time limit exceeded, terminating % 197.44/197.33 eprover: CPU time limit exceeded, terminating % 199.41/199.34 eprover: CPU time limit exceeded, terminating % 201.44/201.35 eprover: CPU time limit exceeded, terminating % 203.43/203.35 eprover: CPU time limit exceeded, terminating % 205.41/205.36 eprover: CPU time limit exceeded, terminating % 207.40/207.37 eprover: CPU time limit exceeded, terminating % 209.43/209.38 eprover: CPU time limit exceeded, terminating % 211.51/211.39 eprover: CPU time limit exceeded, terminating % 213.53/213.40 eprover: CPU time limit exceeded, terminating % 215.48/215.41 eprover: CPU time limit exceeded, terminating % 217.54/217.41 eprover: CPU time limit exceeded, terminating % 219.56/219.42 eprover: CPU time limit exceeded, terminating % 221.55/221.43 eprover: CPU time limit exceeded, terminating % 223.54/223.44 eprover: CPU time limit exceeded, terminating % 225.57/225.46 eprover: CPU time limit exceeded, terminating % 227.58/227.46 eprover: CPU time limit exceeded, terminating % 229.53/229.47 eprover: CPU time limit exceeded, terminating % 231.58/231.48 eprover: CPU time limit exceeded, terminating % 233.64/233.49 eprover: CPU time limit exceeded, terminating % 235.57/235.51 eprover: CPU time limit exceeded, terminating % 237.62/237.51 eprover: CPU time limit exceeded, terminating % 239.69/239.52 eprover: CPU time limit exceeded, terminating % 241.66/241.53 eprover: CPU time limit exceeded, terminating % 243.71/243.54 eprover: CPU time limit exceeded, terminating % 245.67/245.55 eprover: CPU time limit exceeded, terminating % 247.71/247.56 eprover: CPU time limit exceeded, terminating % 249.68/249.57 eprover: CPU time limit exceeded, terminating % 251.71/251.58 eprover: CPU time limit exceeded, terminating % 253.77/253.59 eprover: CPU time limit exceeded, terminating % 255.76/255.60 eprover: CPU time limit exceeded, terminating % 257.80/257.61 eprover: CPU time limit exceeded, terminating % 259.81/259.62 eprover: CPU time limit exceeded, terminating % 261.81/261.63 eprover: CPU time limit exceeded, terminating % 263.79/263.63 eprover: CPU time limit exceeded, terminating % 265.80/265.64 eprover: CPU time limit exceeded, terminating % 267.82/267.65 eprover: CPU time limit exceeded, terminating % 269.85/269.66 eprover: CPU time limit exceeded, terminating % 271.81/271.67 eprover: CPU time limit exceeded, terminating % 273.85/273.68 eprover: CPU time limit exceeded, terminating % 275.85/275.69 eprover: CPU time limit exceeded, terminating % 277.93/277.70 eprover: CPU time limit exceeded, terminating % 279.85/279.71 eprover: CPU time limit exceeded, terminating % 281.94/281.72 eprover: CPU time limit exceeded, terminating % 283.94/283.72 eprover: CPU time limit exceeded, terminating % 285.94/285.73 eprover: CPU time limit exceeded, terminating % 288.00/287.74 eprover: CPU time limit exceeded, terminating % 289.94/289.75 eprover: CPU time limit exceeded, terminating % 291.97/291.76 eprover: CPU time limit exceeded, terminating % 293.98/293.77 eprover: CPU time limit exceeded, terminating % 296.03/295.78 eprover: CPU time limit exceeded, terminating % 298.01/297.79 eprover: CPU time limit exceeded, terminating % 300.06/299.79 eprover: CPU time limit exceeded, terminating % 300.06/299.81 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------