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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]relat_2__t31_relat_22025-09-11 18:14 8.4K 
[   ]relat_2__t30_relat_22025-09-11 18:13 11K 
[   ]relat_2__t28_relat_22025-09-11 18:13 16K 
[   ]relat_2__t27_relat_22025-09-11 18:12 11K 
[   ]relat_2__t22_relat_22025-09-11 18:11 15K 
[   ]relat_2__t13_relat_22025-09-11 18:10 8.3K 
[   ]relat_2__t12_relat_22025-09-11 18:10 9.1K 
[   ]relat_2__t4_relat_22025-09-11 18:09 7.3K 
[   ]relat_2__t3_relat_22025-09-11 18:08 6.8K 
[   ]relat_2__t2_relat_22025-09-11 18:08 9.8K 
[   ]relat_2__t1_relat_22025-09-11 18:07 9.7K 

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