Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/dblseq_2
Name
Last modified
Size
Description
Parent Directory
-
dblseq_2__l16_dblseq_2
2024-07-28 08:38
58K
dblseq_2__l16_dblseq_2.vout
2024-08-03 06:59
7.3K
dblseq_2__t1_dblseq_2
2024-07-28 07:07
43K
dblseq_2__t1_dblseq_2.vout
2024-08-03 04:59
7.3K
dblseq_2__t2_dblseq_2
2024-07-28 07:08
43K
dblseq_2__t2_dblseq_2.vout
2024-08-03 05:30
6.8K
dblseq_2__t3_dblseq_2
2024-07-28 07:10
43K
dblseq_2__t3_dblseq_2.vout
2024-08-03 07:30
6.8K
dblseq_2__t4_dblseq_2
2024-07-28 07:12
71K
dblseq_2__t4_dblseq_2.vout
2024-08-03 05:22
4.7K
dblseq_2__t5_dblseq_2
2024-07-28 07:13
58K
dblseq_2__t5_dblseq_2.vout
2024-08-03 04:43
6.8K
dblseq_2__t6_dblseq_2
2024-07-28 07:15
39K
dblseq_2__t6_dblseq_2.vout
2024-08-03 05:52
1.1K
dblseq_2__t7_dblseq_2
2024-07-28 07:05
5.8K
dblseq_2__t7_dblseq_2.depv1
2024-08-03 10:19
149
dblseq_2__t7_dblseq_2.depvmin1
2024-08-03 10:24
149
dblseq_2__t7_dblseq_2.vmin1
2024-08-03 10:19
2.0K
dblseq_2__t7_dblseq_2.vmin1out
2024-08-03 10:23
25K
dblseq_2__t7_dblseq_2.vout
2024-08-03 08:53
29K
dblseq_2__t8_dblseq_2
2024-07-28 07:16
64K
dblseq_2__t8_dblseq_2.vout
2024-08-03 05:27
4.7K
dblseq_2__t9_dblseq_2
2024-07-28 07:18
50K
dblseq_2__t9_dblseq_2.vout
2024-08-03 04:57
6.8K
dblseq_2__t10_dblseq_2
2024-07-28 07:19
43K
dblseq_2__t10_dblseq_2.vout
2024-08-03 06:44
4.1K
dblseq_2__t11_dblseq_2
2024-07-28 07:21
57K
dblseq_2__t11_dblseq_2.vout
2024-08-03 08:52
7.3K
dblseq_2__t12_dblseq_2
2024-07-28 07:22
41K
dblseq_2__t12_dblseq_2.vout
2024-08-03 07:27
4.1K
dblseq_2__t13_dblseq_2
2024-07-28 07:24
60K
dblseq_2__t13_dblseq_2.vout
2024-08-03 08:56
6.8K
dblseq_2__t14_dblseq_2
2024-07-28 07:25
59K
dblseq_2__t14_dblseq_2.vout
2024-08-03 05:01
7.3K
dblseq_2__t15_dblseq_2
2024-07-28 07:27
232K
dblseq_2__t15_dblseq_2.vout
2024-08-03 09:09
6.8K
dblseq_2__t16_dblseq_2
2024-07-28 07:28
46K
dblseq_2__t16_dblseq_2.vout
2024-08-03 04:20
4.1K
dblseq_2__t17_dblseq_2
2024-07-28 07:30
49K
dblseq_2__t17_dblseq_2.vout
2024-08-03 07:50
4.1K
dblseq_2__t18_dblseq_2
2024-07-28 07:31
53K
dblseq_2__t18_dblseq_2.vout
2024-08-03 05:48
6.8K
dblseq_2__t19_dblseq_2
2024-07-28 07:33
48K
dblseq_2__t19_dblseq_2.vout
2024-08-03 06:18
4.7K
dblseq_2__t20_dblseq_2
2024-07-28 07:34
54K
dblseq_2__t20_dblseq_2.vout
2024-08-03 09:06
4.1K
dblseq_2__t21_dblseq_2
2024-07-28 07:36
54K
dblseq_2__t21_dblseq_2.vout
2024-08-03 04:24
4.1K
dblseq_2__t22_dblseq_2
2024-07-28 07:38
83K
dblseq_2__t22_dblseq_2.vout
2024-08-03 04:22
4.7K
dblseq_2__t23_dblseq_2
2024-07-28 07:40
83K
dblseq_2__t23_dblseq_2.vout
2024-08-03 08:04
4.7K
dblseq_2__t24_dblseq_2
2024-07-28 07:42
62K
dblseq_2__t24_dblseq_2.vout
2024-08-03 05:23
4.7K
dblseq_2__t25_dblseq_2
2024-07-28 07:44
62K
dblseq_2__t25_dblseq_2.vout
2024-08-03 06:28
4.7K
dblseq_2__t26_dblseq_2
2024-07-28 07:45
53K
dblseq_2__t26_dblseq_2.vout
2024-08-03 09:51
4.7K
dblseq_2__t27_dblseq_2
2024-07-28 07:47
53K
dblseq_2__t27_dblseq_2.vout
2024-08-03 04:31
4.7K
dblseq_2__t28_dblseq_2
2024-07-28 07:48
49K
dblseq_2__t28_dblseq_2.vout
2024-08-03 08:34
6.8K
dblseq_2__t29_dblseq_2
2024-07-28 07:50
62K
dblseq_2__t29_dblseq_2.vout
2024-08-03 07:37
7.3K
dblseq_2__t30_dblseq_2
2024-07-28 07:52
39K
dblseq_2__t30_dblseq_2.depv1
2024-08-03 10:19
67
dblseq_2__t30_dblseq_2.depvmin1
2024-08-03 10:24
67
dblseq_2__t30_dblseq_2.vmin1
2024-08-03 10:19
1.8K
dblseq_2__t30_dblseq_2.vmin1out
2024-08-03 10:23
20K
dblseq_2__t30_dblseq_2.vout
2024-08-03 04:49
19K
dblseq_2__t31_dblseq_2
2024-07-28 07:54
51K
dblseq_2__t31_dblseq_2.vout
2024-08-03 06:11
6.8K
dblseq_2__t32_dblseq_2
2024-07-28 07:55
53K
dblseq_2__t32_dblseq_2.vout
2024-08-03 04:40
7.3K
dblseq_2__t33_dblseq_2
2024-07-28 07:57
48K
dblseq_2__t33_dblseq_2.vout
2024-08-03 06:02
7.3K
dblseq_2__t34_dblseq_2
2024-07-28 07:59
49K
dblseq_2__t34_dblseq_2.vout
2024-08-03 08:49
7.3K
dblseq_2__t35_dblseq_2
2024-07-28 08:01
46K
dblseq_2__t35_dblseq_2.vout
2024-08-03 07:38
7.4K
dblseq_2__t36_dblseq_2
2024-07-28 08:02
62K
dblseq_2__t36_dblseq_2.vout
2024-08-03 06:24
6.8K
dblseq_2__t37_dblseq_2
2024-07-28 08:04
52K
dblseq_2__t37_dblseq_2.vout
2024-08-03 09:35
6.8K
dblseq_2__t38_dblseq_2
2024-07-28 08:06
42K
dblseq_2__t38_dblseq_2.vout
2024-08-03 07:04
1.1K
dblseq_2__t39_dblseq_2
2024-07-28 08:08
55K
dblseq_2__t39_dblseq_2.vout
2024-08-03 08:52
6.8K
dblseq_2__t40_dblseq_2
2024-07-28 08:10
62K
dblseq_2__t40_dblseq_2.vout
2024-08-03 06:20
7.3K
dblseq_2__t41_dblseq_2
2024-07-28 08:11
39K
dblseq_2__t41_dblseq_2.depv1
2024-08-03 10:19
52
dblseq_2__t41_dblseq_2.depvmin1
2024-08-03 10:24
52
dblseq_2__t41_dblseq_2.vmin1
2024-08-03 10:19
1.3K
dblseq_2__t41_dblseq_2.vmin1out
2024-08-03 10:22
13K
dblseq_2__t41_dblseq_2.vout
2024-08-03 08:01
13K
dblseq_2__t42_dblseq_2
2024-07-28 08:13
44K
dblseq_2__t42_dblseq_2.depv1
2024-08-03 10:19
345
dblseq_2__t42_dblseq_2.depvmin1
2024-08-03 10:24
204
dblseq_2__t42_dblseq_2.vmin1
2024-08-03 10:19
6.6K
dblseq_2__t42_dblseq_2.vmin1out
2024-08-03 10:22
35K
dblseq_2__t42_dblseq_2.vout
2024-08-03 08:07
86K
dblseq_2__t43_dblseq_2
2024-07-28 08:14
51K
dblseq_2__t43_dblseq_2.vout
2024-08-03 09:26
4.7K
dblseq_2__t44_dblseq_2
2024-07-28 08:16
51K
dblseq_2__t44_dblseq_2.vout
2024-08-03 06:28
6.8K
dblseq_2__t45_dblseq_2
2024-07-28 08:18
75K
dblseq_2__t45_dblseq_2.vout
2024-08-03 09:32
3.7K
dblseq_2__t46_dblseq_2
2024-07-28 08:19
45K
dblseq_2__t46_dblseq_2.vout
2024-08-03 09:46
7.3K
dblseq_2__t47_dblseq_2
2024-07-28 08:21
57K
dblseq_2__t47_dblseq_2.vout
2024-08-03 08:02
7.3K
dblseq_2__t48_dblseq_2
2024-07-28 08:23
79K
dblseq_2__t48_dblseq_2.vout
2024-08-03 10:02
3.7K
dblseq_2__t49_dblseq_2
2024-07-28 08:24
66K
dblseq_2__t49_dblseq_2.vout
2024-08-03 05:31
6.8K
dblseq_2__t50_dblseq_2
2024-07-28 08:27
86K
dblseq_2__t50_dblseq_2.vout
2024-08-03 05:01
3.7K
dblseq_2__t51_dblseq_2
2024-07-28 08:28
50K
dblseq_2__t51_dblseq_2.vout
2024-08-03 07:04
7.3K
dblseq_2__t52_dblseq_2
2024-07-28 08:30
79K
dblseq_2__t52_dblseq_2.vout
2024-08-03 08:07
2.0K
dblseq_2__t53_dblseq_2
2024-07-28 08:32
44K
dblseq_2__t53_dblseq_2.vout
2024-08-03 08:48
7.3K
dblseq_2__t54_dblseq_2
2024-07-28 08:34
58K
dblseq_2__t54_dblseq_2.vout
2024-08-03 08:20
6.8K
dblseq_2__t55_dblseq_2
2024-07-28 08:36
81K
dblseq_2__t55_dblseq_2.vout
2024-08-03 09:17
7.3K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80