Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/finseq_3
Name
Last modified
Size
Description
Parent Directory
-
finseq_3__l47_finseq_3
2025-09-14 07:13
74K
finseq_3__l48_finseq_3
2025-09-14 07:15
121K
finseq_3__l49_finseq_3
2025-09-14 07:17
70K
finseq_3__l51_finseq_3
2025-09-14 07:18
125K
finseq_3__l78_finseq_3
2025-09-14 07:20
78K
finseq_3__l79_finseq_3
2025-09-14 07:21
75K
finseq_3__l80_finseq_3
2025-09-14 07:22
70K
finseq_3__l81_finseq_3
2025-09-14 07:25
145K
finseq_3__l82_finseq_3
2025-09-14 07:26
73K
finseq_3__l83_finseq_3
2025-09-14 07:27
73K
finseq_3__l96_finseq_3
2025-09-14 07:29
143K
finseq_3__l97_finseq_3
2025-09-14 07:31
104K
finseq_3__t1_finseq_3
2025-09-14 03:58
56K
finseq_3__t2_finseq_3
2025-09-14 04:00
56K
finseq_3__t3_finseq_3
2025-09-14 04:01
57K
finseq_3__t4_finseq_3
2025-09-14 04:03
58K
finseq_3__t5_finseq_3
2025-09-14 04:04
59K
finseq_3__t6_finseq_3
2025-09-14 04:05
60K
finseq_3__t7_finseq_3
2025-09-14 04:07
44K
finseq_3__t8_finseq_3
2025-09-14 04:08
59K
finseq_3__t9_finseq_3
2025-09-14 04:09
52K
finseq_3__t10_finseq_3
2025-09-14 04:10
52K
finseq_3__t11_finseq_3
2025-09-14 04:12
51K
finseq_3__t12_finseq_3
2025-09-14 04:13
79K
finseq_3__t13_finseq_3
2025-09-14 04:14
78K
finseq_3__t14_finseq_3
2025-09-14 04:16
65K
finseq_3__t15_finseq_3
2025-09-14 04:17
59K
finseq_3__t16_finseq_3
2025-09-14 03:35
48K
finseq_3__t17_finseq_3
2025-09-14 03:36
48K
finseq_3__t18_finseq_3
2025-09-14 03:38
50K
finseq_3__t19_finseq_3
2025-09-14 04:18
47K
finseq_3__t20_finseq_3
2025-09-14 04:19
51K
finseq_3__t21_finseq_3
2025-09-14 04:21
61K
finseq_3__t22_finseq_3
2025-09-14 04:22
55K
finseq_3__t23_finseq_3
2025-09-14 03:39
45K
finseq_3__t24_finseq_3
2025-09-14 04:23
52K
finseq_3__t25_finseq_3
2025-09-14 04:25
51K
finseq_3__t26_finseq_3
2025-09-14 04:26
62K
finseq_3__t29_finseq_3
2025-09-14 04:27
49K
finseq_3__t30_finseq_3
2025-09-14 04:29
52K
finseq_3__t31_finseq_3
2025-09-14 04:30
57K
finseq_3__t32_finseq_3
2025-09-14 04:31
51K
finseq_3__t33_finseq_3
2025-09-14 03:40
38K
finseq_3__t34_finseq_3
2025-09-14 03:41
38K
finseq_3__t35_finseq_3
2025-09-14 04:32
45K
finseq_3__t36_finseq_3
2025-09-14 04:34
46K
finseq_3__t37_finseq_3
2025-09-14 04:35
45K
finseq_3__t38_finseq_3
2025-09-14 04:36
69K
finseq_3__t39_finseq_3
2025-09-14 04:38
69K
finseq_3__t40_finseq_3
2025-09-14 04:39
54K
finseq_3__t41_finseq_3
2025-09-14 04:40
63K
finseq_3__t42_finseq_3
2025-09-14 04:43
121K
finseq_3__t43_finseq_3
2025-09-14 03:43
48K
finseq_3__t44_finseq_3
2025-09-14 04:44
70K
finseq_3__t45_finseq_3
2025-09-14 04:46
74K
finseq_3__t46_finseq_3
2025-09-14 04:47
52K
finseq_3__t47_finseq_3
2025-09-14 03:44
68K
finseq_3__t48_finseq_3
2025-09-14 04:48
57K
finseq_3__t49_finseq_3
2025-09-14 04:50
70K
finseq_3__t50_finseq_3
2025-09-14 04:52
74K
finseq_3__t51_finseq_3
2025-09-14 04:53
81K
finseq_3__t52_finseq_3
2025-09-14 04:54
70K
finseq_3__t53_finseq_3
2025-09-14 04:56
74K
finseq_3__t54_finseq_3
2025-09-14 04:57
71K
finseq_3__t55_finseq_3
2025-09-14 04:59
91K
finseq_3__t56_finseq_3
2025-09-14 05:00
62K
finseq_3__t57_finseq_3
2025-09-14 05:02
111K
finseq_3__t58_finseq_3
2025-09-14 05:03
63K
finseq_3__t59_finseq_3
2025-09-14 05:05
85K
finseq_3__t60_finseq_3
2025-09-14 05:06
78K
finseq_3__t61_finseq_3
2025-09-14 05:08
82K
finseq_3__t62_finseq_3
2025-09-14 05:09
74K
finseq_3__t63_finseq_3
2025-09-14 05:10
68K
finseq_3__t64_finseq_3
2025-09-14 05:12
76K
finseq_3__t65_finseq_3
2025-09-14 05:13
81K
finseq_3__t66_finseq_3
2025-09-14 05:14
69K
finseq_3__t67_finseq_3
2025-09-14 05:16
72K
finseq_3__t68_finseq_3
2025-09-14 05:17
70K
finseq_3__t69_finseq_3
2025-09-14 05:18
86K
finseq_3__t70_finseq_3
2025-09-14 05:20
74K
finseq_3__t71_finseq_3
2025-09-14 05:21
71K
finseq_3__t72_finseq_3
2025-09-14 03:46
69K
finseq_3__t73_finseq_3
2025-09-14 03:47
71K
finseq_3__t74_finseq_3
2025-09-14 03:49
68K
finseq_3__t75_finseq_3
2025-09-14 03:50
63K
finseq_3__t76_finseq_3
2025-09-14 03:51
63K
finseq_3__t77_finseq_3
2025-09-14 05:22
87K
finseq_3__t78_finseq_3
2025-09-14 05:23
78K
finseq_3__t79_finseq_3
2025-09-14 05:25
83K
finseq_3__t80_finseq_3
2025-09-14 05:26
78K
finseq_3__t81_finseq_3
2025-09-14 05:27
83K
finseq_3__t82_finseq_3
2025-09-14 05:29
77K
finseq_3__t83_finseq_3
2025-09-14 05:30
101K
finseq_3__t84_finseq_3
2025-09-14 05:32
101K
finseq_3__t85_finseq_3
2025-09-14 05:33
75K
finseq_3__t86_finseq_3
2025-09-14 05:34
70K
finseq_3__t87_finseq_3
2025-09-14 03:53
61K
finseq_3__t88_finseq_3
2025-09-14 05:36
84K
finseq_3__t89_finseq_3
2025-09-14 05:37
78K
finseq_3__t90_finseq_3
2025-09-14 05:38
81K
finseq_3__t91_finseq_3
2025-09-14 05:40
104K
finseq_3__t92_finseq_3
2025-09-14 03:54
48K
finseq_3__t93_finseq_3
2025-09-14 05:41
55K
finseq_3__t94_finseq_3
2025-09-14 05:43
54K
finseq_3__t95_finseq_3
2025-09-14 05:44
78K
finseq_3__t96_finseq_3
2025-09-14 05:45
60K
finseq_3__t97_finseq_3
2025-09-14 05:47
48K
finseq_3__t98_finseq_3
2025-09-14 05:48
50K
finseq_3__t99_finseq_3
2025-09-14 05:50
62K
finseq_3__t100_finseq_3
2025-09-14 05:51
50K
finseq_3__t101_finseq_3
2025-09-14 05:52
47K
finseq_3__t102_finseq_3
2025-09-14 05:54
105K
finseq_3__t103_finseq_3
2025-09-14 05:55
94K
finseq_3__t104_finseq_3
2025-09-14 05:57
138K
finseq_3__t105_finseq_3
2025-09-14 05:58
86K
finseq_3__t106_finseq_3
2025-09-14 03:56
70K
finseq_3__t107_finseq_3
2025-09-14 06:00
73K
finseq_3__t108_finseq_3
2025-09-14 06:01
212K
finseq_3__t109_finseq_3
2025-09-14 06:03
78K
finseq_3__t110_finseq_3
2025-09-14 06:04
117K
finseq_3__t111_finseq_3
2025-09-14 06:06
114K
finseq_3__t112_finseq_3
2025-09-14 06:07
75K
finseq_3__t113_finseq_3
2025-09-14 06:08
62K
finseq_3__t114_finseq_3
2025-09-14 06:09
95K
finseq_3__t115_finseq_3
2025-09-14 06:11
138K
finseq_3__t116_finseq_3
2025-09-14 06:12
68K
finseq_3__t117_finseq_3
2025-09-14 06:13
61K
finseq_3__t118_finseq_3
2025-09-14 06:14
51K
finseq_3__t119_finseq_3
2025-09-14 06:16
72K
finseq_3__t120_finseq_3
2025-09-14 06:17
77K
finseq_3__t121_finseq_3
2025-09-14 06:18
64K
finseq_3__t122_finseq_3
2025-09-14 06:20
71K
finseq_3__t123_finseq_3
2025-09-14 06:21
58K
finseq_3__t124_finseq_3
2025-09-14 06:22
59K
finseq_3__t125_finseq_3
2025-09-14 06:24
58K
finseq_3__t126_finseq_3
2025-09-14 06:25
70K
finseq_3__t127_finseq_3
2025-09-14 06:26
48K
finseq_3__t128_finseq_3
2025-09-14 06:27
58K
finseq_3__t129_finseq_3
2025-09-14 06:28
48K
finseq_3__t130_finseq_3
2025-09-14 06:30
58K
finseq_3__t131_finseq_3
2025-09-14 06:31
67K
finseq_3__t132_finseq_3
2025-09-14 06:32
62K
finseq_3__t133_finseq_3
2025-09-14 06:33
61K
finseq_3__t134_finseq_3
2025-09-14 06:35
60K
finseq_3__t135_finseq_3
2025-09-14 06:36
57K
finseq_3__t136_finseq_3
2025-09-14 06:37
52K
finseq_3__t137_finseq_3
2025-09-14 06:38
55K
finseq_3__t138_finseq_3
2025-09-14 06:40
67K
finseq_3__t139_finseq_3
2025-09-14 06:41
65K
finseq_3__t140_finseq_3
2025-09-14 06:42
60K
finseq_3__t141_finseq_3
2025-09-14 06:44
83K
finseq_3__t142_finseq_3
2025-09-14 06:45
89K
finseq_3__t143_finseq_3
2025-09-14 06:47
67K
finseq_3__t144_finseq_3
2025-09-14 06:48
69K
finseq_3__t145_finseq_3
2025-09-14 06:50
63K
finseq_3__t146_finseq_3
2025-09-14 06:51
56K
finseq_3__t147_finseq_3
2025-09-14 06:53
56K
finseq_3__t148_finseq_3
2025-09-14 06:54
57K
finseq_3__t149_finseq_3
2025-09-14 06:55
56K
finseq_3__t150_finseq_3
2025-09-14 06:57
57K
finseq_3__t151_finseq_3
2025-09-14 06:58
68K
finseq_3__t152_finseq_3
2025-09-14 07:00
74K
finseq_3__t153_finseq_3
2025-09-14 03:57
39K
finseq_3__t154_finseq_3
2025-09-14 07:01
65K
finseq_3__t155_finseq_3
2025-09-14 07:02
62K
finseq_3__t156_finseq_3
2025-09-14 07:03
50K
finseq_3__t157_finseq_3
2025-09-14 07:05
84K
finseq_3__t158_finseq_3
2025-09-14 07:06
71K
finseq_3__t159_finseq_3
2025-09-14 07:08
76K
finseq_3__t160_finseq_3
2025-09-14 07:09
54K
finseq_3__t161_finseq_3
2025-09-14 07:10
99K
finseq_3__t162_finseq_3
2025-09-14 07:12
177K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80