Index of /~mptp/1147/mptp/problems_thf_tls/yellow21
Name
Last modified
Size
Description
Parent Directory
-
yellow21__l15_yellow21
2017-01-12 21:59
15K
yellow21__t19_yellow21
2017-01-12 21:59
59K
yellow21__t18_yellow21
2017-01-12 21:59
59K
yellow21__t17_yellow21
2017-01-12 21:59
63K
yellow21__t16_yellow21
2017-01-12 21:59
62K
yellow21__t15_yellow21
2017-01-12 21:59
64K
yellow21__t14_yellow21
2017-01-12 21:59
55K
yellow21__t13_yellow21
2017-01-12 21:59
65K
yellow21__t12_yellow21
2017-01-12 21:59
63K
yellow21__t11_yellow21
2017-01-12 21:59
50K
yellow21__t10_yellow21
2017-01-12 21:59
54K
yellow21__t9_yellow21
2017-01-12 21:59
43K
yellow21__t8_yellow21
2017-01-12 21:59
40K
yellow21__t7_yellow21
2017-01-12 21:59
43K
yellow21__t6_yellow21
2017-01-12 21:59
16K
yellow21__t5_yellow21
2017-01-12 21:59
61K
yellow21__t4_yellow21
2017-01-12 21:59
65K
yellow21__t3_yellow21
2017-01-12 21:59
49K
yellow21__t2_yellow21
2017-01-12 21:59
35K
yellow21__t1_yellow21
2017-01-12 21:59
23K
yellow21__s10_yellow21
2017-01-12 21:59
67K
yellow21__s9_yellow21
2017-01-12 21:59
60K
yellow21__s8_yellow21
2017-01-12 21:59
61K
yellow21__s7_yellow21
2017-01-12 21:59
80K
yellow21__s6_yellow21
2017-01-12 21:59
80K
yellow21__s5_yellow21
2017-01-12 21:59
65K
yellow21__s4_yellow21
2017-01-12 21:59
51K
yellow21__s3_yellow21
2017-01-12 21:59
76K
yellow21__s2_yellow21
2017-01-12 21:59
61K
yellow21__s1_yellow21
2017-01-12 21:59
70K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80