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        2025-10-16 18:28  193   
 gcov_test_run2.sh       2025-10-16 18:28  194   
 gcovs.tar.xz            2020-07-05 19:43  624K  
 main_EN.tex             2025-10-16 18:28   10K  
 minimize_tests1.py      2025-10-16 18:28  1.3K  
 minimize_tests2.py      2025-10-16 18:28  1.6K  
 pick_lines_from_test.py 2021-02-14 02:48  336