Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/hilbert2
Name
Last modified
Size
Description
Parent Directory
-
hilbert2__t1_hilbert2
2024-07-26 23:16
20K
hilbert2__t1_hilbert2.vout
2024-08-03 08:53
7.3K
hilbert2__t2_hilbert2
2024-07-26 23:18
21K
hilbert2__t2_hilbert2.depv1
2024-08-03 10:19
89
hilbert2__t2_hilbert2.depvmin1
2024-08-03 10:24
89
hilbert2__t2_hilbert2.vmin1
2024-08-03 10:19
1.0K
hilbert2__t2_hilbert2.vmin1out
2024-08-03 10:20
12K
hilbert2__t2_hilbert2.vout
2024-08-03 08:03
13K
hilbert2__t3_hilbert2
2024-07-26 23:19
26K
hilbert2__t3_hilbert2.depv1
2024-08-03 10:19
126
hilbert2__t3_hilbert2.depvmin1
2024-08-03 10:24
126
hilbert2__t3_hilbert2.vmin1
2024-08-03 10:19
936
hilbert2__t3_hilbert2.vmin1out
2024-08-03 10:23
10K
hilbert2__t3_hilbert2.vout
2024-08-03 07:35
11K
hilbert2__t4_hilbert2
2024-07-26 23:20
29K
hilbert2__t4_hilbert2.depv1
2024-08-03 10:19
216
hilbert2__t4_hilbert2.depvmin1
2024-08-03 10:24
202
hilbert2__t4_hilbert2.vmin1
2024-08-03 10:19
2.3K
hilbert2__t4_hilbert2.vmin1out
2024-08-03 10:22
30K
hilbert2__t4_hilbert2.vout
2024-08-03 05:40
30K
hilbert2__t5_hilbert2
2024-07-26 23:21
37K
hilbert2__t5_hilbert2.vout
2024-08-03 07:24
7.3K
hilbert2__t6_hilbert2
2024-07-26 23:23
33K
hilbert2__t6_hilbert2.depv1
2024-08-03 10:19
88
hilbert2__t6_hilbert2.depvmin1
2024-08-03 10:24
88
hilbert2__t6_hilbert2.vmin1
2024-08-03 10:19
1.6K
hilbert2__t6_hilbert2.vmin1out
2024-08-03 10:23
19K
hilbert2__t6_hilbert2.vout
2024-08-03 07:37
19K
hilbert2__t7_hilbert2
2024-07-26 23:24
40K
hilbert2__t7_hilbert2.vout
2024-08-03 07:43
7.3K
hilbert2__t8_hilbert2
2024-07-26 23:25
37K
hilbert2__t8_hilbert2.vout
2024-08-03 04:16
6.2K
hilbert2__t9_hilbert2
2024-07-26 23:27
33K
hilbert2__t9_hilbert2.depv1
2024-08-03 10:19
122
hilbert2__t9_hilbert2.depvmin1
2024-08-03 10:24
122
hilbert2__t9_hilbert2.vmin1
2024-08-03 10:19
2.4K
hilbert2__t9_hilbert2.vmin1out
2024-08-03 10:23
29K
hilbert2__t9_hilbert2.vout
2024-08-03 09:56
29K
hilbert2__t10_hilbert2
2024-07-26 23:28
48K
hilbert2__t10_hilbert2.vout
2024-08-03 04:31
7.9K
hilbert2__t11_hilbert2
2024-07-26 23:30
126K
hilbert2__t11_hilbert2.vout
2024-08-03 06:00
7.9K
hilbert2__t12_hilbert2
2024-07-26 23:32
88K
hilbert2__t12_hilbert2.vout
2024-08-03 09:32
7.9K
hilbert2__t13_hilbert2
2024-07-26 23:33
102K
hilbert2__t13_hilbert2.vout
2024-08-03 04:41
7.4K
hilbert2__t14_hilbert2
2024-07-26 23:35
51K
hilbert2__t14_hilbert2.vout
2024-08-03 09:11
7.9K
hilbert2__t15_hilbert2
2024-07-26 23:36
43K
hilbert2__t15_hilbert2.vout
2024-08-03 06:52
7.4K
hilbert2__t16_hilbert2
2024-07-26 23:38
39K
hilbert2__t16_hilbert2.vout
2024-08-03 05:19
7.4K
hilbert2__t17_hilbert2
2024-07-26 23:39
52K
hilbert2__t17_hilbert2.vout
2024-08-03 06:15
4.7K
hilbert2__t18_hilbert2
2024-07-26 23:40
19K
hilbert2__t18_hilbert2.depv1
2024-08-03 10:19
168
hilbert2__t18_hilbert2.depvmin1
2024-08-03 10:24
168
hilbert2__t18_hilbert2.vmin1
2024-08-03 10:19
2.1K
hilbert2__t18_hilbert2.vmin1out
2024-08-03 10:22
60K
hilbert2__t18_hilbert2.vout
2024-08-03 05:27
49K
hilbert2__t19_hilbert2
2024-07-26 23:41
30K
hilbert2__t19_hilbert2.vout
2024-08-03 09:05
4.7K
hilbert2__t20_hilbert2
2024-07-26 23:43
30K
hilbert2__t20_hilbert2.vout
2024-08-03 07:25
4.7K
hilbert2__t21_hilbert2
2024-07-26 23:44
30K
hilbert2__t21_hilbert2.vout
2024-08-03 09:11
5.8K
hilbert2__t22_hilbert2
2024-07-26 23:45
31K
hilbert2__t22_hilbert2.vout
2024-08-03 10:03
2.0K
hilbert2__t23_hilbert2
2024-07-26 23:47
32K
hilbert2__t23_hilbert2.vout
2024-08-03 08:45
7.4K
hilbert2__t24_hilbert2
2024-07-26 23:48
88K
hilbert2__t24_hilbert2.vout
2024-08-03 09:38
7.3K
hilbert2__t25_hilbert2
2024-07-26 23:50
32K
hilbert2__t25_hilbert2.depv1
2024-08-03 10:19
319
hilbert2__t25_hilbert2.depvmin1
2024-08-03 10:24
319
hilbert2__t25_hilbert2.vmin1
2024-08-03 10:19
2.7K
hilbert2__t25_hilbert2.vmin1out
2024-08-03 10:22
23K
hilbert2__t25_hilbert2.vout
2024-08-03 06:45
35K
hilbert2__t26_hilbert2
2024-07-26 23:51
126K
hilbert2__t26_hilbert2.vout
2024-08-03 09:46
7.3K
hilbert2__t27_hilbert2
2024-07-26 23:52
32K
hilbert2__t27_hilbert2.depv1
2024-08-03 10:19
177
hilbert2__t27_hilbert2.depvmin1
2024-08-03 10:24
152
hilbert2__t27_hilbert2.vmin1
2024-08-03 10:19
1.4K
hilbert2__t27_hilbert2.vmin1out
2024-08-03 10:20
12K
hilbert2__t27_hilbert2.vout
2024-08-03 04:58
16K
hilbert2__t28_hilbert2
2024-07-26 23:54
32K
hilbert2__t28_hilbert2.depv1
2024-08-03 10:19
177
hilbert2__t28_hilbert2.depvmin1
2024-08-03 10:24
152
hilbert2__t28_hilbert2.vmin1
2024-08-03 10:19
1.4K
hilbert2__t28_hilbert2.vmin1out
2024-08-03 10:22
12K
hilbert2__t28_hilbert2.vout
2024-08-03 07:51
16K
hilbert2__t29_hilbert2
2024-07-26 23:55
28K
hilbert2__t29_hilbert2.depv1
2024-08-03 10:19
307
hilbert2__t29_hilbert2.depvmin1
2024-08-03 10:24
307
hilbert2__t29_hilbert2.vmin1
2024-08-03 10:19
1.9K
hilbert2__t29_hilbert2.vmin1out
2024-08-03 10:23
14K
hilbert2__t29_hilbert2.vout
2024-08-03 09:14
16K
hilbert2__t30_hilbert2
2024-07-26 23:14
35K
hilbert2__t30_hilbert2.depv1
2024-08-03 10:19
68
hilbert2__t30_hilbert2.depvmin1
2024-08-03 10:24
68
hilbert2__t30_hilbert2.vmin1
2024-08-03 10:19
1.3K
hilbert2__t30_hilbert2.vmin1out
2024-08-03 10:21
13K
hilbert2__t30_hilbert2.vout
2024-08-03 08:06
13K
hilbert2__t31_hilbert2
2024-07-26 23:15
36K
hilbert2__t31_hilbert2.depv1
2024-08-03 10:19
68
hilbert2__t31_hilbert2.depvmin1
2024-08-03 10:24
68
hilbert2__t31_hilbert2.vmin1
2024-08-03 10:19
1.4K
hilbert2__t31_hilbert2.vmin1out
2024-08-03 10:21
15K
hilbert2__t31_hilbert2.vout
2024-08-03 05:38
15K
hilbert2__t32_hilbert2
2024-07-26 23:56
36K
hilbert2__t32_hilbert2.vout
2024-08-03 07:40
7.3K
hilbert2__t33_hilbert2
2024-07-26 23:58
36K
hilbert2__t33_hilbert2.vout
2024-08-03 07:12
7.3K
hilbert2__t34_hilbert2
2024-07-26 23:59
38K
hilbert2__t34_hilbert2.vout
2024-08-03 04:39
7.3K
hilbert2__t35_hilbert2
2024-07-27 00:01
45K
hilbert2__t35_hilbert2.vout
2024-08-03 09:06
4.7K
hilbert2__t36_hilbert2
2024-07-27 00:03
38K
hilbert2__t36_hilbert2.vout
2024-08-03 09:07
7.3K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80