Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems_small_thf.orig2021/integra6
Name
Last modified
Size
Description
Parent Directory
-
integra6__l7_integra6
2021-07-19 00:15
69K
integra6__l18_integra6
2021-07-19 00:16
275K
integra6__l20_integra6
2021-07-19 00:16
44K
integra6__l23_integra6
2021-07-19 00:17
73K
integra6__l25_integra6
2021-07-19 00:17
92K
integra6__l27_integra6
2021-07-19 00:18
75K
integra6__l28_integra6
2021-07-19 00:18
101K
integra6__l30_integra6
2021-07-19 00:19
117K
integra6__l31_integra6
2021-07-19 00:19
96K
integra6__l32_integra6
2021-07-19 00:20
102K
integra6__l34_integra6
2021-07-19 00:20
120K
integra6__l36_integra6
2021-07-19 00:21
75K
integra6__l41_integra6
2021-07-19 00:21
60K
integra6__t1_integra6
2021-07-19 00:02
50K
integra6__t2_integra6
2021-07-19 00:02
50K
integra6__t3_integra6
2021-07-19 00:02
39K
integra6__t4_integra6
2021-07-19 00:03
71K
integra6__t5_integra6
2021-07-19 00:03
66K
integra6__t6_integra6
2021-07-19 00:04
88K
integra6__t7_integra6
2021-07-19 00:04
87K
integra6__t8_integra6
2021-07-19 00:05
84K
integra6__t9_integra6
2021-07-19 00:05
83K
integra6__t10_integra6
2021-07-19 00:06
87K
integra6__t11_integra6
2021-07-19 00:06
100K
integra6__t12_integra6
2021-07-19 00:07
101K
integra6__t13_integra6
2021-07-19 00:07
73K
integra6__t14_integra6
2021-07-19 00:07
80K
integra6__t15_integra6
2021-07-19 00:08
116K
integra6__t16_integra6
2021-07-19 00:09
145K
integra6__t17_integra6
2021-07-19 00:09
121K
integra6__t18_integra6
2021-07-19 00:10
72K
integra6__t19_integra6
2021-07-19 00:10
109K
integra6__t20_integra6
2021-07-19 00:11
95K
integra6__t21_integra6
2021-07-19 00:11
104K
integra6__t22_integra6
2021-07-19 00:01
72K
integra6__t23_integra6
2021-07-19 00:01
82K
integra6__t24_integra6
2021-07-19 00:12
112K
integra6__t25_integra6
2021-07-19 00:12
105K
integra6__t26_integra6
2021-07-19 00:13
109K
integra6__t27_integra6
2021-07-19 00:13
104K
integra6__t28_integra6
2021-07-19 00:14
271K
integra6__t29_integra6
2021-07-19 00:14
72K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80