Index of /~mptp/mml5.63.1382/MPTP2/problems_small/sprect_2
Name
Last modified
Size
Description
Parent Directory
-
sprect_2__l72_sprect_2
2021-07-18 02:40
84K
sprect_2__l72_sprect_2.vout
2021-07-25 19:28
7.3K
sprect_2__l73_sprect_2
2021-07-18 02:40
62K
sprect_2__l73_sprect_2.vout
2021-07-25 15:09
8.4K
sprect_2__l74_sprect_2
2021-07-18 02:41
86K
sprect_2__l74_sprect_2.vout
2021-07-25 17:59
7.3K
sprect_2__l77_sprect_2
2021-07-18 02:42
65K
sprect_2__l77_sprect_2.vout
2021-07-25 17:27
7.3K
sprect_2__l78_sprect_2
2021-07-18 02:43
109K
sprect_2__l78_sprect_2.vout
2021-07-25 19:30
6.8K
sprect_2__l79_sprect_2
2021-07-18 02:45
109K
sprect_2__l79_sprect_2.vout
2021-07-25 19:56
6.8K
sprect_2__l81_sprect_2
2021-07-18 02:46
108K
sprect_2__l81_sprect_2.vout
2021-07-25 20:39
6.8K
sprect_2__l82_sprect_2
2021-07-18 02:46
64K
sprect_2__l82_sprect_2.vout
2021-07-25 15:28
7.9K
sprect_2__l86_sprect_2
2021-07-18 02:47
64K
sprect_2__l86_sprect_2.depv1
2021-07-25 20:57
184
sprect_2__l86_sprect_2.depvmin1
2021-07-25 21:03
184
sprect_2__l86_sprect_2.vmin1
2021-07-25 20:57
2.6K
sprect_2__l86_sprect_2.vmin1out
2021-07-25 21:02
32K
sprect_2__l86_sprect_2.vout
2021-07-25 20:40
35K
sprect_2__l87_sprect_2
2021-07-18 02:48
79K
sprect_2__l87_sprect_2.vout
2021-07-25 14:37
7.3K
sprect_2__l88_sprect_2
2021-07-18 02:49
80K
sprect_2__l88_sprect_2.vout
2021-07-25 17:38
7.3K
sprect_2__t1_sprect_2
2021-07-18 01:40
36K
sprect_2__t1_sprect_2.vout
2021-07-25 18:15
2.0K
sprect_2__t2_sprect_2
2021-07-18 01:41
35K
sprect_2__t2_sprect_2.vout
2021-07-25 19:15
2.0K
sprect_2__t3_sprect_2
2021-07-18 01:41
27K
sprect_2__t3_sprect_2.vout
2021-07-25 16:31
2.0K
sprect_2__t4_sprect_2
2021-07-18 01:42
27K
sprect_2__t4_sprect_2.vout
2021-07-25 16:30
2.0K
sprect_2__t5_sprect_2
2021-07-18 01:42
30K
sprect_2__t5_sprect_2.vout
2021-07-25 20:48
2.0K
sprect_2__t6_sprect_2
2021-07-18 01:43
44K
sprect_2__t6_sprect_2.vout
2021-07-25 16:06
7.3K
sprect_2__t7_sprect_2
2021-07-18 01:43
25K
sprect_2__t7_sprect_2.depv1
2021-07-25 20:57
217
sprect_2__t7_sprect_2.depvmin1
2021-07-25 21:03
192
sprect_2__t7_sprect_2.vmin1
2021-07-25 20:57
2.0K
sprect_2__t7_sprect_2.vmin1out
2021-07-25 20:58
16K
sprect_2__t7_sprect_2.vout
2021-07-25 15:11
18K
sprect_2__t8_sprect_2
2021-07-18 01:43
27K
sprect_2__t8_sprect_2.vout
2021-07-25 15:49
2.0K
sprect_2__t9_sprect_2
2021-07-18 01:44
24K
sprect_2__t9_sprect_2.vout
2021-07-25 16:59
2.0K
sprect_2__t10_sprect_2
2021-07-18 01:44
54K
sprect_2__t10_sprect_2.vout
2021-07-25 17:21
6.8K
sprect_2__t11_sprect_2
2021-07-18 01:45
54K
sprect_2__t11_sprect_2.vout
2021-07-25 18:13
6.8K
sprect_2__t12_sprect_2
2021-07-18 01:46
54K
sprect_2__t12_sprect_2.vout
2021-07-25 16:33
6.8K
sprect_2__t13_sprect_2
2021-07-18 01:47
54K
sprect_2__t13_sprect_2.vout
2021-07-25 20:09
7.3K
sprect_2__t14_sprect_2
2021-07-18 02:39
62K
sprect_2__t14_sprect_2.vout
2021-07-25 20:25
3.7K
sprect_2__t15_sprect_2
2021-07-18 01:47
32K
sprect_2__t15_sprect_2.depv1
2021-07-25 20:57
197
sprect_2__t15_sprect_2.depvmin1
2021-07-25 21:03
171
sprect_2__t15_sprect_2.vmin1
2021-07-25 20:57
2.0K
sprect_2__t15_sprect_2.vmin1out
2021-07-25 20:59
25K
sprect_2__t15_sprect_2.vout
2021-07-25 16:28
28K
sprect_2__t16_sprect_2
2021-07-18 01:48
32K
sprect_2__t16_sprect_2.depv1
2021-07-25 20:57
197
sprect_2__t16_sprect_2.depvmin1
2021-07-25 21:03
171
sprect_2__t16_sprect_2.vmin1
2021-07-25 20:57
2.0K
sprect_2__t16_sprect_2.vmin1out
2021-07-25 20:59
25K
sprect_2__t16_sprect_2.vout
2021-07-25 16:33
28K
sprect_2__t17_sprect_2
2021-07-18 01:48
60K
sprect_2__t17_sprect_2.vout
2021-07-25 20:20
7.9K
sprect_2__t18_sprect_2
2021-07-18 01:49
60K
sprect_2__t18_sprect_2.vout
2021-07-25 15:52
7.9K
sprect_2__t19_sprect_2
2021-07-18 01:50
60K
sprect_2__t19_sprect_2.vout
2021-07-25 17:15
7.9K
sprect_2__t20_sprect_2
2021-07-18 01:50
60K
sprect_2__t20_sprect_2.vout
2021-07-25 19:00
7.9K
sprect_2__t21_sprect_2
2021-07-18 01:51
50K
sprect_2__t21_sprect_2.depv1
2021-07-25 20:57
272
sprect_2__t21_sprect_2.depvmin1
2021-07-25 21:03
272
sprect_2__t21_sprect_2.vmin1
2021-07-25 20:57
3.3K
sprect_2__t21_sprect_2.vmin1out
2021-07-25 21:01
42K
sprect_2__t21_sprect_2.vout
2021-07-25 16:48
44K
sprect_2__t22_sprect_2
2021-07-18 01:52
52K
sprect_2__t22_sprect_2.vout
2021-07-25 15:40
7.3K
sprect_2__t23_sprect_2
2021-07-18 01:39
50K
sprect_2__t23_sprect_2.depv1
2021-07-25 20:57
39
sprect_2__t23_sprect_2.depvmin1
2021-07-25 21:03
39
sprect_2__t23_sprect_2.vmin1
2021-07-25 20:57
839
sprect_2__t23_sprect_2.vmin1out
2021-07-25 20:59
8.1K
sprect_2__t23_sprect_2.vout
2021-07-25 20:48
11K
sprect_2__t24_sprect_2
2021-07-18 01:53
66K
sprect_2__t24_sprect_2.vout
2021-07-25 18:53
7.4K
sprect_2__t25_sprect_2
2021-07-18 01:53
54K
sprect_2__t25_sprect_2.vout
2021-07-25 20:10
7.3K
sprect_2__t26_sprect_2
2021-07-18 01:54
54K
sprect_2__t26_sprect_2.vout
2021-07-25 16:07
7.3K
sprect_2__t27_sprect_2
2021-07-18 01:55
54K
sprect_2__t27_sprect_2.vout
2021-07-25 16:57
7.3K
sprect_2__t28_sprect_2
2021-07-18 01:56
54K
sprect_2__t28_sprect_2.vout
2021-07-25 18:08
7.3K
sprect_2__t29_sprect_2
2021-07-18 01:57
56K
sprect_2__t29_sprect_2.vout
2021-07-25 19:21
7.4K
sprect_2__t30_sprect_2
2021-07-18 01:40
58K
sprect_2__t30_sprect_2.vout
2021-07-25 20:56
7.4K
sprect_2__t31_sprect_2
2021-07-18 01:58
58K
sprect_2__t31_sprect_2.vout
2021-07-25 20:43
10K
sprect_2__t32_sprect_2
2021-07-18 01:58
58K
sprect_2__t32_sprect_2.vout
2021-07-25 17:28
10K
sprect_2__t33_sprect_2
2021-07-18 01:59
58K
sprect_2__t33_sprect_2.vout
2021-07-25 17:00
10K
sprect_2__t34_sprect_2
2021-07-18 02:00
58K
sprect_2__t34_sprect_2.vout
2021-07-25 16:39
10K
sprect_2__t35_sprect_2
2021-07-18 02:01
57K
sprect_2__t35_sprect_2.vout
2021-07-25 20:12
10K
sprect_2__t36_sprect_2
2021-07-18 02:02
62K
sprect_2__t36_sprect_2.vout
2021-07-25 14:23
10K
sprect_2__t37_sprect_2
2021-07-18 02:03
37K
sprect_2__t37_sprect_2.depv1
2021-07-25 20:57
269
sprect_2__t37_sprect_2.depvmin1
2021-07-25 21:03
217
sprect_2__t37_sprect_2.vmin1
2021-07-25 20:57
3.6K
sprect_2__t37_sprect_2.vmin1out
2021-07-25 21:01
40K
sprect_2__t37_sprect_2.vout
2021-07-25 19:34
57K
sprect_2__t38_sprect_2
2021-07-18 02:03
34K
sprect_2__t38_sprect_2.depv1
2021-07-25 20:57
259
sprect_2__t38_sprect_2.depvmin1
2021-07-25 21:03
181
sprect_2__t38_sprect_2.vmin1
2021-07-25 20:57
3.2K
sprect_2__t38_sprect_2.vmin1out
2021-07-25 20:57
35K
sprect_2__t38_sprect_2.vout
2021-07-25 15:59
38K
sprect_2__t39_sprect_2
2021-07-18 02:04
66K
sprect_2__t39_sprect_2.vout
2021-07-25 14:52
7.3K
sprect_2__t40_sprect_2
2021-07-18 02:05
66K
sprect_2__t40_sprect_2.vout
2021-07-25 19:57
7.3K
sprect_2__t41_sprect_2
2021-07-18 02:06
66K
sprect_2__t41_sprect_2.vout
2021-07-25 16:47
7.3K
sprect_2__t42_sprect_2
2021-07-18 02:07
66K
sprect_2__t42_sprect_2.vout
2021-07-25 16:07
7.3K
sprect_2__t43_sprect_2
2021-07-18 02:07
66K
sprect_2__t43_sprect_2.vout
2021-07-25 19:56
7.3K
sprect_2__t44_sprect_2
2021-07-18 02:08
66K
sprect_2__t44_sprect_2.vout
2021-07-25 16:09
7.3K
sprect_2__t45_sprect_2
2021-07-18 02:09
66K
sprect_2__t45_sprect_2.vout
2021-07-25 18:43
7.3K
sprect_2__t46_sprect_2
2021-07-18 02:10
66K
sprect_2__t46_sprect_2.vout
2021-07-25 19:41
7.3K
sprect_2__t47_sprect_2
2021-07-18 02:11
40K
sprect_2__t47_sprect_2.vout
2021-07-25 17:19
7.3K
sprect_2__t48_sprect_2
2021-07-18 02:11
39K
sprect_2__t48_sprect_2.vout
2021-07-25 14:47
7.4K
sprect_2__t49_sprect_2
2021-07-18 02:12
39K
sprect_2__t49_sprect_2.vout
2021-07-25 14:53
7.4K
sprect_2__t50_sprect_2
2021-07-18 02:13
39K
sprect_2__t50_sprect_2.vout
2021-07-25 20:22
7.4K
sprect_2__t51_sprect_2
2021-07-18 02:14
244K
sprect_2__t51_sprect_2.vout
2021-07-25 19:55
7.3K
sprect_2__t52_sprect_2
2021-07-18 02:15
59K
sprect_2__t52_sprect_2.depv1
2021-07-25 20:57
161
sprect_2__t52_sprect_2.depvmin1
2021-07-25 21:03
161
sprect_2__t52_sprect_2.vmin1
2021-07-25 20:57
1.6K
sprect_2__t52_sprect_2.vmin1out
2021-07-25 20:58
15K
sprect_2__t52_sprect_2.vout
2021-07-25 14:57
19K
sprect_2__t53_sprect_2
2021-07-18 02:16
244K
sprect_2__t53_sprect_2.vout
2021-07-25 19:16
7.4K
sprect_2__t54_sprect_2
2021-07-18 02:16
59K
sprect_2__t54_sprect_2.depv1
2021-07-25 20:57
161
sprect_2__t54_sprect_2.depvmin1
2021-07-25 21:03
161
sprect_2__t54_sprect_2.vmin1
2021-07-25 20:57
1.6K
sprect_2__t54_sprect_2.vmin1out
2021-07-25 21:02
15K
sprect_2__t54_sprect_2.vout
2021-07-25 17:21
19K
sprect_2__t55_sprect_2
2021-07-18 02:17
244K
sprect_2__t55_sprect_2.vout
2021-07-25 16:00
7.3K
sprect_2__t56_sprect_2
2021-07-18 02:18
59K
sprect_2__t56_sprect_2.depv1
2021-07-25 20:57
161
sprect_2__t56_sprect_2.depvmin1
2021-07-25 21:03
161
sprect_2__t56_sprect_2.vmin1
2021-07-25 20:57
1.6K
sprect_2__t56_sprect_2.vmin1out
2021-07-25 21:01
14K
sprect_2__t56_sprect_2.vout
2021-07-25 14:56
19K
sprect_2__t57_sprect_2
2021-07-18 02:19
244K
sprect_2__t57_sprect_2.vout
2021-07-25 14:40
7.4K
sprect_2__t58_sprect_2
2021-07-18 02:20
59K
sprect_2__t58_sprect_2.depv1
2021-07-25 20:57
161
sprect_2__t58_sprect_2.depvmin1
2021-07-25 21:03
161
sprect_2__t58_sprect_2.vmin1
2021-07-25 20:57
1.6K
sprect_2__t58_sprect_2.vmin1out
2021-07-25 20:58
14K
sprect_2__t58_sprect_2.vout
2021-07-25 19:55
19K
sprect_2__t59_sprect_2
2021-07-18 02:21
63K
sprect_2__t59_sprect_2.vout
2021-07-25 15:43
8.4K
sprect_2__t60_sprect_2
2021-07-18 02:21
77K
sprect_2__t60_sprect_2.vout
2021-07-25 16:32
6.8K
sprect_2__t61_sprect_2
2021-07-18 02:22
57K
sprect_2__t61_sprect_2.vout
2021-07-25 18:06
6.8K
sprect_2__t62_sprect_2
2021-07-18 02:23
72K
sprect_2__t62_sprect_2.vout
2021-07-25 20:21
7.3K
sprect_2__t63_sprect_2
2021-07-18 02:25
72K
sprect_2__t63_sprect_2.vout
2021-07-25 18:04
7.3K
sprect_2__t64_sprect_2
2021-07-18 02:26
72K
sprect_2__t64_sprect_2.vout
2021-07-25 17:20
7.3K
sprect_2__t65_sprect_2
2021-07-18 02:27
72K
sprect_2__t65_sprect_2.vout
2021-07-25 15:13
7.3K
sprect_2__t66_sprect_2
2021-07-18 02:27
72K
sprect_2__t66_sprect_2.vout
2021-07-25 17:02
7.4K
sprect_2__t67_sprect_2
2021-07-18 02:28
72K
sprect_2__t67_sprect_2.vout
2021-07-25 14:36
7.3K
sprect_2__t68_sprect_2
2021-07-18 02:29
64K
sprect_2__t68_sprect_2.depv1
2021-07-25 20:57
398
sprect_2__t68_sprect_2.depvmin1
2021-07-25 21:03
398
sprect_2__t68_sprect_2.vmin1
2021-07-25 20:57
4.1K
sprect_2__t68_sprect_2.vmin1out
2021-07-25 21:01
45K
sprect_2__t68_sprect_2.vout
2021-07-25 20:31
50K
sprect_2__t69_sprect_2
2021-07-18 02:30
60K
sprect_2__t69_sprect_2.depv1
2021-07-25 20:57
80
sprect_2__t69_sprect_2.depvmin1
2021-07-25 21:03
80
sprect_2__t69_sprect_2.vmin1
2021-07-25 20:57
1.4K
sprect_2__t69_sprect_2.vmin1out
2021-07-25 20:59
14K
sprect_2__t69_sprect_2.vout
2021-07-25 20:10
17K
sprect_2__t70_sprect_2
2021-07-18 02:31
106K
sprect_2__t70_sprect_2.vout
2021-07-25 16:51
6.8K
sprect_2__t71_sprect_2
2021-07-18 02:32
111K
sprect_2__t71_sprect_2.vout
2021-07-25 16:37
7.3K
sprect_2__t72_sprect_2
2021-07-18 02:33
107K
sprect_2__t72_sprect_2.vout
2021-07-25 19:57
6.8K
sprect_2__t73_sprect_2
2021-07-18 02:34
110K
sprect_2__t73_sprect_2.vout
2021-07-25 16:36
6.8K
sprect_2__t74_sprect_2
2021-07-18 02:35
80K
sprect_2__t74_sprect_2.vout
2021-07-25 17:39
7.3K
sprect_2__t75_sprect_2
2021-07-18 02:36
108K
sprect_2__t75_sprect_2.vout
2021-07-25 16:22
6.8K
sprect_2__t76_sprect_2
2021-07-18 02:37
68K
sprect_2__t76_sprect_2.vout
2021-07-25 16:01
7.3K
sprect_2__t77_sprect_2
2021-07-18 02:38
67K
sprect_2__t77_sprect_2.depv1
2021-07-25 20:57
407
sprect_2__t77_sprect_2.depvmin1
2021-07-25 21:03
407
sprect_2__t77_sprect_2.vmin1
2021-07-25 20:57
4.0K
sprect_2__t77_sprect_2.vmin1out
2021-07-25 20:58
45K
sprect_2__t77_sprect_2.vout
2021-07-25 18:38
49K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80
![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}