Comment 31 for bug 405251

Revision history for this message
Frits Jalvingh (fjalvingh) wrote :

#25: Initial branch using the #28 and #26 fix AND with --no-trees took 15 minutes 23 seconds
Second branch took 0.7 seconds (since it does not have to do anything ;-)