Index of /~mptp/7.13.01_4.181.1147/mptp/problems_small_consist/lopclset
Name
Last modified
Size
Description
Parent Directory
-
lopclset__l35_lopclset
2013-09-04 13:02
32K
lopclset__l43_lopclset
2013-09-04 13:02
37K
lopclset__t1_lopclset
2013-09-04 13:02
16K
lopclset__t2_lopclset
2013-09-04 13:02
16K
lopclset__t3_lopclset
2013-09-04 13:02
16K
lopclset__t4_lopclset
2013-09-04 13:02
32K
lopclset__t5_lopclset
2013-09-04 13:02
31K
lopclset__t6_lopclset
2013-09-04 13:02
17K
lopclset__t7_lopclset
2013-09-04 13:02
18K
lopclset__t8_lopclset
2013-09-04 13:02
18K
lopclset__t9_lopclset
2013-09-04 13:02
40K
lopclset__t10_lopclset
2013-09-04 13:02
38K
lopclset__t11_lopclset
2013-09-04 13:02
38K
lopclset__t12_lopclset
2013-09-04 13:02
29K
lopclset__t13_lopclset
2013-09-04 13:02
34K
lopclset__t14_lopclset
2013-09-04 13:02
33K
lopclset__t15_lopclset
2013-09-04 13:02
18K
lopclset__t16_lopclset
2013-09-04 13:02
18K
lopclset__t17_lopclset
2013-09-04 13:02
19K
lopclset__t18_lopclset
2013-09-04 13:02
17K
lopclset__t19_lopclset
2013-09-04 13:02
27K
lopclset__t20_lopclset
2013-09-04 13:02
28K
lopclset__t21_lopclset
2013-09-04 13:02
29K
lopclset__t22_lopclset
2013-09-04 13:02
25K
lopclset__t23_lopclset
2013-09-04 13:02
28K
lopclset__t24_lopclset
2013-09-04 13:02
25K
lopclset__t25_lopclset
2013-09-04 13:02
27K
lopclset__t26_lopclset
2013-09-04 13:02
40K
lopclset__t27_lopclset
2013-09-04 13:02
6.3K
lopclset__t28_lopclset
2013-09-04 13:02
38K
lopclset__t29_lopclset
2013-09-04 13:02
16K
lopclset__t30_lopclset
2013-09-04 13:02
25K
lopclset__t31_lopclset
2013-09-04 13:02
26K
lopclset__t32_lopclset
2013-09-04 13:02
66K
lopclset__t33_lopclset
2013-09-04 13:02
74K
lopclset__t34_lopclset
2013-09-04 13:02
39K
lopclset__t35_lopclset
2013-09-04 13:02
38K
lopclset__t36_lopclset
2013-09-04 13:02
35K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80