Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/algseq_1
Name
Last modified
Size
Description
Parent Directory
-
algseq_1__l3_algseq_1
2024-07-28 05:33
22K
algseq_1__l3_algseq_1.depv1
2024-08-03 10:19
36
algseq_1__l3_algseq_1.depvmin1
2024-08-03 10:24
36
algseq_1__l3_algseq_1.vmin1
2024-08-03 10:19
1.1K
algseq_1__l3_algseq_1.vmin1out
2024-08-03 10:23
22K
algseq_1__l3_algseq_1.vout
2024-08-03 07:41
19K
algseq_1__l20_algseq_1
2024-07-28 05:34
26K
algseq_1__l20_algseq_1.vout
2024-08-03 07:46
4.7K
algseq_1__t8_algseq_1
2024-07-28 05:22
23K
algseq_1__t8_algseq_1.depv1
2024-08-03 10:19
64
algseq_1__t8_algseq_1.depvmin1
2024-08-03 10:24
64
algseq_1__t8_algseq_1.vmin1
2024-08-03 10:19
1.6K
algseq_1__t8_algseq_1.vmin1out
2024-08-03 10:21
24K
algseq_1__t8_algseq_1.vout
2024-08-03 05:56
24K
algseq_1__t9_algseq_1
2024-07-28 05:23
22K
algseq_1__t9_algseq_1.depv1
2024-08-03 10:19
100
algseq_1__t9_algseq_1.depvmin1
2024-08-03 10:24
100
algseq_1__t9_algseq_1.vmin1
2024-08-03 10:19
1.4K
algseq_1__t9_algseq_1.vmin1out
2024-08-03 10:23
16K
algseq_1__t9_algseq_1.vout
2024-08-03 07:48
14K
algseq_1__t10_algseq_1
2024-07-28 05:25
32K
algseq_1__t10_algseq_1.depv1
2024-08-03 10:19
134
algseq_1__t10_algseq_1.depvmin1
2024-08-03 10:24
122
algseq_1__t10_algseq_1.vmin1
2024-08-03 10:19
2.3K
algseq_1__t10_algseq_1.vmin1out
2024-08-03 10:23
47K
algseq_1__t10_algseq_1.vout
2024-08-03 08:39
44K
algseq_1__t12_algseq_1
2024-07-28 05:26
25K
algseq_1__t12_algseq_1.depv1
2024-08-03 10:19
240
algseq_1__t12_algseq_1.depvmin1
2024-08-03 10:24
240
algseq_1__t12_algseq_1.vmin1
2024-08-03 10:19
2.8K
algseq_1__t12_algseq_1.vmin1out
2024-08-03 10:21
42K
algseq_1__t12_algseq_1.vout
2024-08-03 05:42
46K
algseq_1__t13_algseq_1
2024-07-28 05:28
24K
algseq_1__t13_algseq_1.vout
2024-08-03 08:56
4.7K
algseq_1__t14_algseq_1
2024-07-28 05:29
24K
algseq_1__t14_algseq_1.vout
2024-08-03 04:12
4.7K
algseq_1__t16_algseq_1
2024-07-28 05:30
25K
algseq_1__t16_algseq_1.depv1
2024-08-03 10:19
370
algseq_1__t16_algseq_1.depvmin1
2024-08-03 10:24
188
algseq_1__t16_algseq_1.vmin1
2024-08-03 10:19
3.6K
algseq_1__t16_algseq_1.vmin1out
2024-08-03 10:21
30K
algseq_1__t16_algseq_1.vout
2024-08-03 05:19
52K
algseq_1__t17_algseq_1
2024-07-28 05:32
29K
algseq_1__t17_algseq_1.depv1
2024-08-03 10:19
306
algseq_1__t17_algseq_1.depvmin1
2024-08-03 10:24
306
algseq_1__t17_algseq_1.vmin1
2024-08-03 10:19
3.7K
algseq_1__t17_algseq_1.vmin1out
2024-08-03 10:23
63K
algseq_1__t17_algseq_1.vout
2024-08-03 05:00
76K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80