Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/mazurulm
Name
Last modified
Size
Description
Parent Directory
-
mazurulm__l1_mazurulm
2016-03-08 13:07
43K
mazurulm__l2_mazurulm
2016-03-08 13:07
90K
mazurulm__l17_mazurulm
2016-03-08 13:07
60K
mazurulm__l20_mazurulm
2016-03-08 13:07
75K
mazurulm__l32_mazurulm
2017-01-05 20:54
79K
mazurulm__l33_mazurulm
2017-01-05 20:54
91K
mazurulm__l34_mazurulm
2017-01-05 20:54
198K
mazurulm__l35_mazurulm
2017-01-05 20:54
193K
mazurulm__l37_mazurulm
2016-03-08 13:07
61K
mazurulm__l38_mazurulm
2016-03-08 13:07
233K
mazurulm__l39_mazurulm
2016-03-08 13:07
361K
mazurulm__l40_mazurulm
2016-03-08 13:07
366K
mazurulm__t1_mazurulm
2016-03-08 13:07
46K
mazurulm__t2_mazurulm
2016-03-08 13:07
48K
mazurulm__t3_mazurulm
2016-03-08 13:07
57K
mazurulm__t4_mazurulm
2016-03-08 13:07
44K
mazurulm__t5_mazurulm
2016-03-08 13:07
71K
mazurulm__t6_mazurulm
2016-03-08 13:07
48K
mazurulm__t7_mazurulm
2016-03-08 13:07
66K
mazurulm__t8_mazurulm
2016-03-08 13:07
63K
mazurulm__t9_mazurulm
2016-03-08 13:07
56K
mazurulm__t10_mazurulm
2016-03-08 13:07
65K
mazurulm__t11_mazurulm
2016-03-08 13:07
63K
mazurulm__t12_mazurulm
2016-03-08 13:07
57K
mazurulm__t13_mazurulm
2016-03-08 13:07
73K
mazurulm__t14_mazurulm
2016-03-08 13:07
87K
mazurulm__t15_mazurulm
2016-03-08 13:07
77K
mazurulm__t16_mazurulm
2016-03-08 13:07
94K
mazurulm__t17_mazurulm
2016-03-08 13:07
80K
mazurulm__t18_mazurulm
2016-03-08 13:07
62K
mazurulm__t19_mazurulm
2016-03-08 13:07
67K
mazurulm__t20_mazurulm
2016-03-08 13:07
56K
mazurulm__t21_mazurulm
2016-03-08 13:07
59K
mazurulm__t22_mazurulm
2016-03-08 13:07
73K
mazurulm__t23_mazurulm
2016-03-08 13:07
79K
mazurulm__t24_mazurulm
2016-03-08 13:07
80K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80