Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_from1/bor_cant
Name
Last modified
Size
Description
Parent Directory
-
bor_cant__e1_4_1_1
2017-01-13 18:44
44K
bor_cant__e1_7_1_1
2017-01-13 18:44
46K
bor_cant__e1_8_1_1
2017-01-13 18:44
45K
bor_cant__e1_9_1_1
2017-01-13 18:44
43K
bor_cant__e1_10_1_1
2017-01-13 18:44
46K
bor_cant__e1_28_1_1
2017-01-13 18:44
59K
bor_cant__e2_19_1_1_1_1
2017-01-13 18:44
53K
bor_cant__e2_22_1_1_1_1
2017-01-13 18:44
53K
bor_cant__e3_16_4
2017-01-13 18:44
86K
bor_cant__e3_16_4_2_2_1_4_4
2017-01-13 18:44
63K
bor_cant__e3_16_4_2_2_1_5
2017-01-13 18:44
70K
bor_cant__e4_2_4_1
2017-01-13 18:44
38K
bor_cant__e4_14_1_1
2017-01-13 18:44
63K
bor_cant__e4_20_1_1
2017-01-13 18:44
48K
bor_cant__e4_32_3_1_2_1_2_1_1_2
2017-01-13 18:44
61K
bor_cant__e5_23_1_1
2017-01-13 18:44
48K
bor_cant__e6_2_1
2017-01-13 18:44
38K
bor_cant__e6_5
2017-01-13 18:44
64K
bor_cant__e7_26
2017-01-13 18:44
65K
bor_cant__e7_32_3_1_2_2_1_2_1_1_1
2017-01-13 18:44
87K
bor_cant__e8_3_1_1_1
2017-01-13 18:44
55K
bor_cant__e8_3_1_3_1_1_1_1_1
2017-01-13 18:44
58K
bor_cant__e8_29_2
2017-01-13 18:44
67K
bor_cant__e9_35
2017-01-13 18:44
70K
bor_cant__e11_3_1_3_1_1_1_1_1_2_1_2_1
2017-01-13 18:44
60K
bor_cant__e13_16_1
2017-01-13 18:44
66K
bor_cant__e14_6
2017-01-13 18:44
63K
bor_cant__e17_14_1
2017-01-13 18:44
72K
bor_cant__e23_16_4_2_2_1
2017-01-13 18:44
66K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80