mergeRItest

rate_independence_test.bc

@@ -6,8 +6,6 @@ prolog("writeln(' Cas problematiques en tete qui montrent l insuffisance des ree
 
 prolog("writeln(' ')").
 clear_model.
-a+b=>c+d.
-c+d=>a+b.
 c+d=>e.
 e=>c+f.
 search_conservations.
@@ -17,24 +15,23 @@ prolog('writeln("The model is rate independent: composite loop with and-fork")')
 
 prolog("writeln(' ')").
 clear_model.
-a+b=>c+d.
-c+d=>a+b.
 c+d=>e.
-e=>c.
-e=>f.
+e=>c+f+d.
 search_conservations.
 test_rate_independence_inputs_sinks.
-prolog('writeln("Undecided, since no: composite loop with or-fork ")').
+prolog('writeln("Undecided since no: second loop creates synthesis ")').
+
 
 
 prolog("writeln(' ')").
 clear_model.
-a+b=>c+d.
-c+d=>a+b.
 c+d=>e.
+e=>c.
+e=>f.
 search_conservations.
 test_rate_independence_inputs_sinks.
-prolog('writeln("The model is rate independent: composite loop leakage with or-fork")').
+prolog('writeln("Undecided, since no: composite loop with or-fork ")').
+
 
 
 prolog("writeln(' ')").
@@ -45,7 +42,7 @@ c+d=>e.
 e=>c+f.
 search_conservations.
 test_rate_independence_inputs_sinks.
-prolog('writeln("The model is rate independent: composite loop leakage with and-fork")').
+prolog('writeln("The model is rate independent: composite loop with and-fork")').
 
 
 prolog("writeln(' ')").
@@ -53,51 +50,46 @@ clear_model.
 a+b=>c+d.
 c+d=>a+b.
 c+d=>e.
-e=>c+d.
-e=>f+g.
+e=>c.
+e=>f.
 search_conservations.
 test_rate_independence_inputs_sinks.
-prolog('writeln("The model is rate independent: composite double loop leakage with composite or-fork")').
-
-
-prolog("writeln(' ')").
-clear_model.
-MA(k1) for a+b => b.
-MA(k2) for b+c=>d.
-search_conservations.
-test_rate_independence({b,c}, {d}). % no
-prolog('writeln("The model is rate independent: without input a")').
-
+prolog('writeln("Undecided, since no: composite loop with or-fork ")').
 
-prolog("writeln('%%%%%%%%%%%%%%%%%%%%%%')").
 
 prolog("writeln(' ')").
 clear_model.
+a+b=>c+d.
+c+d=>a+b.
 c+d=>e.
-e=>c+f.
 search_conservations.
 test_rate_independence_inputs_sinks.
-prolog('writeln("The model is rate independent: composite loop leakage with and-fork")').
+prolog('writeln("The model is rate independent: composite loop leakage with or-fork")').
+
+
 
 prolog("writeln(' ')").
 clear_model.
+a+b=>c+d.
+c+d=>a+b.
 c+d=>e.
-e=>c+f+d.
+e=>c+d.
+e=>f+g.
 search_conservations.
 test_rate_independence_inputs_sinks.
-prolog('writeln("Undecided since no: second loop creates synthesis ")').
-
+prolog('writeln("The model is rate independent: composite double loop leakage with composite or-fork")').
 
 
 prolog("writeln(' ')").
 clear_model.
-c+d=>e.
-e=>c.
-e=>f.
+MA(k1) for a+b => b.
+MA(k2) for b+c=>d.
 search_conservations.
-test_rate_independence_inputs_sinks.
-prolog('writeln("Undecided since no: composite loop leakage with or-fork")').
+test_rate_independence({b,c}, {d}). % no
+prolog('writeln("The model is rate independent: without input a")').
+
 
+prolog("writeln('%%%%%%%%%%%%%%%%%%%%%%')").
 
 
 prolog("writeln(' ')").