Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/borsuk_1
Name
Last modified
Size
Description
Parent Directory
-
borsuk_1__l33_borsuk_1
2016-03-08 13:04
49K
borsuk_1__l52_borsuk_1
2016-03-08 13:04
33K
borsuk_1__l54_borsuk_1
2016-03-08 13:04
43K
borsuk_1__t1_borsuk_1
2016-03-08 13:04
23K
borsuk_1__t2_borsuk_1
2016-03-08 13:04
43K
borsuk_1__t3_borsuk_1
2016-03-08 13:04
45K
borsuk_1__t4_borsuk_1
2016-03-08 13:04
31K
borsuk_1__t5_borsuk_1
2017-01-05 20:54
44K
borsuk_1__t6_borsuk_1
2016-03-08 13:04
46K
borsuk_1__t7_borsuk_1
2016-03-08 13:04
48K
borsuk_1__t8_borsuk_1
2016-03-08 13:04
50K
borsuk_1__t9_borsuk_1
2016-03-08 13:04
44K
borsuk_1__t10_borsuk_1
2017-01-05 20:54
49K
borsuk_1__t11_borsuk_1
2017-01-05 20:54
43K
borsuk_1__t12_borsuk_1
2017-01-05 20:54
44K
borsuk_1__t13_borsuk_1
2017-01-05 20:54
47K
borsuk_1__t14_borsuk_1
2017-01-05 20:54
47K
borsuk_1__t15_borsuk_1
2017-01-05 20:54
53K
borsuk_1__t16_borsuk_1
2017-01-05 20:54
52K
borsuk_1__t17_borsuk_1
2017-01-05 20:54
52K
borsuk_1__t18_borsuk_1
2017-01-05 20:54
57K
borsuk_1__t19_borsuk_1
2016-03-08 13:04
51K
borsuk_1__t20_borsuk_1
2016-03-08 13:04
50K
borsuk_1__t21_borsuk_1
2017-01-05 20:54
65K
borsuk_1__t22_borsuk_1
2017-01-05 20:54
28K
borsuk_1__t23_borsuk_1
2016-03-08 13:04
50K
borsuk_1__t24_borsuk_1
2016-03-08 13:04
50K
borsuk_1__t25_borsuk_1
2017-01-05 20:54
88K
borsuk_1__t26_borsuk_1
2016-03-08 13:04
48K
borsuk_1__t27_borsuk_1
2017-01-05 20:54
34K
borsuk_1__t28_borsuk_1
2016-03-08 13:04
45K
borsuk_1__t29_borsuk_1
2017-01-05 20:54
46K
borsuk_1__t30_borsuk_1
2016-03-08 13:04
48K
borsuk_1__t31_borsuk_1
2017-01-05 20:54
39K
borsuk_1__t32_borsuk_1
2017-01-05 20:54
39K
borsuk_1__t33_borsuk_1
2017-01-05 20:54
54K
borsuk_1__t34_borsuk_1
2017-01-05 20:54
54K
borsuk_1__t35_borsuk_1
2017-01-05 20:54
55K
borsuk_1__t36_borsuk_1
2017-01-05 20:54
54K
borsuk_1__t37_borsuk_1
2017-01-05 20:54
54K
borsuk_1__t38_borsuk_1
2017-01-05 20:54
59K
borsuk_1__t39_borsuk_1
2016-03-08 13:04
46K
borsuk_1__t40_borsuk_1
2016-03-08 13:04
50K
borsuk_1__t41_borsuk_1
2017-01-05 20:54
78K
borsuk_1__t42_borsuk_1
2017-01-05 20:54
107K
borsuk_1__t43_borsuk_1
2017-01-05 20:54
34K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80