Index of /~mptp/mml5.63.1382/MPTP2/problems_small/prob_4
Name
Last modified
Size
Description
Parent Directory
-
prob_4__t41_prob_4.vout
2021-07-25 14:26
6.8K
prob_4__t41_prob_4
2021-07-17 21:20
59K
prob_4__t40_prob_4.vout
2021-07-25 18:21
7.3K
prob_4__t40_prob_4
2021-07-17 21:19
50K
prob_4__t39_prob_4.vout
2021-07-25 16:08
6.8K
prob_4__t39_prob_4
2021-07-17 21:19
30K
prob_4__t38_prob_4.vout
2021-07-25 15:10
6.8K
prob_4__t38_prob_4
2021-07-17 21:18
56K
prob_4__t37_prob_4.vout
2021-07-25 16:12
4.7K
prob_4__t37_prob_4
2021-07-17 21:18
37K
prob_4__t36_prob_4.vout
2021-07-25 16:27
4.2K
prob_4__t36_prob_4
2021-07-17 21:17
28K
prob_4__t35_prob_4.vout
2021-07-25 14:33
6.8K
prob_4__t35_prob_4
2021-07-17 21:16
63K
prob_4__t34_prob_4.vout
2021-07-25 15:21
6.8K
prob_4__t34_prob_4
2021-07-17 21:16
49K
prob_4__t33_prob_4.vout
2021-07-25 20:27
6.8K
prob_4__t33_prob_4
2021-07-17 21:15
30K
prob_4__t32_prob_4.vout
2021-07-25 15:42
6.8K
prob_4__t32_prob_4
2021-07-17 21:14
31K
prob_4__t31_prob_4.vout
2021-07-25 14:23
6.8K
prob_4__t31_prob_4
2021-07-17 21:14
33K
prob_4__t30_prob_4.vout
2021-07-25 14:43
58K
prob_4__t30_prob_4.vmin1out
2021-07-25 21:00
56K
prob_4__t30_prob_4.vmin1
2021-07-25 20:57
2.9K
prob_4__t30_prob_4.depvmin1
2021-07-25 21:03
158
prob_4__t30_prob_4.depv1
2021-07-25 20:57
158
prob_4__t30_prob_4
2021-07-17 21:13
31K
prob_4__t29_prob_4.vout
2021-07-25 17:06
7.3K
prob_4__t29_prob_4
2021-07-17 21:13
33K
prob_4__t28_prob_4.vout
2021-07-25 20:19
29K
prob_4__t28_prob_4.vmin1out
2021-07-25 21:01
28K
prob_4__t28_prob_4.vmin1
2021-07-25 20:57
1.6K
prob_4__t28_prob_4.depvmin1
2021-07-25 21:03
99
prob_4__t28_prob_4.depv1
2021-07-25 20:57
99
prob_4__t28_prob_4
2021-07-17 21:12
26K
prob_4__t27_prob_4.vout
2021-07-25 16:53
6.8K
prob_4__t27_prob_4
2021-07-17 21:12
31K
prob_4__t26_prob_4.vout
2021-07-25 15:16
23K
prob_4__t26_prob_4.vmin1out
2021-07-25 21:01
29K
prob_4__t26_prob_4.vmin1
2021-07-25 20:57
1.6K
prob_4__t26_prob_4.depvmin1
2021-07-25 21:03
99
prob_4__t26_prob_4.depv1
2021-07-25 20:57
99
prob_4__t26_prob_4
2021-07-17 21:11
27K
prob_4__t25_prob_4.vout
2021-07-25 15:59
6.8K
prob_4__t25_prob_4
2021-07-17 21:11
37K
prob_4__t24_prob_4.vout
2021-07-25 15:34
32K
prob_4__t24_prob_4.vmin1out
2021-07-25 20:57
27K
prob_4__t24_prob_4.vmin1
2021-07-25 20:57
2.6K
prob_4__t24_prob_4.depvmin1
2021-07-25 21:03
200
prob_4__t24_prob_4.depv1
2021-07-25 20:57
200
prob_4__t24_prob_4
2021-07-17 21:10
30K
prob_4__t23_prob_4.vout
2021-07-25 18:09
78K
prob_4__t23_prob_4.vmin1out
2021-07-25 21:00
95K
prob_4__t23_prob_4.vmin1
2021-07-25 20:57
3.2K
prob_4__t23_prob_4.depvmin1
2021-07-25 21:03
195
prob_4__t23_prob_4.depv1
2021-07-25 20:57
195
prob_4__t23_prob_4
2021-07-17 21:10
29K
prob_4__t22_prob_4.vout
2021-07-25 15:55
7.3K
prob_4__t22_prob_4
2021-07-17 21:00
26K
prob_4__t21_prob_4.vout
2021-07-25 20:30
2.0K
prob_4__t21_prob_4
2021-07-17 20:59
34K
prob_4__t20_prob_4.vout
2021-07-25 18:37
2.0K
prob_4__t20_prob_4
2021-07-17 20:59
34K
prob_4__t19_prob_4.vout
2021-07-25 18:29
7.5K
prob_4__t19_prob_4.vmin1out
2021-07-25 21:02
9.8K
prob_4__t19_prob_4.vmin1
2021-07-25 20:57
793
prob_4__t19_prob_4.depvmin1
2021-07-25 21:03
47
prob_4__t19_prob_4.depv1
2021-07-25 20:57
47
prob_4__t19_prob_4
2021-07-17 20:58
26K
prob_4__t18_prob_4.vout
2021-07-25 20:55
2.0K
prob_4__t18_prob_4
2021-07-17 21:09
37K
prob_4__t17_prob_4.vout
2021-07-25 18:32
7.3K
prob_4__t17_prob_4
2021-07-17 21:09
40K
prob_4__t16_prob_4.vout
2021-07-25 18:48
7.8K
prob_4__t16_prob_4
2021-07-17 21:08
36K
prob_4__t15_prob_4.vout
2021-07-25 18:13
4.7K
prob_4__t15_prob_4
2021-07-17 20:58
27K
prob_4__t14_prob_4.vout
2021-07-25 18:23
6.8K
prob_4__t14_prob_4
2021-07-17 21:08
72K
prob_4__t13_prob_4.vout
2021-07-25 16:53
6.8K
prob_4__t13_prob_4
2021-07-17 21:07
64K
prob_4__t12_prob_4.vout
2021-07-25 19:34
4.7K
prob_4__t12_prob_4
2021-07-17 21:06
35K
prob_4__t11_prob_4.vout
2021-07-25 17:49
4.7K
prob_4__t11_prob_4
2021-07-17 21:06
37K
prob_4__t10_prob_4.vout
2021-07-25 16:27
4.7K
prob_4__t10_prob_4
2021-07-17 21:05
37K
prob_4__t9_prob_4.vout
2021-07-25 15:54
6.8K
prob_4__t9_prob_4
2021-07-17 21:05
37K
prob_4__t8_prob_4.vout
2021-07-25 18:34
7.2K
prob_4__t8_prob_4
2021-07-17 21:04
33K
prob_4__t7_prob_4.vout
2021-07-25 18:05
6.8K
prob_4__t7_prob_4
2021-07-17 21:03
65K
prob_4__t6_prob_4.vout
2021-07-25 18:33
6.8K
prob_4__t6_prob_4
2021-07-17 21:03
47K
prob_4__t5_prob_4.vout
2021-07-25 19:15
2.0K
prob_4__t5_prob_4
2021-07-17 21:02
47K
prob_4__t4_prob_4.vout
2021-07-25 20:10
7.3K
prob_4__t4_prob_4
2021-07-17 21:02
35K
prob_4__t3_prob_4.vout
2021-07-25 15:54
7.3K
prob_4__t3_prob_4
2021-07-17 21:01
56K
prob_4__t2_prob_4.vout
2021-07-25 17:30
53K
prob_4__t2_prob_4.vmin1out
2021-07-25 21:02
46K
prob_4__t2_prob_4.vmin1
2021-07-25 20:57
3.9K
prob_4__t2_prob_4.depvmin1
2021-07-25 21:03
255
prob_4__t2_prob_4.depv1
2021-07-25 20:57
313
prob_4__t2_prob_4
2021-07-17 21:00
27K
prob_4__t1_prob_4.vout
2021-07-25 17:53
18K
prob_4__t1_prob_4.vmin1out
2021-07-25 20:59
14K
prob_4__t1_prob_4.vmin1
2021-07-25 20:57
1.6K
prob_4__t1_prob_4.depvmin1
2021-07-25 21:03
173
prob_4__t1_prob_4.depv1
2021-07-25 20:57
173
prob_4__t1_prob_4
2021-07-17 21:00
28K
prob_4__l18_prob_4.vout
2021-07-25 19:20
7.3K
prob_4__l18_prob_4
2021-07-17 21:21
36K
prob_4__l1_prob_4.vout
2021-07-25 17:52
7.8K
prob_4__l1_prob_4
2021-07-17 21:20
23K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80