%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NLP032+1 : TPTP v8.1.0. Released v2.4.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n020.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:31:50 EDT 2022 % Result : Timeout 285.77s 281.67s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.07/0.12 % Problem : NLP032+1 : TPTP v8.1.0. Released v2.4.0. % 0.07/0.12 % Command : run_infinox %s % 0.12/0.33 % Computer : n020.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 20:46:15 EDT 2022 % 0.12/0.33 % CPUTime : % 2.18/2.39 eprover: CPU time limit exceeded, terminating % 4.21/4.40 eprover: CPU time limit exceeded, terminating % 6.19/6.41 eprover: CPU time limit exceeded, terminating % 8.23/8.42 eprover: CPU time limit exceeded, terminating % 10.18/10.43 eprover: CPU time limit exceeded, terminating % 12.20/12.44 eprover: CPU time limit exceeded, terminating % 14.20/14.45 eprover: CPU time limit exceeded, terminating % 16.27/16.46 eprover: CPU time limit exceeded, terminating % 18.26/18.47 eprover: CPU time limit exceeded, terminating % 20.31/20.48 eprover: CPU time limit exceeded, terminating % 22.32/22.48 eprover: CPU time limit exceeded, terminating % 24.31/24.49 eprover: CPU time limit exceeded, terminating % 26.33/26.50 eprover: CPU time limit exceeded, terminating % 28.35/28.51 eprover: CPU time limit exceeded, terminating % 30.32/30.52 eprover: CPU time limit exceeded, terminating % 32.32/32.53 eprover: CPU time limit exceeded, terminating % 34.36/34.53 eprover: CPU time limit exceeded, terminating % 36.41/36.54 eprover: CPU time limit exceeded, terminating % 38.38/38.55 eprover: CPU time limit exceeded, terminating % 40.45/40.56 eprover: CPU time limit exceeded, terminating % 42.43/42.56 eprover: CPU time limit exceeded, terminating % 44.45/44.57 eprover: CPU time limit exceeded, terminating % 46.46/46.58 eprover: CPU time limit exceeded, terminating % 48.47/48.59 eprover: CPU time limit exceeded, terminating % 50.44/50.60 eprover: CPU time limit exceeded, terminating % 52.47/52.60 eprover: CPU time limit exceeded, terminating % 54.50/54.61 eprover: CPU time limit exceeded, terminating % 56.45/56.62 eprover: CPU time limit exceeded, terminating % 58.53/58.63 eprover: CPU time limit exceeded, terminating % 60.51/60.63 eprover: CPU time limit exceeded, terminating % 62.53/62.65 eprover: CPU time limit exceeded, terminating % 64.54/64.65 eprover: CPU time limit exceeded, terminating % 66.55/66.66 eprover: CPU time limit exceeded, terminating % 68.60/68.67 eprover: CPU time limit exceeded, terminating % 70.57/70.68 eprover: CPU time limit exceeded, terminating % 72.60/72.69 eprover: CPU time limit exceeded, terminating % 74.58/74.70 eprover: CPU time limit exceeded, terminating % 76.60/76.71 eprover: CPU time limit exceeded, terminating % 78.58/78.72 eprover: CPU time limit exceeded, terminating % 80.67/80.73 eprover: CPU time limit exceeded, terminating % 82.68/82.74 eprover: CPU time limit exceeded, terminating % 84.70/84.75 eprover: CPU time limit exceeded, terminating % 86.63/86.76 eprover: CPU time limit exceeded, terminating % 88.71/88.77 eprover: CPU time limit exceeded, terminating % 90.72/90.78 eprover: CPU time limit exceeded, terminating % 92.73/92.79 eprover: CPU time limit exceeded, terminating % 94.72/94.80 eprover: CPU time limit exceeded, terminating % 96.75/96.81 eprover: CPU time limit exceeded, terminating % 98.79/98.82 eprover: CPU time limit exceeded, terminating % 100.80/100.83 eprover: CPU time limit exceeded, terminating % 102.76/102.84 eprover: CPU time limit exceeded, terminating % 104.81/104.85 eprover: CPU time limit exceeded, terminating % 106.81/106.85 eprover: CPU time limit exceeded, terminating % 108.85/108.86 eprover: CPU time limit exceeded, terminating % 110.81/110.87 eprover: CPU time limit exceeded, terminating % 112.83/112.88 eprover: CPU time limit exceeded, terminating % 114.84/114.89 eprover: CPU time limit exceeded, terminating % 116.83/116.90 eprover: CPU time limit exceeded, terminating % 118.85/118.91 eprover: CPU time limit exceeded, terminating % 120.94/120.92 eprover: CPU time limit exceeded, terminating % 122.94/122.93 eprover: CPU time limit exceeded, terminating % 124.91/124.94 eprover: CPU time limit exceeded, terminating % 126.95/126.95 eprover: CPU time limit exceeded, terminating % 128.94/128.96 eprover: CPU time limit exceeded, terminating % 130.95/130.97 eprover: CPU time limit exceeded, terminating % 132.96/132.98 eprover: CPU time limit exceeded, terminating % 134.95/134.99 eprover: CPU time limit exceeded, terminating % 137.01/137.00 eprover: CPU time limit exceeded, terminating % 139.06/139.00 eprover: CPU time limit exceeded, terminating % 143.05/141.01 eprover: CPU time limit exceeded, terminating % 145.07/143.02 eprover: CPU time limit exceeded, terminating % 147.05/145.03 eprover: CPU time limit exceeded, terminating % 149.07/147.04 eprover: CPU time limit exceeded, terminating % 151.05/149.05 eprover: CPU time limit exceeded, terminating % 153.08/151.06 eprover: CPU time limit exceeded, terminating % 155.07/153.07 eprover: CPU time limit exceeded, terminating % 157.10/155.08 eprover: CPU time limit exceeded, terminating % 159.09/157.09 eprover: CPU time limit exceeded, terminating % 161.17/159.10 eprover: CPU time limit exceeded, terminating % 163.17/161.11 eprover: CPU time limit exceeded, terminating % 165.19/163.12 eprover: CPU time limit exceeded, terminating % 167.21/165.13 eprover: CPU time limit exceeded, terminating % 169.18/167.14 eprover: CPU time limit exceeded, terminating % 171.21/169.15 eprover: CPU time limit exceeded, terminating % 173.21/171.16 eprover: CPU time limit exceeded, terminating % 175.20/173.17 eprover: CPU time limit exceeded, terminating % 177.21/175.18 eprover: CPU time limit exceeded, terminating % 179.23/177.19 eprover: CPU time limit exceeded, terminating % 181.30/179.20 eprover: CPU time limit exceeded, terminating % 183.33/181.20 eprover: CPU time limit exceeded, terminating % 185.33/183.21 eprover: CPU time limit exceeded, terminating % 187.34/185.22 eprover: CPU time limit exceeded, terminating % 189.33/187.23 eprover: CPU time limit exceeded, terminating % 191.35/189.24 eprover: CPU time limit exceeded, terminating % 193.34/191.25 eprover: CPU time limit exceeded, terminating % 195.33/193.26 eprover: CPU time limit exceeded, terminating % 197.35/195.27 eprover: CPU time limit exceeded, terminating % 199.36/197.28 eprover: CPU time limit exceeded, terminating % 201.43/199.29 eprover: CPU time limit exceeded, terminating % 203.35/201.30 eprover: CPU time limit exceeded, terminating % 207.36/203.30 eprover: CPU time limit exceeded, terminating % 209.37/205.31 eprover: CPU time limit exceeded, terminating % 211.38/207.32 eprover: CPU time limit exceeded, terminating % 213.38/209.33 eprover: CPU time limit exceeded, terminating % 215.38/211.34 eprover: CPU time limit exceeded, terminating % 217.37/213.35 eprover: CPU time limit exceeded, terminating % 219.40/215.36 eprover: CPU time limit exceeded, terminating % 221.38/217.37 eprover: CPU time limit exceeded, terminating % 223.39/219.38 eprover: CPU time limit exceeded, terminating % 225.48/221.39 eprover: CPU time limit exceeded, terminating % 227.46/223.40 eprover: CPU time limit exceeded, terminating % 229.50/225.41 eprover: CPU time limit exceeded, terminating % 231.51/227.42 eprover: CPU time limit exceeded, terminating % 233.50/229.43 eprover: CPU time limit exceeded, terminating % 235.49/231.44 eprover: CPU time limit exceeded, terminating % 237.52/233.45 eprover: CPU time limit exceeded, terminating % 239.50/235.46 eprover: CPU time limit exceeded, terminating % 241.52/237.47 eprover: CPU time limit exceeded, terminating % 243.51/239.48 eprover: CPU time limit exceeded, terminating % 245.61/241.48 eprover: CPU time limit exceeded, terminating % 247.53/243.49 eprover: CPU time limit exceeded, terminating % 249.61/245.50 eprover: CPU time limit exceeded, terminating % 251.63/247.51 eprover: CPU time limit exceeded, terminating % 253.60/249.52 eprover: CPU time limit exceeded, terminating % 255.63/251.53 eprover: CPU time limit exceeded, terminating % 257.64/253.54 eprover: CPU time limit exceeded, terminating % 259.65/255.55 eprover: CPU time limit exceeded, terminating % 261.66/257.56 eprover: CPU time limit exceeded, terminating % 263.66/259.57 eprover: CPU time limit exceeded, terminating % 265.67/261.58 eprover: CPU time limit exceeded, terminating % 267.65/263.59 eprover: CPU time limit exceeded, terminating % 269.68/265.60 eprover: CPU time limit exceeded, terminating % 271.68/267.61 eprover: CPU time limit exceeded, terminating % 273.77/269.62 eprover: CPU time limit exceeded, terminating % 275.78/271.62 eprover: CPU time limit exceeded, terminating % 277.78/273.63 eprover: CPU time limit exceeded, terminating % 279.79/275.64 eprover: CPU time limit exceeded, terminating % 281.78/277.65 eprover: CPU time limit exceeded, terminating % 283.78/279.66 eprover: CPU time limit exceeded, terminating % 285.77/281.67 eprover: CPU time limit exceeded, terminating % 287.79/283.68 eprover: CPU time limit exceeded, terminating % 289.88/285.69 eprover: CPU time limit exceeded, terminating % 291.89/287.70 eprover: CPU time limit exceeded, terminating % 293.89/289.71 eprover: CPU time limit exceeded, terminating % 295.87/291.72 eprover: CPU time limit exceeded, terminating % 297.89/293.73 eprover: CPU time limit exceeded, terminating % 299.88/295.73 eprover: CPU time limit exceeded, terminating % 300.01/295.81 eprover: CPU time limit exceeded, terminating % 300.01/295.82 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------