Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_tls/sfmastr2
Name
Last modified
Size
Description
Parent Directory
-
sfmastr2__t23_sfmastr2
2017-01-13 00:49
502K
sfmastr2__t26_sfmastr2
2017-01-13 00:49
501K
sfmastr2__t24_sfmastr2
2017-01-13 00:49
490K
sfmastr2__t17_sfmastr2
2017-01-13 00:49
471K
sfmastr2__t27_sfmastr2
2017-01-13 00:49
411K
sfmastr2__t21_sfmastr2
2017-01-13 00:49
370K
sfmastr2__t18_sfmastr2
2017-01-13 00:49
366K
sfmastr2__t12_sfmastr2
2017-01-13 00:49
336K
sfmastr2__t20_sfmastr2
2017-01-13 00:49
319K
sfmastr2__t22_sfmastr2
2017-01-13 00:49
308K
sfmastr2__t25_sfmastr2
2017-01-13 00:49
305K
sfmastr2__t19_sfmastr2
2017-01-13 00:49
302K
sfmastr2__t16_sfmastr2
2017-01-13 00:49
300K
sfmastr2__t13_sfmastr2
2017-01-13 00:49
281K
sfmastr2__t11_sfmastr2
2017-01-13 00:49
280K
sfmastr2__t14_sfmastr2
2017-01-13 00:49
279K
sfmastr2__t10_sfmastr2
2017-01-13 00:49
279K
sfmastr2__t15_sfmastr2
2017-01-13 00:49
261K
sfmastr2__t8_sfmastr2
2017-01-13 00:49
239K
sfmastr2__t9_sfmastr2
2017-01-13 00:49
238K
sfmastr2__t2_sfmastr2
2017-01-13 00:49
206K
sfmastr2__t1_sfmastr2
2017-01-13 00:49
205K
sfmastr2__t3_sfmastr2
2017-01-13 00:49
169K
sfmastr2__t5_sfmastr2
2017-01-13 00:49
168K
sfmastr2__t4_sfmastr2
2017-01-13 00:49
167K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80