Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_from.bad_dt_f/bor_cant
Name
Last modified
Size
Description
Parent Directory
-
bor_cant__e23_16_4_2_2_1
2017-01-05 21:21
103K
bor_cant__e17_14_1
2017-01-05 21:21
114K
bor_cant__e14_6
2017-01-05 21:21
99K
bor_cant__e13_16_1
2017-01-05 21:21
104K
bor_cant__e11_3_1_3_1_1_1_1_1_2_1_2_1
2017-01-05 21:21
95K
bor_cant__e9_35
2017-01-05 21:21
110K
bor_cant__e8_29_2
2017-01-05 21:21
106K
bor_cant__e8_3_1_3_1_1_1_1_1
2017-01-05 21:21
91K
bor_cant__e8_3_1_1_1
2017-01-05 21:21
85K
bor_cant__e7_32_3_1_2_2_1_2_1_1_1
2017-01-05 21:21
137K
bor_cant__e7_26
2017-01-05 21:21
102K
bor_cant__e6_5
2017-01-05 21:21
101K
bor_cant__e6_2_1
2017-01-05 21:21
59K
bor_cant__e5_23_1_1
2017-01-05 21:21
75K
bor_cant__e4_32_3_1_2_1_2_1_1_2
2017-01-05 21:21
96K
bor_cant__e4_20_1_1
2017-01-05 21:21
75K
bor_cant__e4_14_1_1
2017-01-05 21:21
99K
bor_cant__e4_2_4_1
2017-01-05 21:21
59K
bor_cant__e3_16_4_2_2_1_5
2017-01-05 21:21
110K
bor_cant__e3_16_4_2_2_1_4_4
2017-01-05 21:21
98K
bor_cant__e3_16_4
2017-01-05 21:21
134K
bor_cant__e2_22_1_1_1_1
2017-01-05 21:21
83K
bor_cant__e2_19_1_1_1_1
2017-01-05 21:21
83K
bor_cant__e1_28_1_1
2017-01-05 21:21
95K
bor_cant__e1_10_1_1
2017-01-05 21:21
74K
bor_cant__e1_9_1_1
2017-01-05 21:21
69K
bor_cant__e1_8_1_1
2017-01-05 21:21
71K
bor_cant__e1_7_1_1
2017-01-05 21:21
73K
bor_cant__e1_4_1_1
2017-01-05 21:21
70K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80