You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
It seems to me that the pisa-0.8.2 engine forces evaluation of all hits with the TOP_10_COUNT task, but it doesn't collect them into a priority queue as I would expect. So there is really no difference between TOP_10_COUNT and TOP_1000_COUNT for pisa at the moment.
Let's make it collect hits into a priority queue?
The text was updated successfully, but these errors were encountered:
It seems to me that the pisa-0.8.2 engine forces evaluation of all hits with the TOP_10_COUNT task, but it doesn't collect them into a priority queue as I would expect. So there is really no difference between TOP_10_COUNT and TOP_1000_COUNT for pisa at the moment.
Let's make it collect hits into a priority queue?
The text was updated successfully, but these errors were encountered: