Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems_small/qc_lang1
Name
Last modified
Size
Description
Parent Directory
-
qc_lang1__l7_qc_lang1
2021-07-18 11:56
20K
qc_lang1__l7_qc_lang1.depv1
2021-07-25 20:57
134
qc_lang1__l7_qc_lang1.depvmin1
2021-07-25 21:03
134
qc_lang1__l7_qc_lang1.vmin1
2021-07-25 20:57
1.0K
qc_lang1__l7_qc_lang1.vmin1out
2021-07-25 20:59
9.0K
qc_lang1__l7_qc_lang1.vout
2021-07-25 18:32
11K
qc_lang1__l18_qc_lang1
2021-07-18 11:57
23K
qc_lang1__l18_qc_lang1.depv1
2021-07-25 20:57
212
qc_lang1__l18_qc_lang1.depvmin1
2021-07-25 21:03
212
qc_lang1__l18_qc_lang1.vmin1
2021-07-25 20:57
1.7K
qc_lang1__l18_qc_lang1.vmin1out
2021-07-25 21:02
22K
qc_lang1__l18_qc_lang1.vout
2021-07-25 18:54
23K
qc_lang1__l19_qc_lang1
2021-07-18 11:57
33K
qc_lang1__l19_qc_lang1.vout
2021-07-25 19:35
3.7K
qc_lang1__l20_qc_lang1
2021-07-18 11:57
33K
qc_lang1__l20_qc_lang1.depv1
2021-07-25 20:57
365
qc_lang1__l20_qc_lang1.depvmin1
2021-07-25 21:03
365
qc_lang1__l20_qc_lang1.vmin1
2021-07-25 20:57
3.0K
qc_lang1__l20_qc_lang1.vmin1out
2021-07-25 21:00
32K
qc_lang1__l20_qc_lang1.vout
2021-07-25 15:12
30K
qc_lang1__l25_qc_lang1
2021-07-18 11:58
37K
qc_lang1__l25_qc_lang1.depv1
2021-07-25 20:57
54
qc_lang1__l25_qc_lang1.depvmin1
2021-07-25 21:03
54
qc_lang1__l25_qc_lang1.vmin1
2021-07-25 20:57
1.7K
qc_lang1__l25_qc_lang1.vmin1out
2021-07-25 21:00
19K
qc_lang1__l25_qc_lang1.vout
2021-07-25 17:25
17K
qc_lang1__t1_qc_lang1
2021-07-18 11:47
17K
qc_lang1__t1_qc_lang1.depv1
2021-07-25 20:57
58
qc_lang1__t1_qc_lang1.depvmin1
2021-07-25 21:03
58
qc_lang1__t1_qc_lang1.vmin1
2021-07-25 20:57
696
qc_lang1__t1_qc_lang1.vmin1out
2021-07-25 21:01
5.7K
qc_lang1__t1_qc_lang1.vout
2021-07-25 20:25
7.6K
qc_lang1__t2_qc_lang1
2021-07-18 11:47
17K
qc_lang1__t2_qc_lang1.depv1
2021-07-25 20:57
61
qc_lang1__t2_qc_lang1.depvmin1
2021-07-25 21:03
61
qc_lang1__t2_qc_lang1.vmin1
2021-07-25 20:57
831
qc_lang1__t2_qc_lang1.vmin1out
2021-07-25 20:57
7.6K
qc_lang1__t2_qc_lang1.vout
2021-07-25 19:53
11K
qc_lang1__t3_qc_lang1
2021-07-18 11:47
19K
qc_lang1__t3_qc_lang1.depv1
2021-07-25 20:57
171
qc_lang1__t3_qc_lang1.depvmin1
2021-07-25 21:03
171
qc_lang1__t3_qc_lang1.vmin1
2021-07-25 20:57
1.4K
qc_lang1__t3_qc_lang1.vmin1out
2021-07-25 20:58
17K
qc_lang1__t3_qc_lang1.vout
2021-07-25 20:31
17K
qc_lang1__t4_qc_lang1
2021-07-18 11:48
20K
qc_lang1__t4_qc_lang1.depv1
2021-07-25 20:57
197
qc_lang1__t4_qc_lang1.depvmin1
2021-07-25 21:03
197
qc_lang1__t4_qc_lang1.vmin1
2021-07-25 20:57
1.5K
qc_lang1__t4_qc_lang1.vmin1out
2021-07-25 21:01
14K
qc_lang1__t4_qc_lang1.vout
2021-07-25 19:35
14K
qc_lang1__t5_qc_lang1
2021-07-18 11:48
19K
qc_lang1__t5_qc_lang1.depv1
2021-07-25 20:57
98
qc_lang1__t5_qc_lang1.depvmin1
2021-07-25 21:03
98
qc_lang1__t5_qc_lang1.vmin1
2021-07-25 20:57
919
qc_lang1__t5_qc_lang1.vmin1out
2021-07-25 20:57
11K
qc_lang1__t5_qc_lang1.vout
2021-07-25 16:25
11K
qc_lang1__t6_qc_lang1
2021-07-18 11:48
20K
qc_lang1__t6_qc_lang1.vout
2021-07-25 15:33
7.4K
qc_lang1__t7_qc_lang1
2021-07-18 11:46
20K
qc_lang1__t7_qc_lang1.depv1
2021-07-25 20:57
40
qc_lang1__t7_qc_lang1.depvmin1
2021-07-25 21:03
40
qc_lang1__t7_qc_lang1.vmin1
2021-07-25 20:57
424
qc_lang1__t7_qc_lang1.vmin1out
2021-07-25 21:02
5.6K
qc_lang1__t7_qc_lang1.vout
2021-07-25 17:03
5.6K
qc_lang1__t8_qc_lang1
2021-07-18 11:49
34K
qc_lang1__t8_qc_lang1.vout
2021-07-25 16:56
7.3K
qc_lang1__t9_qc_lang1
2021-07-18 11:49
44K
qc_lang1__t9_qc_lang1.vout
2021-07-25 17:27
7.3K
qc_lang1__t10_qc_lang1
2021-07-18 11:50
86K
qc_lang1__t10_qc_lang1.vout
2021-07-25 18:29
7.3K
qc_lang1__t11_qc_lang1
2021-07-18 11:50
21K
qc_lang1__t11_qc_lang1.depv1
2021-07-25 20:57
148
qc_lang1__t11_qc_lang1.depvmin1
2021-07-25 21:03
148
qc_lang1__t11_qc_lang1.vmin1
2021-07-25 20:57
1.3K
qc_lang1__t11_qc_lang1.vmin1out
2021-07-25 21:00
12K
qc_lang1__t11_qc_lang1.vout
2021-07-25 15:43
15K
qc_lang1__t12_qc_lang1
2021-07-18 11:50
405K
qc_lang1__t12_qc_lang1.vout
2021-07-25 16:41
7.3K
qc_lang1__t13_qc_lang1
2021-07-18 11:51
309K
qc_lang1__t13_qc_lang1.vout
2021-07-25 16:03
6.8K
qc_lang1__t14_qc_lang1
2021-07-18 11:51
34K
qc_lang1__t14_qc_lang1.vout
2021-07-25 17:29
7.3K
qc_lang1__t15_qc_lang1
2021-07-18 11:52
46K
qc_lang1__t15_qc_lang1.vout
2021-07-25 19:07
7.3K
qc_lang1__t16_qc_lang1
2021-07-18 11:52
254K
qc_lang1__t16_qc_lang1.vout
2021-07-25 14:54
7.3K
qc_lang1__t17_qc_lang1
2021-07-18 11:53
299K
qc_lang1__t17_qc_lang1.depv1
2021-07-25 20:57
306
qc_lang1__t17_qc_lang1.depvmin1
2021-07-25 21:03
306
qc_lang1__t17_qc_lang1.vmin1
2021-07-25 20:57
2.1K
qc_lang1__t17_qc_lang1.vmin1out
2021-07-25 21:00
23K
qc_lang1__t17_qc_lang1.vout
2021-07-25 20:08
24K
qc_lang1__t18_qc_lang1
2021-07-18 11:53
47K
qc_lang1__t18_qc_lang1.vout
2021-07-25 19:04
7.3K
qc_lang1__t19_qc_lang1
2021-07-18 11:53
28K
qc_lang1__t19_qc_lang1.depv1
2021-07-25 20:57
76
qc_lang1__t19_qc_lang1.depvmin1
2021-07-25 21:03
76
qc_lang1__t19_qc_lang1.vmin1
2021-07-25 20:57
1.4K
qc_lang1__t19_qc_lang1.vmin1out
2021-07-25 21:00
19K
qc_lang1__t19_qc_lang1.vout
2021-07-25 17:20
19K
qc_lang1__t20_qc_lang1
2021-07-18 11:54
33K
qc_lang1__t20_qc_lang1.depv1
2021-07-25 20:57
265
qc_lang1__t20_qc_lang1.depvmin1
2021-07-25 21:03
230
qc_lang1__t20_qc_lang1.vmin1
2021-07-25 20:57
3.0K
qc_lang1__t20_qc_lang1.vmin1out
2021-07-25 21:01
64K
qc_lang1__t20_qc_lang1.vout
2021-07-25 16:50
46K
qc_lang1__t21_qc_lang1
2021-07-18 11:54
21K
qc_lang1__t21_qc_lang1.vout
2021-07-25 14:24
4.7K
qc_lang1__t22_qc_lang1
2021-07-18 11:54
21K
qc_lang1__t22_qc_lang1.vout
2021-07-25 19:30
4.7K
qc_lang1__t23_qc_lang1
2021-07-18 11:55
21K
qc_lang1__t23_qc_lang1.vout
2021-07-25 18:40
4.7K
qc_lang1__t24_qc_lang1
2021-07-18 11:55
21K
qc_lang1__t24_qc_lang1.vout
2021-07-25 15:46
4.7K
qc_lang1__t25_qc_lang1
2021-07-18 11:46
14K
qc_lang1__t25_qc_lang1.depv1
2021-07-25 20:57
52
qc_lang1__t25_qc_lang1.depvmin1
2021-07-25 21:03
52
qc_lang1__t25_qc_lang1.vmin1
2021-07-25 20:57
878
qc_lang1__t25_qc_lang1.vmin1out
2021-07-25 21:00
15K
qc_lang1__t25_qc_lang1.vout
2021-07-25 20:11
10K
qc_lang1__t26_qc_lang1
2021-07-18 11:46
14K
qc_lang1__t26_qc_lang1.depv1
2021-07-25 20:57
39
qc_lang1__t26_qc_lang1.depvmin1
2021-07-25 21:03
39
qc_lang1__t26_qc_lang1.vmin1
2021-07-25 20:57
692
qc_lang1__t26_qc_lang1.vmin1out
2021-07-25 21:00
9.6K
qc_lang1__t26_qc_lang1.vout
2021-07-25 16:34
9.7K
qc_lang1__t27_qc_lang1
2021-07-18 11:55
19K
qc_lang1__t27_qc_lang1.depv1
2021-07-25 20:57
147
qc_lang1__t27_qc_lang1.depvmin1
2021-07-25 21:03
131
qc_lang1__t27_qc_lang1.vmin1
2021-07-25 20:57
1.7K
qc_lang1__t27_qc_lang1.vmin1out
2021-07-25 21:02
16K
qc_lang1__t27_qc_lang1.vout
2021-07-25 18:36
22K
qc_lang1__t28_qc_lang1
2021-07-18 11:56
18K
qc_lang1__t28_qc_lang1.depv1
2021-07-25 20:57
75
qc_lang1__t28_qc_lang1.depvmin1
2021-07-25 21:03
75
qc_lang1__t28_qc_lang1.vmin1
2021-07-25 20:57
1.1K
qc_lang1__t28_qc_lang1.vmin1out
2021-07-25 20:58
18K
qc_lang1__t28_qc_lang1.vout
2021-07-25 20:22
19K
qc_lang1__t29_qc_lang1
2021-07-18 11:46
15K
qc_lang1__t29_qc_lang1.depv1
2021-07-25 20:57
52
qc_lang1__t29_qc_lang1.depvmin1
2021-07-25 21:03
52
qc_lang1__t29_qc_lang1.vmin1
2021-07-25 20:57
1.0K
qc_lang1__t29_qc_lang1.vmin1out
2021-07-25 21:02
15K
qc_lang1__t29_qc_lang1.vout
2021-07-25 15:22
15K
qc_lang1__t30_qc_lang1
2021-07-18 11:47
15K
qc_lang1__t30_qc_lang1.depv1
2021-07-25 20:57
39
qc_lang1__t30_qc_lang1.depvmin1
2021-07-25 21:03
39
qc_lang1__t30_qc_lang1.vmin1
2021-07-25 20:57
796
qc_lang1__t30_qc_lang1.vmin1out
2021-07-25 20:58
9.9K
qc_lang1__t30_qc_lang1.vout
2021-07-25 20:35
13K
qc_lang1__t31_qc_lang1
2021-07-18 11:56
24K
qc_lang1__t31_qc_lang1.vout
2021-07-25 15:28
7.4K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80