Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_tls/lopclset
Name
Last modified
Size
Description
Parent Directory
-
lopclset__l35_lopclset
2017-01-13 00:36
79K
lopclset__l43_lopclset
2017-01-13 00:36
92K
lopclset__t1_lopclset
2017-01-13 00:35
39K
lopclset__t2_lopclset
2017-01-13 00:35
39K
lopclset__t3_lopclset
2017-01-13 00:35
39K
lopclset__t4_lopclset
2017-01-13 00:35
73K
lopclset__t5_lopclset
2017-01-13 00:35
72K
lopclset__t6_lopclset
2017-01-13 00:35
41K
lopclset__t7_lopclset
2017-01-13 00:35
43K
lopclset__t8_lopclset
2017-01-13 00:35
45K
lopclset__t9_lopclset
2017-01-13 00:35
98K
lopclset__t10_lopclset
2017-01-13 00:35
88K
lopclset__t11_lopclset
2017-01-13 00:35
88K
lopclset__t12_lopclset
2017-01-13 00:35
70K
lopclset__t13_lopclset
2017-01-13 00:35
82K
lopclset__t14_lopclset
2017-01-13 00:35
79K
lopclset__t15_lopclset
2017-01-13 00:35
45K
lopclset__t16_lopclset
2017-01-13 00:35
45K
lopclset__t17_lopclset
2017-01-13 00:35
48K
lopclset__t18_lopclset
2017-01-13 00:35
46K
lopclset__t19_lopclset
2017-01-13 00:35
69K
lopclset__t20_lopclset
2017-01-13 00:35
71K
lopclset__t21_lopclset
2017-01-13 00:35
72K
lopclset__t22_lopclset
2017-01-13 00:35
62K
lopclset__t23_lopclset
2017-01-13 00:35
69K
lopclset__t24_lopclset
2017-01-13 00:35
61K
lopclset__t25_lopclset
2017-01-13 00:35
67K
lopclset__t26_lopclset
2017-01-13 00:35
97K
lopclset__t27_lopclset
2017-01-13 00:35
16K
lopclset__t28_lopclset
2017-01-13 00:35
92K
lopclset__t29_lopclset
2017-01-13 00:35
41K
lopclset__t30_lopclset
2017-01-13 00:35
62K
lopclset__t31_lopclset
2017-01-13 00:35
66K
lopclset__t32_lopclset
2017-01-13 00:36
149K
lopclset__t33_lopclset
2017-01-13 00:36
172K
lopclset__t34_lopclset
2017-01-13 00:36
98K
lopclset__t35_lopclset
2017-01-13 00:36
96K
lopclset__t36_lopclset
2017-01-13 00:36
87K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80