Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_from_newthf/scm_halt

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]scm_halt__t6_scm_halt2023-06-27 16:49 178K 
[   ]scm_halt__t10_scm_halt2023-06-27 16:49 164K 
[   ]scm_halt__t11_scm_halt2023-06-27 16:49 172K 
[   ]scm_halt__t12_scm_halt2023-06-27 16:49 181K 
[   ]scm_halt__t13_scm_halt2023-06-27 16:49 166K 
[   ]scm_halt__t14_scm_halt2023-06-27 16:49 167K 
[   ]scm_halt__t16_scm_halt2023-06-27 16:49 226K 
[   ]scm_halt__t17_scm_halt2023-06-27 16:49 161K 
[   ]scm_halt__t27_scm_halt2023-06-27 16:49 114K 
[   ]scm_halt__t55_scm_halt2023-06-27 16:49 128K 
[   ]scm_halt__t57_scm_halt2023-06-27 16:49 130K 
[   ]scm_halt__t60_scm_halt2023-06-27 16:49 504K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80