Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/lattice7
Name
Last modified
Size
Description
Parent Directory
-
lattice7__l18_lattice7
2024-07-27 17:12
28K
lattice7__l18_lattice7.vout
2024-08-03 04:14
6.8K
lattice7__l24_lattice7
2024-07-27 16:49
12K
lattice7__l24_lattice7.vout
2024-08-03 07:00
2.0K
lattice7__l25_lattice7
2024-07-27 16:50
12K
lattice7__l25_lattice7.vout
2024-08-03 04:30
2.0K
lattice7__t1_lattice7
2024-07-27 16:51
18K
lattice7__t1_lattice7.vout
2024-08-03 08:45
4.1K
lattice7__t2_lattice7
2024-07-27 16:52
26K
lattice7__t2_lattice7.vout
2024-08-03 05:05
4.1K
lattice7__t3_lattice7
2024-07-27 16:53
17K
lattice7__t3_lattice7.depv1
2024-08-03 10:19
126
lattice7__t3_lattice7.depvmin1
2024-08-03 10:24
126
lattice7__t3_lattice7.vmin1
2024-08-03 10:20
2.3K
lattice7__t3_lattice7.vmin1out
2024-08-03 10:22
42K
lattice7__t3_lattice7.vout
2024-08-03 06:41
43K
lattice7__t4_lattice7
2024-07-27 16:54
17K
lattice7__t4_lattice7.depv1
2024-08-03 10:19
107
lattice7__t4_lattice7.depvmin1
2024-08-03 10:24
107
lattice7__t4_lattice7.vmin1
2024-08-03 10:20
2.1K
lattice7__t4_lattice7.vmin1out
2024-08-03 10:22
43K
lattice7__t4_lattice7.vout
2024-08-03 05:59
48K
lattice7__t5_lattice7
2024-07-27 16:56
18K
lattice7__t5_lattice7.depv1
2024-08-03 10:19
189
lattice7__t5_lattice7.depvmin1
2024-08-03 10:24
189
lattice7__t5_lattice7.vmin1
2024-08-03 10:20
2.9K
lattice7__t5_lattice7.vmin1out
2024-08-03 10:20
28K
lattice7__t5_lattice7.vout
2024-08-03 09:10
30K
lattice7__t6_lattice7
2024-07-27 16:57
22K
lattice7__t6_lattice7.vout
2024-08-03 07:27
7.3K
lattice7__t7_lattice7
2024-07-27 16:58
21K
lattice7__t7_lattice7.vout
2024-08-03 08:27
7.9K
lattice7__t8_lattice7
2024-07-27 16:59
19K
lattice7__t8_lattice7.vout
2024-08-03 05:31
7.9K
lattice7__t9_lattice7
2024-07-27 17:01
29K
lattice7__t9_lattice7.vout
2024-08-03 05:07
7.3K
lattice7__t10_lattice7
2024-07-27 17:02
17K
lattice7__t10_lattice7.depv1
2024-08-03 10:19
72
lattice7__t10_lattice7.depvmin1
2024-08-03 10:24
72
lattice7__t10_lattice7.vmin1
2024-08-03 10:20
1.2K
lattice7__t10_lattice7.vmin1out
2024-08-03 10:22
27K
lattice7__t10_lattice7.vout
2024-08-03 08:23
35K
lattice7__t11_lattice7
2024-07-27 17:03
22K
lattice7__t11_lattice7.vout
2024-08-03 08:53
7.3K
lattice7__t12_lattice7
2024-07-27 17:04
22K
lattice7__t12_lattice7.depv1
2024-08-03 10:19
123
lattice7__t12_lattice7.depvmin1
2024-08-03 10:24
123
lattice7__t12_lattice7.vmin1
2024-08-03 10:20
1.9K
lattice7__t12_lattice7.vmin1out
2024-08-03 10:21
46K
lattice7__t12_lattice7.vout
2024-08-03 07:17
45K
lattice7__t13_lattice7
2024-07-27 17:07
43K
lattice7__t13_lattice7.vout
2024-08-03 07:52
3.7K
lattice7__t14_lattice7
2024-07-27 17:08
27K
lattice7__t14_lattice7.depv1
2024-08-03 10:19
53
lattice7__t14_lattice7.depvmin1
2024-08-03 10:24
53
lattice7__t14_lattice7.vmin1
2024-08-03 10:20
1.4K
lattice7__t14_lattice7.vmin1out
2024-08-03 10:20
16K
lattice7__t14_lattice7.vout
2024-08-03 07:50
28K
lattice7__t15_lattice7
2024-07-27 17:10
26K
lattice7__t15_lattice7.vout
2024-08-03 09:43
7.4K
lattice7__t16_lattice7
2024-07-27 17:11
28K
lattice7__t16_lattice7.depv1
2024-08-03 10:19
242
lattice7__t16_lattice7.depvmin1
2024-08-03 10:24
242
lattice7__t16_lattice7.vmin1
2024-08-03 10:20
4.8K
lattice7__t16_lattice7.vmin1out
2024-08-03 10:22
77K
lattice7__t16_lattice7.vout
2024-08-03 05:35
75K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80