Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/bcialg_6

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]bcialg_6__l18_bcialg_62017-01-05 20:54 40K 
[ ]bcialg_6__l19_bcialg_62017-01-05 20:54 42K 
[ ]bcialg_6__l27_bcialg_62017-01-05 20:54 80K 
[ ]bcialg_6__l66_bcialg_62016-03-08 13:04 32K 
[ ]bcialg_6__l70_bcialg_62017-01-05 20:54 41K 
[ ]bcialg_6__t1_bcialg_62017-01-05 20:54 32K 
[ ]bcialg_6__t2_bcialg_62016-03-08 13:04 35K 
[ ]bcialg_6__t3_bcialg_62016-03-08 13:04 35K 
[ ]bcialg_6__t4_bcialg_62016-03-08 13:04 36K 
[ ]bcialg_6__t5_bcialg_62016-03-08 13:04 39K 
[ ]bcialg_6__t6_bcialg_62016-03-08 13:04 39K 
[ ]bcialg_6__t7_bcialg_62016-03-08 13:04 37K 
[ ]bcialg_6__t8_bcialg_62017-01-05 20:54 33K 
[ ]bcialg_6__t9_bcialg_62016-03-08 13:04 46K 
[ ]bcialg_6__t10_bcialg_62017-01-05 20:54 46K 
[ ]bcialg_6__t11_bcialg_62017-01-05 20:54 38K 
[ ]bcialg_6__t12_bcialg_62017-01-05 20:54 79K 
[ ]bcialg_6__t13_bcialg_62017-01-05 20:54 65K 
[ ]bcialg_6__t14_bcialg_62017-01-05 20:54 36K 
[ ]bcialg_6__t15_bcialg_62017-01-05 20:54 42K 
[ ]bcialg_6__t16_bcialg_62017-01-05 20:54 35K 
[ ]bcialg_6__t17_bcialg_62017-01-05 20:54 39K 
[ ]bcialg_6__t18_bcialg_62016-03-08 13:04 37K 
[ ]bcialg_6__t19_bcialg_62017-01-05 20:54 33K 
[ ]bcialg_6__t20_bcialg_62017-01-05 20:54 43K 
[ ]bcialg_6__t21_bcialg_62017-01-05 20:54 34K 
[ ]bcialg_6__t22_bcialg_62017-01-05 20:54 81K 
[ ]bcialg_6__t23_bcialg_62017-01-05 20:54 82K 
[ ]bcialg_6__t24_bcialg_62017-01-05 20:54 55K 
[ ]bcialg_6__t25_bcialg_62017-01-05 20:54 33K 
[ ]bcialg_6__t26_bcialg_62017-01-05 20:54 35K 
[ ]bcialg_6__t27_bcialg_62017-01-05 20:54 43K 
[ ]bcialg_6__t28_bcialg_62017-01-05 20:54 40K 
[ ]bcialg_6__t29_bcialg_62017-01-05 20:54 61K 
[ ]bcialg_6__t30_bcialg_62017-01-05 20:54 65K 
[ ]bcialg_6__t31_bcialg_62017-01-05 20:54 36K 
[ ]bcialg_6__t32_bcialg_62017-01-05 20:54 37K 
[ ]bcialg_6__t33_bcialg_62017-01-05 20:54 51K 
[ ]bcialg_6__t34_bcialg_62016-03-08 13:04 31K 
[ ]bcialg_6__t35_bcialg_62016-03-08 13:04 31K 
[ ]bcialg_6__t36_bcialg_62016-03-08 13:04 31K 
[ ]bcialg_6__t37_bcialg_62017-01-05 20:54 35K 
[ ]bcialg_6__t38_bcialg_62016-03-08 13:04 27K 
[ ]bcialg_6__t39_bcialg_62016-03-08 13:04 33K 
[ ]bcialg_6__t40_bcialg_62016-03-08 13:04 32K 
[ ]bcialg_6__t41_bcialg_62017-01-05 20:54 36K 
[ ]bcialg_6__t42_bcialg_62016-03-08 13:04 26K 
[ ]bcialg_6__t43_bcialg_62016-03-08 13:04 32K 
[ ]bcialg_6__t44_bcialg_62017-01-05 20:54 36K 
[ ]bcialg_6__t45_bcialg_62016-03-08 13:04 33K 
[ ]bcialg_6__t46_bcialg_62016-03-08 13:04 35K 
[ ]bcialg_6__t47_bcialg_62016-03-08 13:04 39K 
[ ]bcialg_6__t48_bcialg_62016-03-08 13:04 37K 
[ ]bcialg_6__t49_bcialg_62016-03-08 13:04 43K 
[ ]bcialg_6__t50_bcialg_62017-01-05 20:54 64K 
[ ]bcialg_6__t51_bcialg_62017-01-05 20:54 52K 
[ ]bcialg_6__t52_bcialg_62017-01-05 20:54 50K 
[ ]bcialg_6__t53_bcialg_62017-01-05 20:54 58K 
[ ]bcialg_6__t54_bcialg_62017-01-05 20:54 56K 
[ ]bcialg_6__t55_bcialg_62017-01-05 20:54 53K 
[ ]bcialg_6__t56_bcialg_62017-01-05 20:54 63K 
[ ]bcialg_6__t57_bcialg_62016-03-08 13:04 36K 
[ ]bcialg_6__t58_bcialg_62017-01-05 20:54 71K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80