diff --git a/packages/CLPBN/examples/burglary-alarm.pfl b/packages/CLPBN/examples/burglary-alarm.pfl
index 1583e3f1c..f2024c200 100644
--- a/packages/CLPBN/examples/burglary-alarm.pfl
+++ b/packages/CLPBN/examples/burglary-alarm.pfl
@@ -1,7 +1,7 @@
 :- use_module(library(pfl)).
 
-:- set_solver(hve).
 %:- set_solver(ve).
+%:- set_solver(hve).
 %:- set_solver(jt).
 %:- set_solver(bdd).
 %:- set_solver(bp).
diff --git a/packages/CLPBN/examples/city.pfl b/packages/CLPBN/examples/city.pfl
index d79e824a8..d86d336fe 100644
--- a/packages/CLPBN/examples/city.pfl
+++ b/packages/CLPBN/examples/city.pfl
@@ -5,8 +5,8 @@
 
 :- use_module(library(pfl)).
 
-:- set_solver(hve).
 %:- set_solver(ve).
+%:- set_solver(hve).
 %:- set_solver(jt).
 %:- set_solver(bdd).
 %:- set_solver(bp).
diff --git a/packages/CLPBN/examples/comp_workshops.pfl b/packages/CLPBN/examples/comp_workshops.pfl
index 1b020035b..deed627ac 100644
--- a/packages/CLPBN/examples/comp_workshops.pfl
+++ b/packages/CLPBN/examples/comp_workshops.pfl
@@ -5,9 +5,10 @@
 
 :- use_module(library(pfl)).
 
-:- set_solver(hve).
 %:- set_solver(ve).
+%:- set_solver(hve).
 %:- set_solver(jt).
+%:- set_solver(bdd).
 %:- set_solver(bp).
 %:- set_solver(cbp).
 %:- set_solver(gibbs).
diff --git a/packages/CLPBN/examples/learning/sprinkler_params.yap b/packages/CLPBN/examples/learning/sprinkler_params.yap
index b01102576..0666cb8ca 100644
--- a/packages/CLPBN/examples/learning/sprinkler_params.yap
+++ b/packages/CLPBN/examples/learning/sprinkler_params.yap
@@ -4,7 +4,7 @@
 
 :- use_module(library(clpbn/learning/em)).
 
-:- set_em_solver(ve).
+%:- set_em_solver(ve).
 %:- set_em_solver(hve).
 %:- set_em_solver(bdd).
 %:- set_em_solver(bp).
diff --git a/packages/CLPBN/examples/social_network1.pfl b/packages/CLPBN/examples/social_network1.pfl
index e8f976e3a..30399c72e 100644
--- a/packages/CLPBN/examples/social_network1.pfl
+++ b/packages/CLPBN/examples/social_network1.pfl
@@ -5,8 +5,8 @@
 
 :- use_module(library(pfl)).
 
-:- set_solver(hve).
 %:- set_solver(ve).
+%:- set_solver(hve).
 %:- set_solver(jt).
 %:- set_solver(bdd).
 %:- set_solver(bp).
diff --git a/packages/CLPBN/examples/social_network2.pfl b/packages/CLPBN/examples/social_network2.pfl
index 8dc823da4..9d4af6f25 100644
--- a/packages/CLPBN/examples/social_network2.pfl
+++ b/packages/CLPBN/examples/social_network2.pfl
@@ -5,8 +5,8 @@
 
 :- use_module(library(pfl)).
 
-:- set_solver(hve).
 %:- set_solver(ve).
+%:- set_solver(hve).
 %:- set_solver(jt).
 %:- set_solver(bdd).
 %:- set_solver(bp).
diff --git a/packages/CLPBN/examples/sprinkler.pfl b/packages/CLPBN/examples/sprinkler.pfl
index a69c2158e..8d1a93844 100644
--- a/packages/CLPBN/examples/sprinkler.pfl
+++ b/packages/CLPBN/examples/sprinkler.pfl
@@ -1,7 +1,7 @@
 :- ensure_loaded(library(pfl)).
 
-:- set_solver(hve).
 %:- set_solver(ve).
+%:- set_solver(hve).
 %:- set_solver(jt).
 %:- set_solver(bdd).
 %:- set_solver(bp).
diff --git a/packages/CLPBN/examples/workshop_attrs.pfl b/packages/CLPBN/examples/workshop_attrs.pfl
index 248529980..26e50907f 100644
--- a/packages/CLPBN/examples/workshop_attrs.pfl
+++ b/packages/CLPBN/examples/workshop_attrs.pfl
@@ -5,8 +5,8 @@
 
 :- use_module(library(pfl)).
 
-:- set_solver(hve).
 %:- set_solver(ve).
+%:- set_solver(hve).
 %:- set_solver(jt).
 %:- set_solver(bdd).
 %:- set_solver(bp).