LtAtomIsNotUnique
and LtObjectIsNotUnique
are super slow
#278
Labels
bug
Something isn't working
good first issue
Good for newcomers
help wanted
Extra attention is needed
Try to run
mvn jvm:benchmark
as is and see the time report. Then, removeLtAtomIsNotUnique
andLtObjectIsNotUnique
from the list in thePkWpa
class. On my machine, the performance ofProgramsBench.scansLargeProgram
jumps from 8s to 80ms.The text was updated successfully, but these errors were encountered: