Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_from.bad_dt_f/ordinal3

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]ordinal3__e1_38_1_12017-01-05 21:23 4.7K 
[   ]ordinal3__e1_38_2_12017-01-05 21:23 4.7K 
[   ]ordinal3__e1_38_3_12017-01-05 21:23 4.7K 
[   ]ordinal3__e1_38_4_12017-01-05 21:23 4.7K 
[   ]ordinal3__e1_752017-01-05 21:23 9.3K 
[   ]ordinal3__e3_40_12017-01-05 21:23 4.4K 
[   ]ordinal3__e3_412017-01-05 21:23 4.4K 
[   ]ordinal3__e3_50_2_12017-01-05 21:23 4.4K 
[   ]ordinal3__e3_77_2_12017-01-05 21:23 5.8K 
[   ]ordinal3__e4_52017-01-05 21:23 2.1K 
[   ]ordinal3__e4_262017-01-05 21:23 8.9K 
[   ]ordinal3__e4_29_22017-01-05 21:23 4.6K 
[   ]ordinal3__e4_46_22017-01-05 21:23 4.4K 
[   ]ordinal3__e4_79_1_12017-01-05 21:23 6.3K 
[   ]ordinal3__e4_80_1_12017-01-05 21:23 6.5K 
[   ]ordinal3__e5_282017-01-05 21:23 4.4K 
[   ]ordinal3__e5_292017-01-05 21:23 8.0K 
[   ]ordinal3__e5_462017-01-05 21:23 8.6K 
[   ]ordinal3__e5_472017-01-05 21:23 8.7K 
[   ]ordinal3__e5_47_1_12017-01-05 21:23 3.9K 
[   ]ordinal3__e5_79_1_1_12017-01-05 21:23 6.5K 
[   ]ordinal3__e5_80_1_1_12017-01-05 21:23 8.7K 
[   ]ordinal3__e6_29_22017-01-05 21:23 4.6K 
[   ]ordinal3__e6_502017-01-05 21:23 7.6K 
[   ]ordinal3__e8_26_22017-01-05 21:23 3.6K 
[   ]ordinal3__e10_26_22017-01-05 21:23 4.4K 
[   ]ordinal3__e10_46_22017-01-05 21:23 4.4K 

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