Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/closure2
Name
Last modified
Size
Description
Parent Directory
-
closure2__l35_closure2
2024-07-27 04:34
21K
closure2__l35_closure2.vout
2024-08-03 04:10
7.4K
closure2__t1_closure2
2024-07-27 03:58
16K
closure2__t1_closure2.depv1
2024-08-03 10:19
113
closure2__t1_closure2.depvmin1
2024-08-03 10:24
113
closure2__t1_closure2.vmin1
2024-08-03 10:20
1.1K
closure2__t1_closure2.vmin1out
2024-08-03 10:22
10K
closure2__t1_closure2.vout
2024-08-03 06:25
14K
closure2__t2_closure2
2024-07-27 04:02
18K
closure2__t2_closure2.vout
2024-08-03 07:15
7.3K
closure2__t3_closure2
2024-07-27 03:59
12K
closure2__t3_closure2.depv1
2024-08-03 10:19
27
closure2__t3_closure2.depvmin1
2024-08-03 10:24
27
closure2__t3_closure2.vmin1
2024-08-03 10:20
529
closure2__t3_closure2.vmin1out
2024-08-03 10:21
6.1K
closure2__t3_closure2.vout
2024-08-03 06:31
5.9K
closure2__t4_closure2
2024-07-27 04:00
12K
closure2__t4_closure2.depv1
2024-08-03 10:19
52
closure2__t4_closure2.depvmin1
2024-08-03 10:24
27
closure2__t4_closure2.vmin1
2024-08-03 10:20
626
closure2__t4_closure2.vmin1out
2024-08-03 10:20
5.5K
closure2__t4_closure2.vout
2024-08-03 08:38
6.2K
closure2__t5_closure2
2024-07-27 04:00
12K
closure2__t5_closure2.depv1
2024-08-03 10:19
52
closure2__t5_closure2.depvmin1
2024-08-03 10:24
27
closure2__t5_closure2.vmin1
2024-08-03 10:20
572
closure2__t5_closure2.vmin1out
2024-08-03 10:20
4.5K
closure2__t5_closure2.vout
2024-08-03 07:16
5.3K
closure2__t6_closure2
2024-07-27 04:01
12K
closure2__t6_closure2.depv1
2024-08-03 10:19
52
closure2__t6_closure2.depvmin1
2024-08-03 10:24
27
closure2__t6_closure2.vmin1
2024-08-03 10:20
700
closure2__t6_closure2.vmin1out
2024-08-03 10:20
6.1K
closure2__t6_closure2.vout
2024-08-03 06:58
7.3K
closure2__t7_closure2
2024-07-27 04:02
14K
closure2__t7_closure2.depv1
2024-08-03 10:19
58
closure2__t7_closure2.depvmin1
2024-08-03 10:24
58
closure2__t7_closure2.vmin1
2024-08-03 10:20
1.0K
closure2__t7_closure2.vmin1out
2024-08-03 10:21
18K
closure2__t7_closure2.vout
2024-08-03 07:06
18K
closure2__t8_closure2
2024-07-27 04:03
15K
closure2__t8_closure2.depv1
2024-08-03 10:19
76
closure2__t8_closure2.depvmin1
2024-08-03 10:24
76
closure2__t8_closure2.vmin1
2024-08-03 10:20
1.2K
closure2__t8_closure2.vmin1out
2024-08-03 10:22
15K
closure2__t8_closure2.vout
2024-08-03 05:36
15K
closure2__t9_closure2
2024-07-27 04:04
16K
closure2__t9_closure2.vout
2024-08-03 08:09
7.3K
closure2__t10_closure2
2024-07-27 04:04
16K
closure2__t10_closure2.vout
2024-08-03 06:51
7.3K
closure2__t11_closure2
2024-07-27 04:05
15K
closure2__t11_closure2.depv1
2024-08-03 10:19
166
closure2__t11_closure2.depvmin1
2024-08-03 10:24
166
closure2__t11_closure2.vmin1
2024-08-03 10:20
2.8K
closure2__t11_closure2.vmin1out
2024-08-03 10:20
53K
closure2__t11_closure2.vout
2024-08-03 06:59
37K
closure2__t12_closure2
2024-07-27 04:06
16K
closure2__t12_closure2.vout
2024-08-03 06:38
7.3K
closure2__t13_closure2
2024-07-27 04:07
16K
closure2__t13_closure2.vout
2024-08-03 05:27
7.3K
closure2__t14_closure2
2024-07-27 04:33
18K
closure2__t14_closure2.vout
2024-08-03 05:09
6.8K
closure2__t15_closure2
2024-07-27 04:07
11K
closure2__t15_closure2.vout
2024-08-03 08:23
7.3K
closure2__t16_closure2
2024-07-27 04:08
12K
closure2__t16_closure2.vout
2024-08-03 04:15
5.3K
closure2__t17_closure2
2024-07-27 04:09
11K
closure2__t17_closure2.vout
2024-08-03 09:32
7.3K
closure2__t18_closure2
2024-07-27 04:09
16K
closure2__t18_closure2.depv1
2024-08-03 10:19
207
closure2__t18_closure2.depvmin1
2024-08-03 10:24
155
closure2__t18_closure2.vmin1
2024-08-03 10:20
2.7K
closure2__t18_closure2.vmin1out
2024-08-03 10:21
30K
closure2__t18_closure2.vout
2024-08-03 05:41
41K
closure2__t19_closure2
2024-07-27 04:10
11K
closure2__t19_closure2.vout
2024-08-03 06:57
7.3K
closure2__t20_closure2
2024-07-27 04:11
16K
closure2__t20_closure2.depv1
2024-08-03 10:19
165
closure2__t20_closure2.depvmin1
2024-08-03 10:24
114
closure2__t20_closure2.vmin1
2024-08-03 10:20
2.2K
closure2__t20_closure2.vmin1out
2024-08-03 10:22
29K
closure2__t20_closure2.vout
2024-08-03 07:58
33K
closure2__t21_closure2
2024-07-27 04:12
17K
closure2__t21_closure2.depv1
2024-08-03 10:19
308
closure2__t21_closure2.depvmin1
2024-08-03 10:24
220
closure2__t21_closure2.vmin1
2024-08-03 10:20
3.9K
closure2__t21_closure2.vmin1out
2024-08-03 10:23
52K
closure2__t21_closure2.vout
2024-08-03 04:54
54K
closure2__t22_closure2
2024-07-27 04:12
19K
closure2__t22_closure2.vout
2024-08-03 09:02
4.7K
closure2__t23_closure2
2024-07-27 04:13
21K
closure2__t23_closure2.vout
2024-08-03 07:42
4.7K
closure2__t24_closure2
2024-07-27 04:14
20K
closure2__t24_closure2.vout
2024-08-03 06:36
7.3K
closure2__t25_closure2
2024-07-27 04:15
30K
closure2__t25_closure2.vout
2024-08-03 10:16
3.7K
closure2__t26_closure2
2024-07-27 04:16
18K
closure2__t26_closure2.vout
2024-08-03 04:13
2.0K
closure2__t27_closure2
2024-07-27 04:17
18K
closure2__t27_closure2.vout
2024-08-03 07:29
2.0K
closure2__t28_closure2
2024-07-27 04:18
18K
closure2__t28_closure2.vout
2024-08-03 06:14
2.0K
closure2__t29_closure2
2024-07-27 04:18
24K
closure2__t29_closure2.vout
2024-08-03 06:11
7.3K
closure2__t30_closure2
2024-07-27 04:19
21K
closure2__t30_closure2.vout
2024-08-03 04:30
4.1K
closure2__t31_closure2
2024-07-27 04:20
21K
closure2__t31_closure2.vout
2024-08-03 08:59
4.1K
closure2__t32_closure2
2024-07-27 04:21
22K
closure2__t32_closure2.vout
2024-08-03 07:23
4.1K
closure2__t33_closure2
2024-07-27 04:22
24K
closure2__t33_closure2.vout
2024-08-03 08:40
4.1K
closure2__t34_closure2
2024-07-27 04:23
25K
closure2__t34_closure2.vout
2024-08-03 05:11
6.8K
closure2__t35_closure2
2024-07-27 04:24
25K
closure2__t35_closure2.vout
2024-08-03 07:39
6.8K
closure2__t36_closure2
2024-07-27 04:25
26K
closure2__t36_closure2.vout
2024-08-03 06:09
4.1K
closure2__t37_closure2
2024-07-27 04:26
26K
closure2__t37_closure2.vout
2024-08-03 06:27
7.3K
closure2__t38_closure2
2024-07-27 04:27
28K
closure2__t38_closure2.vout
2024-08-03 06:20
7.4K
closure2__t39_closure2
2024-07-27 04:28
30K
closure2__t39_closure2.vout
2024-08-03 09:47
7.3K
closure2__t40_closure2
2024-07-27 04:30
32K
closure2__t40_closure2.vout
2024-08-03 10:17
7.3K
closure2__t41_closure2
2024-07-27 04:31
44K
closure2__t41_closure2.vout
2024-08-03 06:40
7.3K
closure2__t42_closure2
2024-07-27 04:33
41K
closure2__t42_closure2.vout
2024-08-03 06:55
7.4K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80