Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/card_5
Name
Last modified
Size
Description
Parent Directory
-
card_5__l1_card_5
2024-07-27 22:07
13K
card_5__l1_card_5.depv1
2024-08-03 10:19
93
card_5__l1_card_5.depvmin1
2024-08-03 10:24
93
card_5__l1_card_5.vmin1
2024-08-03 10:19
538
card_5__l1_card_5.vmin1out
2024-08-03 10:23
3.6K
card_5__l1_card_5.vout
2024-08-03 06:58
4.1K
card_5__l2_card_5
2024-07-27 22:08
14K
card_5__l2_card_5.depv1
2024-08-03 10:19
93
card_5__l2_card_5.depvmin1
2024-08-03 10:24
93
card_5__l2_card_5.vmin1
2024-08-03 10:19
538
card_5__l2_card_5.vmin1out
2024-08-03 10:23
3.6K
card_5__l2_card_5.vout
2024-08-03 09:59
3.7K
card_5__l12_card_5
2024-07-27 22:52
20K
card_5__l12_card_5.vout
2024-08-03 06:45
6.8K
card_5__l42_card_5
2024-07-27 22:53
17K
card_5__l42_card_5.depv1
2024-08-03 10:19
101
card_5__l42_card_5.depvmin1
2024-08-03 10:24
101
card_5__l42_card_5.vmin1
2024-08-03 10:19
1.0K
card_5__l42_card_5.vmin1out
2024-08-03 10:23
11K
card_5__l42_card_5.vout
2024-08-03 04:18
11K
card_5__t1_card_5
2024-07-27 22:09
17K
card_5__t1_card_5.depv1
2024-08-03 10:19
56
card_5__t1_card_5.depvmin1
2024-08-03 10:24
56
card_5__t1_card_5.vmin1
2024-08-03 10:19
435
card_5__t1_card_5.vmin1out
2024-08-03 10:23
11K
card_5__t1_card_5.vout
2024-08-03 10:03
12K
card_5__t2_card_5
2024-07-27 22:10
15K
card_5__t2_card_5.depv1
2024-08-03 10:19
64
card_5__t2_card_5.depvmin1
2024-08-03 10:24
41
card_5__t2_card_5.vmin1
2024-08-03 10:19
791
card_5__t2_card_5.vmin1out
2024-08-03 10:23
20K
card_5__t2_card_5.vout
2024-08-03 08:32
23K
card_5__t3_card_5
2024-07-27 22:11
16K
card_5__t3_card_5.depv1
2024-08-03 10:19
289
card_5__t3_card_5.depvmin1
2024-08-03 10:24
252
card_5__t3_card_5.vmin1
2024-08-03 10:19
1.9K
card_5__t3_card_5.vmin1out
2024-08-03 10:22
14K
card_5__t3_card_5.vout
2024-08-03 06:03
20K
card_5__t4_card_5
2024-07-27 22:12
29K
card_5__t4_card_5.vout
2024-08-03 09:33
6.8K
card_5__t5_card_5
2024-07-27 22:14
22K
card_5__t5_card_5.vout
2024-08-03 09:34
7.8K
card_5__t6_card_5
2024-07-27 22:15
19K
card_5__t6_card_5.depv1
2024-08-03 10:19
97
card_5__t6_card_5.depvmin1
2024-08-03 10:24
97
card_5__t6_card_5.vmin1
2024-08-03 10:19
1.5K
card_5__t6_card_5.vmin1out
2024-08-03 10:22
26K
card_5__t6_card_5.vout
2024-08-03 07:33
26K
card_5__t7_card_5
2024-07-27 22:16
21K
card_5__t7_card_5.vout
2024-08-03 06:08
7.8K
card_5__t8_card_5
2024-07-27 22:18
33K
card_5__t8_card_5.vout
2024-08-03 09:30
7.3K
card_5__t9_card_5
2024-07-27 22:19
20K
card_5__t9_card_5.vout
2024-08-03 07:40
7.3K
card_5__t10_card_5
2024-07-27 22:20
19K
card_5__t10_card_5.vout
2024-08-03 08:44
8.3K
card_5__t11_card_5
2024-07-27 22:21
14K
card_5__t11_card_5.depv1
2024-08-03 10:19
127
card_5__t11_card_5.depvmin1
2024-08-03 10:24
127
card_5__t11_card_5.vmin1
2024-08-03 10:19
1.4K
card_5__t11_card_5.vmin1out
2024-08-03 10:21
23K
card_5__t11_card_5.vout
2024-08-03 04:14
24K
card_5__t12_card_5
2024-07-27 22:22
24K
card_5__t12_card_5.vout
2024-08-03 09:19
7.3K
card_5__t13_card_5
2024-07-27 22:51
33K
card_5__t13_card_5.vout
2024-08-03 08:08
3.7K
card_5__t14_card_5
2024-07-27 22:23
17K
card_5__t14_card_5.depv1
2024-08-03 10:19
44
card_5__t14_card_5.depvmin1
2024-08-03 10:24
44
card_5__t14_card_5.vmin1
2024-08-03 10:19
342
card_5__t14_card_5.vmin1out
2024-08-03 10:20
2.8K
card_5__t14_card_5.vout
2024-08-03 10:03
3.0K
card_5__t16_card_5
2024-07-27 22:24
18K
card_5__t16_card_5.depv1
2024-08-03 10:19
315
card_5__t16_card_5.depvmin1
2024-08-03 10:24
315
card_5__t16_card_5.vmin1
2024-08-03 10:19
2.2K
card_5__t16_card_5.vmin1out
2024-08-03 10:20
26K
card_5__t16_card_5.vout
2024-08-03 08:27
27K
card_5__t17_card_5
2024-07-27 22:25
18K
card_5__t17_card_5.depv1
2024-08-03 10:19
160
card_5__t17_card_5.depvmin1
2024-08-03 10:24
160
card_5__t17_card_5.vmin1
2024-08-03 10:19
1.3K
card_5__t17_card_5.vmin1out
2024-08-03 10:23
15K
card_5__t17_card_5.vout
2024-08-03 10:04
15K
card_5__t18_card_5
2024-07-27 22:26
19K
card_5__t18_card_5.depv1
2024-08-03 10:19
209
card_5__t18_card_5.depvmin1
2024-08-03 10:24
196
card_5__t18_card_5.vmin1
2024-08-03 10:19
1.8K
card_5__t18_card_5.vmin1out
2024-08-03 10:21
24K
card_5__t18_card_5.vout
2024-08-03 05:03
23K
card_5__t19_card_5
2024-07-27 22:04
13K
card_5__t19_card_5.depv1
2024-08-03 10:19
33
card_5__t19_card_5.depvmin1
2024-08-03 10:24
33
card_5__t19_card_5.vmin1
2024-08-03 10:19
337
card_5__t19_card_5.vmin1out
2024-08-03 10:20
4.2K
card_5__t19_card_5.vout
2024-08-03 09:53
3.8K
card_5__t20_card_5
2024-07-27 22:27
18K
card_5__t20_card_5.depv1
2024-08-03 10:19
296
card_5__t20_card_5.depvmin1
2024-08-03 10:24
287
card_5__t20_card_5.vmin1
2024-08-03 10:19
2.3K
card_5__t20_card_5.vmin1out
2024-08-03 10:21
24K
card_5__t20_card_5.vout
2024-08-03 06:17
25K
card_5__t21_card_5
2024-07-27 22:05
13K
card_5__t21_card_5.depv1
2024-08-03 10:19
34
card_5__t21_card_5.depvmin1
2024-08-03 10:24
34
card_5__t21_card_5.vmin1
2024-08-03 10:19
298
card_5__t21_card_5.vmin1out
2024-08-03 10:20
3.1K
card_5__t21_card_5.vout
2024-08-03 06:11
3.1K
card_5__t22_card_5
2024-07-27 22:28
24K
card_5__t22_card_5.vout
2024-08-03 07:47
8.3K
card_5__t23_card_5
2024-07-27 22:30
37K
card_5__t23_card_5.vout
2024-08-03 04:29
7.3K
card_5__t24_card_5
2024-07-27 22:31
19K
card_5__t24_card_5.depv1
2024-08-03 10:19
143
card_5__t24_card_5.depvmin1
2024-08-03 10:24
143
card_5__t24_card_5.vmin1
2024-08-03 10:19
1.4K
card_5__t24_card_5.vmin1out
2024-08-03 10:21
19K
card_5__t24_card_5.vout
2024-08-03 04:37
19K
card_5__t25_card_5
2024-07-27 22:32
26K
card_5__t25_card_5.vout
2024-08-03 08:54
7.3K
card_5__t26_card_5
2024-07-27 22:34
23K
card_5__t26_card_5.vout
2024-08-03 06:10
6.8K
card_5__t27_card_5
2024-07-27 22:35
20K
card_5__t27_card_5.depv1
2024-08-03 10:19
199
card_5__t27_card_5.depvmin1
2024-08-03 10:24
186
card_5__t27_card_5.vmin1
2024-08-03 10:19
2.0K
card_5__t27_card_5.vmin1out
2024-08-03 10:21
25K
card_5__t27_card_5.vout
2024-08-03 07:06
26K
card_5__t28_card_5
2024-07-27 22:36
17K
card_5__t28_card_5.depv1
2024-08-03 10:19
190
card_5__t28_card_5.depvmin1
2024-08-03 10:24
146
card_5__t28_card_5.vmin1
2024-08-03 10:19
1.6K
card_5__t28_card_5.vmin1out
2024-08-03 10:20
16K
card_5__t28_card_5.vout
2024-08-03 07:49
19K
card_5__t29_card_5
2024-07-27 22:37
30K
card_5__t29_card_5.vout
2024-08-03 05:01
7.3K
card_5__t30_card_5
2024-07-27 22:06
13K
card_5__t30_card_5.vout
2024-08-03 07:58
2.0K
card_5__t31_card_5
2024-07-27 22:38
20K
card_5__t31_card_5.vout
2024-08-03 09:40
7.3K
card_5__t32_card_5
2024-07-27 22:40
37K
card_5__t32_card_5.vout
2024-08-03 08:51
6.8K
card_5__t33_card_5
2024-07-27 22:41
32K
card_5__t33_card_5.vout
2024-08-03 08:34
3.6K
card_5__t34_card_5
2024-07-27 22:43
36K
card_5__t34_card_5.vout
2024-08-03 09:03
7.3K
card_5__t35_card_5
2024-07-27 22:45
37K
card_5__t35_card_5.vout
2024-08-03 06:21
7.3K
card_5__t36_card_5
2024-07-27 22:46
18K
card_5__t36_card_5.depv1
2024-08-03 10:19
118
card_5__t36_card_5.depvmin1
2024-08-03 10:24
118
card_5__t36_card_5.vmin1
2024-08-03 10:19
958
card_5__t36_card_5.vmin1out
2024-08-03 10:21
9.5K
card_5__t36_card_5.vout
2024-08-03 07:25
11K
card_5__t37_card_5
2024-07-27 22:47
19K
card_5__t37_card_5.depv1
2024-08-03 10:19
69
card_5__t37_card_5.depvmin1
2024-08-03 10:24
69
card_5__t37_card_5.vmin1
2024-08-03 10:19
557
card_5__t37_card_5.vmin1out
2024-08-03 10:20
6.1K
card_5__t37_card_5.vout
2024-08-03 07:51
7.6K
card_5__t38_card_5
2024-07-27 22:49
24K
card_5__t38_card_5.depv1
2024-08-03 10:19
290
card_5__t38_card_5.depvmin1
2024-08-03 10:24
224
card_5__t38_card_5.vmin1
2024-08-03 10:19
2.9K
card_5__t38_card_5.vmin1out
2024-08-03 10:20
50K
card_5__t38_card_5.vout
2024-08-03 07:08
50K
card_5__t39_card_5
2024-07-27 22:50
18K
card_5__t39_card_5.depv1
2024-08-03 10:19
84
card_5__t39_card_5.depvmin1
2024-08-03 10:24
84
card_5__t39_card_5.vmin1
2024-08-03 10:19
727
card_5__t39_card_5.vmin1out
2024-08-03 10:20
5.1K
card_5__t39_card_5.vout
2024-08-03 08:51
7.1K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80