Index of /~mptp/mml5.63.1382/MPTP2/problems_small/menelaus
Name
Last modified
Size
Description
Parent Directory
-
menelaus__l15_menelaus
2021-07-17 23:17
107K
menelaus__l15_menelaus.vout
2021-07-25 16:45
4.1K
menelaus__l18_menelaus
2021-07-17 23:17
72K
menelaus__l18_menelaus.vout
2021-07-25 19:12
6.8K
menelaus__l19_menelaus
2021-07-17 23:18
71K
menelaus__l19_menelaus.vout
2021-07-25 14:59
6.8K
menelaus__l20_menelaus
2021-07-17 23:18
96K
menelaus__l20_menelaus.vout
2021-07-25 18:43
7.3K
menelaus__l21_menelaus
2021-07-17 23:18
55K
menelaus__l21_menelaus.vout
2021-07-25 17:02
6.8K
menelaus__l23_menelaus
2021-07-17 23:19
84K
menelaus__l23_menelaus.vout
2021-07-25 15:28
6.8K
menelaus__l28_menelaus
2021-07-17 23:20
546K
menelaus__l28_menelaus.vout
2021-07-25 19:17
4.8K
menelaus__t1_menelaus
2021-07-17 23:04
18K
menelaus__t1_menelaus.depv1
2021-07-25 20:57
245
menelaus__t1_menelaus.depvmin1
2021-07-25 21:03
245
menelaus__t1_menelaus.vmin1
2021-07-25 20:57
2.8K
menelaus__t1_menelaus.vmin1out
2021-07-25 21:01
34K
menelaus__t1_menelaus.vout
2021-07-25 17:16
34K
menelaus__t2_menelaus
2021-07-17 23:05
17K
menelaus__t2_menelaus.depv1
2021-07-25 20:57
74
menelaus__t2_menelaus.depvmin1
2021-07-25 21:03
74
menelaus__t2_menelaus.vmin1
2021-07-25 20:57
1.0K
menelaus__t2_menelaus.vmin1out
2021-07-25 20:57
10K
menelaus__t2_menelaus.vout
2021-07-25 16:13
12K
menelaus__t3_menelaus
2021-07-17 23:05
17K
menelaus__t3_menelaus.depv1
2021-07-25 20:57
74
menelaus__t3_menelaus.depvmin1
2021-07-25 21:03
74
menelaus__t3_menelaus.vmin1
2021-07-25 20:57
932
menelaus__t3_menelaus.vmin1out
2021-07-25 21:00
8.3K
menelaus__t3_menelaus.vout
2021-07-25 19:04
6.7K
menelaus__t4_menelaus
2021-07-17 23:06
28K
menelaus__t4_menelaus.vout
2021-07-25 19:02
4.1K
menelaus__t5_menelaus
2021-07-17 23:06
24K
menelaus__t5_menelaus.vout
2021-07-25 19:32
4.1K
menelaus__t6_menelaus
2021-07-17 23:07
24K
menelaus__t6_menelaus.depv1
2021-07-25 20:57
119
menelaus__t6_menelaus.depvmin1
2021-07-25 21:03
119
menelaus__t6_menelaus.vmin1
2021-07-25 20:57
1.9K
menelaus__t6_menelaus.vmin1out
2021-07-25 21:01
26K
menelaus__t6_menelaus.vout
2021-07-25 18:09
25K
menelaus__t7_menelaus
2021-07-17 23:07
132K
menelaus__t7_menelaus.vout
2021-07-25 19:08
4.1K
menelaus__t8_menelaus
2021-07-17 23:08
109K
menelaus__t8_menelaus.vout
2021-07-25 16:24
6.8K
menelaus__t9_menelaus
2021-07-17 23:09
283K
menelaus__t9_menelaus.vout
2021-07-25 17:29
7.3K
menelaus__t10_menelaus
2021-07-17 23:09
63K
menelaus__t10_menelaus.vout
2021-07-25 16:37
7.4K
menelaus__t11_menelaus
2021-07-17 23:10
242K
menelaus__t11_menelaus.vout
2021-07-25 15:14
4.1K
menelaus__t12_menelaus
2021-07-17 23:10
27K
menelaus__t12_menelaus.vout
2021-07-25 16:57
8.4K
menelaus__t13_menelaus
2021-07-17 23:11
89K
menelaus__t13_menelaus.vout
2021-07-25 17:02
7.3K
menelaus__t14_menelaus
2021-07-17 23:11
53K
menelaus__t14_menelaus.depv1
2021-07-25 20:57
189
menelaus__t14_menelaus.depvmin1
2021-07-25 21:03
189
menelaus__t14_menelaus.vmin1
2021-07-25 20:57
3.2K
menelaus__t14_menelaus.vmin1out
2021-07-25 20:58
39K
menelaus__t14_menelaus.vout
2021-07-25 15:53
40K
menelaus__t15_menelaus
2021-07-17 23:04
14K
menelaus__t15_menelaus.depv1
2021-07-25 20:57
104
menelaus__t15_menelaus.depvmin1
2021-07-25 21:03
104
menelaus__t15_menelaus.vmin1
2021-07-25 20:57
1.9K
menelaus__t15_menelaus.vmin1out
2021-07-25 20:59
197K
menelaus__t15_menelaus.vout
2021-07-25 18:40
28K
menelaus__t16_menelaus
2021-07-17 23:12
71K
menelaus__t16_menelaus.vout
2021-07-25 14:43
6.8K
menelaus__t17_menelaus
2021-07-17 23:12
107K
menelaus__t17_menelaus.vout
2021-07-25 16:08
4.1K
menelaus__t18_menelaus
2021-07-17 23:13
70K
menelaus__t18_menelaus.vout
2021-07-25 19:57
4.7K
menelaus__t19_menelaus
2021-07-17 23:14
489K
menelaus__t19_menelaus.vout
2021-07-25 16:03
4.7K
menelaus__t20_menelaus
2021-07-17 23:15
1.0M
menelaus__t20_menelaus.vout
2021-07-25 18:32
4.7K
menelaus__t21_menelaus
2021-07-17 23:16
197K
menelaus__t21_menelaus.vout
2021-07-25 18:48
6.8K
menelaus__t22_menelaus
2021-07-17 23:16
74K
menelaus__t22_menelaus.vout
2021-07-25 18:27
6.8K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80