Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/scmring2
Name
Last modified
Size
Description
Parent Directory
-
scmring2__l2_scmring2
2017-01-05 20:54
57K
scmring2__l3_scmring2
2017-01-05 20:54
58K
scmring2__l31_scmring2
2016-03-08 13:09
64K
scmring2__l32_scmring2
2016-03-08 13:09
65K
scmring2__l33_scmring2
2016-03-08 13:09
71K
scmring2__l34_scmring2
2016-03-08 13:09
79K
scmring2__l35_scmring2
2017-01-05 20:54
548K
scmring2__l36_scmring2
2017-01-05 20:54
563K
scmring2__l37_scmring2
2016-03-08 13:09
89K
scmring2__l38_scmring2
2016-03-08 13:09
61K
scmring2__t1_scmring2
2017-01-05 20:54
67K
scmring2__t2_scmring2
2016-03-08 13:09
40K
scmring2__t3_scmring2
2017-01-05 20:54
64K
scmring2__t4_scmring2
2017-01-05 20:54
65K
scmring2__t5_scmring2
2017-01-05 20:54
34K
scmring2__t6_scmring2
2017-01-05 20:54
63K
scmring2__t7_scmring2
2017-01-05 20:54
79K
scmring2__t8_scmring2
2017-01-05 20:54
59K
scmring2__t9_scmring2
2017-01-05 20:54
62K
scmring2__t10_scmring2
2017-01-05 20:54
64K
scmring2__t11_scmring2
2017-01-05 20:54
555K
scmring2__t12_scmring2
2017-01-05 20:54
555K
scmring2__t13_scmring2
2017-01-05 20:54
555K
scmring2__t14_scmring2
2017-01-05 20:54
555K
scmring2__t15_scmring2
2017-01-05 20:54
112K
scmring2__t16_scmring2
2017-01-05 20:54
555K
scmring2__t17_scmring2
2017-01-05 20:54
556K
scmring2__t18_scmring2
2017-01-05 20:54
141K
scmring2__t19_scmring2
2017-01-05 20:54
98K
scmring2__t20_scmring2
2016-03-08 13:09
44K
scmring2__t21_scmring2
2016-03-08 13:09
43K
scmring2__t22_scmring2
2017-01-05 20:54
68K
scmring2__t23_scmring2
2016-03-08 13:09
51K
scmring2__t24_scmring2
2016-03-08 13:09
45K
scmring2__t25_scmring2
2016-03-08 13:09
44K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80