Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/hilb10_6
Name
Last modified
Size
Description
Parent Directory
-
hilb10_6__l5_hilb10_6
2024-07-27 10:26
60K
hilb10_6__l5_hilb10_6.vout
2024-08-03 09:45
2.0K
hilb10_6__l11_hilb10_6
2024-07-27 10:27
71K
hilb10_6__l11_hilb10_6.vout
2024-08-03 06:00
2.0K
hilb10_6__l12_hilb10_6
2024-07-27 10:28
72K
hilb10_6__l12_hilb10_6.vout
2024-08-03 09:28
2.0K
hilb10_6__l13_hilb10_6
2024-07-27 10:30
43K
hilb10_6__l13_hilb10_6.vout
2024-08-03 06:11
2.0K
hilb10_6__l14_hilb10_6
2024-07-27 10:31
108K
hilb10_6__l14_hilb10_6.vout
2024-08-03 07:55
2.0K
hilb10_6__l24_hilb10_6
2024-07-27 10:33
65K
hilb10_6__l24_hilb10_6.vout
2024-08-03 06:25
6.8K
hilb10_6__l25_hilb10_6
2024-07-27 10:34
29K
hilb10_6__l25_hilb10_6.depv1
2024-08-03 10:19
85
hilb10_6__l25_hilb10_6.depvmin1
2024-08-03 10:24
85
hilb10_6__l25_hilb10_6.vmin1
2024-08-03 10:19
863
hilb10_6__l25_hilb10_6.vmin1out
2024-08-03 10:20
7.8K
hilb10_6__l25_hilb10_6.vout
2024-08-03 06:34
11K
hilb10_6__l28_hilb10_6
2024-07-27 10:35
30K
hilb10_6__l28_hilb10_6.depv1
2024-08-03 10:19
116
hilb10_6__l28_hilb10_6.depvmin1
2024-08-03 10:24
103
hilb10_6__l28_hilb10_6.vmin1
2024-08-03 10:19
1.5K
hilb10_6__l28_hilb10_6.vmin1out
2024-08-03 10:23
24K
hilb10_6__l28_hilb10_6.vout
2024-08-03 09:21
22K
hilb10_6__l29_hilb10_6
2024-07-27 10:37
111K
hilb10_6__l29_hilb10_6.vout
2024-08-03 10:16
4.7K
hilb10_6__l30_hilb10_6
2024-07-27 10:38
110K
hilb10_6__l30_hilb10_6.vout
2024-08-03 08:45
4.7K
hilb10_6__t1_hilb10_6
2024-07-27 10:19
55K
hilb10_6__t1_hilb10_6.vout
2024-08-03 06:29
7.3K
hilb10_6__t2_hilb10_6
2024-07-27 10:21
64K
hilb10_6__t2_hilb10_6.vout
2024-08-03 05:16
7.3K
hilb10_6__t3_hilb10_6
2024-07-27 10:22
65K
hilb10_6__t3_hilb10_6.vout
2024-08-03 05:25
7.3K
hilb10_6__t4_hilb10_6
2024-07-27 10:24
46K
hilb10_6__t4_hilb10_6.vout
2024-08-03 08:21
7.3K
hilb10_6__t5_hilb10_6
2024-07-27 09:31
368K
hilb10_6__t5_hilb10_6.vout
2024-08-03 09:40
6.8K
hilb10_6__t6_hilb10_6
2024-07-27 09:32
163K
hilb10_6__t6_hilb10_6.vout
2024-08-03 06:54
6.8K
hilb10_6__t7_hilb10_6
2024-07-27 09:34
74K
hilb10_6__t7_hilb10_6.vout
2024-08-03 04:56
2.0K
hilb10_6__t8_hilb10_6
2024-07-27 09:36
74K
hilb10_6__t8_hilb10_6.vout
2024-08-03 04:09
2.0K
hilb10_6__t9_hilb10_6
2024-07-27 09:37
68K
hilb10_6__t9_hilb10_6.vout
2024-08-03 05:16
7.3K
hilb10_6__t10_hilb10_6
2024-07-27 09:39
73K
hilb10_6__t10_hilb10_6.vout
2024-08-03 06:05
2.0K
hilb10_6__t11_hilb10_6
2024-07-27 09:41
294K
hilb10_6__t11_hilb10_6.vout
2024-08-03 05:48
6.8K
hilb10_6__t12_hilb10_6
2024-07-27 09:43
163K
hilb10_6__t12_hilb10_6.vout
2024-08-03 05:30
2.0K
hilb10_6__t13_hilb10_6
2024-07-27 09:45
67K
hilb10_6__t13_hilb10_6.vout
2024-08-03 09:16
2.0K
hilb10_6__t14_hilb10_6
2024-07-27 09:46
171K
hilb10_6__t14_hilb10_6.vout
2024-08-03 08:24
6.8K
hilb10_6__t15_hilb10_6
2024-07-27 09:48
69K
hilb10_6__t15_hilb10_6.vout
2024-08-03 09:49
2.0K
hilb10_6__t16_hilb10_6
2024-07-27 09:49
59K
hilb10_6__t16_hilb10_6.vout
2024-08-03 08:41
2.0K
hilb10_6__t17_hilb10_6
2024-07-27 09:51
112K
hilb10_6__t17_hilb10_6.vout
2024-08-03 07:25
2.0K
hilb10_6__t18_hilb10_6
2024-07-27 09:52
48K
hilb10_6__t18_hilb10_6.vout
2024-08-03 09:37
2.0K
hilb10_6__t19_hilb10_6
2024-07-27 09:54
69K
hilb10_6__t19_hilb10_6.vout
2024-08-03 09:27
2.0K
hilb10_6__t20_hilb10_6
2024-07-27 09:55
30K
hilb10_6__t20_hilb10_6.depv1
2024-08-03 10:19
90
hilb10_6__t20_hilb10_6.depvmin1
2024-08-03 10:24
90
hilb10_6__t20_hilb10_6.vmin1
2024-08-03 10:19
905
hilb10_6__t20_hilb10_6.vmin1out
2024-08-03 10:23
15K
hilb10_6__t20_hilb10_6.vout
2024-08-03 06:06
11K
hilb10_6__t21_hilb10_6
2024-07-27 09:57
167K
hilb10_6__t21_hilb10_6.vout
2024-08-03 08:23
4.7K
hilb10_6__t22_hilb10_6
2024-07-27 09:59
355K
hilb10_6__t22_hilb10_6.vout
2024-08-03 08:18
6.8K
hilb10_6__t23_hilb10_6
2024-07-27 10:00
46K
hilb10_6__t23_hilb10_6.vout
2024-08-03 07:02
2.0K
hilb10_6__t24_hilb10_6
2024-07-27 10:02
73K
hilb10_6__t24_hilb10_6.vout
2024-08-03 07:10
6.8K
hilb10_6__t25_hilb10_6
2024-07-27 10:03
59K
hilb10_6__t25_hilb10_6.vout
2024-08-03 08:47
2.0K
hilb10_6__t26_hilb10_6
2024-07-27 10:05
382K
hilb10_6__t26_hilb10_6.vout
2024-08-03 04:16
4.7K
hilb10_6__t27_hilb10_6
2024-07-27 10:07
386K
hilb10_6__t27_hilb10_6.vout
2024-08-03 10:07
6.8K
hilb10_6__t28_hilb10_6
2024-07-27 10:09
453K
hilb10_6__t28_hilb10_6.vout
2024-08-03 05:15
6.8K
hilb10_6__t29_hilb10_6
2024-07-27 10:11
343K
hilb10_6__t29_hilb10_6.vout
2024-08-03 04:42
4.7K
hilb10_6__t30_hilb10_6
2024-07-27 10:14
835K
hilb10_6__t30_hilb10_6.vout
2024-08-03 07:17
4.7K
hilb10_6__t31_hilb10_6
2024-07-27 10:17
690K
hilb10_6__t31_hilb10_6.vout
2024-08-03 10:13
6.8K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80