Index of /~mptp/mml5.63.1382/MPTP2/problems_small/supinf_2
Name
Last modified
Size
Description
Parent Directory
-
supinf_2__t52_supinf_2.vout
2021-07-25 17:45
18K
supinf_2__t52_supinf_2.vmin1out
2021-07-25 21:01
18K
supinf_2__t52_supinf_2.vmin1
2021-07-25 20:57
1.2K
supinf_2__t52_supinf_2.depvmin1
2021-07-25 21:03
125
supinf_2__t52_supinf_2.depv1
2021-07-25 20:57
125
supinf_2__t52_supinf_2
2021-07-18 05:02
33K
supinf_2__t51_supinf_2.vout
2021-07-25 18:00
33K
supinf_2__t51_supinf_2.vmin1out
2021-07-25 20:57
33K
supinf_2__t51_supinf_2.vmin1
2021-07-25 20:57
2.3K
supinf_2__t51_supinf_2.depvmin1
2021-07-25 21:03
260
supinf_2__t51_supinf_2.depv1
2021-07-25 20:57
260
supinf_2__t51_supinf_2
2021-07-18 05:01
44K
supinf_2__t50_supinf_2.vout
2021-07-25 19:36
4.7K
supinf_2__t50_supinf_2
2021-07-18 05:01
37K
supinf_2__t49_supinf_2.vout
2021-07-25 17:17
4.7K
supinf_2__t49_supinf_2
2021-07-18 05:01
42K
supinf_2__t48_supinf_2.vout
2021-07-25 17:46
6.8K
supinf_2__t48_supinf_2
2021-07-18 05:00
67K
supinf_2__t47_supinf_2.vout
2021-07-25 16:52
4.7K
supinf_2__t47_supinf_2
2021-07-18 04:59
40K
supinf_2__t46_supinf_2.vout
2021-07-25 19:55
2.0K
supinf_2__t46_supinf_2
2021-07-18 04:46
34K
supinf_2__t45_supinf_2.vout
2021-07-25 19:51
4.7K
supinf_2__t45_supinf_2
2021-07-18 04:59
53K
supinf_2__t43_supinf_2.vout
2021-07-25 17:29
6.8K
supinf_2__t43_supinf_2
2021-07-18 04:58
38K
supinf_2__t42_supinf_2.vout
2021-07-25 18:25
7.3K
supinf_2__t42_supinf_2
2021-07-18 04:58
40K
supinf_2__t41_supinf_2.vout
2021-07-25 14:51
2.0K
supinf_2__t41_supinf_2
2021-07-18 04:57
36K
supinf_2__t40_supinf_2.vout
2021-07-25 15:51
7.3K
supinf_2__t40_supinf_2
2021-07-18 04:57
43K
supinf_2__t39_supinf_2.vout
2021-07-25 18:43
7.3K
supinf_2__t39_supinf_2
2021-07-18 04:57
45K
supinf_2__t34_supinf_2.vout
2021-07-25 20:05
29K
supinf_2__t34_supinf_2.vmin1out
2021-07-25 21:01
35K
supinf_2__t34_supinf_2.vmin1
2021-07-25 20:57
2.9K
supinf_2__t34_supinf_2.depvmin1
2021-07-25 21:03
317
supinf_2__t34_supinf_2.depv1
2021-07-25 20:57
329
supinf_2__t34_supinf_2
2021-07-18 04:56
33K
supinf_2__t33_supinf_2.vout
2021-07-25 16:36
57K
supinf_2__t33_supinf_2.vmin1out
2021-07-25 21:01
45K
supinf_2__t33_supinf_2.vmin1
2021-07-25 20:57
3.1K
supinf_2__t33_supinf_2.depvmin1
2021-07-25 21:03
96
supinf_2__t33_supinf_2.depv1
2021-07-25 20:57
96
supinf_2__t33_supinf_2
2021-07-18 04:46
37K
supinf_2__t32_supinf_2.vout
2021-07-25 17:51
7.3K
supinf_2__t32_supinf_2
2021-07-18 04:56
48K
supinf_2__t31_supinf_2.vout
2021-07-25 20:01
7.3K
supinf_2__t31_supinf_2
2021-07-18 04:55
48K
supinf_2__t30_supinf_2.vout
2021-07-25 20:02
36K
supinf_2__t30_supinf_2.vmin1out
2021-07-25 21:00
23K
supinf_2__t30_supinf_2.vmin1
2021-07-25 20:57
1.9K
supinf_2__t30_supinf_2.depvmin1
2021-07-25 21:03
65
supinf_2__t30_supinf_2.depv1
2021-07-25 20:57
77
supinf_2__t30_supinf_2
2021-07-18 04:45
34K
supinf_2__t29_supinf_2.vout
2021-07-25 18:01
6.8K
supinf_2__t29_supinf_2
2021-07-18 04:54
39K
supinf_2__t28_supinf_2.vout
2021-07-25 18:03
6.8K
supinf_2__t28_supinf_2
2021-07-18 04:54
39K
supinf_2__t27_supinf_2.vout
2021-07-25 16:29
39K
supinf_2__t27_supinf_2.vmin1out
2021-07-25 20:58
43K
supinf_2__t27_supinf_2.vmin1
2021-07-25 20:57
3.4K
supinf_2__t27_supinf_2.depvmin1
2021-07-25 21:03
366
supinf_2__t27_supinf_2.depv1
2021-07-25 20:57
366
supinf_2__t27_supinf_2
2021-07-18 04:54
38K
supinf_2__t26_supinf_2.vout
2021-07-25 16:22
27K
supinf_2__t26_supinf_2.vmin1out
2021-07-25 20:59
25K
supinf_2__t26_supinf_2.vmin1
2021-07-25 20:57
2.6K
supinf_2__t26_supinf_2.depvmin1
2021-07-25 21:03
322
supinf_2__t26_supinf_2.depv1
2021-07-25 20:57
334
supinf_2__t26_supinf_2
2021-07-18 04:53
32K
supinf_2__t25_supinf_2.vout
2021-07-25 16:25
15K
supinf_2__t25_supinf_2.vmin1out
2021-07-25 21:01
15K
supinf_2__t25_supinf_2.vmin1
2021-07-25 20:57
1.8K
supinf_2__t25_supinf_2.depvmin1
2021-07-25 21:03
259
supinf_2__t25_supinf_2.depv1
2021-07-25 20:57
259
supinf_2__t25_supinf_2
2021-07-18 04:45
32K
supinf_2__t24_supinf_2.vout
2021-07-25 15:01
44K
supinf_2__t24_supinf_2.vmin1out
2021-07-25 21:01
43K
supinf_2__t24_supinf_2.vmin1
2021-07-25 20:57
2.2K
supinf_2__t24_supinf_2.depvmin1
2021-07-25 21:03
96
supinf_2__t24_supinf_2.depv1
2021-07-25 20:57
96
supinf_2__t24_supinf_2
2021-07-18 04:45
33K
supinf_2__t23_supinf_2.vout
2021-07-25 20:01
7.3K
supinf_2__t23_supinf_2
2021-07-18 04:53
40K
supinf_2__t22_supinf_2.vout
2021-07-25 20:30
7.3K
supinf_2__t22_supinf_2
2021-07-18 04:52
40K
supinf_2__t21_supinf_2.vout
2021-07-25 16:47
23K
supinf_2__t21_supinf_2.vmin1out
2021-07-25 21:00
20K
supinf_2__t21_supinf_2.vmin1
2021-07-25 20:57
1.8K
supinf_2__t21_supinf_2.depvmin1
2021-07-25 21:03
63
supinf_2__t21_supinf_2.depv1
2021-07-25 20:57
113
supinf_2__t21_supinf_2
2021-07-18 04:44
35K
supinf_2__t20_supinf_2.vout
2021-07-25 17:43
49K
supinf_2__t20_supinf_2.vmin1out
2021-07-25 20:58
42K
supinf_2__t20_supinf_2.vmin1
2021-07-25 20:57
3.7K
supinf_2__t20_supinf_2.depvmin1
2021-07-25 21:03
263
supinf_2__t20_supinf_2.depv1
2021-07-25 20:57
263
supinf_2__t20_supinf_2
2021-07-18 04:52
37K
supinf_2__t19_supinf_2.vout
2021-07-25 20:17
3.7K
supinf_2__t19_supinf_2
2021-07-18 04:51
39K
supinf_2__t18_supinf_2.vout
2021-07-25 20:42
3.7K
supinf_2__t18_supinf_2
2021-07-18 04:51
43K
supinf_2__t17_supinf_2.vout
2021-07-25 14:42
4.2K
supinf_2__t17_supinf_2
2021-07-18 04:51
43K
supinf_2__t16_supinf_2.vout
2021-07-25 20:51
3.7K
supinf_2__t16_supinf_2
2021-07-18 04:50
43K
supinf_2__t15_supinf_2.vout
2021-07-25 15:13
37K
supinf_2__t15_supinf_2.vmin1out
2021-07-25 20:57
26K
supinf_2__t15_supinf_2.vmin1
2021-07-25 20:57
3.3K
supinf_2__t15_supinf_2.depvmin1
2021-07-25 21:03
372
supinf_2__t15_supinf_2.depv1
2021-07-25 20:57
454
supinf_2__t15_supinf_2
2021-07-18 04:50
29K
supinf_2__t14_supinf_2.vout
2021-07-25 18:55
37K
supinf_2__t14_supinf_2.vmin1out
2021-07-25 21:02
26K
supinf_2__t14_supinf_2.vmin1
2021-07-25 20:57
3.4K
supinf_2__t14_supinf_2.depvmin1
2021-07-25 21:03
387
supinf_2__t14_supinf_2.depv1
2021-07-25 20:57
454
supinf_2__t14_supinf_2
2021-07-18 04:49
29K
supinf_2__t13_supinf_2.vout
2021-07-25 18:00
37K
supinf_2__t13_supinf_2.vmin1out
2021-07-25 20:58
44K
supinf_2__t13_supinf_2.vmin1
2021-07-25 20:57
2.5K
supinf_2__t13_supinf_2.depvmin1
2021-07-25 21:03
343
supinf_2__t13_supinf_2.depv1
2021-07-25 20:57
343
supinf_2__t13_supinf_2
2021-07-18 04:49
28K
supinf_2__t12_supinf_2.vout
2021-07-25 16:28
37K
supinf_2__t12_supinf_2.vmin1out
2021-07-25 21:00
44K
supinf_2__t12_supinf_2.vmin1
2021-07-25 20:57
2.5K
supinf_2__t12_supinf_2.depvmin1
2021-07-25 21:03
343
supinf_2__t12_supinf_2.depv1
2021-07-25 20:57
343
supinf_2__t12_supinf_2
2021-07-18 04:49
28K
supinf_2__t11_supinf_2.vout
2021-07-25 15:31
8.0K
supinf_2__t11_supinf_2.vmin1out
2021-07-25 21:00
5.7K
supinf_2__t11_supinf_2.vmin1
2021-07-25 20:57
623
supinf_2__t11_supinf_2.depvmin1
2021-07-25 21:03
25
supinf_2__t11_supinf_2.depv1
2021-07-25 20:57
25
supinf_2__t11_supinf_2
2021-07-18 04:44
31K
supinf_2__t10_supinf_2.vout
2021-07-25 20:10
8.0K
supinf_2__t10_supinf_2.vmin1out
2021-07-25 20:59
5.7K
supinf_2__t10_supinf_2.vmin1
2021-07-25 20:57
623
supinf_2__t10_supinf_2.depvmin1
2021-07-25 21:03
25
supinf_2__t10_supinf_2.depv1
2021-07-25 20:57
25
supinf_2__t10_supinf_2
2021-07-18 04:43
31K
supinf_2__t9_supinf_2.vout
2021-07-25 20:18
7.3K
supinf_2__t9_supinf_2
2021-07-18 04:48
32K
supinf_2__t8_supinf_2.vout
2021-07-25 18:47
7.3K
supinf_2__t8_supinf_2
2021-07-18 04:48
32K
supinf_2__t7_supinf_2.vout
2021-07-25 20:16
5.8K
supinf_2__t7_supinf_2
2021-07-18 04:47
21K
supinf_2__t6_supinf_2.vout
2021-07-25 20:29
11K
supinf_2__t6_supinf_2.vmin1out
2021-07-25 21:01
12K
supinf_2__t6_supinf_2.vmin1
2021-07-25 20:57
931
supinf_2__t6_supinf_2.depvmin1
2021-07-25 21:03
118
supinf_2__t6_supinf_2.depv1
2021-07-25 20:57
118
supinf_2__t6_supinf_2
2021-07-18 04:43
26K
supinf_2__t5_supinf_2.vout
2021-07-25 16:29
17K
supinf_2__t5_supinf_2.vmin1out
2021-07-25 21:02
17K
supinf_2__t5_supinf_2.vmin1
2021-07-25 20:57
1.4K
supinf_2__t5_supinf_2.depvmin1
2021-07-25 21:03
198
supinf_2__t5_supinf_2.depv1
2021-07-25 20:57
198
supinf_2__t5_supinf_2
2021-07-18 04:43
26K
supinf_2__t3_supinf_2.vout
2021-07-25 15:05
5.8K
supinf_2__t3_supinf_2.vmin1out
2021-07-25 20:59
8.3K
supinf_2__t3_supinf_2.vmin1
2021-07-25 20:57
484
supinf_2__t3_supinf_2.depvmin1
2021-07-25 21:03
37
supinf_2__t3_supinf_2.depv1
2021-07-25 20:57
37
supinf_2__t3_supinf_2
2021-07-18 04:47
29K
supinf_2__t2_supinf_2.vout
2021-07-25 14:28
3.8K
supinf_2__t2_supinf_2.vmin1out
2021-07-25 20:59
5.4K
supinf_2__t2_supinf_2.vmin1
2021-07-25 20:57
338
supinf_2__t2_supinf_2.depvmin1
2021-07-25 21:03
37
supinf_2__t2_supinf_2.depv1
2021-07-25 20:57
37
supinf_2__t2_supinf_2
2021-07-18 04:42
16K
supinf_2__t1_supinf_2.vout
2021-07-25 17:02
9.5K
supinf_2__t1_supinf_2.vmin1out
2021-07-25 20:59
9.1K
supinf_2__t1_supinf_2.vmin1
2021-07-25 20:57
752
supinf_2__t1_supinf_2.depvmin1
2021-07-25 21:03
37
supinf_2__t1_supinf_2.depv1
2021-07-25 20:57
89
supinf_2__t1_supinf_2
2021-07-18 04:42
20K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80