Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/simplex2
Name
Last modified
Size
Description
Parent Directory
-
simplex2__t25_simplex2
2017-01-05 20:54
244K
simplex2__t19_simplex2
2017-01-05 20:54
155K
simplex2__t12_simplex2
2017-01-05 20:54
189K
simplex2__t4_simplex2
2017-01-05 20:54
73K
simplex2__t9_simplex2
2016-03-08 13:09
125K
simplex2__t8_simplex2
2016-03-08 13:09
66K
simplex2__t7_simplex2
2016-03-08 13:09
65K
simplex2__t6_simplex2
2016-03-08 13:09
70K
simplex2__t5_simplex2
2016-03-08 13:09
61K
simplex2__t3_simplex2
2016-03-08 13:09
79K
simplex2__t2_simplex2
2016-03-08 13:09
81K
simplex2__t26_simplex2
2016-03-08 13:09
120K
simplex2__t24_simplex2
2016-03-08 13:09
148K
simplex2__t23_simplex2
2016-03-08 13:09
242K
simplex2__t22_simplex2
2016-03-08 13:09
227K
simplex2__t21_simplex2
2016-03-08 13:09
146K
simplex2__t20_simplex2
2016-03-08 13:09
142K
simplex2__t1_simplex2
2016-03-08 13:09
80K
simplex2__t18_simplex2
2016-03-08 13:09
168K
simplex2__t17_simplex2
2016-03-08 13:09
189K
simplex2__t16_simplex2
2016-03-08 13:09
264K
simplex2__t15_simplex2
2016-03-08 13:09
113K
simplex2__t14_simplex2
2016-03-08 13:09
129K
simplex2__t13_simplex2
2016-03-08 13:09
125K
simplex2__t11_simplex2
2016-03-08 13:09
204K
simplex2__t10_simplex2
2016-03-08 13:09
74K
simplex2__l9_simplex2
2016-03-08 13:09
49K
simplex2__l33_simplex2
2016-03-08 13:09
188K
simplex2__l32_simplex2
2016-03-08 13:09
146K
simplex2__l29_simplex2
2016-03-08 13:09
114K
simplex2__l19_simplex2
2016-03-08 13:09
51K
simplex2__l18_simplex2
2016-03-08 13:09
114K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80