Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/closure1
Name
Last modified
Size
Description
Parent Directory
-
closure1__l3_closure1
2024-07-28 13:10
21K
closure1__l3_closure1.vout
2024-08-03 07:34
7.3K
closure1__l29_closure1
2024-07-28 13:11
29K
closure1__l29_closure1.vout
2024-08-03 07:24
4.7K
closure1__t1_closure1
2024-07-28 13:08
8.2K
closure1__t1_closure1.depv1
2024-08-03 10:19
46
closure1__t1_closure1.depvmin1
2024-08-03 10:24
46
closure1__t1_closure1.vmin1
2024-08-03 10:19
484
closure1__t1_closure1.vmin1out
2024-08-03 10:20
15K
closure1__t1_closure1.vout
2024-08-03 06:26
9.0K
closure1__t2_closure1
2024-07-28 12:30
8.0K
closure1__t2_closure1.vout
2024-08-03 09:50
2.0K
closure1__t3_closure1
2024-07-28 12:32
20K
closure1__t3_closure1.vout
2024-08-03 09:51
7.3K
closure1__t4_closure1
2024-07-28 12:33
20K
closure1__t4_closure1.vout
2024-08-03 08:54
6.2K
closure1__t5_closure1
2024-07-28 12:33
14K
closure1__t5_closure1.vout
2024-08-03 06:26
4.7K
closure1__t6_closure1
2024-07-28 12:34
28K
closure1__t6_closure1.vout
2024-08-03 05:32
7.3K
closure1__t7_closure1
2024-07-28 12:35
27K
closure1__t7_closure1.vout
2024-08-03 09:23
6.8K
closure1__t8_closure1
2024-07-28 12:36
22K
closure1__t8_closure1.vout
2024-08-03 07:48
4.7K
closure1__t9_closure1
2024-07-28 12:37
17K
closure1__t9_closure1.depv1
2024-08-03 10:19
115
closure1__t9_closure1.depvmin1
2024-08-03 10:24
115
closure1__t9_closure1.vmin1
2024-08-03 10:19
2.0K
closure1__t9_closure1.vmin1out
2024-08-03 10:23
21K
closure1__t9_closure1.vout
2024-08-03 07:38
27K
closure1__t10_closure1
2024-07-28 12:38
15K
closure1__t10_closure1.vout
2024-08-03 06:44
6.2K
closure1__t11_closure1
2024-07-28 12:39
34K
closure1__t11_closure1.vout
2024-08-03 08:58
6.8K
closure1__t12_closure1
2024-07-28 12:40
18K
closure1__t12_closure1.vout
2024-08-03 09:19
6.2K
closure1__t13_closure1
2024-07-28 12:40
21K
closure1__t13_closure1.vout
2024-08-03 07:34
2.0K
closure1__t14_closure1
2024-07-28 12:41
18K
closure1__t14_closure1.vout
2024-08-03 06:37
6.2K
closure1__t15_closure1
2024-07-28 12:42
27K
closure1__t15_closure1.vout
2024-08-03 08:58
6.3K
closure1__t16_closure1
2024-07-28 12:43
23K
closure1__t16_closure1.vout
2024-08-03 09:41
5.3K
closure1__t17_closure1
2024-07-28 12:44
22K
closure1__t17_closure1.vout
2024-08-03 09:03
4.7K
closure1__t18_closure1
2024-07-28 12:45
26K
closure1__t18_closure1.vout
2024-08-03 05:14
4.7K
closure1__t19_closure1
2024-07-28 12:46
28K
closure1__t19_closure1.vout
2024-08-03 07:11
5.3K
closure1__t20_closure1
2024-07-28 12:47
27K
closure1__t20_closure1.vout
2024-08-03 05:01
4.7K
closure1__t21_closure1
2024-07-28 12:48
27K
closure1__t21_closure1.vout
2024-08-03 07:46
4.7K
closure1__t22_closure1
2024-07-28 12:49
27K
closure1__t22_closure1.vout
2024-08-03 08:09
4.7K
closure1__t23_closure1
2024-07-28 12:50
29K
closure1__t23_closure1.vout
2024-08-03 04:29
4.7K
closure1__t24_closure1
2024-07-28 12:51
33K
closure1__t24_closure1.vout
2024-08-03 07:36
7.3K
closure1__t25_closure1
2024-07-28 12:52
33K
closure1__t25_closure1.vout
2024-08-03 04:58
7.3K
closure1__t26_closure1
2024-07-28 12:53
33K
closure1__t26_closure1.vout
2024-08-03 10:18
7.3K
closure1__t27_closure1
2024-07-28 12:54
36K
closure1__t27_closure1.vout
2024-08-03 07:35
7.3K
closure1__t28_closure1
2024-07-28 12:55
27K
closure1__t28_closure1.vout
2024-08-03 09:54
4.7K
closure1__t29_closure1
2024-07-28 12:56
22K
closure1__t29_closure1.vout
2024-08-03 05:55
7.3K
closure1__t30_closure1
2024-07-28 12:57
42K
closure1__t30_closure1.vout
2024-08-03 04:30
6.8K
closure1__t31_closure1
2024-07-28 12:58
20K
closure1__t31_closure1.vout
2024-08-03 05:27
7.3K
closure1__t32_closure1
2024-07-28 13:09
29K
closure1__t32_closure1.vout
2024-08-03 09:17
3.7K
closure1__t33_closure1
2024-07-28 13:00
39K
closure1__t33_closure1.vout
2024-08-03 04:17
3.7K
closure1__t34_closure1
2024-07-28 13:01
24K
closure1__t34_closure1.vout
2024-08-03 04:16
4.7K
closure1__t35_closure1
2024-07-28 13:02
24K
closure1__t35_closure1.vout
2024-08-03 07:50
4.7K
closure1__t36_closure1
2024-07-28 13:03
26K
closure1__t36_closure1.vout
2024-08-03 08:09
3.7K
closure1__t37_closure1
2024-07-28 13:04
27K
closure1__t37_closure1.vout
2024-08-03 05:54
4.7K
closure1__t38_closure1
2024-07-28 12:31
26K
closure1__t38_closure1.vout
2024-08-03 06:51
4.7K
closure1__t39_closure1
2024-07-28 13:05
47K
closure1__t39_closure1.vout
2024-08-03 08:32
3.7K
closure1__t40_closure1
2024-07-28 13:07
49K
closure1__t40_closure1.vout
2024-08-03 08:11
5.3K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80