Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/dblseq_1
Name
Last modified
Size
Description
Parent Directory
-
dblseq_1__l14_dblseq_1
2024-07-28 20:49
64K
dblseq_1__l14_dblseq_1.vout
2024-08-03 10:05
7.4K
dblseq_1__l18_dblseq_1
2024-07-28 20:51
60K
dblseq_1__l18_dblseq_1.vout
2024-08-03 04:11
7.3K
dblseq_1__l19_dblseq_1
2024-07-28 20:53
60K
dblseq_1__l19_dblseq_1.vout
2024-08-03 05:18
7.3K
dblseq_1__l27_dblseq_1
2024-07-28 20:54
58K
dblseq_1__l27_dblseq_1.vout
2024-08-03 08:06
6.8K
dblseq_1__l30_dblseq_1
2024-07-28 20:56
58K
dblseq_1__l30_dblseq_1.vout
2024-08-03 07:06
7.4K
dblseq_1__l36_dblseq_1
2024-07-28 20:57
41K
dblseq_1__l36_dblseq_1.depv1
2024-08-03 10:19
131
dblseq_1__l36_dblseq_1.depvmin1
2024-08-03 10:24
131
dblseq_1__l36_dblseq_1.vmin1
2024-08-03 10:20
1.7K
dblseq_1__l36_dblseq_1.vmin1out
2024-08-03 10:23
22K
dblseq_1__l36_dblseq_1.vout
2024-08-03 04:18
23K
dblseq_1__l37_dblseq_1
2024-07-28 20:59
46K
dblseq_1__l37_dblseq_1.vout
2024-08-03 07:02
6.8K
dblseq_1__l38_dblseq_1
2024-07-28 21:00
48K
dblseq_1__l38_dblseq_1.vout
2024-08-03 05:53
6.8K
dblseq_1__l41_dblseq_1
2024-07-28 21:02
48K
dblseq_1__l41_dblseq_1.vout
2024-08-03 09:38
6.8K
dblseq_1__t1_dblseq_1
2024-07-28 20:18
30K
dblseq_1__t1_dblseq_1.depv1
2024-08-03 10:19
499
dblseq_1__t1_dblseq_1.depvmin1
2024-08-03 10:24
208
dblseq_1__t1_dblseq_1.vmin1
2024-08-03 10:20
4.2K
dblseq_1__t1_dblseq_1.vmin1out
2024-08-03 10:21
34K
dblseq_1__t1_dblseq_1.vout
2024-08-03 10:04
97K
dblseq_1__t2_dblseq_1
2024-07-28 20:20
62K
dblseq_1__t2_dblseq_1.vout
2024-08-03 08:53
7.3K
dblseq_1__t3_dblseq_1
2024-07-28 20:22
70K
dblseq_1__t3_dblseq_1.vout
2024-08-03 09:43
6.8K
dblseq_1__t4_dblseq_1
2024-07-28 20:24
70K
dblseq_1__t4_dblseq_1.vout
2024-08-03 05:03
7.3K
dblseq_1__t5_dblseq_1
2024-07-28 20:25
66K
dblseq_1__t5_dblseq_1.vout
2024-08-03 07:17
6.8K
dblseq_1__t6_dblseq_1
2024-07-28 20:27
66K
dblseq_1__t6_dblseq_1.vout
2024-08-03 04:41
6.8K
dblseq_1__t7_dblseq_1
2024-07-28 20:29
67K
dblseq_1__t7_dblseq_1.vout
2024-08-03 05:46
7.3K
dblseq_1__t8_dblseq_1
2024-07-28 20:16
38K
dblseq_1__t8_dblseq_1.depv1
2024-08-03 10:19
64
dblseq_1__t8_dblseq_1.depvmin1
2024-08-03 10:24
64
dblseq_1__t8_dblseq_1.vmin1
2024-08-03 10:20
1.9K
dblseq_1__t8_dblseq_1.vmin1out
2024-08-03 10:21
21K
dblseq_1__t8_dblseq_1.vout
2024-08-03 07:04
21K
dblseq_1__t9_dblseq_1
2024-07-28 20:31
81K
dblseq_1__t9_dblseq_1.vout
2024-08-03 05:55
6.8K
dblseq_1__t10_dblseq_1
2024-07-28 20:34
79K
dblseq_1__t10_dblseq_1.vout
2024-08-03 05:06
6.8K
dblseq_1__t11_dblseq_1
2024-07-28 20:35
77K
dblseq_1__t11_dblseq_1.vout
2024-08-03 08:15
6.8K
dblseq_1__t12_dblseq_1
2024-07-28 20:37
77K
dblseq_1__t12_dblseq_1.vout
2024-08-03 08:42
7.3K
dblseq_1__t13_dblseq_1
2024-07-28 20:39
52K
dblseq_1__t13_dblseq_1.vout
2024-08-03 05:26
7.3K
dblseq_1__t14_dblseq_1
2024-07-28 20:40
47K
dblseq_1__t14_dblseq_1.vout
2024-08-03 10:15
7.3K
dblseq_1__t15_dblseq_1
2024-07-28 20:42
64K
dblseq_1__t15_dblseq_1.vout
2024-08-03 06:54
2.0K
dblseq_1__t16_dblseq_1
2024-07-28 20:43
59K
dblseq_1__t16_dblseq_1.vout
2024-08-03 04:24
4.7K
dblseq_1__t17_dblseq_1
2024-07-28 20:17
37K
dblseq_1__t17_dblseq_1.depv1
2024-08-03 10:19
26
dblseq_1__t17_dblseq_1.depvmin1
2024-08-03 10:24
26
dblseq_1__t17_dblseq_1.vmin1
2024-08-03 10:20
685
dblseq_1__t17_dblseq_1.vmin1out
2024-08-03 10:23
6.2K
dblseq_1__t17_dblseq_1.vout
2024-08-03 05:53
6.4K
dblseq_1__t18_dblseq_1
2024-07-28 20:45
50K
dblseq_1__t18_dblseq_1.vout
2024-08-03 06:36
6.8K
dblseq_1__t19_dblseq_1
2024-07-28 20:47
50K
dblseq_1__t19_dblseq_1.vout
2024-08-03 05:58
6.8K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80