Optimization: use std::unordered_map instead of std::map when computing temporary terms
Passed
Sébastien Villemot
created pipeline for commit
5a429708
, finished
For master
2 minutes 14 seconds, queued for 33 seconds