Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/ascoli
Name
Last modified
Size
Description
Parent Directory
-
ascoli__t1_ascoli
2024-07-27 05:19
64K
ascoli__t1_ascoli.vout
2024-08-03 04:21
4.1K
ascoli__t2_ascoli
2024-07-27 05:21
78K
ascoli__t2_ascoli.vout
2024-08-03 07:29
3.6K
ascoli__t3_ascoli
2024-07-27 05:24
63K
ascoli__t3_ascoli.vout
2024-08-03 10:13
3.6K
ascoli__t4_ascoli
2024-07-27 05:27
108K
ascoli__t4_ascoli.vout
2024-08-03 09:25
3.6K
ascoli__t5_ascoli
2024-07-27 05:30
103K
ascoli__t5_ascoli.vout
2024-08-03 09:54
3.6K
ascoli__t6_ascoli
2024-07-27 05:33
58K
ascoli__t6_ascoli.vout
2024-08-03 07:13
5.8K
ascoli__t7_ascoli
2024-07-27 05:35
65K
ascoli__t7_ascoli.vout
2024-08-03 08:45
6.8K
ascoli__t8_ascoli
2024-07-27 05:38
102K
ascoli__t8_ascoli.vout
2024-08-03 08:36
4.2K
ascoli__t9_ascoli
2024-07-27 05:40
50K
ascoli__t9_ascoli.depv1
2024-08-03 10:19
217
ascoli__t9_ascoli.depvmin1
2024-08-03 10:24
133
ascoli__t9_ascoli.vmin1
2024-08-03 10:20
6.5K
ascoli__t9_ascoli.vmin1out
2024-08-03 10:20
37K
ascoli__t9_ascoli.vout
2024-08-03 08:32
135K
ascoli__t10_ascoli
2024-07-27 05:43
60K
ascoli__t10_ascoli.depv1
2024-08-03 10:19
199
ascoli__t10_ascoli.depvmin1
2024-08-03 10:24
199
ascoli__t10_ascoli.vmin1
2024-08-03 10:20
7.5K
ascoli__t10_ascoli.vmin1out
2024-08-03 10:22
85K
ascoli__t10_ascoli.vout
2024-08-03 10:17
112K
ascoli__t11_ascoli
2024-07-27 05:45
73K
ascoli__t11_ascoli.depv1
2024-08-03 10:19
137
ascoli__t11_ascoli.depvmin1
2024-08-03 10:24
137
ascoli__t11_ascoli.vmin1
2024-08-03 10:20
6.5K
ascoli__t11_ascoli.vmin1out
2024-08-03 10:22
225K
ascoli__t11_ascoli.vout
2024-08-03 09:54
248K
ascoli__t12_ascoli
2024-07-27 05:48
74K
ascoli__t12_ascoli.depv1
2024-08-03 10:19
132
ascoli__t12_ascoli.depvmin1
2024-08-03 10:24
132
ascoli__t12_ascoli.vmin1
2024-08-03 10:20
6.6K
ascoli__t12_ascoli.vmin1out
2024-08-03 10:21
245K
ascoli__t12_ascoli.vout
2024-08-03 09:24
242K
ascoli__t13_ascoli
2024-07-27 05:52
128K
ascoli__t13_ascoli.vout
2024-08-03 05:41
3.6K
ascoli__t14_ascoli
2024-07-27 06:07
100K
ascoli__t14_ascoli.vout
2024-08-03 09:12
3.7K
ascoli__t15_ascoli
2024-07-27 05:54
66K
ascoli__t15_ascoli.vout
2024-08-03 08:24
4.1K
ascoli__t16_ascoli
2024-07-27 06:13
200K
ascoli__t16_ascoli.vout
2024-08-03 09:12
3.7K
ascoli__t17_ascoli
2024-07-27 06:16
79K
ascoli__t17_ascoli.depv1
2024-08-03 10:19
115
ascoli__t17_ascoli.depvmin1
2024-08-03 10:24
33
ascoli__t17_ascoli.vmin1
2024-08-03 10:20
4.0K
ascoli__t17_ascoli.vmin1out
2024-08-03 10:23
398K
ascoli__t17_ascoli.vout
2024-08-03 06:26
299K
ascoli__t18_ascoli
2024-07-27 06:18
81K
ascoli__t18_ascoli.vout
2024-08-03 08:03
7.3K
ascoli__t19_ascoli
2024-07-27 06:21
86K
ascoli__t19_ascoli.depv1
2024-08-03 10:19
148
ascoli__t19_ascoli.depvmin1
2024-08-03 10:24
44
ascoli__t19_ascoli.vmin1
2024-08-03 10:20
4.1K
ascoli__t19_ascoli.vmin1out
2024-08-03 10:22
413K
ascoli__t19_ascoli.vout
2024-08-03 06:22
311K
ascoli__t20_ascoli
2024-07-27 05:56
63K
ascoli__t20_ascoli.vout
2024-08-03 09:41
4.1K
ascoli__t21_ascoli
2024-07-27 05:59
60K
ascoli__t21_ascoli.vout
2024-08-03 08:00
4.1K
ascoli__t22_ascoli
2024-07-27 06:01
57K
ascoli__t22_ascoli.depv1
2024-08-03 10:19
97
ascoli__t22_ascoli.depvmin1
2024-08-03 10:24
97
ascoli__t22_ascoli.vmin1
2024-08-03 10:20
2.7K
ascoli__t22_ascoli.vmin1out
2024-08-03 10:20
54K
ascoli__t22_ascoli.vout
2024-08-03 08:35
29K
ascoli__t23_ascoli
2024-07-27 06:04
87K
ascoli__t23_ascoli.vout
2024-08-03 04:55
7.3K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80