Computation times

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

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