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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]bcialg_2__e1_50_1_12017-01-05 21:23 27K 
[ ]bcialg_2__e1_52_1_12017-01-05 21:23 27K 
[ ]bcialg_2__e2_72_1_12017-01-05 21:23 38K 
[ ]bcialg_2__e3_72017-01-05 21:23 31K 
[ ]bcialg_2__e3_41_1_12017-01-05 21:23 27K 
[ ]bcialg_2__e3_63_1_1_12017-01-05 21:23 35K 
[ ]bcialg_2__e3_63_1_1_22017-01-05 21:23 35K 
[ ]bcialg_2__e4_112017-01-05 21:23 31K 
[ ]bcialg_2__e5_1_1_12017-01-05 21:23 39K 
[ ]bcialg_2__e5_62017-01-05 21:23 31K 
[ ]bcialg_2__e5_82017-01-05 21:23 31K 
[ ]bcialg_2__e5_92017-01-05 21:23 31K 
[ ]bcialg_2__e5_122017-01-05 21:23 31K 
[ ]bcialg_2__e5_132017-01-05 21:23 32K 
[ ]bcialg_2__e5_142017-01-05 21:23 34K 
[ ]bcialg_2__e5_162017-01-05 21:23 36K 
[ ]bcialg_2__e5_172017-01-05 21:23 35K 
[ ]bcialg_2__e5_182017-01-05 21:23 30K 
[ ]bcialg_2__e5_202017-01-05 21:23 31K 
[ ]bcialg_2__e5_52_1_22017-01-05 21:23 28K 
[ ]bcialg_2__e6_102017-01-05 21:23 32K 
[ ]bcialg_2__e6_192017-01-05 21:23 33K 
[ ]bcialg_2__e6_222017-01-05 21:23 32K 
[ ]bcialg_2__e6_232017-01-05 21:23 31K 
[ ]bcialg_2__e7_212017-01-05 21:23 31K 
[ ]bcialg_2__e7_622017-01-05 21:23 34K 
[ ]bcialg_2__e8_1_1_1_12017-01-05 21:23 36K 
[ ]bcialg_2__e12_1_1_22017-01-05 21:23 35K 
[ ]bcialg_2__e13_52017-01-05 21:23 36K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80