Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/hilb10_2
Name
Last modified
Size
Description
Parent Directory
-
hilb10_2__t1_hilb10_2
2024-07-27 16:44
55K
hilb10_2__t1_hilb10_2.vout
2024-08-03 07:55
6.2K
hilb10_2__t2_hilb10_2
2024-07-27 16:46
62K
hilb10_2__t2_hilb10_2.vout
2024-08-03 05:13
6.8K
hilb10_2__t3_hilb10_2
2024-07-27 16:47
55K
hilb10_2__t3_hilb10_2.vout
2024-08-03 05:07
4.7K
hilb10_2__t4_hilb10_2
2024-07-27 16:49
76K
hilb10_2__t4_hilb10_2.vout
2024-08-03 05:12
4.7K
hilb10_2__t5_hilb10_2
2024-07-27 16:51
52K
hilb10_2__t5_hilb10_2.vout
2024-08-03 05:00
7.3K
hilb10_2__t6_hilb10_2
2024-07-27 16:52
63K
hilb10_2__t6_hilb10_2.vout
2024-08-03 08:38
7.4K
hilb10_2__t7_hilb10_2
2024-07-27 16:54
58K
hilb10_2__t7_hilb10_2.vout
2024-08-03 10:00
7.3K
hilb10_2__t8_hilb10_2
2024-07-27 16:56
68K
hilb10_2__t8_hilb10_2.vout
2024-08-03 06:06
6.8K
hilb10_2__t9_hilb10_2
2024-07-27 16:58
55K
hilb10_2__t9_hilb10_2.vout
2024-08-03 07:03
2.0K
hilb10_2__t10_hilb10_2
2024-07-27 17:00
72K
hilb10_2__t10_hilb10_2.vout
2024-08-03 06:40
7.3K
hilb10_2__t11_hilb10_2
2024-07-27 17:02
62K
hilb10_2__t11_hilb10_2.vout
2024-08-03 07:28
7.3K
hilb10_2__t12_hilb10_2
2024-07-27 17:03
63K
hilb10_2__t12_hilb10_2.vout
2024-08-03 06:44
7.3K
hilb10_2__t13_hilb10_2
2024-07-27 17:06
90K
hilb10_2__t13_hilb10_2.vout
2024-08-03 07:44
6.8K
hilb10_2__t14_hilb10_2
2024-07-27 17:08
64K
hilb10_2__t14_hilb10_2.vout
2024-08-03 10:10
4.7K
hilb10_2__t15_hilb10_2
2024-07-27 17:10
105K
hilb10_2__t15_hilb10_2.vout
2024-08-03 08:56
3.7K
hilb10_2__t16_hilb10_2
2024-07-27 17:12
60K
hilb10_2__t16_hilb10_2.vout
2024-08-03 09:13
7.3K
hilb10_2__t17_hilb10_2
2024-07-27 17:15
118K
hilb10_2__t17_hilb10_2.vout
2024-08-03 08:47
3.7K
hilb10_2__t18_hilb10_2
2024-07-27 17:17
94K
hilb10_2__t18_hilb10_2.vout
2024-08-03 07:43
6.8K
hilb10_2__t19_hilb10_2
2024-07-27 17:20
83K
hilb10_2__t19_hilb10_2.vout
2024-08-03 04:16
3.7K
hilb10_2__t20_hilb10_2
2024-07-27 17:23
84K
hilb10_2__t20_hilb10_2.vout
2024-08-03 08:05
6.8K
hilb10_2__t21_hilb10_2
2024-07-27 17:24
63K
hilb10_2__t21_hilb10_2.vout
2024-08-03 06:27
6.8K
hilb10_2__t22_hilb10_2
2024-07-27 17:26
70K
hilb10_2__t22_hilb10_2.vout
2024-08-03 07:03
7.3K
hilb10_2__t23_hilb10_2
2024-07-27 17:28
74K
hilb10_2__t23_hilb10_2.vout
2024-08-03 06:51
7.3K
hilb10_2__t24_hilb10_2
2024-07-27 17:31
85K
hilb10_2__t24_hilb10_2.vout
2024-08-03 09:34
3.7K
hilb10_2__t25_hilb10_2
2024-07-27 17:34
97K
hilb10_2__t25_hilb10_2.vout
2024-08-03 07:14
7.3K
hilb10_2__t26_hilb10_2
2024-07-27 17:36
70K
hilb10_2__t26_hilb10_2.vout
2024-08-03 09:25
6.8K
hilb10_2__t27_hilb10_2
2024-07-27 17:38
95K
hilb10_2__t27_hilb10_2.vout
2024-08-03 07:04
6.8K
hilb10_2__t28_hilb10_2
2024-07-27 17:41
126K
hilb10_2__t28_hilb10_2.vout
2024-08-03 09:08
6.8K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80