Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/nfcont_4
Name
Last modified
Size
Description
Parent Directory
-
nfcont_4__t1_nfcont_4
2024-07-27 10:57
54K
nfcont_4__t1_nfcont_4.depv1
2024-08-03 10:19
24
nfcont_4__t1_nfcont_4.depvmin1
2024-08-03 10:24
24
nfcont_4__t1_nfcont_4.vmin1
2024-08-03 10:19
817
nfcont_4__t1_nfcont_4.vmin1out
2024-08-03 10:20
22K
nfcont_4__t1_nfcont_4.vout
2024-08-03 09:30
15K
nfcont_4__t2_nfcont_4
2024-07-27 11:03
59K
nfcont_4__t2_nfcont_4.depv1
2024-08-03 10:19
142
nfcont_4__t2_nfcont_4.depvmin1
2024-08-03 10:24
117
nfcont_4__t2_nfcont_4.vmin1
2024-08-03 10:19
2.7K
nfcont_4__t2_nfcont_4.vmin1out
2024-08-03 10:21
25K
nfcont_4__t2_nfcont_4.vout
2024-08-03 06:36
48K
nfcont_4__t3_nfcont_4
2024-07-27 11:05
68K
nfcont_4__t3_nfcont_4.vout
2024-08-03 04:24
4.7K
nfcont_4__t4_nfcont_4
2024-07-27 12:38
50K
nfcont_4__t4_nfcont_4.vout
2024-08-03 10:01
7.4K
nfcont_4__t5_nfcont_4
2024-07-27 11:08
61K
nfcont_4__t5_nfcont_4.vout
2024-08-03 07:21
4.1K
nfcont_4__t6_nfcont_4
2024-07-27 11:10
55K
nfcont_4__t6_nfcont_4.vout
2024-08-03 09:20
4.1K
nfcont_4__t7_nfcont_4
2024-07-27 11:12
38K
nfcont_4__t7_nfcont_4.vout
2024-08-03 08:57
4.1K
nfcont_4__t8_nfcont_4
2024-07-27 11:14
54K
nfcont_4__t8_nfcont_4.vout
2024-08-03 05:12
4.1K
nfcont_4__t9_nfcont_4
2024-07-27 11:16
54K
nfcont_4__t9_nfcont_4.vout
2024-08-03 04:15
4.1K
nfcont_4__t10_nfcont_4
2024-07-27 11:19
60K
nfcont_4__t10_nfcont_4.vout
2024-08-03 07:55
4.1K
nfcont_4__t11_nfcont_4
2024-07-27 12:41
71K
nfcont_4__t11_nfcont_4.vout
2024-08-03 06:12
3.7K
nfcont_4__t12_nfcont_4
2024-07-27 12:43
72K
nfcont_4__t12_nfcont_4.vout
2024-08-03 09:20
4.2K
nfcont_4__t13_nfcont_4
2024-07-27 11:21
63K
nfcont_4__t13_nfcont_4.vout
2024-08-03 09:23
4.1K
nfcont_4__t14_nfcont_4
2024-07-27 11:24
70K
nfcont_4__t14_nfcont_4.vout
2024-08-03 09:27
4.1K
nfcont_4__t15_nfcont_4
2024-07-27 11:26
70K
nfcont_4__t15_nfcont_4.vout
2024-08-03 08:15
4.1K
nfcont_4__t16_nfcont_4
2024-07-27 11:29
64K
nfcont_4__t16_nfcont_4.vout
2024-08-03 07:06
4.1K
nfcont_4__t17_nfcont_4
2024-07-27 11:31
64K
nfcont_4__t17_nfcont_4.vout
2024-08-03 09:20
4.1K
nfcont_4__t18_nfcont_4
2024-07-27 11:34
63K
nfcont_4__t18_nfcont_4.depv1
2024-08-03 10:19
181
nfcont_4__t18_nfcont_4.depvmin1
2024-08-03 10:24
181
nfcont_4__t18_nfcont_4.vmin1
2024-08-03 10:19
3.9K
nfcont_4__t18_nfcont_4.vmin1out
2024-08-03 10:23
42K
nfcont_4__t18_nfcont_4.vout
2024-08-03 06:48
55K
nfcont_4__t19_nfcont_4
2024-07-27 11:36
68K
nfcont_4__t19_nfcont_4.vout
2024-08-03 09:53
4.1K
nfcont_4__t20_nfcont_4
2024-07-27 11:38
63K
nfcont_4__t20_nfcont_4.vout
2024-08-03 05:07
6.8K
nfcont_4__t21_nfcont_4
2024-07-27 10:59
39K
nfcont_4__t21_nfcont_4.depv1
2024-08-03 10:19
25
nfcont_4__t21_nfcont_4.depvmin1
2024-08-03 10:24
25
nfcont_4__t21_nfcont_4.vmin1
2024-08-03 10:19
1.0K
nfcont_4__t21_nfcont_4.vmin1out
2024-08-03 10:22
29K
nfcont_4__t21_nfcont_4.vout
2024-08-03 08:11
21K
nfcont_4__t22_nfcont_4
2024-07-27 11:41
68K
nfcont_4__t22_nfcont_4.vout
2024-08-03 09:34
4.1K
nfcont_4__t23_nfcont_4
2024-07-27 11:43
54K
nfcont_4__t23_nfcont_4.vout
2024-08-03 09:02
4.1K
nfcont_4__t24_nfcont_4
2024-07-27 11:45
69K
nfcont_4__t24_nfcont_4.vout
2024-08-03 05:49
6.8K
nfcont_4__t25_nfcont_4
2024-07-27 11:47
37K
nfcont_4__t25_nfcont_4.depv1
2024-08-03 10:19
91
nfcont_4__t25_nfcont_4.depvmin1
2024-08-03 10:24
91
nfcont_4__t25_nfcont_4.vmin1
2024-08-03 10:19
1.3K
nfcont_4__t25_nfcont_4.vmin1out
2024-08-03 10:21
12K
nfcont_4__t25_nfcont_4.vout
2024-08-03 05:36
16K
nfcont_4__t26_nfcont_4
2024-07-27 11:49
72K
nfcont_4__t26_nfcont_4.vout
2024-08-03 06:14
7.3K
nfcont_4__t27_nfcont_4
2024-07-27 11:52
71K
nfcont_4__t27_nfcont_4.vout
2024-08-03 07:35
7.4K
nfcont_4__t28_nfcont_4
2024-07-27 11:54
63K
nfcont_4__t28_nfcont_4.vout
2024-08-03 04:08
7.4K
nfcont_4__t29_nfcont_4
2024-07-27 11:56
63K
nfcont_4__t29_nfcont_4.vout
2024-08-03 08:48
7.4K
nfcont_4__t30_nfcont_4
2024-07-27 11:59
71K
nfcont_4__t30_nfcont_4.vout
2024-08-03 09:38
4.1K
nfcont_4__t31_nfcont_4
2024-07-27 12:01
59K
nfcont_4__t31_nfcont_4.vout
2024-08-03 09:39
4.1K
nfcont_4__t32_nfcont_4
2024-07-27 12:04
61K
nfcont_4__t32_nfcont_4.depv1
2024-08-03 10:19
145
nfcont_4__t32_nfcont_4.depvmin1
2024-08-03 10:24
145
nfcont_4__t32_nfcont_4.vmin1
2024-08-03 10:19
3.5K
nfcont_4__t32_nfcont_4.vmin1out
2024-08-03 10:20
48K
nfcont_4__t32_nfcont_4.vout
2024-08-03 05:07
47K
nfcont_4__t33_nfcont_4
2024-07-27 12:06
59K
nfcont_4__t33_nfcont_4.vout
2024-08-03 04:48
4.7K
nfcont_4__t34_nfcont_4
2024-07-27 11:01
39K
nfcont_4__t34_nfcont_4.vout
2024-08-03 09:02
3.2K
nfcont_4__t35_nfcont_4
2024-07-27 12:08
52K
nfcont_4__t35_nfcont_4.vout
2024-08-03 08:19
4.7K
nfcont_4__t36_nfcont_4
2024-07-27 12:10
39K
nfcont_4__t36_nfcont_4.depv1
2024-08-03 10:19
91
nfcont_4__t36_nfcont_4.depvmin1
2024-08-03 10:24
91
nfcont_4__t36_nfcont_4.vmin1
2024-08-03 10:19
1.3K
nfcont_4__t36_nfcont_4.vmin1out
2024-08-03 10:22
12K
nfcont_4__t36_nfcont_4.vout
2024-08-03 06:13
16K
nfcont_4__t37_nfcont_4
2024-07-27 12:12
67K
nfcont_4__t37_nfcont_4.vout
2024-08-03 10:16
4.1K
nfcont_4__t38_nfcont_4
2024-07-27 12:14
65K
nfcont_4__t38_nfcont_4.vout
2024-08-03 04:25
4.1K
nfcont_4__t39_nfcont_4
2024-07-27 12:17
64K
nfcont_4__t39_nfcont_4.vout
2024-08-03 08:45
7.4K
nfcont_4__t40_nfcont_4
2024-07-27 12:19
63K
nfcont_4__t40_nfcont_4.vout
2024-08-03 05:20
4.1K
nfcont_4__t41_nfcont_4
2024-07-27 12:21
67K
nfcont_4__t41_nfcont_4.vout
2024-08-03 06:33
4.1K
nfcont_4__t42_nfcont_4
2024-07-27 12:24
62K
nfcont_4__t42_nfcont_4.vout
2024-08-03 06:07
4.7K
nfcont_4__t43_nfcont_4
2024-07-27 12:26
82K
nfcont_4__t43_nfcont_4.vout
2024-08-03 10:00
6.8K
nfcont_4__t44_nfcont_4
2024-07-27 12:29
63K
nfcont_4__t44_nfcont_4.vout
2024-08-03 05:14
7.3K
nfcont_4__t45_nfcont_4
2024-07-27 12:31
49K
nfcont_4__t45_nfcont_4.vout
2024-08-03 08:03
4.7K
nfcont_4__t46_nfcont_4
2024-07-27 12:33
78K
nfcont_4__t46_nfcont_4.vout
2024-08-03 05:02
6.8K
nfcont_4__t47_nfcont_4
2024-07-27 12:35
62K
nfcont_4__t47_nfcont_4.vout
2024-08-03 06:48
7.3K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80