Computation times

00:00.219 total execution time for 1 file from examples/SALE:

Example	Time	Mem (MB)
EFP concrete target (sale_efp.py)	00:00.219	0.0