Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/topreala
Name
Last modified
Size
Description
Parent Directory
-
topreala__t36_topreala
2017-01-05 20:54
103K
topreala__t35_topreala
2017-01-05 20:54
99K
topreala__t39_topreala
2016-03-08 13:10
96K
topreala__t40_topreala
2016-03-08 13:10
96K
topreala__t10_topreala
2016-03-08 13:10
85K
topreala__t30_topreala
2017-01-05 20:54
81K
topreala__t37_topreala
2016-03-08 13:10
81K
topreala__t33_topreala
2016-03-08 13:10
76K
topreala__t34_topreala
2016-03-08 13:10
75K
topreala__t38_topreala
2017-01-05 20:54
71K
topreala__t9_topreala
2016-03-08 13:10
68K
topreala__t8_topreala
2016-03-08 13:10
68K
topreala__t26_topreala
2017-01-05 20:54
68K
topreala__t32_topreala
2016-03-08 13:10
67K
topreala__t15_topreala
2016-03-08 13:10
66K
topreala__t25_topreala
2017-01-05 20:54
65K
topreala__t31_topreala
2017-01-05 20:54
65K
topreala__t16_topreala
2016-03-08 13:10
65K
topreala__t11_topreala
2016-03-08 13:10
62K
topreala__t21_topreala
2016-03-08 13:10
62K
topreala__t14_topreala
2016-03-08 13:10
61K
topreala__t29_topreala
2016-03-08 13:10
61K
topreala__t28_topreala
2016-03-08 13:10
59K
topreala__t13_topreala
2016-03-08 13:10
58K
topreala__t24_topreala
2017-01-05 20:54
58K
topreala__t22_topreala
2016-03-08 13:10
58K
topreala__t20_topreala
2017-01-05 20:54
57K
topreala__t18_topreala
2016-03-08 13:10
57K
topreala__t23_topreala
2017-01-05 20:54
57K
topreala__t27_topreala
2017-01-05 20:54
56K
topreala__t19_topreala
2017-01-05 20:54
54K
topreala__l1_topreala
2017-01-05 20:54
50K
topreala__t5_topreala
2016-03-08 13:10
50K
topreala__t17_topreala
2016-03-08 13:10
49K
topreala__t7_topreala
2016-03-08 13:10
48K
topreala__t2_topreala
2016-03-08 13:10
47K
topreala__t4_topreala
2016-03-08 13:10
42K
topreala__t6_topreala
2016-03-08 13:10
42K
topreala__t3_topreala
2016-03-08 13:10
35K
topreala__t1_topreala
2016-03-08 13:10
32K
topreala__t12_topreala
2016-03-08 13:10
8.3K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80