Index of /~mptp/mml5.63.1382/MPTP2/problems_small/hilbert4
Name
Last modified
Size
Description
Parent Directory
-
hilbert4__t10_hilbert4.vout
2021-07-25 20:40
2.0K
hilbert4__t10_hilbert4
2021-07-18 02:50
60K
hilbert4__t9_hilbert4.vout
2021-07-25 20:06
33K
hilbert4__t9_hilbert4.vmin1out
2021-07-25 21:00
18K
hilbert4__t9_hilbert4.vmin1
2021-07-25 20:57
2.5K
hilbert4__t9_hilbert4.depvmin1
2021-07-25 21:03
227
hilbert4__t9_hilbert4.depv1
2021-07-25 20:57
309
hilbert4__t9_hilbert4
2021-07-18 02:49
55K
hilbert4__t8_hilbert4.vout
2021-07-25 18:49
4.7K
hilbert4__t8_hilbert4
2021-07-18 02:49
40K
hilbert4__t7_hilbert4.vout
2021-07-25 19:29
2.0K
hilbert4__t7_hilbert4
2021-07-18 02:48
35K
hilbert4__t6_hilbert4.vout
2021-07-25 18:31
4.7K
hilbert4__t6_hilbert4
2021-07-18 02:47
55K
hilbert4__t5_hilbert4.vout
2021-07-25 15:24
4.7K
hilbert4__t5_hilbert4
2021-07-18 02:47
34K
hilbert4__t4_hilbert4.vout
2021-07-25 14:53
4.7K
hilbert4__t4_hilbert4
2021-07-18 02:46
36K
hilbert4__t3_hilbert4.vout
2021-07-25 15:36
2.0K
hilbert4__t3_hilbert4
2021-07-18 02:46
34K
hilbert4__t2_hilbert4.vout
2021-07-25 16:43
7.3K
hilbert4__t2_hilbert4
2021-07-18 02:45
36K
hilbert4__t1_hilbert4.vout
2021-07-25 15:50
7.0K
hilbert4__t1_hilbert4.vmin1out
2021-07-25 20:58
7.0K
hilbert4__t1_hilbert4.vmin1
2021-07-25 20:57
344
hilbert4__t1_hilbert4.depvmin1
2021-07-25 21:03
24
hilbert4__t1_hilbert4.depv1
2021-07-25 20:57
24
hilbert4__t1_hilbert4
2021-07-18 02:45
1.3K
hilbert4__l29_hilbert4.vout
2021-07-25 17:27
7.3K
hilbert4__l29_hilbert4
2021-07-18 02:57
113K
hilbert4__l26_hilbert4.vout
2021-07-25 19:17
2.0K
hilbert4__l26_hilbert4
2021-07-18 02:56
62K
hilbert4__l25_hilbert4.vout
2021-07-25 15:13
18K
hilbert4__l25_hilbert4.vmin1out
2021-07-25 21:02
11K
hilbert4__l25_hilbert4.vmin1
2021-07-25 20:57
1.6K
hilbert4__l25_hilbert4.depvmin1
2021-07-25 21:03
141
hilbert4__l25_hilbert4.depv1
2021-07-25 20:57
178
hilbert4__l25_hilbert4
2021-07-18 02:55
58K
hilbert4__l24_hilbert4.vout
2021-07-25 20:25
25K
hilbert4__l24_hilbert4.vmin1out
2021-07-25 21:00
25K
hilbert4__l24_hilbert4.vmin1
2021-07-25 20:57
1.8K
hilbert4__l24_hilbert4.depvmin1
2021-07-25 21:03
244
hilbert4__l24_hilbert4.depv1
2021-07-25 20:57
244
hilbert4__l24_hilbert4
2021-07-18 02:54
58K
hilbert4__l18_hilbert4.vout
2021-07-25 20:19
22K
hilbert4__l18_hilbert4.vmin1out
2021-07-25 20:58
14K
hilbert4__l18_hilbert4.vmin1
2021-07-25 20:57
2.0K
hilbert4__l18_hilbert4.depvmin1
2021-07-25 21:03
125
hilbert4__l18_hilbert4.depv1
2021-07-25 20:57
165
hilbert4__l18_hilbert4
2021-07-18 02:54
59K
hilbert4__l17_hilbert4.vout
2021-07-25 14:41
25K
hilbert4__l17_hilbert4.vmin1out
2021-07-25 20:57
15K
hilbert4__l17_hilbert4.vmin1
2021-07-25 20:57
1.8K
hilbert4__l17_hilbert4.depvmin1
2021-07-25 21:03
201
hilbert4__l17_hilbert4.depv1
2021-07-25 20:57
201
hilbert4__l17_hilbert4
2021-07-18 02:53
56K
hilbert4__l16_hilbert4.vout
2021-07-25 18:25
7.4K
hilbert4__l16_hilbert4
2021-07-18 02:52
63K
hilbert4__l15_hilbert4.vout
2021-07-25 14:34
3.7K
hilbert4__l15_hilbert4
2021-07-18 02:52
61K
hilbert4__l14_hilbert4.vout
2021-07-25 19:38
3.7K
hilbert4__l14_hilbert4
2021-07-18 02:51
61K
hilbert4__l10_hilbert4.vout
2021-07-25 19:56
5.9K
hilbert4__l10_hilbert4
2021-07-18 02:50
25K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80