Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_from.bad_dt_f/card_fin

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]card_fin__e1_9_1_12017-01-05 21:25 81K 
[   ]card_fin__e1_21_1_12017-01-05 21:25 2.2K 
[   ]card_fin__e2_50_1_2_12017-01-05 21:25 113K 
[   ]card_fin__e2_612017-01-05 21:25 87K 
[   ]card_fin__e3_72017-01-05 21:25 91K 
[   ]card_fin__e3_50_1_22017-01-05 21:25 102K 
[   ]card_fin__e3_622017-01-05 21:25 98K 
[   ]card_fin__e4_4_1_22017-01-05 21:25 77K 
[   ]card_fin__e4_182017-01-05 21:25 80K 
[   ]card_fin__e4_642017-01-05 21:25 96K 
[   ]card_fin__e4_652017-01-05 21:25 87K 
[   ]card_fin__e4_692017-01-05 21:25 87K 
[   ]card_fin__e5_152017-01-05 21:25 113K 
[   ]card_fin__e7_22017-01-05 21:25 109K 
[   ]card_fin__e7_142017-01-05 21:25 114K 
[   ]card_fin__e7_652017-01-05 21:25 86K 
[   ]card_fin__e7_692017-01-05 21:25 93K 
[   ]card_fin__e8_67_1_1_32017-01-05 21:25 103K 
[   ]card_fin__e9_52017-01-05 21:25 110K 
[   ]card_fin__e9_46_1_12017-01-05 21:25 97K 
[   ]card_fin__e10_46_1_1_22017-01-05 21:25 80K 
[   ]card_fin__e12_7_1_1_22017-01-05 21:25 93K 
[   ]card_fin__e12_592017-01-05 21:25 109K 
[   ]card_fin__e15_4_1_2_12017-01-05 21:25 93K 
[   ]card_fin__e19_46_1_12017-01-05 21:25 98K 
[   ]card_fin__e23_682017-01-05 21:25 113K 
[   ]card_fin__e26_46_1_12017-01-05 21:25 97K 
[   ]card_fin__e35_592017-01-05 21:25 115K 

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