Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/srings_4
Name
Last modified
Size
Description
Parent Directory
-
srings_4__l1_srings_4
2024-07-27 02:04
27K
srings_4__l1_srings_4.vout
2024-08-03 08:00
8.4K
srings_4__l4_srings_4
2024-07-27 02:06
26K
srings_4__l4_srings_4.vout
2024-08-03 05:13
7.9K
srings_4__l5_srings_4
2024-07-27 02:07
26K
srings_4__l5_srings_4.vout
2024-08-03 09:09
7.9K
srings_4__l6_srings_4
2024-07-27 02:08
24K
srings_4__l6_srings_4.depv1
2024-08-03 10:19
102
srings_4__l6_srings_4.depvmin1
2024-08-03 10:24
102
srings_4__l6_srings_4.vmin1
2024-08-03 10:20
704
srings_4__l6_srings_4.vmin1out
2024-08-03 10:22
5.1K
srings_4__l6_srings_4.vout
2024-08-03 07:34
5.6K
srings_4__l11_srings_4
2024-07-27 02:09
30K
srings_4__l11_srings_4.vout
2024-08-03 08:03
7.3K
srings_4__l22_srings_4
2024-07-27 02:11
36K
srings_4__l22_srings_4.vout
2024-08-03 08:15
6.8K
srings_4__l25_srings_4
2024-07-27 02:13
38K
srings_4__l25_srings_4.vout
2024-08-03 08:33
3.7K
srings_4__l35_srings_4
2024-07-27 02:14
23K
srings_4__l35_srings_4.depv1
2024-08-03 10:19
136
srings_4__l35_srings_4.depvmin1
2024-08-03 10:24
136
srings_4__l35_srings_4.vmin1
2024-08-03 10:20
926
srings_4__l35_srings_4.vmin1out
2024-08-03 10:23
9.5K
srings_4__l35_srings_4.vout
2024-08-03 04:40
9.5K
srings_4__l51_srings_4
2024-07-27 02:16
46K
srings_4__l51_srings_4.vout
2024-08-03 08:39
7.3K
srings_4__t1_srings_4
2024-07-27 01:11
27K
srings_4__t1_srings_4.depv1
2024-08-03 10:19
183
srings_4__t1_srings_4.depvmin1
2024-08-03 10:24
162
srings_4__t1_srings_4.vmin1
2024-08-03 10:20
1.7K
srings_4__t1_srings_4.vmin1out
2024-08-03 10:22
16K
srings_4__t1_srings_4.vout
2024-08-03 04:11
19K
srings_4__t2_srings_4
2024-07-27 01:17
26K
srings_4__t2_srings_4.vout
2024-08-03 06:21
8.4K
srings_4__t3_srings_4
2024-07-27 01:18
27K
srings_4__t3_srings_4.vout
2024-08-03 07:55
11K
srings_4__t4_srings_4
2024-07-27 01:19
26K
srings_4__t4_srings_4.depv1
2024-08-03 10:19
149
srings_4__t4_srings_4.depvmin1
2024-08-03 10:24
36
srings_4__t4_srings_4.vmin1
2024-08-03 10:20
1.4K
srings_4__t4_srings_4.vmin1out
2024-08-03 10:22
5.4K
srings_4__t4_srings_4.vout
2024-08-03 10:15
12K
srings_4__t5_srings_4
2024-07-27 01:20
20K
srings_4__t5_srings_4.depv1
2024-08-03 10:19
87
srings_4__t5_srings_4.depvmin1
2024-08-03 10:24
87
srings_4__t5_srings_4.vmin1
2024-08-03 10:20
625
srings_4__t5_srings_4.vmin1out
2024-08-03 10:23
4.8K
srings_4__t5_srings_4.vout
2024-08-03 07:23
5.0K
srings_4__t6_srings_4
2024-07-27 01:48
30K
srings_4__t6_srings_4.vout
2024-08-03 07:05
6.8K
srings_4__t7_srings_4
2024-07-27 01:21
30K
srings_4__t7_srings_4.vout
2024-08-03 08:58
7.4K
srings_4__t8_srings_4
2024-07-27 01:23
32K
srings_4__t8_srings_4.vout
2024-08-03 08:01
6.8K
srings_4__t9_srings_4
2024-07-27 01:24
38K
srings_4__t9_srings_4.vout
2024-08-03 05:47
7.3K
srings_4__t10_srings_4
2024-07-27 01:26
39K
srings_4__t10_srings_4.vout
2024-08-03 10:15
7.3K
srings_4__t11_srings_4
2024-07-27 01:27
39K
srings_4__t11_srings_4.vout
2024-08-03 05:40
7.3K
srings_4__t12_srings_4
2024-07-27 01:12
30K
srings_4__t12_srings_4.depv1
2024-08-03 10:19
78
srings_4__t12_srings_4.depvmin1
2024-08-03 10:24
78
srings_4__t12_srings_4.vmin1
2024-08-03 10:20
2.1K
srings_4__t12_srings_4.vmin1out
2024-08-03 10:22
22K
srings_4__t12_srings_4.vout
2024-08-03 08:32
21K
srings_4__t14_srings_4
2024-07-27 01:49
25K
srings_4__t14_srings_4.vout
2024-08-03 04:54
3.7K
srings_4__t15_srings_4
2024-07-27 01:28
25K
srings_4__t15_srings_4.depv1
2024-08-03 10:19
62
srings_4__t15_srings_4.depvmin1
2024-08-03 10:24
62
srings_4__t15_srings_4.vmin1
2024-08-03 10:20
952
srings_4__t15_srings_4.vmin1out
2024-08-03 10:20
14K
srings_4__t15_srings_4.vout
2024-08-03 06:00
14K
srings_4__t16_srings_4
2024-07-27 01:13
24K
srings_4__t16_srings_4.depv1
2024-08-03 10:19
80
srings_4__t16_srings_4.depvmin1
2024-08-03 10:24
80
srings_4__t16_srings_4.vmin1
2024-08-03 10:20
1.2K
srings_4__t16_srings_4.vmin1out
2024-08-03 10:20
13K
srings_4__t16_srings_4.vout
2024-08-03 10:15
19K
srings_4__t17_srings_4
2024-07-27 01:15
29K
srings_4__t17_srings_4.depv1
2024-08-03 10:19
67
srings_4__t17_srings_4.depvmin1
2024-08-03 10:24
67
srings_4__t17_srings_4.vmin1
2024-08-03 10:20
1.0K
srings_4__t17_srings_4.vmin1out
2024-08-03 10:21
11K
srings_4__t17_srings_4.vout
2024-08-03 06:22
13K
srings_4__t18_srings_4
2024-07-27 01:30
26K
srings_4__t18_srings_4.depv1
2024-08-03 10:19
41
srings_4__t18_srings_4.depvmin1
2024-08-03 10:24
41
srings_4__t18_srings_4.vmin1
2024-08-03 10:20
779
srings_4__t18_srings_4.vmin1out
2024-08-03 10:22
14K
srings_4__t18_srings_4.vout
2024-08-03 05:25
13K
srings_4__t19_srings_4
2024-07-27 01:31
25K
srings_4__t19_srings_4.depv1
2024-08-03 10:19
76
srings_4__t19_srings_4.depvmin1
2024-08-03 10:24
76
srings_4__t19_srings_4.vmin1
2024-08-03 10:20
1.6K
srings_4__t19_srings_4.vmin1out
2024-08-03 10:22
19K
srings_4__t19_srings_4.vout
2024-08-03 05:11
20K
srings_4__t20_srings_4
2024-07-27 01:32
29K
srings_4__t20_srings_4.depv1
2024-08-03 10:19
56
srings_4__t20_srings_4.depvmin1
2024-08-03 10:24
56
srings_4__t20_srings_4.vmin1
2024-08-03 10:20
1.0K
srings_4__t20_srings_4.vmin1out
2024-08-03 10:22
20K
srings_4__t20_srings_4.vout
2024-08-03 10:05
20K
srings_4__t21_srings_4
2024-07-27 01:33
30K
srings_4__t21_srings_4.vout
2024-08-03 07:01
7.3K
srings_4__t22_srings_4
2024-07-27 01:34
32K
srings_4__t22_srings_4.vout
2024-08-03 04:59
7.4K
srings_4__t23_srings_4
2024-07-27 01:51
42K
srings_4__t23_srings_4.vout
2024-08-03 06:57
4.2K
srings_4__t24_srings_4
2024-07-27 01:52
39K
srings_4__t24_srings_4.vout
2024-08-03 07:48
8.4K
srings_4__t25_srings_4
2024-07-27 01:54
35K
srings_4__t25_srings_4.vout
2024-08-03 09:05
4.8K
srings_4__t26_srings_4
2024-07-27 01:36
33K
srings_4__t26_srings_4.vout
2024-08-03 09:12
4.2K
srings_4__t27_srings_4
2024-07-27 01:37
33K
srings_4__t27_srings_4.vout
2024-08-03 09:43
5.3K
srings_4__t28_srings_4
2024-07-27 01:56
48K
srings_4__t28_srings_4.vout
2024-08-03 08:29
4.2K
srings_4__t29_srings_4
2024-07-27 01:39
28K
srings_4__t29_srings_4.depv1
2024-08-03 10:19
52
srings_4__t29_srings_4.depvmin1
2024-08-03 10:24
52
srings_4__t29_srings_4.vmin1
2024-08-03 10:20
1.2K
srings_4__t29_srings_4.vmin1out
2024-08-03 10:23
18K
srings_4__t29_srings_4.vout
2024-08-03 06:55
22K
srings_4__t30_srings_4
2024-07-27 01:58
31K
srings_4__t30_srings_4.vout
2024-08-03 09:21
6.8K
srings_4__t31_srings_4
2024-07-27 02:00
69K
srings_4__t31_srings_4.vout
2024-08-03 05:41
3.7K
srings_4__t32_srings_4
2024-07-27 01:40
41K
srings_4__t32_srings_4.vout
2024-08-03 10:17
7.3K
srings_4__t33_srings_4
2024-07-27 01:42
44K
srings_4__t33_srings_4.vout
2024-08-03 05:43
7.3K
srings_4__t34_srings_4
2024-07-27 02:02
32K
srings_4__t34_srings_4.vout
2024-08-03 07:01
7.3K
srings_4__t35_srings_4
2024-07-27 01:43
29K
srings_4__t35_srings_4.depv1
2024-08-03 10:19
149
srings_4__t35_srings_4.depvmin1
2024-08-03 10:24
123
srings_4__t35_srings_4.vmin1
2024-08-03 10:20
2.5K
srings_4__t35_srings_4.vmin1out
2024-08-03 10:22
66K
srings_4__t35_srings_4.vout
2024-08-03 10:11
64K
srings_4__t36_srings_4
2024-07-27 02:03
32K
srings_4__t36_srings_4.vout
2024-08-03 07:04
6.8K
srings_4__t37_srings_4
2024-07-27 01:44
43K
srings_4__t37_srings_4.vout
2024-08-03 06:39
7.3K
srings_4__t38_srings_4
2024-07-27 01:16
27K
srings_4__t38_srings_4.depv1
2024-08-03 10:19
40
srings_4__t38_srings_4.depvmin1
2024-08-03 10:24
40
srings_4__t38_srings_4.vmin1
2024-08-03 10:20
1.2K
srings_4__t38_srings_4.vmin1out
2024-08-03 10:20
20K
srings_4__t38_srings_4.vout
2024-08-03 05:05
20K
srings_4__t39_srings_4
2024-07-27 01:45
27K
srings_4__t39_srings_4.vout
2024-08-03 08:55
2.0K
srings_4__t40_srings_4
2024-07-27 01:47
28K
srings_4__t40_srings_4.depv1
2024-08-03 10:19
66
srings_4__t40_srings_4.depvmin1
2024-08-03 10:24
66
srings_4__t40_srings_4.vmin1
2024-08-03 10:20
1.6K
srings_4__t40_srings_4.vmin1out
2024-08-03 10:20
28K
srings_4__t40_srings_4.vout
2024-08-03 06:30
23K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80