Index of /current_tree/MaxSxT/min_test_OpenWBO

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory - [TXT] main_EN.tex 2023-03-26 17:16 10K [TXT] pick_lines_from_test.py 2021-02-14 02:48 336 [TXT] minimize_tests2.py 2021-02-14 02:48 1.6K [TXT] minimize_tests1.py 2021-02-14 02:48 1.3K [   ] 1.wcnf 2020-07-05 19:43 9.5M [TXT] gcov_test_cmp.sh 2020-07-05 19:43 161 [TXT] gcov_test_run2.sh 2020-07-05 19:43 176 [TXT] gcov_test_run.sh 2020-07-05 19:43 175 [   ] gcovs.tar.xz 2020-07-05 19:43 624K [   ] 2.wcnf 2020-07-05 19:43 9.6M
Apache/2.4.52 (Ubuntu) Server at smt.st Port 443