Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/xcmplx_0

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]xcmplx_0__l3_xcmplx_02025-09-12 05:23 9.4K 
[   ]xcmplx_0__l4_xcmplx_02025-09-12 05:24 14K 
[   ]xcmplx_0__l5_xcmplx_02025-09-12 05:24 10K 
[   ]xcmplx_0__l6_xcmplx_02025-09-12 05:25 9.1K 
[   ]xcmplx_0__l7_xcmplx_02025-09-12 05:26 13K 
[   ]xcmplx_0__l10_xcmplx_02025-09-12 05:28 22K 
[   ]xcmplx_0__l15_xcmplx_02025-09-12 05:29 14K 
[   ]xcmplx_0__l16_xcmplx_02025-09-12 05:26 9.4K 
[   ]xcmplx_0__l17_xcmplx_02025-09-12 05:27 22K 

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