Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/ndiff_4
Name
Last modified
Size
Description
Parent Directory
-
ndiff_4__t25_ndiff_4
2024-07-26 22:31
171K
ndiff_4__t42_ndiff_4
2024-07-26 23:10
165K
ndiff_4__t24_ndiff_4
2024-07-26 22:26
150K
ndiff_4__t48_ndiff_4
2024-07-26 23:27
148K
ndiff_4__t43_ndiff_4
2024-07-26 23:14
145K
ndiff_4__t47_ndiff_4
2024-07-26 23:24
133K
ndiff_4__t49_ndiff_4.vmin1out
2024-08-03 10:22
129K
ndiff_4__t40_ndiff_4
2024-07-26 23:06
107K
ndiff_4__t49_ndiff_4.vout
2024-08-03 09:41
101K
ndiff_4__t38_ndiff_4
2024-07-26 23:01
99K
ndiff_4__t45_ndiff_4
2024-07-26 23:20
98K
ndiff_4__t32_ndiff_4
2024-07-26 22:46
82K
ndiff_4__t35_ndiff_4
2024-07-26 22:53
79K
ndiff_4__t23_ndiff_4
2024-07-26 22:22
78K
ndiff_4__t16_ndiff_4
2024-07-26 22:10
77K
ndiff_4__t37_ndiff_4
2024-07-26 22:59
76K
ndiff_4__t36_ndiff_4
2024-07-26 22:56
73K
ndiff_4__t15_ndiff_4
2024-07-26 22:07
72K
ndiff_4__t18_ndiff_4
2024-07-26 22:15
72K
ndiff_4__t29_ndiff_4
2024-07-26 22:39
70K
ndiff_4__t44_ndiff_4
2024-07-26 23:17
69K
ndiff_4__t33_ndiff_4
2024-07-26 22:49
68K
ndiff_4__t13_ndiff_4
2024-07-26 22:03
66K
ndiff_4__t12_ndiff_4
2024-07-26 22:00
66K
ndiff_4__t15_ndiff_4.vout
2024-08-03 07:57
64K
ndiff_4__t31_ndiff_4
2024-07-26 22:44
64K
ndiff_4__t46_ndiff_4
2024-07-26 23:22
62K
ndiff_4__t7_ndiff_4
2024-07-26 21:50
62K
ndiff_4__t8_ndiff_4
2024-07-26 21:52
60K
ndiff_4__t49_ndiff_4
2024-07-26 23:29
60K
ndiff_4__t17_ndiff_4
2024-07-26 22:12
59K
ndiff_4__t28_ndiff_4
2024-07-26 22:37
59K
ndiff_4__t39_ndiff_4
2024-07-26 23:03
58K
ndiff_4__t34_ndiff_4
2024-07-26 22:51
58K
ndiff_4__t11_ndiff_4
2024-07-26 21:58
55K
ndiff_4__t15_ndiff_4.vmin1out
2024-08-03 10:22
55K
ndiff_4__t26_ndiff_4
2024-07-26 22:33
54K
ndiff_4__t27_ndiff_4
2024-07-26 22:35
54K
ndiff_4__t30_ndiff_4
2024-07-26 22:42
54K
ndiff_4__t20_ndiff_4
2024-07-26 22:17
52K
ndiff_4__t5_ndiff_4
2024-07-26 21:45
52K
ndiff_4__t1_ndiff_4
2024-07-26 21:41
52K
ndiff_4__t21_ndiff_4
2024-07-26 22:19
52K
ndiff_4__t6_ndiff_4
2024-07-26 21:47
52K
ndiff_4__t10_ndiff_4
2024-07-26 21:56
51K
ndiff_4__t9_ndiff_4
2024-07-26 21:54
49K
ndiff_4__t14_ndiff_4
2024-07-26 22:05
48K
ndiff_4__l42_ndiff_4
2024-07-26 23:31
46K
ndiff_4__l1_ndiff_4
2024-07-26 21:38
44K
ndiff_4__t3_ndiff_4
2024-07-26 21:43
41K
ndiff_4__t19_ndiff_4
2024-07-26 21:34
39K
ndiff_4__t2_ndiff_4
2024-07-26 21:31
39K
ndiff_4__t19_ndiff_4.vmin1out
2024-08-03 10:22
38K
ndiff_4__t22_ndiff_4
2024-07-26 21:36
34K
ndiff_4__t4_ndiff_4
2024-07-26 21:33
33K
ndiff_4__l42_ndiff_4.vout
2024-08-03 08:57
24K
ndiff_4__t2_ndiff_4.vmin1out
2024-08-03 10:21
23K
ndiff_4__t19_ndiff_4.vout
2024-08-03 06:31
23K
ndiff_4__l42_ndiff_4.vmin1out
2024-08-03 10:20
22K
ndiff_4__t4_ndiff_4.vout
2024-08-03 08:34
20K
ndiff_4__t22_ndiff_4.vout
2024-08-03 08:52
19K
ndiff_4__l30_ndiff_4
2024-07-26 21:39
19K
ndiff_4__t2_ndiff_4.vout
2024-08-03 07:19
15K
ndiff_4__t3_ndiff_4.vout
2024-08-03 05:23
15K
ndiff_4__t4_ndiff_4.vmin1out
2024-08-03 10:21
14K
ndiff_4__t3_ndiff_4.vmin1out
2024-08-03 10:22
14K
ndiff_4__t22_ndiff_4.vmin1out
2024-08-03 10:23
13K
ndiff_4__l1_ndiff_4.vout
2024-08-03 06:10
9.1K
ndiff_4__l1_ndiff_4.vmin1out
2024-08-03 10:21
9.0K
ndiff_4__t49_ndiff_4.vmin1
2024-08-03 10:19
7.9K
ndiff_4__t18_ndiff_4.vout
2024-08-03 06:14
7.3K
ndiff_4__t47_ndiff_4.vout
2024-08-03 08:06
7.3K
ndiff_4__t34_ndiff_4.vout
2024-08-03 07:15
7.3K
ndiff_4__t31_ndiff_4.vout
2024-08-03 09:46
7.3K
ndiff_4__t30_ndiff_4.vout
2024-08-03 04:39
7.3K
ndiff_4__t17_ndiff_4.vout
2024-08-03 04:26
7.3K
ndiff_4__t20_ndiff_4.vout
2024-08-03 06:22
7.3K
ndiff_4__t16_ndiff_4.vout
2024-08-03 06:45
7.3K
ndiff_4__t7_ndiff_4.vout
2024-08-03 05:02
7.3K
ndiff_4__t6_ndiff_4.vout
2024-08-03 07:58
7.3K
ndiff_4__t14_ndiff_4.vout
2024-08-03 07:06
6.8K
ndiff_4__t40_ndiff_4.vout
2024-08-03 09:10
6.8K
ndiff_4__t36_ndiff_4.vout
2024-08-03 05:22
6.8K
ndiff_4__t35_ndiff_4.vout
2024-08-03 06:20
6.8K
ndiff_4__t28_ndiff_4.vout
2024-08-03 05:20
6.8K
ndiff_4__t48_ndiff_4.vout
2024-08-03 08:29
6.8K
ndiff_4__t23_ndiff_4.vout
2024-08-03 09:47
6.8K
ndiff_4__t21_ndiff_4.vout
2024-08-03 05:44
6.8K
ndiff_4__t13_ndiff_4.vout
2024-08-03 06:38
6.8K
ndiff_4__t29_ndiff_4.vout
2024-08-03 04:50
6.8K
ndiff_4__t8_ndiff_4.vout
2024-08-03 06:58
6.8K
ndiff_4__t5_ndiff_4.vout
2024-08-03 07:54
6.8K
ndiff_4__t27_ndiff_4.vout
2024-08-03 08:15
4.7K
ndiff_4__t32_ndiff_4.vout
2024-08-03 07:57
4.7K
ndiff_4__t45_ndiff_4.vout
2024-08-03 10:08
4.7K
ndiff_4__t46_ndiff_4.vout
2024-08-03 04:50
4.7K
ndiff_4__t39_ndiff_4.vout
2024-08-03 04:53
4.7K
ndiff_4__t44_ndiff_4.vout
2024-08-03 05:52
4.7K
ndiff_4__t33_ndiff_4.vout
2024-08-03 05:31
4.7K
ndiff_4__t12_ndiff_4.vout
2024-08-03 08:00
4.1K
ndiff_4__t11_ndiff_4.vout
2024-08-03 05:02
4.1K
ndiff_4__t10_ndiff_4.vout
2024-08-03 08:55
4.1K
ndiff_4__t9_ndiff_4.vout
2024-08-03 09:57
4.1K
ndiff_4__t26_ndiff_4.vout
2024-08-03 10:02
4.1K
ndiff_4__t1_ndiff_4.vout
2024-08-03 08:16
4.1K
ndiff_4__l30_ndiff_4.vmin1out
2024-08-03 10:21
4.0K
ndiff_4__l30_ndiff_4.vout
2024-08-03 06:21
3.7K
ndiff_4__t38_ndiff_4.vout
2024-08-03 08:10
3.7K
ndiff_4__t42_ndiff_4.vout
2024-08-03 07:48
3.7K
ndiff_4__t37_ndiff_4.vout
2024-08-03 08:41
3.7K
ndiff_4__t24_ndiff_4.vout
2024-08-03 04:44
3.7K
ndiff_4__t25_ndiff_4.vout
2024-08-03 07:34
3.7K
ndiff_4__t43_ndiff_4.vout
2024-08-03 04:29
3.7K
ndiff_4__t15_ndiff_4.vmin1
2024-08-03 10:19
3.0K
ndiff_4__t19_ndiff_4.vmin1
2024-08-03 10:19
2.5K
ndiff_4__l42_ndiff_4.vmin1
2024-08-03 10:19
1.9K
ndiff_4__t4_ndiff_4.vmin1
2024-08-03 10:19
1.4K
ndiff_4__t22_ndiff_4.vmin1
2024-08-03 10:19
1.4K
ndiff_4__t3_ndiff_4.vmin1
2024-08-03 10:19
1.2K
ndiff_4__l1_ndiff_4.vmin1
2024-08-03 10:19
1.0K
ndiff_4__t2_ndiff_4.vmin1
2024-08-03 10:19
865
ndiff_4__l30_ndiff_4.vmin1
2024-08-03 10:19
563
ndiff_4__l42_ndiff_4.depvmin1
2024-08-03 10:24
271
ndiff_4__l42_ndiff_4.depv1
2024-08-03 10:19
271
ndiff_4__t49_ndiff_4.depv1
2024-08-03 10:19
173
ndiff_4__t49_ndiff_4.depvmin1
2024-08-03 10:24
160
ndiff_4__t4_ndiff_4.depvmin1
2024-08-03 10:24
110
ndiff_4__t4_ndiff_4.depv1
2024-08-03 10:19
110
ndiff_4__t19_ndiff_4.depv1
2024-08-03 10:19
101
ndiff_4__l30_ndiff_4.depvmin1
2024-08-03 10:24
95
ndiff_4__l30_ndiff_4.depv1
2024-08-03 10:19
95
ndiff_4__t19_ndiff_4.depvmin1
2024-08-03 10:24
88
ndiff_4__t15_ndiff_4.depvmin1
2024-08-03 10:24
88
ndiff_4__t15_ndiff_4.depv1
2024-08-03 10:19
88
ndiff_4__t22_ndiff_4.depvmin1
2024-08-03 10:24
86
ndiff_4__t22_ndiff_4.depv1
2024-08-03 10:19
86
ndiff_4__l1_ndiff_4.depvmin1
2024-08-03 10:24
65
ndiff_4__l1_ndiff_4.depv1
2024-08-03 10:19
65
ndiff_4__t3_ndiff_4.depvmin1
2024-08-03 10:24
36
ndiff_4__t3_ndiff_4.depv1
2024-08-03 10:19
36
ndiff_4__t2_ndiff_4.depvmin1
2024-08-03 10:24
22
ndiff_4__t2_ndiff_4.depv1
2024-08-03 10:19
22
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80