Index of /~mptp/mml5.63.1382/MPTP2/problems_small/dblseq_1
Name
Last modified
Size
Description
Parent Directory
-
dblseq_1__t17_dblseq_1.depv1
2021-07-25 20:57
26
dblseq_1__t17_dblseq_1.depvmin1
2021-07-25 21:03
26
dblseq_1__t8_dblseq_1.depv1
2021-07-25 20:57
64
dblseq_1__t8_dblseq_1.depvmin1
2021-07-25 21:03
64
dblseq_1__l36_dblseq_1.depv1
2021-07-25 20:57
131
dblseq_1__l36_dblseq_1.depvmin1
2021-07-25 21:03
131
dblseq_1__t1_dblseq_1.depvmin1
2021-07-25 21:03
163
dblseq_1__t1_dblseq_1.depv1
2021-07-25 20:57
243
dblseq_1__t17_dblseq_1.vmin1
2021-07-25 20:57
685
dblseq_1__l36_dblseq_1.vmin1
2021-07-25 20:57
1.7K
dblseq_1__t8_dblseq_1.vmin1
2021-07-25 20:57
1.9K
dblseq_1__t15_dblseq_1.vout
2021-07-25 17:08
2.0K
dblseq_1__t1_dblseq_1.vmin1
2021-07-25 20:57
2.4K
dblseq_1__t16_dblseq_1.vout
2021-07-25 19:58
4.7K
dblseq_1__t17_dblseq_1.vmin1out
2021-07-25 20:59
6.2K
dblseq_1__t17_dblseq_1.vout
2021-07-25 16:55
6.4K
dblseq_1__t4_dblseq_1.vout
2021-07-25 14:33
6.8K
dblseq_1__t9_dblseq_1.vout
2021-07-25 15:53
6.8K
dblseq_1__l38_dblseq_1.vout
2021-07-25 15:40
6.8K
dblseq_1__l37_dblseq_1.vout
2021-07-25 20:10
6.8K
dblseq_1__t5_dblseq_1.vout
2021-07-25 15:27
6.8K
dblseq_1__l41_dblseq_1.vout
2021-07-25 14:52
6.8K
dblseq_1__t10_dblseq_1.vout
2021-07-25 18:49
6.8K
dblseq_1__t18_dblseq_1.vout
2021-07-25 14:42
6.8K
dblseq_1__t19_dblseq_1.vout
2021-07-25 14:33
6.8K
dblseq_1__l27_dblseq_1.vout
2021-07-25 16:53
6.8K
dblseq_1__t11_dblseq_1.vout
2021-07-25 18:02
6.8K
dblseq_1__t6_dblseq_1.vout
2021-07-25 20:05
7.3K
dblseq_1__t3_dblseq_1.vout
2021-07-25 19:48
7.3K
dblseq_1__t12_dblseq_1.vout
2021-07-25 17:04
7.3K
dblseq_1__l19_dblseq_1.vout
2021-07-25 14:57
7.3K
dblseq_1__t7_dblseq_1.vout
2021-07-25 16:54
7.3K
dblseq_1__t2_dblseq_1.vout
2021-07-25 15:09
7.3K
dblseq_1__t14_dblseq_1.vout
2021-07-25 18:44
7.3K
dblseq_1__l18_dblseq_1.vout
2021-07-25 16:51
7.3K
dblseq_1__t13_dblseq_1.vout
2021-07-25 17:52
7.3K
dblseq_1__l30_dblseq_1.vout
2021-07-25 17:22
7.4K
dblseq_1__l14_dblseq_1.vout
2021-07-25 20:41
7.4K
dblseq_1__t1_dblseq_1.vmin1out
2021-07-25 20:59
20K
dblseq_1__t8_dblseq_1.vout
2021-07-25 17:28
21K
dblseq_1__t8_dblseq_1.vmin1out
2021-07-25 21:02
21K
dblseq_1__l36_dblseq_1.vmin1out
2021-07-25 20:58
22K
dblseq_1__l36_dblseq_1.vout
2021-07-25 18:43
23K
dblseq_1__t1_dblseq_1
2021-07-18 09:04
26K
dblseq_1__t17_dblseq_1
2021-07-18 09:03
34K
dblseq_1__t8_dblseq_1
2021-07-18 09:03
34K
dblseq_1__t1_dblseq_1.vout
2021-07-25 17:14
35K
dblseq_1__l36_dblseq_1
2021-07-18 09:14
37K
dblseq_1__l37_dblseq_1
2021-07-18 09:15
42K
dblseq_1__t14_dblseq_1
2021-07-18 09:10
44K
dblseq_1__l38_dblseq_1
2021-07-18 09:15
44K
dblseq_1__l41_dblseq_1
2021-07-18 09:15
44K
dblseq_1__t18_dblseq_1
2021-07-18 09:11
46K
dblseq_1__t19_dblseq_1
2021-07-18 09:11
46K
dblseq_1__t13_dblseq_1
2021-07-18 09:09
49K
dblseq_1__l30_dblseq_1
2021-07-18 09:14
54K
dblseq_1__l27_dblseq_1
2021-07-18 09:13
55K
dblseq_1__t16_dblseq_1
2021-07-18 09:10
56K
dblseq_1__l18_dblseq_1
2021-07-18 09:12
56K
dblseq_1__l19_dblseq_1
2021-07-18 09:13
56K
dblseq_1__t2_dblseq_1
2021-07-18 09:04
58K
dblseq_1__t15_dblseq_1
2021-07-18 09:10
60K
dblseq_1__l14_dblseq_1
2021-07-18 09:12
60K
dblseq_1__t5_dblseq_1
2021-07-18 09:06
62K
dblseq_1__t6_dblseq_1
2021-07-18 09:06
62K
dblseq_1__t7_dblseq_1
2021-07-18 09:07
63K
dblseq_1__t3_dblseq_1
2021-07-18 09:05
66K
dblseq_1__t4_dblseq_1
2021-07-18 09:05
66K
dblseq_1__t11_dblseq_1
2021-07-18 09:08
73K
dblseq_1__t12_dblseq_1
2021-07-18 09:09
74K
dblseq_1__t10_dblseq_1
2021-07-18 09:08
75K
dblseq_1__t9_dblseq_1
2021-07-18 09:07
77K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80