Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/dilworth
Name
Last modified
Size
Description
Parent Directory
-
dilworth__t53_dilworth
2017-01-05 20:54
135K
dilworth__t51_dilworth
2016-03-08 13:05
128K
dilworth__t54_dilworth
2016-03-08 13:05
127K
dilworth__t55_dilworth
2016-03-08 13:05
105K
dilworth__t49_dilworth
2016-03-08 13:05
96K
dilworth__t56_dilworth
2016-03-08 13:05
87K
dilworth__t52_dilworth
2016-03-08 13:05
84K
dilworth__t5_dilworth
2016-03-08 13:05
75K
dilworth__t48_dilworth
2016-03-08 13:05
73K
dilworth__t47_dilworth
2016-03-08 13:05
71K
dilworth__t23_dilworth
2016-03-08 13:05
67K
dilworth__t38_dilworth
2016-03-08 13:05
66K
dilworth__t36_dilworth
2016-03-08 13:05
66K
dilworth__t50_dilworth
2016-03-08 13:05
65K
dilworth__t46_dilworth
2016-03-08 13:05
64K
dilworth__t45_dilworth
2016-03-08 13:05
62K
dilworth__t43_dilworth
2016-03-08 13:05
62K
dilworth__t35_dilworth
2016-03-08 13:05
62K
dilworth__t34_dilworth
2016-03-08 13:05
62K
dilworth__t31_dilworth
2016-03-08 13:05
58K
dilworth__t29_dilworth
2016-03-08 13:05
58K
dilworth__t44_dilworth
2016-03-08 13:05
58K
dilworth__t42_dilworth
2016-03-08 13:05
58K
dilworth__t20_dilworth
2016-03-08 13:05
57K
dilworth__t18_dilworth
2016-03-08 13:05
57K
dilworth__t39_dilworth
2016-03-08 13:05
55K
dilworth__t37_dilworth
2016-03-08 13:05
55K
dilworth__t21_dilworth
2016-03-08 13:05
55K
dilworth__t27_dilworth
2016-03-08 13:05
55K
dilworth__t26_dilworth
2016-03-08 13:05
55K
dilworth__t19_dilworth
2016-03-08 13:05
54K
dilworth__t30_dilworth
2016-03-08 13:05
54K
dilworth__t33_dilworth
2016-03-08 13:05
54K
dilworth__t32_dilworth
2016-03-08 13:05
54K
dilworth__t28_dilworth
2016-03-08 13:05
53K
dilworth__t41_dilworth
2016-03-08 13:05
50K
dilworth__t40_dilworth
2016-03-08 13:05
50K
dilworth__t22_dilworth
2016-03-08 13:05
49K
dilworth__t25_dilworth
2016-03-08 13:05
48K
dilworth__t24_dilworth
2016-03-08 13:05
48K
dilworth__t13_dilworth
2016-03-08 13:05
47K
dilworth__t14_dilworth
2016-03-08 13:05
47K
dilworth__t4_dilworth
2016-03-08 13:05
47K
dilworth__t7_dilworth
2016-03-08 13:05
46K
dilworth__t12_dilworth
2016-03-08 13:05
46K
dilworth__t11_dilworth
2016-03-08 13:05
46K
dilworth__t8_dilworth
2016-03-08 13:05
46K
dilworth__t6_dilworth
2016-03-08 13:05
45K
dilworth__t9_dilworth
2016-03-08 13:05
45K
dilworth__t1_dilworth
2016-03-08 13:05
44K
dilworth__t17_dilworth
2016-03-08 13:05
44K
dilworth__t3_dilworth
2016-03-08 13:05
44K
dilworth__t10_dilworth
2016-03-08 13:05
43K
dilworth__t2_dilworth
2016-03-08 13:05
41K
dilworth__t15_dilworth
2016-03-08 13:05
41K
dilworth__t16_dilworth
2016-03-08 13:05
40K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80