Index of /~mptp/1147/MPTP2/problems_thf_tls/rearran1
Name
Last modified
Size
Description
Parent Directory
-
rearran1__l1_rearran1
2017-01-12 22:18
43K
rearran1__l4_rearran1
2017-01-12 22:18
50K
rearran1__l5_rearran1
2017-01-12 22:18
58K
rearran1__l6_rearran1
2017-01-12 22:18
106K
rearran1__l14_rearran1
2017-01-12 22:18
46K
rearran1__t1_rearran1
2017-01-12 22:18
45K
rearran1__t2_rearran1
2017-01-12 22:18
57K
rearran1__t3_rearran1
2017-01-12 22:18
51K
rearran1__t4_rearran1
2017-01-12 22:18
45K
rearran1__t5_rearran1
2017-01-12 22:18
52K
rearran1__t6_rearran1
2017-01-12 22:18
60K
rearran1__t7_rearran1
2017-01-12 22:18
52K
rearran1__t8_rearran1
2017-01-12 22:18
86K
rearran1__t9_rearran1
2017-01-12 22:18
60K
rearran1__t10_rearran1
2017-01-12 22:18
76K
rearran1__t12_rearran1
2017-01-12 22:18
76K
rearran1__t13_rearran1
2017-01-12 22:18
62K
rearran1__t14_rearran1
2017-01-12 22:18
133K
rearran1__t15_rearran1
2017-01-12 22:18
91K
rearran1__t16_rearran1
2017-01-12 22:18
190K
rearran1__t17_rearran1
2017-01-12 22:18
197K
rearran1__t18_rearran1
2017-01-12 22:18
58K
rearran1__t19_rearran1
2017-01-12 22:18
51K
rearran1__t20_rearran1
2017-01-12 22:18
66K
rearran1__t21_rearran1
2017-01-12 22:18
63K
rearran1__t22_rearran1
2017-01-12 22:18
92K
rearran1__t23_rearran1
2017-01-12 22:18
192K
rearran1__t24_rearran1
2017-01-12 22:18
198K
rearran1__t25_rearran1
2017-01-12 22:18
59K
rearran1__t26_rearran1
2017-01-12 22:18
52K
rearran1__t27_rearran1
2017-01-12 22:18
67K
rearran1__t28_rearran1
2017-01-12 22:18
57K
rearran1__t29_rearran1
2017-01-12 22:18
66K
rearran1__t30_rearran1
2017-01-12 22:18
66K
rearran1__t31_rearran1
2017-01-12 22:18
66K
rearran1__t32_rearran1
2017-01-12 22:18
108K
rearran1__t33_rearran1
2017-01-12 22:18
196K
rearran1__t34_rearran1
2017-01-12 22:18
67K
rearran1__t35_rearran1
2017-01-12 22:18
67K
rearran1__t36_rearran1
2017-01-12 22:18
67K
rearran1__t37_rearran1
2017-01-12 22:18
109K
rearran1__t38_rearran1
2017-01-12 22:18
197K
rearran1__t39_rearran1
2017-01-12 22:18
68K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80