Computation times

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

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