Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/pre_ff
Name
Last modified
Size
Description
Parent Directory
-
pre_ff__l17_pre_ff
2024-07-28 15:18
145K
pre_ff__l17_pre_ff.vout
2024-08-03 06:50
6.8K
pre_ff__l18_pre_ff
2024-07-28 15:20
52K
pre_ff__l18_pre_ff.vout
2024-08-03 06:49
7.3K
pre_ff__t1_pre_ff
2024-07-28 15:02
20K
pre_ff__t1_pre_ff.vout
2024-08-03 08:22
11K
pre_ff__t2_pre_ff
2024-07-28 15:03
9.1K
pre_ff__t2_pre_ff.depv1
2024-08-03 10:19
98
pre_ff__t2_pre_ff.depvmin1
2024-08-03 10:24
98
pre_ff__t2_pre_ff.vmin1
2024-08-03 10:19
731
pre_ff__t2_pre_ff.vmin1out
2024-08-03 10:23
5.2K
pre_ff__t2_pre_ff.vout
2024-08-03 09:25
5.1K
pre_ff__t3_pre_ff
2024-07-28 15:04
22K
pre_ff__t3_pre_ff.vout
2024-08-03 05:47
7.3K
pre_ff__t4_pre_ff
2024-07-28 15:04
20K
pre_ff__t4_pre_ff.vout
2024-08-03 09:50
7.3K
pre_ff__t5_pre_ff
2024-07-28 15:05
23K
pre_ff__t5_pre_ff.vout
2024-08-03 06:10
4.7K
pre_ff__t6_pre_ff
2024-07-28 15:06
35K
pre_ff__t6_pre_ff.vout
2024-08-03 08:25
7.3K
pre_ff__t7_pre_ff
2024-07-28 15:07
33K
pre_ff__t7_pre_ff.vout
2024-08-03 05:32
7.3K
pre_ff__t8_pre_ff
2024-07-28 15:08
9.6K
pre_ff__t8_pre_ff.depv1
2024-08-03 10:19
166
pre_ff__t8_pre_ff.depvmin1
2024-08-03 10:24
166
pre_ff__t8_pre_ff.vmin1
2024-08-03 10:19
1.3K
pre_ff__t8_pre_ff.vmin1out
2024-08-03 10:20
16K
pre_ff__t8_pre_ff.vout
2024-08-03 06:50
19K
pre_ff__t9_pre_ff
2024-07-28 15:08
17K
pre_ff__t9_pre_ff.depv1
2024-08-03 10:19
164
pre_ff__t9_pre_ff.depvmin1
2024-08-03 10:24
164
pre_ff__t9_pre_ff.vmin1
2024-08-03 10:19
1.3K
pre_ff__t9_pre_ff.vmin1out
2024-08-03 10:23
22K
pre_ff__t9_pre_ff.vout
2024-08-03 06:59
20K
pre_ff__t10_pre_ff
2024-07-28 15:09
10K
pre_ff__t10_pre_ff.depv1
2024-08-03 10:19
107
pre_ff__t10_pre_ff.depvmin1
2024-08-03 10:24
107
pre_ff__t10_pre_ff.vmin1
2024-08-03 10:19
1.0K
pre_ff__t10_pre_ff.vmin1out
2024-08-03 10:22
14K
pre_ff__t10_pre_ff.vout
2024-08-03 05:20
15K
pre_ff__t11_pre_ff
2024-07-28 15:10
79K
pre_ff__t11_pre_ff.vout
2024-08-03 04:53
4.7K
pre_ff__t12_pre_ff
2024-07-28 15:11
38K
pre_ff__t12_pre_ff.vout
2024-08-03 08:30
2.0K
pre_ff__t13_pre_ff
2024-07-28 15:12
25K
pre_ff__t13_pre_ff.vout
2024-08-03 10:08
7.8K
pre_ff__t14_pre_ff
2024-07-28 15:12
17K
pre_ff__t14_pre_ff.vout
2024-08-03 05:56
2.0K
pre_ff__t15_pre_ff
2024-07-28 15:14
155K
pre_ff__t15_pre_ff.vout
2024-08-03 05:04
8.4K
pre_ff__t16_pre_ff
2024-07-28 15:15
23K
pre_ff__t16_pre_ff.vout
2024-08-03 09:38
4.7K
pre_ff__t17_pre_ff
2024-07-28 15:15
14K
pre_ff__t17_pre_ff.vout
2024-08-03 05:43
2.0K
pre_ff__t18_pre_ff
2024-07-28 15:01
13K
pre_ff__t18_pre_ff.depv1
2024-08-03 10:19
158
pre_ff__t18_pre_ff.depvmin1
2024-08-03 10:24
158
pre_ff__t18_pre_ff.vmin1
2024-08-03 10:19
1.2K
pre_ff__t18_pre_ff.vmin1out
2024-08-03 10:20
9.4K
pre_ff__t18_pre_ff.vout
2024-08-03 06:05
10K
pre_ff__t19_pre_ff
2024-07-28 15:16
28K
pre_ff__t19_pre_ff.vout
2024-08-03 06:31
2.0K
pre_ff__t20_pre_ff
2024-07-28 15:17
27K
pre_ff__t20_pre_ff.vout
2024-08-03 06:27
2.0K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80