Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/menelaus
Name
Last modified
Size
Description
Parent Directory
-
menelaus__l15_menelaus
2024-07-26 22:03
108K
menelaus__l15_menelaus.vout
2024-08-03 07:06
4.1K
menelaus__l18_menelaus
2024-07-26 22:05
71K
menelaus__l18_menelaus.vout
2024-08-03 06:26
6.8K
menelaus__l19_menelaus
2024-07-26 22:06
71K
menelaus__l19_menelaus.vout
2024-08-03 08:59
6.8K
menelaus__l20_menelaus
2024-07-26 22:07
97K
menelaus__l20_menelaus.vout
2024-08-03 08:15
7.3K
menelaus__l21_menelaus
2024-07-26 22:08
54K
menelaus__l21_menelaus.vout
2024-08-03 07:45
6.8K
menelaus__l23_menelaus
2024-07-26 22:10
90K
menelaus__l23_menelaus.vout
2024-08-03 07:43
6.8K
menelaus__l28_menelaus
2024-07-26 22:12
662K
menelaus__l28_menelaus.vout
2024-08-03 10:04
4.7K
menelaus__t1_menelaus
2024-07-26 21:30
17K
menelaus__t1_menelaus.depv1
2024-08-03 10:19
215
menelaus__t1_menelaus.depvmin1
2024-08-03 10:24
215
menelaus__t1_menelaus.vmin1
2024-08-03 10:20
2.6K
menelaus__t1_menelaus.vmin1out
2024-08-03 10:21
34K
menelaus__t1_menelaus.vout
2024-08-03 04:13
33K
menelaus__t2_menelaus
2024-07-26 21:32
17K
menelaus__t2_menelaus.depv1
2024-08-03 10:19
74
menelaus__t2_menelaus.depvmin1
2024-08-03 10:24
74
menelaus__t2_menelaus.vmin1
2024-08-03 10:20
1.0K
menelaus__t2_menelaus.vmin1out
2024-08-03 10:20
10K
menelaus__t2_menelaus.vout
2024-08-03 08:51
12K
menelaus__t3_menelaus
2024-07-26 21:33
16K
menelaus__t3_menelaus.depv1
2024-08-03 10:19
74
menelaus__t3_menelaus.depvmin1
2024-08-03 10:24
74
menelaus__t3_menelaus.vmin1
2024-08-03 10:20
932
menelaus__t3_menelaus.vmin1out
2024-08-03 10:23
8.3K
menelaus__t3_menelaus.vout
2024-08-03 08:01
6.7K
menelaus__t4_menelaus
2024-07-26 21:34
28K
menelaus__t4_menelaus.vout
2024-08-03 09:56
4.1K
menelaus__t5_menelaus
2024-07-26 21:36
23K
menelaus__t5_menelaus.depv1
2024-08-03 10:19
243
menelaus__t5_menelaus.depvmin1
2024-08-03 10:24
243
menelaus__t5_menelaus.vmin1
2024-08-03 10:20
3.4K
menelaus__t5_menelaus.vmin1out
2024-08-03 10:21
37K
menelaus__t5_menelaus.vout
2024-08-03 04:07
45K
menelaus__t6_menelaus
2024-07-26 21:37
23K
menelaus__t6_menelaus.vout
2024-08-03 07:52
4.1K
menelaus__t7_menelaus
2024-07-26 21:39
134K
menelaus__t7_menelaus.vout
2024-08-03 04:48
4.1K
menelaus__t8_menelaus
2024-07-26 21:40
118K
menelaus__t8_menelaus.vout
2024-08-03 10:07
6.8K
menelaus__t9_menelaus
2024-07-26 21:42
301K
menelaus__t9_menelaus.vout
2024-08-03 04:38
7.3K
menelaus__t10_menelaus
2024-07-26 21:43
63K
menelaus__t10_menelaus.vout
2024-08-03 08:12
7.3K
menelaus__t11_menelaus
2024-07-26 21:45
265K
menelaus__t11_menelaus.vout
2024-08-03 07:13
4.1K
menelaus__t12_menelaus
2024-07-26 21:46
25K
menelaus__t12_menelaus.vout
2024-08-03 09:27
8.4K
menelaus__t13_menelaus
2024-07-26 21:48
88K
menelaus__t13_menelaus.vout
2024-08-03 05:01
7.3K
menelaus__t14_menelaus
2024-07-26 21:49
54K
menelaus__t14_menelaus.depv1
2024-08-03 10:19
189
menelaus__t14_menelaus.depvmin1
2024-08-03 10:24
189
menelaus__t14_menelaus.vmin1
2024-08-03 10:20
3.2K
menelaus__t14_menelaus.vmin1out
2024-08-03 10:20
39K
menelaus__t14_menelaus.vout
2024-08-03 05:08
43K
menelaus__t15_menelaus
2024-07-26 21:29
13K
menelaus__t15_menelaus.depv1
2024-08-03 10:19
104
menelaus__t15_menelaus.depvmin1
2024-08-03 10:24
104
menelaus__t15_menelaus.vmin1
2024-08-03 10:20
1.9K
menelaus__t15_menelaus.vmin1out
2024-08-03 10:20
197K
menelaus__t15_menelaus.vout
2024-08-03 04:27
28K
menelaus__t16_menelaus
2024-07-26 21:51
71K
menelaus__t16_menelaus.vout
2024-08-03 07:46
6.8K
menelaus__t17_menelaus
2024-07-26 21:52
109K
menelaus__t17_menelaus.vout
2024-08-03 06:44
4.1K
menelaus__t18_menelaus
2024-07-26 21:54
69K
menelaus__t18_menelaus.vout
2024-08-03 05:35
4.7K
menelaus__t19_menelaus
2024-07-26 21:56
588K
menelaus__t19_menelaus.vout
2024-08-03 05:37
4.7K
menelaus__t20_menelaus
2024-07-26 21:58
1.4M
menelaus__t20_menelaus.vout
2024-08-03 08:49
4.7K
menelaus__t21_menelaus
2024-07-26 22:00
207K
menelaus__t21_menelaus.vout
2024-08-03 06:57
7.3K
menelaus__t22_menelaus
2024-07-26 22:02
74K
menelaus__t22_menelaus.vout
2024-08-03 08:30
6.8K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80