Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/lattice3
Name
Last modified
Size
Description
Parent Directory
-
lattice3__l26_lattice3
2024-07-27 05:44
10K
lattice3__l26_lattice3.depv1
2024-08-03 10:19
55
lattice3__l26_lattice3.depvmin1
2024-08-03 10:24
39
lattice3__l26_lattice3.vmin1
2024-08-03 10:20
1.7K
lattice3__l26_lattice3.vmin1out
2024-08-03 10:23
57K
lattice3__l26_lattice3.vout
2024-08-03 07:05
181K
lattice3__l28_lattice3
2024-07-27 05:45
10K
lattice3__l28_lattice3.vout
2024-08-03 08:59
7.3K
lattice3__l79_lattice3
2024-07-27 05:47
44K
lattice3__l79_lattice3.vout
2024-08-03 05:07
3.7K
lattice3__t1_lattice3
2024-07-27 04:39
16K
lattice3__t1_lattice3.depv1
2024-08-03 10:19
38
lattice3__t1_lattice3.depvmin1
2024-08-03 10:24
38
lattice3__t1_lattice3.vmin1
2024-08-03 10:20
729
lattice3__t1_lattice3.vmin1out
2024-08-03 10:21
9.5K
lattice3__t1_lattice3.vout
2024-08-03 05:11
7.0K
lattice3__t2_lattice3
2024-07-27 04:40
14K
lattice3__t2_lattice3.depv1
2024-08-03 10:19
105
lattice3__t2_lattice3.depvmin1
2024-08-03 10:24
105
lattice3__t2_lattice3.vmin1
2024-08-03 10:20
1.1K
lattice3__t2_lattice3.vmin1out
2024-08-03 10:22
16K
lattice3__t2_lattice3.vout
2024-08-03 08:52
16K
lattice3__t3_lattice3
2024-07-27 04:45
23K
lattice3__t3_lattice3.vout
2024-08-03 05:16
8.4K
lattice3__t4_lattice3
2024-07-27 04:46
24K
lattice3__t4_lattice3.depv1
2024-08-03 10:19
202
lattice3__t4_lattice3.depvmin1
2024-08-03 10:24
202
lattice3__t4_lattice3.vmin1
2024-08-03 10:20
2.0K
lattice3__t4_lattice3.vmin1out
2024-08-03 10:21
38K
lattice3__t4_lattice3.vout
2024-08-03 04:26
39K
lattice3__t5_lattice3
2024-07-27 04:47
29K
lattice3__t5_lattice3.vout
2024-08-03 05:28
7.9K
lattice3__t6_lattice3
2024-07-27 04:49
29K
lattice3__t6_lattice3.vout
2024-08-03 06:51
4.1K
lattice3__t7_lattice3
2024-07-27 04:41
17K
lattice3__t7_lattice3.vout
2024-08-03 04:58
3.2K
lattice3__t8_lattice3
2024-07-27 04:42
11K
lattice3__t8_lattice3.depv1
2024-08-03 10:19
163
lattice3__t8_lattice3.depvmin1
2024-08-03 10:24
163
lattice3__t8_lattice3.vmin1
2024-08-03 10:20
1.3K
lattice3__t8_lattice3.vmin1out
2024-08-03 10:23
12K
lattice3__t8_lattice3.vout
2024-08-03 09:14
16K
lattice3__t9_lattice3
2024-07-27 04:42
12K
lattice3__t9_lattice3.depv1
2024-08-03 10:19
213
lattice3__t9_lattice3.depvmin1
2024-08-03 10:24
213
lattice3__t9_lattice3.vmin1
2024-08-03 10:20
2.2K
lattice3__t9_lattice3.vmin1out
2024-08-03 10:23
26K
lattice3__t9_lattice3.vout
2024-08-03 06:32
31K
lattice3__t10_lattice3
2024-07-27 04:50
13K
lattice3__t10_lattice3.vout
2024-08-03 06:07
3.2K
lattice3__t11_lattice3
2024-07-27 04:51
26K
lattice3__t11_lattice3.vout
2024-08-03 08:15
3.2K
lattice3__t12_lattice3
2024-07-27 04:52
11K
lattice3__t12_lattice3.vout
2024-08-03 04:23
7.3K
lattice3__t13_lattice3
2024-07-27 04:53
9.9K
lattice3__t13_lattice3.depv1
2024-08-03 10:19
55
lattice3__t13_lattice3.depvmin1
2024-08-03 10:24
55
lattice3__t13_lattice3.vmin1
2024-08-03 10:20
1.0K
lattice3__t13_lattice3.vmin1out
2024-08-03 10:21
42K
lattice3__t13_lattice3.vout
2024-08-03 08:52
39K
lattice3__t14_lattice3
2024-07-27 04:54
10K
lattice3__t14_lattice3.vout
2024-08-03 06:14
7.3K
lattice3__t15_lattice3
2024-07-27 04:55
9.9K
lattice3__t15_lattice3.depv1
2024-08-03 10:19
55
lattice3__t15_lattice3.depvmin1
2024-08-03 10:24
55
lattice3__t15_lattice3.vmin1
2024-08-03 10:20
1.0K
lattice3__t15_lattice3.vmin1out
2024-08-03 10:20
42K
lattice3__t15_lattice3.vout
2024-08-03 04:42
39K
lattice3__t16_lattice3
2024-07-27 04:56
10K
lattice3__t16_lattice3.vout
2024-08-03 09:24
7.3K
lattice3__t17_lattice3
2024-07-27 04:56
13K
lattice3__t17_lattice3.depv1
2024-08-03 10:19
207
lattice3__t17_lattice3.depvmin1
2024-08-03 10:24
207
lattice3__t17_lattice3.vmin1
2024-08-03 10:20
3.0K
lattice3__t17_lattice3.vmin1out
2024-08-03 10:21
38K
lattice3__t17_lattice3.vout
2024-08-03 09:21
37K
lattice3__t18_lattice3
2024-07-27 04:57
13K
lattice3__t18_lattice3.depv1
2024-08-03 10:19
207
lattice3__t18_lattice3.depvmin1
2024-08-03 10:24
207
lattice3__t18_lattice3.vmin1
2024-08-03 10:20
3.0K
lattice3__t18_lattice3.vmin1out
2024-08-03 10:22
38K
lattice3__t18_lattice3.vout
2024-08-03 10:12
37K
lattice3__t19_lattice3
2024-07-27 05:00
33K
lattice3__t19_lattice3.vout
2024-08-03 05:46
7.9K
lattice3__t20_lattice3
2024-07-27 05:01
27K
lattice3__t20_lattice3.vout
2024-08-03 06:00
7.3K
lattice3__t21_lattice3
2024-07-27 05:02
19K
lattice3__t21_lattice3.depv1
2024-08-03 10:19
327
lattice3__t21_lattice3.depvmin1
2024-08-03 10:24
242
lattice3__t21_lattice3.vmin1
2024-08-03 10:20
4.3K
lattice3__t21_lattice3.vmin1out
2024-08-03 10:22
62K
lattice3__t21_lattice3.vout
2024-08-03 05:21
71K
lattice3__t22_lattice3
2024-07-27 05:03
17K
lattice3__t22_lattice3.depv1
2024-08-03 10:19
300
lattice3__t22_lattice3.depvmin1
2024-08-03 10:24
267
lattice3__t22_lattice3.vmin1
2024-08-03 10:20
3.9K
lattice3__t22_lattice3.vmin1out
2024-08-03 10:21
74K
lattice3__t22_lattice3.vout
2024-08-03 04:29
69K
lattice3__t23_lattice3
2024-07-27 05:28
17K
lattice3__t23_lattice3.vout
2024-08-03 09:25
7.3K
lattice3__t24_lattice3
2024-07-27 05:30
17K
lattice3__t24_lattice3.vout
2024-08-03 07:21
7.3K
lattice3__t25_lattice3
2024-07-27 05:05
27K
lattice3__t25_lattice3.vout
2024-08-03 05:51
8.4K
lattice3__t26_lattice3
2024-07-27 05:06
30K
lattice3__t26_lattice3.vout
2024-08-03 04:22
7.3K
lattice3__t27_lattice3
2024-07-27 05:08
31K
lattice3__t27_lattice3.vout
2024-08-03 10:01
8.4K
lattice3__t28_lattice3
2024-07-27 05:10
20K
lattice3__t28_lattice3.depv1
2024-08-03 10:19
249
lattice3__t28_lattice3.depvmin1
2024-08-03 10:24
222
lattice3__t28_lattice3.vmin1
2024-08-03 10:20
3.7K
lattice3__t28_lattice3.vmin1out
2024-08-03 10:22
54K
lattice3__t28_lattice3.vout
2024-08-03 05:52
66K
lattice3__t29_lattice3
2024-07-27 05:11
16K
lattice3__t29_lattice3.depv1
2024-08-03 10:19
65
lattice3__t29_lattice3.depvmin1
2024-08-03 10:24
65
lattice3__t29_lattice3.vmin1
2024-08-03 10:20
1.1K
lattice3__t29_lattice3.vmin1out
2024-08-03 10:23
15K
lattice3__t29_lattice3.vout
2024-08-03 04:27
12K
lattice3__t30_lattice3
2024-07-27 05:12
20K
lattice3__t30_lattice3.depv1
2024-08-03 10:19
249
lattice3__t30_lattice3.depvmin1
2024-08-03 10:24
222
lattice3__t30_lattice3.vmin1
2024-08-03 10:20
3.7K
lattice3__t30_lattice3.vmin1out
2024-08-03 10:21
54K
lattice3__t30_lattice3.vout
2024-08-03 04:25
66K
lattice3__t31_lattice3
2024-07-27 05:13
16K
lattice3__t31_lattice3.depv1
2024-08-03 10:19
65
lattice3__t31_lattice3.depvmin1
2024-08-03 10:24
65
lattice3__t31_lattice3.vmin1
2024-08-03 10:20
1.1K
lattice3__t31_lattice3.vmin1out
2024-08-03 10:20
15K
lattice3__t31_lattice3.vout
2024-08-03 04:37
12K
lattice3__t32_lattice3
2024-07-27 05:31
19K
lattice3__t32_lattice3.vout
2024-08-03 07:00
7.3K
lattice3__t33_lattice3
2024-07-27 05:32
19K
lattice3__t33_lattice3.vout
2024-08-03 08:21
7.3K
lattice3__t34_lattice3
2024-07-27 05:15
16K
lattice3__t34_lattice3.vout
2024-08-03 07:16
7.4K
lattice3__t35_lattice3
2024-07-27 05:34
17K
lattice3__t35_lattice3.vout
2024-08-03 07:11
7.3K
lattice3__t36_lattice3
2024-07-27 05:35
18K
lattice3__t36_lattice3.vout
2024-08-03 06:42
7.3K
lattice3__t37_lattice3
2024-07-27 05:36
16K
lattice3__t37_lattice3.vout
2024-08-03 04:13
7.3K
lattice3__t38_lattice3
2024-07-27 05:16
16K
lattice3__t38_lattice3.vout
2024-08-03 05:35
7.9K
lattice3__t39_lattice3
2024-07-27 05:16
7.5K
lattice3__t39_lattice3.depv1
2024-08-03 10:19
86
lattice3__t39_lattice3.depvmin1
2024-08-03 10:24
86
lattice3__t39_lattice3.vmin1
2024-08-03 10:20
1.0K
lattice3__t39_lattice3.vmin1out
2024-08-03 10:20
9.8K
lattice3__t39_lattice3.vout
2024-08-03 06:14
15K
lattice3__t40_lattice3
2024-07-27 05:18
16K
lattice3__t40_lattice3.depv1
2024-08-03 10:19
120
lattice3__t40_lattice3.depvmin1
2024-08-03 10:24
120
lattice3__t40_lattice3.vmin1
2024-08-03 10:20
2.0K
lattice3__t40_lattice3.vmin1out
2024-08-03 10:20
17K
lattice3__t40_lattice3.vout
2024-08-03 08:07
29K
lattice3__t41_lattice3
2024-07-27 05:19
16K
lattice3__t41_lattice3.depv1
2024-08-03 10:19
120
lattice3__t41_lattice3.depvmin1
2024-08-03 10:24
120
lattice3__t41_lattice3.vmin1
2024-08-03 10:20
1.8K
lattice3__t41_lattice3.vmin1out
2024-08-03 10:23
13K
lattice3__t41_lattice3.vout
2024-08-03 04:10
26K
lattice3__t42_lattice3
2024-07-27 05:20
16K
lattice3__t42_lattice3.vout
2024-08-03 07:57
7.3K
lattice3__t43_lattice3
2024-07-27 05:21
22K
lattice3__t43_lattice3.vout
2024-08-03 07:41
7.3K
lattice3__t44_lattice3
2024-07-27 05:37
17K
lattice3__t44_lattice3.vout
2024-08-03 05:58
7.3K
lattice3__t45_lattice3
2024-07-27 05:22
16K
lattice3__t45_lattice3.vout
2024-08-03 04:39
7.3K
lattice3__t46_lattice3
2024-07-27 05:38
18K
lattice3__t46_lattice3.vout
2024-08-03 08:12
7.4K
lattice3__t47_lattice3
2024-07-27 05:24
16K
lattice3__t47_lattice3.depv1
2024-08-03 10:19
120
lattice3__t47_lattice3.depvmin1
2024-08-03 10:24
120
lattice3__t47_lattice3.vmin1
2024-08-03 10:20
2.1K
lattice3__t47_lattice3.vmin1out
2024-08-03 10:21
47K
lattice3__t47_lattice3.vout
2024-08-03 05:04
41K
lattice3__t48_lattice3
2024-07-27 05:40
19K
lattice3__t48_lattice3.vout
2024-08-03 07:44
5.3K
lattice3__t49_lattice3
2024-07-27 05:25
19K
lattice3__t49_lattice3.vout
2024-08-03 05:32
4.1K
lattice3__t50_lattice3
2024-07-27 05:26
17K
lattice3__t50_lattice3.vout
2024-08-03 07:40
7.9K
lattice3__t51_lattice3
2024-07-27 05:41
20K
lattice3__t51_lattice3.vout
2024-08-03 07:34
7.3K
lattice3__t52_lattice3
2024-07-27 05:27
22K
lattice3__t52_lattice3.vout
2024-08-03 09:44
7.3K
lattice3__t53_lattice3
2024-07-27 05:42
20K
lattice3__t53_lattice3.vout
2024-08-03 08:53
7.3K
lattice3__t54_lattice3
2024-07-27 05:43
18K
lattice3__t54_lattice3.vout
2024-08-03 08:24
7.4K
lattice3__t55_lattice3
2024-07-27 04:43
18K
lattice3__t55_lattice3.vout
2024-08-03 07:22
4.7K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80