Index of /viktor/fsen09_scp_examples

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 random_cleaned_reduc..> 2010-06-01 21:49  2.4K  
 random_cleaned_reduc..> 2010-06-01 21:49  1.1K  
 random_cleaned_reduc..> 2010-06-01 21:49  127   
 random_cleaned_reduc..> 2010-06-01 21:49  216   
 random_cleaned.smv      2010-06-01 21:49  416   
 random.smv              2010-06-01 21:49  524   
 lift_3_2_conj_reduce..> 2010-06-01 21:49  174   
 lift_3_2_conj_reduce..> 2010-06-01 22:00  1.2K  
 lift_3_2_conj_reduce..> 2010-06-01 21:49  180   
 lift_3_2_conj_reduce..> 2010-06-01 21:49  206   
 lift_3_2_conj.smv       2010-06-01 21:49  1.3K  
 lift_3_2.smv            2010-06-01 21:49  1.0K  
 lift_3_1_conj_reduce..> 2010-06-01 21:49  181   
 lift_3_1_conj.smv       2010-06-01 21:49  1.3K  
 lift_3_1.smv            2010-06-01 21:49  1.0K