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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]scm_halt__t6_scm_halt2023-06-27 17:19 179K 
[   ]scm_halt__t10_scm_halt2023-06-27 17:19 164K 
[   ]scm_halt__t11_scm_halt2023-06-27 17:19 172K 
[   ]scm_halt__t12_scm_halt2023-06-27 17:19 181K 
[   ]scm_halt__t13_scm_halt2023-06-27 17:19 167K 
[   ]scm_halt__t14_scm_halt2023-06-27 17:19 167K 
[   ]scm_halt__t16_scm_halt2023-06-27 17:19 227K 
[   ]scm_halt__t17_scm_halt2023-06-27 17:19 162K 
[   ]scm_halt__t27_scm_halt2023-06-27 17:19 114K 
[   ]scm_halt__t55_scm_halt2023-06-27 17:19 128K 
[   ]scm_halt__t57_scm_halt2023-06-27 17:19 131K 
[   ]scm_halt__t60_scm_halt2023-06-27 17:19 511K 

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