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