Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/lattice2
Name
Last modified
Size
Description
Parent Directory
-
lattice2__t1_lattice2
2024-07-28 13:42
9.4K
lattice2__t1_lattice2.vout
2024-08-03 09:29
7.3K
lattice2__t2_lattice2
2024-07-28 13:43
8.4K
lattice2__t2_lattice2.vout
2024-08-03 09:55
7.1K
lattice2__t3_lattice2
2024-07-28 13:43
12K
lattice2__t3_lattice2.vout
2024-08-03 05:34
6.8K
lattice2__t4_lattice2
2024-07-28 13:44
10K
lattice2__t4_lattice2.vout
2024-08-03 08:02
7.3K
lattice2__t5_lattice2
2024-07-28 13:45
6.6K
lattice2__t5_lattice2.depv1
2024-08-03 10:19
88
lattice2__t5_lattice2.depvmin1
2024-08-03 10:24
88
lattice2__t5_lattice2.vmin1
2024-08-03 10:20
1.3K
lattice2__t5_lattice2.vmin1out
2024-08-03 10:20
30K
lattice2__t5_lattice2.vout
2024-08-03 09:01
30K
lattice2__t6_lattice2
2024-07-28 13:26
7.8K
lattice2__t6_lattice2.depv1
2024-08-03 10:19
146
lattice2__t6_lattice2.depvmin1
2024-08-03 10:24
146
lattice2__t6_lattice2.vmin1
2024-08-03 10:20
1.6K
lattice2__t6_lattice2.vmin1out
2024-08-03 10:21
14K
lattice2__t6_lattice2.vout
2024-08-03 05:37
14K
lattice2__t7_lattice2
2024-07-28 13:45
8.7K
lattice2__t7_lattice2.vout
2024-08-03 04:32
2.0K
lattice2__t8_lattice2
2024-07-28 13:46
8.2K
lattice2__t8_lattice2.depv1
2024-08-03 10:19
62
lattice2__t8_lattice2.depvmin1
2024-08-03 10:24
62
lattice2__t8_lattice2.vmin1
2024-08-03 10:20
1.1K
lattice2__t8_lattice2.vmin1out
2024-08-03 10:21
12K
lattice2__t8_lattice2.vout
2024-08-03 07:56
12K
lattice2__t9_lattice2
2024-07-28 13:46
7.5K
lattice2__t9_lattice2.depv1
2024-08-03 10:19
62
lattice2__t9_lattice2.depvmin1
2024-08-03 10:24
62
lattice2__t9_lattice2.vmin1
2024-08-03 10:20
858
lattice2__t9_lattice2.vmin1out
2024-08-03 10:23
8.5K
lattice2__t9_lattice2.vout
2024-08-03 09:23
8.5K
lattice2__t10_lattice2
2024-07-28 13:47
8.6K
lattice2__t10_lattice2.depv1
2024-08-03 10:19
61
lattice2__t10_lattice2.depvmin1
2024-08-03 10:24
38
lattice2__t10_lattice2.vmin1
2024-08-03 10:20
1.2K
lattice2__t10_lattice2.vmin1out
2024-08-03 10:23
20K
lattice2__t10_lattice2.vout
2024-08-03 07:35
24K
lattice2__t11_lattice2
2024-07-28 13:48
15K
lattice2__t11_lattice2.vout
2024-08-03 10:01
2.0K
lattice2__t12_lattice2
2024-07-28 13:27
13K
lattice2__t12_lattice2.depv1
2024-08-03 10:19
178
lattice2__t12_lattice2.depvmin1
2024-08-03 10:24
178
lattice2__t12_lattice2.vmin1
2024-08-03 10:20
2.6K
lattice2__t12_lattice2.vmin1out
2024-08-03 10:22
31K
lattice2__t12_lattice2.vout
2024-08-03 09:11
28K
lattice2__t13_lattice2
2024-07-28 13:28
11K
lattice2__t13_lattice2.depv1
2024-08-03 10:19
195
lattice2__t13_lattice2.depvmin1
2024-08-03 10:24
127
lattice2__t13_lattice2.vmin1
2024-08-03 10:20
2.1K
lattice2__t13_lattice2.vmin1out
2024-08-03 10:20
15K
lattice2__t13_lattice2.vout
2024-08-03 09:23
22K
lattice2__t14_lattice2
2024-07-28 13:49
15K
lattice2__t14_lattice2.depv1
2024-08-03 10:19
153
lattice2__t14_lattice2.depvmin1
2024-08-03 10:24
153
lattice2__t14_lattice2.vmin1
2024-08-03 10:20
2.1K
lattice2__t14_lattice2.vmin1out
2024-08-03 10:21
28K
lattice2__t14_lattice2.vout
2024-08-03 07:52
30K
lattice2__t15_lattice2
2024-07-28 13:50
13K
lattice2__t15_lattice2.depv1
2024-08-03 10:19
91
lattice2__t15_lattice2.depvmin1
2024-08-03 10:24
91
lattice2__t15_lattice2.vmin1
2024-08-03 10:20
1.4K
lattice2__t15_lattice2.vmin1out
2024-08-03 10:21
18K
lattice2__t15_lattice2.vout
2024-08-03 04:38
17K
lattice2__t16_lattice2
2024-07-28 13:51
15K
lattice2__t16_lattice2.depv1
2024-08-03 10:19
179
lattice2__t16_lattice2.depvmin1
2024-08-03 10:24
179
lattice2__t16_lattice2.vmin1
2024-08-03 10:20
2.3K
lattice2__t16_lattice2.vmin1out
2024-08-03 10:21
31K
lattice2__t16_lattice2.vout
2024-08-03 04:21
34K
lattice2__t17_lattice2
2024-07-28 13:52
13K
lattice2__t17_lattice2.depv1
2024-08-03 10:19
91
lattice2__t17_lattice2.depvmin1
2024-08-03 10:24
91
lattice2__t17_lattice2.vmin1
2024-08-03 10:20
1.4K
lattice2__t17_lattice2.vmin1out
2024-08-03 10:20
18K
lattice2__t17_lattice2.vout
2024-08-03 08:38
17K
lattice2__t18_lattice2
2024-07-28 13:53
13K
lattice2__t18_lattice2.depv1
2024-08-03 10:19
195
lattice2__t18_lattice2.depvmin1
2024-08-03 10:24
195
lattice2__t18_lattice2.vmin1
2024-08-03 10:20
3.3K
lattice2__t18_lattice2.vmin1out
2024-08-03 10:23
46K
lattice2__t18_lattice2.vout
2024-08-03 07:14
45K
lattice2__t19_lattice2
2024-07-28 13:54
13K
lattice2__t19_lattice2.depv1
2024-08-03 10:19
195
lattice2__t19_lattice2.depvmin1
2024-08-03 10:24
195
lattice2__t19_lattice2.vmin1
2024-08-03 10:20
3.3K
lattice2__t19_lattice2.vmin1out
2024-08-03 10:20
45K
lattice2__t19_lattice2.vout
2024-08-03 08:53
45K
lattice2__t20_lattice2
2024-07-28 13:55
15K
lattice2__t20_lattice2.vout
2024-08-03 07:39
3.7K
lattice2__t21_lattice2
2024-07-28 13:56
18K
lattice2__t21_lattice2.vout
2024-08-03 06:04
3.7K
lattice2__t22_lattice2
2024-07-28 13:57
19K
lattice2__t22_lattice2.vout
2024-08-03 05:20
3.7K
lattice2__t23_lattice2
2024-07-28 13:58
18K
lattice2__t23_lattice2.vout
2024-08-03 06:59
3.7K
lattice2__t24_lattice2
2024-07-28 13:29
14K
lattice2__t24_lattice2.vout
2024-08-03 07:10
3.7K
lattice2__t25_lattice2
2024-07-28 13:59
15K
lattice2__t25_lattice2.vout
2024-08-03 07:31
3.7K
lattice2__t26_lattice2
2024-07-28 14:00
16K
lattice2__t26_lattice2.depv1
2024-08-03 10:19
293
lattice2__t26_lattice2.depvmin1
2024-08-03 10:24
264
lattice2__t26_lattice2.vmin1
2024-08-03 10:20
4.1K
lattice2__t26_lattice2.vmin1out
2024-08-03 10:22
34K
lattice2__t26_lattice2.vout
2024-08-03 07:35
47K
lattice2__t27_lattice2
2024-07-28 14:01
16K
lattice2__t27_lattice2.depv1
2024-08-03 10:19
161
lattice2__t27_lattice2.depvmin1
2024-08-03 10:24
161
lattice2__t27_lattice2.vmin1
2024-08-03 10:20
2.8K
lattice2__t27_lattice2.vmin1out
2024-08-03 10:23
25K
lattice2__t27_lattice2.vout
2024-08-03 09:29
35K
lattice2__t28_lattice2
2024-07-28 13:30
15K
lattice2__t28_lattice2.vout
2024-08-03 05:58
2.0K
lattice2__t29_lattice2
2024-07-28 14:02
17K
lattice2__t29_lattice2.vout
2024-08-03 04:08
2.0K
lattice2__t30_lattice2
2024-07-28 13:31
14K
lattice2__t30_lattice2.depv1
2024-08-03 10:19
148
lattice2__t30_lattice2.depvmin1
2024-08-03 10:24
148
lattice2__t30_lattice2.vmin1
2024-08-03 10:20
3.2K
lattice2__t30_lattice2.vmin1out
2024-08-03 10:21
66K
lattice2__t30_lattice2.vout
2024-08-03 08:58
62K
lattice2__t31_lattice2
2024-07-28 14:03
16K
lattice2__t31_lattice2.depv1
2024-08-03 10:19
199
lattice2__t31_lattice2.depvmin1
2024-08-03 10:24
199
lattice2__t31_lattice2.vmin1
2024-08-03 10:20
3.8K
lattice2__t31_lattice2.vmin1out
2024-08-03 10:20
49K
lattice2__t31_lattice2.vout
2024-08-03 07:14
50K
lattice2__t32_lattice2
2024-07-28 14:04
19K
lattice2__t32_lattice2.vout
2024-08-03 07:24
7.9K
lattice2__t33_lattice2
2024-07-28 14:05
15K
lattice2__t33_lattice2.depv1
2024-08-03 10:19
92
lattice2__t33_lattice2.depvmin1
2024-08-03 10:24
92
lattice2__t33_lattice2.vmin1
2024-08-03 10:20
2.6K
lattice2__t33_lattice2.vmin1out
2024-08-03 10:20
53K
lattice2__t33_lattice2.vout
2024-08-03 06:12
54K
lattice2__t34_lattice2
2024-07-28 14:06
16K
lattice2__t34_lattice2.depv1
2024-08-03 10:19
235
lattice2__t34_lattice2.depvmin1
2024-08-03 10:24
235
lattice2__t34_lattice2.vmin1
2024-08-03 10:20
4.1K
lattice2__t34_lattice2.vmin1out
2024-08-03 10:22
62K
lattice2__t34_lattice2.vout
2024-08-03 05:50
59K
lattice2__t35_lattice2
2024-07-28 13:32
17K
lattice2__t35_lattice2.depv1
2024-08-03 10:19
255
lattice2__t35_lattice2.depvmin1
2024-08-03 10:24
255
lattice2__t35_lattice2.vmin1
2024-08-03 10:20
5.3K
lattice2__t35_lattice2.vmin1out
2024-08-03 10:23
96K
lattice2__t35_lattice2.vout
2024-08-03 09:00
86K
lattice2__t36_lattice2
2024-07-28 13:33
18K
lattice2__t36_lattice2.depv1
2024-08-03 10:19
244
lattice2__t36_lattice2.depvmin1
2024-08-03 10:24
229
lattice2__t36_lattice2.vmin1
2024-08-03 10:20
3.9K
lattice2__t36_lattice2.vmin1out
2024-08-03 10:23
41K
lattice2__t36_lattice2.vout
2024-08-03 06:57
45K
lattice2__t37_lattice2
2024-07-28 13:34
18K
lattice2__t37_lattice2.depv1
2024-08-03 10:19
360
lattice2__t37_lattice2.depvmin1
2024-08-03 10:24
360
lattice2__t37_lattice2.vmin1
2024-08-03 10:20
4.5K
lattice2__t37_lattice2.vmin1out
2024-08-03 10:21
43K
lattice2__t37_lattice2.vout
2024-08-03 09:34
43K
lattice2__t38_lattice2
2024-07-28 14:08
19K
lattice2__t38_lattice2.depv1
2024-08-03 10:19
220
lattice2__t38_lattice2.depvmin1
2024-08-03 10:24
220
lattice2__t38_lattice2.vmin1
2024-08-03 10:20
3.2K
lattice2__t38_lattice2.vmin1out
2024-08-03 10:20
47K
lattice2__t38_lattice2.vout
2024-08-03 04:59
39K
lattice2__t39_lattice2
2024-07-28 14:09
19K
lattice2__t39_lattice2.depv1
2024-08-03 10:19
220
lattice2__t39_lattice2.depvmin1
2024-08-03 10:24
220
lattice2__t39_lattice2.vmin1
2024-08-03 10:20
3.2K
lattice2__t39_lattice2.vmin1out
2024-08-03 10:22
54K
lattice2__t39_lattice2.vout
2024-08-03 10:13
49K
lattice2__t40_lattice2
2024-07-28 14:10
19K
lattice2__t40_lattice2.vout
2024-08-03 04:47
4.1K
lattice2__t41_lattice2
2024-07-28 14:11
19K
lattice2__t41_lattice2.vout
2024-08-03 05:59
4.1K
lattice2__t42_lattice2
2024-07-28 13:35
14K
lattice2__t42_lattice2.depv1
2024-08-03 10:19
148
lattice2__t42_lattice2.depvmin1
2024-08-03 10:24
148
lattice2__t42_lattice2.vmin1
2024-08-03 10:20
3.2K
lattice2__t42_lattice2.vmin1out
2024-08-03 10:20
66K
lattice2__t42_lattice2.vout
2024-08-03 05:19
62K
lattice2__t43_lattice2
2024-07-28 13:36
17K
lattice2__t43_lattice2.depv1
2024-08-03 10:19
255
lattice2__t43_lattice2.depvmin1
2024-08-03 10:24
255
lattice2__t43_lattice2.vmin1
2024-08-03 10:20
5.3K
lattice2__t43_lattice2.vmin1out
2024-08-03 10:20
96K
lattice2__t43_lattice2.vout
2024-08-03 06:53
86K
lattice2__t44_lattice2
2024-07-28 14:12
17K
lattice2__t44_lattice2.depv1
2024-08-03 10:19
144
lattice2__t44_lattice2.depvmin1
2024-08-03 10:24
144
lattice2__t44_lattice2.vmin1
2024-08-03 10:20
2.8K
lattice2__t44_lattice2.vmin1out
2024-08-03 10:22
40K
lattice2__t44_lattice2.vout
2024-08-03 05:49
22K
lattice2__t45_lattice2
2024-07-28 14:13
19K
lattice2__t45_lattice2.vout
2024-08-03 07:00
4.1K
lattice2__t46_lattice2
2024-07-28 14:14
19K
lattice2__t46_lattice2.vout
2024-08-03 08:29
4.1K
lattice2__t47_lattice2
2024-07-28 14:15
15K
lattice2__t47_lattice2.depv1
2024-08-03 10:19
92
lattice2__t47_lattice2.depvmin1
2024-08-03 10:24
92
lattice2__t47_lattice2.vmin1
2024-08-03 10:20
2.6K
lattice2__t47_lattice2.vmin1out
2024-08-03 10:22
54K
lattice2__t47_lattice2.vout
2024-08-03 05:38
54K
lattice2__t48_lattice2
2024-07-28 14:17
19K
lattice2__t48_lattice2.depv1
2024-08-03 10:19
318
lattice2__t48_lattice2.depvmin1
2024-08-03 10:24
254
lattice2__t48_lattice2.vmin1
2024-08-03 10:20
4.2K
lattice2__t48_lattice2.vmin1out
2024-08-03 10:22
104K
lattice2__t48_lattice2.vout
2024-08-03 09:28
75K
lattice2__t49_lattice2
2024-07-28 14:18
19K
lattice2__t49_lattice2.depv1
2024-08-03 10:19
190
lattice2__t49_lattice2.depvmin1
2024-08-03 10:24
190
lattice2__t49_lattice2.vmin1
2024-08-03 10:20
2.8K
lattice2__t49_lattice2.vmin1out
2024-08-03 10:21
127K
lattice2__t49_lattice2.vout
2024-08-03 09:00
57K
lattice2__t50_lattice2
2024-07-28 13:37
16K
lattice2__t50_lattice2.depv1
2024-08-03 10:19
220
lattice2__t50_lattice2.depvmin1
2024-08-03 10:24
179
lattice2__t50_lattice2.vmin1
2024-08-03 10:20
2.9K
lattice2__t50_lattice2.vmin1out
2024-08-03 10:23
24K
lattice2__t50_lattice2.vout
2024-08-03 06:13
30K
lattice2__t51_lattice2
2024-07-28 14:19
14K
lattice2__t51_lattice2.depv1
2024-08-03 10:19
169
lattice2__t51_lattice2.depvmin1
2024-08-03 10:24
169
lattice2__t51_lattice2.vmin1
2024-08-03 10:20
2.5K
lattice2__t51_lattice2.vmin1out
2024-08-03 10:22
38K
lattice2__t51_lattice2.vout
2024-08-03 08:06
19K
lattice2__t52_lattice2
2024-07-28 13:38
12K
lattice2__t52_lattice2.depv1
2024-08-03 10:19
39
lattice2__t52_lattice2.depvmin1
2024-08-03 10:24
39
lattice2__t52_lattice2.vmin1
2024-08-03 10:20
717
lattice2__t52_lattice2.vmin1out
2024-08-03 10:22
5.8K
lattice2__t52_lattice2.vout
2024-08-03 09:48
5.8K
lattice2__t53_lattice2
2024-07-28 14:20
16K
lattice2__t53_lattice2.vout
2024-08-03 08:53
2.0K
lattice2__t54_lattice2
2024-07-28 14:21
16K
lattice2__t54_lattice2.vout
2024-08-03 06:07
2.0K
lattice2__t55_lattice2
2024-07-28 14:22
15K
lattice2__t55_lattice2.depv1
2024-08-03 10:19
121
lattice2__t55_lattice2.depvmin1
2024-08-03 10:24
92
lattice2__t55_lattice2.vmin1
2024-08-03 10:20
2.9K
lattice2__t55_lattice2.vmin1out
2024-08-03 10:21
45K
lattice2__t55_lattice2.vout
2024-08-03 06:13
50K
lattice2__t56_lattice2
2024-07-28 14:23
14K
lattice2__t56_lattice2.depv1
2024-08-03 10:19
169
lattice2__t56_lattice2.depvmin1
2024-08-03 10:24
169
lattice2__t56_lattice2.vmin1
2024-08-03 10:20
2.5K
lattice2__t56_lattice2.vmin1out
2024-08-03 10:21
38K
lattice2__t56_lattice2.vout
2024-08-03 06:29
19K
lattice2__t57_lattice2
2024-07-28 13:39
12K
lattice2__t57_lattice2.depv1
2024-08-03 10:19
40
lattice2__t57_lattice2.depvmin1
2024-08-03 10:24
40
lattice2__t57_lattice2.vmin1
2024-08-03 10:20
718
lattice2__t57_lattice2.vmin1out
2024-08-03 10:21
5.8K
lattice2__t57_lattice2.vout
2024-08-03 06:52
5.8K
lattice2__t58_lattice2
2024-07-28 14:24
20K
lattice2__t58_lattice2.depv1
2024-08-03 10:19
255
lattice2__t58_lattice2.depvmin1
2024-08-03 10:24
255
lattice2__t58_lattice2.vmin1
2024-08-03 10:20
4.8K
lattice2__t58_lattice2.vmin1out
2024-08-03 10:20
95K
lattice2__t58_lattice2.vout
2024-08-03 04:19
79K
lattice2__t59_lattice2
2024-07-28 14:25
21K
lattice2__t59_lattice2.vout
2024-08-03 08:16
4.1K
lattice2__t60_lattice2
2024-07-28 14:27
15K
lattice2__t60_lattice2.depv1
2024-08-03 10:19
121
lattice2__t60_lattice2.depvmin1
2024-08-03 10:24
92
lattice2__t60_lattice2.vmin1
2024-08-03 10:20
2.9K
lattice2__t60_lattice2.vmin1out
2024-08-03 10:20
45K
lattice2__t60_lattice2.vout
2024-08-03 04:23
50K
lattice2__t61_lattice2
2024-07-28 14:28
19K
lattice2__t61_lattice2.depv1
2024-08-03 10:19
271
lattice2__t61_lattice2.depvmin1
2024-08-03 10:24
271
lattice2__t61_lattice2.vmin1
2024-08-03 10:20
4.1K
lattice2__t61_lattice2.vmin1out
2024-08-03 10:21
32K
lattice2__t61_lattice2.vout
2024-08-03 10:07
46K
lattice2__t62_lattice2
2024-07-28 14:29
19K
lattice2__t62_lattice2.depv1
2024-08-03 10:19
271
lattice2__t62_lattice2.depvmin1
2024-08-03 10:24
271
lattice2__t62_lattice2.vmin1
2024-08-03 10:20
4.1K
lattice2__t62_lattice2.vmin1out
2024-08-03 10:22
32K
lattice2__t62_lattice2.vout
2024-08-03 06:09
46K
lattice2__t63_lattice2
2024-07-28 13:39
13K
lattice2__t63_lattice2.depv1
2024-08-03 10:19
26
lattice2__t63_lattice2.depvmin1
2024-08-03 10:24
26
lattice2__t63_lattice2.vmin1
2024-08-03 10:20
480
lattice2__t63_lattice2.vmin1out
2024-08-03 10:20
4.5K
lattice2__t63_lattice2.vout
2024-08-03 04:33
4.5K
lattice2__t64_lattice2
2024-07-28 14:30
19K
lattice2__t64_lattice2.vout
2024-08-03 05:57
7.9K
lattice2__t65_lattice2
2024-07-28 14:31
25K
lattice2__t65_lattice2.vout
2024-08-03 06:16
4.1K
lattice2__t66_lattice2
2024-07-28 13:41
18K
lattice2__t66_lattice2.depv1
2024-08-03 10:19
106
lattice2__t66_lattice2.depvmin1
2024-08-03 10:24
106
lattice2__t66_lattice2.vmin1
2024-08-03 10:20
2.3K
lattice2__t66_lattice2.vmin1out
2024-08-03 10:20
26K
lattice2__t66_lattice2.vout
2024-08-03 05:48
18K
lattice2__t67_lattice2
2024-07-28 14:32
19K
lattice2__t67_lattice2.vout
2024-08-03 06:11
2.0K
lattice2__t68_lattice2
2024-07-28 13:41
14K
lattice2__t68_lattice2.depv1
2024-08-03 10:19
251
lattice2__t68_lattice2.depvmin1
2024-08-03 10:24
168
lattice2__t68_lattice2.vmin1
2024-08-03 10:20
2.5K
lattice2__t68_lattice2.vmin1out
2024-08-03 10:20
14K
lattice2__t68_lattice2.vout
2024-08-03 04:26
22K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80