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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]clopban3__l50_clopban32016-03-08 13:04 30K 
[ ]clopban3__l51_clopban32016-03-08 13:04 49K 
[ ]clopban3__l52_clopban32016-03-08 13:04 58K 
[ ]clopban3__t1_clopban32016-03-08 13:04 53K 
[ ]clopban3__t2_clopban32016-03-08 13:04 49K 
[ ]clopban3__t3_clopban32016-03-08 13:04 48K 
[ ]clopban3__t4_clopban32016-03-08 13:04 72K 
[ ]clopban3__t5_clopban32016-03-08 13:04 73K 
[ ]clopban3__t6_clopban32016-03-08 13:04 53K 
[ ]clopban3__t7_clopban32016-03-08 13:04 64K 
[ ]clopban3__t8_clopban32016-03-08 13:04 65K 
[ ]clopban3__t9_clopban32016-03-08 13:04 45K 
[ ]clopban3__t10_clopban32016-03-08 13:04 93K 
[ ]clopban3__t11_clopban32016-03-08 13:04 95K 
[ ]clopban3__t12_clopban32016-03-08 13:04 52K 
[ ]clopban3__t13_clopban32016-03-08 13:04 63K 
[ ]clopban3__t14_clopban32016-03-08 13:04 69K 
[ ]clopban3__t15_clopban32016-03-08 13:04 54K 
[ ]clopban3__t16_clopban32016-03-08 13:04 55K 
[ ]clopban3__t17_clopban32016-03-08 13:04 55K 
[ ]clopban3__t18_clopban32016-03-08 13:04 55K 
[ ]clopban3__t19_clopban32016-03-08 13:04 58K 
[ ]clopban3__t20_clopban32016-03-08 13:04 53K 
[ ]clopban3__t21_clopban32016-03-08 13:04 66K 
[ ]clopban3__t22_clopban32016-03-08 13:04 66K 
[ ]clopban3__t23_clopban32016-03-08 13:04 51K 
[ ]clopban3__t24_clopban32016-03-08 13:04 55K 
[ ]clopban3__t25_clopban32016-03-08 13:04 90K 
[ ]clopban3__t26_clopban32016-03-08 13:04 67K 
[ ]clopban3__t27_clopban32016-03-08 13:04 53K 
[ ]clopban3__t28_clopban32016-03-08 13:04 54K 
[ ]clopban3__t29_clopban32016-03-08 13:04 55K 
[ ]clopban3__t30_clopban32016-03-08 13:04 53K 
[ ]clopban3__t31_clopban32016-03-08 13:04 50K 
[ ]clopban3__t32_clopban32016-03-08 13:04 52K 
[ ]clopban3__t33_clopban32016-03-08 13:04 56K 
[ ]clopban3__t34_clopban32016-03-08 13:04 52K 
[ ]clopban3__t35_clopban32016-03-08 13:04 51K 
[ ]clopban3__t36_clopban32016-03-08 13:04 75K 
[ ]clopban3__t37_clopban32016-03-08 13:04 71K 
[ ]clopban3__t38_clopban32016-03-08 13:04 86K 
[ ]clopban3__t39_clopban32016-03-08 13:04 58K 
[ ]clopban3__t40_clopban32016-03-08 13:04 92K 
[ ]clopban3__t41_clopban32016-03-08 13:04 59K 
[ ]clopban3__t42_clopban32016-03-08 13:04 147K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80