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