Index of /~mptp/mml5.63.1382/MPTP2/problems_small/lattice7
Name
Last modified
Size
Description
Parent Directory
-
lattice7__t16_lattice7.vout
2021-07-25 20:07
75K
lattice7__t16_lattice7.vmin1out
2021-07-25 21:01
77K
lattice7__t16_lattice7.vmin1
2021-07-25 20:57
4.8K
lattice7__t16_lattice7.depvmin1
2021-07-25 21:03
242
lattice7__t16_lattice7.depv1
2021-07-25 20:57
242
lattice7__t16_lattice7
2021-07-18 11:03
30K
lattice7__t15_lattice7.vout
2021-07-25 16:21
7.3K
lattice7__t15_lattice7
2021-07-18 11:02
27K
lattice7__t14_lattice7.vout
2021-07-25 20:43
28K
lattice7__t14_lattice7.vmin1out
2021-07-25 20:59
16K
lattice7__t14_lattice7.vmin1
2021-07-25 20:57
1.4K
lattice7__t14_lattice7.depvmin1
2021-07-25 21:03
53
lattice7__t14_lattice7.depv1
2021-07-25 20:57
53
lattice7__t14_lattice7
2021-07-18 11:02
29K
lattice7__t13_lattice7.vout
2021-07-25 16:26
3.7K
lattice7__t13_lattice7
2021-07-18 11:02
45K
lattice7__t12_lattice7.vout
2021-07-25 14:55
45K
lattice7__t12_lattice7.vmin1out
2021-07-25 20:59
46K
lattice7__t12_lattice7.vmin1
2021-07-25 20:57
1.9K
lattice7__t12_lattice7.depvmin1
2021-07-25 21:03
123
lattice7__t12_lattice7.depv1
2021-07-25 20:57
123
lattice7__t12_lattice7
2021-07-18 11:01
23K
lattice7__t11_lattice7.vout
2021-07-25 17:41
7.4K
lattice7__t11_lattice7
2021-07-18 11:01
24K
lattice7__t10_lattice7.vout
2021-07-25 18:38
36K
lattice7__t10_lattice7.vmin1out
2021-07-25 20:59
27K
lattice7__t10_lattice7.vmin1
2021-07-25 20:57
1.2K
lattice7__t10_lattice7.depvmin1
2021-07-25 21:03
72
lattice7__t10_lattice7.depv1
2021-07-25 20:57
72
lattice7__t10_lattice7
2021-07-18 11:00
18K
lattice7__t9_lattice7.vout
2021-07-25 20:16
7.3K
lattice7__t9_lattice7
2021-07-18 11:00
31K
lattice7__t8_lattice7.vout
2021-07-25 17:14
7.9K
lattice7__t8_lattice7
2021-07-18 10:59
21K
lattice7__t7_lattice7.vout
2021-07-25 17:44
7.9K
lattice7__t7_lattice7
2021-07-18 10:59
23K
lattice7__t6_lattice7.vout
2021-07-25 17:20
7.3K
lattice7__t6_lattice7
2021-07-18 10:59
24K
lattice7__t5_lattice7.vout
2021-07-25 18:40
44K
lattice7__t5_lattice7.vmin1out
2021-07-25 21:02
28K
lattice7__t5_lattice7.vmin1
2021-07-25 20:57
3.1K
lattice7__t5_lattice7.depvmin1
2021-07-25 21:03
189
lattice7__t5_lattice7.depv1
2021-07-25 20:57
199
lattice7__t5_lattice7
2021-07-18 10:58
19K
lattice7__t4_lattice7.vout
2021-07-25 19:29
54K
lattice7__t4_lattice7.vmin1out
2021-07-25 21:01
48K
lattice7__t4_lattice7.vmin1
2021-07-25 20:57
2.7K
lattice7__t4_lattice7.depvmin1
2021-07-25 21:03
145
lattice7__t4_lattice7.depv1
2021-07-25 20:57
169
lattice7__t4_lattice7
2021-07-18 10:58
19K
lattice7__t3_lattice7.vout
2021-07-25 20:32
43K
lattice7__t3_lattice7.vmin1out
2021-07-25 21:00
42K
lattice7__t3_lattice7.vmin1
2021-07-25 20:57
2.3K
lattice7__t3_lattice7.depvmin1
2021-07-25 21:03
126
lattice7__t3_lattice7.depv1
2021-07-25 20:57
126
lattice7__t3_lattice7
2021-07-18 10:58
19K
lattice7__t2_lattice7.vout
2021-07-25 19:06
4.1K
lattice7__t2_lattice7
2021-07-18 10:57
27K
lattice7__t1_lattice7.vout
2021-07-25 14:31
4.1K
lattice7__t1_lattice7
2021-07-18 10:57
19K
lattice7__l25_lattice7.vout
2021-07-25 15:15
2.0K
lattice7__l25_lattice7
2021-07-18 10:57
14K
lattice7__l24_lattice7.vout
2021-07-25 18:53
2.0K
lattice7__l24_lattice7
2021-07-18 10:56
14K
lattice7__l18_lattice7.vout
2021-07-25 18:17
6.8K
lattice7__l18_lattice7
2021-07-18 11:03
29K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80