Index of /~mptp/mml5.63.1382/MPTP2/problems_small/tdlat_3
Name
Last modified
Size
Description
Parent Directory
-
tdlat_3__t53_tdlat_3.vout
2021-07-25 18:47
21K
tdlat_3__t53_tdlat_3.vmin1out
2021-07-25 20:58
19K
tdlat_3__t53_tdlat_3.vmin1
2021-07-25 20:57
1.3K
tdlat_3__t53_tdlat_3.depvmin1
2021-07-25 21:03
77
tdlat_3__t53_tdlat_3.depv1
2021-07-25 20:57
77
tdlat_3__t53_tdlat_3
2021-07-18 00:46
19K
tdlat_3__t52_tdlat_3.vout
2021-07-25 16:17
38K
tdlat_3__t52_tdlat_3.vmin1out
2021-07-25 20:59
38K
tdlat_3__t52_tdlat_3.vmin1
2021-07-25 20:57
2.3K
tdlat_3__t52_tdlat_3.depvmin1
2021-07-25 21:03
160
tdlat_3__t52_tdlat_3.depv1
2021-07-25 20:57
160
tdlat_3__t52_tdlat_3
2021-07-18 00:46
20K
tdlat_3__t51_tdlat_3.vout
2021-07-25 17:23
14K
tdlat_3__t51_tdlat_3.vmin1out
2021-07-25 21:02
11K
tdlat_3__t51_tdlat_3.vmin1
2021-07-25 20:57
1.0K
tdlat_3__t51_tdlat_3.depvmin1
2021-07-25 21:03
65
tdlat_3__t51_tdlat_3.depv1
2021-07-25 20:57
65
tdlat_3__t51_tdlat_3
2021-07-18 00:33
19K
tdlat_3__t50_tdlat_3.vout
2021-07-25 20:55
14K
tdlat_3__t50_tdlat_3.vmin1out
2021-07-25 20:57
11K
tdlat_3__t50_tdlat_3.vmin1
2021-07-25 20:57
1.0K
tdlat_3__t50_tdlat_3.depvmin1
2021-07-25 21:03
64
tdlat_3__t50_tdlat_3.depv1
2021-07-25 20:57
64
tdlat_3__t50_tdlat_3
2021-07-18 00:32
19K
tdlat_3__t49_tdlat_3.vout
2021-07-25 19:42
7.3K
tdlat_3__t49_tdlat_3
2021-07-18 00:45
37K
tdlat_3__t48_tdlat_3.vout
2021-07-25 16:51
35K
tdlat_3__t48_tdlat_3.vmin1out
2021-07-25 21:00
32K
tdlat_3__t48_tdlat_3.vmin1
2021-07-25 20:57
2.1K
tdlat_3__t48_tdlat_3.depvmin1
2021-07-25 21:03
125
tdlat_3__t48_tdlat_3.depv1
2021-07-25 20:57
135
tdlat_3__t48_tdlat_3
2021-07-18 00:45
26K
tdlat_3__t47_tdlat_3.vout
2021-07-25 16:23
21K
tdlat_3__t47_tdlat_3.vmin1out
2021-07-25 21:01
21K
tdlat_3__t47_tdlat_3.vmin1
2021-07-25 20:57
1.5K
tdlat_3__t47_tdlat_3.depvmin1
2021-07-25 21:03
73
tdlat_3__t47_tdlat_3.depv1
2021-07-25 20:57
73
tdlat_3__t47_tdlat_3
2021-07-18 00:44
21K
tdlat_3__t46_tdlat_3.vout
2021-07-25 19:33
72K
tdlat_3__t46_tdlat_3.vmin1out
2021-07-25 20:58
39K
tdlat_3__t46_tdlat_3.vmin1
2021-07-25 20:57
4.9K
tdlat_3__t46_tdlat_3.depvmin1
2021-07-25 21:03
236
tdlat_3__t46_tdlat_3.depv1
2021-07-25 20:57
318
tdlat_3__t46_tdlat_3
2021-07-18 00:44
23K
tdlat_3__t45_tdlat_3.vout
2021-07-25 16:01
7.3K
tdlat_3__t45_tdlat_3
2021-07-18 00:43
20K
tdlat_3__t44_tdlat_3.vout
2021-07-25 19:44
10K
tdlat_3__t44_tdlat_3.vmin1out
2021-07-25 21:02
8.2K
tdlat_3__t44_tdlat_3.vmin1
2021-07-25 20:57
816
tdlat_3__t44_tdlat_3.depvmin1
2021-07-25 21:03
59
tdlat_3__t44_tdlat_3.depv1
2021-07-25 20:57
59
tdlat_3__t44_tdlat_3
2021-07-18 00:43
19K
tdlat_3__t43_tdlat_3.vout
2021-07-25 16:42
27K
tdlat_3__t43_tdlat_3.vmin1out
2021-07-25 21:02
20K
tdlat_3__t43_tdlat_3.vmin1
2021-07-25 20:57
2.2K
tdlat_3__t43_tdlat_3.depvmin1
2021-07-25 21:03
201
tdlat_3__t43_tdlat_3.depv1
2021-07-25 20:57
201
tdlat_3__t43_tdlat_3
2021-07-18 00:42
14K
tdlat_3__t42_tdlat_3.vout
2021-07-25 19:11
25K
tdlat_3__t42_tdlat_3.vmin1out
2021-07-25 21:02
25K
tdlat_3__t42_tdlat_3.vmin1
2021-07-25 20:57
1.3K
tdlat_3__t42_tdlat_3.depvmin1
2021-07-25 21:03
124
tdlat_3__t42_tdlat_3.depv1
2021-07-25 20:57
124
tdlat_3__t42_tdlat_3
2021-07-18 00:42
11K
tdlat_3__t41_tdlat_3.vout
2021-07-25 19:11
11K
tdlat_3__t41_tdlat_3.vmin1out
2021-07-25 21:02
8.2K
tdlat_3__t41_tdlat_3.vmin1
2021-07-25 20:57
809
tdlat_3__t41_tdlat_3.depvmin1
2021-07-25 21:03
58
tdlat_3__t41_tdlat_3.depv1
2021-07-25 20:57
58
tdlat_3__t41_tdlat_3
2021-07-18 00:42
19K
tdlat_3__t40_tdlat_3.vout
2021-07-25 18:31
27K
tdlat_3__t40_tdlat_3.vmin1out
2021-07-25 20:58
20K
tdlat_3__t40_tdlat_3.vmin1
2021-07-25 20:57
2.2K
tdlat_3__t40_tdlat_3.depvmin1
2021-07-25 21:03
201
tdlat_3__t40_tdlat_3.depv1
2021-07-25 20:57
201
tdlat_3__t40_tdlat_3
2021-07-18 00:41
14K
tdlat_3__t39_tdlat_3.vout
2021-07-25 16:53
25K
tdlat_3__t39_tdlat_3.vmin1out
2021-07-25 21:00
25K
tdlat_3__t39_tdlat_3.vmin1
2021-07-25 20:57
1.3K
tdlat_3__t39_tdlat_3.depvmin1
2021-07-25 21:03
124
tdlat_3__t39_tdlat_3.depv1
2021-07-25 20:57
124
tdlat_3__t39_tdlat_3
2021-07-18 00:41
11K
tdlat_3__t38_tdlat_3.vout
2021-07-25 20:55
7.3K
tdlat_3__t38_tdlat_3
2021-07-18 00:41
18K
tdlat_3__t37_tdlat_3.vout
2021-07-25 18:20
6.8K
tdlat_3__t37_tdlat_3
2021-07-18 00:41
15K
tdlat_3__t36_tdlat_3.vout
2021-07-25 18:04
7.4K
tdlat_3__t36_tdlat_3
2021-07-18 00:40
13K
tdlat_3__t35_tdlat_3.vout
2021-07-25 20:24
26K
tdlat_3__t35_tdlat_3.vmin1out
2021-07-25 20:58
27K
tdlat_3__t35_tdlat_3.vmin1
2021-07-25 20:57
1.4K
tdlat_3__t35_tdlat_3.depvmin1
2021-07-25 21:03
70
tdlat_3__t35_tdlat_3.depv1
2021-07-25 20:57
70
tdlat_3__t35_tdlat_3
2021-07-18 00:40
11K
tdlat_3__t34_tdlat_3.vout
2021-07-25 16:01
7.3K
tdlat_3__t34_tdlat_3
2021-07-18 00:40
12K
tdlat_3__t33_tdlat_3.vout
2021-07-25 18:10
30K
tdlat_3__t33_tdlat_3.vmin1out
2021-07-25 21:00
29K
tdlat_3__t33_tdlat_3.vmin1
2021-07-25 20:57
1.5K
tdlat_3__t33_tdlat_3.depvmin1
2021-07-25 21:03
79
tdlat_3__t33_tdlat_3.depv1
2021-07-25 20:57
79
tdlat_3__t33_tdlat_3
2021-07-18 00:40
10K
tdlat_3__t32_tdlat_3.vout
2021-07-25 16:15
7.3K
tdlat_3__t32_tdlat_3
2021-07-18 00:39
12K
tdlat_3__t31_tdlat_3.vout
2021-07-25 19:06
51K
tdlat_3__t31_tdlat_3.vmin1out
2021-07-25 20:59
31K
tdlat_3__t31_tdlat_3.vmin1
2021-07-25 20:57
2.2K
tdlat_3__t31_tdlat_3.depvmin1
2021-07-25 21:03
134
tdlat_3__t31_tdlat_3.depv1
2021-07-25 20:57
159
tdlat_3__t31_tdlat_3
2021-07-18 00:39
12K
tdlat_3__t30_tdlat_3.vout
2021-07-25 15:51
7.3K
tdlat_3__t30_tdlat_3
2021-07-18 00:39
14K
tdlat_3__t29_tdlat_3.vout
2021-07-25 18:46
6.8K
tdlat_3__t29_tdlat_3
2021-07-18 00:39
18K
tdlat_3__t28_tdlat_3.vout
2021-07-25 18:18
6.8K
tdlat_3__t28_tdlat_3
2021-07-18 00:38
14K
tdlat_3__t27_tdlat_3.vout
2021-07-25 16:04
2.0K
tdlat_3__t27_tdlat_3
2021-07-18 00:38
12K
tdlat_3__t26_tdlat_3.vout
2021-07-25 16:19
21K
tdlat_3__t26_tdlat_3.vmin1out
2021-07-25 21:00
22K
tdlat_3__t26_tdlat_3.vmin1
2021-07-25 20:57
1.0K
tdlat_3__t26_tdlat_3.depvmin1
2021-07-25 21:03
60
tdlat_3__t26_tdlat_3.depv1
2021-07-25 20:57
60
tdlat_3__t26_tdlat_3
2021-07-18 00:38
6.3K
tdlat_3__t25_tdlat_3.vout
2021-07-25 16:13
5.3K
tdlat_3__t25_tdlat_3
2021-07-18 00:38
9.3K
tdlat_3__t24_tdlat_3.vout
2021-07-25 19:56
19K
tdlat_3__t24_tdlat_3.vmin1out
2021-07-25 21:01
19K
tdlat_3__t24_tdlat_3.vmin1
2021-07-25 20:57
1.0K
tdlat_3__t24_tdlat_3.depvmin1
2021-07-25 21:03
57
tdlat_3__t24_tdlat_3.depv1
2021-07-25 20:57
57
tdlat_3__t24_tdlat_3
2021-07-18 00:38
6.5K
tdlat_3__t23_tdlat_3.vout
2021-07-25 20:45
16K
tdlat_3__t23_tdlat_3.vmin1out
2021-07-25 21:00
16K
tdlat_3__t23_tdlat_3.vmin1
2021-07-25 20:57
833
tdlat_3__t23_tdlat_3.depvmin1
2021-07-25 21:03
48
tdlat_3__t23_tdlat_3.depv1
2021-07-25 20:57
48
tdlat_3__t23_tdlat_3
2021-07-18 00:37
6.3K
tdlat_3__t22_tdlat_3.vout
2021-07-25 20:23
22K
tdlat_3__t22_tdlat_3.vmin1out
2021-07-25 21:01
20K
tdlat_3__t22_tdlat_3.vmin1
2021-07-25 20:57
1.0K
tdlat_3__t22_tdlat_3.depvmin1
2021-07-25 21:03
86
tdlat_3__t22_tdlat_3.depv1
2021-07-25 20:57
86
tdlat_3__t22_tdlat_3
2021-07-18 00:37
7.2K
tdlat_3__t21_tdlat_3.vout
2021-07-25 15:53
2.0K
tdlat_3__t21_tdlat_3
2021-07-18 00:37
7.3K
tdlat_3__t20_tdlat_3.vout
2021-07-25 17:54
7.3K
tdlat_3__t20_tdlat_3
2021-07-18 00:37
7.2K
tdlat_3__t19_tdlat_3.vout
2021-07-25 16:33
65K
tdlat_3__t19_tdlat_3.vmin1out
2021-07-25 20:59
43K
tdlat_3__t19_tdlat_3.vmin1
2021-07-25 20:57
3.1K
tdlat_3__t19_tdlat_3.depvmin1
2021-07-25 21:03
235
tdlat_3__t19_tdlat_3.depv1
2021-07-25 20:57
320
tdlat_3__t19_tdlat_3
2021-07-18 00:37
8.2K
tdlat_3__t18_tdlat_3.vout
2021-07-25 19:48
7.3K
tdlat_3__t18_tdlat_3
2021-07-18 00:36
8.9K
tdlat_3__t17_tdlat_3.vout
2021-07-25 20:36
4.7K
tdlat_3__t17_tdlat_3
2021-07-18 00:36
8.2K
tdlat_3__t16_tdlat_3.vout
2021-07-25 19:56
15K
tdlat_3__t16_tdlat_3.vmin1out
2021-07-25 21:01
14K
tdlat_3__t16_tdlat_3.vmin1
2021-07-25 20:57
922
tdlat_3__t16_tdlat_3.depvmin1
2021-07-25 21:03
88
tdlat_3__t16_tdlat_3.depv1
2021-07-25 20:57
88
tdlat_3__t16_tdlat_3
2021-07-18 00:36
7.4K
tdlat_3__t15_tdlat_3.vout
2021-07-25 18:44
8.4K
tdlat_3__t15_tdlat_3
2021-07-18 00:36
6.2K
tdlat_3__t14_tdlat_3.vout
2021-07-25 15:28
18K
tdlat_3__t14_tdlat_3.vmin1out
2021-07-25 20:59
17K
tdlat_3__t14_tdlat_3.vmin1
2021-07-25 20:57
1.4K
tdlat_3__t14_tdlat_3.depvmin1
2021-07-25 21:03
120
tdlat_3__t14_tdlat_3.depv1
2021-07-25 20:57
120
tdlat_3__t14_tdlat_3
2021-07-18 00:36
8.8K
tdlat_3__t13_tdlat_3.vout
2021-07-25 15:17
17K
tdlat_3__t13_tdlat_3.vmin1out
2021-07-25 21:00
12K
tdlat_3__t13_tdlat_3.vmin1
2021-07-25 20:57
968
tdlat_3__t13_tdlat_3.depvmin1
2021-07-25 21:03
113
tdlat_3__t13_tdlat_3.depv1
2021-07-25 20:57
113
tdlat_3__t13_tdlat_3
2021-07-18 00:35
4.6K
tdlat_3__t12_tdlat_3.vout
2021-07-25 19:46
6.5K
tdlat_3__t12_tdlat_3.vmin1out
2021-07-25 20:59
5.9K
tdlat_3__t12_tdlat_3.vmin1
2021-07-25 20:57
775
tdlat_3__t12_tdlat_3.depvmin1
2021-07-25 21:03
86
tdlat_3__t12_tdlat_3.depv1
2021-07-25 20:57
111
tdlat_3__t12_tdlat_3
2021-07-18 00:35
4.2K
tdlat_3__t11_tdlat_3.vout
2021-07-25 17:55
7.8K
tdlat_3__t11_tdlat_3
2021-07-18 00:35
4.2K
tdlat_3__t10_tdlat_3.vout
2021-07-25 17:01
3.1K
tdlat_3__t10_tdlat_3
2021-07-18 00:32
3.8K
tdlat_3__t9_tdlat_3.vout
2021-07-25 16:09
7.3K
tdlat_3__t9_tdlat_3
2021-07-18 00:35
7.7K
tdlat_3__t8_tdlat_3.vout
2021-07-25 19:53
19K
tdlat_3__t8_tdlat_3.vmin1out
2021-07-25 20:59
14K
tdlat_3__t8_tdlat_3.vmin1
2021-07-25 20:57
1.7K
tdlat_3__t8_tdlat_3.depvmin1
2021-07-25 21:03
66
tdlat_3__t8_tdlat_3.depv1
2021-07-25 20:57
94
tdlat_3__t8_tdlat_3
2021-07-18 00:35
7.7K
tdlat_3__t7_tdlat_3.vout
2021-07-25 19:48
7.3K
tdlat_3__t7_tdlat_3
2021-07-18 00:34
7.3K
tdlat_3__t6_tdlat_3.vout
2021-07-25 15:02
10K
tdlat_3__t6_tdlat_3.vmin1out
2021-07-25 20:57
9.4K
tdlat_3__t6_tdlat_3.vmin1
2021-07-25 20:57
971
tdlat_3__t6_tdlat_3.depvmin1
2021-07-25 21:03
46
tdlat_3__t6_tdlat_3.depv1
2021-07-25 20:57
46
tdlat_3__t6_tdlat_3
2021-07-18 00:34
7.1K
tdlat_3__t5_tdlat_3.vout
2021-07-25 14:54
21K
tdlat_3__t5_tdlat_3.vmin1out
2021-07-25 21:00
19K
tdlat_3__t5_tdlat_3.vmin1
2021-07-25 20:57
1.6K
tdlat_3__t5_tdlat_3.depvmin1
2021-07-25 21:03
83
tdlat_3__t5_tdlat_3.depv1
2021-07-25 20:57
120
tdlat_3__t5_tdlat_3
2021-07-18 00:34
7.6K
tdlat_3__t4_tdlat_3.vout
2021-07-25 16:51
7.3K
tdlat_3__t4_tdlat_3
2021-07-18 00:34
13K
tdlat_3__t3_tdlat_3.vout
2021-07-25 17:40
6.8K
tdlat_3__t3_tdlat_3.vmin1out
2021-07-25 20:58
5.8K
tdlat_3__t3_tdlat_3.vmin1
2021-07-25 20:57
712
tdlat_3__t3_tdlat_3.depvmin1
2021-07-25 21:03
63
tdlat_3__t3_tdlat_3.depv1
2021-07-25 20:57
63
tdlat_3__t3_tdlat_3
2021-07-18 00:33
8.0K
tdlat_3__t2_tdlat_3.vout
2021-07-25 17:31
7.5K
tdlat_3__t2_tdlat_3.vmin1out
2021-07-25 20:58
6.5K
tdlat_3__t2_tdlat_3.vmin1
2021-07-25 20:57
734
tdlat_3__t2_tdlat_3.depvmin1
2021-07-25 21:03
64
tdlat_3__t2_tdlat_3.depv1
2021-07-25 20:57
64
tdlat_3__t2_tdlat_3
2021-07-18 00:33
8.1K
tdlat_3__t1_tdlat_3.vout
2021-07-25 15:14
8.4K
tdlat_3__t1_tdlat_3.vmin1out
2021-07-25 21:02
7.4K
tdlat_3__t1_tdlat_3.vmin1
2021-07-25 20:57
888
tdlat_3__t1_tdlat_3.depvmin1
2021-07-25 21:03
78
tdlat_3__t1_tdlat_3.depv1
2021-07-25 20:57
78
tdlat_3__t1_tdlat_3
2021-07-18 00:33
8.0K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80