Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems_small_thf.orig2021/functor3
Name
Last modified
Size
Description
Parent Directory
-
functor3__l4_functor3
2021-07-18 18:05
38K
functor3__l32_functor3
2021-07-18 18:05
75K
functor3__t1_functor3
2021-07-18 17:49
19K
functor3__t2_functor3
2021-07-18 17:49
64K
functor3__t3_functor3
2021-07-18 17:49
67K
functor3__t4_functor3
2021-07-18 17:50
61K
functor3__t5_functor3
2021-07-18 17:50
65K
functor3__t6_functor3
2021-07-18 17:50
64K
functor3__t7_functor3
2021-07-18 17:51
70K
functor3__t8_functor3
2021-07-18 17:51
71K
functor3__t9_functor3
2021-07-18 17:52
71K
functor3__t10_functor3
2021-07-18 17:52
51K
functor3__t11_functor3
2021-07-18 17:52
56K
functor3__t12_functor3
2021-07-18 17:53
55K
functor3__t13_functor3
2021-07-18 17:53
64K
functor3__t14_functor3
2021-07-18 17:54
61K
functor3__t15_functor3
2021-07-18 17:54
59K
functor3__t16_functor3
2021-07-18 17:54
62K
functor3__t17_functor3
2021-07-18 17:55
61K
functor3__t18_functor3
2021-07-18 17:55
61K
functor3__t19_functor3
2021-07-18 17:55
62K
functor3__t20_functor3
2021-07-18 17:56
59K
functor3__t21_functor3
2021-07-18 17:56
58K
functor3__t22_functor3
2021-07-18 17:57
71K
functor3__t23_functor3
2021-07-18 17:57
65K
functor3__t24_functor3
2021-07-18 17:57
65K
functor3__t25_functor3
2021-07-18 17:58
63K
functor3__t26_functor3
2021-07-18 17:58
63K
functor3__t27_functor3
2021-07-18 17:59
69K
functor3__t28_functor3
2021-07-18 17:59
70K
functor3__t29_functor3
2021-07-18 17:59
68K
functor3__t30_functor3
2021-07-18 17:48
62K
functor3__t31_functor3
2021-07-18 18:00
76K
functor3__t32_functor3
2021-07-18 18:00
56K
functor3__t33_functor3
2021-07-18 18:01
55K
functor3__t34_functor3
2021-07-18 18:01
57K
functor3__t35_functor3
2021-07-18 18:01
73K
functor3__t36_functor3
2021-07-18 18:02
72K
functor3__t37_functor3
2021-07-18 18:02
75K
functor3__t38_functor3
2021-07-18 18:03
48K
functor3__t39_functor3
2021-07-18 18:03
62K
functor3__t40_functor3
2021-07-18 18:04
62K
functor3__t41_functor3
2021-07-18 18:04
55K
functor3__t42_functor3
2021-07-18 18:04
61K
functor3__t43_functor3
2021-07-18 18:05
53K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80