Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/lattice6
Name
Last modified
Size
Description
Parent Directory
-
lattice6__l1_lattice6
2024-07-27 01:37
63K
lattice6__l1_lattice6.vout
2024-08-03 06:02
7.3K
lattice6__l2_lattice6
2024-07-27 01:39
63K
lattice6__l2_lattice6.vout
2024-08-03 10:18
7.3K
lattice6__l3_lattice6
2024-07-27 01:41
67K
lattice6__l3_lattice6.vout
2024-08-03 10:08
7.3K
lattice6__l4_lattice6
2024-07-27 01:43
29K
lattice6__l4_lattice6.depv1
2024-08-03 10:19
232
lattice6__l4_lattice6.depvmin1
2024-08-03 10:24
191
lattice6__l4_lattice6.vmin1
2024-08-03 10:19
2.7K
lattice6__l4_lattice6.vmin1out
2024-08-03 10:20
28K
lattice6__l4_lattice6.vout
2024-08-03 10:06
28K
lattice6__l5_lattice6
2024-07-27 01:45
64K
lattice6__l5_lattice6.vout
2024-08-03 09:34
7.9K
lattice6__l8_lattice6
2024-07-27 01:47
38K
lattice6__l8_lattice6.vout
2024-08-03 04:37
7.9K
lattice6__l12_lattice6
2024-07-27 00:54
32K
lattice6__l12_lattice6.vout
2024-08-03 07:07
3.2K
lattice6__l33_lattice6
2024-07-27 01:49
41K
lattice6__l33_lattice6.vout
2024-08-03 04:58
4.1K
lattice6__l52_lattice6
2024-07-27 01:51
45K
lattice6__l52_lattice6.vout
2024-08-03 06:37
7.9K
lattice6__l53_lattice6
2024-07-27 01:54
41K
lattice6__l53_lattice6.vout
2024-08-03 05:17
7.9K
lattice6__t1_lattice6
2024-07-27 00:56
39K
lattice6__t1_lattice6.vout
2024-08-03 05:13
3.2K
lattice6__t2_lattice6
2024-07-27 00:57
24K
lattice6__t2_lattice6.vout
2024-08-03 08:55
7.3K
lattice6__t3_lattice6
2024-07-27 00:59
36K
lattice6__t3_lattice6.vout
2024-08-03 08:15
4.1K
lattice6__t4_lattice6
2024-07-27 01:00
38K
lattice6__t4_lattice6.vout
2024-08-03 08:43
4.1K
lattice6__t5_lattice6
2024-07-27 01:02
20K
lattice6__t5_lattice6.depv1
2024-08-03 10:19
117
lattice6__t5_lattice6.depvmin1
2024-08-03 10:24
117
lattice6__t5_lattice6.vmin1
2024-08-03 10:19
1.9K
lattice6__t5_lattice6.vmin1out
2024-08-03 10:20
16K
lattice6__t5_lattice6.vout
2024-08-03 07:27
17K
lattice6__t6_lattice6
2024-07-27 01:03
22K
lattice6__t6_lattice6.depv1
2024-08-03 10:19
129
lattice6__t6_lattice6.depvmin1
2024-08-03 10:24
129
lattice6__t6_lattice6.vmin1
2024-08-03 10:19
2.2K
lattice6__t6_lattice6.vmin1out
2024-08-03 10:22
37K
lattice6__t6_lattice6.vout
2024-08-03 04:26
36K
lattice6__t7_lattice6
2024-07-27 01:04
20K
lattice6__t7_lattice6.depv1
2024-08-03 10:19
117
lattice6__t7_lattice6.depvmin1
2024-08-03 10:24
117
lattice6__t7_lattice6.vmin1
2024-08-03 10:19
1.9K
lattice6__t7_lattice6.vmin1out
2024-08-03 10:20
16K
lattice6__t7_lattice6.vout
2024-08-03 09:34
17K
lattice6__t8_lattice6
2024-07-27 01:05
22K
lattice6__t8_lattice6.depv1
2024-08-03 10:19
155
lattice6__t8_lattice6.depvmin1
2024-08-03 10:24
155
lattice6__t8_lattice6.vmin1
2024-08-03 10:19
2.4K
lattice6__t8_lattice6.vmin1out
2024-08-03 10:20
35K
lattice6__t8_lattice6.vout
2024-08-03 07:26
36K
lattice6__t9_lattice6
2024-07-27 01:07
22K
lattice6__t9_lattice6.depv1
2024-08-03 10:19
244
lattice6__t9_lattice6.depvmin1
2024-08-03 10:24
228
lattice6__t9_lattice6.vmin1
2024-08-03 10:19
3.7K
lattice6__t9_lattice6.vmin1out
2024-08-03 10:20
42K
lattice6__t9_lattice6.vout
2024-08-03 05:13
60K
lattice6__t10_lattice6
2024-07-27 01:09
36K
lattice6__t10_lattice6.depv1
2024-08-03 10:19
455
lattice6__t10_lattice6.depvmin1
2024-08-03 10:24
442
lattice6__t10_lattice6.vmin1
2024-08-03 10:19
6.2K
lattice6__t10_lattice6.vmin1out
2024-08-03 10:23
119K
lattice6__t10_lattice6.vout
2024-08-03 06:01
81K
lattice6__t11_lattice6
2024-07-27 01:11
38K
lattice6__t11_lattice6.vout
2024-08-03 06:12
7.3K
lattice6__t12_lattice6
2024-07-27 01:12
22K
lattice6__t12_lattice6.vout
2024-08-03 04:34
7.3K
lattice6__t13_lattice6
2024-07-27 01:13
22K
lattice6__t13_lattice6.vout
2024-08-03 06:55
7.3K
lattice6__t14_lattice6
2024-07-27 01:15
22K
lattice6__t14_lattice6.vout
2024-08-03 04:27
7.3K
lattice6__t15_lattice6
2024-07-27 01:16
22K
lattice6__t15_lattice6.vout
2024-08-03 09:29
7.3K
lattice6__t16_lattice6
2024-07-27 01:18
38K
lattice6__t16_lattice6.vout
2024-08-03 07:12
7.4K
lattice6__t17_lattice6
2024-07-27 01:20
40K
lattice6__t17_lattice6.vout
2024-08-03 04:59
4.1K
lattice6__t18_lattice6
2024-07-27 01:22
38K
lattice6__t18_lattice6.vout
2024-08-03 05:39
7.4K
lattice6__t19_lattice6
2024-07-27 01:23
40K
lattice6__t19_lattice6.vout
2024-08-03 09:37
4.1K
lattice6__t20_lattice6
2024-07-27 00:52
33K
lattice6__t20_lattice6.depv1
2024-08-03 10:19
78
lattice6__t20_lattice6.depvmin1
2024-08-03 10:24
78
lattice6__t20_lattice6.vmin1
2024-08-03 10:19
1.7K
lattice6__t20_lattice6.vmin1out
2024-08-03 10:23
30K
lattice6__t20_lattice6.vout
2024-08-03 05:42
22K
lattice6__t21_lattice6
2024-07-27 01:25
26K
lattice6__t21_lattice6.vout
2024-08-03 05:02
7.9K
lattice6__t22_lattice6
2024-07-27 01:26
26K
lattice6__t22_lattice6.vout
2024-08-03 04:44
7.9K
lattice6__t23_lattice6
2024-07-27 01:33
26K
lattice6__t23_lattice6.vout
2024-08-03 05:47
7.4K
lattice6__t24_lattice6
2024-07-27 01:34
26K
lattice6__t24_lattice6.vout
2024-08-03 05:33
7.3K
lattice6__t25_lattice6
2024-07-27 01:29
38K
lattice6__t25_lattice6.vout
2024-08-03 07:36
7.4K
lattice6__t26_lattice6
2024-07-27 01:30
27K
lattice6__t26_lattice6.vout
2024-08-03 08:28
7.4K
lattice6__t27_lattice6
2024-07-27 01:31
27K
lattice6__t27_lattice6.vout
2024-08-03 09:15
7.4K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80