Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/sheffer1
Name
Last modified
Size
Description
Parent Directory
-
sheffer1__t10_sheffer1
2016-03-08 13:09
18K
sheffer1__t11_sheffer1
2016-03-08 13:09
19K
sheffer1__t12_sheffer1
2016-03-08 13:09
14K
sheffer1__t13_sheffer1
2016-03-08 13:09
22K
sheffer1__t14_sheffer1
2016-03-08 13:09
14K
sheffer1__t15_sheffer1
2016-03-08 13:09
22K
sheffer1__t16_sheffer1
2016-03-08 13:09
19K
sheffer1__t17_sheffer1
2016-03-08 13:09
19K
sheffer1__t18_sheffer1
2016-03-08 13:09
15K
sheffer1__t19_sheffer1
2016-03-08 13:09
15K
sheffer1__t1_sheffer1
2016-03-08 13:09
19K
sheffer1__t20_sheffer1
2016-03-08 13:09
21K
sheffer1__t21_sheffer1
2016-03-08 13:09
21K
sheffer1__t22_sheffer1
2016-03-08 13:09
19K
sheffer1__t23_sheffer1
2016-03-08 13:09
19K
sheffer1__t24_sheffer1
2016-03-08 13:09
27K
sheffer1__t25_sheffer1
2016-03-08 13:09
30K
sheffer1__t26_sheffer1
2016-03-08 13:09
31K
sheffer1__t27_sheffer1
2016-03-08 13:09
35K
sheffer1__t28_sheffer1
2016-03-08 13:09
35K
sheffer1__t29_sheffer1
2016-03-08 13:09
23K
sheffer1__t2_sheffer1
2016-03-08 13:09
16K
sheffer1__t30_sheffer1
2016-03-08 13:09
22K
sheffer1__t31_sheffer1
2016-03-08 13:09
23K
sheffer1__t32_sheffer1
2016-03-08 13:09
24K
sheffer1__t33_sheffer1
2016-03-08 13:09
29K
sheffer1__t34_sheffer1
2016-03-08 13:09
28K
sheffer1__t35_sheffer1
2016-03-08 13:09
30K
sheffer1__t36_sheffer1
2016-03-08 13:09
30K
sheffer1__t37_sheffer1
2016-03-08 13:09
34K
sheffer1__t3_sheffer1
2016-03-08 13:09
16K
sheffer1__t4_sheffer1
2016-03-08 13:09
18K
sheffer1__t5_sheffer1
2016-03-08 13:09
18K
sheffer1__t6_sheffer1
2016-03-08 13:09
17K
sheffer1__t7_sheffer1
2016-03-08 13:09
17K
sheffer1__t8_sheffer1
2016-03-08 13:09
19K
sheffer1__t9_sheffer1
2016-03-08 13:09
19K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80