Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/nfcont_1
Name
Last modified
Size
Description
Parent Directory
-
nfcont_1__l20_nfcont_1
2024-07-27 07:46
5.1K
nfcont_1__l20_nfcont_1.depv1
2024-08-03 10:19
52
nfcont_1__l20_nfcont_1.depvmin1
2024-08-03 10:24
52
nfcont_1__l20_nfcont_1.vmin1
2024-08-03 10:19
286
nfcont_1__l20_nfcont_1.vmin1out
2024-08-03 10:20
2.2K
nfcont_1__l20_nfcont_1.vout
2024-08-03 04:58
2.1K
nfcont_1__t1_nfcont_1
2024-07-27 07:48
25K
nfcont_1__t1_nfcont_1.vout
2024-08-03 08:43
4.1K
nfcont_1__t2_nfcont_1
2024-07-27 07:49
27K
nfcont_1__t2_nfcont_1.vout
2024-08-03 06:12
4.1K
nfcont_1__t3_nfcont_1
2024-07-27 09:16
15K
nfcont_1__t3_nfcont_1.depv1
2024-08-03 10:19
181
nfcont_1__t3_nfcont_1.depvmin1
2024-08-03 10:24
181
nfcont_1__t3_nfcont_1.vmin1
2024-08-03 10:19
2.5K
nfcont_1__t3_nfcont_1.vmin1out
2024-08-03 10:23
52K
nfcont_1__t3_nfcont_1.vout
2024-08-03 08:51
23K
nfcont_1__t4_nfcont_1
2024-07-27 07:50
18K
nfcont_1__t4_nfcont_1.depv1
2024-08-03 10:19
175
nfcont_1__t4_nfcont_1.depvmin1
2024-08-03 10:24
175
nfcont_1__t4_nfcont_1.vmin1
2024-08-03 10:19
3.0K
nfcont_1__t4_nfcont_1.vmin1out
2024-08-03 10:21
71K
nfcont_1__t4_nfcont_1.vout
2024-08-03 08:58
25K
nfcont_1__t5_nfcont_1
2024-07-27 07:52
26K
nfcont_1__t5_nfcont_1.depv1
2024-08-03 10:19
252
nfcont_1__t5_nfcont_1.depvmin1
2024-08-03 10:24
252
nfcont_1__t5_nfcont_1.vmin1
2024-08-03 10:19
3.1K
nfcont_1__t5_nfcont_1.vmin1out
2024-08-03 10:22
47K
nfcont_1__t5_nfcont_1.vout
2024-08-03 08:04
46K
nfcont_1__t6_nfcont_1
2024-07-27 07:54
26K
nfcont_1__t6_nfcont_1.depv1
2024-08-03 10:19
242
nfcont_1__t6_nfcont_1.depvmin1
2024-08-03 10:24
242
nfcont_1__t6_nfcont_1.vmin1
2024-08-03 10:19
2.5K
nfcont_1__t6_nfcont_1.vmin1out
2024-08-03 10:22
42K
nfcont_1__t6_nfcont_1.vout
2024-08-03 06:38
43K
nfcont_1__t7_nfcont_1
2024-07-27 07:56
42K
nfcont_1__t7_nfcont_1.vout
2024-08-03 06:09
6.8K
nfcont_1__t8_nfcont_1
2024-07-27 07:58
47K
nfcont_1__t8_nfcont_1.vout
2024-08-03 07:47
6.8K
nfcont_1__t9_nfcont_1
2024-07-27 08:00
36K
nfcont_1__t9_nfcont_1.vout
2024-08-03 07:34
4.7K
nfcont_1__t10_nfcont_1
2024-07-27 08:01
32K
nfcont_1__t10_nfcont_1.vout
2024-08-03 10:09
6.8K
nfcont_1__t11_nfcont_1
2024-07-27 08:03
35K
nfcont_1__t11_nfcont_1.vout
2024-08-03 09:20
7.3K
nfcont_1__t12_nfcont_1
2024-07-27 08:05
41K
nfcont_1__t12_nfcont_1.vout
2024-08-03 09:59
6.8K
nfcont_1__t13_nfcont_1
2024-07-27 08:07
33K
nfcont_1__t13_nfcont_1.vout
2024-08-03 05:25
7.3K
nfcont_1__t14_nfcont_1
2024-07-27 08:09
38K
nfcont_1__t14_nfcont_1.vout
2024-08-03 08:44
6.8K
nfcont_1__t15_nfcont_1
2024-07-27 08:11
43K
nfcont_1__t15_nfcont_1.vout
2024-08-03 07:47
7.3K
nfcont_1__t16_nfcont_1
2024-07-27 08:13
34K
nfcont_1__t16_nfcont_1.vout
2024-08-03 09:15
7.3K
nfcont_1__t17_nfcont_1
2024-07-27 08:15
39K
nfcont_1__t17_nfcont_1.vout
2024-08-03 08:13
7.3K
nfcont_1__t18_nfcont_1
2024-07-27 08:17
38K
nfcont_1__t18_nfcont_1.vout
2024-08-03 07:37
6.8K
nfcont_1__t19_nfcont_1
2024-07-27 08:19
39K
nfcont_1__t19_nfcont_1.vout
2024-08-03 06:30
7.3K
nfcont_1__t20_nfcont_1
2024-07-27 08:21
41K
nfcont_1__t20_nfcont_1.vout
2024-08-03 04:45
7.3K
nfcont_1__t21_nfcont_1
2024-07-27 08:23
34K
nfcont_1__t21_nfcont_1.vout
2024-08-03 07:47
6.8K
nfcont_1__t22_nfcont_1
2024-07-27 08:25
33K
nfcont_1__t22_nfcont_1.vout
2024-08-03 10:09
6.8K
nfcont_1__t23_nfcont_1
2024-07-27 08:26
37K
nfcont_1__t23_nfcont_1.vout
2024-08-03 08:12
6.8K
nfcont_1__t24_nfcont_1
2024-07-27 08:28
42K
nfcont_1__t24_nfcont_1.vout
2024-08-03 09:03
6.8K
nfcont_1__t25_nfcont_1
2024-07-27 08:30
46K
nfcont_1__t25_nfcont_1.vout
2024-08-03 08:20
7.3K
nfcont_1__t26_nfcont_1
2024-07-27 08:32
31K
nfcont_1__t26_nfcont_1.depv1
2024-08-03 10:19
78
nfcont_1__t26_nfcont_1.depvmin1
2024-08-03 10:24
78
nfcont_1__t26_nfcont_1.vmin1
2024-08-03 10:19
3.0K
nfcont_1__t26_nfcont_1.vmin1out
2024-08-03 10:20
79K
nfcont_1__t26_nfcont_1.vout
2024-08-03 10:05
32K
nfcont_1__t27_nfcont_1
2024-07-27 08:34
37K
nfcont_1__t27_nfcont_1.vout
2024-08-03 08:01
7.3K
nfcont_1__t28_nfcont_1
2024-07-27 08:35
48K
nfcont_1__t28_nfcont_1.vout
2024-08-03 06:27
7.3K
nfcont_1__t29_nfcont_1
2024-07-27 08:37
42K
nfcont_1__t29_nfcont_1.vout
2024-08-03 08:33
7.3K
nfcont_1__t30_nfcont_1
2024-07-27 08:39
40K
nfcont_1__t30_nfcont_1.vout
2024-08-03 09:46
6.8K
nfcont_1__t31_nfcont_1
2024-07-27 08:41
40K
nfcont_1__t31_nfcont_1.vout
2024-08-03 07:36
7.3K
nfcont_1__t32_nfcont_1
2024-07-27 08:43
36K
nfcont_1__t32_nfcont_1.vout
2024-08-03 04:54
7.3K
nfcont_1__t33_nfcont_1
2024-07-27 08:44
28K
nfcont_1__t33_nfcont_1.depv1
2024-08-03 10:19
188
nfcont_1__t33_nfcont_1.depvmin1
2024-08-03 10:24
188
nfcont_1__t33_nfcont_1.vmin1
2024-08-03 10:19
3.0K
nfcont_1__t33_nfcont_1.vmin1out
2024-08-03 10:22
42K
nfcont_1__t33_nfcont_1.vout
2024-08-03 08:07
35K
nfcont_1__t34_nfcont_1
2024-07-27 08:46
32K
nfcont_1__t34_nfcont_1.vout
2024-08-03 10:17
7.3K
nfcont_1__t35_nfcont_1
2024-07-27 08:47
31K
nfcont_1__t35_nfcont_1.vout
2024-08-03 04:35
4.1K
nfcont_1__t36_nfcont_1
2024-07-27 08:49
41K
nfcont_1__t36_nfcont_1.vout
2024-08-03 04:58
6.8K
nfcont_1__t37_nfcont_1
2024-07-27 08:51
38K
nfcont_1__t37_nfcont_1.vout
2024-08-03 09:53
6.8K
nfcont_1__t38_nfcont_1
2024-07-27 08:53
23K
nfcont_1__t38_nfcont_1.depv1
2024-08-03 10:19
58
nfcont_1__t38_nfcont_1.depvmin1
2024-08-03 10:24
58
nfcont_1__t38_nfcont_1.vmin1
2024-08-03 10:19
2.2K
nfcont_1__t38_nfcont_1.vmin1out
2024-08-03 10:23
51K
nfcont_1__t38_nfcont_1.vout
2024-08-03 05:19
54K
nfcont_1__t39_nfcont_1
2024-07-27 08:54
46K
nfcont_1__t39_nfcont_1.vout
2024-08-03 04:59
6.8K
nfcont_1__t40_nfcont_1
2024-07-27 08:56
40K
nfcont_1__t40_nfcont_1.vout
2024-08-03 08:36
7.3K
nfcont_1__t41_nfcont_1
2024-07-27 08:58
42K
nfcont_1__t41_nfcont_1.vout
2024-08-03 05:17
6.8K
nfcont_1__t42_nfcont_1
2024-07-27 08:59
34K
nfcont_1__t42_nfcont_1.vout
2024-08-03 09:06
6.8K
nfcont_1__t43_nfcont_1
2024-07-27 09:01
37K
nfcont_1__t43_nfcont_1.vout
2024-08-03 05:16
7.3K
nfcont_1__t44_nfcont_1
2024-07-27 09:03
37K
nfcont_1__t44_nfcont_1.vout
2024-08-03 06:32
7.4K
nfcont_1__t47_nfcont_1
2024-07-27 09:05
37K
nfcont_1__t47_nfcont_1.vout
2024-08-03 05:46
4.7K
nfcont_1__t48_nfcont_1
2024-07-27 07:46
33K
nfcont_1__t48_nfcont_1.depv1
2024-08-03 10:19
39
nfcont_1__t48_nfcont_1.depvmin1
2024-08-03 10:24
39
nfcont_1__t48_nfcont_1.vmin1
2024-08-03 10:19
2.5K
nfcont_1__t48_nfcont_1.vmin1out
2024-08-03 10:21
41K
nfcont_1__t48_nfcont_1.vout
2024-08-03 04:20
67K
nfcont_1__t49_nfcont_1
2024-07-27 09:06
32K
nfcont_1__t49_nfcont_1.vout
2024-08-03 08:36
2.0K
nfcont_1__t50_nfcont_1
2024-07-27 09:08
32K
nfcont_1__t50_nfcont_1.depv1
2024-08-03 10:19
304
nfcont_1__t50_nfcont_1.depvmin1
2024-08-03 10:24
275
nfcont_1__t50_nfcont_1.vmin1
2024-08-03 10:19
3.6K
nfcont_1__t50_nfcont_1.vmin1out
2024-08-03 10:23
28K
nfcont_1__t50_nfcont_1.vout
2024-08-03 05:36
52K
nfcont_1__t51_nfcont_1
2024-07-27 09:10
41K
nfcont_1__t51_nfcont_1.vout
2024-08-03 09:20
6.8K
nfcont_1__t52_nfcont_1
2024-07-27 09:12
61K
nfcont_1__t52_nfcont_1.vout
2024-08-03 09:18
7.3K
nfcont_1__t53_nfcont_1
2024-07-27 09:13
35K
nfcont_1__t53_nfcont_1.vout
2024-08-03 05:53
2.0K
nfcont_1__t54_nfcont_1
2024-07-27 09:15
30K
nfcont_1__t54_nfcont_1.vout
2024-08-03 09:27
6.8K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80