Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/hilbert3
Name
Last modified
Size
Description
Parent Directory
-
hilbert3__t1_hilbert3
2024-07-28 07:47
13K
hilbert3__t1_hilbert3.depv1
2024-08-03 10:19
32
hilbert3__t1_hilbert3.depvmin1
2024-08-03 10:24
32
hilbert3__t1_hilbert3.vmin1
2024-08-03 10:19
330
hilbert3__t1_hilbert3.vmin1out
2024-08-03 10:21
5.1K
hilbert3__t1_hilbert3.vout
2024-08-03 04:15
4.0K
hilbert3__t2_hilbert3
2024-07-28 07:48
13K
hilbert3__t2_hilbert3.depv1
2024-08-03 10:19
32
hilbert3__t2_hilbert3.depvmin1
2024-08-03 10:24
32
hilbert3__t2_hilbert3.vmin1
2024-08-03 10:19
330
hilbert3__t2_hilbert3.vmin1out
2024-08-03 10:23
5.1K
hilbert3__t2_hilbert3.vout
2024-08-03 10:02
4.0K
hilbert3__t3_hilbert3
2024-07-28 07:58
26K
hilbert3__t3_hilbert3.vout
2024-08-03 06:08
4.7K
hilbert3__t5_hilbert3
2024-07-28 07:59
23K
hilbert3__t5_hilbert3.vout
2024-08-03 04:20
2.0K
hilbert3__t6_hilbert3
2024-07-28 08:00
29K
hilbert3__t6_hilbert3.vout
2024-08-03 08:38
4.7K
hilbert3__t7_hilbert3
2024-07-28 07:49
10K
hilbert3__t7_hilbert3.depv1
2024-08-03 10:19
137
hilbert3__t7_hilbert3.depvmin1
2024-08-03 10:24
96
hilbert3__t7_hilbert3.vmin1
2024-08-03 10:19
929
hilbert3__t7_hilbert3.vmin1out
2024-08-03 10:22
6.2K
hilbert3__t7_hilbert3.vout
2024-08-03 08:57
8.3K
hilbert3__t8_hilbert3
2024-07-28 08:02
33K
hilbert3__t8_hilbert3.vout
2024-08-03 09:46
4.7K
hilbert3__t9_hilbert3
2024-07-28 08:03
29K
hilbert3__t9_hilbert3.depv1
2024-08-03 10:19
138
hilbert3__t9_hilbert3.depvmin1
2024-08-03 10:24
90
hilbert3__t9_hilbert3.vmin1
2024-08-03 10:19
1.1K
hilbert3__t9_hilbert3.vmin1out
2024-08-03 10:21
7.7K
hilbert3__t9_hilbert3.vout
2024-08-03 07:31
8.8K
hilbert3__t10_hilbert3
2024-07-28 08:03
667
hilbert3__t10_hilbert3.depv1
2024-08-03 10:19
25
hilbert3__t10_hilbert3.depvmin1
2024-08-03 10:24
25
hilbert3__t10_hilbert3.vmin1
2024-08-03 10:19
358
hilbert3__t10_hilbert3.vmin1out
2024-08-03 10:21
5.8K
hilbert3__t10_hilbert3.vout
2024-08-03 06:23
5.8K
hilbert3__t11_hilbert3
2024-07-28 08:04
15K
hilbert3__t11_hilbert3.depv1
2024-08-03 10:19
182
hilbert3__t11_hilbert3.depvmin1
2024-08-03 10:24
73
hilbert3__t11_hilbert3.vmin1
2024-08-03 10:19
1.6K
hilbert3__t11_hilbert3.vmin1out
2024-08-03 10:21
11K
hilbert3__t11_hilbert3.vout
2024-08-03 07:21
18K
hilbert3__t12_hilbert3
2024-07-28 08:05
27K
hilbert3__t12_hilbert3.vout
2024-08-03 07:22
4.7K
hilbert3__t13_hilbert3
2024-07-28 08:06
19K
hilbert3__t13_hilbert3.vout
2024-08-03 05:52
6.8K
hilbert3__t14_hilbert3
2024-07-28 08:07
19K
hilbert3__t14_hilbert3.vout
2024-08-03 09:11
4.7K
hilbert3__t15_hilbert3
2024-07-28 08:08
27K
hilbert3__t15_hilbert3.vout
2024-08-03 06:55
8.4K
hilbert3__t16_hilbert3
2024-07-28 08:09
29K
hilbert3__t16_hilbert3.vout
2024-08-03 04:30
2.0K
hilbert3__t17_hilbert3
2024-07-28 08:11
29K
hilbert3__t17_hilbert3.vout
2024-08-03 04:51
2.1K
hilbert3__t18_hilbert3
2024-07-28 08:12
12K
hilbert3__t18_hilbert3.depv1
2024-08-03 10:19
230
hilbert3__t18_hilbert3.depvmin1
2024-08-03 10:24
197
hilbert3__t18_hilbert3.vmin1
2024-08-03 10:19
2.0K
hilbert3__t18_hilbert3.vmin1out
2024-08-03 10:20
36K
hilbert3__t18_hilbert3.vout
2024-08-03 05:18
21K
hilbert3__t19_hilbert3
2024-07-28 08:12
14K
hilbert3__t19_hilbert3.vout
2024-08-03 04:24
7.3K
hilbert3__t20_hilbert3
2024-07-28 08:14
26K
hilbert3__t20_hilbert3.depv1
2024-08-03 10:19
231
hilbert3__t20_hilbert3.depvmin1
2024-08-03 10:24
185
hilbert3__t20_hilbert3.vmin1
2024-08-03 10:19
2.6K
hilbert3__t20_hilbert3.vmin1out
2024-08-03 10:23
32K
hilbert3__t20_hilbert3.vout
2024-08-03 09:49
29K
hilbert3__t21_hilbert3
2024-07-28 08:15
27K
hilbert3__t21_hilbert3.vout
2024-08-03 04:34
6.8K
hilbert3__t22_hilbert3
2024-07-28 08:16
26K
hilbert3__t22_hilbert3.depv1
2024-08-03 10:19
300
hilbert3__t22_hilbert3.depvmin1
2024-08-03 10:24
239
hilbert3__t22_hilbert3.vmin1
2024-08-03 10:19
3.1K
hilbert3__t22_hilbert3.vmin1out
2024-08-03 10:22
43K
hilbert3__t22_hilbert3.vout
2024-08-03 06:24
48K
hilbert3__t23_hilbert3
2024-07-28 08:17
31K
hilbert3__t23_hilbert3.vout
2024-08-03 08:51
7.3K
hilbert3__t24_hilbert3
2024-07-28 08:18
26K
hilbert3__t24_hilbert3.vout
2024-08-03 06:21
7.3K
hilbert3__t25_hilbert3
2024-07-28 07:50
23K
hilbert3__t25_hilbert3.depv1
2024-08-03 10:19
51
hilbert3__t25_hilbert3.depvmin1
2024-08-03 10:24
51
hilbert3__t25_hilbert3.vmin1
2024-08-03 10:19
1.2K
hilbert3__t25_hilbert3.vmin1out
2024-08-03 10:20
11K
hilbert3__t25_hilbert3.vout
2024-08-03 04:13
11K
hilbert3__t26_hilbert3
2024-07-28 08:19
37K
hilbert3__t26_hilbert3.vout
2024-08-03 06:34
4.7K
hilbert3__t27_hilbert3
2024-07-28 08:20
34K
hilbert3__t27_hilbert3.vout
2024-08-03 06:23
4.7K
hilbert3__t28_hilbert3
2024-07-28 08:22
42K
hilbert3__t28_hilbert3.vout
2024-08-03 09:23
4.7K
hilbert3__t29_hilbert3
2024-07-28 07:51
27K
hilbert3__t29_hilbert3.depv1
2024-08-03 10:19
67
hilbert3__t29_hilbert3.depvmin1
2024-08-03 10:24
67
hilbert3__t29_hilbert3.vmin1
2024-08-03 10:19
1.5K
hilbert3__t29_hilbert3.vmin1out
2024-08-03 10:22
26K
hilbert3__t29_hilbert3.vout
2024-08-03 09:26
27K
hilbert3__t30_hilbert3
2024-07-28 07:53
27K
hilbert3__t30_hilbert3.depv1
2024-08-03 10:19
67
hilbert3__t30_hilbert3.depvmin1
2024-08-03 10:24
67
hilbert3__t30_hilbert3.vmin1
2024-08-03 10:19
1.6K
hilbert3__t30_hilbert3.vmin1out
2024-08-03 10:20
29K
hilbert3__t30_hilbert3.vout
2024-08-03 05:51
29K
hilbert3__t31_hilbert3
2024-07-28 07:54
27K
hilbert3__t31_hilbert3.vout
2024-08-03 08:34
7.4K
hilbert3__t32_hilbert3
2024-07-28 07:55
28K
hilbert3__t32_hilbert3.vout
2024-08-03 06:58
7.3K
hilbert3__t33_hilbert3
2024-07-28 08:23
40K
hilbert3__t33_hilbert3.vout
2024-08-03 06:19
4.7K
hilbert3__t34_hilbert3
2024-07-28 07:57
39K
hilbert3__t34_hilbert3.depv1
2024-08-03 10:19
67
hilbert3__t34_hilbert3.depvmin1
2024-08-03 10:24
67
hilbert3__t34_hilbert3.vmin1
2024-08-03 10:19
2.5K
hilbert3__t34_hilbert3.vmin1out
2024-08-03 10:23
31K
hilbert3__t34_hilbert3.vout
2024-08-03 05:59
30K
hilbert3__t35_hilbert3
2024-07-28 08:25
40K
hilbert3__t35_hilbert3.vout
2024-08-03 08:32
4.7K
hilbert3__t36_hilbert3
2024-07-28 08:26
41K
hilbert3__t36_hilbert3.vout
2024-08-03 06:10
4.7K
hilbert3__t37_hilbert3
2024-07-28 08:28
43K
hilbert3__t37_hilbert3.vout
2024-08-03 06:03
4.7K
hilbert3__t38_hilbert3
2024-07-28 08:29
42K
hilbert3__t38_hilbert3.vout
2024-08-03 06:13
4.7K
hilbert3__t39_hilbert3
2024-07-28 08:31
42K
hilbert3__t39_hilbert3.vout
2024-08-03 10:12
4.7K
hilbert3__t40_hilbert3
2024-07-28 08:32
44K
hilbert3__t40_hilbert3.vout
2024-08-03 04:08
4.7K
hilbert3__t41_hilbert3
2024-07-28 08:34
37K
hilbert3__t41_hilbert3.vout
2024-08-03 04:17
7.4K
hilbert3__t42_hilbert3
2024-07-28 08:35
26K
hilbert3__t42_hilbert3.vout
2024-08-03 05:12
5.3K
hilbert3__t43_hilbert3
2024-07-28 08:37
37K
hilbert3__t43_hilbert3.vout
2024-08-03 05:14
7.3K
hilbert3__t44_hilbert3
2024-07-28 08:38
33K
hilbert3__t44_hilbert3.vout
2024-08-03 09:19
2.0K
hilbert3__t45_hilbert3
2024-07-28 08:41
80K
hilbert3__t45_hilbert3.vout
2024-08-03 06:37
5.3K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80