Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_small_consist/relat_2

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]relat_2__t1_relat_22013-09-04 12:20 5.2K 
[   ]relat_2__t2_relat_22013-09-04 12:20 5.2K 
[   ]relat_2__t3_relat_22013-09-04 12:20 3.5K 
[   ]relat_2__t4_relat_22013-09-04 12:20 3.8K 
[   ]relat_2__t12_relat_22013-09-04 12:20 5.0K 
[   ]relat_2__t13_relat_22013-09-04 12:20 4.8K 
[   ]relat_2__t22_relat_22013-09-04 12:20 9.0K 
[   ]relat_2__t27_relat_22013-09-04 12:20 5.9K 
[   ]relat_2__t28_relat_22013-09-04 12:20 9.3K 
[   ]relat_2__t30_relat_22013-09-04 12:20 6.7K 
[   ]relat_2__t31_relat_22013-09-04 12:20 4.6K 

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