Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_from/scmyciel
Name
Last modified
Size
Description
Parent Directory
-
scmyciel__e1_12
2017-01-12 23:30
35K
scmyciel__e1_13_1_1
2017-01-12 23:30
23K
scmyciel__e2_205_1_1
2017-01-12 23:30
42K
scmyciel__e3_202_1_1_2
2017-01-12 23:30
45K
scmyciel__e3_212_1_1
2017-01-12 23:30
41K
scmyciel__e3_213
2017-01-12 23:30
47K
scmyciel__e3_214
2017-01-12 23:30
48K
scmyciel__e4_119_1_1_1_2
2017-01-12 23:30
25K
scmyciel__e4_147_1_2
2017-01-12 23:30
41K
scmyciel__e4_178_1_1_1_2
2017-01-12 23:30
28K
scmyciel__e4_182_1_2
2017-01-12 23:30
28K
scmyciel__e4_202
2017-01-12 23:30
42K
scmyciel__e5_18
2017-01-12 23:30
37K
scmyciel__e5_122_1_1
2017-01-12 23:30
29K
scmyciel__e5_144_1_1
2017-01-12 23:30
30K
scmyciel__e6_178_1_1_1_2
2017-01-12 23:30
29K
scmyciel__e6_215
2017-01-12 23:30
44K
scmyciel__e7_149_1_1
2017-01-12 23:30
29K
scmyciel__e7_182_1_2
2017-01-12 23:30
28K
scmyciel__e7_207
2017-01-12 23:30
41K
scmyciel__e7_210_1_1
2017-01-12 23:30
41K
scmyciel__e7_211_1_1
2017-01-12 23:30
41K
scmyciel__e8_178_1_1_1_2
2017-01-12 23:30
40K
scmyciel__e9_106_1_1
2017-01-12 23:30
28K
scmyciel__e10_19_1_2
2017-01-12 23:30
45K
scmyciel__e11_18
2017-01-12 23:30
45K
scmyciel__e11_205_1_2
2017-01-12 23:30
41K
scmyciel__e20_147_1_2
2017-01-12 23:30
42K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80