Index of /~mptp/mml5.63.1382/MPTP2/problems_small/nfcont_3
Name
Last modified
Size
Description
Parent Directory
-
nfcont_3__t33_nfcont_3.vout
2021-07-25 15:45
2.0K
nfcont_3__t33_nfcont_3
2021-07-18 00:13
59K
nfcont_3__t32_nfcont_3.vout
2021-07-25 20:55
4.7K
nfcont_3__t32_nfcont_3
2021-07-18 00:12
40K
nfcont_3__t31_nfcont_3.vout
2021-07-25 19:41
4.1K
nfcont_3__t31_nfcont_3
2021-07-18 00:11
39K
nfcont_3__t30_nfcont_3.vout
2021-07-25 17:26
4.1K
nfcont_3__t30_nfcont_3
2021-07-18 00:11
35K
nfcont_3__t29_nfcont_3.vout
2021-07-25 14:24
4.1K
nfcont_3__t29_nfcont_3
2021-07-18 00:10
37K
nfcont_3__t28_nfcont_3.vout
2021-07-25 18:49
4.1K
nfcont_3__t28_nfcont_3
2021-07-18 00:10
38K
nfcont_3__t27_nfcont_3.vout
2021-07-25 15:01
22K
nfcont_3__t27_nfcont_3.vmin1out
2021-07-25 21:01
20K
nfcont_3__t27_nfcont_3.vmin1
2021-07-25 20:57
1.8K
nfcont_3__t27_nfcont_3.depvmin1
2021-07-25 21:03
91
nfcont_3__t27_nfcont_3.depv1
2021-07-25 20:57
91
nfcont_3__t27_nfcont_3
2021-07-18 00:09
32K
nfcont_3__t26_nfcont_3.vout
2021-07-25 16:17
4.7K
nfcont_3__t26_nfcont_3
2021-07-18 00:09
43K
nfcont_3__t25_nfcont_3.vout
2021-07-25 20:20
2.0K
nfcont_3__t25_nfcont_3
2021-07-18 00:08
37K
nfcont_3__t24_nfcont_3.vout
2021-07-25 16:59
6.8K
nfcont_3__t24_nfcont_3
2021-07-18 00:08
48K
nfcont_3__t23_nfcont_3.vout
2021-07-25 17:29
7.3K
nfcont_3__t23_nfcont_3
2021-07-18 00:07
55K
nfcont_3__t22_nfcont_3.vout
2021-07-25 14:42
4.1K
nfcont_3__t22_nfcont_3
2021-07-18 00:06
55K
nfcont_3__t21_nfcont_3.vout
2021-07-25 15:35
4.1K
nfcont_3__t21_nfcont_3
2021-07-18 00:06
44K
nfcont_3__t20_nfcont_3.vout
2021-07-25 18:53
1.1K
nfcont_3__t20_nfcont_3
2021-07-18 00:05
39K
nfcont_3__t19_nfcont_3.vout
2021-07-25 19:28
4.1K
nfcont_3__t19_nfcont_3
2021-07-18 00:04
54K
nfcont_3__t18_nfcont_3.vout
2021-07-25 18:45
20K
nfcont_3__t18_nfcont_3.vmin1out
2021-07-25 20:59
20K
nfcont_3__t18_nfcont_3.vmin1
2021-07-25 20:57
1.8K
nfcont_3__t18_nfcont_3.depvmin1
2021-07-25 21:03
91
nfcont_3__t18_nfcont_3.depv1
2021-07-25 20:57
91
nfcont_3__t18_nfcont_3
2021-07-18 00:04
29K
nfcont_3__t17_nfcont_3.vout
2021-07-25 20:16
4.7K
nfcont_3__t17_nfcont_3
2021-07-18 00:03
46K
nfcont_3__t16_nfcont_3.vout
2021-07-25 16:12
4.1K
nfcont_3__t16_nfcont_3
2021-07-18 00:02
43K
nfcont_3__t15_nfcont_3.vout
2021-07-25 18:25
6.8K
nfcont_3__t15_nfcont_3
2021-07-18 00:02
46K
nfcont_3__t14_nfcont_3.vout
2021-07-25 15:24
4.1K
nfcont_3__t14_nfcont_3
2021-07-18 00:01
41K
nfcont_3__t13_nfcont_3.vout
2021-07-25 15:42
4.1K
nfcont_3__t13_nfcont_3
2021-07-18 00:00
37K
nfcont_3__t12_nfcont_3.vout
2021-07-25 18:03
4.1K
nfcont_3__t12_nfcont_3
2021-07-18 00:00
47K
nfcont_3__t11_nfcont_3.vout
2021-07-25 19:36
4.1K
nfcont_3__t11_nfcont_3
2021-07-17 23:59
41K
nfcont_3__t10_nfcont_3.vout
2021-07-25 16:04
7.3K
nfcont_3__t10_nfcont_3
2021-07-17 23:58
36K
nfcont_3__t9_nfcont_3.vout
2021-07-25 15:25
7.3K
nfcont_3__t9_nfcont_3
2021-07-17 23:58
45K
nfcont_3__t8_nfcont_3.vout
2021-07-25 19:34
6.8K
nfcont_3__t8_nfcont_3
2021-07-17 23:57
52K
nfcont_3__t6_nfcont_3.vout
2021-07-25 15:42
4.1K
nfcont_3__t6_nfcont_3
2021-07-17 23:56
42K
nfcont_3__t5_nfcont_3.vout
2021-07-25 15:59
4.1K
nfcont_3__t5_nfcont_3
2021-07-17 23:56
43K
nfcont_3__t4_nfcont_3.vout
2021-07-25 16:15
4.1K
nfcont_3__t4_nfcont_3
2021-07-17 23:55
37K
nfcont_3__t3_nfcont_3.vout
2021-07-25 20:12
4.1K
nfcont_3__t3_nfcont_3
2021-07-17 23:54
33K
nfcont_3__t2_nfcont_3.vout
2021-07-25 18:45
4.1K
nfcont_3__t2_nfcont_3
2021-07-17 23:54
46K
nfcont_3__t1_nfcont_3.vout
2021-07-25 18:53
37K
nfcont_3__t1_nfcont_3.vmin1out
2021-07-25 21:00
36K
nfcont_3__t1_nfcont_3.vmin1
2021-07-25 20:57
2.4K
nfcont_3__t1_nfcont_3.depvmin1
2021-07-25 21:03
183
nfcont_3__t1_nfcont_3.depv1
2021-07-25 20:57
183
nfcont_3__t1_nfcont_3
2021-07-17 23:53
37K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80