Index of /current_tree/MaxSxT/min_test_OpenWBO

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 1.wcnf                  2020-07-05 19:43  9.5M  
 2.wcnf                  2020-07-05 19:43  9.6M  
 gcov_test_cmp.sh        2020-07-05 19:43  161   
 gcov_test_run.sh        2020-07-05 19:43  175   
 gcov_test_run2.sh       2020-07-05 19:43  176   
 gcovs.tar.xz            2020-07-05 19:43  624K  
 main_EN.tex             2023-03-26 17:16   10K  
 minimize_tests1.py      2021-02-14 02:48  1.3K  
 minimize_tests2.py      2021-02-14 02:48  1.6K  
 pick_lines_from_test.py 2021-02-14 02:48  336