Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/ndiff_7
Name
Last modified
Size
Description
Parent Directory
-
ndiff_7__l1_ndiff_7
2024-07-27 11:34
10K
ndiff_7__l1_ndiff_7.depv1
2024-08-03 10:19
108
ndiff_7__l1_ndiff_7.depvmin1
2024-08-03 10:24
108
ndiff_7__l1_ndiff_7.vmin1
2024-08-03 10:20
639
ndiff_7__l1_ndiff_7.vmin1out
2024-08-03 10:22
4.4K
ndiff_7__l1_ndiff_7.vout
2024-08-03 09:33
4.2K
ndiff_7__l15_ndiff_7
2024-07-27 13:16
38K
ndiff_7__l15_ndiff_7.vout
2024-08-03 10:06
6.8K
ndiff_7__l18_ndiff_7
2024-07-27 13:17
26K
ndiff_7__l18_ndiff_7.depv1
2024-08-03 10:19
204
ndiff_7__l18_ndiff_7.depvmin1
2024-08-03 10:24
204
ndiff_7__l18_ndiff_7.vmin1
2024-08-03 10:20
4.2K
ndiff_7__l18_ndiff_7.vmin1out
2024-08-03 10:23
87K
ndiff_7__l18_ndiff_7.vout
2024-08-03 08:19
89K
ndiff_7__t1_ndiff_7
2024-07-27 11:35
18K
ndiff_7__t1_ndiff_7.vout
2024-08-03 05:36
4.1K
ndiff_7__t3_ndiff_7
2024-07-27 11:36
38K
ndiff_7__t3_ndiff_7.vout
2024-08-03 08:51
7.3K
ndiff_7__t4_ndiff_7
2024-07-27 11:38
32K
ndiff_7__t4_ndiff_7.vout
2024-08-03 08:50
7.3K
ndiff_7__t5_ndiff_7
2024-07-27 11:39
34K
ndiff_7__t5_ndiff_7.vout
2024-08-03 07:08
4.7K
ndiff_7__t6_ndiff_7
2024-07-27 11:41
29K
ndiff_7__t6_ndiff_7.vout
2024-08-03 05:33
7.3K
ndiff_7__t7_ndiff_7
2024-07-27 11:42
26K
ndiff_7__t7_ndiff_7.vout
2024-08-03 04:56
2.0K
ndiff_7__t8_ndiff_7
2024-07-27 11:44
29K
ndiff_7__t8_ndiff_7.depv1
2024-08-03 10:19
259
ndiff_7__t8_ndiff_7.depvmin1
2024-08-03 10:24
259
ndiff_7__t8_ndiff_7.vmin1
2024-08-03 10:20
5.2K
ndiff_7__t8_ndiff_7.vmin1out
2024-08-03 10:20
134K
ndiff_7__t8_ndiff_7.vout
2024-08-03 08:02
138K
ndiff_7__t10_ndiff_7
2024-07-27 11:45
34K
ndiff_7__t10_ndiff_7.vout
2024-08-03 04:28
6.8K
ndiff_7__t11_ndiff_7
2024-07-27 11:47
34K
ndiff_7__t11_ndiff_7.vout
2024-08-03 05:50
6.8K
ndiff_7__t12_ndiff_7
2024-07-27 11:48
28K
ndiff_7__t12_ndiff_7.depv1
2024-08-03 10:19
254
ndiff_7__t12_ndiff_7.depvmin1
2024-08-03 10:24
254
ndiff_7__t12_ndiff_7.vmin1
2024-08-03 10:20
5.3K
ndiff_7__t12_ndiff_7.vmin1out
2024-08-03 10:21
144K
ndiff_7__t12_ndiff_7.vout
2024-08-03 09:32
108K
ndiff_7__t13_ndiff_7
2024-07-27 11:49
28K
ndiff_7__t13_ndiff_7.depv1
2024-08-03 10:19
356
ndiff_7__t13_ndiff_7.depvmin1
2024-08-03 10:24
280
ndiff_7__t13_ndiff_7.vmin1
2024-08-03 10:20
7.4K
ndiff_7__t13_ndiff_7.vmin1out
2024-08-03 10:21
179K
ndiff_7__t13_ndiff_7.vout
2024-08-03 09:45
95K
ndiff_7__t14_ndiff_7
2024-07-27 11:51
28K
ndiff_7__t14_ndiff_7.depv1
2024-08-03 10:19
196
ndiff_7__t14_ndiff_7.depvmin1
2024-08-03 10:24
196
ndiff_7__t14_ndiff_7.vmin1
2024-08-03 10:20
5.3K
ndiff_7__t14_ndiff_7.vmin1out
2024-08-03 10:22
154K
ndiff_7__t14_ndiff_7.vout
2024-08-03 07:38
216K
ndiff_7__t15_ndiff_7
2024-07-27 11:53
43K
ndiff_7__t15_ndiff_7.vout
2024-08-03 04:44
4.7K
ndiff_7__t16_ndiff_7
2024-07-27 11:54
41K
ndiff_7__t16_ndiff_7.vout
2024-08-03 09:39
6.8K
ndiff_7__t18_ndiff_7
2024-07-27 11:56
63K
ndiff_7__t18_ndiff_7.vout
2024-08-03 05:19
4.7K
ndiff_7__t19_ndiff_7
2024-07-27 11:58
62K
ndiff_7__t19_ndiff_7.vout
2024-08-03 07:53
4.7K
ndiff_7__t20_ndiff_7
2024-07-27 11:31
51K
ndiff_7__t20_ndiff_7.depv1
2024-08-03 10:19
176
ndiff_7__t20_ndiff_7.depvmin1
2024-08-03 10:24
176
ndiff_7__t20_ndiff_7.vmin1
2024-08-03 10:20
7.6K
ndiff_7__t20_ndiff_7.vmin1out
2024-08-03 10:23
379K
ndiff_7__t20_ndiff_7.vout
2024-08-03 05:50
87K
ndiff_7__t21_ndiff_7
2024-07-27 11:33
56K
ndiff_7__t21_ndiff_7.depv1
2024-08-03 10:19
253
ndiff_7__t21_ndiff_7.depvmin1
2024-08-03 10:24
226
ndiff_7__t21_ndiff_7.vmin1
2024-08-03 10:20
12K
ndiff_7__t21_ndiff_7.vmin1out
2024-08-03 10:22
589K
ndiff_7__t21_ndiff_7.vout
2024-08-03 08:15
134K
ndiff_7__t22_ndiff_7
2024-07-27 12:00
71K
ndiff_7__t22_ndiff_7.vout
2024-08-03 05:39
6.8K
ndiff_7__t23_ndiff_7
2024-07-27 12:02
75K
ndiff_7__t23_ndiff_7.vout
2024-08-03 06:59
6.8K
ndiff_7__t24_ndiff_7
2024-07-27 12:05
74K
ndiff_7__t24_ndiff_7.vout
2024-08-03 05:28
6.8K
ndiff_7__t25_ndiff_7
2024-07-27 12:07
71K
ndiff_7__t25_ndiff_7.vout
2024-08-03 07:35
6.8K
ndiff_7__t26_ndiff_7
2024-07-27 12:09
79K
ndiff_7__t26_ndiff_7.vout
2024-08-03 07:56
7.3K
ndiff_7__t27_ndiff_7
2024-07-27 12:11
69K
ndiff_7__t27_ndiff_7.depv1
2024-08-03 10:19
106
ndiff_7__t27_ndiff_7.depvmin1
2024-08-03 10:24
106
ndiff_7__t27_ndiff_7.vmin1
2024-08-03 10:20
4.9K
ndiff_7__t27_ndiff_7.vmin1out
2024-08-03 10:21
140K
ndiff_7__t27_ndiff_7.vout
2024-08-03 06:16
168K
ndiff_7__t28_ndiff_7
2024-07-27 12:13
80K
ndiff_7__t28_ndiff_7.vout
2024-08-03 08:29
4.7K
ndiff_7__t29_ndiff_7
2024-07-27 12:15
73K
ndiff_7__t29_ndiff_7.vout
2024-08-03 07:38
6.8K
ndiff_7__t30_ndiff_7
2024-07-27 12:18
119K
ndiff_7__t30_ndiff_7.vout
2024-08-03 07:05
6.8K
ndiff_7__t31_ndiff_7
2024-07-27 12:21
122K
ndiff_7__t31_ndiff_7.vout
2024-08-03 07:21
6.8K
ndiff_7__t32_ndiff_7
2024-07-27 12:24
90K
ndiff_7__t32_ndiff_7.vout
2024-08-03 09:25
6.8K
ndiff_7__t33_ndiff_7
2024-07-27 12:27
80K
ndiff_7__t33_ndiff_7.vout
2024-08-03 07:56
7.3K
ndiff_7__t34_ndiff_7
2024-07-27 12:29
84K
ndiff_7__t34_ndiff_7.vout
2024-08-03 06:12
7.3K
ndiff_7__t35_ndiff_7
2024-07-27 12:32
111K
ndiff_7__t35_ndiff_7.vout
2024-08-03 07:51
6.8K
ndiff_7__t36_ndiff_7
2024-07-27 12:34
79K
ndiff_7__t36_ndiff_7.vout
2024-08-03 07:17
4.2K
ndiff_7__t37_ndiff_7
2024-07-27 12:36
79K
ndiff_7__t37_ndiff_7.vout
2024-08-03 09:17
4.1K
ndiff_7__t38_ndiff_7
2024-07-27 12:39
118K
ndiff_7__t38_ndiff_7.vout
2024-08-03 05:52
6.8K
ndiff_7__t39_ndiff_7
2024-07-27 12:42
118K
ndiff_7__t39_ndiff_7.vout
2024-08-03 04:12
6.8K
ndiff_7__t40_ndiff_7
2024-07-27 12:44
94K
ndiff_7__t40_ndiff_7.vout
2024-08-03 04:53
6.8K
ndiff_7__t41_ndiff_7
2024-07-27 12:47
121K
ndiff_7__t41_ndiff_7.vout
2024-08-03 09:34
6.8K
ndiff_7__t42_ndiff_7
2024-07-27 12:50
121K
ndiff_7__t42_ndiff_7.vout
2024-08-03 07:53
6.8K
ndiff_7__t43_ndiff_7
2024-07-27 12:52
98K
ndiff_7__t43_ndiff_7.vout
2024-08-03 05:22
6.8K
ndiff_7__t44_ndiff_7
2024-07-27 12:55
98K
ndiff_7__t44_ndiff_7.vout
2024-08-03 08:53
6.8K
ndiff_7__t45_ndiff_7
2024-07-27 12:57
83K
ndiff_7__t45_ndiff_7.vout
2024-08-03 04:22
7.3K
ndiff_7__t46_ndiff_7
2024-07-27 12:59
83K
ndiff_7__t46_ndiff_7.vout
2024-08-03 08:36
6.8K
ndiff_7__t47_ndiff_7
2024-07-27 13:02
83K
ndiff_7__t47_ndiff_7.vout
2024-08-03 05:22
6.8K
ndiff_7__t48_ndiff_7
2024-07-27 13:04
83K
ndiff_7__t48_ndiff_7.vout
2024-08-03 04:16
6.8K
ndiff_7__t49_ndiff_7
2024-07-27 13:06
78K
ndiff_7__t49_ndiff_7.vout
2024-08-03 07:22
6.8K
ndiff_7__t50_ndiff_7
2024-07-27 13:09
78K
ndiff_7__t50_ndiff_7.vout
2024-08-03 06:38
6.8K
ndiff_7__t51_ndiff_7
2024-07-27 13:12
118K
ndiff_7__t51_ndiff_7.vout
2024-08-03 04:47
7.3K
ndiff_7__t52_ndiff_7
2024-07-27 13:15
125K
ndiff_7__t52_ndiff_7.vout
2024-08-03 05:20
3.7K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80