Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/cqc_the1
Name
Last modified
Size
Description
Parent Directory
-
cqc_the1__l21_cqc_the1
2024-07-27 02:32
15K
cqc_the1__l21_cqc_the1.vout
2024-08-03 08:58
7.3K
cqc_the1__l40_cqc_the1
2024-07-27 02:33
24K
cqc_the1__l40_cqc_the1.vout
2024-08-03 06:10
4.2K
cqc_the1__l42_cqc_the1
2024-07-27 02:35
42K
cqc_the1__l42_cqc_the1.vout
2024-08-03 08:49
7.3K
cqc_the1__l43_cqc_the1
2024-07-27 02:36
42K
cqc_the1__l43_cqc_the1.vout
2024-08-03 09:33
7.3K
cqc_the1__l44_cqc_the1
2024-07-27 02:38
43K
cqc_the1__l44_cqc_the1.vout
2024-08-03 08:10
7.3K
cqc_the1__l45_cqc_the1
2024-07-27 02:40
43K
cqc_the1__l45_cqc_the1.vout
2024-08-03 04:13
7.3K
cqc_the1__l46_cqc_the1
2024-07-27 02:41
43K
cqc_the1__l46_cqc_the1.vout
2024-08-03 04:25
7.3K
cqc_the1__l47_cqc_the1
2024-07-27 02:43
116K
cqc_the1__l47_cqc_the1.vout
2024-08-03 04:24
7.3K
cqc_the1__l48_cqc_the1
2024-07-27 02:45
43K
cqc_the1__l48_cqc_the1.vout
2024-08-03 09:50
7.3K
cqc_the1__l49_cqc_the1
2024-07-27 02:46
116K
cqc_the1__l49_cqc_the1.vout
2024-08-03 08:50
7.3K
cqc_the1__l50_cqc_the1
2024-07-27 02:48
117K
cqc_the1__l50_cqc_the1.vout
2024-08-03 06:53
7.3K
cqc_the1__l52_cqc_the1
2024-07-27 02:49
26K
cqc_the1__l52_cqc_the1.depv1
2024-08-03 10:19
83
cqc_the1__l52_cqc_the1.depvmin1
2024-08-03 10:24
83
cqc_the1__l52_cqc_the1.vmin1
2024-08-03 10:20
1.0K
cqc_the1__l52_cqc_the1.vmin1out
2024-08-03 10:20
18K
cqc_the1__l52_cqc_the1.vout
2024-08-03 06:47
12K
cqc_the1__t5_cqc_the1
2024-07-27 01:48
20K
cqc_the1__t5_cqc_the1.vout
2024-08-03 04:56
7.3K
cqc_the1__t6_cqc_the1
2024-07-27 01:49
15K
cqc_the1__t6_cqc_the1.vout
2024-08-03 07:17
7.3K
cqc_the1__t7_cqc_the1
2024-07-27 01:50
16K
cqc_the1__t7_cqc_the1.vout
2024-08-03 04:43
7.3K
cqc_the1__t8_cqc_the1
2024-07-27 01:51
16K
cqc_the1__t8_cqc_the1.vout
2024-08-03 06:12
7.3K
cqc_the1__t9_cqc_the1
2024-07-27 01:52
17K
cqc_the1__t9_cqc_the1.vout
2024-08-03 06:27
7.3K
cqc_the1__t10_cqc_the1
2024-07-27 01:53
16K
cqc_the1__t10_cqc_the1.vout
2024-08-03 06:40
7.3K
cqc_the1__t11_cqc_the1
2024-07-27 01:53
16K
cqc_the1__t11_cqc_the1.vout
2024-08-03 05:31
7.3K
cqc_the1__t12_cqc_the1
2024-07-27 01:54
16K
cqc_the1__t12_cqc_the1.vout
2024-08-03 06:37
7.3K
cqc_the1__t13_cqc_the1
2024-07-27 01:55
17K
cqc_the1__t13_cqc_the1.vout
2024-08-03 08:02
6.8K
cqc_the1__t14_cqc_the1
2024-07-27 01:56
16K
cqc_the1__t14_cqc_the1.vout
2024-08-03 10:11
7.3K
cqc_the1__t15_cqc_the1
2024-07-27 01:26
21K
cqc_the1__t15_cqc_the1.vout
2024-08-03 08:08
2.0K
cqc_the1__t16_cqc_the1
2024-07-27 01:27
15K
cqc_the1__t16_cqc_the1.depv1
2024-08-03 10:19
151
cqc_the1__t16_cqc_the1.depvmin1
2024-08-03 10:24
151
cqc_the1__t16_cqc_the1.vmin1
2024-08-03 10:20
1.7K
cqc_the1__t16_cqc_the1.vmin1out
2024-08-03 10:21
29K
cqc_the1__t16_cqc_the1.vout
2024-08-03 09:48
32K
cqc_the1__t17_cqc_the1
2024-07-27 01:57
15K
cqc_the1__t17_cqc_the1.vout
2024-08-03 06:31
7.3K
cqc_the1__t18_cqc_the1
2024-07-27 01:58
15K
cqc_the1__t18_cqc_the1.vout
2024-08-03 06:00
7.3K
cqc_the1__t19_cqc_the1
2024-07-27 01:28
14K
cqc_the1__t19_cqc_the1.vout
2024-08-03 09:45
7.3K
cqc_the1__t20_cqc_the1
2024-07-27 01:59
15K
cqc_the1__t20_cqc_the1.depv1
2024-08-03 10:19
148
cqc_the1__t20_cqc_the1.depvmin1
2024-08-03 10:24
112
cqc_the1__t20_cqc_the1.vmin1
2024-08-03 10:20
1.8K
cqc_the1__t20_cqc_the1.vmin1out
2024-08-03 10:22
25K
cqc_the1__t20_cqc_the1.vout
2024-08-03 06:17
40K
cqc_the1__t21_cqc_the1
2024-07-27 01:28
19K
cqc_the1__t21_cqc_the1.depv1
2024-08-03 10:19
72
cqc_the1__t21_cqc_the1.depvmin1
2024-08-03 10:24
72
cqc_the1__t21_cqc_the1.vmin1
2024-08-03 10:20
454
cqc_the1__t21_cqc_the1.vmin1out
2024-08-03 10:21
4.6K
cqc_the1__t21_cqc_the1.vout
2024-08-03 05:16
5.5K
cqc_the1__t22_cqc_the1
2024-07-27 02:00
17K
cqc_the1__t22_cqc_the1.depv1
2024-08-03 10:19
214
cqc_the1__t22_cqc_the1.depvmin1
2024-08-03 10:24
214
cqc_the1__t22_cqc_the1.vmin1
2024-08-03 10:20
1.4K
cqc_the1__t22_cqc_the1.vmin1out
2024-08-03 10:20
21K
cqc_the1__t22_cqc_the1.vout
2024-08-03 07:24
21K
cqc_the1__t23_cqc_the1
2024-07-27 02:01
35K
cqc_the1__t23_cqc_the1.vout
2024-08-03 06:45
4.2K
cqc_the1__t24_cqc_the1
2024-07-27 01:29
26K
cqc_the1__t24_cqc_the1.depv1
2024-08-03 10:19
101
cqc_the1__t24_cqc_the1.depvmin1
2024-08-03 10:24
101
cqc_the1__t24_cqc_the1.vmin1
2024-08-03 10:20
1.1K
cqc_the1__t24_cqc_the1.vmin1out
2024-08-03 10:22
15K
cqc_the1__t24_cqc_the1.vout
2024-08-03 06:46
15K
cqc_the1__t25_cqc_the1
2024-07-27 02:02
48K
cqc_the1__t25_cqc_the1.vout
2024-08-03 07:49
7.4K
cqc_the1__t26_cqc_the1
2024-07-27 02:04
40K
cqc_the1__t26_cqc_the1.vout
2024-08-03 06:24
7.9K
cqc_the1__t27_cqc_the1
2024-07-27 02:06
110K
cqc_the1__t27_cqc_the1.vout
2024-08-03 09:34
7.4K
cqc_the1__t28_cqc_the1
2024-07-27 02:07
52K
cqc_the1__t28_cqc_the1.vout
2024-08-03 08:04
7.3K
cqc_the1__t29_cqc_the1
2024-07-27 02:09
68K
cqc_the1__t29_cqc_the1.vout
2024-08-03 06:24
7.3K
cqc_the1__t30_cqc_the1
2024-07-27 02:10
40K
cqc_the1__t30_cqc_the1.vout
2024-08-03 04:23
4.2K
cqc_the1__t31_cqc_the1
2024-07-27 02:12
45K
cqc_the1__t31_cqc_the1.vout
2024-08-03 08:35
4.2K
cqc_the1__t32_cqc_the1
2024-07-27 02:13
27K
cqc_the1__t32_cqc_the1.depv1
2024-08-03 10:19
359
cqc_the1__t32_cqc_the1.depvmin1
2024-08-03 10:24
334
cqc_the1__t32_cqc_the1.vmin1
2024-08-03 10:20
3.3K
cqc_the1__t32_cqc_the1.vmin1out
2024-08-03 10:22
28K
cqc_the1__t32_cqc_the1.vout
2024-08-03 08:50
30K
cqc_the1__t33_cqc_the1
2024-07-27 02:30
42K
cqc_the1__t33_cqc_the1.vout
2024-08-03 07:26
4.2K
cqc_the1__t34_cqc_the1
2024-07-27 01:47
30K
cqc_the1__t34_cqc_the1.vout
2024-08-03 08:38
7.3K
cqc_the1__t35_cqc_the1
2024-07-27 02:31
25K
cqc_the1__t35_cqc_the1.vout
2024-08-03 07:03
4.2K
cqc_the1__t36_cqc_the1
2024-07-27 02:14
26K
cqc_the1__t36_cqc_the1.depv1
2024-08-03 10:19
85
cqc_the1__t36_cqc_the1.depvmin1
2024-08-03 10:24
73
cqc_the1__t36_cqc_the1.vmin1
2024-08-03 10:20
1.0K
cqc_the1__t36_cqc_the1.vmin1out
2024-08-03 10:23
24K
cqc_the1__t36_cqc_the1.vout
2024-08-03 04:40
28K
cqc_the1__t37_cqc_the1
2024-07-27 02:16
47K
cqc_the1__t37_cqc_the1.vout
2024-08-03 05:46
3.7K
cqc_the1__t38_cqc_the1
2024-07-27 02:17
15K
cqc_the1__t38_cqc_the1.depv1
2024-08-03 10:19
108
cqc_the1__t38_cqc_the1.depvmin1
2024-08-03 10:24
96
cqc_the1__t38_cqc_the1.vmin1
2024-08-03 10:20
1.1K
cqc_the1__t38_cqc_the1.vmin1out
2024-08-03 10:23
9.5K
cqc_the1__t38_cqc_the1.vout
2024-08-03 04:22
11K
cqc_the1__t39_cqc_the1
2024-07-27 01:30
15K
cqc_the1__t39_cqc_the1.depv1
2024-08-03 10:19
54
cqc_the1__t39_cqc_the1.depvmin1
2024-08-03 10:24
54
cqc_the1__t39_cqc_the1.vmin1
2024-08-03 10:20
686
cqc_the1__t39_cqc_the1.vmin1out
2024-08-03 10:21
6.0K
cqc_the1__t39_cqc_the1.vout
2024-08-03 10:14
7.0K
cqc_the1__t40_cqc_the1
2024-07-27 01:31
14K
cqc_the1__t40_cqc_the1.depv1
2024-08-03 10:19
53
cqc_the1__t40_cqc_the1.depvmin1
2024-08-03 10:24
53
cqc_the1__t40_cqc_the1.vmin1
2024-08-03 10:20
459
cqc_the1__t40_cqc_the1.vmin1out
2024-08-03 10:22
3.4K
cqc_the1__t40_cqc_the1.vout
2024-08-03 07:51
3.4K
cqc_the1__t41_cqc_the1
2024-07-27 02:18
15K
cqc_the1__t41_cqc_the1.vout
2024-08-03 09:36
2.0K
cqc_the1__t42_cqc_the1
2024-07-27 02:19
16K
cqc_the1__t42_cqc_the1.vout
2024-08-03 09:57
2.0K
cqc_the1__t43_cqc_the1
2024-07-27 02:20
16K
cqc_the1__t43_cqc_the1.vout
2024-08-03 06:50
2.0K
cqc_the1__t44_cqc_the1
2024-07-27 02:21
17K
cqc_the1__t44_cqc_the1.vout
2024-08-03 09:48
2.0K
cqc_the1__t45_cqc_the1
2024-07-27 02:22
16K
cqc_the1__t45_cqc_the1.vout
2024-08-03 04:11
2.0K
cqc_the1__t46_cqc_the1
2024-07-27 02:22
16K
cqc_the1__t46_cqc_the1.vout
2024-08-03 07:06
2.0K
cqc_the1__t47_cqc_the1
2024-07-27 01:32
17K
cqc_the1__t47_cqc_the1.depv1
2024-08-03 10:19
53
cqc_the1__t47_cqc_the1.depvmin1
2024-08-03 10:24
53
cqc_the1__t47_cqc_the1.vmin1
2024-08-03 10:20
797
cqc_the1__t47_cqc_the1.vmin1out
2024-08-03 10:21
6.6K
cqc_the1__t47_cqc_the1.vout
2024-08-03 04:54
6.7K
cqc_the1__t48_cqc_the1
2024-07-27 01:33
17K
cqc_the1__t48_cqc_the1.depv1
2024-08-03 10:19
53
cqc_the1__t48_cqc_the1.depvmin1
2024-08-03 10:24
53
cqc_the1__t48_cqc_the1.vmin1
2024-08-03 10:20
1.1K
cqc_the1__t48_cqc_the1.vmin1out
2024-08-03 10:20
12K
cqc_the1__t48_cqc_the1.vout
2024-08-03 05:05
13K
cqc_the1__t49_cqc_the1
2024-07-27 01:34
16K
cqc_the1__t49_cqc_the1.depv1
2024-08-03 10:19
53
cqc_the1__t49_cqc_the1.depvmin1
2024-08-03 10:24
53
cqc_the1__t49_cqc_the1.vmin1
2024-08-03 10:20
1.2K
cqc_the1__t49_cqc_the1.vmin1out
2024-08-03 10:20
15K
cqc_the1__t49_cqc_the1.vout
2024-08-03 04:09
15K
cqc_the1__t50_cqc_the1
2024-07-27 01:35
15K
cqc_the1__t50_cqc_the1.depv1
2024-08-03 10:19
100
cqc_the1__t50_cqc_the1.depvmin1
2024-08-03 10:24
100
cqc_the1__t50_cqc_the1.vmin1
2024-08-03 10:20
1.2K
cqc_the1__t50_cqc_the1.vmin1out
2024-08-03 10:22
11K
cqc_the1__t50_cqc_the1.vout
2024-08-03 04:31
10K
cqc_the1__t51_cqc_the1
2024-07-27 01:36
16K
cqc_the1__t51_cqc_the1.depv1
2024-08-03 10:19
150
cqc_the1__t51_cqc_the1.depvmin1
2024-08-03 10:24
150
cqc_the1__t51_cqc_the1.vmin1
2024-08-03 10:20
1.8K
cqc_the1__t51_cqc_the1.vmin1out
2024-08-03 10:22
15K
cqc_the1__t51_cqc_the1.vout
2024-08-03 04:34
17K
cqc_the1__t52_cqc_the1
2024-07-27 01:37
16K
cqc_the1__t52_cqc_the1.depv1
2024-08-03 10:19
150
cqc_the1__t52_cqc_the1.depvmin1
2024-08-03 10:24
150
cqc_the1__t52_cqc_the1.vmin1
2024-08-03 10:20
2.0K
cqc_the1__t52_cqc_the1.vmin1out
2024-08-03 10:20
18K
cqc_the1__t52_cqc_the1.vout
2024-08-03 04:19
20K
cqc_the1__t53_cqc_the1
2024-07-27 01:38
17K
cqc_the1__t53_cqc_the1.depv1
2024-08-03 10:19
119
cqc_the1__t53_cqc_the1.depvmin1
2024-08-03 10:24
119
cqc_the1__t53_cqc_the1.vmin1
2024-08-03 10:20
2.0K
cqc_the1__t53_cqc_the1.vmin1out
2024-08-03 10:23
22K
cqc_the1__t53_cqc_the1.vout
2024-08-03 05:16
22K
cqc_the1__t54_cqc_the1
2024-07-27 01:38
16K
cqc_the1__t54_cqc_the1.depv1
2024-08-03 10:19
120
cqc_the1__t54_cqc_the1.depvmin1
2024-08-03 10:24
101
cqc_the1__t54_cqc_the1.vmin1
2024-08-03 10:20
1.7K
cqc_the1__t54_cqc_the1.vmin1out
2024-08-03 10:22
16K
cqc_the1__t54_cqc_the1.vout
2024-08-03 09:07
18K
cqc_the1__t55_cqc_the1
2024-07-27 01:39
16K
cqc_the1__t55_cqc_the1.depv1
2024-08-03 10:19
156
cqc_the1__t55_cqc_the1.depvmin1
2024-08-03 10:24
136
cqc_the1__t55_cqc_the1.vmin1
2024-08-03 10:20
2.1K
cqc_the1__t55_cqc_the1.vmin1out
2024-08-03 10:21
19K
cqc_the1__t55_cqc_the1.vout
2024-08-03 08:42
24K
cqc_the1__t56_cqc_the1
2024-07-27 01:40
16K
cqc_the1__t56_cqc_the1.depv1
2024-08-03 10:19
120
cqc_the1__t56_cqc_the1.depvmin1
2024-08-03 10:24
120
cqc_the1__t56_cqc_the1.vmin1
2024-08-03 10:20
1.7K
cqc_the1__t56_cqc_the1.vmin1out
2024-08-03 10:21
16K
cqc_the1__t56_cqc_the1.vout
2024-08-03 07:28
17K
cqc_the1__t57_cqc_the1
2024-07-27 01:41
17K
cqc_the1__t57_cqc_the1.depv1
2024-08-03 10:19
190
cqc_the1__t57_cqc_the1.depvmin1
2024-08-03 10:24
190
cqc_the1__t57_cqc_the1.vmin1
2024-08-03 10:20
2.7K
cqc_the1__t57_cqc_the1.vmin1out
2024-08-03 10:20
28K
cqc_the1__t57_cqc_the1.vout
2024-08-03 10:09
35K
cqc_the1__t58_cqc_the1
2024-07-27 01:42
16K
cqc_the1__t58_cqc_the1.vout
2024-08-03 06:35
2.0K
cqc_the1__t59_cqc_the1
2024-07-27 02:23
16K
cqc_the1__t59_cqc_the1.vout
2024-08-03 09:05
7.3K
cqc_the1__t60_cqc_the1
2024-07-27 01:43
15K
cqc_the1__t60_cqc_the1.vout
2024-08-03 04:13
2.0K
cqc_the1__t61_cqc_the1
2024-07-27 02:24
16K
cqc_the1__t61_cqc_the1.vout
2024-08-03 08:55
2.0K
cqc_the1__t62_cqc_the1
2024-07-27 02:25
16K
cqc_the1__t62_cqc_the1.vout
2024-08-03 05:14
2.0K
cqc_the1__t63_cqc_the1
2024-07-27 02:26
17K
cqc_the1__t63_cqc_the1.vout
2024-08-03 08:51
2.0K
cqc_the1__t64_cqc_the1
2024-07-27 02:27
16K
cqc_the1__t64_cqc_the1.vout
2024-08-03 06:18
2.0K
cqc_the1__t65_cqc_the1
2024-07-27 02:28
16K
cqc_the1__t65_cqc_the1.vout
2024-08-03 06:46
2.0K
cqc_the1__t66_cqc_the1
2024-07-27 01:44
16K
cqc_the1__t66_cqc_the1.vout
2024-08-03 08:15
2.0K
cqc_the1__t67_cqc_the1
2024-07-27 01:45
17K
cqc_the1__t67_cqc_the1.vout
2024-08-03 10:10
2.0K
cqc_the1__t68_cqc_the1
2024-07-27 01:46
16K
cqc_the1__t68_cqc_the1.vout
2024-08-03 09:11
2.0K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80