Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/sprect_3
Name
Last modified
Size
Description
Parent Directory
-
sprect_3__t1_sprect_3
2024-07-26 18:45
39K
sprect_3__t1_sprect_3.vout
2024-08-03 06:50
2.0K
sprect_3__t2_sprect_3
2024-07-26 18:46
28K
sprect_3__t2_sprect_3.depv1
2024-08-03 10:19
76
sprect_3__t2_sprect_3.depvmin1
2024-08-03 10:24
76
sprect_3__t2_sprect_3.vmin1
2024-08-03 10:20
1.2K
sprect_3__t2_sprect_3.vmin1out
2024-08-03 10:20
6.5K
sprect_3__t2_sprect_3.vout
2024-08-03 08:19
7.3K
sprect_3__t3_sprect_3
2024-07-26 18:48
47K
sprect_3__t3_sprect_3.vout
2024-08-03 10:02
4.7K
sprect_3__t4_sprect_3
2024-07-26 18:50
44K
sprect_3__t4_sprect_3.vout
2024-08-03 05:48
4.7K
sprect_3__t5_sprect_3
2024-07-26 18:52
59K
sprect_3__t5_sprect_3.vout
2024-08-03 09:55
4.7K
sprect_3__t6_sprect_3
2024-07-26 18:54
65K
sprect_3__t6_sprect_3.vout
2024-08-03 06:53
7.3K
sprect_3__t7_sprect_3
2024-07-26 18:56
44K
sprect_3__t7_sprect_3.vout
2024-08-03 04:46
5.3K
sprect_3__t8_sprect_3
2024-07-26 18:58
42K
sprect_3__t8_sprect_3.vout
2024-08-03 05:08
8.4K
sprect_3__t9_sprect_3
2024-07-26 19:00
46K
sprect_3__t9_sprect_3.vout
2024-08-03 08:07
7.9K
sprect_3__t10_sprect_3
2024-07-26 19:02
48K
sprect_3__t10_sprect_3.vout
2024-08-03 05:56
7.4K
sprect_3__t11_sprect_3
2024-07-26 19:04
48K
sprect_3__t11_sprect_3.vout
2024-08-03 09:29
7.3K
sprect_3__t12_sprect_3
2024-07-26 19:05
37K
sprect_3__t12_sprect_3.depv1
2024-08-03 10:19
166
sprect_3__t12_sprect_3.depvmin1
2024-08-03 10:24
166
sprect_3__t12_sprect_3.vmin1
2024-08-03 10:20
2.0K
sprect_3__t12_sprect_3.vmin1out
2024-08-03 10:22
34K
sprect_3__t12_sprect_3.vout
2024-08-03 09:08
35K
sprect_3__t13_sprect_3
2024-07-26 19:07
37K
sprect_3__t13_sprect_3.depv1
2024-08-03 10:19
166
sprect_3__t13_sprect_3.depvmin1
2024-08-03 10:24
166
sprect_3__t13_sprect_3.vmin1
2024-08-03 10:20
2.0K
sprect_3__t13_sprect_3.vmin1out
2024-08-03 10:22
35K
sprect_3__t13_sprect_3.vout
2024-08-03 04:23
35K
sprect_3__t14_sprect_3
2024-07-26 19:10
60K
sprect_3__t14_sprect_3.vout
2024-08-03 08:10
3.7K
sprect_3__t15_sprect_3
2024-07-26 19:12
59K
sprect_3__t15_sprect_3.depv1
2024-08-03 10:19
165
sprect_3__t15_sprect_3.depvmin1
2024-08-03 10:24
139
sprect_3__t15_sprect_3.vmin1
2024-08-03 10:20
1.8K
sprect_3__t15_sprect_3.vmin1out
2024-08-03 10:20
14K
sprect_3__t15_sprect_3.vout
2024-08-03 04:46
16K
sprect_3__t16_sprect_3
2024-07-26 19:14
68K
sprect_3__t16_sprect_3.vout
2024-08-03 10:11
6.8K
sprect_3__t17_sprect_3
2024-07-26 19:16
60K
sprect_3__t17_sprect_3.vout
2024-08-03 04:58
6.8K
sprect_3__t18_sprect_3
2024-07-26 19:18
39K
sprect_3__t18_sprect_3.depv1
2024-08-03 10:19
181
sprect_3__t18_sprect_3.depvmin1
2024-08-03 10:24
156
sprect_3__t18_sprect_3.vmin1
2024-08-03 10:20
1.9K
sprect_3__t18_sprect_3.vmin1out
2024-08-03 10:20
18K
sprect_3__t18_sprect_3.vout
2024-08-03 05:46
30K
sprect_3__t19_sprect_3
2024-07-26 19:20
46K
sprect_3__t19_sprect_3.vout
2024-08-03 04:35
4.2K
sprect_3__t20_sprect_3
2024-07-26 19:22
47K
sprect_3__t20_sprect_3.vout
2024-08-03 04:48
3.7K
sprect_3__t21_sprect_3
2024-07-26 19:25
91K
sprect_3__t21_sprect_3.vout
2024-08-03 05:02
6.8K
sprect_3__t22_sprect_3
2024-07-26 19:27
51K
sprect_3__t22_sprect_3.vout
2024-08-03 08:30
4.7K
sprect_3__t23_sprect_3
2024-07-26 19:29
120K
sprect_3__t23_sprect_3.vout
2024-08-03 09:36
4.2K
sprect_3__t24_sprect_3
2024-07-26 19:31
39K
sprect_3__t24_sprect_3.depv1
2024-08-03 10:19
224
sprect_3__t24_sprect_3.depvmin1
2024-08-03 10:24
224
sprect_3__t24_sprect_3.vmin1
2024-08-03 10:20
3.8K
sprect_3__t24_sprect_3.vmin1out
2024-08-03 10:21
46K
sprect_3__t24_sprect_3.vout
2024-08-03 08:07
45K
sprect_3__t25_sprect_3
2024-07-26 19:33
44K
sprect_3__t25_sprect_3.depv1
2024-08-03 10:19
292
sprect_3__t25_sprect_3.depvmin1
2024-08-03 10:24
292
sprect_3__t25_sprect_3.vmin1
2024-08-03 10:20
3.4K
sprect_3__t25_sprect_3.vmin1out
2024-08-03 10:23
30K
sprect_3__t25_sprect_3.vout
2024-08-03 06:42
38K
sprect_3__t26_sprect_3
2024-07-26 19:34
44K
sprect_3__t26_sprect_3.depv1
2024-08-03 10:19
266
sprect_3__t26_sprect_3.depvmin1
2024-08-03 10:24
266
sprect_3__t26_sprect_3.vmin1
2024-08-03 10:20
3.4K
sprect_3__t26_sprect_3.vmin1out
2024-08-03 10:22
52K
sprect_3__t26_sprect_3.vout
2024-08-03 06:06
38K
sprect_3__t27_sprect_3
2024-07-26 19:37
69K
sprect_3__t27_sprect_3.vout
2024-08-03 04:20
8.4K
sprect_3__t28_sprect_3
2024-07-26 19:40
67K
sprect_3__t28_sprect_3.depv1
2024-08-03 10:19
215
sprect_3__t28_sprect_3.depvmin1
2024-08-03 10:24
215
sprect_3__t28_sprect_3.vmin1
2024-08-03 10:20
3.8K
sprect_3__t28_sprect_3.vmin1out
2024-08-03 10:23
48K
sprect_3__t28_sprect_3.vout
2024-08-03 07:12
41K
sprect_3__t29_sprect_3
2024-07-26 19:43
193K
sprect_3__t29_sprect_3.vout
2024-08-03 10:01
7.3K
sprect_3__t30_sprect_3
2024-07-26 19:45
73K
sprect_3__t30_sprect_3.vout
2024-08-03 09:22
4.7K
sprect_3__t31_sprect_3
2024-07-26 19:47
66K
sprect_3__t31_sprect_3.vout
2024-08-03 04:33
5.3K
sprect_3__t32_sprect_3
2024-07-26 19:50
67K
sprect_3__t32_sprect_3.vout
2024-08-03 06:17
7.4K
sprect_3__t33_sprect_3
2024-07-26 19:52
54K
sprect_3__t33_sprect_3.vout
2024-08-03 06:33
7.9K
sprect_3__t34_sprect_3
2024-07-26 19:55
94K
sprect_3__t34_sprect_3.depv1
2024-08-03 10:19
156
sprect_3__t34_sprect_3.depvmin1
2024-08-03 10:24
156
sprect_3__t34_sprect_3.vmin1
2024-08-03 10:20
2.2K
sprect_3__t34_sprect_3.vmin1out
2024-08-03 10:22
26K
sprect_3__t34_sprect_3.vout
2024-08-03 07:24
27K
sprect_3__t35_sprect_3
2024-07-26 20:52
72K
sprect_3__t35_sprect_3.vout
2024-08-03 09:52
4.8K
sprect_3__t36_sprect_3
2024-07-26 19:58
107K
sprect_3__t36_sprect_3.vout
2024-08-03 05:48
3.7K
sprect_3__t37_sprect_3
2024-07-26 20:55
251K
sprect_3__t37_sprect_3.vout
2024-08-03 08:10
4.8K
sprect_3__t38_sprect_3
2024-07-26 20:02
154K
sprect_3__t38_sprect_3.vout
2024-08-03 09:23
6.8K
sprect_3__t39_sprect_3
2024-07-26 20:05
154K
sprect_3__t39_sprect_3.vout
2024-08-03 05:14
6.8K
sprect_3__t40_sprect_3
2024-07-26 20:07
56K
sprect_3__t40_sprect_3.depv1
2024-08-03 10:19
73
sprect_3__t40_sprect_3.depvmin1
2024-08-03 10:24
73
sprect_3__t40_sprect_3.vmin1
2024-08-03 10:20
1.6K
sprect_3__t40_sprect_3.vmin1out
2024-08-03 10:22
35K
sprect_3__t40_sprect_3.vout
2024-08-03 08:23
35K
sprect_3__t41_sprect_3
2024-07-26 20:10
217K
sprect_3__t41_sprect_3.vout
2024-08-03 06:45
3.7K
sprect_3__t42_sprect_3
2024-07-26 20:13
56K
sprect_3__t42_sprect_3.vout
2024-08-03 08:40
5.8K
sprect_3__t43_sprect_3
2024-07-26 20:15
76K
sprect_3__t43_sprect_3.vout
2024-08-03 10:00
6.8K
sprect_3__t44_sprect_3
2024-07-26 20:18
82K
sprect_3__t44_sprect_3.vout
2024-08-03 05:29
4.7K
sprect_3__t45_sprect_3
2024-07-26 20:20
55K
sprect_3__t45_sprect_3.vout
2024-08-03 09:08
5.8K
sprect_3__t46_sprect_3
2024-07-26 20:23
73K
sprect_3__t46_sprect_3.vout
2024-08-03 07:57
7.4K
sprect_3__t47_sprect_3
2024-07-26 20:26
84K
sprect_3__t47_sprect_3.vout
2024-08-03 09:16
3.7K
sprect_3__t48_sprect_3
2024-07-26 20:28
79K
sprect_3__t48_sprect_3.vout
2024-08-03 09:13
3.7K
sprect_3__t49_sprect_3
2024-07-26 20:31
63K
sprect_3__t49_sprect_3.vout
2024-08-03 07:56
4.7K
sprect_3__t50_sprect_3
2024-07-26 20:33
78K
sprect_3__t50_sprect_3.vout
2024-08-03 06:24
5.8K
sprect_3__t51_sprect_3
2024-07-26 20:35
104K
sprect_3__t51_sprect_3.vout
2024-08-03 09:05
4.7K
sprect_3__t52_sprect_3
2024-07-26 20:38
67K
sprect_3__t52_sprect_3.vout
2024-08-03 04:11
4.7K
sprect_3__t53_sprect_3
2024-07-26 20:40
56K
sprect_3__t53_sprect_3.depv1
2024-08-03 10:19
212
sprect_3__t53_sprect_3.depvmin1
2024-08-03 10:24
212
sprect_3__t53_sprect_3.vmin1
2024-08-03 10:20
3.1K
sprect_3__t53_sprect_3.vmin1out
2024-08-03 10:21
71K
sprect_3__t53_sprect_3.vout
2024-08-03 04:19
55K
sprect_3__t54_sprect_3
2024-07-26 20:44
113K
sprect_3__t54_sprect_3.vout
2024-08-03 05:48
6.8K
sprect_3__t55_sprect_3
2024-07-26 20:46
75K
sprect_3__t55_sprect_3.vout
2024-08-03 08:51
7.4K
sprect_3__t56_sprect_3
2024-07-26 20:49
67K
sprect_3__t56_sprect_3.vout
2024-08-03 04:38
6.8K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80