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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]msualg_6__e1_14_1_12017-01-05 21:18 85K 
[   ]msualg_6__e1_14_1_22017-01-05 21:18 88K 
[   ]msualg_6__e1_18_1_12017-01-05 21:18 92K 
[   ]msualg_6__e1_44_12017-01-05 21:18 66K 
[   ]msualg_6__e1_45_12017-01-05 21:18 2.3K 
[   ]msualg_6__e1_51_1_22017-01-05 21:18 85K 
[   ]msualg_6__e1_522017-01-05 21:18 85K 
[   ]msualg_6__e1_55_1_22017-01-05 21:18 88K 
[   ]msualg_6__e1_562017-01-05 21:18 91K 
[   ]msualg_6__e1_672017-01-05 21:18 60K 
[   ]msualg_6__e1_81_1_22017-01-05 21:18 83K 
[   ]msualg_6__e1_832017-01-05 21:18 83K 
[   ]msualg_6__e2_46_1_12017-01-05 21:18 20K 
[   ]msualg_6__e4_372017-01-05 21:18 106K 
[   ]msualg_6__e4_41_12017-01-05 21:18 100K 
[   ]msualg_6__e5_502017-01-05 21:18 117K 
[   ]msualg_6__e5_542017-01-05 21:18 119K 
[   ]msualg_6__e8_42_1_12017-01-05 21:18 99K 
[   ]msualg_6__e8_722017-01-05 21:18 106K 
[   ]msualg_6__e9_752017-01-05 21:18 98K 
[   ]msualg_6__e10_24_1_22017-01-05 21:18 81K 
[   ]msualg_6__e10_25_1_12017-01-05 21:18 86K 
[   ]msualg_6__e10_32_12017-01-05 21:18 102K 
[   ]msualg_6__e10_662017-01-05 21:18 82K 
[   ]msualg_6__e17_42_1_12017-01-05 21:18 105K 
[   ]msualg_6__e18_24_1_22017-01-05 21:18 53K 
[   ]msualg_6__e26_42_1_12017-01-05 21:18 111K 

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