Index of /~mptp/mml5.63.1382/MPTP2/problems_small/mathmorp
Name
Last modified
Size
Description
Parent Directory
-
mathmorp__t24_mathmorp.depv1
2021-07-25 20:57
39
mathmorp__t24_mathmorp.depvmin1
2021-07-25 21:03
39
mathmorp__t43_mathmorp.depv1
2021-07-25 20:57
68
mathmorp__t43_mathmorp.depvmin1
2021-07-25 21:03
68
mathmorp__t44_mathmorp.depv1
2021-07-25 20:57
68
mathmorp__t44_mathmorp.depvmin1
2021-07-25 21:03
68
mathmorp__t53_mathmorp.depvmin1
2021-07-25 21:03
68
mathmorp__t54_mathmorp.depv1
2021-07-25 20:57
78
mathmorp__t54_mathmorp.depvmin1
2021-07-25 21:03
78
mathmorp__t35_mathmorp.depvmin1
2021-07-25 21:03
79
mathmorp__t53_mathmorp.depv1
2021-07-25 20:57
79
mathmorp__t51_mathmorp.depv1
2021-07-25 20:57
109
mathmorp__t51_mathmorp.depvmin1
2021-07-25 21:03
109
mathmorp__t47_mathmorp.depv1
2021-07-25 20:57
110
mathmorp__t47_mathmorp.depvmin1
2021-07-25 21:03
110
mathmorp__t3_mathmorp.depv1
2021-07-25 20:57
111
mathmorp__t3_mathmorp.depvmin1
2021-07-25 21:03
111
mathmorp__t35_mathmorp.depv1
2021-07-25 20:57
131
mathmorp__t4_mathmorp.depv1
2021-07-25 20:57
138
mathmorp__t4_mathmorp.depvmin1
2021-07-25 21:03
138
mathmorp__t77_mathmorp.depv1
2021-07-25 20:57
162
mathmorp__t77_mathmorp.depvmin1
2021-07-25 21:03
162
mathmorp__t66_mathmorp.depv1
2021-07-25 20:57
172
mathmorp__t66_mathmorp.depvmin1
2021-07-25 21:03
172
mathmorp__t56_mathmorp.depvmin1
2021-07-25 21:03
201
mathmorp__l17_mathmorp.depv1
2021-07-25 20:57
205
mathmorp__l17_mathmorp.depvmin1
2021-07-25 21:03
205
mathmorp__t56_mathmorp.depv1
2021-07-25 20:57
243
mathmorp__t24_mathmorp.vmin1
2021-07-25 20:57
1.2K
mathmorp__t54_mathmorp.vmin1
2021-07-25 20:57
1.3K
mathmorp__t3_mathmorp.vmin1
2021-07-25 20:57
1.4K
mathmorp__t4_mathmorp.vmin1
2021-07-25 20:57
1.4K
mathmorp__t53_mathmorp.vmin1
2021-07-25 20:57
1.6K
mathmorp__t43_mathmorp.vmin1
2021-07-25 20:57
1.6K
mathmorp__t44_mathmorp.vmin1
2021-07-25 20:57
1.6K
mathmorp__t35_mathmorp.vmin1
2021-07-25 20:57
1.8K
mathmorp__t56_mathmorp.vmin1
2021-07-25 20:57
2.0K
mathmorp__t51_mathmorp.vmin1
2021-07-25 20:57
2.0K
mathmorp__t47_mathmorp.vmin1
2021-07-25 20:57
2.2K
mathmorp__t77_mathmorp.vmin1
2021-07-25 20:57
2.5K
mathmorp__t66_mathmorp.vmin1
2021-07-25 20:57
2.6K
mathmorp__l17_mathmorp.vmin1
2021-07-25 20:57
2.6K
mathmorp__t42_mathmorp.vout
2021-07-25 15:06
3.6K
mathmorp__t48_mathmorp.vout
2021-07-25 18:13
3.7K
mathmorp__t6_mathmorp.vout
2021-07-25 19:46
3.7K
mathmorp__t7_mathmorp.vout
2021-07-25 18:47
3.7K
mathmorp__t17_mathmorp.vout
2021-07-25 16:57
3.7K
mathmorp__t22_mathmorp.vout
2021-07-25 15:38
3.7K
mathmorp__t37_mathmorp.vout
2021-07-25 20:52
3.7K
mathmorp__l9_mathmorp.vout
2021-07-25 18:07
3.7K
mathmorp__t5_mathmorp.vout
2021-07-25 15:22
3.7K
mathmorp__t8_mathmorp.vout
2021-07-25 20:32
3.7K
mathmorp__t9_mathmorp.vout
2021-07-25 20:38
3.7K
mathmorp__t28_mathmorp.vout
2021-07-25 19:05
3.7K
mathmorp__t69_mathmorp.vout
2021-07-25 18:46
3.7K
mathmorp__t2_mathmorp.vout
2021-07-25 15:26
3.7K
mathmorp__t10_mathmorp.vout
2021-07-25 18:39
3.7K
mathmorp__t11_mathmorp.vout
2021-07-25 17:28
3.7K
mathmorp__t12_mathmorp.vout
2021-07-25 18:19
3.7K
mathmorp__t19_mathmorp.vout
2021-07-25 19:04
3.7K
mathmorp__t23_mathmorp.vout
2021-07-25 14:38
3.7K
mathmorp__t29_mathmorp.vout
2021-07-25 15:04
3.7K
mathmorp__t34_mathmorp.vout
2021-07-25 18:44
3.7K
mathmorp__t49_mathmorp.vout
2021-07-25 20:19
3.7K
mathmorp__t52_mathmorp.vout
2021-07-25 16:12
3.7K
mathmorp__t67_mathmorp.vout
2021-07-25 16:13
3.7K
mathmorp__t74_mathmorp.vout
2021-07-25 16:17
3.7K
mathmorp__t13_mathmorp.vout
2021-07-25 15:08
3.7K
mathmorp__t18_mathmorp.vout
2021-07-25 18:23
3.7K
mathmorp__t25_mathmorp.vout
2021-07-25 16:21
3.7K
mathmorp__t30_mathmorp.vout
2021-07-25 15:56
3.7K
mathmorp__t32_mathmorp.vout
2021-07-25 14:44
3.7K
mathmorp__t36_mathmorp.vout
2021-07-25 17:43
3.7K
mathmorp__t38_mathmorp.vout
2021-07-25 19:58
3.7K
mathmorp__t45_mathmorp.vout
2021-07-25 20:56
3.7K
mathmorp__t55_mathmorp.vout
2021-07-25 18:29
3.7K
mathmorp__t64_mathmorp.vout
2021-07-25 18:55
3.7K
mathmorp__t71_mathmorp.vout
2021-07-25 14:59
3.7K
mathmorp__t70_mathmorp.vout
2021-07-25 14:47
3.7K
mathmorp__t20_mathmorp.vout
2021-07-25 15:26
3.7K
mathmorp__t21_mathmorp.vout
2021-07-25 17:56
3.7K
mathmorp__t31_mathmorp.vout
2021-07-25 20:31
3.7K
mathmorp__t41_mathmorp.vout
2021-07-25 15:34
3.7K
mathmorp__t50_mathmorp.vout
2021-07-25 19:21
3.7K
mathmorp__t72_mathmorp.vout
2021-07-25 16:33
3.7K
mathmorp__l28_mathmorp.vout
2021-07-25 18:04
3.7K
mathmorp__t15_mathmorp.vout
2021-07-25 19:16
3.7K
mathmorp__t26_mathmorp.vout
2021-07-25 20:39
3.7K
mathmorp__t68_mathmorp.vout
2021-07-25 16:30
3.7K
mathmorp__t57_mathmorp.vout
2021-07-25 16:26
3.7K
mathmorp__t78_mathmorp.vout
2021-07-25 15:40
4.2K
mathmorp__t27_mathmorp.vout
2021-07-25 19:05
4.2K
mathmorp__t33_mathmorp.vout
2021-07-25 15:23
4.2K
mathmorp__t1_mathmorp.vout
2021-07-25 15:32
4.2K
mathmorp__t60_mathmorp.vout
2021-07-25 19:52
4.2K
mathmorp__t61_mathmorp.vout
2021-07-25 16:07
4.8K
mathmorp__t59_mathmorp.vout
2021-07-25 19:28
4.8K
mathmorp__t58_mathmorp.vout
2021-07-25 14:33
5.3K
mathmorp__t63_mathmorp.vout
2021-07-25 15:07
5.3K
mathmorp__t62_mathmorp.vout
2021-07-25 15:23
5.3K
mathmorp__t14_mathmorp.vout
2021-07-25 18:44
5.9K
mathmorp__t16_mathmorp.vout
2021-07-25 16:05
5.9K
mathmorp__t76_mathmorp.vout
2021-07-25 20:44
5.9K
mathmorp__t39_mathmorp.vout
2021-07-25 16:12
7.3K
mathmorp__t40_mathmorp.vout
2021-07-25 15:47
7.3K
mathmorp__t73_mathmorp.vout
2021-07-25 19:33
7.3K
mathmorp__t65_mathmorp.vout
2021-07-25 16:58
7.9K
mathmorp__t75_mathmorp.vout
2021-07-25 17:28
7.9K
mathmorp__t46_mathmorp.vout
2021-07-25 15:07
7.9K
mathmorp__t54_mathmorp.vout
2021-07-25 16:17
11K
mathmorp__t56_mathmorp
2021-07-18 10:33
12K
mathmorp__t1_mathmorp
2021-07-18 10:16
12K
mathmorp__t54_mathmorp.vmin1out
2021-07-25 21:01
13K
mathmorp__t4_mathmorp
2021-07-18 10:17
14K
mathmorp__t3_mathmorp
2021-07-18 10:17
14K
mathmorp__t12_mathmorp
2021-07-18 10:19
14K
mathmorp__t24_mathmorp.vmin1out
2021-07-25 20:59
14K
mathmorp__t16_mathmorp
2021-07-18 10:21
14K
mathmorp__t26_mathmorp
2021-07-18 10:24
14K
mathmorp__l9_mathmorp
2021-07-18 10:43
14K
mathmorp__t19_mathmorp
2021-07-18 10:22
15K
mathmorp__t21_mathmorp
2021-07-18 10:22
15K
mathmorp__t8_mathmorp
2021-07-18 10:18
15K
mathmorp__t53_mathmorp.vmin1out
2021-07-25 21:00
15K
mathmorp__t35_mathmorp
2021-07-18 10:27
15K
mathmorp__t35_mathmorp.vout
2021-07-25 19:31
15K
mathmorp__t15_mathmorp
2021-07-18 10:20
15K
mathmorp__t18_mathmorp
2021-07-18 10:21
15K
mathmorp__t31_mathmorp
2021-07-18 10:26
15K
mathmorp__t61_mathmorp
2021-07-18 10:35
15K
mathmorp__t2_mathmorp
2021-07-18 10:16
15K
mathmorp__t7_mathmorp
2021-07-18 10:18
15K
mathmorp__t58_mathmorp
2021-07-18 10:34
15K
mathmorp__t34_mathmorp
2021-07-18 10:27
15K
mathmorp__t27_mathmorp
2021-07-18 10:24
15K
mathmorp__l28_mathmorp
2021-07-18 10:44
15K
mathmorp__t24_mathmorp
2021-07-18 10:23
16K
mathmorp__t20_mathmorp
2021-07-18 10:22
16K
mathmorp__t30_mathmorp
2021-07-18 10:25
16K
mathmorp__t32_mathmorp
2021-07-18 10:26
16K
mathmorp__t9_mathmorp
2021-07-18 10:19
16K
mathmorp__t33_mathmorp
2021-07-18 10:26
16K
mathmorp__t5_mathmorp
2021-07-18 10:17
16K
mathmorp__l17_mathmorp
2021-07-18 10:43
16K
mathmorp__t49_mathmorp
2021-07-18 10:32
16K
mathmorp__t6_mathmorp
2021-07-18 10:18
16K
mathmorp__t10_mathmorp
2021-07-18 10:19
16K
mathmorp__t46_mathmorp
2021-07-18 10:31
16K
mathmorp__t47_mathmorp
2021-07-18 10:31
16K
mathmorp__t53_mathmorp
2021-07-18 10:16
16K
mathmorp__t13_mathmorp
2021-07-18 10:20
16K
mathmorp__t51_mathmorp
2021-07-18 10:32
16K
mathmorp__t28_mathmorp
2021-07-18 10:25
16K
mathmorp__t48_mathmorp
2021-07-18 10:31
16K
mathmorp__t36_mathmorp
2021-07-18 10:27
17K
mathmorp__t17_mathmorp
2021-07-18 10:21
17K
mathmorp__t43_mathmorp
2021-07-18 10:30
17K
mathmorp__t44_mathmorp
2021-07-18 10:30
17K
mathmorp__t41_mathmorp
2021-07-18 10:29
17K
mathmorp__t60_mathmorp
2021-07-18 10:35
17K
mathmorp__t50_mathmorp
2021-07-18 10:32
17K
mathmorp__t44_mathmorp.vout
2021-07-25 20:10
17K
mathmorp__t25_mathmorp
2021-07-18 10:24
17K
mathmorp__t43_mathmorp.vout
2021-07-25 14:54
17K
mathmorp__t29_mathmorp
2021-07-18 10:25
17K
mathmorp__t55_mathmorp
2021-07-18 10:33
17K
mathmorp__t14_mathmorp
2021-07-18 10:20
17K
mathmorp__t11_mathmorp
2021-07-18 10:19
17K
mathmorp__t54_mathmorp
2021-07-18 10:33
17K
mathmorp__t45_mathmorp
2021-07-18 10:30
18K
mathmorp__t57_mathmorp
2021-07-18 10:34
18K
mathmorp__t39_mathmorp
2021-07-18 10:28
18K
mathmorp__t40_mathmorp
2021-07-18 10:29
18K
mathmorp__t42_mathmorp
2021-07-18 10:29
18K
mathmorp__t56_mathmorp.vmin1out
2021-07-25 21:00
18K
mathmorp__t35_mathmorp.vmin1out
2021-07-25 20:59
18K
mathmorp__t52_mathmorp
2021-07-18 10:32
19K
mathmorp__t4_mathmorp.vout
2021-07-25 20:13
19K
mathmorp__t24_mathmorp.vout
2021-07-25 14:33
19K
mathmorp__t37_mathmorp
2021-07-18 10:28
19K
mathmorp__t38_mathmorp
2021-07-18 10:28
19K
mathmorp__t22_mathmorp
2021-07-18 10:23
20K
mathmorp__t68_mathmorp
2021-07-18 10:38
20K
mathmorp__t67_mathmorp
2021-07-18 10:38
20K
mathmorp__t4_mathmorp.vmin1out
2021-07-25 20:59
20K
mathmorp__t44_mathmorp.vmin1out
2021-07-25 20:59
20K
mathmorp__t43_mathmorp.vmin1out
2021-07-25 21:02
20K
mathmorp__t53_mathmorp.vout
2021-07-25 18:34
21K
mathmorp__t62_mathmorp
2021-07-18 10:36
21K
mathmorp__t63_mathmorp
2021-07-18 10:36
22K
mathmorp__t23_mathmorp
2021-07-18 10:23
22K
mathmorp__t74_mathmorp
2021-07-18 10:41
22K
mathmorp__t73_mathmorp
2021-07-18 10:40
22K
mathmorp__t65_mathmorp
2021-07-18 10:37
22K
mathmorp__t66_mathmorp
2021-07-18 10:37
22K
mathmorp__t77_mathmorp
2021-07-18 10:42
23K
mathmorp__t69_mathmorp
2021-07-18 10:39
24K
mathmorp__t70_mathmorp
2021-07-18 10:39
24K
mathmorp__t59_mathmorp
2021-07-18 10:35
25K
mathmorp__t72_mathmorp
2021-07-18 10:40
25K
mathmorp__t56_mathmorp.vout
2021-07-25 19:25
25K
mathmorp__t47_mathmorp.vmin1out
2021-07-25 21:02
25K
mathmorp__t64_mathmorp
2021-07-18 10:37
25K
mathmorp__t51_mathmorp.vmin1out
2021-07-25 20:59
25K
mathmorp__t71_mathmorp
2021-07-18 10:40
25K
mathmorp__t47_mathmorp.vout
2021-07-25 15:42
28K
mathmorp__t75_mathmorp
2021-07-18 10:41
29K
mathmorp__t77_mathmorp.vmin1out
2021-07-25 21:01
29K
mathmorp__l17_mathmorp.vmin1out
2021-07-25 21:00
30K
mathmorp__t51_mathmorp.vout
2021-07-25 15:23
30K
mathmorp__t77_mathmorp.vout
2021-07-25 17:37
31K
mathmorp__t3_mathmorp.vmin1out
2021-07-25 21:01
32K
mathmorp__t76_mathmorp
2021-07-18 10:42
33K
mathmorp__t3_mathmorp.vout
2021-07-25 20:32
33K
mathmorp__l17_mathmorp.vout
2021-07-25 17:13
34K
mathmorp__t66_mathmorp.vmin1out
2021-07-25 20:57
34K
mathmorp__t78_mathmorp
2021-07-18 10:43
34K
mathmorp__t66_mathmorp.vout
2021-07-25 20:23
34K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80