All tools now evaluate Boltzmann generated CFGs too. Experiment now tools in parallel.