Index of /~mptp/mml5.63.1382/MPTP2/problems_small/wsierp_1
Name
Last modified
Size
Description
Parent Directory
-
wsierp_1__t43_wsierp_1.vout
2021-07-25 15:05
7.3K
wsierp_1__t43_wsierp_1
2021-07-18 11:25
45K
wsierp_1__t42_wsierp_1.vout
2021-07-25 18:13
7.3K
wsierp_1__t42_wsierp_1
2021-07-18 11:24
29K
wsierp_1__t41_wsierp_1.vout
2021-07-25 15:31
17K
wsierp_1__t41_wsierp_1.vmin1out
2021-07-25 20:58
15K
wsierp_1__t41_wsierp_1.vmin1
2021-07-25 20:57
1.4K
wsierp_1__t41_wsierp_1.depvmin1
2021-07-25 21:03
122
wsierp_1__t41_wsierp_1.depv1
2021-07-25 20:57
122
wsierp_1__t41_wsierp_1
2021-07-18 11:24
32K
wsierp_1__t40_wsierp_1.vout
2021-07-25 18:34
6.5K
wsierp_1__t40_wsierp_1.vmin1out
2021-07-25 20:59
6.7K
wsierp_1__t40_wsierp_1.vmin1
2021-07-25 20:57
572
wsierp_1__t40_wsierp_1.depvmin1
2021-07-25 21:03
26
wsierp_1__t40_wsierp_1.depv1
2021-07-25 20:57
51
wsierp_1__t40_wsierp_1
2021-07-18 11:11
27K
wsierp_1__t39_wsierp_1.vout
2021-07-25 14:41
6.3K
wsierp_1__t39_wsierp_1.vmin1out
2021-07-25 21:00
4.2K
wsierp_1__t39_wsierp_1.vmin1
2021-07-25 20:57
391
wsierp_1__t39_wsierp_1.depvmin1
2021-07-25 21:03
26
wsierp_1__t39_wsierp_1.depv1
2021-07-25 20:57
26
wsierp_1__t39_wsierp_1
2021-07-18 11:11
23K
wsierp_1__t38_wsierp_1.vout
2021-07-25 16:14
3.7K
wsierp_1__t38_wsierp_1
2021-07-18 11:24
65K
wsierp_1__t37_wsierp_1.vout
2021-07-25 17:52
3.7K
wsierp_1__t37_wsierp_1
2021-07-18 11:23
71K
wsierp_1__t36_wsierp_1.vout
2021-07-25 14:39
3.7K
wsierp_1__t36_wsierp_1
2021-07-18 11:23
50K
wsierp_1__t35_wsierp_1.vout
2021-07-25 15:16
6.8K
wsierp_1__t35_wsierp_1
2021-07-18 11:22
37K
wsierp_1__t34_wsierp_1.vout
2021-07-25 17:58
6.8K
wsierp_1__t34_wsierp_1
2021-07-18 11:22
39K
wsierp_1__t33_wsierp_1.vout
2021-07-25 15:04
6.8K
wsierp_1__t33_wsierp_1
2021-07-18 11:21
38K
wsierp_1__t32_wsierp_1.vout
2021-07-25 16:19
4.7K
wsierp_1__t32_wsierp_1
2021-07-18 11:21
40K
wsierp_1__t31_wsierp_1.vout
2021-07-25 19:25
7.3K
wsierp_1__t31_wsierp_1
2021-07-18 11:21
45K
wsierp_1__t30_wsierp_1.vout
2021-07-25 15:04
13K
wsierp_1__t30_wsierp_1.vmin1out
2021-07-25 21:01
8.3K
wsierp_1__t30_wsierp_1.vmin1
2021-07-25 20:57
721
wsierp_1__t30_wsierp_1.depvmin1
2021-07-25 21:03
68
wsierp_1__t30_wsierp_1.depv1
2021-07-25 20:57
68
wsierp_1__t30_wsierp_1
2021-07-18 11:11
26K
wsierp_1__t29_wsierp_1.vout
2021-07-25 15:01
7.3K
wsierp_1__t29_wsierp_1
2021-07-18 11:20
37K
wsierp_1__t28_wsierp_1.vout
2021-07-25 20:44
2.0K
wsierp_1__t28_wsierp_1
2021-07-18 11:20
35K
wsierp_1__t27_wsierp_1.vout
2021-07-25 17:51
4.7K
wsierp_1__t27_wsierp_1
2021-07-18 11:20
45K
wsierp_1__t26_wsierp_1.vout
2021-07-25 14:53
4.7K
wsierp_1__t26_wsierp_1
2021-07-18 11:19
30K
wsierp_1__t25_wsierp_1.vout
2021-07-25 17:49
7.3K
wsierp_1__t25_wsierp_1
2021-07-18 11:19
36K
wsierp_1__t24_wsierp_1.vout
2021-07-25 20:17
6.8K
wsierp_1__t24_wsierp_1
2021-07-18 11:18
43K
wsierp_1__t23_wsierp_1.vout
2021-07-25 18:44
46K
wsierp_1__t23_wsierp_1.vmin1out
2021-07-25 20:59
42K
wsierp_1__t23_wsierp_1.vmin1
2021-07-25 20:57
2.9K
wsierp_1__t23_wsierp_1.depvmin1
2021-07-25 21:03
318
wsierp_1__t23_wsierp_1.depv1
2021-07-25 20:57
318
wsierp_1__t23_wsierp_1
2021-07-18 11:18
30K
wsierp_1__t22_wsierp_1.vout
2021-07-25 16:13
4.7K
wsierp_1__t22_wsierp_1
2021-07-18 11:18
33K
wsierp_1__t20_wsierp_1.vout
2021-07-25 16:02
7.3K
wsierp_1__t20_wsierp_1
2021-07-18 11:17
46K
wsierp_1__t19_wsierp_1.vout
2021-07-25 19:08
32K
wsierp_1__t19_wsierp_1.vmin1out
2021-07-25 20:57
33K
wsierp_1__t19_wsierp_1.vmin1
2021-07-25 20:57
3.4K
wsierp_1__t19_wsierp_1.depvmin1
2021-07-25 21:03
407
wsierp_1__t19_wsierp_1.depv1
2021-07-25 20:57
407
wsierp_1__t19_wsierp_1
2021-07-18 11:17
51K
wsierp_1__t18_wsierp_1.vout
2021-07-25 18:22
19K
wsierp_1__t18_wsierp_1.vmin1out
2021-07-25 21:01
12K
wsierp_1__t18_wsierp_1.vmin1
2021-07-25 20:57
1.2K
wsierp_1__t18_wsierp_1.depvmin1
2021-07-25 21:03
58
wsierp_1__t18_wsierp_1.depv1
2021-07-25 20:57
131
wsierp_1__t18_wsierp_1
2021-07-18 11:17
26K
wsierp_1__t17_wsierp_1.vout
2021-07-25 17:13
7.9K
wsierp_1__t17_wsierp_1
2021-07-18 11:16
26K
wsierp_1__t16_wsierp_1.vout
2021-07-25 17:48
12K
wsierp_1__t16_wsierp_1.vmin1out
2021-07-25 20:58
12K
wsierp_1__t16_wsierp_1.vmin1
2021-07-25 20:57
892
wsierp_1__t16_wsierp_1.depvmin1
2021-07-25 21:03
104
wsierp_1__t16_wsierp_1.depv1
2021-07-25 20:57
104
wsierp_1__t16_wsierp_1
2021-07-18 11:10
26K
wsierp_1__t15_wsierp_1.vout
2021-07-25 14:30
10K
wsierp_1__t15_wsierp_1.vmin1out
2021-07-25 21:00
8.7K
wsierp_1__t15_wsierp_1.vmin1
2021-07-25 20:57
921
wsierp_1__t15_wsierp_1.depvmin1
2021-07-25 21:03
103
wsierp_1__t15_wsierp_1.depv1
2021-07-25 20:57
116
wsierp_1__t15_wsierp_1
2021-07-18 11:16
37K
wsierp_1__t14_wsierp_1.vout
2021-07-25 16:59
7.9K
wsierp_1__t14_wsierp_1
2021-07-18 11:16
24K
wsierp_1__t13_wsierp_1.vout
2021-07-25 16:04
7.3K
wsierp_1__t13_wsierp_1
2021-07-18 11:15
38K
wsierp_1__t12_wsierp_1.vout
2021-07-25 16:35
12K
wsierp_1__t12_wsierp_1.vmin1out
2021-07-25 20:58
17K
wsierp_1__t12_wsierp_1.vmin1
2021-07-25 20:57
1.1K
wsierp_1__t12_wsierp_1.depvmin1
2021-07-25 21:03
118
wsierp_1__t12_wsierp_1.depv1
2021-07-25 20:57
118
wsierp_1__t12_wsierp_1
2021-07-18 11:15
20K
wsierp_1__t11_wsierp_1.vout
2021-07-25 19:17
14K
wsierp_1__t11_wsierp_1.vmin1out
2021-07-25 20:59
8.8K
wsierp_1__t11_wsierp_1.vmin1
2021-07-25 20:57
630
wsierp_1__t11_wsierp_1.depvmin1
2021-07-25 21:03
57
wsierp_1__t11_wsierp_1.depv1
2021-07-25 20:57
57
wsierp_1__t11_wsierp_1
2021-07-18 11:15
19K
wsierp_1__t10_wsierp_1.vout
2021-07-25 20:16
2.0K
wsierp_1__t10_wsierp_1
2021-07-18 11:14
25K
wsierp_1__t9_wsierp_1.vout
2021-07-25 17:53
4.2K
wsierp_1__t9_wsierp_1.vmin1out
2021-07-25 20:57
4.0K
wsierp_1__t9_wsierp_1.vmin1
2021-07-25 20:57
554
wsierp_1__t9_wsierp_1.depvmin1
2021-07-25 21:03
70
wsierp_1__t9_wsierp_1.depv1
2021-07-25 20:57
70
wsierp_1__t9_wsierp_1
2021-07-18 11:14
20K
wsierp_1__t8_wsierp_1.vout
2021-07-25 16:19
25K
wsierp_1__t8_wsierp_1.vmin1out
2021-07-25 21:02
24K
wsierp_1__t8_wsierp_1.vmin1
2021-07-25 20:57
2.6K
wsierp_1__t8_wsierp_1.depvmin1
2021-07-25 21:03
251
wsierp_1__t8_wsierp_1.depv1
2021-07-25 20:57
437
wsierp_1__t8_wsierp_1
2021-07-18 11:14
24K
wsierp_1__t7_wsierp_1.vout
2021-07-25 15:23
7.8K
wsierp_1__t7_wsierp_1.vmin1out
2021-07-25 20:59
6.0K
wsierp_1__t7_wsierp_1.vmin1
2021-07-25 20:57
482
wsierp_1__t7_wsierp_1.depvmin1
2021-07-25 21:03
34
wsierp_1__t7_wsierp_1.depv1
2021-07-25 20:57
34
wsierp_1__t7_wsierp_1
2021-07-18 11:10
21K
wsierp_1__t6_wsierp_1.vout
2021-07-25 16:38
9.6K
wsierp_1__t6_wsierp_1.vmin1out
2021-07-25 21:01
11K
wsierp_1__t6_wsierp_1.vmin1
2021-07-25 20:57
968
wsierp_1__t6_wsierp_1.depvmin1
2021-07-25 21:03
99
wsierp_1__t6_wsierp_1.depv1
2021-07-25 20:57
99
wsierp_1__t6_wsierp_1
2021-07-18 11:13
21K
wsierp_1__t5_wsierp_1.vout
2021-07-25 17:52
14K
wsierp_1__t5_wsierp_1.vmin1out
2021-07-25 21:02
11K
wsierp_1__t5_wsierp_1.vmin1
2021-07-25 20:57
758
wsierp_1__t5_wsierp_1.depvmin1
2021-07-25 21:03
43
wsierp_1__t5_wsierp_1.depv1
2021-07-25 20:57
43
wsierp_1__t5_wsierp_1
2021-07-18 11:13
29K
wsierp_1__t4_wsierp_1.vout
2021-07-25 17:55
7.9K
wsierp_1__t4_wsierp_1
2021-07-18 11:13
29K
wsierp_1__t3_wsierp_1.vout
2021-07-25 20:11
15K
wsierp_1__t3_wsierp_1.vmin1out
2021-07-25 20:57
15K
wsierp_1__t3_wsierp_1.vmin1
2021-07-25 20:57
930
wsierp_1__t3_wsierp_1.depvmin1
2021-07-25 21:03
111
wsierp_1__t3_wsierp_1.depv1
2021-07-25 20:57
111
wsierp_1__t3_wsierp_1
2021-07-18 11:12
22K
wsierp_1__t2_wsierp_1.vout
2021-07-25 14:50
2.0K
wsierp_1__t2_wsierp_1
2021-07-18 11:12
26K
wsierp_1__t1_wsierp_1.vout
2021-07-25 19:03
2.0K
wsierp_1__t1_wsierp_1
2021-07-18 11:12
31K
wsierp_1__l65_wsierp_1.vout
2021-07-25 20:37
7.9K
wsierp_1__l65_wsierp_1
2021-07-18 11:33
31K
wsierp_1__l59_wsierp_1.vout
2021-07-25 17:23
36K
wsierp_1__l59_wsierp_1.vmin1out
2021-07-25 20:59
33K
wsierp_1__l59_wsierp_1.vmin1
2021-07-25 20:57
3.0K
wsierp_1__l59_wsierp_1.depvmin1
2021-07-25 21:03
315
wsierp_1__l59_wsierp_1.depv1
2021-07-25 20:57
370
wsierp_1__l59_wsierp_1
2021-07-18 11:32
29K
wsierp_1__l58_wsierp_1.vout
2021-07-25 18:38
20K
wsierp_1__l58_wsierp_1.vmin1out
2021-07-25 21:01
17K
wsierp_1__l58_wsierp_1.vmin1
2021-07-25 20:57
1.1K
wsierp_1__l58_wsierp_1.depvmin1
2021-07-25 21:03
139
wsierp_1__l58_wsierp_1.depv1
2021-07-25 20:57
139
wsierp_1__l58_wsierp_1
2021-07-18 11:32
25K
wsierp_1__l57_wsierp_1.vout
2021-07-25 19:42
7.4K
wsierp_1__l57_wsierp_1
2021-07-18 11:32
26K
wsierp_1__l56_wsierp_1.vout
2021-07-25 15:05
7.3K
wsierp_1__l56_wsierp_1
2021-07-18 11:31
30K
wsierp_1__l55_wsierp_1.vout
2021-07-25 19:55
15K
wsierp_1__l55_wsierp_1.vmin1out
2021-07-25 21:01
13K
wsierp_1__l55_wsierp_1.vmin1
2021-07-25 20:57
1.3K
wsierp_1__l55_wsierp_1.depvmin1
2021-07-25 21:03
116
wsierp_1__l55_wsierp_1.depv1
2021-07-25 20:57
116
wsierp_1__l55_wsierp_1
2021-07-18 11:31
38K
wsierp_1__l36_wsierp_1.vout
2021-07-25 20:26
7.3K
wsierp_1__l36_wsierp_1
2021-07-18 11:31
48K
wsierp_1__l35_wsierp_1.vout
2021-07-25 20:23
7.3K
wsierp_1__l35_wsierp_1
2021-07-18 11:30
55K
wsierp_1__l33_wsierp_1.vout
2021-07-25 19:37
4.7K
wsierp_1__l33_wsierp_1
2021-07-18 11:30
43K
wsierp_1__l32_wsierp_1.vout
2021-07-25 16:14
4.7K
wsierp_1__l32_wsierp_1
2021-07-18 11:29
54K
wsierp_1__l31_wsierp_1.vout
2021-07-25 15:43
35K
wsierp_1__l31_wsierp_1.vmin1out
2021-07-25 21:01
35K
wsierp_1__l31_wsierp_1.vmin1
2021-07-25 20:57
2.3K
wsierp_1__l31_wsierp_1.depvmin1
2021-07-25 21:03
176
wsierp_1__l31_wsierp_1.depv1
2021-07-25 20:57
222
wsierp_1__l31_wsierp_1
2021-07-18 11:29
34K
wsierp_1__l30_wsierp_1.vout
2021-07-25 19:54
6.8K
wsierp_1__l30_wsierp_1
2021-07-18 11:29
154K
wsierp_1__l28_wsierp_1.vout
2021-07-25 18:30
7.3K
wsierp_1__l28_wsierp_1
2021-07-18 11:28
57K
wsierp_1__l27_wsierp_1.vout
2021-07-25 17:08
13K
wsierp_1__l27_wsierp_1.vmin1out
2021-07-25 21:00
12K
wsierp_1__l27_wsierp_1.vmin1
2021-07-25 20:57
896
wsierp_1__l27_wsierp_1.depvmin1
2021-07-25 21:03
111
wsierp_1__l27_wsierp_1.depv1
2021-07-25 20:57
111
wsierp_1__l27_wsierp_1
2021-07-18 11:28
26K
wsierp_1__l26_wsierp_1.vout
2021-07-25 20:15
26K
wsierp_1__l26_wsierp_1.vmin1out
2021-07-25 21:00
21K
wsierp_1__l26_wsierp_1.vmin1
2021-07-25 20:57
2.2K
wsierp_1__l26_wsierp_1.depvmin1
2021-07-25 21:03
293
wsierp_1__l26_wsierp_1.depv1
2021-07-25 20:57
293
wsierp_1__l26_wsierp_1
2021-07-18 11:27
28K
wsierp_1__l24_wsierp_1.vout
2021-07-25 15:07
2.0K
wsierp_1__l24_wsierp_1
2021-07-18 11:27
23K
wsierp_1__l23_wsierp_1.vout
2021-07-25 16:51
90K
wsierp_1__l23_wsierp_1.vmin1out
2021-07-25 20:59
19K
wsierp_1__l23_wsierp_1.vmin1
2021-07-25 20:57
5.0K
wsierp_1__l23_wsierp_1.depvmin1
2021-07-25 21:03
197
wsierp_1__l23_wsierp_1.depv1
2021-07-25 20:57
646
wsierp_1__l23_wsierp_1
2021-07-18 11:27
26K
wsierp_1__l21_wsierp_1.vout
2021-07-25 17:38
7.9K
wsierp_1__l21_wsierp_1
2021-07-18 11:26
26K
wsierp_1__l7_wsierp_1.vout
2021-07-25 16:52
7.3K
wsierp_1__l7_wsierp_1
2021-07-18 11:26
36K
wsierp_1__l6_wsierp_1.vout
2021-07-25 17:10
2.0K
wsierp_1__l6_wsierp_1
2021-07-18 11:26
28K
wsierp_1__l5_wsierp_1.vout
2021-07-25 16:47
13K
wsierp_1__l5_wsierp_1.vmin1out
2021-07-25 21:02
13K
wsierp_1__l5_wsierp_1.vmin1
2021-07-25 20:57
1.2K
wsierp_1__l5_wsierp_1.depvmin1
2021-07-25 21:03
132
wsierp_1__l5_wsierp_1.depv1
2021-07-25 20:57
132
wsierp_1__l5_wsierp_1
2021-07-18 11:25
28K
wsierp_1__l4_wsierp_1.vout
2021-07-25 17:32
2.0K
wsierp_1__l4_wsierp_1
2021-07-18 11:25
28K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80