Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/scmpds_5
Name
Last modified
Size
Description
Parent Directory
-
scmpds_5__l1_scmpds_5
2024-07-28 01:27
28K
scmpds_5__l1_scmpds_5.depv1
2024-08-03 10:19
169
scmpds_5__l1_scmpds_5.depvmin1
2024-08-03 10:24
169
scmpds_5__l1_scmpds_5.vmin1
2024-08-03 10:19
1.1K
scmpds_5__l1_scmpds_5.vmin1out
2024-08-03 10:22
9.8K
scmpds_5__l1_scmpds_5.vout
2024-08-03 09:57
9.9K
scmpds_5__l22_scmpds_5
2024-07-28 02:27
51K
scmpds_5__l22_scmpds_5.vout
2024-08-03 07:25
8.4K
scmpds_5__l26_scmpds_5
2024-07-28 02:29
50K
scmpds_5__l26_scmpds_5.vout
2024-08-03 06:07
7.4K
scmpds_5__l38_scmpds_5
2024-07-28 02:31
86K
scmpds_5__l38_scmpds_5.vout
2024-08-03 10:04
6.8K
scmpds_5__t12_scmpds_5
2024-07-28 01:29
38K
scmpds_5__t12_scmpds_5.vout
2024-08-03 07:04
7.3K
scmpds_5__t13_scmpds_5
2024-07-28 01:31
90K
scmpds_5__t13_scmpds_5.vout
2024-08-03 05:10
7.3K
scmpds_5__t14_scmpds_5
2024-07-28 01:33
39K
scmpds_5__t14_scmpds_5.vout
2024-08-03 09:54
6.8K
scmpds_5__t15_scmpds_5
2024-07-28 01:34
33K
scmpds_5__t15_scmpds_5.vout
2024-08-03 05:22
7.9K
scmpds_5__t16_scmpds_5
2024-07-28 01:36
44K
scmpds_5__t16_scmpds_5.vout
2024-08-03 07:35
7.3K
scmpds_5__t17_scmpds_5
2024-07-28 01:38
46K
scmpds_5__t17_scmpds_5.vout
2024-08-03 05:45
7.4K
scmpds_5__t19_scmpds_5
2024-07-28 01:40
63K
scmpds_5__t19_scmpds_5.vout
2024-08-03 07:57
6.8K
scmpds_5__t20_scmpds_5
2024-07-28 01:42
47K
scmpds_5__t20_scmpds_5.vout
2024-08-03 07:20
6.8K
scmpds_5__t21_scmpds_5
2024-07-28 01:43
17K
scmpds_5__t21_scmpds_5.depv1
2024-08-03 10:19
253
scmpds_5__t21_scmpds_5.depvmin1
2024-08-03 10:24
238
scmpds_5__t21_scmpds_5.vmin1
2024-08-03 10:19
1.9K
scmpds_5__t21_scmpds_5.vmin1out
2024-08-03 10:20
15K
scmpds_5__t21_scmpds_5.vout
2024-08-03 09:23
24K
scmpds_5__t22_scmpds_5
2024-07-28 01:45
75K
scmpds_5__t22_scmpds_5.vout
2024-08-03 05:00
7.3K
scmpds_5__t23_scmpds_5
2024-07-28 01:47
71K
scmpds_5__t23_scmpds_5.vout
2024-08-03 04:24
6.8K
scmpds_5__t24_scmpds_5
2024-07-28 01:49
71K
scmpds_5__t24_scmpds_5.vout
2024-08-03 05:58
7.3K
scmpds_5__t25_scmpds_5
2024-07-28 01:51
59K
scmpds_5__t25_scmpds_5.vout
2024-08-03 09:07
7.3K
scmpds_5__t26_scmpds_5
2024-07-28 01:53
48K
scmpds_5__t26_scmpds_5.vout
2024-08-03 09:16
6.8K
scmpds_5__t27_scmpds_5
2024-07-28 01:55
76K
scmpds_5__t27_scmpds_5.vout
2024-08-03 05:25
7.3K
scmpds_5__t28_scmpds_5
2024-07-28 01:57
50K
scmpds_5__t28_scmpds_5.vout
2024-08-03 07:58
7.3K
scmpds_5__t29_scmpds_5
2024-07-28 01:59
63K
scmpds_5__t29_scmpds_5.vout
2024-08-03 04:13
6.8K
scmpds_5__t30_scmpds_5
2024-07-28 02:01
49K
scmpds_5__t30_scmpds_5.vout
2024-08-03 09:03
6.8K
scmpds_5__t31_scmpds_5
2024-07-28 02:04
836K
scmpds_5__t31_scmpds_5.vout
2024-08-03 10:10
6.8K
scmpds_5__t32_scmpds_5
2024-07-28 02:07
87K
scmpds_5__t32_scmpds_5.vout
2024-08-03 10:09
7.3K
scmpds_5__t33_scmpds_5
2024-07-28 02:09
60K
scmpds_5__t33_scmpds_5.vout
2024-08-03 05:08
6.8K
scmpds_5__t34_scmpds_5
2024-07-28 02:11
86K
scmpds_5__t34_scmpds_5.vout
2024-08-03 05:45
6.8K
scmpds_5__t35_scmpds_5
2024-07-28 02:13
58K
scmpds_5__t35_scmpds_5.vout
2024-08-03 09:56
6.8K
scmpds_5__t37_scmpds_5
2024-07-28 02:14
19K
scmpds_5__t37_scmpds_5.vout
2024-08-03 07:45
6.2K
scmpds_5__t38_scmpds_5
2024-07-28 02:17
214K
scmpds_5__t38_scmpds_5.vout
2024-08-03 04:12
7.4K
scmpds_5__t39_scmpds_5
2024-07-28 02:19
25K
scmpds_5__t39_scmpds_5.depv1
2024-08-03 10:19
212
scmpds_5__t39_scmpds_5.depvmin1
2024-08-03 10:24
172
scmpds_5__t39_scmpds_5.vmin1
2024-08-03 10:19
2.6K
scmpds_5__t39_scmpds_5.vmin1out
2024-08-03 10:20
27K
scmpds_5__t39_scmpds_5.vout
2024-08-03 06:43
20K
scmpds_5__t40_scmpds_5
2024-07-28 02:21
181K
scmpds_5__t40_scmpds_5.vout
2024-08-03 05:26
6.8K
scmpds_5__t41_scmpds_5
2024-07-28 02:23
69K
scmpds_5__t41_scmpds_5.vout
2024-08-03 05:20
6.8K
scmpds_5__t42_scmpds_5
2024-07-28 02:25
56K
scmpds_5__t42_scmpds_5.depv1
2024-08-03 10:19
196
scmpds_5__t42_scmpds_5.depvmin1
2024-08-03 10:24
174
scmpds_5__t42_scmpds_5.vmin1
2024-08-03 10:19
4.6K
scmpds_5__t42_scmpds_5.vmin1out
2024-08-03 10:21
57K
scmpds_5__t42_scmpds_5.vout
2024-08-03 09:27
49K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80