Index of /~mptp/mml5.63.1382/MPTP2/problems_small/dblseq_3
Name
Last modified
Size
Description
Parent Directory
-
dblseq_3__t49_dblseq_3
2021-07-17 23:20
27K
dblseq_3__t66_dblseq_3
2021-07-17 23:20
26K
dblseq_3__t1_dblseq_3
2021-07-17 23:21
41K
dblseq_3__t2_dblseq_3
2021-07-17 23:21
25K
dblseq_3__t3_dblseq_3
2021-07-17 23:22
30K
dblseq_3__t4_dblseq_3
2021-07-17 23:22
33K
dblseq_3__t5_dblseq_3
2021-07-17 23:23
34K
dblseq_3__t6_dblseq_3
2021-07-17 23:23
27K
dblseq_3__t7_dblseq_3
2021-07-17 23:24
51K
dblseq_3__t8_dblseq_3
2021-07-17 23:24
45K
dblseq_3__t9_dblseq_3
2021-07-17 23:25
45K
dblseq_3__t10_dblseq_3
2021-07-17 23:25
32K
dblseq_3__t11_dblseq_3
2021-07-17 23:25
38K
dblseq_3__t12_dblseq_3
2021-07-17 23:26
38K
dblseq_3__t13_dblseq_3
2021-07-17 23:27
39K
dblseq_3__t14_dblseq_3
2021-07-17 23:27
41K
dblseq_3__t15_dblseq_3
2021-07-17 23:28
41K
dblseq_3__t16_dblseq_3
2021-07-17 23:28
42K
dblseq_3__t17_dblseq_3
2021-07-17 23:29
28K
dblseq_3__t18_dblseq_3
2021-07-17 23:29
111K
dblseq_3__t19_dblseq_3
2021-07-17 23:30
63K
dblseq_3__t20_dblseq_3
2021-07-17 23:31
63K
dblseq_3__t21_dblseq_3
2021-07-17 23:31
111K
dblseq_3__t22_dblseq_3
2021-07-17 23:32
64K
dblseq_3__t23_dblseq_3
2021-07-17 23:32
115K
dblseq_3__t24_dblseq_3
2021-07-17 23:33
47K
dblseq_3__t25_dblseq_3
2021-07-17 23:34
51K
dblseq_3__t26_dblseq_3
2021-07-17 23:34
59K
dblseq_3__t27_dblseq_3
2021-07-17 23:35
49K
dblseq_3__t28_dblseq_3
2021-07-17 23:35
49K
dblseq_3__t29_dblseq_3
2021-07-17 23:36
30K
dblseq_3__t30_dblseq_3
2021-07-17 23:36
30K
dblseq_3__t31_dblseq_3
2021-07-17 23:37
24K
dblseq_3__t32_dblseq_3
2021-07-17 23:37
27K
dblseq_3__t33_dblseq_3
2021-07-17 23:37
27K
dblseq_3__t34_dblseq_3
2021-07-17 23:38
30K
dblseq_3__t35_dblseq_3
2021-07-17 23:38
30K
dblseq_3__t36_dblseq_3
2021-07-17 23:39
27K
dblseq_3__t37_dblseq_3
2021-07-17 23:39
31K
dblseq_3__t38_dblseq_3
2021-07-17 23:40
29K
dblseq_3__t39_dblseq_3
2021-07-17 23:40
36K
dblseq_3__t40_dblseq_3
2021-07-17 23:41
29K
dblseq_3__t41_dblseq_3
2021-07-17 23:41
38K
dblseq_3__t42_dblseq_3
2021-07-17 23:42
44K
dblseq_3__t43_dblseq_3
2021-07-17 23:42
38K
dblseq_3__t44_dblseq_3
2021-07-17 23:43
43K
dblseq_3__t45_dblseq_3
2021-07-17 23:43
37K
dblseq_3__t46_dblseq_3
2021-07-17 23:44
36K
dblseq_3__t47_dblseq_3
2021-07-17 23:44
38K
dblseq_3__t48_dblseq_3
2021-07-17 23:45
46K
dblseq_3__t50_dblseq_3
2021-07-17 23:45
29K
dblseq_3__t51_dblseq_3
2021-07-17 23:46
29K
dblseq_3__t52_dblseq_3
2021-07-17 23:46
31K
dblseq_3__t53_dblseq_3
2021-07-17 23:47
30K
dblseq_3__t54_dblseq_3
2021-07-17 23:47
42K
dblseq_3__t55_dblseq_3
2021-07-17 23:48
56K
dblseq_3__t56_dblseq_3
2021-07-17 23:48
56K
dblseq_3__t57_dblseq_3
2021-07-17 23:49
56K
dblseq_3__t58_dblseq_3
2021-07-17 23:49
56K
dblseq_3__t59_dblseq_3
2021-07-17 23:50
57K
dblseq_3__t60_dblseq_3
2021-07-17 23:51
57K
dblseq_3__t61_dblseq_3
2021-07-17 23:51
42K
dblseq_3__t62_dblseq_3
2021-07-17 23:52
30K
dblseq_3__t63_dblseq_3
2021-07-17 23:52
56K
dblseq_3__t64_dblseq_3
2021-07-17 23:53
31K
dblseq_3__t65_dblseq_3
2021-07-17 23:53
32K
dblseq_3__t67_dblseq_3
2021-07-17 23:54
48K
dblseq_3__t68_dblseq_3
2021-07-17 23:54
48K
dblseq_3__t69_dblseq_3
2021-07-17 23:55
36K
dblseq_3__t70_dblseq_3
2021-07-17 23:55
36K
dblseq_3__t71_dblseq_3
2021-07-17 23:56
31K
dblseq_3__t72_dblseq_3
2021-07-17 23:56
43K
dblseq_3__t73_dblseq_3
2021-07-17 23:57
43K
dblseq_3__t74_dblseq_3
2021-07-17 23:57
52K
dblseq_3__t75_dblseq_3
2021-07-17 23:58
39K
dblseq_3__t76_dblseq_3
2021-07-17 23:58
38K
dblseq_3__t77_dblseq_3
2021-07-17 23:59
53K
dblseq_3__t78_dblseq_3
2021-07-17 23:59
37K
dblseq_3__t79_dblseq_3
2021-07-18 00:00
129K
dblseq_3__t80_dblseq_3
2021-07-18 00:01
127K
dblseq_3__t81_dblseq_3
2021-07-18 00:01
29K
dblseq_3__t82_dblseq_3
2021-07-18 00:02
38K
dblseq_3__t83_dblseq_3
2021-07-18 00:03
64K
dblseq_3__t84_dblseq_3
2021-07-18 00:03
38K
dblseq_3__t85_dblseq_3
2021-07-18 00:04
37K
dblseq_3__t86_dblseq_3
2021-07-18 00:04
30K
dblseq_3__t87_dblseq_3
2021-07-18 00:05
30K
dblseq_3__t88_dblseq_3
2021-07-18 00:05
54K
dblseq_3__t89_dblseq_3
2021-07-18 00:05
38K
dblseq_3__t90_dblseq_3
2021-07-18 00:06
30K
dblseq_3__t91_dblseq_3
2021-07-18 00:06
48K
dblseq_3__t92_dblseq_3
2021-07-18 00:07
37K
dblseq_3__t93_dblseq_3
2021-07-18 00:08
61K
dblseq_3__t94_dblseq_3
2021-07-18 00:08
60K
dblseq_3__t95_dblseq_3
2021-07-18 00:09
46K
dblseq_3__t96_dblseq_3
2021-07-18 00:10
51K
dblseq_3__t97_dblseq_3
2021-07-18 00:10
29K
dblseq_3__t98_dblseq_3
2021-07-18 00:11
29K
dblseq_3__t99_dblseq_3
2021-07-18 00:11
29K
dblseq_3__t100_dblseq_3
2021-07-18 00:12
29K
dblseq_3__t101_dblseq_3
2021-07-18 00:12
37K
dblseq_3__t102_dblseq_3
2021-07-18 00:13
56K
dblseq_3__t103_dblseq_3
2021-07-18 00:14
118K
dblseq_3__t104_dblseq_3
2021-07-18 00:15
51K
dblseq_3__t105_dblseq_3
2021-07-18 00:16
34K
dblseq_3__l1_dblseq_3
2021-07-18 00:16
25K
dblseq_3__l2_dblseq_3
2021-07-18 00:16
27K
dblseq_3__l10_dblseq_3
2021-07-18 00:17
42K
dblseq_3__l11_dblseq_3
2021-07-18 00:17
42K
dblseq_3__l12_dblseq_3
2021-07-18 00:18
44K
dblseq_3__l22_dblseq_3
2021-07-18 00:18
62K
dblseq_3__l71_dblseq_3
2021-07-18 00:19
39K
dblseq_3__l72_dblseq_3
2021-07-18 00:19
28K
dblseq_3__l73_dblseq_3
2021-07-18 00:19
29K
dblseq_3__l88_dblseq_3
2021-07-18 00:20
31K
dblseq_3__l131_dblseq_3
2021-07-18 00:20
31K
dblseq_3__l88_dblseq_3.vout
2021-07-25 14:26
7.3K
dblseq_3__l11_dblseq_3.vout
2021-07-25 14:28
4.1K
dblseq_3__t33_dblseq_3.vout
2021-07-25 14:33
56K
dblseq_3__t73_dblseq_3.vout
2021-07-25 14:39
7.4K
dblseq_3__t6_dblseq_3.vout
2021-07-25 14:40
34K
dblseq_3__t37_dblseq_3.vout
2021-07-25 14:44
4.2K
dblseq_3__t54_dblseq_3.vout
2021-07-25 14:48
4.7K
dblseq_3__t22_dblseq_3.vout
2021-07-25 14:51
4.7K
dblseq_3__t12_dblseq_3.vout
2021-07-25 14:55
7.3K
dblseq_3__t99_dblseq_3.vout
2021-07-25 14:58
7.4K
dblseq_3__t91_dblseq_3.vout
2021-07-25 14:58
4.7K
dblseq_3__t79_dblseq_3.vout
2021-07-25 15:06
4.7K
dblseq_3__t100_dblseq_3.vout
2021-07-25 15:06
7.4K
dblseq_3__t89_dblseq_3.vout
2021-07-25 15:19
6.8K
dblseq_3__t66_dblseq_3.vout
2021-07-25 15:28
2.0K
dblseq_3__t36_dblseq_3.vout
2021-07-25 15:31
4.1K
dblseq_3__t82_dblseq_3.vout
2021-07-25 15:33
4.1K
dblseq_3__t98_dblseq_3.vout
2021-07-25 15:34
42K
dblseq_3__t55_dblseq_3.vout
2021-07-25 16:01
4.7K
dblseq_3__t40_dblseq_3.vout
2021-07-25 16:03
4.1K
dblseq_3__t77_dblseq_3.vout
2021-07-25 16:04
4.7K
dblseq_3__l71_dblseq_3.vout
2021-07-25 16:11
6.8K
dblseq_3__t1_dblseq_3.vout
2021-07-25 16:12
4.7K
dblseq_3__t31_dblseq_3.vout
2021-07-25 16:18
2.0K
dblseq_3__t47_dblseq_3.vout
2021-07-25 16:21
6.8K
dblseq_3__t25_dblseq_3.vout
2021-07-25 16:25
4.7K
dblseq_3__t57_dblseq_3.vout
2021-07-25 16:27
4.7K
dblseq_3__t103_dblseq_3.vout
2021-07-25 16:29
4.7K
dblseq_3__t3_dblseq_3.vout
2021-07-25 16:30
4.1K
dblseq_3__t53_dblseq_3.vout
2021-07-25 16:31
4.1K
dblseq_3__t81_dblseq_3.vout
2021-07-25 16:33
169K
dblseq_3__t65_dblseq_3.vout
2021-07-25 16:35
7.4K
dblseq_3__t104_dblseq_3.vout
2021-07-25 16:36
4.7K
dblseq_3__t51_dblseq_3.vout
2021-07-25 16:40
4.1K
dblseq_3__t101_dblseq_3.vout
2021-07-25 16:43
4.7K
dblseq_3__l131_dblseq_3.vout
2021-07-25 16:43
36K
dblseq_3__l1_dblseq_3.vout
2021-07-25 16:44
8.4K
dblseq_3__t21_dblseq_3.vout
2021-07-25 16:46
4.7K
dblseq_3__t45_dblseq_3.vout
2021-07-25 16:50
4.1K
dblseq_3__t50_dblseq_3.vout
2021-07-25 16:54
4.1K
dblseq_3__t5_dblseq_3.vout
2021-07-25 16:56
4.1K
dblseq_3__t86_dblseq_3.vout
2021-07-25 17:01
7.3K
dblseq_3__t14_dblseq_3.vout
2021-07-25 17:03
4.1K
dblseq_3__t76_dblseq_3.vout
2021-07-25 17:07
7.3K
dblseq_3__l2_dblseq_3.vout
2021-07-25 17:11
2.0K
dblseq_3__l22_dblseq_3.vout
2021-07-25 17:21
4.7K
dblseq_3__t69_dblseq_3.vout
2021-07-25 17:22
7.3K
dblseq_3__t38_dblseq_3.vout
2021-07-25 17:24
4.1K
dblseq_3__t97_dblseq_3.vout
2021-07-25 17:27
7.3K
dblseq_3__t11_dblseq_3.vout
2021-07-25 17:40
7.3K
dblseq_3__t83_dblseq_3.vout
2021-07-25 17:42
6.8K
dblseq_3__t62_dblseq_3.vout
2021-07-25 17:42
2.0K
dblseq_3__t105_dblseq_3.vout
2021-07-25 17:42
6.8K
dblseq_3__t43_dblseq_3.vout
2021-07-25 17:44
7.3K
dblseq_3__t87_dblseq_3.vout
2021-07-25 17:49
7.4K
dblseq_3__t68_dblseq_3.vout
2021-07-25 17:52
6.8K
dblseq_3__t88_dblseq_3.vout
2021-07-25 17:53
6.8K
dblseq_3__t17_dblseq_3.vout
2021-07-25 17:54
54K
dblseq_3__t94_dblseq_3.vout
2021-07-25 17:58
5.3K
dblseq_3__t30_dblseq_3.vout
2021-07-25 18:04
57K
dblseq_3__t44_dblseq_3.vout
2021-07-25 18:04
4.7K
dblseq_3__t10_dblseq_3.vout
2021-07-25 18:07
170K
dblseq_3__t72_dblseq_3.vout
2021-07-25 18:07
7.4K
dblseq_3__t16_dblseq_3.vout
2021-07-25 18:13
4.1K
dblseq_3__t42_dblseq_3.vout
2021-07-25 18:16
4.7K
dblseq_3__t8_dblseq_3.vout
2021-07-25 18:18
4.1K
dblseq_3__t67_dblseq_3.vout
2021-07-25 18:21
6.8K
dblseq_3__t24_dblseq_3.vout
2021-07-25 18:30
4.7K
dblseq_3__t80_dblseq_3.vout
2021-07-25 18:32
4.7K
dblseq_3__l10_dblseq_3.vout
2021-07-25 18:34
4.1K
dblseq_3__t32_dblseq_3.vout
2021-07-25 18:36
56K
dblseq_3__t41_dblseq_3.vout
2021-07-25 18:38
4.7K
dblseq_3__t64_dblseq_3.vout
2021-07-25 18:42
4.1K
dblseq_3__t102_dblseq_3.vout
2021-07-25 18:42
4.7K
dblseq_3__t20_dblseq_3.vout
2021-07-25 18:43
4.7K
dblseq_3__t35_dblseq_3.vout
2021-07-25 18:45
4.1K
dblseq_3__t63_dblseq_3.vout
2021-07-25 18:46
4.7K
dblseq_3__l72_dblseq_3.vout
2021-07-25 18:48
4.1K
dblseq_3__t92_dblseq_3.vout
2021-07-25 18:52
4.1K
dblseq_3__t29_dblseq_3.vout
2021-07-25 18:55
50K
dblseq_3__t95_dblseq_3.vout
2021-07-25 18:58
4.7K
dblseq_3__t78_dblseq_3.vout
2021-07-25 18:58
4.7K
dblseq_3__t9_dblseq_3.vout
2021-07-25 19:01
4.1K
dblseq_3__t49_dblseq_3.vout
2021-07-25 19:02
8.4K
dblseq_3__t61_dblseq_3.vout
2021-07-25 19:13
7.4K
dblseq_3__t71_dblseq_3.vout
2021-07-25 19:14
4.7K
dblseq_3__t58_dblseq_3.vout
2021-07-25 19:23
4.7K
dblseq_3__t23_dblseq_3.vout
2021-07-25 19:33
4.7K
dblseq_3__t7_dblseq_3.vout
2021-07-25 19:33
6.8K
dblseq_3__t46_dblseq_3.vout
2021-07-25 19:34
4.2K
dblseq_3__t74_dblseq_3.vout
2021-07-25 19:38
6.8K
dblseq_3__t4_dblseq_3.vout
2021-07-25 19:43
7.3K
dblseq_3__l12_dblseq_3.vout
2021-07-25 19:43
4.1K
dblseq_3__t75_dblseq_3.vout
2021-07-25 19:43
4.7K
dblseq_3__t26_dblseq_3.vout
2021-07-25 19:47
4.7K
dblseq_3__t39_dblseq_3.vout
2021-07-25 19:48
6.8K
dblseq_3__t85_dblseq_3.vout
2021-07-25 19:53
6.8K
dblseq_3__l73_dblseq_3.vout
2021-07-25 19:58
4.1K
dblseq_3__t15_dblseq_3.vout
2021-07-25 20:01
4.1K
dblseq_3__t90_dblseq_3.vout
2021-07-25 20:03
4.1K
dblseq_3__t59_dblseq_3.vout
2021-07-25 20:03
4.7K
dblseq_3__t19_dblseq_3.vout
2021-07-25 20:04
4.7K
dblseq_3__t70_dblseq_3.vout
2021-07-25 20:11
6.8K
dblseq_3__t52_dblseq_3.vout
2021-07-25 20:20
4.1K
dblseq_3__t48_dblseq_3.vout
2021-07-25 20:21
4.1K
dblseq_3__t13_dblseq_3.vout
2021-07-25 20:23
7.3K
dblseq_3__t56_dblseq_3.vout
2021-07-25 20:23
4.7K
dblseq_3__t96_dblseq_3.vout
2021-07-25 20:25
4.7K
dblseq_3__t84_dblseq_3.vout
2021-07-25 20:36
4.1K
dblseq_3__t93_dblseq_3.vout
2021-07-25 20:37
4.7K
dblseq_3__t2_dblseq_3.vout
2021-07-25 20:38
42K
dblseq_3__t34_dblseq_3.vout
2021-07-25 20:39
4.1K
dblseq_3__t18_dblseq_3.vout
2021-07-25 20:50
4.7K
dblseq_3__t28_dblseq_3.vout
2021-07-25 20:52
4.7K
dblseq_3__t60_dblseq_3.vout
2021-07-25 20:53
4.7K
dblseq_3__t27_dblseq_3.vout
2021-07-25 20:53
4.7K
dblseq_3__t10_dblseq_3.depv1
2021-07-25 20:57
329
dblseq_3__t17_dblseq_3.depv1
2021-07-25 20:57
155
dblseq_3__l131_dblseq_3.depv1
2021-07-25 20:57
475
dblseq_3__t2_dblseq_3.depv1
2021-07-25 20:57
185
dblseq_3__t29_dblseq_3.depv1
2021-07-25 20:57
86
dblseq_3__t32_dblseq_3.depv1
2021-07-25 20:57
127
dblseq_3__t33_dblseq_3.depv1
2021-07-25 20:57
127
dblseq_3__t98_dblseq_3.depv1
2021-07-25 20:57
345
dblseq_3__t6_dblseq_3.depv1
2021-07-25 20:57
298
dblseq_3__t49_dblseq_3.depv1
2021-07-25 20:57
39
dblseq_3__t81_dblseq_3.depv1
2021-07-25 20:57
254
dblseq_3__t30_dblseq_3.depv1
2021-07-25 20:57
92
dblseq_3__l131_dblseq_3.vmin1
2021-07-25 20:57
4.0K
dblseq_3__t2_dblseq_3.vmin1
2021-07-25 20:57
2.0K
dblseq_3__t6_dblseq_3.vmin1
2021-07-25 20:57
2.7K
dblseq_3__t10_dblseq_3.vmin1
2021-07-25 20:57
7.2K
dblseq_3__t17_dblseq_3.vmin1
2021-07-25 20:57
3.1K
dblseq_3__t29_dblseq_3.vmin1
2021-07-25 20:57
2.2K
dblseq_3__t30_dblseq_3.vmin1
2021-07-25 20:57
2.6K
dblseq_3__t32_dblseq_3.vmin1
2021-07-25 20:57
3.6K
dblseq_3__t33_dblseq_3.vmin1
2021-07-25 20:57
3.6K
dblseq_3__t49_dblseq_3.vmin1
2021-07-25 20:57
1.1K
dblseq_3__t81_dblseq_3.vmin1
2021-07-25 20:57
6.3K
dblseq_3__t98_dblseq_3.vmin1
2021-07-25 20:57
3.6K
dblseq_3__t81_dblseq_3.vmin1out
2021-07-25 20:57
47K
dblseq_3__t29_dblseq_3.vmin1out
2021-07-25 20:58
49K
dblseq_3__t49_dblseq_3.vmin1out
2021-07-25 20:59
9.2K
dblseq_3__t6_dblseq_3.vmin1out
2021-07-25 20:59
37K
dblseq_3__t32_dblseq_3.vmin1out
2021-07-25 20:59
75K
dblseq_3__t17_dblseq_3.vmin1out
2021-07-25 20:59
28K
dblseq_3__t2_dblseq_3.vmin1out
2021-07-25 21:00
39K
dblseq_3__t10_dblseq_3.vmin1out
2021-07-25 21:00
54K
dblseq_3__t98_dblseq_3.vmin1out
2021-07-25 21:01
41K
dblseq_3__l131_dblseq_3.vmin1out
2021-07-25 21:01
43K
dblseq_3__t30_dblseq_3.vmin1out
2021-07-25 21:01
43K
dblseq_3__t33_dblseq_3.vmin1out
2021-07-25 21:01
75K
dblseq_3__t2_dblseq_3.depvmin1
2021-07-25 21:03
185
dblseq_3__t10_dblseq_3.depvmin1
2021-07-25 21:03
277
dblseq_3__t17_dblseq_3.depvmin1
2021-07-25 21:03
116
dblseq_3__t29_dblseq_3.depvmin1
2021-07-25 21:03
86
dblseq_3__l131_dblseq_3.depvmin1
2021-07-25 21:03
447
dblseq_3__t98_dblseq_3.depvmin1
2021-07-25 21:03
345
dblseq_3__t6_dblseq_3.depvmin1
2021-07-25 21:03
285
dblseq_3__t32_dblseq_3.depvmin1
2021-07-25 21:03
127
dblseq_3__t33_dblseq_3.depvmin1
2021-07-25 21:03
127
dblseq_3__t49_dblseq_3.depvmin1
2021-07-25 21:03
39
dblseq_3__t30_dblseq_3.depvmin1
2021-07-25 21:03
83
dblseq_3__t81_dblseq_3.depvmin1
2021-07-25 21:03
227
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80