Index of /~mptp/1147/MPTP2/problems_thf_tls/lopclset
Name
Last modified
Size
Description
Parent Directory
-
lopclset__l35_lopclset
2017-01-12 22:17
50K
lopclset__l43_lopclset
2017-01-12 22:17
59K
lopclset__t1_lopclset
2017-01-12 22:17
25K
lopclset__t2_lopclset
2017-01-12 22:17
25K
lopclset__t3_lopclset
2017-01-12 22:17
25K
lopclset__t4_lopclset
2017-01-12 22:17
48K
lopclset__t5_lopclset
2017-01-12 22:17
48K
lopclset__t6_lopclset
2017-01-12 22:17
26K
lopclset__t7_lopclset
2017-01-12 22:17
28K
lopclset__t8_lopclset
2017-01-12 22:17
29K
lopclset__t9_lopclset
2017-01-12 22:17
64K
lopclset__t10_lopclset
2017-01-12 22:17
58K
lopclset__t11_lopclset
2017-01-12 22:17
57K
lopclset__t12_lopclset
2017-01-12 22:17
45K
lopclset__t13_lopclset
2017-01-12 22:17
51K
lopclset__t14_lopclset
2017-01-12 22:17
50K
lopclset__t15_lopclset
2017-01-12 22:17
28K
lopclset__t16_lopclset
2017-01-12 22:17
28K
lopclset__t17_lopclset
2017-01-12 22:17
30K
lopclset__t18_lopclset
2017-01-12 22:17
28K
lopclset__t19_lopclset
2017-01-12 22:17
44K
lopclset__t20_lopclset
2017-01-12 22:17
46K
lopclset__t21_lopclset
2017-01-12 22:17
46K
lopclset__t22_lopclset
2017-01-12 22:17
39K
lopclset__t23_lopclset
2017-01-12 22:17
44K
lopclset__t24_lopclset
2017-01-12 22:17
38K
lopclset__t25_lopclset
2017-01-12 22:17
42K
lopclset__t26_lopclset
2017-01-12 22:17
62K
lopclset__t27_lopclset
2017-01-12 22:17
11K
lopclset__t28_lopclset
2017-01-12 22:17
60K
lopclset__t29_lopclset
2017-01-12 22:17
26K
lopclset__t30_lopclset
2017-01-12 22:17
39K
lopclset__t31_lopclset
2017-01-12 22:17
42K
lopclset__t32_lopclset
2017-01-12 22:17
100K
lopclset__t33_lopclset
2017-01-12 22:17
116K
lopclset__t34_lopclset
2017-01-12 22:17
62K
lopclset__t35_lopclset
2017-01-12 22:17
60K
lopclset__t36_lopclset
2017-01-12 22:17
55K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80