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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]mycielsk__e2_72017-01-05 21:08 33K 
[   ]mycielsk__e2_10_1_12017-01-05 21:08 35K 
[   ]mycielsk__e2_83_1_12017-01-05 21:08 71K 
[   ]mycielsk__e3_34_1_22017-01-05 21:08 50K 
[   ]mycielsk__e3_35_1_22017-01-05 21:08 50K 
[   ]mycielsk__e3_81_1_1_1_22017-01-05 21:08 63K 
[   ]mycielsk__e3_85_1_12017-01-05 21:08 64K 
[   ]mycielsk__e3_86_1_12017-01-05 21:08 65K 
[   ]mycielsk__e4_11_1_22017-01-05 21:08 36K 
[   ]mycielsk__e4_16_1_1_1_22017-01-05 21:08 28K 
[   ]mycielsk__e4_24_1_1_1_22017-01-05 21:08 28K 
[   ]mycielsk__e4_56_1_22017-01-05 21:08 39K 
[   ]mycielsk__e4_81_12017-01-05 21:08 65K 
[   ]mycielsk__e5_19_1_12017-01-05 21:08 37K 
[   ]mycielsk__e5_27_1_12017-01-05 21:08 37K 
[   ]mycielsk__e5_872017-01-05 21:08 68K 
[   ]mycielsk__e6_12_1_22017-01-05 21:08 48K 
[   ]mycielsk__e7_12_1_2_12017-01-05 21:08 47K 
[   ]mycielsk__e9_43_1_12017-01-05 21:08 60K 
[   ]mycielsk__e9_44_1_12017-01-05 21:08 62K 
[   ]mycielsk__e9_83_1_12017-01-05 21:08 67K 
[   ]mycielsk__e10_822017-01-05 21:08 68K 
[   ]mycielsk__e20_56_1_22017-01-05 21:08 34K 

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