Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/rlaffin2
Name
Last modified
Size
Description
Parent Directory
-
rlaffin2__t9_rlaffin2
2017-01-05 20:54
63K
rlaffin2__t8_rlaffin2
2017-01-05 20:54
93K
rlaffin2__t4_rlaffin2
2017-01-05 20:54
98K
rlaffin2__t3_rlaffin2
2017-01-05 20:54
205K
rlaffin2__t30_rlaffin2
2017-01-05 20:54
157K
rlaffin2__t26_rlaffin2
2017-01-05 20:54
159K
rlaffin2__t24_rlaffin2
2017-01-05 20:54
150K
rlaffin2__t23_rlaffin2
2017-01-05 20:54
134K
rlaffin2__t22_rlaffin2
2017-01-05 20:54
154K
rlaffin2__t2_rlaffin2
2017-01-05 20:54
143K
rlaffin2__t21_rlaffin2
2017-01-05 20:54
84K
rlaffin2__t20_rlaffin2
2017-01-05 20:54
91K
rlaffin2__t16_rlaffin2
2017-01-05 20:54
112K
rlaffin2__t15_rlaffin2
2017-01-05 20:54
141K
rlaffin2__t14_rlaffin2
2017-01-05 20:54
110K
rlaffin2__t13_rlaffin2
2017-01-05 20:54
70K
rlaffin2__t12_rlaffin2
2017-01-05 20:54
81K
rlaffin2__t1_rlaffin2
2017-01-05 20:54
151K
rlaffin2__t11_rlaffin2
2017-01-05 20:54
73K
rlaffin2__t10_rlaffin2
2017-01-05 20:54
66K
rlaffin2__t7_rlaffin2
2016-03-08 13:08
49K
rlaffin2__t6_rlaffin2
2016-03-08 13:08
53K
rlaffin2__t5_rlaffin2
2016-03-08 13:08
44K
rlaffin2__t29_rlaffin2
2016-03-08 13:08
121K
rlaffin2__t28_rlaffin2
2016-03-08 13:08
126K
rlaffin2__t27_rlaffin2
2016-03-08 13:08
57K
rlaffin2__t25_rlaffin2
2016-03-08 13:08
121K
rlaffin2__t19_rlaffin2
2016-03-08 13:08
89K
rlaffin2__t18_rlaffin2
2016-03-08 13:08
110K
rlaffin2__t17_rlaffin2
2016-03-08 13:08
77K
rlaffin2__l7_rlaffin2
2016-03-08 13:08
44K
rlaffin2__l29_rlaffin2
2016-03-08 13:08
110K
rlaffin2__l1_rlaffin2
2016-03-08 13:08
93K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80