Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/card_4
Name
Last modified
Size
Description
Parent Directory
-
card_4__l4_card_4
2024-07-27 16:47
208K
card_4__l4_card_4.vout
2024-08-03 04:52
4.7K
card_4__l6_card_4
2024-07-27 16:48
18K
card_4__l6_card_4.depv1
2024-08-03 10:19
117
card_4__l6_card_4.depvmin1
2024-08-03 10:24
117
card_4__l6_card_4.vmin1
2024-08-03 10:19
1.1K
card_4__l6_card_4.vmin1out
2024-08-03 10:22
11K
card_4__l6_card_4.vout
2024-08-03 06:22
11K
card_4__t1_card_4
2024-07-27 16:19
16K
card_4__t1_card_4.depv1
2024-08-03 10:19
21
card_4__t1_card_4.depvmin1
2024-08-03 10:24
21
card_4__t1_card_4.vmin1
2024-08-03 10:19
148
card_4__t1_card_4.vmin1out
2024-08-03 10:21
1.8K
card_4__t1_card_4.vout
2024-08-03 10:07
1.9K
card_4__t2_card_4
2024-07-27 16:20
16K
card_4__t2_card_4.depv1
2024-08-03 10:19
33
card_4__t2_card_4.depvmin1
2024-08-03 10:24
33
card_4__t2_card_4.vmin1
2024-08-03 10:19
198
card_4__t2_card_4.vmin1out
2024-08-03 10:20
1.7K
card_4__t2_card_4.vout
2024-08-03 07:23
1.7K
card_4__t3_card_4
2024-07-27 16:22
36K
card_4__t3_card_4.vout
2024-08-03 07:22
7.8K
card_4__t4_card_4
2024-07-27 16:23
42K
card_4__t4_card_4.vout
2024-08-03 07:01
4.7K
card_4__t5_card_4
2024-07-27 16:24
55K
card_4__t5_card_4.vout
2024-08-03 07:04
7.8K
card_4__t6_card_4
2024-07-27 16:21
21K
card_4__t6_card_4.depv1
2024-08-03 10:19
52
card_4__t6_card_4.depvmin1
2024-08-03 10:24
52
card_4__t6_card_4.vmin1
2024-08-03 10:19
496
card_4__t6_card_4.vmin1out
2024-08-03 10:22
3.2K
card_4__t6_card_4.vout
2024-08-03 05:17
3.7K
card_4__t7_card_4
2024-07-27 16:25
29K
card_4__t7_card_4.vout
2024-08-03 08:27
7.2K
card_4__t8_card_4
2024-07-27 16:27
36K
card_4__t8_card_4.vout
2024-08-03 04:51
4.7K
card_4__t9_card_4
2024-07-27 16:28
59K
card_4__t9_card_4.vout
2024-08-03 07:59
6.7K
card_4__t10_card_4
2024-07-27 16:30
36K
card_4__t10_card_4.vout
2024-08-03 04:19
7.3K
card_4__t11_card_4
2024-07-27 16:31
26K
card_4__t11_card_4.depv1
2024-08-03 10:19
77
card_4__t11_card_4.depvmin1
2024-08-03 10:24
77
card_4__t11_card_4.vmin1
2024-08-03 10:19
874
card_4__t11_card_4.vmin1out
2024-08-03 10:21
12K
card_4__t11_card_4.vout
2024-08-03 08:25
10K
card_4__t12_card_4
2024-07-27 16:32
22K
card_4__t12_card_4.depv1
2024-08-03 10:19
54
card_4__t12_card_4.depvmin1
2024-08-03 10:24
54
card_4__t12_card_4.vmin1
2024-08-03 10:19
618
card_4__t12_card_4.vmin1out
2024-08-03 10:22
8.1K
card_4__t12_card_4.vout
2024-08-03 07:50
7.6K
card_4__t13_card_4
2024-07-27 16:33
27K
card_4__t13_card_4.vout
2024-08-03 04:40
5.3K
card_4__t14_card_4
2024-07-27 16:34
44K
card_4__t14_card_4.vout
2024-08-03 04:29
8.3K
card_4__t15_card_4
2024-07-27 16:36
47K
card_4__t15_card_4.vout
2024-08-03 10:02
7.3K
card_4__t16_card_4
2024-07-27 16:37
22K
card_4__t16_card_4.vout
2024-08-03 08:55
2.0K
card_4__t17_card_4
2024-07-27 16:38
21K
card_4__t17_card_4.depv1
2024-08-03 10:19
293
card_4__t17_card_4.depvmin1
2024-08-03 10:24
280
card_4__t17_card_4.vmin1
2024-08-03 10:19
2.2K
card_4__t17_card_4.vmin1out
2024-08-03 10:21
22K
card_4__t17_card_4.vout
2024-08-03 05:22
39K
card_4__t18_card_4
2024-07-27 16:39
21K
card_4__t18_card_4.depv1
2024-08-03 10:19
77
card_4__t18_card_4.depvmin1
2024-08-03 10:24
77
card_4__t18_card_4.vmin1
2024-08-03 10:19
1.1K
card_4__t18_card_4.vmin1out
2024-08-03 10:22
7.9K
card_4__t18_card_4.vout
2024-08-03 04:44
8.9K
card_4__t19_card_4
2024-07-27 16:40
29K
card_4__t19_card_4.vout
2024-08-03 05:33
6.8K
card_4__t20_card_4
2024-07-27 16:42
35K
card_4__t20_card_4.vout
2024-08-03 05:19
7.3K
card_4__t21_card_4
2024-07-27 16:43
22K
card_4__t21_card_4.depv1
2024-08-03 10:19
154
card_4__t21_card_4.depvmin1
2024-08-03 10:24
117
card_4__t21_card_4.vmin1
2024-08-03 10:19
1.1K
card_4__t21_card_4.vmin1out
2024-08-03 10:21
7.7K
card_4__t21_card_4.vout
2024-08-03 05:03
8.4K
card_4__t22_card_4
2024-07-27 16:44
22K
card_4__t22_card_4.depv1
2024-08-03 10:19
199
card_4__t22_card_4.depvmin1
2024-08-03 10:24
199
card_4__t22_card_4.vmin1
2024-08-03 10:19
1.6K
card_4__t22_card_4.vmin1out
2024-08-03 10:21
17K
card_4__t22_card_4.vout
2024-08-03 05:13
17K
card_4__t23_card_4
2024-07-27 16:45
37K
card_4__t23_card_4.vout
2024-08-03 05:58
7.3K
card_4__t24_card_4
2024-07-27 16:46
35K
card_4__t24_card_4.vout
2024-08-03 04:48
5.8K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80