Index of /~mptp/mml5.63.1382/MPTP2/problems_small/rmod_4
Name
Last modified
Size
Description
Parent Directory
-
rmod_4__t30_rmod_4.depv1
2021-07-25 20:57
22
rmod_4__t30_rmod_4.depvmin1
2021-07-25 21:03
22
rmod_4__t62_rmod_4.depv1
2021-07-25 20:57
33
rmod_4__t62_rmod_4.depvmin1
2021-07-25 21:03
33
rmod_4__t19_rmod_4.depv1
2021-07-25 20:57
44
rmod_4__t19_rmod_4.depvmin1
2021-07-25 21:03
44
rmod_4__t34_rmod_4.depv1
2021-07-25 20:57
44
rmod_4__t34_rmod_4.depvmin1
2021-07-25 21:03
44
rmod_4__t45_rmod_4.depv1
2021-07-25 20:57
55
rmod_4__t45_rmod_4.depvmin1
2021-07-25 21:03
55
rmod_4__t22_rmod_4.depv1
2021-07-25 20:57
56
rmod_4__t22_rmod_4.depvmin1
2021-07-25 21:03
56
rmod_4__t55_rmod_4.depv1
2021-07-25 20:57
57
rmod_4__t55_rmod_4.depvmin1
2021-07-25 21:03
57
rmod_4__t74_rmod_4.depv1
2021-07-25 20:57
60
rmod_4__t74_rmod_4.depvmin1
2021-07-25 21:03
60
rmod_4__t16_rmod_4.depv1
2021-07-25 20:57
66
rmod_4__t16_rmod_4.depvmin1
2021-07-25 21:03
66
rmod_4__t17_rmod_4.depv1
2021-07-25 20:57
66
rmod_4__t17_rmod_4.depvmin1
2021-07-25 21:03
66
rmod_4__t35_rmod_4.depv1
2021-07-25 20:57
67
rmod_4__t35_rmod_4.depvmin1
2021-07-25 21:03
67
rmod_4__t36_rmod_4.depv1
2021-07-25 20:57
67
rmod_4__t36_rmod_4.depvmin1
2021-07-25 21:03
67
rmod_4__t20_rmod_4.depv1
2021-07-25 20:57
76
rmod_4__t20_rmod_4.depvmin1
2021-07-25 21:03
76
rmod_4__t66_rmod_4.depv1
2021-07-25 20:57
97
rmod_4__t66_rmod_4.depvmin1
2021-07-25 21:03
97
rmod_4__t38_rmod_4.depv1
2021-07-25 20:57
105
rmod_4__t38_rmod_4.depvmin1
2021-07-25 21:03
105
rmod_4__t72_rmod_4.depvmin1
2021-07-25 21:03
115
rmod_4__t64_rmod_4.depv1
2021-07-25 20:57
119
rmod_4__t64_rmod_4.depvmin1
2021-07-25 21:03
119
rmod_4__t53_rmod_4.depvmin1
2021-07-25 21:03
120
rmod_4__t76_rmod_4.depv1
2021-07-25 20:57
126
rmod_4__t76_rmod_4.depvmin1
2021-07-25 21:03
126
rmod_4__t18_rmod_4.depv1
2021-07-25 20:57
128
rmod_4__t18_rmod_4.depvmin1
2021-07-25 21:03
128
rmod_4__t53_rmod_4.depv1
2021-07-25 20:57
134
rmod_4__t2_rmod_4.depv1
2021-07-25 20:57
146
rmod_4__t2_rmod_4.depvmin1
2021-07-25 21:03
146
rmod_4__t60_rmod_4.depv1
2021-07-25 20:57
146
rmod_4__t60_rmod_4.depvmin1
2021-07-25 21:03
146
rmod_4__t72_rmod_4.depv1
2021-07-25 20:57
147
rmod_4__t56_rmod_4.depv1
2021-07-25 20:57
157
rmod_4__t56_rmod_4.depvmin1
2021-07-25 21:03
157
rmod_4__t65_rmod_4.depv1
2021-07-25 20:57
168
rmod_4__t65_rmod_4.depvmin1
2021-07-25 21:03
168
rmod_4__t24_rmod_4.depvmin1
2021-07-25 21:03
175
rmod_4__t70_rmod_4.depvmin1
2021-07-25 21:03
184
rmod_4__t70_rmod_4.depv1
2021-07-25 20:57
220
rmod_4__t24_rmod_4.depv1
2021-07-25 20:57
229
rmod_4__l1_rmod_4.depv1
2021-07-25 20:57
268
rmod_4__l1_rmod_4.depvmin1
2021-07-25 21:03
268
rmod_4__t6_rmod_4.depvmin1
2021-07-25 21:03
278
rmod_4__t5_rmod_4.depv1
2021-07-25 20:57
280
rmod_4__t5_rmod_4.depvmin1
2021-07-25 21:03
280
rmod_4__t7_rmod_4.depv1
2021-07-25 20:57
292
rmod_4__t7_rmod_4.depvmin1
2021-07-25 21:03
292
rmod_4__t48_rmod_4.depv1
2021-07-25 20:57
318
rmod_4__t6_rmod_4.depv1
2021-07-25 20:57
321
rmod_4__t50_rmod_4.depv1
2021-07-25 20:57
324
rmod_4__t50_rmod_4.depvmin1
2021-07-25 21:03
324
rmod_4__t30_rmod_4.vmin1
2021-07-25 20:57
913
rmod_4__t34_rmod_4.vmin1
2021-07-25 20:57
1.5K
rmod_4__t22_rmod_4.vmin1
2021-07-25 20:57
1.6K
rmod_4__t17_rmod_4.vmin1
2021-07-25 20:57
1.8K
rmod_4__t66_rmod_4.vmin1
2021-07-25 20:57
1.8K
rmod_4__t16_rmod_4.vmin1
2021-07-25 20:57
1.8K
rmod_4__t19_rmod_4.vmin1
2021-07-25 20:57
1.8K
rmod_4__t62_rmod_4.vmin1
2021-07-25 20:57
1.8K
rmod_4__l3_rmod_4.vout
2021-07-25 19:39
2.0K
rmod_4__t4_rmod_4.vout
2021-07-25 14:34
2.0K
rmod_4__t13_rmod_4.vout
2021-07-25 16:03
2.0K
rmod_4__t15_rmod_4.vout
2021-07-25 17:22
2.0K
rmod_4__t61_rmod_4.vout
2021-07-25 14:36
2.0K
rmod_4__t14_rmod_4.vout
2021-07-25 16:50
2.0K
rmod_4__t3_rmod_4.vout
2021-07-25 19:40
2.0K
rmod_4__t2_rmod_4.vmin1
2021-07-25 20:57
2.1K
rmod_4__t20_rmod_4.vmin1
2021-07-25 20:57
2.2K
rmod_4__t65_rmod_4.vmin1
2021-07-25 20:57
2.3K
rmod_4__t45_rmod_4.vmin1
2021-07-25 20:57
2.3K
rmod_4__t35_rmod_4.vmin1
2021-07-25 20:57
2.4K
rmod_4__t64_rmod_4.vmin1
2021-07-25 20:57
2.6K
rmod_4__t55_rmod_4.vmin1
2021-07-25 20:57
2.6K
rmod_4__t36_rmod_4.vmin1
2021-07-25 20:57
2.7K
rmod_4__t18_rmod_4.vmin1
2021-07-25 20:57
2.8K
rmod_4__t53_rmod_4.vmin1
2021-07-25 20:57
2.9K
rmod_4__t72_rmod_4.vmin1
2021-07-25 20:57
2.9K
rmod_4__t76_rmod_4.vmin1
2021-07-25 20:57
3.0K
rmod_4__t5_rmod_4.vmin1
2021-07-25 20:57
3.0K
rmod_4__t70_rmod_4.vmin1
2021-07-25 20:57
3.1K
rmod_4__l1_rmod_4.vmin1
2021-07-25 20:57
3.1K
rmod_4__t74_rmod_4.vmin1
2021-07-25 20:57
3.2K
rmod_4__t38_rmod_4.vmin1
2021-07-25 20:57
3.2K
rmod_4__t24_rmod_4.vmin1
2021-07-25 20:57
3.2K
rmod_4__t60_rmod_4.vmin1
2021-07-25 20:57
3.6K
rmod_4__t6_rmod_4.vmin1
2021-07-25 20:57
3.6K
rmod_4__t7_rmod_4.vmin1
2021-07-25 20:57
3.6K
rmod_4__t33_rmod_4.vout
2021-07-25 19:48
3.6K
rmod_4__t42_rmod_4.vout
2021-07-25 17:04
3.6K
rmod_4__t43_rmod_4.vout
2021-07-25 15:00
3.6K
rmod_4__t68_rmod_4.vout
2021-07-25 17:15
3.6K
rmod_4__t59_rmod_4.vout
2021-07-25 20:16
3.6K
rmod_4__t29_rmod_4.vout
2021-07-25 19:42
3.6K
rmod_4__t37_rmod_4.vout
2021-07-25 19:18
3.7K
rmod_4__t52_rmod_4.vout
2021-07-25 15:11
3.7K
rmod_4__t75_rmod_4.vout
2021-07-25 18:02
3.7K
rmod_4__t56_rmod_4.vmin1
2021-07-25 20:57
4.1K
rmod_4__t58_rmod_4.vout
2021-07-25 19:45
4.2K
rmod_4__t63_rmod_4.vout
2021-07-25 16:36
4.2K
rmod_4__t71_rmod_4.vout
2021-07-25 15:03
4.7K
rmod_4__t25_rmod_4.vout
2021-07-25 14:58
4.7K
rmod_4__t26_rmod_4.vout
2021-07-25 14:44
4.7K
rmod_4__t46_rmod_4.vout
2021-07-25 14:46
4.7K
rmod_4__t51_rmod_4.vout
2021-07-25 19:40
4.7K
rmod_4__t57_rmod_4.vout
2021-07-25 15:58
4.7K
rmod_4__t39_rmod_4.vout
2021-07-25 17:58
4.7K
rmod_4__t40_rmod_4.vout
2021-07-25 16:40
4.7K
rmod_4__t41_rmod_4.vout
2021-07-25 18:01
4.7K
rmod_4__t32_rmod_4.vout
2021-07-25 15:50
4.7K
rmod_4__t21_rmod_4.vout
2021-07-25 20:49
5.3K
rmod_4__t47_rmod_4.vout
2021-07-25 17:00
5.3K
rmod_4__t48_rmod_4.vmin1
2021-07-25 20:57
5.4K
rmod_4__t44_rmod_4.vout
2021-07-25 15:21
5.8K
rmod_4__t49_rmod_4.vout
2021-07-25 16:47
5.8K
rmod_4__t31_rmod_4.vout
2021-07-25 17:08
5.8K
rmod_4__t50_rmod_4.vmin1
2021-07-25 20:57
5.8K
rmod_4__t1_rmod_4.vout
2021-07-25 17:03
6.8K
rmod_4__t9_rmod_4.vout
2021-07-25 16:56
7.2K
rmod_4__t12_rmod_4.vout
2021-07-25 19:39
7.3K
rmod_4__t27_rmod_4.vout
2021-07-25 18:44
7.3K
rmod_4__t8_rmod_4.vout
2021-07-25 20:00
7.3K
rmod_4__t10_rmod_4.vout
2021-07-25 20:39
7.3K
rmod_4__t11_rmod_4.vout
2021-07-25 18:06
7.3K
rmod_4__t23_rmod_4.vout
2021-07-25 17:57
7.3K
rmod_4__t54_rmod_4.vout
2021-07-25 20:31
7.3K
rmod_4__t28_rmod_4.vout
2021-07-25 17:21
7.3K
rmod_4__t67_rmod_4.vout
2021-07-25 17:55
7.3K
rmod_4__t69_rmod_4.vout
2021-07-25 15:21
7.3K
rmod_4__t73_rmod_4.vout
2021-07-25 15:15
7.3K
rmod_4__l38_rmod_4.vout
2021-07-25 14:48
7.3K
rmod_4__t48_rmod_4.vmin1out
2021-07-25 21:01
7.3K
rmod_4__t30_rmod_4.vout
2021-07-25 15:26
11K
rmod_4__t22_rmod_4.vout
2021-07-25 15:05
12K
rmod_4__t30_rmod_4.vmin1out
2021-07-25 20:59
12K
rmod_4__t20_rmod_4.vout
2021-07-25 15:52
16K
rmod_4__t19_rmod_4.vout
2021-07-25 14:26
16K
rmod_4__t35_rmod_4.vout
2021-07-25 15:37
17K
rmod_4__t55_rmod_4.vout
2021-07-25 19:41
17K
rmod_4__t62_rmod_4.vout
2021-07-25 15:40
17K
rmod_4__t45_rmod_4.vout
2021-07-25 15:12
19K
rmod_4__t64_rmod_4.vout
2021-07-25 20:49
20K
rmod_4__t36_rmod_4.vout
2021-07-25 18:11
20K
rmod_4__t2_rmod_4.vout
2021-07-25 16:27
21K
rmod_4__t2_rmod_4.vmin1out
2021-07-25 20:58
22K
rmod_4__t74_rmod_4.vmin1out
2021-07-25 21:02
23K
rmod_4__t66_rmod_4
2021-07-18 09:05
23K
rmod_4__t65_rmod_4
2021-07-18 09:34
23K
rmod_4__t22_rmod_4.vmin1out
2021-07-25 21:02
24K
rmod_4__t13_rmod_4
2021-07-18 09:11
26K
rmod_4__t11_rmod_4
2021-07-18 09:10
26K
rmod_4__t2_rmod_4
2021-07-18 09:06
27K
rmod_4__t30_rmod_4
2021-07-18 09:05
27K
rmod_4__t14_rmod_4
2021-07-18 09:12
27K
rmod_4__t15_rmod_4
2021-07-18 09:03
27K
rmod_4__t65_rmod_4.vmin1out
2021-07-25 21:00
27K
rmod_4__t5_rmod_4
2021-07-18 09:08
28K
rmod_4__t17_rmod_4
2021-07-18 09:12
28K
rmod_4__t16_rmod_4
2021-07-18 09:04
28K
rmod_4__t3_rmod_4
2021-07-18 09:07
29K
rmod_4__t10_rmod_4
2021-07-18 09:10
29K
rmod_4__t12_rmod_4
2021-07-18 09:11
29K
rmod_4__t4_rmod_4
2021-07-18 09:07
29K
rmod_4__t53_rmod_4
2021-07-18 09:05
29K
rmod_4__t18_rmod_4
2021-07-18 09:13
29K
rmod_4__l3_rmod_4
2021-07-18 09:40
29K
rmod_4__t31_rmod_4
2021-07-18 09:18
29K
rmod_4__t76_rmod_4.vout
2021-07-25 14:43
29K
rmod_4__t8_rmod_4
2021-07-18 09:09
30K
rmod_4__t7_rmod_4
2021-07-18 09:09
30K
rmod_4__t22_rmod_4
2021-07-18 09:04
30K
rmod_4__t6_rmod_4
2021-07-18 09:08
30K
rmod_4__t24_rmod_4
2021-07-18 09:15
30K
rmod_4__t19_rmod_4
2021-07-18 09:13
30K
rmod_4__t48_rmod_4
2021-07-18 09:26
30K
rmod_4__t34_rmod_4.vmin1out
2021-07-25 21:00
30K
rmod_4__t50_rmod_4
2021-07-18 09:27
30K
rmod_4__t49_rmod_4
2021-07-18 09:27
31K
rmod_4__t23_rmod_4
2021-07-18 09:14
31K
rmod_4__t40_rmod_4
2021-07-18 09:22
31K
rmod_4__t20_rmod_4
2021-07-18 09:14
31K
rmod_4__t34_rmod_4
2021-07-18 09:20
31K
rmod_4__t34_rmod_4.vout
2021-07-25 20:54
31K
rmod_4__t39_rmod_4
2021-07-18 09:22
31K
rmod_4__t64_rmod_4
2021-07-18 09:34
31K
rmod_4__t42_rmod_4
2021-07-18 09:23
31K
rmod_4__t45_rmod_4
2021-07-18 09:25
31K
rmod_4__t60_rmod_4
2021-07-18 09:32
31K
rmod_4__t62_rmod_4
2021-07-18 09:33
31K
rmod_4__t74_rmod_4
2021-07-18 09:38
31K
rmod_4__t56_rmod_4
2021-07-18 09:29
31K
rmod_4__t53_rmod_4.vmin1out
2021-07-25 21:01
31K
rmod_4__t44_rmod_4
2021-07-18 09:24
31K
rmod_4__t21_rmod_4
2021-07-18 09:14
32K
rmod_4__t35_rmod_4
2021-07-18 09:20
32K
rmod_4__t47_rmod_4
2021-07-18 09:26
32K
rmod_4__t72_rmod_4
2021-07-18 09:37
32K
rmod_4__t46_rmod_4
2021-07-18 09:25
32K
rmod_4__t37_rmod_4
2021-07-18 09:21
33K
rmod_4__t54_rmod_4
2021-07-18 09:28
33K
rmod_4__t38_rmod_4
2021-07-18 09:21
33K
rmod_4__t35_rmod_4.vmin1out
2021-07-25 20:59
33K
rmod_4__t76_rmod_4
2021-07-18 09:39
33K
rmod_4__l1_rmod_4
2021-07-18 09:40
33K
rmod_4__t61_rmod_4
2021-07-18 09:32
33K
rmod_4__t70_rmod_4
2021-07-18 09:36
33K
rmod_4__t25_rmod_4
2021-07-18 09:15
33K
rmod_4__t41_rmod_4
2021-07-18 09:23
33K
rmod_4__t27_rmod_4
2021-07-18 09:16
33K
rmod_4__t9_rmod_4
2021-07-18 09:10
33K
rmod_4__t36_rmod_4
2021-07-18 09:20
33K
rmod_4__t26_rmod_4
2021-07-18 09:16
34K
rmod_4__t43_rmod_4
2021-07-18 09:24
34K
rmod_4__t19_rmod_4.vmin1out
2021-07-25 21:00
34K
rmod_4__t52_rmod_4
2021-07-18 09:28
34K
rmod_4__t67_rmod_4
2021-07-18 09:35
34K
rmod_4__t57_rmod_4
2021-07-18 09:30
35K
rmod_4__t65_rmod_4.vout
2021-07-25 19:11
35K
rmod_4__t60_rmod_4.vout
2021-07-25 18:04
35K
rmod_4__t73_rmod_4
2021-07-18 09:38
35K
rmod_4__t70_rmod_4.vout
2021-07-25 16:51
35K
rmod_4__t51_rmod_4
2021-07-18 09:27
35K
rmod_4__t55_rmod_4
2021-07-18 09:29
35K
rmod_4__t72_rmod_4.vout
2021-07-25 15:28
35K
rmod_4__t63_rmod_4
2021-07-18 09:33
35K
rmod_4__t28_rmod_4
2021-07-18 09:17
35K
rmod_4__t5_rmod_4.vout
2021-07-25 19:34
36K
rmod_4__t64_rmod_4.vmin1out
2021-07-25 21:00
36K
rmod_4__t24_rmod_4.vout
2021-07-25 16:23
36K
rmod_4__t53_rmod_4.vout
2021-07-25 16:13
37K
rmod_4__t71_rmod_4
2021-07-18 09:37
37K
rmod_4__l38_rmod_4
2021-07-18 09:41
37K
rmod_4__t69_rmod_4
2021-07-18 09:36
38K
rmod_4__t66_rmod_4.vmin1out
2021-07-25 21:00
38K
rmod_4__t66_rmod_4.vout
2021-07-25 16:53
39K
rmod_4__t17_rmod_4.vmin1out
2021-07-25 21:00
40K
rmod_4__t32_rmod_4
2021-07-18 09:19
41K
rmod_4__l1_rmod_4.vout
2021-07-25 20:33
42K
rmod_4__t55_rmod_4.vmin1out
2021-07-25 20:59
42K
rmod_4__t1_rmod_4
2021-07-18 09:06
42K
rmod_4__t68_rmod_4
2021-07-18 09:35
43K
rmod_4__l1_rmod_4.vmin1out
2021-07-25 21:02
44K
rmod_4__t45_rmod_4.vmin1out
2021-07-25 21:01
44K
rmod_4__t20_rmod_4.vmin1out
2021-07-25 21:02
44K
rmod_4__t18_rmod_4.vmin1out
2021-07-25 21:02
44K
rmod_4__t33_rmod_4
2021-07-18 09:19
44K
rmod_4__t6_rmod_4.vout
2021-07-25 19:24
47K
rmod_4__t6_rmod_4.vmin1out
2021-07-25 20:59
50K
rmod_4__t16_rmod_4.vmin1out
2021-07-25 20:58
51K
rmod_4__t62_rmod_4.vmin1out
2021-07-25 20:58
51K
rmod_4__t60_rmod_4.vmin1out
2021-07-25 21:00
51K
rmod_4__t24_rmod_4.vmin1out
2021-07-25 21:00
52K
rmod_4__t36_rmod_4.vmin1out
2021-07-25 20:58
52K
rmod_4__t56_rmod_4.vmin1out
2021-07-25 20:59
52K
rmod_4__t5_rmod_4.vmin1out
2021-07-25 21:02
52K
rmod_4__t72_rmod_4.vmin1out
2021-07-25 21:00
54K
rmod_4__t75_rmod_4
2021-07-18 09:39
54K
rmod_4__t56_rmod_4.vout
2021-07-25 18:53
56K
rmod_4__t59_rmod_4
2021-07-18 09:32
58K
rmod_4__t18_rmod_4.vout
2021-07-25 19:12
60K
rmod_4__t17_rmod_4.vout
2021-07-25 16:57
60K
rmod_4__t7_rmod_4.vmin1out
2021-07-25 21:01
61K
rmod_4__t7_rmod_4.vout
2021-07-25 18:35
64K
rmod_4__t58_rmod_4
2021-07-18 09:31
64K
rmod_4__t29_rmod_4
2021-07-18 09:18
73K
rmod_4__t76_rmod_4.vmin1out
2021-07-25 20:58
73K
rmod_4__t16_rmod_4.vout
2021-07-25 17:59
74K
rmod_4__t74_rmod_4.vout
2021-07-25 15:39
78K
rmod_4__t38_rmod_4.vout
2021-07-25 17:23
78K
rmod_4__t70_rmod_4.vmin1out
2021-07-25 20:59
79K
rmod_4__t38_rmod_4.vmin1out
2021-07-25 21:00
89K
rmod_4__t48_rmod_4.vout
2021-07-25 18:15
105K
rmod_4__t50_rmod_4.vout
2021-07-25 20:30
112K
rmod_4__t50_rmod_4.vmin1out
2021-07-25 20:59
115K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80