examples/deprecated/simdag/throttling/sd_throttling
examples/deprecated/simdag/typed_tasks/sd_typed_tasks
examples/smpi/ampi/smpi_ampi
-examples/smpi/energy/f77/sef
-examples/smpi/energy/f90/sef90
examples/smpi/energy/smpi_energy
examples/smpi/mc/smpi_bugged1
examples/smpi/mc/smpi_bugged1_liveness
examples/smpi/mc/smpi_bugged2
examples/smpi/mc/smpi_mutual_exclusion
+examples/smpi/mc/smpi_sendsend
examples/smpi/NAS/dt
examples/smpi/NAS/ep
examples/smpi/NAS/is