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