Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/lattice4
Name
Last modified
Size
Description
Parent Directory
-
lattice4__l25_lattice4
2024-07-27 16:50
15K
lattice4__l25_lattice4.depv1
2024-08-03 10:19
198
lattice4__l25_lattice4.depvmin1
2024-08-03 10:24
198
lattice4__l25_lattice4.vmin1
2024-08-03 10:19
3.6K
lattice4__l25_lattice4.vmin1out
2024-08-03 10:20
37K
lattice4__l25_lattice4.vout
2024-08-03 07:46
35K
lattice4__l29_lattice4
2024-07-27 16:51
15K
lattice4__l29_lattice4.depv1
2024-08-03 10:19
186
lattice4__l29_lattice4.depvmin1
2024-08-03 10:24
186
lattice4__l29_lattice4.vmin1
2024-08-03 10:19
3.3K
lattice4__l29_lattice4.vmin1out
2024-08-03 10:22
33K
lattice4__l29_lattice4.vout
2024-08-03 06:32
35K
lattice4__l36_lattice4
2024-07-27 16:52
20K
lattice4__l36_lattice4.vout
2024-08-03 08:07
2.0K
lattice4__t1_lattice4
2024-07-27 16:06
3.6K
lattice4__t1_lattice4.depv1
2024-08-03 10:19
124
lattice4__t1_lattice4.depvmin1
2024-08-03 10:24
98
lattice4__t1_lattice4.vmin1
2024-08-03 10:19
1.4K
lattice4__t1_lattice4.vmin1out
2024-08-03 10:21
31K
lattice4__t1_lattice4.vout
2024-08-03 08:48
29K
lattice4__t2_lattice4
2024-07-27 16:07
12K
lattice4__t2_lattice4.vout
2024-08-03 05:04
6.8K
lattice4__t3_lattice4
2024-07-27 16:08
23K
lattice4__t3_lattice4.vout
2024-08-03 09:20
7.3K
lattice4__t4_lattice4
2024-07-27 16:02
17K
lattice4__t4_lattice4.vout
2024-08-03 08:35
2.0K
lattice4__t5_lattice4
2024-07-27 16:09
18K
lattice4__t5_lattice4.vout
2024-08-03 07:53
4.1K
lattice4__t6_lattice4
2024-07-27 16:10
13K
lattice4__t6_lattice4.depv1
2024-08-03 10:19
196
lattice4__t6_lattice4.depvmin1
2024-08-03 10:24
196
lattice4__t6_lattice4.vmin1
2024-08-03 10:19
2.2K
lattice4__t6_lattice4.vmin1out
2024-08-03 10:23
32K
lattice4__t6_lattice4.vout
2024-08-03 06:47
29K
lattice4__t7_lattice4
2024-07-27 16:11
18K
lattice4__t7_lattice4.depv1
2024-08-03 10:19
191
lattice4__t7_lattice4.depvmin1
2024-08-03 10:24
191
lattice4__t7_lattice4.vmin1
2024-08-03 10:19
2.4K
lattice4__t7_lattice4.vmin1out
2024-08-03 10:23
37K
lattice4__t7_lattice4.vout
2024-08-03 08:22
36K
lattice4__t8_lattice4
2024-07-27 16:03
9.3K
lattice4__t8_lattice4.depv1
2024-08-03 10:19
39
lattice4__t8_lattice4.depvmin1
2024-08-03 10:24
39
lattice4__t8_lattice4.vmin1
2024-08-03 10:19
887
lattice4__t8_lattice4.vmin1out
2024-08-03 10:22
11K
lattice4__t8_lattice4.vout
2024-08-03 04:49
10K
lattice4__t9_lattice4
2024-07-27 16:12
17K
lattice4__t9_lattice4.vout
2024-08-03 10:14
2.0K
lattice4__t10_lattice4
2024-07-27 16:13
17K
lattice4__t10_lattice4.vout
2024-08-03 09:20
2.0K
lattice4__t11_lattice4
2024-07-27 16:14
22K
lattice4__t11_lattice4.vout
2024-08-03 05:39
2.0K
lattice4__t12_lattice4
2024-07-27 16:15
18K
lattice4__t12_lattice4.vout
2024-08-03 04:47
7.4K
lattice4__t13_lattice4
2024-07-27 16:16
19K
lattice4__t13_lattice4.vout
2024-08-03 08:00
2.0K
lattice4__t14_lattice4
2024-07-27 16:17
20K
lattice4__t14_lattice4.vout
2024-08-03 08:20
2.0K
lattice4__t15_lattice4
2024-07-27 16:18
20K
lattice4__t15_lattice4.vout
2024-08-03 04:45
2.0K
lattice4__t16_lattice4
2024-07-27 16:04
14K
lattice4__t16_lattice4.depv1
2024-08-03 10:19
98
lattice4__t16_lattice4.depvmin1
2024-08-03 10:24
98
lattice4__t16_lattice4.vmin1
2024-08-03 10:19
1.3K
lattice4__t16_lattice4.vmin1out
2024-08-03 10:22
11K
lattice4__t16_lattice4.vout
2024-08-03 05:48
11K
lattice4__t17_lattice4
2024-07-27 16:20
21K
lattice4__t17_lattice4.vout
2024-08-03 07:24
7.3K
lattice4__t18_lattice4
2024-07-27 16:21
18K
lattice4__t18_lattice4.vout
2024-08-03 08:43
7.3K
lattice4__t19_lattice4
2024-07-27 16:05
14K
lattice4__t19_lattice4.depv1
2024-08-03 10:19
98
lattice4__t19_lattice4.depvmin1
2024-08-03 10:24
98
lattice4__t19_lattice4.vmin1
2024-08-03 10:19
1.3K
lattice4__t19_lattice4.vmin1out
2024-08-03 10:21
11K
lattice4__t19_lattice4.vout
2024-08-03 07:41
11K
lattice4__t20_lattice4
2024-07-27 16:22
19K
lattice4__t20_lattice4.vout
2024-08-03 05:54
2.0K
lattice4__t21_lattice4
2024-07-27 16:23
20K
lattice4__t21_lattice4.vout
2024-08-03 09:20
2.0K
lattice4__t22_lattice4
2024-07-27 16:24
18K
lattice4__t22_lattice4.vout
2024-08-03 04:59
2.0K
lattice4__t23_lattice4
2024-07-27 16:25
20K
lattice4__t23_lattice4.vout
2024-08-03 04:27
2.0K
lattice4__t24_lattice4
2024-07-27 16:26
21K
lattice4__t24_lattice4.vout
2024-08-03 09:26
7.3K
lattice4__t25_lattice4
2024-07-27 16:28
26K
lattice4__t25_lattice4.vout
2024-08-03 09:28
4.7K
lattice4__t26_lattice4
2024-07-27 16:29
20K
lattice4__t26_lattice4.depv1
2024-08-03 10:19
174
lattice4__t26_lattice4.depvmin1
2024-08-03 10:24
174
lattice4__t26_lattice4.vmin1
2024-08-03 10:19
4.0K
lattice4__t26_lattice4.vmin1out
2024-08-03 10:22
50K
lattice4__t26_lattice4.vout
2024-08-03 05:13
50K
lattice4__t27_lattice4
2024-07-27 16:30
21K
lattice4__t27_lattice4.depv1
2024-08-03 10:19
210
lattice4__t27_lattice4.depvmin1
2024-08-03 10:24
210
lattice4__t27_lattice4.vmin1
2024-08-03 10:19
5.1K
lattice4__t27_lattice4.vmin1out
2024-08-03 10:20
67K
lattice4__t27_lattice4.vout
2024-08-03 09:16
66K
lattice4__t28_lattice4
2024-07-27 16:31
25K
lattice4__t28_lattice4.vout
2024-08-03 07:00
7.4K
lattice4__t29_lattice4
2024-07-27 16:32
21K
lattice4__t29_lattice4.depv1
2024-08-03 10:19
123
lattice4__t29_lattice4.depvmin1
2024-08-03 10:24
123
lattice4__t29_lattice4.vmin1
2024-08-03 10:19
1.6K
lattice4__t29_lattice4.vmin1out
2024-08-03 10:21
17K
lattice4__t29_lattice4.vout
2024-08-03 06:16
17K
lattice4__t30_lattice4
2024-07-27 16:33
21K
lattice4__t30_lattice4.depv1
2024-08-03 10:19
123
lattice4__t30_lattice4.depvmin1
2024-08-03 10:24
123
lattice4__t30_lattice4.vmin1
2024-08-03 10:19
1.6K
lattice4__t30_lattice4.vmin1out
2024-08-03 10:20
17K
lattice4__t30_lattice4.vout
2024-08-03 04:33
17K
lattice4__t31_lattice4
2024-07-27 16:35
28K
lattice4__t31_lattice4.vout
2024-08-03 07:47
7.4K
lattice4__t32_lattice4
2024-07-27 16:36
21K
lattice4__t32_lattice4.vout
2024-08-03 04:09
2.0K
lattice4__t33_lattice4
2024-07-27 16:37
21K
lattice4__t33_lattice4.depv1
2024-08-03 10:19
92
lattice4__t33_lattice4.depvmin1
2024-08-03 10:24
77
lattice4__t33_lattice4.vmin1
2024-08-03 10:19
2.0K
lattice4__t33_lattice4.vmin1out
2024-08-03 10:20
22K
lattice4__t33_lattice4.vout
2024-08-03 05:22
23K
lattice4__t34_lattice4
2024-07-27 16:38
18K
lattice4__t34_lattice4.depv1
2024-08-03 10:19
164
lattice4__t34_lattice4.depvmin1
2024-08-03 10:24
154
lattice4__t34_lattice4.vmin1
2024-08-03 10:19
2.0K
lattice4__t34_lattice4.vmin1out
2024-08-03 10:22
25K
lattice4__t34_lattice4.vout
2024-08-03 08:13
29K
lattice4__t35_lattice4
2024-07-27 16:39
21K
lattice4__t35_lattice4.vout
2024-08-03 05:48
2.0K
lattice4__t36_lattice4
2024-07-27 16:05
12K
lattice4__t36_lattice4.depv1
2024-08-03 10:19
73
lattice4__t36_lattice4.depvmin1
2024-08-03 10:24
73
lattice4__t36_lattice4.vmin1
2024-08-03 10:19
1.2K
lattice4__t36_lattice4.vmin1out
2024-08-03 10:22
38K
lattice4__t36_lattice4.vout
2024-08-03 08:56
34K
lattice4__t37_lattice4
2024-07-27 16:40
19K
lattice4__t37_lattice4.depv1
2024-08-03 10:19
105
lattice4__t37_lattice4.depvmin1
2024-08-03 10:24
96
lattice4__t37_lattice4.vmin1
2024-08-03 10:19
1.8K
lattice4__t37_lattice4.vmin1out
2024-08-03 10:23
43K
lattice4__t37_lattice4.vout
2024-08-03 07:13
48K
lattice4__t38_lattice4
2024-07-27 16:42
21K
lattice4__t38_lattice4.depv1
2024-08-03 10:19
188
lattice4__t38_lattice4.depvmin1
2024-08-03 10:24
188
lattice4__t38_lattice4.vmin1
2024-08-03 10:19
2.9K
lattice4__t38_lattice4.vmin1out
2024-08-03 10:21
42K
lattice4__t38_lattice4.vout
2024-08-03 04:12
42K
lattice4__t39_lattice4
2024-07-27 16:43
30K
lattice4__t39_lattice4.vout
2024-08-03 06:22
4.7K
lattice4__t40_lattice4
2024-07-27 16:44
21K
lattice4__t40_lattice4.depv1
2024-08-03 10:19
188
lattice4__t40_lattice4.depvmin1
2024-08-03 10:24
188
lattice4__t40_lattice4.vmin1
2024-08-03 10:19
2.9K
lattice4__t40_lattice4.vmin1out
2024-08-03 10:21
42K
lattice4__t40_lattice4.vout
2024-08-03 09:17
42K
lattice4__t41_lattice4
2024-07-27 16:46
30K
lattice4__t41_lattice4.vout
2024-08-03 04:22
4.7K
lattice4__t42_lattice4
2024-07-27 16:48
39K
lattice4__t42_lattice4.vout
2024-08-03 10:19
3.7K
lattice4__t43_lattice4
2024-07-27 16:49
32K
lattice4__t43_lattice4.vout
2024-08-03 05:10
3.7K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80