Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/grzlog_1
Name
Last modified
Size
Description
Parent Directory
-
grzlog_1__l2_grzlog_1
2024-07-27 13:59
12K
grzlog_1__l2_grzlog_1.depv1
2024-08-03 10:19
158
grzlog_1__l2_grzlog_1.depvmin1
2024-08-03 10:24
158
grzlog_1__l2_grzlog_1.vmin1
2024-08-03 10:19
1.1K
grzlog_1__l2_grzlog_1.vmin1out
2024-08-03 10:23
12K
grzlog_1__l2_grzlog_1.vout
2024-08-03 09:52
11K
grzlog_1__l7_grzlog_1
2024-07-27 14:00
21K
grzlog_1__l7_grzlog_1.depv1
2024-08-03 10:19
409
grzlog_1__l7_grzlog_1.depvmin1
2024-08-03 10:24
409
grzlog_1__l7_grzlog_1.vmin1
2024-08-03 10:19
2.7K
grzlog_1__l7_grzlog_1.vmin1out
2024-08-03 10:21
28K
grzlog_1__l7_grzlog_1.vout
2024-08-03 05:50
29K
grzlog_1__l9_grzlog_1
2024-07-27 14:01
23K
grzlog_1__l9_grzlog_1.depv1
2024-08-03 10:19
179
grzlog_1__l9_grzlog_1.depvmin1
2024-08-03 10:24
179
grzlog_1__l9_grzlog_1.vmin1
2024-08-03 10:19
1.2K
grzlog_1__l9_grzlog_1.vmin1out
2024-08-03 10:23
15K
grzlog_1__l9_grzlog_1.vout
2024-08-03 05:41
15K
grzlog_1__l10_grzlog_1
2024-07-27 14:02
23K
grzlog_1__l10_grzlog_1.depv1
2024-08-03 10:19
131
grzlog_1__l10_grzlog_1.depvmin1
2024-08-03 10:24
95
grzlog_1__l10_grzlog_1.vmin1
2024-08-03 10:19
723
grzlog_1__l10_grzlog_1.vmin1out
2024-08-03 10:23
4.8K
grzlog_1__l10_grzlog_1.vout
2024-08-03 09:07
7.4K
grzlog_1__l12_grzlog_1
2024-07-27 14:04
32K
grzlog_1__l12_grzlog_1.vout
2024-08-03 09:14
8.4K
grzlog_1__l15_grzlog_1
2024-07-27 14:05
23K
grzlog_1__l15_grzlog_1.depv1
2024-08-03 10:19
102
grzlog_1__l15_grzlog_1.depvmin1
2024-08-03 10:24
102
grzlog_1__l15_grzlog_1.vmin1
2024-08-03 10:19
850
grzlog_1__l15_grzlog_1.vmin1out
2024-08-03 10:23
11K
grzlog_1__l15_grzlog_1.vout
2024-08-03 04:35
11K
grzlog_1__l47_grzlog_1
2024-07-27 14:06
15K
grzlog_1__l47_grzlog_1.depv1
2024-08-03 10:19
213
grzlog_1__l47_grzlog_1.depvmin1
2024-08-03 10:24
213
grzlog_1__l47_grzlog_1.vmin1
2024-08-03 10:19
2.0K
grzlog_1__l47_grzlog_1.vmin1out
2024-08-03 10:23
37K
grzlog_1__l47_grzlog_1.vout
2024-08-03 04:18
38K
grzlog_1__l48_grzlog_1
2024-07-27 14:07
34K
grzlog_1__l48_grzlog_1.vout
2024-08-03 06:41
3.7K
grzlog_1__l52_grzlog_1
2024-07-27 12:57
26K
grzlog_1__l52_grzlog_1.vout
2024-08-03 07:30
4.2K
grzlog_1__l77_grzlog_1
2024-07-27 14:09
31K
grzlog_1__l77_grzlog_1.vout
2024-08-03 09:47
8.4K
grzlog_1__l79_grzlog_1
2024-07-27 14:10
31K
grzlog_1__l79_grzlog_1.vout
2024-08-03 08:18
8.4K
grzlog_1__t1_grzlog_1
2024-07-27 12:58
23K
grzlog_1__t1_grzlog_1.depv1
2024-08-03 10:19
251
grzlog_1__t1_grzlog_1.depvmin1
2024-08-03 10:24
251
grzlog_1__t1_grzlog_1.vmin1
2024-08-03 10:19
1.1K
grzlog_1__t1_grzlog_1.vmin1out
2024-08-03 10:23
8.4K
grzlog_1__t1_grzlog_1.vout
2024-08-03 05:38
9.5K
grzlog_1__t2_grzlog_1
2024-07-27 12:59
24K
grzlog_1__t2_grzlog_1.depv1
2024-08-03 10:19
292
grzlog_1__t2_grzlog_1.depvmin1
2024-08-03 10:24
292
grzlog_1__t2_grzlog_1.vmin1
2024-08-03 10:19
2.3K
grzlog_1__t2_grzlog_1.vmin1out
2024-08-03 10:21
25K
grzlog_1__t2_grzlog_1.vout
2024-08-03 08:33
22K
grzlog_1__t3_grzlog_1
2024-07-27 13:01
25K
grzlog_1__t3_grzlog_1.vout
2024-08-03 06:38
5.9K
grzlog_1__t4_grzlog_1
2024-07-27 12:43
23K
grzlog_1__t4_grzlog_1.vout
2024-08-03 05:20
8.4K
grzlog_1__t5_grzlog_1
2024-07-27 13:02
27K
grzlog_1__t5_grzlog_1.vout
2024-08-03 09:44
8.4K
grzlog_1__t6_grzlog_1
2024-07-27 13:03
28K
grzlog_1__t6_grzlog_1.vout
2024-08-03 06:44
7.9K
grzlog_1__t7_grzlog_1
2024-07-27 13:05
28K
grzlog_1__t7_grzlog_1.vout
2024-08-03 09:58
7.9K
grzlog_1__t8_grzlog_1
2024-07-27 13:06
24K
grzlog_1__t8_grzlog_1.vout
2024-08-03 06:58
8.4K
grzlog_1__t9_grzlog_1
2024-07-27 13:08
30K
grzlog_1__t9_grzlog_1.vout
2024-08-03 06:30
6.8K
grzlog_1__t10_grzlog_1
2024-07-27 13:09
33K
grzlog_1__t10_grzlog_1.vout
2024-08-03 07:30
3.7K
grzlog_1__t11_grzlog_1
2024-07-27 13:11
37K
grzlog_1__t11_grzlog_1.vout
2024-08-03 05:25
6.8K
grzlog_1__t12_grzlog_1
2024-07-27 13:13
31K
grzlog_1__t12_grzlog_1.vout
2024-08-03 09:25
7.3K
grzlog_1__t13_grzlog_1
2024-07-27 12:44
27K
grzlog_1__t13_grzlog_1.vout
2024-08-03 08:48
4.2K
grzlog_1__t14_grzlog_1
2024-07-27 13:14
25K
grzlog_1__t14_grzlog_1.vout
2024-08-03 05:52
7.3K
grzlog_1__t15_grzlog_1
2024-07-27 13:16
29K
grzlog_1__t15_grzlog_1.depv1
2024-08-03 10:19
333
grzlog_1__t15_grzlog_1.depvmin1
2024-08-03 10:24
320
grzlog_1__t15_grzlog_1.vmin1
2024-08-03 10:19
3.3K
grzlog_1__t15_grzlog_1.vmin1out
2024-08-03 10:23
37K
grzlog_1__t15_grzlog_1.vout
2024-08-03 08:09
33K
grzlog_1__t16_grzlog_1
2024-07-27 13:17
30K
grzlog_1__t16_grzlog_1.vout
2024-08-03 05:21
3.7K
grzlog_1__t17_grzlog_1
2024-07-27 13:19
43K
grzlog_1__t17_grzlog_1.vout
2024-08-03 09:10
3.7K
grzlog_1__t18_grzlog_1
2024-07-27 13:20
29K
grzlog_1__t18_grzlog_1.vout
2024-08-03 06:43
7.3K
grzlog_1__t19_grzlog_1
2024-07-27 12:45
27K
grzlog_1__t19_grzlog_1.depv1
2024-08-03 10:19
76
grzlog_1__t19_grzlog_1.depvmin1
2024-08-03 10:24
76
grzlog_1__t19_grzlog_1.vmin1
2024-08-03 10:19
1.8K
grzlog_1__t19_grzlog_1.vmin1out
2024-08-03 10:22
30K
grzlog_1__t19_grzlog_1.vout
2024-08-03 10:00
35K
grzlog_1__t20_grzlog_1
2024-07-27 13:22
33K
grzlog_1__t20_grzlog_1.vout
2024-08-03 04:20
5.3K
grzlog_1__t21_grzlog_1
2024-07-27 13:24
33K
grzlog_1__t21_grzlog_1.vout
2024-08-03 04:47
5.3K
grzlog_1__t22_grzlog_1
2024-07-27 13:25
29K
grzlog_1__t22_grzlog_1.depv1
2024-08-03 10:19
149
grzlog_1__t22_grzlog_1.depvmin1
2024-08-03 10:24
149
grzlog_1__t22_grzlog_1.vmin1
2024-08-03 10:19
2.6K
grzlog_1__t22_grzlog_1.vmin1out
2024-08-03 10:20
23K
grzlog_1__t22_grzlog_1.vout
2024-08-03 08:17
25K
grzlog_1__t23_grzlog_1
2024-07-27 13:27
28K
grzlog_1__t23_grzlog_1.depv1
2024-08-03 10:19
63
grzlog_1__t23_grzlog_1.depvmin1
2024-08-03 10:24
38
grzlog_1__t23_grzlog_1.vmin1
2024-08-03 10:19
1.0K
grzlog_1__t23_grzlog_1.vmin1out
2024-08-03 10:21
15K
grzlog_1__t23_grzlog_1.vout
2024-08-03 05:02
20K
grzlog_1__t24_grzlog_1
2024-07-27 13:28
36K
grzlog_1__t24_grzlog_1.depv1
2024-08-03 10:19
250
grzlog_1__t24_grzlog_1.vmin1
2024-08-03 10:19
3.9K
grzlog_1__t24_grzlog_1.vmin1out
2024-08-03 10:22
8.4K
grzlog_1__t24_grzlog_1.vout
2024-08-03 07:16
70K
grzlog_1__t25_grzlog_1
2024-07-27 12:47
29K
grzlog_1__t25_grzlog_1.vout
2024-08-03 07:12
7.3K
grzlog_1__t26_grzlog_1
2024-07-27 12:48
29K
grzlog_1__t26_grzlog_1.vout
2024-08-03 06:02
7.3K
grzlog_1__t27_grzlog_1
2024-07-27 13:30
33K
grzlog_1__t27_grzlog_1.vout
2024-08-03 09:36
7.3K
grzlog_1__t28_grzlog_1
2024-07-27 13:31
31K
grzlog_1__t28_grzlog_1.vout
2024-08-03 04:31
7.3K
grzlog_1__t29_grzlog_1
2024-07-27 13:33
32K
grzlog_1__t29_grzlog_1.vout
2024-08-03 07:25
8.4K
grzlog_1__t30_grzlog_1
2024-07-27 13:34
30K
grzlog_1__t30_grzlog_1.depv1
2024-08-03 10:19
308
grzlog_1__t30_grzlog_1.vmin1
2024-08-03 10:19
6.2K
grzlog_1__t30_grzlog_1.vmin1out
2024-08-03 10:23
4.2K
grzlog_1__t30_grzlog_1.vout
2024-08-03 08:31
79K
grzlog_1__t31_grzlog_1
2024-07-27 13:35
29K
grzlog_1__t31_grzlog_1.depv1
2024-08-03 10:19
280
grzlog_1__t31_grzlog_1.vmin1
2024-08-03 10:19
5.7K
grzlog_1__t31_grzlog_1.vmin1out
2024-08-03 10:22
2.0K
grzlog_1__t31_grzlog_1.vout
2024-08-03 06:08
80K
grzlog_1__t32_grzlog_1
2024-07-27 13:37
30K
grzlog_1__t32_grzlog_1.vout
2024-08-03 09:37
8.4K
grzlog_1__t33_grzlog_1
2024-07-27 13:38
26K
grzlog_1__t33_grzlog_1.vout
2024-08-03 10:13
7.9K
grzlog_1__t34_grzlog_1
2024-07-27 13:40
33K
grzlog_1__t34_grzlog_1.vout
2024-08-03 07:22
8.4K
grzlog_1__t35_grzlog_1
2024-07-27 13:42
32K
grzlog_1__t35_grzlog_1.vout
2024-08-03 04:35
7.3K
grzlog_1__t36_grzlog_1
2024-07-27 13:43
31K
grzlog_1__t36_grzlog_1.depv1
2024-08-03 10:19
237
grzlog_1__t36_grzlog_1.depvmin1
2024-08-03 10:24
221
grzlog_1__t36_grzlog_1.vmin1
2024-08-03 10:19
2.9K
grzlog_1__t36_grzlog_1.vmin1out
2024-08-03 10:23
50K
grzlog_1__t36_grzlog_1.vout
2024-08-03 07:11
51K
grzlog_1__t37_grzlog_1
2024-07-27 12:50
28K
grzlog_1__t37_grzlog_1.depv1
2024-08-03 10:19
141
grzlog_1__t37_grzlog_1.depvmin1
2024-08-03 10:24
141
grzlog_1__t37_grzlog_1.vmin1
2024-08-03 10:19
1.5K
grzlog_1__t37_grzlog_1.vmin1out
2024-08-03 10:23
15K
grzlog_1__t37_grzlog_1.vout
2024-08-03 04:47
17K
grzlog_1__t38_grzlog_1
2024-07-27 12:51
29K
grzlog_1__t38_grzlog_1.depv1
2024-08-03 10:19
192
grzlog_1__t38_grzlog_1.depvmin1
2024-08-03 10:24
177
grzlog_1__t38_grzlog_1.vmin1
2024-08-03 10:19
2.5K
grzlog_1__t38_grzlog_1.vmin1out
2024-08-03 10:22
29K
grzlog_1__t38_grzlog_1.vout
2024-08-03 05:10
31K
grzlog_1__t39_grzlog_1
2024-07-27 12:53
30K
grzlog_1__t39_grzlog_1.depv1
2024-08-03 10:19
192
grzlog_1__t39_grzlog_1.depvmin1
2024-08-03 10:24
177
grzlog_1__t39_grzlog_1.vmin1
2024-08-03 10:19
2.5K
grzlog_1__t39_grzlog_1.vmin1out
2024-08-03 10:23
29K
grzlog_1__t39_grzlog_1.vout
2024-08-03 04:14
32K
grzlog_1__t40_grzlog_1
2024-07-27 13:45
34K
grzlog_1__t40_grzlog_1.vout
2024-08-03 05:50
8.4K
grzlog_1__t41_grzlog_1
2024-07-27 13:47
34K
grzlog_1__t41_grzlog_1.vout
2024-08-03 08:06
8.4K
grzlog_1__t42_grzlog_1
2024-07-27 13:48
32K
grzlog_1__t42_grzlog_1.vout
2024-08-03 08:57
7.3K
grzlog_1__t43_grzlog_1
2024-07-27 12:54
26K
grzlog_1__t43_grzlog_1.depv1
2024-08-03 10:19
55
grzlog_1__t43_grzlog_1.depvmin1
2024-08-03 10:24
55
grzlog_1__t43_grzlog_1.vmin1
2024-08-03 10:19
698
grzlog_1__t43_grzlog_1.vmin1out
2024-08-03 10:21
9.1K
grzlog_1__t43_grzlog_1.vout
2024-08-03 04:53
12K
grzlog_1__t44_grzlog_1
2024-07-27 13:50
26K
grzlog_1__t44_grzlog_1.depv1
2024-08-03 10:19
68
grzlog_1__t44_grzlog_1.depvmin1
2024-08-03 10:24
68
grzlog_1__t44_grzlog_1.vmin1
2024-08-03 10:19
1.0K
grzlog_1__t44_grzlog_1.vmin1out
2024-08-03 10:21
30K
grzlog_1__t44_grzlog_1.vout
2024-08-03 06:08
15K
grzlog_1__t45_grzlog_1
2024-07-27 13:51
34K
grzlog_1__t45_grzlog_1.vout
2024-08-03 08:34
8.4K
grzlog_1__t46_grzlog_1
2024-07-27 12:55
26K
grzlog_1__t46_grzlog_1.depv1
2024-08-03 10:19
192
grzlog_1__t46_grzlog_1.vmin1
2024-08-03 10:19
1.7K
grzlog_1__t46_grzlog_1.vmin1out
2024-08-03 10:23
2.0K
grzlog_1__t46_grzlog_1.vout
2024-08-03 07:01
31K
grzlog_1__t47_grzlog_1
2024-07-27 13:53
37K
grzlog_1__t47_grzlog_1.vout
2024-08-03 04:27
7.3K
grzlog_1__t48_grzlog_1
2024-07-27 13:55
26K
grzlog_1__t48_grzlog_1.vout
2024-08-03 08:35
7.3K
grzlog_1__t49_grzlog_1
2024-07-27 13:56
26K
grzlog_1__t49_grzlog_1.depv1
2024-08-03 10:19
156
grzlog_1__t49_grzlog_1.depvmin1
2024-08-03 10:24
134
grzlog_1__t49_grzlog_1.vmin1
2024-08-03 10:19
1.2K
grzlog_1__t49_grzlog_1.vmin1out
2024-08-03 10:20
14K
grzlog_1__t49_grzlog_1.vout
2024-08-03 04:37
19K
grzlog_1__t50_grzlog_1
2024-07-27 13:58
34K
grzlog_1__t50_grzlog_1.vout
2024-08-03 08:35
7.3K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80