Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small/normsp_3
Name
Last modified
Size
Description
Parent Directory
-
normsp_3__l35_normsp_3
2025-09-09 02:08
36K
normsp_3__l35_normsp_3.vout
2025-09-15 19:16
7.9K
normsp_3__l36_normsp_3
2025-09-09 02:10
42K
normsp_3__l36_normsp_3.vout
2025-09-15 15:34
7.3K
normsp_3__l58_normsp_3
2025-09-09 02:12
38K
normsp_3__l58_normsp_3.vout
2025-09-15 18:21
6.8K
normsp_3__l86_normsp_3
2025-09-09 02:13
29K
normsp_3__l86_normsp_3.vout
2025-09-15 15:13
7.9K
normsp_3__l91_normsp_3
2025-09-09 02:15
24K
normsp_3__l91_normsp_3.depv1
2025-09-15 19:47
210
normsp_3__l91_normsp_3.depvmin1
2025-09-15 19:52
210
normsp_3__l91_normsp_3.vmin1
2025-09-15 19:47
2.8K
normsp_3__l91_normsp_3.vmin1out
2025-09-15 19:48
40K
normsp_3__l91_normsp_3.vout
2025-09-15 13:34
41K
normsp_3__l94_normsp_3
2025-09-09 02:17
37K
normsp_3__l94_normsp_3.vout
2025-09-15 15:30
7.9K
normsp_3__t1_normsp_3
2025-09-09 00:09
17K
normsp_3__t1_normsp_3.vout
2025-09-15 14:16
2.0K
normsp_3__t2_normsp_3
2025-09-09 00:10
17K
normsp_3__t2_normsp_3.vout
2025-09-15 14:06
2.0K
normsp_3__t3_normsp_3
2025-09-09 00:17
30K
normsp_3__t3_normsp_3.depv1
2025-09-15 19:47
39
normsp_3__t3_normsp_3.depvmin1
2025-09-15 19:52
39
normsp_3__t3_normsp_3.vmin1
2025-09-15 19:47
1.5K
normsp_3__t3_normsp_3.vmin1out
2025-09-15 19:50
16K
normsp_3__t3_normsp_3.vout
2025-09-15 16:57
26K
normsp_3__t4_normsp_3
2025-09-09 00:19
37K
normsp_3__t4_normsp_3.depv1
2025-09-15 19:47
92
normsp_3__t4_normsp_3.depvmin1
2025-09-15 19:52
92
normsp_3__t4_normsp_3.vmin1
2025-09-15 19:47
2.8K
normsp_3__t4_normsp_3.vmin1out
2025-09-15 19:50
50K
normsp_3__t4_normsp_3.vout
2025-09-15 17:55
51K
normsp_3__t5_normsp_3
2025-09-09 00:21
42K
normsp_3__t5_normsp_3.vout
2025-09-15 16:33
4.1K
normsp_3__t6_normsp_3
2025-09-09 00:23
62K
normsp_3__t6_normsp_3.vout
2025-09-15 17:37
3.7K
normsp_3__t7_normsp_3
2025-09-09 00:25
38K
normsp_3__t7_normsp_3.vout
2025-09-15 15:14
7.3K
normsp_3__t8_normsp_3
2025-09-09 00:27
37K
normsp_3__t8_normsp_3.depv1
2025-09-15 19:47
92
normsp_3__t8_normsp_3.depvmin1
2025-09-15 19:52
92
normsp_3__t8_normsp_3.vmin1
2025-09-15 19:47
3.0K
normsp_3__t8_normsp_3.vmin1out
2025-09-15 19:51
60K
normsp_3__t8_normsp_3.vout
2025-09-15 13:40
62K
normsp_3__t9_normsp_3
2025-09-09 00:29
41K
normsp_3__t9_normsp_3.vout
2025-09-15 17:17
4.1K
normsp_3__t10_normsp_3
2025-09-09 00:31
41K
normsp_3__t10_normsp_3.depv1
2025-09-15 19:47
174
normsp_3__t10_normsp_3.depvmin1
2025-09-15 19:52
174
normsp_3__t10_normsp_3.vmin1
2025-09-15 19:47
3.9K
normsp_3__t10_normsp_3.vmin1out
2025-09-15 19:50
86K
normsp_3__t10_normsp_3.vout
2025-09-15 13:46
90K
normsp_3__t11_normsp_3
2025-09-09 00:33
38K
normsp_3__t11_normsp_3.depv1
2025-09-15 19:47
107
normsp_3__t11_normsp_3.depvmin1
2025-09-15 19:52
107
normsp_3__t11_normsp_3.vmin1
2025-09-15 19:47
3.4K
normsp_3__t11_normsp_3.vmin1out
2025-09-15 19:51
67K
normsp_3__t11_normsp_3.vout
2025-09-15 18:07
49K
normsp_3__t12_normsp_3
2025-09-09 00:35
41K
normsp_3__t12_normsp_3.vout
2025-09-15 17:49
4.1K
normsp_3__t13_normsp_3
2025-09-09 00:37
34K
normsp_3__t13_normsp_3.vout
2025-09-15 16:41
7.3K
normsp_3__t14_normsp_3
2025-09-09 00:38
25K
normsp_3__t14_normsp_3.vout
2025-09-15 15:48
7.3K
normsp_3__t15_normsp_3
2025-09-09 00:40
40K
normsp_3__t15_normsp_3.vout
2025-09-15 15:49
4.1K
normsp_3__t16_normsp_3
2025-09-09 00:42
36K
normsp_3__t16_normsp_3.depv1
2025-09-15 19:47
92
normsp_3__t16_normsp_3.depvmin1
2025-09-15 19:52
92
normsp_3__t16_normsp_3.vmin1
2025-09-15 19:47
3.0K
normsp_3__t16_normsp_3.vmin1out
2025-09-15 19:50
62K
normsp_3__t16_normsp_3.vout
2025-09-15 14:36
63K
normsp_3__t17_normsp_3
2025-09-09 00:44
39K
normsp_3__t17_normsp_3.vout
2025-09-15 18:07
4.1K
normsp_3__t18_normsp_3
2025-09-09 00:46
43K
normsp_3__t18_normsp_3.vout
2025-09-15 19:38
4.1K
normsp_3__t19_normsp_3
2025-09-09 00:48
39K
normsp_3__t19_normsp_3.vout
2025-09-15 14:00
4.1K
normsp_3__t20_normsp_3
2025-09-09 00:50
22K
normsp_3__t20_normsp_3.depv1
2025-09-15 19:47
193
normsp_3__t20_normsp_3.depvmin1
2025-09-15 19:52
193
normsp_3__t20_normsp_3.vmin1
2025-09-15 19:47
2.3K
normsp_3__t20_normsp_3.vmin1out
2025-09-15 19:49
23K
normsp_3__t20_normsp_3.vout
2025-09-15 19:11
22K
normsp_3__t21_normsp_3
2025-09-09 00:52
40K
normsp_3__t21_normsp_3.vout
2025-09-15 15:08
7.4K
normsp_3__t22_normsp_3
2025-09-09 00:53
34K
normsp_3__t22_normsp_3.vout
2025-09-15 16:11
2.0K
normsp_3__t23_normsp_3
2025-09-09 00:54
23K
normsp_3__t23_normsp_3.depv1
2025-09-15 19:47
316
normsp_3__t23_normsp_3.depvmin1
2025-09-15 19:52
231
normsp_3__t23_normsp_3.vmin1
2025-09-15 19:47
3.5K
normsp_3__t23_normsp_3.vmin1out
2025-09-15 19:49
53K
normsp_3__t23_normsp_3.vout
2025-09-15 19:21
39K
normsp_3__t24_normsp_3
2025-09-09 00:56
24K
normsp_3__t24_normsp_3.vout
2025-09-15 13:57
7.4K
normsp_3__t25_normsp_3
2025-09-09 00:58
45K
normsp_3__t25_normsp_3.vout
2025-09-15 15:13
3.7K
normsp_3__t26_normsp_3
2025-09-09 00:59
28K
normsp_3__t26_normsp_3.vout
2025-09-15 13:35
6.8K
normsp_3__t27_normsp_3
2025-09-09 01:01
28K
normsp_3__t27_normsp_3.depv1
2025-09-15 19:47
67
normsp_3__t27_normsp_3.depvmin1
2025-09-15 19:52
67
normsp_3__t27_normsp_3.vmin1
2025-09-15 19:47
2.7K
normsp_3__t27_normsp_3.vmin1out
2025-09-15 19:49
41K
normsp_3__t27_normsp_3.vout
2025-09-15 14:43
88K
normsp_3__t28_normsp_3
2025-09-09 01:02
31K
normsp_3__t28_normsp_3.vout
2025-09-15 18:54
7.3K
normsp_3__t29_normsp_3
2025-09-09 01:04
26K
normsp_3__t29_normsp_3.vout
2025-09-15 16:16
7.3K
normsp_3__t30_normsp_3
2025-09-09 01:06
44K
normsp_3__t30_normsp_3.vout
2025-09-15 13:48
7.3K
normsp_3__t31_normsp_3
2025-09-09 01:07
23K
normsp_3__t31_normsp_3.depv1
2025-09-15 19:47
38
normsp_3__t31_normsp_3.depvmin1
2025-09-15 19:52
38
normsp_3__t31_normsp_3.vmin1
2025-09-15 19:47
1.2K
normsp_3__t31_normsp_3.vmin1out
2025-09-15 19:50
33K
normsp_3__t31_normsp_3.vout
2025-09-15 15:25
27K
normsp_3__t32_normsp_3
2025-09-09 01:08
36K
normsp_3__t32_normsp_3.vout
2025-09-15 13:33
7.3K
normsp_3__t33_normsp_3
2025-09-09 01:10
25K
normsp_3__t33_normsp_3.vout
2025-09-15 14:57
5.3K
normsp_3__t34_normsp_3
2025-09-09 01:12
29K
normsp_3__t34_normsp_3.vout
2025-09-15 15:26
4.7K
normsp_3__t35_normsp_3
2025-09-09 01:13
26K
normsp_3__t35_normsp_3.vout
2025-09-15 19:33
2.0K
normsp_3__t38_normsp_3
2025-09-09 01:15
35K
normsp_3__t38_normsp_3.vout
2025-09-15 17:47
6.8K
normsp_3__t39_normsp_3
2025-09-09 01:16
33K
normsp_3__t39_normsp_3.vout
2025-09-15 18:48
6.8K
normsp_3__t40_normsp_3
2025-09-09 00:11
37K
normsp_3__t40_normsp_3.depv1
2025-09-15 19:47
188
normsp_3__t40_normsp_3.depvmin1
2025-09-15 19:52
188
normsp_3__t40_normsp_3.vmin1
2025-09-15 19:47
6.3K
normsp_3__t40_normsp_3.vmin1out
2025-09-15 19:47
110K
normsp_3__t40_normsp_3.vout
2025-09-15 17:16
54K
normsp_3__t41_normsp_3
2025-09-09 01:18
36K
normsp_3__t41_normsp_3.vout
2025-09-15 17:40
4.1K
normsp_3__t43_normsp_3
2025-09-09 01:20
36K
normsp_3__t43_normsp_3.vout
2025-09-15 19:06
4.1K
normsp_3__t44_normsp_3
2025-09-09 01:21
33K
normsp_3__t44_normsp_3.vout
2025-09-15 13:52
2.0K
normsp_3__t45_normsp_3
2025-09-09 01:23
30K
normsp_3__t45_normsp_3.vout
2025-09-15 17:51
7.4K
normsp_3__t46_normsp_3
2025-09-09 01:24
34K
normsp_3__t46_normsp_3.vout
2025-09-15 13:50
3.2K
normsp_3__t47_normsp_3
2025-09-09 01:26
39K
normsp_3__t47_normsp_3.vout
2025-09-15 15:52
6.8K
normsp_3__t48_normsp_3
2025-09-09 01:28
39K
normsp_3__t48_normsp_3.vout
2025-09-15 17:27
6.8K
normsp_3__t49_normsp_3
2025-09-09 01:30
30K
normsp_3__t49_normsp_3.vout
2025-09-15 14:00
4.1K
normsp_3__t50_normsp_3
2025-09-09 00:13
33K
normsp_3__t50_normsp_3.depv1
2025-09-15 19:47
362
normsp_3__t50_normsp_3.depvmin1
2025-09-15 19:52
349
normsp_3__t50_normsp_3.vmin1
2025-09-15 19:47
6.1K
normsp_3__t50_normsp_3.vmin1out
2025-09-15 19:49
45K
normsp_3__t50_normsp_3.vout
2025-09-15 14:48
123K
normsp_3__t51_normsp_3
2025-09-09 00:15
32K
normsp_3__t51_normsp_3.depv1
2025-09-15 19:47
347
normsp_3__t51_normsp_3.depvmin1
2025-09-15 19:52
332
normsp_3__t51_normsp_3.vmin1
2025-09-15 19:47
5.1K
normsp_3__t51_normsp_3.vmin1out
2025-09-15 19:51
68K
normsp_3__t51_normsp_3.vout
2025-09-15 17:07
93K
normsp_3__t52_normsp_3
2025-09-09 01:32
41K
normsp_3__t52_normsp_3.vout
2025-09-15 17:24
7.3K
normsp_3__t53_normsp_3
2025-09-09 01:34
45K
normsp_3__t53_normsp_3.vout
2025-09-15 16:23
7.3K
normsp_3__t54_normsp_3
2025-09-09 01:36
39K
normsp_3__t54_normsp_3.vout
2025-09-15 19:16
7.3K
normsp_3__t55_normsp_3
2025-09-09 01:38
50K
normsp_3__t55_normsp_3.vout
2025-09-15 15:11
7.3K
normsp_3__t56_normsp_3
2025-09-09 01:40
46K
normsp_3__t56_normsp_3.depv1
2025-09-15 19:47
161
normsp_3__t56_normsp_3.depvmin1
2025-09-15 19:52
161
normsp_3__t56_normsp_3.vmin1
2025-09-15 19:47
3.3K
normsp_3__t56_normsp_3.vmin1out
2025-09-15 19:49
41K
normsp_3__t56_normsp_3.vout
2025-09-15 17:15
69K
normsp_3__t57_normsp_3
2025-09-09 01:42
50K
normsp_3__t57_normsp_3.vout
2025-09-15 18:22
7.3K
normsp_3__t58_normsp_3
2025-09-09 01:44
49K
normsp_3__t58_normsp_3.vout
2025-09-15 15:41
7.3K
normsp_3__t59_normsp_3
2025-09-09 01:47
47K
normsp_3__t59_normsp_3.depv1
2025-09-15 19:47
106
normsp_3__t59_normsp_3.depvmin1
2025-09-15 19:52
106
normsp_3__t59_normsp_3.vmin1
2025-09-15 19:47
2.4K
normsp_3__t59_normsp_3.vmin1out
2025-09-15 19:48
43K
normsp_3__t59_normsp_3.vout
2025-09-15 17:22
31K
normsp_3__t60_normsp_3
2025-09-09 01:49
47K
normsp_3__t60_normsp_3.vout
2025-09-15 17:27
7.3K
normsp_3__t61_normsp_3
2025-09-09 01:51
49K
normsp_3__t61_normsp_3.vout
2025-09-15 15:38
7.3K
normsp_3__t62_normsp_3
2025-09-09 01:53
48K
normsp_3__t62_normsp_3.depv1
2025-09-15 19:47
51
normsp_3__t62_normsp_3.depvmin1
2025-09-15 19:52
51
normsp_3__t62_normsp_3.vmin1
2025-09-15 19:47
1.4K
normsp_3__t62_normsp_3.vmin1out
2025-09-15 19:49
18K
normsp_3__t62_normsp_3.vout
2025-09-15 15:39
24K
normsp_3__t63_normsp_3
2025-09-09 01:56
50K
normsp_3__t63_normsp_3.vout
2025-09-15 18:44
7.3K
normsp_3__t65_normsp_3
2025-09-09 01:58
67K
normsp_3__t65_normsp_3.vout
2025-09-15 19:10
6.8K
normsp_3__t66_normsp_3
2025-09-09 02:00
31K
normsp_3__t66_normsp_3.vout
2025-09-15 17:24
7.9K
normsp_3__t68_normsp_3
2025-09-09 02:01
30K
normsp_3__t68_normsp_3.vout
2025-09-15 19:23
4.1K
normsp_3__t69_normsp_3
2025-09-09 02:03
42K
normsp_3__t69_normsp_3.vout
2025-09-15 19:45
7.3K
normsp_3__t70_normsp_3
2025-09-09 02:05
31K
normsp_3__t70_normsp_3.vout
2025-09-15 18:38
4.1K
normsp_3__t71_normsp_3
2025-09-09 02:07
38K
normsp_3__t71_normsp_3.vout
2025-09-15 15:39
7.3K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80