Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_from/dilworth

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]dilworth__e1_55_1_12017-01-13 00:04 1.7K 
[   ]dilworth__e1_55_2_12017-01-13 00:04 1.7K 
[   ]dilworth__e2_1_12017-01-13 00:04 58K 
[   ]dilworth__e2_942017-01-13 00:04 80K 
[   ]dilworth__e3_85_1_22017-01-13 00:04 88K 
[   ]dilworth__e3_86_1_22017-01-13 00:04 79K 
[   ]dilworth__e3_93_1_22017-01-13 00:04 89K 
[   ]dilworth__e3_1002017-01-13 00:04 73K 
[   ]dilworth__e3_1022017-01-13 00:04 64K 
[   ]dilworth__e4_98_1_2_1_22017-01-13 00:04 93K 
[   ]dilworth__e4_99_1_22017-01-13 00:04 86K 
[   ]dilworth__e5_1_12017-01-13 00:04 61K 
[   ]dilworth__e6_34_1_12017-01-13 00:04 75K 
[   ]dilworth__e6_42_1_12017-01-13 00:04 75K 
[   ]dilworth__e6_69_1_12017-01-13 00:04 86K 
[   ]dilworth__e6_70_1_12017-01-13 00:04 92K 
[   ]dilworth__e6_99_1_2_1_1_2_22017-01-13 00:04 112K 
[   ]dilworth__e41_99_1_2_1_1_2_22017-01-13 00:04 97K 

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