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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]abcmiz_1__e1_19_1_12017-01-05 21:14 70K 
[ ]abcmiz_1__e1_282017-01-05 21:14 67K 
[ ]abcmiz_1__e1_41_1_12017-01-05 21:14 83K 
[ ]abcmiz_1__e1_74_1_12017-01-05 21:14 95K 
[ ]abcmiz_1__e1_78_1_22017-01-05 21:14 83K 
[ ]abcmiz_1__e1_235_12017-01-05 21:14 157K 
[ ]abcmiz_1__e1_246_1_2_52017-01-05 21:14 170K 
[ ]abcmiz_1__e1_272_1_12017-01-05 21:14 149K 
[ ]abcmiz_1__e2_166_1_22017-01-05 21:14 133K 
[ ]abcmiz_1__e2_206_1_22017-01-05 21:14 77K 
[ ]abcmiz_1__e2_242_1_12017-01-05 21:14 137K 
[ ]abcmiz_1__e2_2632017-01-05 21:14 147K 
[ ]abcmiz_1__e2_269_1_12017-01-05 21:14 132K 
[ ]abcmiz_1__e3_74_1_12017-01-05 21:14 75K 
[ ]abcmiz_1__e3_164_1_12017-01-05 21:14 129K 
[ ]abcmiz_1__e3_164_1_1_22017-01-05 21:14 124K 
[ ]abcmiz_1__e4_92017-01-05 21:14 178K 
[ ]abcmiz_1__e4_209_12017-01-05 21:14 174K 
[ ]abcmiz_1__e5_212017-01-05 21:14 79K 
[ ]abcmiz_1__e5_2302017-01-05 21:14 171K 
[ ]abcmiz_1__e5_246_1_12017-01-05 21:14 174K 
[ ]abcmiz_1__e5_2512017-01-05 21:14 163K 
[ ]abcmiz_1__e6_202017-01-05 21:14 75K 
[ ]abcmiz_1__e6_2642017-01-05 21:14 168K 
[ ]abcmiz_1__e6_2742017-01-05 21:14 165K 
[ ]abcmiz_1__e7_2192017-01-05 21:14 107K 
[ ]abcmiz_1__e7_222_12017-01-05 21:14 128K 
[ ]abcmiz_1__e8_242017-01-05 21:14 76K 
[ ]abcmiz_1__e9_235_1_12017-01-05 21:14 168K 
[ ]abcmiz_1__e10_252017-01-05 21:14 74K 
[ ]abcmiz_1__e10_2302017-01-05 21:14 146K 
[ ]abcmiz_1__e11_19_1_22017-01-05 21:14 83K 
[ ]abcmiz_1__e12_292017-01-05 21:14 74K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80