Index of /~mptp/mml5.63.1382/MPTP2/problems_small/rlaffin1
Name
Last modified
Size
Description
Parent Directory
-
rlaffin1__t84_rlaffin1.vout
2021-07-25 16:45
3.7K
rlaffin1__t84_rlaffin1
2021-07-18 06:03
59K
rlaffin1__t83_rlaffin1.vout
2021-07-25 17:21
3.7K
rlaffin1__t83_rlaffin1
2021-07-18 06:03
55K
rlaffin1__t82_rlaffin1.vout
2021-07-25 19:12
3.7K
rlaffin1__t82_rlaffin1
2021-07-18 06:02
36K
rlaffin1__t81_rlaffin1.vout
2021-07-25 20:28
6.8K
rlaffin1__t81_rlaffin1
2021-07-18 06:02
57K
rlaffin1__t80_rlaffin1.vout
2021-07-25 15:29
3.7K
rlaffin1__t80_rlaffin1
2021-07-18 06:01
32K
rlaffin1__t79_rlaffin1.vout
2021-07-25 20:16
3.7K
rlaffin1__t79_rlaffin1
2021-07-18 06:01
80K
rlaffin1__t78_rlaffin1.vout
2021-07-25 14:59
6.8K
rlaffin1__t78_rlaffin1
2021-07-18 06:00
52K
rlaffin1__t77_rlaffin1.vout
2021-07-25 14:41
33K
rlaffin1__t77_rlaffin1.vmin1out
2021-07-25 21:00
70K
rlaffin1__t77_rlaffin1.vmin1
2021-07-25 20:57
3.4K
rlaffin1__t77_rlaffin1.depvmin1
2021-07-25 21:03
167
rlaffin1__t77_rlaffin1.depv1
2021-07-25 20:57
188
rlaffin1__t77_rlaffin1
2021-07-18 06:00
40K
rlaffin1__t76_rlaffin1.vout
2021-07-25 15:56
3.7K
rlaffin1__t76_rlaffin1
2021-07-18 05:59
47K
rlaffin1__t75_rlaffin1.vout
2021-07-25 14:25
3.7K
rlaffin1__t75_rlaffin1
2021-07-18 05:59
46K
rlaffin1__t74_rlaffin1.vout
2021-07-25 15:55
3.7K
rlaffin1__t74_rlaffin1
2021-07-18 05:58
66K
rlaffin1__t73_rlaffin1.vout
2021-07-25 17:10
4.2K
rlaffin1__t73_rlaffin1
2021-07-18 05:58
46K
rlaffin1__t72_rlaffin1.vout
2021-07-25 15:12
3.7K
rlaffin1__t72_rlaffin1
2021-07-18 05:57
49K
rlaffin1__t71_rlaffin1.vout
2021-07-25 19:23
4.2K
rlaffin1__t71_rlaffin1
2021-07-18 05:57
46K
rlaffin1__t70_rlaffin1.vout
2021-07-25 15:45
7.3K
rlaffin1__t70_rlaffin1
2021-07-18 05:56
52K
rlaffin1__t69_rlaffin1.vout
2021-07-25 17:58
3.7K
rlaffin1__t69_rlaffin1
2021-07-18 05:56
29K
rlaffin1__t68_rlaffin1.vout
2021-07-25 19:14
11K
rlaffin1__t68_rlaffin1.vmin1out
2021-07-25 21:02
17K
rlaffin1__t68_rlaffin1.vmin1
2021-07-25 20:57
1.4K
rlaffin1__t68_rlaffin1.depvmin1
2021-07-25 21:03
53
rlaffin1__t68_rlaffin1.depv1
2021-07-25 20:57
53
rlaffin1__t68_rlaffin1
2021-07-18 05:55
30K
rlaffin1__t67_rlaffin1.vout
2021-07-25 17:14
4.2K
rlaffin1__t67_rlaffin1
2021-07-18 05:55
40K
rlaffin1__t66_rlaffin1.vout
2021-07-25 20:55
3.7K
rlaffin1__t66_rlaffin1
2021-07-18 05:54
87K
rlaffin1__t65_rlaffin1.vout
2021-07-25 18:56
4.2K
rlaffin1__t65_rlaffin1
2021-07-18 05:54
44K
rlaffin1__t64_rlaffin1.vout
2021-07-25 17:24
3.7K
rlaffin1__t64_rlaffin1
2021-07-18 05:53
76K
rlaffin1__t63_rlaffin1.vout
2021-07-25 19:10
7.4K
rlaffin1__t63_rlaffin1
2021-07-18 05:53
57K
rlaffin1__t62_rlaffin1.vout
2021-07-25 17:02
7.4K
rlaffin1__t62_rlaffin1
2021-07-18 05:52
56K
rlaffin1__t61_rlaffin1.vout
2021-07-25 14:28
3.7K
rlaffin1__t61_rlaffin1
2021-07-18 05:51
80K
rlaffin1__t60_rlaffin1.vout
2021-07-25 16:02
3.7K
rlaffin1__t60_rlaffin1
2021-07-18 05:51
64K
rlaffin1__t59_rlaffin1.vout
2021-07-25 16:40
3.7K
rlaffin1__t59_rlaffin1
2021-07-18 06:04
71K
rlaffin1__t58_rlaffin1.vout
2021-07-25 19:07
3.7K
rlaffin1__t58_rlaffin1
2021-07-18 05:50
57K
rlaffin1__t57_rlaffin1.vout
2021-07-25 14:30
3.7K
rlaffin1__t57_rlaffin1
2021-07-18 05:50
53K
rlaffin1__t56_rlaffin1.vout
2021-07-25 14:59
3.7K
rlaffin1__t56_rlaffin1
2021-07-18 05:49
35K
rlaffin1__t55_rlaffin1.vout
2021-07-25 20:15
3.7K
rlaffin1__t55_rlaffin1
2021-07-18 05:49
36K
rlaffin1__t54_rlaffin1.vout
2021-07-25 14:29
7.3K
rlaffin1__t54_rlaffin1
2021-07-18 05:48
30K
rlaffin1__t53_rlaffin1.vout
2021-07-25 15:33
3.7K
rlaffin1__t53_rlaffin1
2021-07-18 05:48
34K
rlaffin1__t52_rlaffin1.vout
2021-07-25 15:11
11K
rlaffin1__t52_rlaffin1.vmin1out
2021-07-25 20:59
14K
rlaffin1__t52_rlaffin1.vmin1
2021-07-25 20:57
1.2K
rlaffin1__t52_rlaffin1.depvmin1
2021-07-25 21:03
77
rlaffin1__t52_rlaffin1.depv1
2021-07-25 20:57
77
rlaffin1__t52_rlaffin1
2021-07-18 05:48
26K
rlaffin1__t51_rlaffin1.vout
2021-07-25 17:09
11K
rlaffin1__t51_rlaffin1.vmin1out
2021-07-25 21:02
11K
rlaffin1__t51_rlaffin1.vmin1
2021-07-25 20:57
1.0K
rlaffin1__t51_rlaffin1.depvmin1
2021-07-25 21:03
84
rlaffin1__t51_rlaffin1.depv1
2021-07-25 20:57
84
rlaffin1__t51_rlaffin1
2021-07-18 05:47
25K
rlaffin1__t50_rlaffin1.vout
2021-07-25 19:06
5.6K
rlaffin1__t50_rlaffin1.vmin1out
2021-07-25 21:01
4.3K
rlaffin1__t50_rlaffin1.vmin1
2021-07-25 20:57
393
rlaffin1__t50_rlaffin1.depvmin1
2021-07-25 21:03
26
rlaffin1__t50_rlaffin1.depv1
2021-07-25 20:57
26
rlaffin1__t50_rlaffin1
2021-07-18 05:25
25K
rlaffin1__t49_rlaffin1.vout
2021-07-25 18:53
3.8K
rlaffin1__t49_rlaffin1.vmin1out
2021-07-25 20:58
3.9K
rlaffin1__t49_rlaffin1.vmin1
2021-07-25 20:57
371
rlaffin1__t49_rlaffin1.depvmin1
2021-07-25 21:03
26
rlaffin1__t49_rlaffin1.depv1
2021-07-25 20:57
26
rlaffin1__t49_rlaffin1
2021-07-18 05:25
25K
rlaffin1__t48_rlaffin1.vout
2021-07-25 18:39
8.4K
rlaffin1__t48_rlaffin1
2021-07-18 05:24
26K
rlaffin1__t47_rlaffin1.vout
2021-07-25 20:20
48K
rlaffin1__t47_rlaffin1.vmin1out
2021-07-25 21:00
48K
rlaffin1__t47_rlaffin1.vmin1
2021-07-25 20:57
1.7K
rlaffin1__t47_rlaffin1.depvmin1
2021-07-25 21:03
110
rlaffin1__t47_rlaffin1.depv1
2021-07-25 20:57
110
rlaffin1__t47_rlaffin1
2021-07-18 05:47
29K
rlaffin1__t46_rlaffin1.vout
2021-07-25 15:28
7.4K
rlaffin1__t46_rlaffin1
2021-07-18 05:47
32K
rlaffin1__t45_rlaffin1.vout
2021-07-25 14:27
7.3K
rlaffin1__t45_rlaffin1
2021-07-18 05:46
35K
rlaffin1__t44_rlaffin1.vout
2021-07-25 20:19
32K
rlaffin1__t44_rlaffin1.vmin1out
2021-07-25 20:58
24K
rlaffin1__t44_rlaffin1.vmin1
2021-07-25 20:57
2.2K
rlaffin1__t44_rlaffin1.depvmin1
2021-07-25 21:03
106
rlaffin1__t44_rlaffin1.depv1
2021-07-25 20:57
106
rlaffin1__t44_rlaffin1
2021-07-18 05:46
30K
rlaffin1__t43_rlaffin1.vout
2021-07-25 16:50
4.2K
rlaffin1__t43_rlaffin1
2021-07-18 05:45
38K
rlaffin1__t42_rlaffin1.vout
2021-07-25 20:56
77K
rlaffin1__t42_rlaffin1.vmin1out
2021-07-25 20:58
42K
rlaffin1__t42_rlaffin1.vmin1
2021-07-25 20:57
2.3K
rlaffin1__t42_rlaffin1.depvmin1
2021-07-25 21:03
52
rlaffin1__t42_rlaffin1.depv1
2021-07-25 20:57
88
rlaffin1__t42_rlaffin1
2021-07-18 05:45
44K
rlaffin1__t41_rlaffin1.vout
2021-07-25 20:07
72K
rlaffin1__t41_rlaffin1.vmin1out
2021-07-25 21:00
44K
rlaffin1__t41_rlaffin1.vmin1
2021-07-25 20:57
2.6K
rlaffin1__t41_rlaffin1.depvmin1
2021-07-25 21:03
93
rlaffin1__t41_rlaffin1.depv1
2021-07-25 20:57
105
rlaffin1__t41_rlaffin1
2021-07-18 05:44
44K
rlaffin1__t40_rlaffin1.vout
2021-07-25 19:33
4.2K
rlaffin1__t40_rlaffin1
2021-07-18 05:44
71K
rlaffin1__t39_rlaffin1.vout
2021-07-25 17:56
3.7K
rlaffin1__t39_rlaffin1
2021-07-18 05:43
73K
rlaffin1__t38_rlaffin1.vout
2021-07-25 16:25
3.7K
rlaffin1__t38_rlaffin1
2021-07-18 05:43
69K
rlaffin1__t37_rlaffin1.vout
2021-07-25 17:50
3.7K
rlaffin1__t37_rlaffin1
2021-07-18 05:42
62K
rlaffin1__t36_rlaffin1.vout
2021-07-25 18:15
2.0K
rlaffin1__t36_rlaffin1
2021-07-18 05:41
41K
rlaffin1__t35_rlaffin1.vout
2021-07-25 20:01
3.7K
rlaffin1__t35_rlaffin1
2021-07-18 05:41
55K
rlaffin1__t34_rlaffin1.vout
2021-07-25 20:25
3.7K
rlaffin1__t34_rlaffin1
2021-07-18 05:40
75K
rlaffin1__t33_rlaffin1.vout
2021-07-25 15:09
3.7K
rlaffin1__t33_rlaffin1
2021-07-18 05:40
59K
rlaffin1__t32_rlaffin1.vout
2021-07-25 15:22
3.7K
rlaffin1__t32_rlaffin1
2021-07-18 05:39
52K
rlaffin1__t31_rlaffin1.vout
2021-07-25 17:06
7.4K
rlaffin1__t31_rlaffin1
2021-07-18 05:39
51K
rlaffin1__t30_rlaffin1.vout
2021-07-25 17:53
3.7K
rlaffin1__t30_rlaffin1
2021-07-18 05:38
71K
rlaffin1__t29_rlaffin1.vout
2021-07-25 16:04
7.3K
rlaffin1__t29_rlaffin1
2021-07-18 05:38
55K
rlaffin1__t28_rlaffin1.vout
2021-07-25 18:13
5.8K
rlaffin1__t28_rlaffin1
2021-07-18 05:37
37K
rlaffin1__t27_rlaffin1.vout
2021-07-25 18:59
4.7K
rlaffin1__t27_rlaffin1
2021-07-18 05:37
38K
rlaffin1__t26_rlaffin1.vout
2021-07-25 16:08
4.7K
rlaffin1__t26_rlaffin1
2021-07-18 05:36
36K
rlaffin1__t25_rlaffin1.vout
2021-07-25 17:19
4.7K
rlaffin1__t25_rlaffin1
2021-07-18 05:36
40K
rlaffin1__t24_rlaffin1.vout
2021-07-25 19:28
4.7K
rlaffin1__t24_rlaffin1
2021-07-18 05:35
42K
rlaffin1__t23_rlaffin1.vout
2021-07-25 19:45
3.7K
rlaffin1__t23_rlaffin1
2021-07-18 05:35
46K
rlaffin1__t22_rlaffin1.vout
2021-07-25 15:37
3.7K
rlaffin1__t22_rlaffin1
2021-07-18 05:34
45K
rlaffin1__t21_rlaffin1.vout
2021-07-25 15:31
23K
rlaffin1__t21_rlaffin1.vmin1out
2021-07-25 21:01
33K
rlaffin1__t21_rlaffin1.vmin1
2021-07-25 20:57
1.9K
rlaffin1__t21_rlaffin1.depvmin1
2021-07-25 21:03
109
rlaffin1__t21_rlaffin1.depv1
2021-07-25 20:57
109
rlaffin1__t21_rlaffin1
2021-07-18 05:34
35K
rlaffin1__t20_rlaffin1.vout
2021-07-25 16:37
34K
rlaffin1__t20_rlaffin1.vmin1out
2021-07-25 21:02
29K
rlaffin1__t20_rlaffin1.vmin1
2021-07-25 20:57
2.2K
rlaffin1__t20_rlaffin1.depvmin1
2021-07-25 21:03
146
rlaffin1__t20_rlaffin1.depv1
2021-07-25 20:57
167
rlaffin1__t20_rlaffin1
2021-07-18 05:34
37K
rlaffin1__t19_rlaffin1.vout
2021-07-25 14:25
4.7K
rlaffin1__t19_rlaffin1
2021-07-18 05:33
36K
rlaffin1__t18_rlaffin1.vout
2021-07-25 19:51
5.3K
rlaffin1__t18_rlaffin1
2021-07-18 05:33
37K
rlaffin1__t17_rlaffin1.vout
2021-07-25 14:59
4.7K
rlaffin1__t17_rlaffin1
2021-07-18 05:32
38K
rlaffin1__t16_rlaffin1.vout
2021-07-25 20:30
3.7K
rlaffin1__t16_rlaffin1
2021-07-18 05:32
40K
rlaffin1__t15_rlaffin1.vout
2021-07-25 20:49
3.7K
rlaffin1__t15_rlaffin1
2021-07-18 05:31
95K
rlaffin1__t14_rlaffin1.vout
2021-07-25 19:02
7.3K
rlaffin1__t14_rlaffin1
2021-07-18 05:30
56K
rlaffin1__t13_rlaffin1.vout
2021-07-25 19:37
7.3K
rlaffin1__t13_rlaffin1
2021-07-18 05:30
54K
rlaffin1__t12_rlaffin1.vout
2021-07-25 20:44
3.7K
rlaffin1__t12_rlaffin1
2021-07-18 05:29
27K
rlaffin1__t11_rlaffin1.vout
2021-07-25 20:02
3.7K
rlaffin1__t11_rlaffin1
2021-07-18 05:29
25K
rlaffin1__t10_rlaffin1.vout
2021-07-25 14:38
3.7K
rlaffin1__t10_rlaffin1
2021-07-18 05:29
27K
rlaffin1__t9_rlaffin1.vout
2021-07-25 15:13
30K
rlaffin1__t9_rlaffin1.vmin1out
2021-07-25 20:57
25K
rlaffin1__t9_rlaffin1.vmin1
2021-07-25 20:57
1.1K
rlaffin1__t9_rlaffin1.depvmin1
2021-07-25 21:03
79
rlaffin1__t9_rlaffin1.depv1
2021-07-25 20:57
79
rlaffin1__t9_rlaffin1
2021-07-18 05:28
25K
rlaffin1__t8_rlaffin1.vout
2021-07-25 17:47
22K
rlaffin1__t8_rlaffin1.vmin1out
2021-07-25 21:00
22K
rlaffin1__t8_rlaffin1.vmin1
2021-07-25 20:57
1.9K
rlaffin1__t8_rlaffin1.depvmin1
2021-07-25 21:03
190
rlaffin1__t8_rlaffin1.depv1
2021-07-25 20:57
218
rlaffin1__t8_rlaffin1
2021-07-18 05:28
25K
rlaffin1__t7_rlaffin1.vout
2021-07-25 14:51
7.3K
rlaffin1__t7_rlaffin1
2021-07-18 05:28
30K
rlaffin1__t6_rlaffin1.vout
2021-07-25 15:08
3.7K
rlaffin1__t6_rlaffin1
2021-07-18 05:27
26K
rlaffin1__t5_rlaffin1.vout
2021-07-25 16:22
3.7K
rlaffin1__t5_rlaffin1
2021-07-18 05:27
25K
rlaffin1__t4_rlaffin1.vout
2021-07-25 14:55
22K
rlaffin1__t4_rlaffin1.vmin1out
2021-07-25 20:59
15K
rlaffin1__t4_rlaffin1.vmin1
2021-07-25 20:57
2.2K
rlaffin1__t4_rlaffin1.depvmin1
2021-07-25 21:03
165
rlaffin1__t4_rlaffin1.depv1
2021-07-25 20:57
191
rlaffin1__t4_rlaffin1
2021-07-18 05:26
29K
rlaffin1__t3_rlaffin1.vout
2021-07-25 14:47
7.3K
rlaffin1__t3_rlaffin1
2021-07-18 05:26
30K
rlaffin1__t2_rlaffin1.vout
2021-07-25 17:13
5.5K
rlaffin1__t2_rlaffin1.vmin1out
2021-07-25 20:58
3.9K
rlaffin1__t2_rlaffin1.vmin1
2021-07-25 20:57
367
rlaffin1__t2_rlaffin1.depvmin1
2021-07-25 21:03
24
rlaffin1__t2_rlaffin1.depv1
2021-07-25 20:57
24
rlaffin1__t2_rlaffin1
2021-07-18 05:24
25K
rlaffin1__t1_rlaffin1.vout
2021-07-25 19:26
7.3K
rlaffin1__t1_rlaffin1
2021-07-18 05:26
36K
rlaffin1__l79_rlaffin1.vout
2021-07-25 17:08
2.1K
rlaffin1__l79_rlaffin1.vmin1out
2021-07-25 21:00
2.2K
rlaffin1__l79_rlaffin1.vmin1
2021-07-25 20:57
286
rlaffin1__l79_rlaffin1.depvmin1
2021-07-25 21:03
52
rlaffin1__l79_rlaffin1.depv1
2021-07-25 20:57
52
rlaffin1__l79_rlaffin1
2021-07-18 05:25
15K
rlaffin1__l72_rlaffin1.vout
2021-07-25 16:27
41K
rlaffin1__l72_rlaffin1.vmin1out
2021-07-25 21:01
62K
rlaffin1__l72_rlaffin1.vmin1
2021-07-25 20:57
3.4K
rlaffin1__l72_rlaffin1.depvmin1
2021-07-25 21:03
178
rlaffin1__l72_rlaffin1.depv1
2021-07-25 20:57
178
rlaffin1__l72_rlaffin1
2021-07-18 06:07
42K
rlaffin1__l62_rlaffin1.vout
2021-07-25 16:15
4.8K
rlaffin1__l62_rlaffin1
2021-07-18 06:07
25K
rlaffin1__l61_rlaffin1.vout
2021-07-25 15:23
4.2K
rlaffin1__l61_rlaffin1
2021-07-18 06:07
25K
rlaffin1__l50_rlaffin1.vout
2021-07-25 20:03
3.7K
rlaffin1__l50_rlaffin1
2021-07-18 06:06
65K
rlaffin1__l49_rlaffin1.vout
2021-07-25 18:34
3.7K
rlaffin1__l49_rlaffin1
2021-07-18 06:06
66K
rlaffin1__l10_rlaffin1.vout
2021-07-25 17:44
7.4K
rlaffin1__l10_rlaffin1
2021-07-18 06:05
26K
rlaffin1__l7_rlaffin1.vout
2021-07-25 17:34
3.7K
rlaffin1__l7_rlaffin1
2021-07-18 06:05
25K
rlaffin1__l6_rlaffin1.vout
2021-07-25 17:15
3.7K
rlaffin1__l6_rlaffin1
2021-07-18 06:04
27K
rlaffin1__l1_rlaffin1.vout
2021-07-25 20:22
7.3K
rlaffin1__l1_rlaffin1
2021-07-18 06:04
28K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80