Index of /~mptp/mml5.63.1382/MPTP2/problems_small/qc_lang4
Name
Last modified
Size
Description
Parent Directory
-
qc_lang4__t42_qc_lang4.vout
2021-07-25 19:45
7.3K
qc_lang4__t42_qc_lang4
2021-07-18 11:04
26K
qc_lang4__t41_qc_lang4.vout
2021-07-25 15:00
20K
qc_lang4__t41_qc_lang4.vmin1out
2021-07-25 21:01
19K
qc_lang4__t41_qc_lang4.vmin1
2021-07-25 20:57
1.2K
qc_lang4__t41_qc_lang4.depvmin1
2021-07-25 21:03
53
qc_lang4__t41_qc_lang4.depv1
2021-07-25 20:57
53
qc_lang4__t41_qc_lang4
2021-07-18 11:03
21K
qc_lang4__t40_qc_lang4.vout
2021-07-25 15:27
3.7K
qc_lang4__t40_qc_lang4
2021-07-18 11:07
25K
qc_lang4__t39_qc_lang4.vout
2021-07-25 19:15
4.2K
qc_lang4__t39_qc_lang4
2021-07-18 11:06
25K
qc_lang4__t38_qc_lang4.vout
2021-07-25 17:20
36K
qc_lang4__t38_qc_lang4.vmin1out
2021-07-25 21:00
18K
qc_lang4__t38_qc_lang4.vmin1
2021-07-25 20:57
2.9K
qc_lang4__t38_qc_lang4.depvmin1
2021-07-25 21:03
128
qc_lang4__t38_qc_lang4.depv1
2021-07-25 20:57
167
qc_lang4__t38_qc_lang4
2021-07-18 11:03
26K
qc_lang4__t37_qc_lang4.vout
2021-07-25 18:43
7.3K
qc_lang4__t37_qc_lang4
2021-07-18 11:03
25K
qc_lang4__t36_qc_lang4.vout
2021-07-25 15:05
4.2K
qc_lang4__t36_qc_lang4
2021-07-18 11:06
23K
qc_lang4__t35_qc_lang4.vout
2021-07-25 19:20
22K
qc_lang4__t35_qc_lang4.vmin1out
2021-07-25 21:00
22K
qc_lang4__t35_qc_lang4.vmin1
2021-07-25 20:57
1.7K
qc_lang4__t35_qc_lang4.depvmin1
2021-07-25 21:03
94
qc_lang4__t35_qc_lang4.depv1
2021-07-25 20:57
94
qc_lang4__t35_qc_lang4
2021-07-18 11:02
21K
qc_lang4__t34_qc_lang4.vout
2021-07-25 14:57
19K
qc_lang4__t34_qc_lang4.vmin1out
2021-07-25 20:58
19K
qc_lang4__t34_qc_lang4.vmin1
2021-07-25 20:57
1.3K
qc_lang4__t34_qc_lang4.depvmin1
2021-07-25 21:03
74
qc_lang4__t34_qc_lang4.depv1
2021-07-25 20:57
74
qc_lang4__t34_qc_lang4
2021-07-18 11:02
21K
qc_lang4__t33_qc_lang4.vout
2021-07-25 16:47
5.3K
qc_lang4__t33_qc_lang4
2021-07-18 11:05
21K
qc_lang4__t32_qc_lang4.vout
2021-07-25 19:10
5.3K
qc_lang4__t32_qc_lang4
2021-07-18 11:05
21K
qc_lang4__t31_qc_lang4.vout
2021-07-25 20:24
54K
qc_lang4__t31_qc_lang4.vmin1out
2021-07-25 20:57
51K
qc_lang4__t31_qc_lang4.vmin1
2021-07-25 20:57
3.2K
qc_lang4__t31_qc_lang4.depvmin1
2021-07-25 21:03
207
qc_lang4__t31_qc_lang4.depv1
2021-07-25 20:57
230
qc_lang4__t31_qc_lang4
2021-07-18 11:02
22K
qc_lang4__t30_qc_lang4.vout
2021-07-25 14:34
7.3K
qc_lang4__t30_qc_lang4
2021-07-18 11:01
27K
qc_lang4__t29_qc_lang4.vout
2021-07-25 17:31
16K
qc_lang4__t29_qc_lang4.vmin1out
2021-07-25 20:58
31K
qc_lang4__t29_qc_lang4.vmin1
2021-07-25 20:57
1.4K
qc_lang4__t29_qc_lang4.depvmin1
2021-07-25 21:03
83
qc_lang4__t29_qc_lang4.depv1
2021-07-25 20:57
83
qc_lang4__t29_qc_lang4
2021-07-18 11:05
23K
qc_lang4__t28_qc_lang4.vout
2021-07-25 19:49
3.7K
qc_lang4__t28_qc_lang4
2021-07-18 11:01
51K
qc_lang4__t27_qc_lang4.vout
2021-07-25 18:19
7.4K
qc_lang4__t27_qc_lang4
2021-07-18 11:00
50K
qc_lang4__t26_qc_lang4.vout
2021-07-25 18:16
7.3K
qc_lang4__t26_qc_lang4
2021-07-18 11:00
25K
qc_lang4__t25_qc_lang4.vout
2021-07-25 19:57
4.7K
qc_lang4__t25_qc_lang4
2021-07-18 10:59
37K
qc_lang4__t24_qc_lang4.vout
2021-07-25 14:48
7.3K
qc_lang4__t24_qc_lang4
2021-07-18 10:59
25K
qc_lang4__t23_qc_lang4.vout
2021-07-25 16:10
4.7K
qc_lang4__t23_qc_lang4
2021-07-18 10:59
39K
qc_lang4__t22_qc_lang4.vout
2021-07-25 19:23
4.7K
qc_lang4__t22_qc_lang4
2021-07-18 10:58
43K
qc_lang4__t21_qc_lang4.vout
2021-07-25 15:26
4.7K
qc_lang4__t21_qc_lang4
2021-07-18 10:58
39K
qc_lang4__t20_qc_lang4.vout
2021-07-25 16:31
7.4K
qc_lang4__t20_qc_lang4
2021-07-18 10:57
22K
qc_lang4__t19_qc_lang4.vout
2021-07-25 16:09
5.3K
qc_lang4__t19_qc_lang4
2021-07-18 11:05
21K
qc_lang4__t18_qc_lang4.vout
2021-07-25 16:09
47K
qc_lang4__t18_qc_lang4.vmin1out
2021-07-25 21:01
45K
qc_lang4__t18_qc_lang4.vmin1
2021-07-25 20:57
2.4K
qc_lang4__t18_qc_lang4.depvmin1
2021-07-25 21:03
202
qc_lang4__t18_qc_lang4.depv1
2021-07-25 20:57
202
qc_lang4__t18_qc_lang4
2021-07-18 10:57
20K
qc_lang4__t17_qc_lang4.vout
2021-07-25 20:17
41K
qc_lang4__t17_qc_lang4.vmin1out
2021-07-25 20:59
42K
qc_lang4__t17_qc_lang4.vmin1
2021-07-25 20:57
3.1K
qc_lang4__t17_qc_lang4.depvmin1
2021-07-25 21:03
260
qc_lang4__t17_qc_lang4.depv1
2021-07-25 20:57
304
qc_lang4__t17_qc_lang4
2021-07-18 10:57
21K
qc_lang4__t16_qc_lang4.vout
2021-07-25 18:07
34K
qc_lang4__t16_qc_lang4.vmin1out
2021-07-25 20:58
34K
qc_lang4__t16_qc_lang4.vmin1
2021-07-25 20:57
2.4K
qc_lang4__t16_qc_lang4.depvmin1
2021-07-25 21:03
144
qc_lang4__t16_qc_lang4.depv1
2021-07-25 20:57
144
qc_lang4__t16_qc_lang4
2021-07-18 10:56
21K
qc_lang4__t15_qc_lang4.vout
2021-07-25 14:43
34K
qc_lang4__t15_qc_lang4.vmin1out
2021-07-25 21:00
35K
qc_lang4__t15_qc_lang4.vmin1
2021-07-25 20:57
3.0K
qc_lang4__t15_qc_lang4.depvmin1
2021-07-25 21:03
261
qc_lang4__t15_qc_lang4.depv1
2021-07-25 20:57
261
qc_lang4__t15_qc_lang4
2021-07-18 10:56
23K
qc_lang4__t14_qc_lang4.vout
2021-07-25 15:03
7.4K
qc_lang4__t14_qc_lang4
2021-07-18 10:56
37K
qc_lang4__t13_qc_lang4.vout
2021-07-25 19:40
7.3K
qc_lang4__t13_qc_lang4
2021-07-18 10:55
52K
qc_lang4__t12_qc_lang4.vout
2021-07-25 17:07
39K
qc_lang4__t12_qc_lang4.vmin1out
2021-07-25 21:00
71K
qc_lang4__t12_qc_lang4.vmin1
2021-07-25 20:57
2.6K
qc_lang4__t12_qc_lang4.depvmin1
2021-07-25 21:03
196
qc_lang4__t12_qc_lang4.depv1
2021-07-25 20:57
196
qc_lang4__t12_qc_lang4
2021-07-18 10:55
24K
qc_lang4__t11_qc_lang4.vout
2021-07-25 19:29
30K
qc_lang4__t11_qc_lang4.vmin1out
2021-07-25 21:00
26K
qc_lang4__t11_qc_lang4.vmin1
2021-07-25 20:57
1.9K
qc_lang4__t11_qc_lang4.depvmin1
2021-07-25 21:03
123
qc_lang4__t11_qc_lang4.depv1
2021-07-25 20:57
166
qc_lang4__t11_qc_lang4
2021-07-18 10:54
16K
qc_lang4__t10_qc_lang4.vout
2021-07-25 17:58
7.9K
qc_lang4__t10_qc_lang4
2021-07-18 10:54
27K
qc_lang4__t9_qc_lang4.vout
2021-07-25 16:09
7.3K
qc_lang4__t9_qc_lang4
2021-07-18 10:54
34K
qc_lang4__t8_qc_lang4.vout
2021-07-25 19:28
38K
qc_lang4__t8_qc_lang4.vmin1out
2021-07-25 21:00
37K
qc_lang4__t8_qc_lang4.vmin1
2021-07-25 20:57
2.2K
qc_lang4__t8_qc_lang4.depvmin1
2021-07-25 21:03
158
qc_lang4__t8_qc_lang4.depv1
2021-07-25 20:57
183
qc_lang4__t8_qc_lang4
2021-07-18 10:53
24K
qc_lang4__t7_qc_lang4.vout
2021-07-25 15:22
7.3K
qc_lang4__t7_qc_lang4
2021-07-18 10:53
27K
qc_lang4__t6_qc_lang4.vout
2021-07-25 16:45
7.3K
qc_lang4__t6_qc_lang4
2021-07-18 10:52
27K
qc_lang4__t5_qc_lang4.vout
2021-07-25 19:18
26K
qc_lang4__t5_qc_lang4.vmin1out
2021-07-25 20:57
25K
qc_lang4__t5_qc_lang4.vmin1
2021-07-25 20:57
1.5K
qc_lang4__t5_qc_lang4.depvmin1
2021-07-25 21:03
109
qc_lang4__t5_qc_lang4.depv1
2021-07-25 20:57
109
qc_lang4__t5_qc_lang4
2021-07-18 10:52
21K
qc_lang4__t4_qc_lang4.vout
2021-07-25 19:51
5.3K
qc_lang4__t4_qc_lang4
2021-07-18 11:04
26K
qc_lang4__t3_qc_lang4.vout
2021-07-25 17:35
4.7K
qc_lang4__t3_qc_lang4
2021-07-18 10:52
24K
qc_lang4__t2_qc_lang4.vout
2021-07-25 18:51
22K
qc_lang4__t2_qc_lang4.vmin1out
2021-07-25 20:59
22K
qc_lang4__t2_qc_lang4.vmin1
2021-07-25 20:57
1.8K
qc_lang4__t2_qc_lang4.depvmin1
2021-07-25 21:03
187
qc_lang4__t2_qc_lang4.depv1
2021-07-25 20:57
187
qc_lang4__t2_qc_lang4
2021-07-18 10:51
19K
qc_lang4__t1_qc_lang4.vout
2021-07-25 19:52
27K
qc_lang4__t1_qc_lang4.vmin1out
2021-07-25 20:59
26K
qc_lang4__t1_qc_lang4.vmin1
2021-07-25 20:57
1.8K
qc_lang4__t1_qc_lang4.depvmin1
2021-07-25 21:03
187
qc_lang4__t1_qc_lang4.depv1
2021-07-25 20:57
187
qc_lang4__t1_qc_lang4
2021-07-18 10:51
19K
qc_lang4__l28_qc_lang4.vout
2021-07-25 14:59
9.2K
qc_lang4__l28_qc_lang4.vmin1out
2021-07-25 20:58
9.3K
qc_lang4__l28_qc_lang4.vmin1
2021-07-25 20:57
1.0K
qc_lang4__l28_qc_lang4.depvmin1
2021-07-25 21:03
105
qc_lang4__l28_qc_lang4.depv1
2021-07-25 20:57
105
qc_lang4__l28_qc_lang4
2021-07-18 11:07
16K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80