Index of /tmp/unit_clauses

 Name                       Last modified      Size  Description
 Parent Directory                                -   
 SAT_lib.MOLS2_order6.cnf   2022-02-08 13:44  534K  
 SAT_lib.MOLS2_order6.lrat  2022-02-08 13:47   50M  
 SAT_lib.MOLS2_order6.out   2022-02-08 13:47  1.8K  
 SAT_lib.MOLS2_order6.proof 2022-02-08 13:46   16M

Apache/2.4.52 (Ubuntu) Server at yurichev.com Port 443