Index of /~mptp/mml5.63.1382/MPTP2/problems_small/hallmar1
Name
Last modified
Size
Description
Parent Directory
-
hallmar1__t32_hallmar1.vout
2021-07-25 15:54
7.3K
hallmar1__t32_hallmar1
2021-07-17 18:27
29K
hallmar1__t31_hallmar1.vout
2021-07-25 15:06
7.4K
hallmar1__t31_hallmar1
2021-07-17 18:26
40K
hallmar1__t30_hallmar1.vout
2021-07-25 20:18
6.8K
hallmar1__t30_hallmar1
2021-07-17 18:26
53K
hallmar1__t29_hallmar1.vout
2021-07-25 14:27
7.3K
hallmar1__t29_hallmar1
2021-07-17 18:25
49K
hallmar1__t28_hallmar1.vout
2021-07-25 20:52
7.3K
hallmar1__t28_hallmar1
2021-07-17 18:25
26K
hallmar1__t27_hallmar1.vout
2021-07-25 16:05
6.8K
hallmar1__t27_hallmar1
2021-07-17 18:24
28K
hallmar1__t26_hallmar1.vout
2021-07-25 17:54
8.0K
hallmar1__t26_hallmar1.vmin1out
2021-07-25 20:59
6.7K
hallmar1__t26_hallmar1.vmin1
2021-07-25 20:57
514
hallmar1__t26_hallmar1.depvmin1
2021-07-25 21:03
47
hallmar1__t26_hallmar1.depv1
2021-07-25 20:57
47
hallmar1__t26_hallmar1
2021-07-17 18:24
25K
hallmar1__t25_hallmar1.vout
2021-07-25 14:32
10K
hallmar1__t25_hallmar1.vmin1out
2021-07-25 20:58
12K
hallmar1__t25_hallmar1.vmin1
2021-07-25 20:57
664
hallmar1__t25_hallmar1.depvmin1
2021-07-25 21:03
47
hallmar1__t25_hallmar1.depv1
2021-07-25 20:57
47
hallmar1__t25_hallmar1
2021-07-17 18:24
25K
hallmar1__t24_hallmar1.vout
2021-07-25 14:35
6.8K
hallmar1__t24_hallmar1
2021-07-17 18:23
30K
hallmar1__t23_hallmar1.vout
2021-07-25 19:45
17K
hallmar1__t23_hallmar1.vmin1out
2021-07-25 20:59
16K
hallmar1__t23_hallmar1.vmin1
2021-07-25 20:57
1.7K
hallmar1__t23_hallmar1.depvmin1
2021-07-25 21:03
167
hallmar1__t23_hallmar1.depv1
2021-07-25 20:57
167
hallmar1__t23_hallmar1
2021-07-17 18:23
27K
hallmar1__t22_hallmar1.vout
2021-07-25 20:13
25K
hallmar1__t22_hallmar1.vmin1out
2021-07-25 20:59
24K
hallmar1__t22_hallmar1.vmin1
2021-07-25 20:57
932
hallmar1__t22_hallmar1.depvmin1
2021-07-25 21:03
75
hallmar1__t22_hallmar1.depv1
2021-07-25 20:57
75
hallmar1__t22_hallmar1
2021-07-17 18:22
25K
hallmar1__t21_hallmar1.vout
2021-07-25 18:28
6.3K
hallmar1__t21_hallmar1.vmin1out
2021-07-25 20:57
6.5K
hallmar1__t21_hallmar1.vmin1
2021-07-25 20:57
728
hallmar1__t21_hallmar1.depvmin1
2021-07-25 21:03
39
hallmar1__t21_hallmar1.depv1
2021-07-25 20:57
39
hallmar1__t21_hallmar1
2021-07-17 18:22
25K
hallmar1__t20_hallmar1.vout
2021-07-25 20:02
44K
hallmar1__t20_hallmar1.vmin1out
2021-07-25 21:00
42K
hallmar1__t20_hallmar1.vmin1
2021-07-25 20:57
1.6K
hallmar1__t20_hallmar1.depvmin1
2021-07-25 21:03
102
hallmar1__t20_hallmar1.depv1
2021-07-25 20:57
102
hallmar1__t20_hallmar1
2021-07-17 18:22
27K
hallmar1__t19_hallmar1.vout
2021-07-25 16:23
25K
hallmar1__t19_hallmar1.vmin1out
2021-07-25 21:02
18K
hallmar1__t19_hallmar1.vmin1
2021-07-25 20:57
1.3K
hallmar1__t19_hallmar1.depvmin1
2021-07-25 21:03
99
hallmar1__t19_hallmar1.depv1
2021-07-25 20:57
99
hallmar1__t19_hallmar1
2021-07-17 18:21
26K
hallmar1__t18_hallmar1.vout
2021-07-25 14:23
7.3K
hallmar1__t18_hallmar1
2021-07-17 18:21
35K
hallmar1__t17_hallmar1.vout
2021-07-25 18:33
7.3K
hallmar1__t17_hallmar1
2021-07-17 18:20
38K
hallmar1__t16_hallmar1.vout
2021-07-25 20:53
7.3K
hallmar1__t16_hallmar1
2021-07-17 18:20
29K
hallmar1__t15_hallmar1.vout
2021-07-25 18:09
7.4K
hallmar1__t15_hallmar1
2021-07-17 18:19
31K
hallmar1__t14_hallmar1.vout
2021-07-25 14:46
25K
hallmar1__t14_hallmar1.vmin1out
2021-07-25 21:01
28K
hallmar1__t14_hallmar1.vmin1
2021-07-25 20:57
2.0K
hallmar1__t14_hallmar1.depvmin1
2021-07-25 21:03
116
hallmar1__t14_hallmar1.depv1
2021-07-25 20:57
141
hallmar1__t14_hallmar1
2021-07-17 18:19
28K
hallmar1__t13_hallmar1.vout
2021-07-25 18:00
7.4K
hallmar1__t13_hallmar1
2021-07-17 18:19
27K
hallmar1__t12_hallmar1.vout
2021-07-25 19:20
7.3K
hallmar1__t12_hallmar1
2021-07-17 18:18
27K
hallmar1__t11_hallmar1.vout
2021-07-25 15:59
7.3K
hallmar1__t11_hallmar1
2021-07-17 18:18
30K
hallmar1__t10_hallmar1.vout
2021-07-25 15:48
7.3K
hallmar1__t10_hallmar1
2021-07-17 18:17
28K
hallmar1__t9_hallmar1.vout
2021-07-25 16:37
7.3K
hallmar1__t9_hallmar1
2021-07-17 18:17
27K
hallmar1__t8_hallmar1.vout
2021-07-25 18:48
7.3K
hallmar1__t8_hallmar1
2021-07-17 18:17
28K
hallmar1__t7_hallmar1.vout
2021-07-25 19:18
14K
hallmar1__t7_hallmar1.vmin1out
2021-07-25 21:02
13K
hallmar1__t7_hallmar1.vmin1
2021-07-25 20:57
684
hallmar1__t7_hallmar1.depvmin1
2021-07-25 21:03
34
hallmar1__t7_hallmar1.depv1
2021-07-25 20:57
34
hallmar1__t7_hallmar1
2021-07-17 18:14
25K
hallmar1__t6_hallmar1.vout
2021-07-25 14:48
7.3K
hallmar1__t6_hallmar1
2021-07-17 18:16
27K
hallmar1__t5_hallmar1.vout
2021-07-25 15:29
7.3K
hallmar1__t5_hallmar1
2021-07-17 18:16
26K
hallmar1__t4_hallmar1.vout
2021-07-25 17:34
16K
hallmar1__t4_hallmar1.vmin1out
2021-07-25 20:59
16K
hallmar1__t4_hallmar1.vmin1
2021-07-25 20:57
710
hallmar1__t4_hallmar1.depvmin1
2021-07-25 21:03
57
hallmar1__t4_hallmar1.depv1
2021-07-25 20:57
57
hallmar1__t4_hallmar1
2021-07-17 18:15
25K
hallmar1__t3_hallmar1.vout
2021-07-25 15:14
7.3K
hallmar1__t3_hallmar1
2021-07-17 18:15
26K
hallmar1__t2_hallmar1.vout
2021-07-25 20:37
14K
hallmar1__t2_hallmar1.vmin1out
2021-07-25 20:59
14K
hallmar1__t2_hallmar1.vmin1
2021-07-25 20:57
1.7K
hallmar1__t2_hallmar1.depvmin1
2021-07-25 21:03
193
hallmar1__t2_hallmar1.depv1
2021-07-25 20:57
208
hallmar1__t2_hallmar1
2021-07-17 18:15
26K
hallmar1__t1_hallmar1.vout
2021-07-25 14:37
2.0K
hallmar1__t1_hallmar1
2021-07-17 18:14
24K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80