Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_from1/dilworth

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]dilworth__e1_55_1_12017-01-13 18:42 1.6K 
[   ]dilworth__e1_55_2_12017-01-13 18:42 1.6K 
[   ]dilworth__e2_1_12017-01-13 18:42 35K 
[   ]dilworth__e2_942017-01-13 18:42 49K 
[   ]dilworth__e3_85_1_22017-01-13 18:42 54K 
[   ]dilworth__e3_86_1_22017-01-13 18:42 49K 
[   ]dilworth__e3_93_1_22017-01-13 18:42 55K 
[   ]dilworth__e3_1002017-01-13 18:42 45K 
[   ]dilworth__e3_1022017-01-13 18:42 39K 
[   ]dilworth__e4_98_1_2_1_22017-01-13 18:42 58K 
[   ]dilworth__e4_99_1_22017-01-13 18:42 52K 
[   ]dilworth__e5_1_12017-01-13 18:42 38K 
[   ]dilworth__e6_34_1_12017-01-13 18:42 46K 
[   ]dilworth__e6_42_1_12017-01-13 18:42 46K 
[   ]dilworth__e6_69_1_12017-01-13 18:42 53K 
[   ]dilworth__e6_70_1_12017-01-13 18:42 58K 
[   ]dilworth__e6_99_1_2_1_1_2_22017-01-13 18:42 71K 
[   ]dilworth__e41_99_1_2_1_1_2_22017-01-13 18:42 62K 

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