Index of /tmp/eden

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 SAT_lib.eden.cnf        2022-02-07 13:56  257K  
 SAT_lib.eden.lrat       2022-02-07 13:57   92K  
 SAT_lib.eden.out        2022-02-07 13:57  1.7K  
 SAT_lib.eden.proof      2022-02-07 13:57   70K  
 SAT_lib.eden2.cnf       2022-02-07 14:04  172K  
 SAT_lib.eden2.lrat      2022-02-07 14:04   59K  
 SAT_lib.eden2.out       2022-02-07 14:04  1.7K  
 SAT_lib.eden2.proof     2022-02-07 14:04   26K