Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_sch_np/ordinal2

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]ordinal2__s1_ordinal22016-03-08 17:47 9.7K 
[   ]ordinal2__s2_ordinal22016-03-08 17:47 9.3K 
[   ]ordinal2__s3_ordinal22016-03-08 17:47 15K 
[   ]ordinal2__s4_ordinal22016-03-08 17:47 23K 
[   ]ordinal2__s5_ordinal22016-03-08 17:47 26K 
[   ]ordinal2__s6_ordinal22016-03-08 17:47 23K 
[   ]ordinal2__s7_ordinal22016-03-08 17:47 24K 
[   ]ordinal2__s8_ordinal22016-03-08 17:47 22K 
[   ]ordinal2__s9_ordinal22016-03-08 17:47 18K 
[   ]ordinal2__s10_ordinal22016-03-08 17:47 24K 
[   ]ordinal2__s11_ordinal22016-03-08 17:47 22K 
[   ]ordinal2__s12_ordinal22016-03-08 17:47 23K 
[   ]ordinal2__s13_ordinal22016-03-08 17:47 25K 
[   ]ordinal2__s14_ordinal22016-03-08 17:47 23K 
[   ]ordinal2__s15_ordinal22016-03-08 17:47 19K 
[   ]ordinal2__s16_ordinal22016-03-08 17:47 25K 
[   ]ordinal2__s17_ordinal22016-03-08 17:47 16K 
[   ]ordinal2__s18_ordinal22016-03-08 17:47 12K 
[   ]ordinal2__s19_ordinal22016-03-08 17:47 12K 
[   ]ordinal2__s20_ordinal22016-03-08 17:47 12K 

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