Index of /~mptp/mml5.63.1382/MPTP2/problems_small/ff_siec
Name
Last modified
Size
Description
Parent Directory
-
ff_siec__t28_ff_siec.vout
2021-07-25 15:15
2.0K
ff_siec__t28_ff_siec
2021-07-18 11:45
15K
ff_siec__t27_ff_siec.vout
2021-07-25 14:51
48K
ff_siec__t27_ff_siec.vmin1out
2021-07-25 20:59
43K
ff_siec__t27_ff_siec.vmin1
2021-07-25 20:57
6.0K
ff_siec__t27_ff_siec.depvmin1
2021-07-25 21:03
188
ff_siec__t27_ff_siec.depv1
2021-07-25 20:57
188
ff_siec__t27_ff_siec
2021-07-18 11:45
13K
ff_siec__t26_ff_siec.vout
2021-07-25 17:05
2.0K
ff_siec__t26_ff_siec
2021-07-18 11:45
11K
ff_siec__t25_ff_siec.vout
2021-07-25 19:30
7.3K
ff_siec__t25_ff_siec
2021-07-18 11:45
9.9K
ff_siec__t24_ff_siec.vout
2021-07-25 18:35
2.0K
ff_siec__t24_ff_siec
2021-07-18 11:44
5.1K
ff_siec__t23_ff_siec.vout
2021-07-25 14:39
2.0K
ff_siec__t23_ff_siec
2021-07-18 11:44
5.2K
ff_siec__t22_ff_siec.vout
2021-07-25 19:21
39K
ff_siec__t22_ff_siec.vmin1out
2021-07-25 20:59
39K
ff_siec__t22_ff_siec.vmin1
2021-07-25 20:57
2.7K
ff_siec__t22_ff_siec.depvmin1
2021-07-25 21:03
171
ff_siec__t22_ff_siec.depv1
2021-07-25 20:57
171
ff_siec__t22_ff_siec
2021-07-18 11:44
7.1K
ff_siec__t21_ff_siec.vout
2021-07-25 16:51
2.0K
ff_siec__t21_ff_siec
2021-07-18 11:44
15K
ff_siec__t20_ff_siec.vout
2021-07-25 18:40
48K
ff_siec__t20_ff_siec.vmin1out
2021-07-25 21:01
43K
ff_siec__t20_ff_siec.vmin1
2021-07-25 20:57
6.0K
ff_siec__t20_ff_siec.depvmin1
2021-07-25 21:03
184
ff_siec__t20_ff_siec.depv1
2021-07-25 20:57
184
ff_siec__t20_ff_siec
2021-07-18 11:44
13K
ff_siec__t19_ff_siec.vout
2021-07-25 18:15
2.0K
ff_siec__t19_ff_siec
2021-07-18 11:44
11K
ff_siec__t18_ff_siec.vout
2021-07-25 18:16
7.3K
ff_siec__t18_ff_siec
2021-07-18 11:43
9.9K
ff_siec__t17_ff_siec.vout
2021-07-25 15:40
2.0K
ff_siec__t17_ff_siec
2021-07-18 11:43
5.1K
ff_siec__t16_ff_siec.vout
2021-07-25 16:17
21K
ff_siec__t16_ff_siec.vmin1out
2021-07-25 21:01
20K
ff_siec__t16_ff_siec.vmin1
2021-07-25 20:57
1.5K
ff_siec__t16_ff_siec.depvmin1
2021-07-25 21:03
104
ff_siec__t16_ff_siec.depv1
2021-07-25 20:57
104
ff_siec__t16_ff_siec
2021-07-18 11:43
3.5K
ff_siec__t15_ff_siec.vout
2021-07-25 16:23
7.2K
ff_siec__t15_ff_siec
2021-07-18 11:43
6.3K
ff_siec__t14_ff_siec.vout
2021-07-25 16:23
2.0K
ff_siec__t14_ff_siec
2021-07-18 11:43
8.9K
ff_siec__t13_ff_siec.vout
2021-07-25 14:58
7.2K
ff_siec__t13_ff_siec
2021-07-18 11:42
8.9K
ff_siec__t12_ff_siec.vout
2021-07-25 16:40
2.0K
ff_siec__t12_ff_siec
2021-07-18 11:42
14K
ff_siec__t11_ff_siec.vout
2021-07-25 19:10
49K
ff_siec__t11_ff_siec.vmin1out
2021-07-25 21:02
50K
ff_siec__t11_ff_siec.vmin1
2021-07-25 20:57
4.6K
ff_siec__t11_ff_siec.depvmin1
2021-07-25 21:03
74
ff_siec__t11_ff_siec.depv1
2021-07-25 20:57
74
ff_siec__t11_ff_siec
2021-07-18 11:42
12K
ff_siec__t10_ff_siec.vout
2021-07-25 17:03
71K
ff_siec__t10_ff_siec.vmin1out
2021-07-25 20:58
68K
ff_siec__t10_ff_siec.vmin1
2021-07-25 20:57
5.1K
ff_siec__t10_ff_siec.depvmin1
2021-07-25 21:03
148
ff_siec__t10_ff_siec.depv1
2021-07-25 20:57
174
ff_siec__t10_ff_siec
2021-07-18 11:42
8.2K
ff_siec__t9_ff_siec.vout
2021-07-25 15:09
7.3K
ff_siec__t9_ff_siec
2021-07-18 11:42
9.0K
ff_siec__t8_ff_siec.vout
2021-07-25 18:44
30K
ff_siec__t8_ff_siec.vmin1out
2021-07-25 21:01
30K
ff_siec__t8_ff_siec.vmin1
2021-07-25 20:57
2.0K
ff_siec__t8_ff_siec.depvmin1
2021-07-25 21:03
183
ff_siec__t8_ff_siec.depv1
2021-07-25 20:57
183
ff_siec__t8_ff_siec
2021-07-18 11:41
3.3K
ff_siec__t7_ff_siec.vout
2021-07-25 16:44
42K
ff_siec__t7_ff_siec.vmin1out
2021-07-25 21:00
42K
ff_siec__t7_ff_siec.vmin1
2021-07-25 20:57
3.0K
ff_siec__t7_ff_siec.depvmin1
2021-07-25 21:03
146
ff_siec__t7_ff_siec.depv1
2021-07-25 20:57
146
ff_siec__t7_ff_siec
2021-07-18 11:41
5.7K
ff_siec__t6_ff_siec.vout
2021-07-25 18:24
18K
ff_siec__t6_ff_siec.vmin1out
2021-07-25 21:02
23K
ff_siec__t6_ff_siec.vmin1
2021-07-25 20:57
1.7K
ff_siec__t6_ff_siec.depvmin1
2021-07-25 21:03
181
ff_siec__t6_ff_siec.depv1
2021-07-25 20:57
207
ff_siec__t6_ff_siec
2021-07-18 11:41
5.4K
ff_siec__t5_ff_siec.vout
2021-07-25 16:56
18K
ff_siec__t5_ff_siec.vmin1out
2021-07-25 20:57
20K
ff_siec__t5_ff_siec.vmin1
2021-07-25 20:57
1.8K
ff_siec__t5_ff_siec.depvmin1
2021-07-25 21:03
186
ff_siec__t5_ff_siec.depv1
2021-07-25 20:57
200
ff_siec__t5_ff_siec
2021-07-18 11:41
5.5K
ff_siec__t4_ff_siec.vout
2021-07-25 18:12
18K
ff_siec__t4_ff_siec.vmin1out
2021-07-25 21:00
21K
ff_siec__t4_ff_siec.vmin1
2021-07-25 20:57
1.9K
ff_siec__t4_ff_siec.depvmin1
2021-07-25 21:03
221
ff_siec__t4_ff_siec.depv1
2021-07-25 20:57
221
ff_siec__t4_ff_siec
2021-07-18 11:41
5.5K
ff_siec__t3_ff_siec.vout
2021-07-25 15:29
17K
ff_siec__t3_ff_siec.vmin1out
2021-07-25 21:01
23K
ff_siec__t3_ff_siec.vmin1
2021-07-25 20:57
1.7K
ff_siec__t3_ff_siec.depvmin1
2021-07-25 21:03
207
ff_siec__t3_ff_siec.depv1
2021-07-25 20:57
207
ff_siec__t3_ff_siec
2021-07-18 11:41
5.4K
ff_siec__t2_ff_siec.vout
2021-07-25 18:21
17K
ff_siec__t2_ff_siec.vmin1out
2021-07-25 21:01
20K
ff_siec__t2_ff_siec.vmin1
2021-07-25 20:57
1.6K
ff_siec__t2_ff_siec.depvmin1
2021-07-25 21:03
186
ff_siec__t2_ff_siec.depv1
2021-07-25 20:57
186
ff_siec__t2_ff_siec
2021-07-18 11:40
5.4K
ff_siec__t1_ff_siec.vout
2021-07-25 15:25
20K
ff_siec__t1_ff_siec.vmin1out
2021-07-25 20:59
21K
ff_siec__t1_ff_siec.vmin1
2021-07-25 20:57
1.4K
ff_siec__t1_ff_siec.depvmin1
2021-07-25 21:03
136
ff_siec__t1_ff_siec.depv1
2021-07-25 20:57
136
ff_siec__t1_ff_siec
2021-07-18 11:40
5.2K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80