Index of /~mptp/mml5.63.1382/MPTP2/problems_small/ndiff_5
Name
Last modified
Size
Description
Parent Directory
-
ndiff_5__t57_ndiff_5.vout
2021-07-25 20:23
3.7K
ndiff_5__t57_ndiff_5
2021-07-17 23:14
214K
ndiff_5__t56_ndiff_5.vout
2021-07-25 14:27
3.7K
ndiff_5__t56_ndiff_5
2021-07-17 23:13
248K
ndiff_5__t55_ndiff_5.vout
2021-07-25 19:20
3.7K
ndiff_5__t55_ndiff_5
2021-07-17 23:11
121K
ndiff_5__t54_ndiff_5.vout
2021-07-25 17:54
3.7K
ndiff_5__t54_ndiff_5
2021-07-17 23:10
111K
ndiff_5__t53_ndiff_5.vout
2021-07-25 19:53
6.8K
ndiff_5__t53_ndiff_5
2021-07-17 23:09
118K
ndiff_5__t52_ndiff_5.vout
2021-07-25 20:47
6.8K
ndiff_5__t52_ndiff_5
2021-07-17 23:08
112K
ndiff_5__t51_ndiff_5.vout
2021-07-25 19:24
3.7K
ndiff_5__t51_ndiff_5
2021-07-17 23:07
137K
ndiff_5__t50_ndiff_5.vout
2021-07-25 16:48
4.1K
ndiff_5__t50_ndiff_5
2021-07-17 23:06
97K
ndiff_5__t49_ndiff_5.vout
2021-07-25 18:23
4.1K
ndiff_5__t49_ndiff_5
2021-07-17 23:05
71K
ndiff_5__t48_ndiff_5.vout
2021-07-25 16:40
7.3K
ndiff_5__t48_ndiff_5
2021-07-17 23:04
69K
ndiff_5__t47_ndiff_5.vout
2021-07-25 14:36
7.3K
ndiff_5__t47_ndiff_5
2021-07-17 23:03
73K
ndiff_5__t46_ndiff_5.vout
2021-07-25 18:24
4.1K
ndiff_5__t46_ndiff_5
2021-07-17 23:02
69K
ndiff_5__t45_ndiff_5.vout
2021-07-25 14:32
3.7K
ndiff_5__t45_ndiff_5
2021-07-17 23:01
117K
ndiff_5__t44_ndiff_5.vout
2021-07-25 20:24
6.8K
ndiff_5__t44_ndiff_5
2021-07-17 23:00
98K
ndiff_5__t43_ndiff_5.vout
2021-07-25 19:43
1.1K
ndiff_5__t43_ndiff_5
2021-07-17 22:25
42K
ndiff_5__t42_ndiff_5.vout
2021-07-25 16:06
7.8K
ndiff_5__t42_ndiff_5
2021-07-17 22:59
87K
ndiff_5__t40_ndiff_5.vout
2021-07-25 16:41
4.1K
ndiff_5__t40_ndiff_5
2021-07-17 22:58
66K
ndiff_5__t39_ndiff_5.vout
2021-07-25 18:45
4.7K
ndiff_5__t39_ndiff_5
2021-07-17 22:57
67K
ndiff_5__t38_ndiff_5.vout
2021-07-25 19:16
28K
ndiff_5__t38_ndiff_5.vmin1out
2021-07-25 21:00
31K
ndiff_5__t38_ndiff_5.vmin1
2021-07-25 20:57
2.2K
ndiff_5__t38_ndiff_5.depvmin1
2021-07-25 21:03
109
ndiff_5__t38_ndiff_5.depv1
2021-07-25 20:57
109
ndiff_5__t38_ndiff_5
2021-07-17 22:57
66K
ndiff_5__t37_ndiff_5.vout
2021-07-25 18:52
4.1K
ndiff_5__t37_ndiff_5
2021-07-17 22:56
68K
ndiff_5__t36_ndiff_5.vout
2021-07-25 19:10
4.1K
ndiff_5__t36_ndiff_5
2021-07-17 22:55
69K
ndiff_5__t35_ndiff_5.vout
2021-07-25 19:35
4.1K
ndiff_5__t35_ndiff_5
2021-07-17 22:54
68K
ndiff_5__t34_ndiff_5.vout
2021-07-25 18:13
4.1K
ndiff_5__t34_ndiff_5
2021-07-17 22:53
68K
ndiff_5__t33_ndiff_5.vout
2021-07-25 15:11
4.1K
ndiff_5__t33_ndiff_5
2021-07-17 22:52
70K
ndiff_5__t32_ndiff_5.vout
2021-07-25 18:50
6.8K
ndiff_5__t32_ndiff_5
2021-07-17 22:51
120K
ndiff_5__t31_ndiff_5.vout
2021-07-25 20:25
4.1K
ndiff_5__t31_ndiff_5
2021-07-17 22:50
66K
ndiff_5__t30_ndiff_5.vout
2021-07-25 18:47
4.1K
ndiff_5__t30_ndiff_5
2021-07-17 22:50
100K
ndiff_5__t29_ndiff_5.vout
2021-07-25 16:34
4.1K
ndiff_5__t29_ndiff_5
2021-07-17 22:49
106K
ndiff_5__t28_ndiff_5.vout
2021-07-25 16:55
4.1K
ndiff_5__t28_ndiff_5
2021-07-17 22:48
106K
ndiff_5__t27_ndiff_5.vout
2021-07-25 17:29
6.8K
ndiff_5__t27_ndiff_5
2021-07-17 22:47
71K
ndiff_5__t26_ndiff_5.vout
2021-07-25 20:21
7.3K
ndiff_5__t26_ndiff_5
2021-07-17 22:46
82K
ndiff_5__t25_ndiff_5.vout
2021-07-25 15:21
38K
ndiff_5__t25_ndiff_5.vmin1out
2021-07-25 21:01
31K
ndiff_5__t25_ndiff_5.vmin1
2021-07-25 20:57
2.6K
ndiff_5__t25_ndiff_5.depvmin1
2021-07-25 21:03
86
ndiff_5__t25_ndiff_5.depv1
2021-07-25 20:57
135
ndiff_5__t25_ndiff_5
2021-07-17 22:24
63K
ndiff_5__t24_ndiff_5.vout
2021-07-25 16:11
7.3K
ndiff_5__t24_ndiff_5
2021-07-17 22:45
118K
ndiff_5__t23_ndiff_5.vout
2021-07-25 17:12
4.2K
ndiff_5__t23_ndiff_5
2021-07-17 22:44
69K
ndiff_5__t22_ndiff_5.vout
2021-07-25 17:02
4.2K
ndiff_5__t22_ndiff_5
2021-07-17 22:43
75K
ndiff_5__t21_ndiff_5.vout
2021-07-25 15:44
7.3K
ndiff_5__t21_ndiff_5
2021-07-17 22:42
110K
ndiff_5__t19_ndiff_5.vout
2021-07-25 15:38
3.7K
ndiff_5__t19_ndiff_5
2021-07-17 22:41
148K
ndiff_5__t18_ndiff_5.vout
2021-07-25 17:13
4.7K
ndiff_5__t18_ndiff_5
2021-07-17 22:40
75K
ndiff_5__t17_ndiff_5.vout
2021-07-25 17:20
6.8K
ndiff_5__t17_ndiff_5
2021-07-17 22:39
90K
ndiff_5__t16_ndiff_5.vout
2021-07-25 15:19
7.3K
ndiff_5__t16_ndiff_5
2021-07-17 23:15
84K
ndiff_5__t15_ndiff_5.vout
2021-07-25 16:07
4.1K
ndiff_5__t15_ndiff_5
2021-07-17 22:38
68K
ndiff_5__t14_ndiff_5.vout
2021-07-25 18:39
4.1K
ndiff_5__t14_ndiff_5
2021-07-17 22:37
68K
ndiff_5__t13_ndiff_5.vout
2021-07-25 15:11
4.1K
ndiff_5__t13_ndiff_5
2021-07-17 22:36
73K
ndiff_5__t12_ndiff_5.vout
2021-07-25 14:29
6.8K
ndiff_5__t12_ndiff_5
2021-07-17 22:35
78K
ndiff_5__t11_ndiff_5.vout
2021-07-25 20:19
4.7K
ndiff_5__t11_ndiff_5
2021-07-17 22:34
69K
ndiff_5__t10_ndiff_5.vout
2021-07-25 18:19
72K
ndiff_5__t10_ndiff_5.vmin1out
2021-07-25 21:01
48K
ndiff_5__t10_ndiff_5.vmin1
2021-07-25 20:57
4.4K
ndiff_5__t10_ndiff_5.depvmin1
2021-07-25 21:03
254
ndiff_5__t10_ndiff_5.depv1
2021-07-25 20:57
254
ndiff_5__t10_ndiff_5
2021-07-17 22:33
59K
ndiff_5__t9_ndiff_5.vout
2021-07-25 16:15
23K
ndiff_5__t9_ndiff_5.vmin1out
2021-07-25 21:00
18K
ndiff_5__t9_ndiff_5.vmin1
2021-07-25 20:57
1.1K
ndiff_5__t9_ndiff_5.depvmin1
2021-07-25 21:03
89
ndiff_5__t9_ndiff_5.depv1
2021-07-25 20:57
89
ndiff_5__t9_ndiff_5
2021-07-17 22:33
40K
ndiff_5__t8_ndiff_5.vout
2021-07-25 17:45
3.7K
ndiff_5__t8_ndiff_5
2021-07-17 22:32
61K
ndiff_5__t7_ndiff_5.vout
2021-07-25 18:48
6.8K
ndiff_5__t7_ndiff_5
2021-07-17 22:31
113K
ndiff_5__t5_ndiff_5.vout
2021-07-25 15:41
2.0K
ndiff_5__t5_ndiff_5
2021-07-17 22:30
70K
ndiff_5__t4_ndiff_5.vout
2021-07-25 17:55
6.8K
ndiff_5__t4_ndiff_5
2021-07-17 22:30
162K
ndiff_5__t3_ndiff_5.vout
2021-07-25 18:46
6.8K
ndiff_5__t3_ndiff_5
2021-07-17 22:29
143K
ndiff_5__t2_ndiff_5.vout
2021-07-25 18:48
6.8K
ndiff_5__t2_ndiff_5
2021-07-17 22:28
71K
ndiff_5__t1_ndiff_5.vout
2021-07-25 17:47
6.8K
ndiff_5__t1_ndiff_5
2021-07-17 22:27
90K
ndiff_5__l26_ndiff_5.vout
2021-07-25 18:12
3.7K
ndiff_5__l26_ndiff_5
2021-07-17 23:18
427K
ndiff_5__l25_ndiff_5.vout
2021-07-25 15:14
2.1K
ndiff_5__l25_ndiff_5.vmin1out
2021-07-25 21:02
2.2K
ndiff_5__l25_ndiff_5.vmin1
2021-07-25 20:57
285
ndiff_5__l25_ndiff_5.depvmin1
2021-07-25 21:03
51
ndiff_5__l25_ndiff_5.depv1
2021-07-25 20:57
51
ndiff_5__l25_ndiff_5
2021-07-17 22:26
26K
ndiff_5__l22_ndiff_5.vout
2021-07-25 17:54
2.0K
ndiff_5__l22_ndiff_5
2021-07-17 23:17
52K
ndiff_5__l19_ndiff_5.vout
2021-07-25 19:41
1.1K
ndiff_5__l19_ndiff_5
2021-07-17 23:16
52K
ndiff_5__l11_ndiff_5.vout
2021-07-25 19:06
33K
ndiff_5__l11_ndiff_5.vmin1out
2021-07-25 20:59
30K
ndiff_5__l11_ndiff_5.vmin1
2021-07-25 20:57
1.7K
ndiff_5__l11_ndiff_5.depvmin1
2021-07-25 21:03
119
ndiff_5__l11_ndiff_5.depv1
2021-07-25 20:57
119
ndiff_5__l11_ndiff_5
2021-07-17 23:16
41K
ndiff_5__l6_ndiff_5.vout
2021-07-25 20:53
3.7K
ndiff_5__l6_ndiff_5.vmin1out
2021-07-25 20:57
4.0K
ndiff_5__l6_ndiff_5.vmin1
2021-07-25 20:57
562
ndiff_5__l6_ndiff_5.depvmin1
2021-07-25 21:03
94
ndiff_5__l6_ndiff_5.depv1
2021-07-25 20:57
94
ndiff_5__l6_ndiff_5
2021-07-17 22:25
27K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80