Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/hilb10_1
Name
Last modified
Size
Description
Parent Directory
-
hilb10_1__l1_hilb10_1
2024-07-27 22:25
74K
hilb10_1__l1_hilb10_1.vout
2024-08-03 04:28
7.3K
hilb10_1__l2_hilb10_1
2024-07-27 22:26
68K
hilb10_1__l2_hilb10_1.vout
2024-08-03 04:44
7.3K
hilb10_1__l8_hilb10_1
2024-07-27 22:28
70K
hilb10_1__l8_hilb10_1.vout
2024-08-03 07:54
2.0K
hilb10_1__l19_hilb10_1
2024-07-27 22:29
36K
hilb10_1__l19_hilb10_1.depv1
2024-08-03 10:19
77
hilb10_1__l19_hilb10_1.depvmin1
2024-08-03 10:24
77
hilb10_1__l19_hilb10_1.vmin1
2024-08-03 10:20
718
hilb10_1__l19_hilb10_1.vmin1out
2024-08-03 10:20
7.5K
hilb10_1__l19_hilb10_1.vout
2024-08-03 04:46
6.3K
hilb10_1__l25_hilb10_1
2024-07-27 22:31
71K
hilb10_1__l25_hilb10_1.vout
2024-08-03 07:03
2.0K
hilb10_1__l34_hilb10_1
2024-07-27 22:33
60K
hilb10_1__l34_hilb10_1.vout
2024-08-03 08:51
2.0K
hilb10_1__l36_hilb10_1
2024-07-27 22:34
57K
hilb10_1__l36_hilb10_1.vout
2024-08-03 04:15
2.0K
hilb10_1__l39_hilb10_1
2024-07-27 22:35
40K
hilb10_1__l39_hilb10_1.depv1
2024-08-03 10:19
287
hilb10_1__l39_hilb10_1.depvmin1
2024-08-03 10:24
182
hilb10_1__l39_hilb10_1.vmin1
2024-08-03 10:20
2.7K
hilb10_1__l39_hilb10_1.vmin1out
2024-08-03 10:22
26K
hilb10_1__l39_hilb10_1.vout
2024-08-03 07:32
46K
hilb10_1__l41_hilb10_1
2024-07-27 22:37
175K
hilb10_1__l41_hilb10_1.vout
2024-08-03 04:41
4.7K
hilb10_1__l43_hilb10_1
2024-07-27 22:39
258K
hilb10_1__l43_hilb10_1.vout
2024-08-03 07:55
6.8K
hilb10_1__l44_hilb10_1
2024-07-27 22:41
447K
hilb10_1__l44_hilb10_1.vout
2024-08-03 10:06
6.8K
hilb10_1__t1_hilb10_1
2024-07-27 21:14
132K
hilb10_1__t1_hilb10_1.vout
2024-08-03 09:22
6.8K
hilb10_1__t2_hilb10_1
2024-07-27 21:17
300K
hilb10_1__t2_hilb10_1.vout
2024-08-03 08:40
6.8K
hilb10_1__t3_hilb10_1
2024-07-27 21:18
78K
hilb10_1__t3_hilb10_1.vout
2024-08-03 09:03
4.7K
hilb10_1__t4_hilb10_1
2024-07-27 21:20
86K
hilb10_1__t4_hilb10_1.vout
2024-08-03 09:22
4.7K
hilb10_1__t5_hilb10_1
2024-07-27 21:22
81K
hilb10_1__t5_hilb10_1.vout
2024-08-03 04:38
4.7K
hilb10_1__t6_hilb10_1
2024-07-27 21:24
85K
hilb10_1__t6_hilb10_1.vout
2024-08-03 09:19
4.7K
hilb10_1__t7_hilb10_1
2024-07-27 21:26
85K
hilb10_1__t7_hilb10_1.vout
2024-08-03 05:29
4.7K
hilb10_1__t8_hilb10_1
2024-07-27 21:27
108K
hilb10_1__t8_hilb10_1.vout
2024-08-03 05:38
4.7K
hilb10_1__t9_hilb10_1
2024-07-27 21:30
315K
hilb10_1__t9_hilb10_1.vout
2024-08-03 05:32
6.8K
hilb10_1__t10_hilb10_1
2024-07-27 21:32
76K
hilb10_1__t10_hilb10_1.vout
2024-08-03 09:44
2.0K
hilb10_1__t11_hilb10_1
2024-07-27 21:34
76K
hilb10_1__t11_hilb10_1.vout
2024-08-03 10:07
2.0K
hilb10_1__t12_hilb10_1
2024-07-27 21:35
37K
hilb10_1__t12_hilb10_1.depv1
2024-08-03 10:19
125
hilb10_1__t12_hilb10_1.depvmin1
2024-08-03 10:24
90
hilb10_1__t12_hilb10_1.vmin1
2024-08-03 10:20
1.1K
hilb10_1__t12_hilb10_1.vmin1out
2024-08-03 10:23
15K
hilb10_1__t12_hilb10_1.vout
2024-08-03 09:59
15K
hilb10_1__t13_hilb10_1
2024-07-27 21:37
42K
hilb10_1__t13_hilb10_1.vout
2024-08-03 08:33
2.0K
hilb10_1__t14_hilb10_1
2024-07-27 21:39
605K
hilb10_1__t14_hilb10_1.vout
2024-08-03 09:02
7.3K
hilb10_1__t15_hilb10_1
2024-07-27 21:40
173K
hilb10_1__t15_hilb10_1.vout
2024-08-03 05:44
7.3K
hilb10_1__t16_hilb10_1
2024-07-27 21:42
119K
hilb10_1__t16_hilb10_1.vout
2024-08-03 08:08
6.8K
hilb10_1__t17_hilb10_1
2024-07-27 21:44
249K
hilb10_1__t17_hilb10_1.vout
2024-08-03 09:10
2.0K
hilb10_1__t18_hilb10_1
2024-07-27 21:45
124K
hilb10_1__t18_hilb10_1.vout
2024-08-03 06:54
2.0K
hilb10_1__t19_hilb10_1
2024-07-27 21:47
83K
hilb10_1__t19_hilb10_1.vout
2024-08-03 08:53
2.0K
hilb10_1__t20_hilb10_1
2024-07-27 21:49
61K
hilb10_1__t20_hilb10_1.vout
2024-08-03 07:14
2.0K
hilb10_1__t21_hilb10_1
2024-07-27 21:50
61K
hilb10_1__t21_hilb10_1.vout
2024-08-03 09:34
2.0K
hilb10_1__t22_hilb10_1
2024-07-27 21:52
85K
hilb10_1__t22_hilb10_1.vout
2024-08-03 04:43
4.7K
hilb10_1__t23_hilb10_1
2024-07-27 21:54
78K
hilb10_1__t23_hilb10_1.vout
2024-08-03 09:13
2.0K
hilb10_1__t24_hilb10_1
2024-07-27 21:56
144K
hilb10_1__t24_hilb10_1.vout
2024-08-03 09:37
4.7K
hilb10_1__t25_hilb10_1
2024-07-27 21:58
77K
hilb10_1__t25_hilb10_1.vout
2024-08-03 05:43
2.0K
hilb10_1__t26_hilb10_1
2024-07-27 21:59
67K
hilb10_1__t26_hilb10_1.vout
2024-08-03 06:42
2.0K
hilb10_1__t27_hilb10_1
2024-07-27 22:01
103K
hilb10_1__t27_hilb10_1.vout
2024-08-03 04:47
2.0K
hilb10_1__t28_hilb10_1
2024-07-27 22:02
56K
hilb10_1__t28_hilb10_1.vout
2024-08-03 08:20
2.0K
hilb10_1__t29_hilb10_1
2024-07-27 22:04
67K
hilb10_1__t29_hilb10_1.vout
2024-08-03 08:37
2.0K
hilb10_1__t30_hilb10_1
2024-07-27 22:06
302K
hilb10_1__t30_hilb10_1.vout
2024-08-03 08:11
6.8K
hilb10_1__t31_hilb10_1
2024-07-27 22:08
79K
hilb10_1__t31_hilb10_1.vout
2024-08-03 07:26
7.3K
hilb10_1__t32_hilb10_1
2024-07-27 22:09
62K
hilb10_1__t32_hilb10_1.vout
2024-08-03 06:11
2.0K
hilb10_1__t33_hilb10_1
2024-07-27 22:11
218K
hilb10_1__t33_hilb10_1.vout
2024-08-03 06:01
6.8K
hilb10_1__t34_hilb10_1
2024-07-27 22:13
80K
hilb10_1__t34_hilb10_1.vout
2024-08-03 06:51
7.3K
hilb10_1__t35_hilb10_1
2024-07-27 22:16
286K
hilb10_1__t35_hilb10_1.vout
2024-08-03 06:01
3.7K
hilb10_1__t36_hilb10_1
2024-07-27 22:17
74K
hilb10_1__t36_hilb10_1.vout
2024-08-03 06:07
7.3K
hilb10_1__t37_hilb10_1
2024-07-27 22:19
83K
hilb10_1__t37_hilb10_1.vout
2024-08-03 05:48
7.3K
hilb10_1__t38_hilb10_1
2024-07-27 22:21
258K
hilb10_1__t38_hilb10_1.vout
2024-08-03 09:35
4.7K
hilb10_1__t39_hilb10_1
2024-07-27 22:23
165K
hilb10_1__t39_hilb10_1.vout
2024-08-03 09:16
4.7K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80