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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]lopclset__l35_lopclset2017-01-05 20:54 50K 
[ ]lopclset__l43_lopclset2017-01-05 20:54 59K 
[ ]lopclset__t1_lopclset2017-01-05 20:54 25K 
[ ]lopclset__t2_lopclset2017-01-05 20:54 25K 
[ ]lopclset__t3_lopclset2017-01-05 20:54 25K 
[ ]lopclset__t4_lopclset2017-01-05 20:54 48K 
[ ]lopclset__t5_lopclset2017-01-05 20:54 48K 
[ ]lopclset__t6_lopclset2017-01-05 20:54 26K 
[ ]lopclset__t7_lopclset2017-01-05 20:54 28K 
[ ]lopclset__t8_lopclset2017-01-05 20:54 29K 
[ ]lopclset__t9_lopclset2017-01-05 20:54 64K 
[ ]lopclset__t10_lopclset2017-01-05 20:54 58K 
[ ]lopclset__t11_lopclset2017-01-05 20:54 57K 
[ ]lopclset__t12_lopclset2017-01-05 20:54 45K 
[ ]lopclset__t13_lopclset2017-01-05 20:54 51K 
[ ]lopclset__t14_lopclset2017-01-05 20:54 50K 
[ ]lopclset__t15_lopclset2017-01-05 20:54 28K 
[ ]lopclset__t16_lopclset2017-01-05 20:54 28K 
[ ]lopclset__t17_lopclset2017-01-05 20:54 30K 
[ ]lopclset__t18_lopclset2016-03-08 13:07 28K 
[ ]lopclset__t19_lopclset2016-03-08 13:07 44K 
[ ]lopclset__t20_lopclset2016-03-08 13:07 46K 
[ ]lopclset__t21_lopclset2016-03-08 13:07 46K 
[ ]lopclset__t22_lopclset2017-01-05 20:54 39K 
[ ]lopclset__t23_lopclset2017-01-05 20:54 44K 
[ ]lopclset__t24_lopclset2017-01-05 20:54 38K 
[ ]lopclset__t25_lopclset2017-01-05 20:54 42K 
[ ]lopclset__t26_lopclset2017-01-05 20:54 62K 
[ ]lopclset__t27_lopclset2016-03-08 13:07 11K 
[ ]lopclset__t28_lopclset2016-03-08 13:07 60K 
[ ]lopclset__t29_lopclset2016-03-08 13:07 26K 
[ ]lopclset__t30_lopclset2017-01-05 20:54 39K 
[ ]lopclset__t31_lopclset2017-01-05 20:54 42K 
[ ]lopclset__t32_lopclset2017-01-05 20:54 100K 
[ ]lopclset__t33_lopclset2017-01-05 20:54 115K 
[ ]lopclset__t34_lopclset2017-01-05 20:54 62K 
[ ]lopclset__t35_lopclset2017-01-05 20:54 60K 
[ ]lopclset__t36_lopclset2017-01-05 20:54 55K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80